Почему недостаточно лочить только запись? (check-then-act под замком)

Сценарий: «если свободно → занять».

• Неправильно:

1. if free(id) — без локов;

2. lock(); write(); unlock().

• Между 1 и 2 другой поток тоже прошёл 1.

• Правильно:

• внутри одного Lock():

  • проверить условие;

  • выполнить изменение;

  • сохранить состояние;

  • только после этого отпустить замок.

• Вывод: атомарность — это «проверка+действие», а не только «действие».