Interbloqueig: diferència entre les revisions
Contingut suprimit Contingut afegit
Línia 3:
Tots els interbloquejos sorgeixen de necessitats que no poden ser satisfetes, per part de dos o més processos. A la vida real, un exemple pot ser el de dos nens que intenten jugar amb un arc i una fletxa, un pren l'arc, l'altre la fletxa. Cap dels dos pot jugar fins que un d'ells no alliberi el que ha agafat a l'altre.
== Representació de ''Bloquejos Mutus'' usant grafs ==▼
[[fitxer: GrafoDeadlock.jpg|miniatura|Exemple de representació de Bloqueig Mutu en grafs d'al·locació de recursos amb dos processos ''' A ''' i ''' B ''', i dos recursos ''' R1 ''' i ''' R2 '''.]]El Bloqueig mutu també pot ser representat usant [[Graf (matemàtiques)|grafs]] dirigits, on el procés és representat per un cercle i el recurs, per un quadrat. Quan un procés sol·licita un recurs, una fletxa és dirigida des del procés a el recurs. En canvi, quan un recurs està assignat a un procés, una fletxa és dirigida de el recurs a el procés. <ref>{{Ref-llibre|cognom=Stallings|nom=William|enllaçautor=William_Stallings|títol=Operating Systems: Internals and Design Principles|url=|any=|editorial=|isbn=|editor=|lloc=|pàgines=|llengua=|capítol=6}}</ref>▼
A la figura de l'exemple, es poden veure dos processos diferents '''(A''' i '''B),''' cadascun amb un recurs diferent assignat '''(R1''' i '''R2).''' En aquest exemple clàssic de bloqueig mutu, és fàcilment visible la condició '''d'espera circular''' en què els processos es troben, on cadascun sol·licita un recurs que està assignat a un altre procés.▼
== Informàtica ==
Linha 35 ⟶ 30:
== Detecció d'abraçades mortals ==
A vegades no és possible de prevenir ni evitar les abraçades mortals. En aquests casos s'empra un algorisme de detecció d'abraçades mortals, que cerca esperes circulars i mata un o més dels processos involucrats per a desfer l'abraçada mortal.
▲== Representació de ''Bloquejos Mutus'' usant grafs ==
▲[[fitxer: GrafoDeadlock.jpg|miniatura|Exemple de representació de Bloqueig Mutu en grafs d'al·locació de recursos amb dos processos ''' A ''' i ''' B ''', i dos recursos ''' R1 ''' i ''' R2 '''.]]El Bloqueig mutu també pot ser representat usant [[Graf (matemàtiques)|grafs]] dirigits, on el procés és representat per un cercle i el recurs, per un quadrat. Quan un procés sol·licita un recurs, una fletxa és dirigida des del procés a el recurs. En canvi, quan un recurs està assignat a un procés, una fletxa és dirigida de el recurs a el procés. <ref>{{Ref-llibre|cognom=Stallings|nom=William|enllaçautor=William_Stallings|títol=Operating Systems: Internals and Design Principles|url=|any=|editorial=|isbn=|editor=|lloc=|pàgines=|llengua=|capítol=6}}</ref>
▲A la figura de l'exemple, es poden veure dos processos diferents '''(A''' i '''B),''' cadascun amb un recurs diferent assignat '''(R1''' i '''R2).''' En aquest exemple clàssic de bloqueig mutu, és fàcilment visible la condició '''d'espera circular''' en què els processos es troben, on cadascun sol·licita un recurs que està assignat a un altre procés.
== '' Livelock '' o ''Atzucac viu'' ==
| |||