Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống
1
/ 21 trang
THÔNG TIN TÀI LIỆU
Thông tin cơ bản
Định dạng
Số trang
21
Dung lượng
222 KB
Nội dung
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ântá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