История изменений
Исправление alysnix, (текущая версия) :
Ребята, я ведь вообще жестко затупил.
тут главное тупить, круто обмазавшись терминологией из англоязычной литературы.
там и проблемы-то нет вообще, а ее таки нашли и обозвали, прости господи, «sequentially-consistent ordering».
если тред A ждет мьютекс a, B - мьютекс b, и их отпустили в порядке a, b, это вовсе не значит что A получит управление раньше чем B. Порядок тут зависит от разных причин, например стратегии активации ожидающих тредов, приоритетов, и т.п. Это естественно и не проблемой не является.
Исходная версия alysnix, :
Ребята, я ведь вообще жестко затупил.
тут главное тупить, круто обмазавшись терминологией из англоязычной литературы.
там и проблемы-то нет вообще, а ее таки нашли и обозвали, прости господи, «sequentially-consistent ordering».