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

کارابرن عزیز، مقالات سایت ( همگی جزو مقالات isi می باشند) بالاترین کیفیت ترجمه را دارند، ترجمه آنها کامل و دقیق می باشد (حتی محتوای جداول و شکل های نیز ترجمه شده اند) و از بهترین مجلات isi مانند IEEE، Sciencedirect، Springer، Emerald و ... انتخاب گردیده اند.

آگهی چاپ مقاله isi
ورود اعضا
توجه توجه توجه !!!!
نرم افزار winrar
پیشنهادات ویژه
پیوندهای کاربردی
پیوندهای مرتبط
مقالات ترجمه شده سیستم عامل
  • طراحی و بررسی مانیتور ماشین مجازی قابل اعتماد و سبک وزن برای ساختارهای چند هسته ای

    سال انتشار:

    2013


    ترجمه فارسی عنوان مقاله:

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


    عنوان انگلیسی مقاله:

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


    منبع:

    springer - Front. Comput. Sci., 2013, 7(1): 34–43 DOI 10.1007/s11704-012-2084-0


    چکیده انگلیسی:

    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%–13% over Xen.
    Keywords: virtual machine monitor | model | operating system | many core | formal verification


    چکیده فارسی:

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


    سطح: متوسط
    تعداد صفحات فایل pdf انگلیسی: 10
    تعداد صفحات فایل doc فارسی: 31

    حجم فایل: 326 کیلوبایت


    قیمت: 25000 تومان  22500 تومان(10% تخفیف)


    توضیحات اضافی:




تعداد نظرات : 0

الزامی
الزامی
الزامی
سیستم-عامل
موضوعات