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.
Štaviše, zahtev da će proces osloboditi sve svoje resurse (kada se završi) je dovoljan da bi algoritam ispravno radio, ali takav zahtev nije adekvatan za sisteme u realnosti.