ارائه روش کنترل همروندی بدبینانه در پایگاه داده های نامتجانس سیار با مدل داده ای یکسان
چکیده
پایگاه داده سیار، یکی از انواع پایگاه داده های توزیع شده است. دسترسی به داده ها در هر زمان و در هر مکان از جمله ویژگی های مطلوب این نوع از پایگاه داد ه ها می باشد این ویژگی سبب استفاده گسترده از پایگاه داده های سیار در سیستم های پردازش داده از جمله تجارت الکترونیک، بانکداری سیار و کنترل ترافیک می شود. از پروتکل های کنترل همروندی به منظور کنترل تاثیرات تراکنش های همروند بر یکدیگر استفاده می شود. قطع شدن مشتری های سیار از سرویس دهنده، در زمان نامشخص و به مدت نامعلوم، به دلیل متحرک بودن مشتری های سیار، از جمله محدودیت های وسایل سیار هستند. این محدودیت ها سبب می شود که کنترل همروندی تراکنش ها در پایگاه داده های سیار با مدل مشتری- سرویس دهنده با چالش هایی روبرو باشد. در پروتکل های همروندی متعارف بدبینانه بر اساس قفل گذاری، در زمان قفل گذاری یا قفل برداری، و در پروتکل های بدبینانه بر اساس مُهرزمانی در زمان خواندن یا نوشتن می بایست ارتباط بین مشتری سیار و سرویس دهنده وجود داشته باشد. در صورتی که این ارتباط پیوسته و دائمی نباشد تراکنش های همروند با مشکلاتی از قبیل بلوکه شدن و انتظارات طولانی مدت مواجه هستند. این مسئله سبب می شود که پروتکل های بدبینانه در محیط سیار مناسب و کارا نباشند. در پروتکل های خوش بینانه نیاز به ارتباط پیوسته مشتری سیار با سرویس دهنده نیست اما این نوع پروتکل ها برای محیط های خوش بینانه که برخورد بین عملگرهای تراکنش ها کم می باشد، مناسب می باشند. در سایر محیط های غیرخوش بینانه نرخ ساقط شدن تراکنش ها بر اساس پروتکل های خوش بینانه بالا می باشد. در این تحقیق یک پروتکل کنترل همروندی بر اساس روش های خوش بینانه معرفی شده است. کاهش ارتباطات بین مشتری سیار و سرویس دهنده ، کاهش نرخ بلوکه شدن و بن بست تراکنش ها و افزایش درجه همروندی مهمترین انگیزه استفاده از روش خوش بینانه بعنوان روش پایه پروتکل معرفی شده می باشد. به منظور کاهش نرخ ساقط شدن تراکنش ها که مهمترین مشکل روش های خوش بینانه می باشد به عملگرهای تراکنش ها در هنگام اجرا برچسب زمانی تخصیص داده می شود از برچسب زمانی تخصیص داده شده در هنگام نهایی شدن تراکنش روی سرویس دهنده، به منظور بررسی ویژگی مرتب بودن زمانبند بر اساس زمان نهایی شدن، استفاده می شود. سریال بودن زمانبندهای ایجاد شده بر اساس پروتکل معرفی شده با کمک از گراف سریال اثبات شده است. ارزیابی نتایج حاصل شده از شبیه سازی نشان داد که استفاده از پروتکل کنترل همروندی معرفی شده در این تحقیق نسبت به پروتکل کنترل همورندی قفل گذاری دو مرحله ای و پروتکل کنترل همروندی خوش بینانه نرخ ساقط شدن و زمان انتظار تراکنش را کاهش می دهد.