مدل سازی اجرای همروند تراکنش ها براساس فایل ثبت وقایع و تغییر پایگاه داده با تاخیر و بررسی نحوه چک گذاری با استفاده از پتری نت رنگی

خرابی به معنی عدم کارایی یک سیستم یا شبکه در بازه های زمانی مختلف می باشد. در سیستم های کامپیوتری خرابی به دلایل مختلف اعم از سخت افزاری و نرم افزاری روی می دهد. این مقاله بر روی خرابی های نرم افزاری تمرکز کرده است. در این زمینه، نحوه برخورد با خرابی از چالش های مطرح می باشد. تاکنون راه های زیادی برای برخورد با خرابی در سیستم های کامپیوتری ارائه شده است که هر یک به نوعی تاریخچه سیستم را نگه داری کرده و در زمان رخداد خرابی سعی در ترمیم سیستم و بازگرداندن سیستم به وضعیتی عادی را دارند. هنگامی که خرابی در سیستم رخ داد، برخی تراکنش ها ممکن است در حالت تناقض باشند زیرافرصت برای commit شدن پیدا نکرده باشند. یک سیستم ترمیم مناسب بایستی نسبت به تراکنش هایی که در زمان خرابی وجود داشته اند، آگاهی داشته باشد. تراکنش هایی را که commit شده بودند را مجبور به انجام دوباره نماید وآن هایی که نیمه کاره مانده بودند بایستی از نو انجام شوند. راه کارهای ارائه شده جهت برخورد با خرابی ایجاد شده در سیستم قبل از اجرا نیاز دارند تا درستی آن ها تایید گردیده و یا مورد آزمایش و بررسی قرار گیرند. روش های جدید ارائه شده نیز جهت بررسی صحت ارجا، باید قبل از اجرا و استفاده مورد آزمایش قرار گیرند. در این مقاله روشی برای مدلسازی راه کارهای برخورد با خرابی در سیستم ها ارائه شده است. این روش سعی می کند تا برای مدلسازی چنین سیستمی از پتری نت رنگی استفاده کند. پتری نت رنگی در این مقاله برای مدل سازی اجرای همروند تراکنش ها براساس فایل ثبت وقایع استفاده شده است تا پایگاه داده را تغییر داده و با خرابی رخ داده در سیستم مقابله کند نتایج نشان می دهد که مدلسازی انجام شده به سهولت می تواند هر سیستمی را مورد آزمایش و بررسی قرارا داده ونتایج صحت سیستم را تایید نماید.

کلیدواژه ها:

تراکنش ، پایگاه داده ، پتری نت رنگی ، مدل سازی ، همروندی