Здравствуйте, 4058, Вы писали:

4>В данной статье автор в одном потоке пишет в глобальные переменные, а в другом из них читает без обеспечения должным образом критической секции при обращении к этим переменным (т.е. нарочито демонстрирует поведение ССЗБ):..

В данной статье автор рассказывает о lock-free алгоритмах, поэтому там никаких локов быть в принципе не может.


4>, при этом настойчиво пытается продемонстрировать побочный эффект от переупорядочивания присвоений в обоих потоках разбросанных по разным ядрам.

Так ведь продемонстировал же!

Здравствуйте, 4058, Вы писали:

4>В данной статье автор в одном потоке пишет в глобальные переменные, а в другом из них читает без обеспечения должным образом критической секции при обращении к этим переменным (т.е. нарочито демонстрирует поведение ССЗБ):..

В данной статье автор рассказывает о lock-free алгоритмах, поэтому там никаких локов быть в принципе не может.


4>, при этом настойчиво пытается продемонстрировать побочный эффект от переупорядочивания присвоений в обоих потоках разбросанных по разным ядрам.

Так ведь продемонстировал же! И демонстрашка там эта очень в тему: раз уж мы разбираемся в lock-free, то должны бы знать и о буферах переупорядочивания, и о спекулятивном исполнении и ещё много чего.