Ну, мы прекрасно за десять лет разобрались с volatile и атомарностью. Страшилки понятны и формалмзуемы. А здесь? Пошаговый пример возникновения коллизии при захвате семафора без DMB, с DMB, затем что будет если поставить DSB, или ISB на поточности дайте.