Thông tin tài liệu
LỜI MỞ ĐẦU ! "#$%&'()*$+,- ./ & /0,1-233-4561 *7+- #-8 %&'98 : 8.#."##45 ; /2<=>7)?@@A8) BC5D-# (E.#-08:8FG: H-IJ:!IHF5 2F-/"#)K&13"F-/G' /.K>LM71-I&4$NO/-:P& :Q&R(SJ->) !I 4! /52T)>1S/:U A)8/#7#9.3-HV:QE.KWXM7 .KMYZ8/78:P-[1>- &4$YCN \ -]) Q^&& /I_33I?@@E 08)`>7):%I , '1)`F:P&"4!)K8 )a� 5 Hệ phân tán (Distributed System) là hệ thống xử lý thông tin bao gồm nhiều bộ xử lý hoặc bộ vi xử lý nằm tại các vị trí khác nhau và được liên kết với nhau thông qua phương tiện viễn thông dưới sự điều khiển thống nhất của một hệ điều hành. b")/#7#!4 # -%8.c+I9G71I10R)Kd8Je &*3&:P:QP -/(a8 78]f>.3]7-()5 O/)+3UTrình bày các thuật toán cho phép phát hiện bế tắc; và Theo phương pháp Le Lann, người ta phối hợp một bộ tuần tự cho một tài nguyên găng, ví dụ Sa, Sb, Sc, .Người ta nhóm các bộ tuần tự trên một jeton duy nhất; Hãy chứng minh rằng để triển khai một chiến lược cung cấp không có rủi ro về bế tắc, người ta chỉ cần rút một số cho một tài nguyên cần thiết khi jeton chạy quadVXe5 I/)+ .8!,:Pg:4!4)^ J7#I?@@30J71(&U Trình bày các khái quát về bê ́ tă ́ c Thuật toán cho phép phát hiện bế tắc Trình bày giải pháp kê ́ t hơ ̣ p ca ́ c bô ̣ tuâ ̀ n tư ̣ cho mỗi ta ̀ i nguyên găng trên mô ̣ t jeton tuâ ̀ n hoa ̀ n đê ̉ ngăn chă ̣ n bê ́ tă ́ c. 6>(,8&!]:(.Q.#[I 8%/)+3)1)`!1)(I ! I 4]].3/.3.T&&-.8.85h +:P&- K 47J7I) /3F .%Q5 30R)Q#%8Z4b;%, $ ::(aF3&Q"/3/)+5 !"#$#% & CHƯƠNG I TRÌNH BÀY CÁC KHÁI QUÁT VỀ BẾ TẮC 1.1. Các tài nguyên i8]-/0#.8J01"887$j)@5555 O/#)+78]F&_88:P:4561 4-/)187$ !1 3561H-/ -4.-/:P45 4-/ )IU-/Gd @@ 7)@e.3/G d @@ 7)@e5 #!'()#*U)4-/:P)^8J&'-5 i1)1H(S4-/G5 #!+,)#*-.'U)4.3/)^8J &'-7./)LH5k)@87$bfh)4 .3/G:P5 <J78]:Q0#4.3/G:P5 J&.4&R(S4)U = l4145 = ;R(S45 = m# -45 <84.3-$.:P4J8J47$>/ Q51&8J17$>.447$)L !(+.4-$5 1.2. Định nghĩa bế tắc Một tập các tiến trình bị bế tắc nếu mỗi tiến trình trong tập tiến trình chờ một sự kiện mà chỉ có tiến trình khác trong tập các tiến trình đó tạo ra. #8JQ.318JF-/I 7.n1&./-/!8J.+ 8JJ+ #8J8 SQ,,5 8:QP &.8JQ# - 4I8J.+ 8J7$>85\- .L4+ 8J78]Q4)&' 18J7$>.5o318J-/I.31 /0 / 1 234#5 167 !"#$#% & 8J-/# -4g.318J-/! (+5 1.3. Điều kiện xảy ra bế tắc 2jp) .;&XqrX,:s.-/)0 78]U 7(89:;#!+,)'68<=>##6$?@'$#8AB 6LQ/14.3/&t:P u18 J.8J&R(S04G 4.5 7CD'EFG!#'#!#!=H6IA1B 8J:P M 441>4Q 47$8J.85 77J,#*-.'#!KE1L-6F'M=A1??AB 4u# -.&R(S05o318J -/G4^8J8F5 7 *NO'#+5'P1A-*2'Q#!=1'#$61R6B 2-H8JQP)aU8JQ 4 7$8J.8:P)I5 #s. #>/78].30#5o-s .J78]0#5<88Xs.J.3-78]5 1.4. Đồ thị cấp phát tài nguyên 2-/&R(S1G$/3J-4 45OG$:P )G$$$4dh;mUh@&@v))m eU =V)IFU8J:P7/(w79J[L4:P/ $79J35 =V)IIU x2I4U^8J8452uy8J44 Q-:P4-5 x2Iu$U^488J52uy8J8 4-5 o14:P1I4:P45 o14:%JI4:P/&Iu$ /0 / 1 234#5 16 !"#$#% & o18J# -4Iu$7$0- <8G$.3!.nJ78].30# <8G$!1.nJ78]0#5 /S T ,T2'%U#! 1.5. Các phương pháp xử lý ́ bê ́ tă ́ c 24 z z { :% 4 z | 4 } 0R)K74 z z U =;R( | 1!d )e4 } 4 | 3 z .37Q0#74 z z 5 =2 M 0 } 74 z z ~ • ~ z &R74 z z 5 =\7T } "74 z z 0@:4 | 3 z .37Q0#74 z z 5 1.6. Ngăn chặn bế tắc O/78].30##7#/1s..30# :&U 1.6.1. Tài nguyên không thể chia sẻ::.3/:P4.J7# 4:$5414.80:Q- /(E%8& )/78*4-/&t5 /0 / 1 234#5 16V € €h h € €4h h h{ €X hV €V 61J.378]€{ hX hs h{ €X hV €V 61J78]€{ hX hs !"#$#% & 1.6.2. Sự chiếm giữ và yêu cầu thêm tài nguyênU ##7#9L.8J 4414J-.384.52-/ > 1%80&U =8J #4#48:.7]0R)KU :% -.-.)8J.--/:):PH04&R(S J-/ S1"J0R)K5<88J8&• 4:&R(SJ&R(S4&_.M"#5 =o8J4147$^- ## - 48&-)I:P ')IE)4U :% ) &.-.7#J‚() 5 1.6.3. Thu hồi tài nguyên: M :PG4^8J7$ .- ')I8J.-.TJI7$.-54 1&)I4G&_.-.J IH‚()5 1.6.4. Tồn tại một chu kỳ: I.nG$ 79 4@! :&U mhƒ„h X h V 555h …)+ )I4 2)I4:P !^X†<!-/)!) 4:Q45oKkdh e 28J.44 #"$U.8J7$ 84h J-/44h ‡ 8kdh ‡ eˆkdh e5 CHƯƠNG II THUẬT TOÁN CHO PHÉP PHÁT HIỆN BẾ TẮC /0 / 1 234#5 16W !"#$#% & o4:P&R(S7'($:P0$@./1 "J($ :% ( [78](4#3 .3[ EP 5ZF #&R(S :% $5 €:% :P3#7'6@&@&_:PJ75€:% > &R(S1G$ ./ - M 78]5 :%:+ 78]L1I"#)K:P4 J u(3S7152I.'&($7$ @:P [ &78]d78]-/ I1I-e #7 $J5 2.1. Các định nghĩa 0$Q/($T j T k quan hệ chặn trực tiếp :&U ‰:P7/791G$)G$015; GI1[)> G$778&_-78](w561 ($A.37$>C-`)G$7/791FI-.3- (a85 m#&R9T k )1($7$>5+ P #($-/I :P79I.] 0 ^T k @:P)I: F)+ P >T k .K)E(T k ).2($1E(T k )) ($-G^&>T k 5 I1Q/:G$01&">G I($5.KB(T k ))+ P ($7$>(T k - `)($-/I:P79I.] 0 ^T k 5 0X:;U2G$01:&U X /0 / 1 234#5 16Y T j ˆT k GIH147$@7'T j 47'T k :.3:P !5 !"#$#% & V Š { s 2($.3>)T 3 , T 4 , T 5 -U pd X eƒ„ V { s Š … id Š eƒ„ X V … OG$01![)> 8u8GI($T k mà tập hợp chặn của nó chứa một giao dịch bị chặn bởi T k : ∃ .Uid . e ∩ pd . e ≠ „GI[)> … <8.3(J4LI17#&G$*"J # 0(1#S71 M .^445O-) #+&5 2.2. Thuật toán .KS(T k ))IG($T k 5/L($T k I;d . e (J+ P B(T k )E(T k ).b+ +E(T k ) #:P7/4# IG($1B(T k ).8($>T k ) R 71+ P >($1B(T k ). m#&R9T k ,414eIS i -54I M &U /0 / 1 234#5 16Z STT Phép toán X <8e)-&•/(E4:P#,+)T k -45 V <8e,:P ($T j J3 A ‡ > . C :PIS(T j )S(T k ).;(j,k)u13 :+5 !"#$#% & o+13 d‡.e41IS-1& U X54IS(T j )G($>T . 4T k + P B(T j )./ 9.3) &78]-`)U id ‡ e ∩ pd ‡ eƒ R8 S3 d).e HIG($T l >T j 9 M IS(T l )+ ++ P BB(T l )($7$>7'T l 5 ;&143 d).e:PRIG($ T k /+ ++ P E(T k )($>T k 5 V54IS(T k )G($7$>T k 4T j + P E(T k )./ .3-78]-`)U id ‹ e ∩ pd . eƒ R8 S3 d‡e HIG($T m 7$> 7'T k 9 M IS(T m )+ ++ P E(T m )($>T m 5 2.8$# -(a8+0!.3-. '5 Ví dụ 2:\,0M{I; X ; V ; { 56LIS i !:Pe i )G ($T i U T 1 T 2 T 3 bŒ)ŒŒd@Xe 55555555555 5555555555 5555555555 Œ)ŒŒd@Ve Œ)ŒŒd@Ve 555555555555555 555555555555555 555555555555555 Œ)ŒŒd@ { e Œ)ŒŒd@ { e 555555555555555 555555555555555 555555555555555 Œ)ŒŒd@Xe ,:':P9IQ/#($,:P- .8"# M 4@5o-/&Q/ M !($7$>5O-.M@&.&U /0 / 1 234#5 16[ !"#$#% & T 1 4; V $ @ V -4 V • ; V RdVXe; X ; V ^--U pd X eƒ„ V …id X eƒ id V eƒ„ X …pd V eƒ T 2 4; { $ @ { -4 { • ; { Rd{Ve; V ; { ^--U id { eƒ„ V …id { eƒ pd V eƒ„ { …id V eƒ„ X … ; V Rd{Xe; X ^-&U pd X eƒ„ V { …id X eƒ T 3 4; { $ @ X -4 X • ; X & { id X e+)U pd X e ∩ id X eƒ„ { … <:+78]:P 4; X 5 2.3. Kết luận \+^:P'40 ^%&'E14)K:% 5O-)&8]]II0 &):1ŽI Ž$5O-)I# M .3.M@78]5 <:7#+./.)I M &R(S.c+ .5+( [./4I^ 1. I%./5+ -1II I.53:QLI+3(:^5 /0 / 1 234#5 16
Ngày đăng: 26/12/2013, 11:11
Xem thêm: BẾ tắc và xử lý bế tắc TRONG hệ PHÂN tán , BẾ tắc và xử lý bế tắc TRONG hệ PHÂN tán