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

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