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