با توجه به اینکه این مدل پتری دارای هر سه خاصیت مورد بررسی می باشد، این شبکه خوش رفتار است.

جمع بندی
در این فصل با تکیه بر مقدمات گفته شده در فصل ۳ درباره تکنولوژی های مجازی سازی، یک نمونه دیتا سنتر طراحی شد. برای ساده تر کردن تحلیل، این سیستم تا حد امکان کوچک اما در بر دارنده تمام اجزاء یک دیتا سنتر واقعی است. در مرحله بعد، با بهره گرفتن از اطلاعات و توصیفات ارائه شده در فصل ۲ درباره ابزار مدلسازی فرمال، یک مدل پتری از کل دیتا سنتر تهیه شد. با توجه به اینکه دیتا سنتر یک سیستم موازی و دینامیک است، به کمک این مدل فرمال توانستیم خصوصیات رفتاری سیستم از جمله Liveness، Safeness و Reversibility سیستم را بررسی کنیم.
(( اینجا فقط تکه ای از متن درج شده است. برای خرید متن کامل فایل پایان نامه با فرمت ورد می توانید به سایت nefo.ir مراجعه نمایید و کلمه کلیدی مورد نظرتان را جستجو نمایید. ))

در بخش های بعدی این فصل، به سراغ تک تک سرویس ها و مکانیزم های تشکیل دهنده ساختار مجازی سازی در دیتا سنتر مذکور رفته و مدل های پتری متعددی از آنها در چندین لایه تهیه نمودیم تا به این وسیله خصوصیات رفتاری آنها را نیز بررسی کنیم.
در این مسیر، از قضایا و ابزارهای موثر بر روی شبکه های پتری و نیز در حالت کلی تر، از قضایای مربوط به گراف های جهت دار به دفعات استفاده شده است.
فصل پنجم: نتیجه گیری و پیشنهادات
در این پایان نامه، از زبان فرمال شبکه های پتری برای مدل سازی لایه مجازی سازی در دیتا سنترها استفاده شده است تا به کمک آن ها، خصوصیات رفتاری ماژول های این سیستم بررسی و مطالعه شود. برای این کار یک دیتا سنتر نمونه با خصوصیات دیتا سنترهای واقعی طراحی شده و سپس از مکانیزم ها و ماژول های مختلف نرم افزاری و مجازی سازی آن مدل های پتری تهیه شده است. بخش اول این ماژول ها شامل سرویس های سطح بالایی است که بر روی کل ماشین ها کار می کنند، از جمله HA، FT، DRS و غیره. بخش دوم شامل مکانیزم های مختلف Hypervisor، که بر روی هر یک از سرورهای فیزیکی نصب شده اند، شامل ساختار شبکه، ساختار ذخیره سازی و غیره می باشد.
بخش اعظم این تحقیق به بررسی رفتار و نحوه گردش کنترل در ماژول های سیستم مجازی سازی دیتا سنتر اختصاص دارد. به این ترتیب که این انتقال کنترل و تغییر وضعیت سیستم را از جنبه های مختلفی می توان بررسی نمود. اگر خصوصیات یک سیستم دینامیک و موازی مانند سرویس های مذکور را بدون در نظر گرفتن وضعیت شروع سیستم بررسی کنیم، به آن خصوصیات ساختاری گفته می شود. در مقابل، اگر خصوصیات سیستم را با توجه به وضعیت شروع آن تحلیل نمائیم، در حال بررسی خصوصیات رفتاری هستیم.
در این پایان نامه، پس از طراحی مدل پتری برای هر یک از سرویس ها و ماژول های سیستم، خصوصیات رفتاری آن بررسی و تحلیل شد. خصوصیات بررسی شده برای هر یک از بخش ها عبارتند از: Liveness، Safeness (و یا حداقل Boundedness) و Reversibility. در صورتی که سیستم یا زیر سیستمی هر سه خصوصیت مذکور را داشته باشد، یک سیستم خوش رفتار است. این بدان معنی است که ماژول مذکور در حین کار هرگز دچار بن بست و سرریز نخواهد شد و نیز همیشه امکان بازگشت به نقطه شروع را خواهد داشت.
جدول ۵٫۱ نتیجه حاصل از تحلیل رفتار ماژول های بررسی شده در فصل چهار را نشان می دهد.
جدول ۵٫۱٫ خلاصه نتایج به دست آمده از تحلیل رفتار زیر سیستم ها و سرویس های VMware ESX