Moreover, the requirement that a process will eventually release all its resources (when the process terminates) is sufficient for the correctness of the algorithm, however it is not sufficient for a practical system.
Navyše požiadavka na proces, aby po svojom skončení uvoľnil ním používane zdroje, je kľúčová pre správnosť algoritmu, ale nie je to postačujúce pre praktický systém.