پی در پی پذیری در برخورد (CSR)
Download
Report
Transcript پی در پی پذیری در برخورد (CSR)
بسمه تعالی
درس پايگاه داده پيشرفته
استاد :دکتر باقری نيا
ارائه دهندگان :آرش قیطاس ی– مسلم خانعلی زاده
کاوه حسین آبادی– فروغ ترک
فصل اول :مدیریت تراکنش
-1تعریف تراکنش:
•مجموعههه ای اع عمرهریههای بانهها اکهعههاد کههه اع دیههد دههارقر یهها وا ههد م
تشکیل م دید را تراکنش م گوییم.
ه دههار را
•بههرای ای کههه تههراکنش نامعیههت بانهها اکهع ههات را ه نمایههد .بایههد ر ههار ا هیت
:A( ACIDیکپاررگ :C ،یمخوان :I،انزوا و :Dپایای ) را رعایت نماید.
2
مرا ل انرای تراکنش
مزایای انرای یمروند تراکنش یا
•
افزایش گذر دهی ( : )troughputانرای مواعی دستوراد که بها پرداعنهده درگ هر
یست د ،با دستوراد ورودی روجی ،م توند تعداد تهراکنش یهای انهرا هده در
وا د عمان را افزایش دید.
•
دههایش میههانه ن عمههان پا ه دهههی :دیهههر تههراکنش یهها بهها عمههان انههرا کوتههاه م ت هر بههه
اتمام رسیدن تراکنش یای بر د مدد نم با د.
مشکهد انرای یمروند تراکنش یا
رایط درستی یا کرح یمروند
• پ در پ پذیر با د
• دو روش ا لی پ در پ پذیری عبارت د اع:
.1پ در پ پذیری در بر ورد ()CSR
.2پ در پ پذیری در دید()VSR
بر ورد ()conflict
ر انچه ههه pو qدسه ههتوراد دو ته ههراکنش مختره ههف با ه ه د ،م ه ه گه ههوییم ای ه ه دو دسه ههتور به هها
یکدیهر بر ورد دارند اگر:
.1ای دستوراد اع تراکنش یای مخترف با د.
.2یر دو دستورقه یا داده مشترک دسترس ی دا ته با د
.3داقل یک اع ای دو دستور ،نو تن (() )writeبا د.
ندول بر ورد
عمانب دی پ در پ
عمانب دی را پ در پ م گوییم اگر برای یر دو تراکنش ،پایان یک قبل اع روع دیههری
با د.
عمانب دی معادل در بر ورد
• عمانب دی S2را معادل در بر ورد S1م گوییم اگر یر دو روی یا مجموعه اع دستوراد
و تراکنش یا دار ک د و با نابجا کردن دستوراد بدون بر ورد در S1بتوانیم به
عمانب دی S1را تولید ک یم.
مثال اع معادل در بر ورد
ل:
مثال غرط اع معادل در بر ورد
در تراکنش T2جای دستورها عوض شده
پ در پ پذیری در بر ورد ()CSR
عمانب دی را پ در پ پذیر در بر ورد مه گهوییم اگهر معهادل در بر هورد یها عمانب هدی په
در پ با د.
عمانب ههدی یمرون ههد ب ههه ههر رن ک ههه مع ههادل در بر ههورد ی هها عمانب ههدی په ه در په ه با ههد،
مشکل یمروندی ندارد.
مثال اع پ در پ پذیری در بر ورد ()CSR
راه ل صحیح
تشخیص پ در پ پذیری در بر ورد
تا ک ون راه ل عملی تشخیص پ در پ پذیری ارائه نشده است.
•
ر
راه ههل گ ههرار پ ه در پ ه پههذیری ب ههدی م ههور ارائ ههه ههده اس ههت .ای ه گ ههرار مرتبهها ب هها ت ی ههر مجموعههه
دستوراد تراکنش یا در عمانب دی به گام م ود.
•
در ههورتیکه در گ ههرار ر ههه مش ههایده ههود ،ت ههراکنش ی هها ت ههراکنش ی ههای س ههاقط م ه گردن ههد .در غ هر
ای صورد به دار ود ادامه م دی د.
•
ته ههراکنش یه هها رئه ههوس گه ههرار را تشه ههکیل م ه ه دی ه ههد .یال ه ههای ای ه ه گه ههرار ن ه ههت دار و به ههه مع ه ههای ونه ههود
دستوراد بر وردار اع یا تراکنش به سوی دیهری است.
T2
T1
مثال اع بکار گ ری گرار پ در پ پذيری
گرار پ در پ پذیری مرقو به عمانب دی را ترسیم نموده و تشخیص دیید که پ در
پ پذیر است یا ر ؟
abort
با ذر T6کل گرار ت ی ر کرده و دیهر ر ه ای ونود ندارد.
T5
T8
T7
پ در پ پذیری در دید ()VSR
• تعریف :تهراکنش Tjاع تهراکنش Tiمه وانهد اگهر Tjداده ای را کهه ا هری بهار Tiدر
رن نو ته ،بخواند و Tiساقط نشده با د.
• یا عمانب دی پ در پ پهذیر اسهت اگهر اتهراد رن روی بانها بها اتهراد یها عمانب هدی په
در پ معادل با د.
• اتههراد م ههادیری یسههت د کههه بهها عمرهریههای )( writeتوسههط تههراکنش یههای سههاقط
نشده نو ته م وند.
• برای یکسان بودن اتر نهای العم است ر ری تراکنشه ی کهه رن داده را مه نویسهد ،در
یر دو عمانب دی یکسان با د.
• ب ههرای یکس ههان ب ههودن م ههادیر نو ههته ههده ی ههم بای ههد م ههادیری ک ههه ت ههراکنش م ه
یکسان با د.
وان هد
عمانب دی معادل در دید
تعریف پ در پ پذیر در دید
عمانب دی پ در پ پذیر در دید است اگر معادل در دید یا عمانب دی پ در پ با د.
مثالی اع پ در پ پذیر در دید
ریا عمانب دی عیر پ در پ در بر ورد است ؟ پ در پ پذیر در دید ر ور؟
پ در پ پذیر در بر ورد نیست ولی در دید است.
عیرا:
.1در یر دو عمانب دی T3م دار اولیه Qرا م
واند.
.2ییچ تراکنش ی م داری برای Qاع دیهری نم
واند.
.3در یر دو عمانب دی T5ر ری عمل نو تن بر روی Qرا انجام م دید.
نکاد م م
• یههر عمانب ههدی کههه CSRنبا ههد ولههی VSRبا
ر
داده است(.بدون رن که داده را قبه وانده با
ر
• یههر عمانب ههدی پ ه در پ ه پههذیر در بر ههورد تمهها پ ه
برقرار نیست.
ههد در رن (Blind Writeنو ههتن کورکورانههه) رخ
د در رن م نویسد).
ر
در پ ه پههذیر در دیههد اسههت .عکهها ای ه مواههوع الزامهها
• الهههوریتم اسههای پ ه در پ ه پههذیری در دیههد اع پیچیههد بههاالی بر ههوردار اسههت.بهم ه ن دلیههل بکههارگ ری
روش CSRبسیار فراگ ر ده است.
تشخیص پ در پ پذیری در دید
• اع نماد Read Formبه ورد عیر است اده م ک یم:
)تراکنش Tiداده Xرا از تراکنش Tjمی خواند)
• مجموعه ) RF(sرا برای یمه داده یای sتولید م ک یم با فرض اولیه عیر
• اگر S2پی در پی باشد و )RF(S1)=RF(S2باشد ،آنگاه زمانبندی S1پی در پی پذیر
در دید است.
•مثال اع پ در پ پذیر در دید
•ریا عمانب دی عیرپ در پ پذیر در دید است ؟
ترمیم پذیری
•در س ه اریویای ن ههر دسترس ه ی ب ههه داده تثبی ههت نش ههده تکری ههف تراکنش ه ی ک ههه ب هها داده غ ههر معتب ههر درگ ههر ههده
است ریست؟
•برای دسترس ی فرری د یمزمان ،یا عمانب دی عهوه بر پ در پ پذیری باید ترمیم پذیر ن ز با د.
الف – عمانب دی ترمیم پذی )(recoverable-RC
•اگههر ب هرای تمههام تههراکنش یههای Tjکههه اع Tjم ه
ورد پذیرد.
وان ههد ،تثبیههت تههراکنش Tiقبههل اع تثبیههت ت هراکنش Tj
ریا عمانب دی عیر ترمیم پذیر است؟
•مثال اع ترمیم پذیری RC
•ریا عمانب دی عیر RCاست ؟ ره کلی م تواند دا ته با د؟
مشکل عمانب دی ترمیم پذیر
•ای عمانب دی ممک است درار سبب ساقط دن تراکنش یای دیهرقصورد ربشاری (Casca ding
) abortsگردد.
عمانب دی فاقد س و یای ربشاری
)(Avoiding Cascding Aborts-ACA
•ر انچه ههه به ههرای یه ههر دو ته ههراکنش Tiو ، Tjاگه ههر ته ههراکنش Tjاع Tiبخوانه ههد ،رنگه ههاه Tiقبه ههل اع وانه ههدن
Tjتثبیت ده با د.
•یر عمانب دی فاقد س و یای ربشاری ،ترمیم پذیر م با د.
•مثال اع ترمیم پذیری ACA
ریا عمانب دی عیر ACAاست؟
عمانب دی محض( خت گ ر) )(Strict-ST
•اگ ه ههر ب ه ههرای ی ه ههر دو ت ه ههراکنش Tiو ، Tjاگ ه ههر ت ه ههراکنش Tjداده ای را پ ه هها اع نو ه ههتن Ti
بخوانههد یهها ب ویسههد ،ای ه عمههل تههراکنش Tjبعههد اع اتمههه (تثبیههت یهها س ه و ) Tiانههرا
ود.
کرح یای مخترف پ در پ پذیری و ترمیم پذیری عمانب دی یا
با سپاس از توجه شما
دانشجویان گرامی و استاد محترم
موفق با ید