• • الگوریتم WD

• • الگوریتم WW

در بخش ۳-۳-۲-۱، الگوریتم WD و در بخش ۳-۳-۲-۲، الگوریتم WW را که اساس کار ما هستند به طور مفصل توضیح خواهیم داد. لازم به ذکر است که تکنیک‌های دیگری نیز بر اساس زمان‌مهر وجود دارد از جمله:

• • زمان‌مهر مبنایی (پروتکل TO)

• • پروتکل زمان‌مهر محافظه‌کارانه (سخت‌گیرانه)

• • پروتکل زمان‌مهر شدید (قاعده نوشتن توماس)

که از خارج از این مبحث هستند و از توضیح آن‌ها خودداری می‌شود و به بیان نام آن‌ها بسنده می‌کنیم.
الگوریتم WD
در این الگوریتم اگر TS(T_i)<TS(T_j) باشد، آنگاهT_i که خواهان قفل روی داده است انتظار می‌کشد تا T_j به اتمام برسد، در غیر این صورت T_i طرد می‌شود تا دیرتر با مقدار زمان‌مهر جدید دوباره وارد سیستم شود و شروع به کار کند. در این الگوریتم حق تقدم زمانی تراکنش رعایت نمی‌شود؛ به همین دلیل به آن الگوریتم نابازدارنده می‌گویند.
الگوریتم WW
در این الگوریتم اگر TS(T_i)<TS(T_j) باشد و T_j روی داده قفل داشته باشد آنگاهT_j طرد می‌شود. در واقع داده از T_j گرفته می‌شود و به T_i که قدیمی‌تر است داده می‌شود. اما اگر این شرط برقرار نباشد T_i باید انتظار بکشد. در این الگوریتم حق تقدم زمانی تراکنش رعایت می‌شود؛ به همین دلیل به آن الگوریتم بازدارنده می‌گویند.
خصوصیات الگوریتم WD و WW
در هر دو روش ممکن است پدیده طرد تسلسلی پیش آید و تراکنش‌هایی طرد شوند که ایجاد کننده‌ی بن‌بست نیستند. اما در هر دو الگوریتم از پدیده محرومیت اجتناب می‌شود.
فصل چهارم
شبکه‌های پتری
مقدمه
در این فصل به بررسی شبکه‌های پتری، مخصوصاً شبکه‌های پتری رنگی که یکی از ابزارهای بسیار مفید برای شبیه‌سازی الگوریتم‌های کنترل همروندی هستند، پرداخته می‌شود. اطلاعات ذکر شده در این فصل از مراجع (Murata, 1989)، (Zoltan, Carlos, and Victor, 2006)، (Yilmaz, 2008)، (Halder, 2006)، (Li, Hu, and Zhou, 2004) و (Jensen, et al., 2010) اقتباس شده‌اند و مطالب ذکر شده به نوعی در تمام این مراجع موجود می‌باشند.

(( اینجا فقط تکه ای از متن درج شده است. برای خرید متن کامل فایل پایان نامه با فرمت ورد می توانید به سایت feko.ir مراجعه نمایید و کلمه کلیدی مورد نظرتان را جستجو نمایید. ))

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

• • مدل‌سازی مبتنی بر متن

• • مدل‌سازی دارای قابلیت نمایشی و گرافیکی مثل شبکه‌های پتری

تفاوت UML^[40] و پتری
یکی از نقاط ضعف UML این است که فازهای تحلیل و پیاده‌سازی در آن از هم جدا است و تا اتمام فاز پیاده‌سازی نمی‌توان به طور رسمی از صحت تحلیل مطمئن بود. اما در شبکه‌های پتری دو فاز تجزیه و تحلیل و پیاده‌سازی به صورت همزمان صورت می‌گیرد. این ویژگی سبب شده است تا با گذشت زمان اهمیت شبکه‌های پتری بیشتر گردد.
تاریخچه شبکه‌های پتری
ایده‌ی اولیه‌ی شبکه‌های پتری به عنوان یک ابزار برای مدل‌سازی سیستم‌های کامپیوتری در سال ۱۹۶۲ توسط کارل آدام پتری^[۴۱] مطرح شد. سپس توسط گروه‌های خاصی در آلمان مورد بررسی قرار گرفت و پس از آن در بسیاری از کشورها رواج پیدا کرد. البته لازم به ذکر است که در چند سال آینده شبکه‌های پتری گسترش چشم‌گیری خواهند داشت. به طور مثال به جای فلوچارت‌ها خواهند نشست.
ویژگی‌های شبکه‌های پتری
شبکه‌های پتری ابزاری مناسب برای مدل‌سازی بر پایه‌ی منطق ریاضی، البته به صورت گرافیکی می‌باشند. به عبارت دیگر پتری نت گرافیکی است اما پایه‌ی قوی ریاضیاتی دارد.
از پتری برای مدل‌سازی و تحلیل سیستم‌هایی که ماهیت همزمان، توزیع شده، موازی و اتفاقی دارند استفاده می‌شود.
از خصوصیات مهم پتری نت قابل اجرابودن آن است. بر خلاف UML در شبکه‌های پتری همواره تجزیه و تحلیل و پیاده‌سازی به صورت همزمان صورت می‌گیرد. از همین ویژگی می‌توان برای ارزیابی رفتار و کارایی یک سیستم به صورت همزمان بهره برد.
اجزای شبکه‌ی پتری
شبکه پتری از چهار جزء بیان شده در شکل ۴-۱، تشکیل می‌شود.
توکن
مکان
گذار
کمان
شکل ۴-۱- اجزای شبکه‌ی پتری
این‌ها چهار جزء اصلی در شبکه پتری هستند. کم بودن تعداد آن‌ها، باعث سادگی در شبکه پتری شده است.
تعریف اجزای شبکه‌ی پتری

• • مکان‌ها^[۴۲]: مؤلفه‌ها واجزای سیستم هستند. مثلاً یک گرداننده دیسک، یک برنامه یا منابع دیگر هستند.

• انتقال‌ها یا گذارها^[۴۳]: توضیحات حوادث و وقایع هستند. مثلاً می‌تواند خواندن از دیسک باشد.