Minoru
не-не-не, погоди, я не утверждаю, что все локи всегда реализуются тупо как флаг. Напротив, там же выдумывают что хотят: и всякие двуступенчатые схемы, и exponential backoff в busy-wait, и вообще busy-wait можно заменить на что-то другое. Т.е. я говорю о простейшей реализации, на которой удобно рассматривать барьеры