он ведь наоборот говорит, что все множество одновременных доступов выливается в гонку
а ваш пункт выделяет их него подмножество одновременных доступов к синхронизированным потокам, которые в гонку не выливаются. при этом никак не характеризуя поведение остальной части множества
разве нет?
Я думал вы написали о том, что в том пункте приводятся гарантии. Впрочем, даже так, там написано may result in data race. Но да, это более явно говорит о том, что конкурентный доступ к несинхронизированным потокам есть уб