مدل سازی و پیاده سازی کنترل همروندی قفل دو فازی

در این مقاله یک مدل پردازش تراکنش کلی مورد بررسی قرار می گیرد که قادر به مدل سازی شیوه های مختلف پذیرش قفل است. این مدل با به کارگیری تراکنش ها و روی گروهی از داده ها به طور هم زمان به جای مدل کلاسیک داده های جداگانه بهبود چشمگیری پیدا می کند. درخواست داده به صورت گروهی و هم زمان نمایانگر آغاز یک مرحله از تراکنش است. تراکنش زمانی وارد مرحله برده می شود که گفته های درخواست شده در مرحله فعلی پذیرفته و پردازش شده باشد. از آنجا که ممکن است هر مرحله درخواست بیش از یک قفل را داشته باشد، طرح پذیرش قفل نیز در نظر گرفته می شود . دو مورد پذیرش قفل مورد مطالعه قرار می گیرد ، پذیرش کلی و پذیرش جزئی . در تکنیک پذیرش کلی، درخواست ها بر روی داده ها در هر مرحله داده شده و در همان زمان پذیرفته می شود. در تکنیک پذیرش جزئی، تراکنش ، داده های موجود را پذیرفته و برای داده هایی که از قبل قفل شده اند منتظر می ماند. درحالی که تمام بررسی های صورت گرفته بر روی 2PL از برنامه ریزی مدیریت قفل FCFS(first-come-first-served) استفاده می شود، در اینجا سایر قوانین برنامه ریزی نیز مورد مطالعه قرار می گیرد.

کلیدواژه ها:

قفل دو فازی ، FCFS ، کنترل همروندی ، مدل پردازش تراکنش ، پایگاه داده متمرکز