Vyvinutý operačný systém s matematickým dôkazom o svojej bezpečnosti
Diskusia k článku: Vyvinutý operačný systém s matematickým dôkazom o svojej bezpečnosti
Prispievajte do diskusií ako
prihlásený užívateľ.
Komentár, na ktorý odpovedáte:
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Re: Zial...
Od: xman
|
Pridané:
2009-08-16 11:06:38
Nemas pravdu, toto casto neplati napriklad pri paralelnom kode, kde sa mozu vyskytovat liviness/starvation/deadlock chyby (napriklad sa tvoje 2 stroje mozu dostat do deadlocku).
|