Discussione:Stato sicuro

Forse questo non è un concetto informatico da inserire in enciclopedia in quanto, mi sembra, si riferisce a "safe-state" che è un termine utilizzato da Dijkstra (più o meno nel 1966) quando ha descritto l'algoritmo del banchiere. Il termine non mi risulta che sia poi stato utilizzato al di fuori dell'algoritmo del banchiere e in ogni modo non ha un senso sui sistemi attuali. Anche l'algoritmo del banchiere, come l'aveva pensato Dijkstra, non può più essere utilizzato ora che le risorse sono così ampie e molto spesso non numerabili a priori. Quando si affronta il problema del deadlock ci si riferisce sempre a situazioni "non-blocking", "lock-free" ecc.. non mi sembra a "safe-state". Penso sarebbe più opportuno trasformare questa voce in redirect all'algoritmo del banchiere. Abisys (msg) 16:57, 15 lug 2008 (CEST)