دانلود متن کامل پایان نامه مقطع کارشناسی ارشد رشته کامپیوتر
عنوان : ارزیابی برخی الگوریتمهای کنترل همروندی در سیستم مدیریت پایگاه دادهها، از طریق مدلسازی با پتری رنگی
تعداد صفحه : 123
ساختار پایاننامه
این پایاننامه به فرم زیر سازماندهی شده است.
در فصل دوم پیشینهی تحقیق و مطالب مرتبط آورده شده است. در این فصل یک مرور کلی بر کلیات مطلب، اهداف، پیشینهی تحقیق و سایر کارهای انجام شده در این زمینه خواهیم داشت. در پیشینه تحقیق، میپردازیم به این که تا کنون چه الگوریتمهایی ارائه شده، ارزیابی از طریق چه روشهایی صورت گرفته است و مانند آنها. همچنین تعدادی از پارامترها و معیارهای ارزیابی الگوریتمهای کنترل همروندی را بررسی خواهیم نمود. علاوه بر آن بعضی روشهای پیادهسازی و شبیهسازی موجود مانند پیادهسازی در مقیاس کوچک، شبیهسازی از طریق مدل مارکف، شبیهسازی از طریق شبکههای پتری و مانند آنها را بررسی میکنیم و به مزایا و معایب آنها اشارهای خواهیم داشت. همچنین روش تجزیه و تحلیل از طریق صف نیز بطور مختصر مورد بررسی قرار میگیرد.
در فصل سوم انواع الگوریتمهای کنترل همروندی پایهای موجود را بررسی خواهیم کرد. در این میان تعدادی از الگوریتمهای کنترل همروندی مانند پروتکل قفل 2PL که احتمال بنبست در آن وجود دارد و تکنیکهای WW و WD که تکنیکهای پیشگیری از بنبست هستند را مورد مطالعه قرار میدهیم. مزایا و معایب هر یک از این الگوریتمهای کنترل همروندی پایهای را نیز تا حدودی بررسی خواهیم نمود.
در فصل چهارم نیز به بررسی شبکههای پتری، مخصوصاً شبکههای پتری رنگی که یکی از ابزارهای بسیار مفید برای شبیهسازی الگوریتمهای کنترل همروندی هستند، پرداخته میشود.
در فصل پنجم نحوهی مدلسازی الگوریتمهای مورد نظر با استفاده از شبکههای پتری بیان شده است؛ که شامل تعریف مجموعههای رنگ، نشانهگذاریهای اولیه، متغیرهای موجود در مدل، شرح عملکرد توابع مدل و تعیین اولویت برای فایر شدن گذار مورد نظر از بین گذارهای فعال میباشد.
در فصل ششم که همان بخش پایانی است مدلها بر اساس پارامترهای متفاوت بررسی و با هم مقایسه شدهاند. آزمایشهای مورد نیاز صورت گرفته و هرکدام چندین بار تکرار گردیدهاند. نتایج میانگینگیری شده و نمودارهای لازم جهت مقایسه ترسیم شدهاند. در نهایت نیز نتیجهگیری کلی از مباحث بیان شده مشاهده میشود و پیشنهاداتی برای کارهای آینده ارائه خواهد شد.