OberonCore

В книге "Основы многопоточного, параллельного и распределённого программирования" Грегори Р. Эндрюс, освобождает флаги простым присваиванием f = 0.

Моя программа семь ночей работала и не зависла.

В этой книге есть отдельная глава - "Блокировки и барьеры". Зачем она там, если можно "простым присваиванием"?

On later implementations of the x86 architecture, spin_unlock can safely use an unlocked MOV instead of the locked XCHG, which is much faster. This is due to subtle memory ordering rules which support this, even though MOV isn't a full memory barrier. However some processors (some Cyrix processors, some revisions of the Intel Pentium Pro (due to bugs), and earlier Pentium and i486 SMP systems) will do the wrong thing and data protected by the lock could be corrupted. On most non-x86 architectures, explicit memory barrier instructions or atomic instructions (like in the example) must be used, or there may be special "unlock" instructions (as on IA64) which provide the necessary memory ordering.

Так я про третью главу "Блокировки и барьеры" как раз и говорю. Отмена блокировки в ней осуществляется простым присваиванием lock = false. Вот захватить lock (т.е. сделать его true) -- это проблема, а отпустить ранее захваченный -- не проблема, просто пишем lock = false и всё.

Гхм. А применительно к какому языку? В электронном виде эта книжка существует?