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