ارزیابی الگوریتم‌های کنترل همروندی WW و WD برای مدیریت پایگاه داده‌ها، از طریق مدل‌سازی با پتری رنگی

Abstract

اجرای همروند تراکنش‎ها در پایگاه داده، ممکن است منجر به ناسازگاری شود. ناسازگاری بر اثر مقادیر نادرستی است که برای داده‎ها، به دلیل تداخل اجرای تراکنش‌ها بوجود می‎آید. الگوریتم‌های کنترل همروندی، جهت تضمین اجرای همروند چندین تراکنش که بصورت همروند با داده‎های مشترک کار می‎کنند طراحی شده‎اند. در این مقاله الگوریتم‌های کنترل همروندی منتظر گذاشتن-میراندن (WD) و زخمی کردن-منتظر گذاشتن (WW) که جزء تکنیک‌های پیشگیری از بن‌بست هستند مدل‌سازی گردیده‌اند. از آنجا که شبکه پتری رنگی یکی از بهترین روش‌ها برای تحلیل مکانیزم‌های کنترل همروندی است؛ مدل‌سازی‌ها با استفاده از پتری رنگی ارائه شده‌اند. پس از مدل‌سازی به ارزیابی الگوریتم‌ها بر اساس پارامترهای تعداد تراکنش‌های وارد شونده به سیستم، تعداد دستورات هر تراکنش، تعداد داده‌های مشترک و غیر مشترک بین تراکنش‌ها و تعداد داده‌های مشترک در تراکنش‌هایی که هیچ داده غیر مشترکی ندارند؛ پرداخته شده است. پس از ارزیابی، این نتیجه بدست آمد که بر اساس پارامترهای ذکر شده، الگوریتم WW نسبت به WD زمان اجرای بسیار بهتری دارد.