Касательно моих мелких
"открытий" я так и не могу вспомнить, понял ли я это полностью самостоятельно, или же услышал или мельком прочитал, что это так, а потом уже сам убедился. Очевидно, что "слышал звон".
Но, так или иначе, похож, я попал в точку: мютексы обеспечивают SC, даже будучи реализованными без SC-операций.
Вот тут это обуждали
http://www.decadent.org.uk/pipermail/cpp-threads/2011-November/thread.html люди, работавшие над стандартом мультитреда в С++, причем замечательно, что даже там нашлись те, кто этого момента не осознавали.