6.1 trong hÇ thÑng a ch°¡ng trình mÙt P n±m trong tr¡ng thái deadlock hay treo n¿u nh° nó chÝ sñ kiÇn (event) nào ó không bao h x£y ra . tình tr¡ng deadlock hay treo hÇ thÑng là tình tr¡ng cça 1 hay nhiÁu P n±m trong tr¡ng thái treo

VD khi chÉ có 1 ti¿n trình

Revenge : procedure options (main,took)

Wait(event)

End revenge;

P t°¡ng éng vs ch°¡ng trình này s½ chÝ sñ kiÇn event nh°ng nó l¡i k xem xét d¥u hiÇu xu¥t hiÇn event. HÇ thÑng b¯t buÙc nh­n th¥y P ó bË treo và sau ó p£i bÏ P Ã thoát khÏi tình trang deadlock.

6.2 các iÁu kiÇn xu¥t hiÇn deadlock

- iÁu kiÇn lo¡i trë nhau: các p yêu c§u Ùc quyÁn sí dång tài nguyên s½ c¥p phát cho nó

- iÁu kiÇn chÝ tài nguyên bÕ sung P giï cho m tài nguyên ã c c¥p phát và yêu c§u tài nguyên bÕ sung

- iÁu kiÇn không phân chia: tài nguyên k c l¥y l¡i të P khi các tài nguyên ó ch°a c sí dång à k¿t thúc công viÇc.

- iÁu kiÇn chÝ vòng tÓn t¡i vòng kín các P trong ó m×i P giï tài nguyên mà P k¿ ti¿p ang òi hÏi..

6.3 ngn ch·n deadlock vÛi viÇc lo¡i bÏ iÁu kiÇn chÝ tài nguyên bÕ sung cça havender

* °u iÃm

Vì P yêu c§u t¥t c£ tài nguyên mà nó c§n ngay të §u nên hÇ thÑng ph£i c¥p tài nguyên theo nguyên t¯c có t¥t c£ ho·c không có j. n¿u t­p hãp các tài nguyên có ç thì hÇ thÑng có thà c¥p t¥t c£ à cho P có thà ti¿p tåc công viÇc . n¿u lúc ó k có ç tài nguyên thì hÇ thÑng p£i chÝ ¿n khi các tài nguyên có ç bßi vì P n±m trong tr¡ng thái chÝ k c giï c tài nguyên nào. Do ó ngn ch·n c sñ xu¥t hiÇn iÁu kiÇn chÝ tài nguyên bÕ sung và tình huÑng deadlock k thà x£y ra

nh°ãc iÃm sí dång tài nguyên k hiÇu qu£

VD ctr vào lúc nào ó c§n 10thi¿t bË bng të b¯t buÙc ph£i yêu c§u và có ç c£ 10 trang thi¿t bË tr°¡c khi có thà bt §u . n¿u nh° 10 thi¿t bË ó c§n suÑt trong thÝi gian ho¡t Ùng thì không có v¥n Á gì vÁ hiÇu su¥t sí dång . nh°ng nói chung thì không p£i t¥t c£ chúng Áu °ãc sí dång trong nhïng kho£ng thÝi gian nào ó nh° th¿ các thi¿t bË c sí dång vÛi hiÇu su¥t th¥p

6.4 thu­t toán banker

- các thi¿t bË º

¼

Ú Øîð

!'"d"f"„"†" "¢"B#'#b#|#~#$ $$¬$®$º%¼%:'L'T'p'r' (¤(¦(üõüñíëíçãíãßãß×Ì×Ìß×Ì×ÌßÈÄÈñÄÈÄÀÄÀÄÀÄÀh G$hÝ)

h;.L h×h×CJ aJ h×CJ aJ h×h *Sh...Uhå1

hx³

h÷n·hg@Èhg@È&Ö

\

t

Ž

b

ä

Ò ž Lb f TV‚Øð&Ö†- n H"úúúúúúúúúúúøøøøðëëëëëëëëëëëgdå1

&

Fgdå1

gdg@ÈchÉ c c¥p phát cho ng°Ýi dung theo yêu c§u trong TH sau khi c¥p phát thì hÇ thÑng v«n ß tr¡ng thái Õn Ënh

- khi c c¥p phát thì ti¿n trình c§n £m b£o tr£ l¡i tài nguyên sau thÝi gian hïu h¡n hÇ thÑng yêu c§u s½ c áp éng sau thÝi gian h°u h¡n

- hÇ thÑng có 2 tr¡ng thái

+ Ñn inh: £m b£o mÍi ti¿n trình k¿t thúc bình thg suy ra k x£y ra deadlock và ngc l¡i

+ k Õn Ënh n¿u hÇ thÑng k £m b£o moË ti¿n trình k¿t théc bthg deadlock có th¿ x£y ra

'! yêu c§u s½ c áp éng n¿u sau ó hÇ thÑng v«n ß tr¡ng thái Õn Ënh

Ví då chuyÃn tr¡ng thái Õn Ënh sang k Õn Ënh

Xét hÇ thÑng gÓm 20 thi¿t bË và c phân chia cho 3 ng°Ýi dung. ß tr¡ng thái 1 là tr¡ng thái Õn Ënh. Ng°Ýi dung thé 3 yêu c§u tài nguyên bÕ sung . n¿u nh° thÏa mãn yêu c§u ó thì hÇ thÑng chuyÃn sang tr¡ng thái 2 là tr¡ng thái k Õn Ënh

Tr¡ng thái 1

SÑ TB g c c¥p SÑ TB max c§n Ng dùng 1 1 4 Ng dùng 2 4 6 Ng dùng 3 5 8 Dï trï còn l¡i 2

Tr¡ng thái 2

SÑ TB g c c¥p SÑ TB max c§n Ng dùng 1 1 4 Ng dùng 2 4 6 Ng dùng 3 6 8 Dï trï còn l¡i 1 Nh°ãc iÃm

-các thông sÑ xem xét Áu là cÑ Ënh thñc t¿ thì không cÑ inh mà thay Õi

-thÝi gian ch°a có sÑ

¯u iÃm k b¯t buÙc lo¡i trë 1 sÑ iÁu kiÇn x£y radeadlock các r±ng buÙc th¥p(3 iÁu kiÇn §u v«n cÛ thà x£y ra)

6.5 thu­t toán phát hiÇn deadlock

Thu­t toán dña trên thao tác rút gÍn thông tin , xem xét trên 1 ti¿n trình nào ó và trên ti¿n trình này n¿u nh° t¥t c£ các yêu c§u cça nó có thà áp éng c thì thñc hiÇn viÇc rút gÍn.

Thu­t toán

B1 l·p l¡i thao tác rút gÍn ¿n khi k rút gÍn c h¡n

B2 Ó thË nh­n c

+ n¿u xóa h¿t cung thì k x£y ra deadlock

+ ngc l¡i x£y ra deadlock