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.
ויותר מכך, הדרישה שתהליך ישחרר את כל המשאבים שלו בסופו של דבר (מתי שהתהליך יסתיים), מספיקה עבור התקינות של האלגוריתם אבל היא לא מספיקה עבור מערכת ממשית.