Проблема заключается в том, что ссылка на непроиницилизированный объект может появиться раньше, чем объект сконструируется, не в том, что второй тред увидит эту ссылку до момента выхода из синхронизированного блока
Можно и так сказать.
А memory barrier между инициализацией и присвоением shared variable гарантирует, что подобной гадости не произойдет.
Да, если мы умеем вставлять memory barrier в произвольном месте кода, это решает проблему. К сожалению, никакой стандарт не предусматривает такой операции.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2007-04-12 10:12 pm (UTC)Можно и так сказать.
А memory barrier между инициализацией и присвоением shared variable гарантирует, что подобной гадости не произойдет.
Да, если мы умеем вставлять memory barrier в произвольном месте кода, это решает проблему. К сожалению, никакой стандарт не предусматривает такой операции.