امار بررسی ویژگی الگوریتمهای کنترل همروندی توزیعی که پایه مکانیزم قفل دو مرحله ای Pha

لینک دریافت فایل خرید پایین توضیحات

فرمت فایل word  قابل ویرایش پرینت

تعداد صفحات: 19

چکیده : گزارش ما بررسی ویژگی الگوریتمهای کنترل همروندی توزیعی که پایه مکانیزم قفل دو مرحله ای(2 Phase Locking) ایجاد شده اند خواهیم پرداخت. محور اصلی بررسی مبنای تجزیه مساله کنترل همروندی دو حالت read-wirte write-write می‌باشد. مقال، تعدادی تکنیکهای همزمان سازی حل هر یک قسمتهای مساله بیان شده سپس تکنیکها حل کلی مساله یکدیگر ترکیب می‌شوند.

در گزارش درستی ساختار الگوریتمها متمرکز خواهیم شد. راستا ساختار پایگاه داده توزیعی یک سطحی انتزاع نظر می‌گیریم مساله حد ممکن ساده سازی شود.

1. مقدمه : کنترل همروندی فرایندی که طی بین دسترسی همزمان یک پایگاه داده یک سیستم مدیریت پایگاه داده چند کاربره هماهنگی بوجود می‌اید. کنترل همروندی کاربران اجازه می‌دهد یک حالت چند برنامگی سیستم تعامل داشته باشند حالیکه رفتار سیستم دیدگاه کاربر نحو خواهد که کاربر تصور می‌کند یک محیط تک برنامه حال فعالیت است. سخت حالت سیستم مقابله بروز اوری ازار دهنده که یک کاربر هنگام استخراج داده توسط کاربر دیگر انجام می‌دهد. دو دلیل ذیل کنترل همروندی پایگاه داده توزیعی اهمیت بالایی برخوردار است:

کاربراان ممکن داده که کامپیوترهای مختلف سیستم قرار دارند دسترسی پیدا کنند.

یک مکانیزم کنترل همروندی یک کامپیوتر وضعیت دسترسی سایر کامپیوترها اطلاعی ندارد.

مساله کنترل همروندی چندین سال قبل کاملا بررسی قرار گفته خصوص پایگاه‌داده‌های متمرکز کاملا شناخته شده است. خصوص مسال پایگاه داده توزیعی توجه اینکه مساله حوزه مساله توزیعی قرار می‌گیرد بصورت مداوم راهکارهای بهبود مختلف عرضه می‌شود. یک تئوری ریاضی وسیع تحلیل مساله ارائه شده یک راهکار قفل دو مرحله عنوان راه حل استاندارد خصوص ارائه شده است. بیش 20 الگوریتم کنترل همروندی توزیعی ارائه شده که بسیاری انها پیاده سازی شده حال استفاده می‌باشند.این الگوریتمها معمولا پیچیده هستند اثبات درستی انها بسیار سخت می‌باشد. یکی دلایل اینکه پیچیدگی وجود دارد که انها اصطلاحات مختلف بیان می‌شوند بیان مختلفی انها وجود دارد. یکی دلایل اینکه پیچدگی وجود دارد که مساله زیر قسمتهای مختلف تشکیل شده هر یک زیر قسمتها یک زیر الگوریتم ارائه می‌شود. بهترین راه فائق امدن پیچدگی که زیر مساله الگوریتمهای ارائه شده هر یک ی.ک سطح انتزاع نگاه داریم.

با بررسی الگوریتمهای مختلف می‌توان حقیقت رسید که الگوریتمها همگی ترکیبی زیر الگوریتمهای محدودی هستند. حقیقت زیر الگوریتمها نسخه‌های متفاوتی دو تکنیک اصلی کنترل همروندی توزیعی نامهای قفل دو مرحله ترتیب برچسب زمانی می‌باشند.

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

حالت اول می‌توان بروزاوری دست رفته نامید. حالتی تصور کنید که دو مشتری دو سیستم مجزا بخواهند یک حساب مالی برداشت نمایند. حالت فرض کنید غیاب سیستم کنترل همروندی، هر دو اقدام خواندن اطلاعات درج اطلاعات جدید سیستم میکنند. حالت غیاب سیستم کنترل همروندی تنها اخرین درج سیستم ثبت می‌شود. حالت شکل 1 نشان داده شده‌ است.

شکل 1 نمایش حالت بروز اوری دست رفته

حالت دوم حالتی که اطلاعات صحیح پایگاه داده استخراج نمی‌شود. حالت فرض کنید دو مشتری بخواهند کارهای ذیل انجام دهند.

مشتری 1: بخواهد یک چک 1 میلیونی حساب X واریز حساب Y برداشت نماید.

مشتری 2: بخواهد بیلان حساب مالی X Y شامل کل موجودی نمایش دهد.

در غیاب کنترل همروندی همانطور که شکل 2 نشان داده شده‌است، تزاحم بین پروسس بوجود خواهد امد. فرض کنید زمانی که مشتری 1 اطلاعات حساب Y خوانده اطلاعات حساب X دریافت نموده 1 میلیون حساب Y برداشت نموده ولی هنوز 1