Therefore, to guarantee correct program execution, the above program can be rewritten to use locks: One thread will successfully lock variable V, while the other thread will be locked out—unable to proceed until V is unlocked again.
Тому, щоб гарантувати правильне виконання, програма дана вище може бути переписана з використанням замків: Одна нить успішно заблокує змінну V, поки інша буде замкнена — не зможе продовжити роботу, поки V не розблокується.