Uváznutí:

Dostaneme "3" tabulky:

až jsou procesy, až jsou prostředky.

První tabulka: Celkový počet požadovaných prostředků:

Již přidělené prostředky:

Plus část prostředků je ještě volná:

Spočítáme si tabulku potřebných prostředků, tj.:

(neboli vezmeme "požadované" - "již přidělené" a dostaneme "potřebné").

V dalším kroku se koukáme, zdali je v "potřebné" takový řádek, pro který platí:
Pak ten daný proces můžeme uspokojit. Pokud li takovýto proces uspokojíme, pak již s tímto procesem nepočítáme a k volným prostředkům přičteme hodnoty z již přidělených prostředků (tj. )

Opakujeme dokud nenastane deadlock = nejsme schopní uspokojit všechny procesy/nemáme dostatek prostředků, nebo pokud jsme schopní uspokojit všechny prostředky.

V případě deadlocku se systém nachází v "nebezpečném stavu" - neexistuje posloupnost alokací prostředků, která by vedla pro uspokojení všech procesů. Co se týče Coffmanových podmínek, jejich porušení (alespoň jedné podmínky) znamená zabránění deadlocku.