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