Dotaz: deadlock na jednom procesu

[deadlock]

Zdravim, resim ukol. Mam dokazat, zda muze nastat deadlock na jednom procesu. Moje domenka je, ze muze nastat, nebot muze cekat na prostredek, ktery nebude nikdy k dispozici. Ale jak toto dokazat? Dekuji za nakopnuti spravnym smerem.

Odpovědi

[oroborus]

Moze mat ten proces viac vlakien ?

( Ak ano, tak o deadlock nie je problem :) )

 

[Zdenek]

Deadlock nejde dokazat, viz halting problem.

[Zdenek]

Presneji, deadlock v jednom procesu muze nastat (treba cekani na zamek souboru, ktery uz ale byl zamknut), ale nemuzete dokazat jestli a kdy nastane

[luky]

Ale muzete, jen ne vzdycky. Dotaz tak jak stoji, lze chapat ruzne, takze se nebudeme unahlovat v odpovedich

[oroborus]

Iba doplnim odkaz na wikipediu :

cs.wikipedia.org/wiki/Probl%C3%A9m_zastaven%C3%AD

[petr_p]

Ve vší obecnosti nelze. Ale otázka není na nalezení univerzálního rozhodujícího algoritmu, ale na existenci uváznutí. Pak stačí najít takové pořadí vykonávání zkoumaného procesu, kdy k uváznutí dojde.

[JS]

Otazka je, co je deadlock v ramci jednoho proces(or)u. A jak ho rozeznat od spatne napsaneho programu (napr. takoveho, ktery ceka v nekonecne smycce). Podle me, koncept deadlocku ma smysl jedine tehdy, pokud je to na vice proces(or)ech.

[ava]

Proc nekouknout na wikipedii?

There are four necessary conditions for a deadlock to occur, known as the Coffman conditions from their first description in a 1971 article by E. G. Coffman.

Mutual exclusion condition: a resource that cannot be used by more than one process at a time

Hold and wait condition: processes already holding resources may request new resources

No preemption condition: No resource can be forcibly removed from a process holding it, resources can be released only by the explicit action of the process

Circular wait condition: two or more processes form a circular chain where each process waits for a resource that the next process in the chain holds

Myslim ze to odpovida na puvodni otazku :)