История изменений
Исправление kvpfs_2, (текущая версия) :
Речь была не о порядке захвата мьютексов, а о порядке появления событий в разных потоках. Эту задачу и призваны решать sequentially-consistent теги в соответствующих функциях.
У меня ощущение, что в сети это вообще мало кто понимает, куча неосвещенных моментов. По-моему, надо эмулировать какой-нибудь ARM условным QEMU и запускать тесты. А ещё лучше - какой-нибудь спец эмулятор, который будет жестко «драть» за любые ошибки синхронизации, всю дичь которая возможна - он делает.
Исходная версия kvpfs_2, :
Речь была не о порядке захвата мьютексов, а о порядке появления событий в разных потоках. Эту задачу и призваны решать sequentially-consistent теги в соответствующих функциях.