Safe State

Eine Sequenz von Prozessen ist sicher im Bezug auf Deadlocks, wenn für jeden Prozess gilt: Die von angeforderten Ressourcen können aus dem Pool freier Ressourcen sofort zugewiesen werden oder sie sind unter den von (mit ) gehaltenen Ressourcen verfügbar.

Einfach gesagt

Eine Sequenz von Prozessen ist deadlock-sicher, wenn jeder Prozess entweder die benötigten Ressourcen direkt aus den noch freien Ressourcen bekommen kann oder diese Ressourcen von vorherigen Prozessen in der Sequenz freigegeben werden. Es gibt also immer einen Weg, alle Prozesse nacheinander ohne Blockierung ablaufen zu lassen.

Verwandte Themen

• Resource Allocation Graph