مدل سازی مکانیزم های کنترل همروندی WW و WDبرای مدیریت پایگاه داده ها با استفاده از شبکه پتری رنگی
سال انتشار: 1393
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 710
فایل این مقاله در 8 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
CSCCIT02_024
تاریخ نمایه سازی: 9 فروردین 1395
چکیده مقاله:
اجرای همروند تراکنش ها در سیستم مدیریت پایگاه داده، ممکن است منجر به ناسازگاری شود. ناسازگاری بر اثر مقادیر نادرستی است که برای داده ها، به دلیل تداخل اجرای تراکنش ها بوجود می آید. الگوریتم های کنترل همروندی، جهت تضمین اجرای همروند چندینتراکنش که بصورت همروند با داده های مشترک کار می کنند طراحی شده اند. در این مقاله الگوریتم های کنترل همروندی منتظر گذاشتن-میراندنWD0F) و زخمی کردن-منتظر گذاشتن WW که جزء تکنیک های پیشگیری از بن بست هستند مدل سازی گردیده اند. الگوریتم ها بطوری مدل سازی شده اند که پارامترهای مفید مانند تعداد داده های هر تراکنش، تعداد داده های مشترک بین تراکنش ها و تعداددستورات هر تراکنش به راحتی قابل تغییر باشند. مدل ها با تغییرات اندکی قابل گسترش هستند و می توان تعداد تراکنش های وارد شونده به سیستم را نیز تغییر داد. از آنجا که روش های صوری بطور گسترده ای برای بررسی مکانیزم های کنترل همروندی استفاده می شوند و شبکه پتری رنگی 5 نیز قابلیت های مدل سازی بالایی دارد و یکی از بهترین روش ها برای تحلیل صوری مکانیزم های کنترل همروندی است؛ در این مقاله مدل سازی ها با استفاده از پتری رنگی ارائه شده اند. یک مطالعه موردی ساده به عنوان مثال برای درک بهتر ارائه گردیده کهمثال ذکر شده شامل سه تراکنش و دو منبع است.
کلیدواژه ها:
نویسندگان
میدیا بهزادیان
دانشجوی ارشد دانشگاه علم و هنر یزد - گروه کامپیوتر
فاطمه سعادت جو
استادیار دانشگاه علم و هنر یزد - گروه کامپیوتر
محمدعلی سعادت جو
دانشجوی دکتری دانشگاه کاشان- گروه کامپیوتر
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :