فایل ورد کامل طراحی و بررسی مانیتور ماشین مجازی قابل اعتماد و سبک وزن برای ساختارهای چند هسته ای

توجه : به همراه فایل word این محصول فایل پاورپوینت (PowerPoint) و اسلاید های آن به صورت هدیه ارائه خواهد شد

این مقاله، ترجمه شده یک مقاله مرجع و معتبر انگلیسی می باشد که به صورت بسیار عالی توسط متخصصین این رشته ترجمه شده است و به صورت فایل ورد (microsoft word) ارائه می گردد

متن داخلی مقاله بسیار عالی، پر محتوا و قابل درک می باشد و شما از استفاده ی آن بسیار لذت خواهید برد. ما عالی بودن این مقاله را تضمین می کنیم

فایل ورد این مقاله بسیار خوب تایپ شده و قابل کپی و ویرایش می باشد و تنظیمات آن نیز به صورت عالی انجام شده است؛ به همراه فایل ورد این مقاله یک فایل پاور پوینت نیز به شما ارئه خواهد شد که دارای یک قالب بسیار زیبا و تنظیمات نمایشی متعدد می باشد

توجه : در صورت مشاهده بهم ریختگی احتمالی در متون زیر ،دلیل ان کپی کردن این مطالب از داخل فایل می باشد و در فایل اصلی فایل ورد کامل طراحی و بررسی مانیتور ماشین مجازی قابل اعتماد و سبک وزن برای ساختارهای چند هسته ای،به هیچ وجه بهم ریختگی وجود ندارد

تعداد صفحات این فایل: ۳۵ صفحه

مانیتورهای ماشین مجازی (VMMs)، نقش محوری و اصلی را در محاسبات ابری بر عهده دارند. قابلیت اطمینان و در دسترس بودن انها، برای محاسبات ابری بسیار مهم و حیاتی است. مجازی سازی و شبیه سازی دستگاه ها سبب بزرگ بودن کد بیس VMM و پیچیده بودن روابط میان سیستم عامل (OS) و VMM می گردد. این حالت از کد بیس سبب می شود تا بررسی امنیت VMM، به سختی صورت می گیرد. برای مثال، سوء استفاده از فراخوانی بیش از حد VMM توسط سیستم عامل- مهمان و مخرب می تواند کل VMM را معیوب سازد. همچنین پیچیدگی VMM، رسما بررسی صحت و دقت رفتار سیستم را دشوار می سازد. مقاله حاضر، به معرفی و ارائه نوع جدید VMM (سیستم عامل مجازی سازی (OSV)) می پردازد. رابط بوت چند پردازنده و رابط پیکربندی حافظه (در زمان بوت کردن در Linux kernel) در OSV مجاز می باشند. پس از بوت شدن، تنها عملکردهای ایجاد وقفه بین پردازنده ها توسط OSV متوقف می شوند، که سبب می شود ارتباط میان OSV و OS ساده و یا اسان گردد. این ارتباط با استفاده از بررسی مدل رسمی مورد تایید قرار می گیرد که اطمینان می دهد سیستم عامل مخرب نمی تواند از طریق رابط میانجی به OSV حمله نماید. در حال حاضر، OSV براساس معماری ساختار شبکه چند هسته ای AMD Opteron، اجرا می شود. نتایج ارزیابی ها نشان می دهد که اجرای لینوکس در OSV، دارای عملکرد مشابه با لینوکس محلی است. همچنین، OSV دارای %۴-%۱۳ بهبود عملکرد بیشتری نسبت به Xen می باشد.

کلمات کلیدی: مانیتور ماشین مجازی | مدل | سیستم عامل | چند هسته ای | تایید رسمی

عنوان انگلیسی:

Design and verification of a lightweight reliable virtual machine monitor for a many-core architecture

~~en~~ writers :

Yuehua DAI, Yi SHI , Yong QI, Jianbao RENPeijian WANG

Virtual machine monitors (VMMs) play a central
role in cloud computing. Their reliability and availability are
critical for cloud computing. Virtualization and device emulation make the VMM code base large and the interface between OS and VMM complex. This results in a code base
that is very hard to verify the security of the VMM. For example, a misuse of a VMM hyper-call by a malicious guest OS
can corrupt the whole VMM. The complexity of the VMM
also makes it hard to formally verify the correctness of the
system’s behavior. In this paper a new VMM, operating system virtualization (OSV), is proposed. The multiprocessor
boot interface and memory configuration interface are virtualized in OSV at boot time in the Linux kernel. After booting,
only inter-processor interrupt operations are intercepted by
OSV, which makes the interface between OSV and OS simple. The interface is verified using formal model checking,
which ensures a malicious OS cannot attack OSV through
the interface. Currently, OSV is implemented based on the
AMD Opteron multi-core server architecture. Evaluation results show that Linux running on OSV has a similar performance to native Linux. OSV has a performance improvement
of 4%–۱۳% over Xen.

Keywords: virtual machine monitor | model | operating system | many core | formal verification

$$en!!