Я слышал, что при работе с мьютексами необходимые барьеры памяти обрабатываются самим API-интерфейсом pthread. Я хотел бы получить более подробную информацию по этому вопросу.

Are these claimings true, at least on the most common architectures around? Does the compiler recognize this implicit barrier, and avoids reordering of operations/read from local registers when generating the code? When is the memory barrier applied: after successfully acquiring a mutex AND after releasing it?