①じゃあ、外側のif(!instance) {は安全。
②それとLock中にinstanceをどう扱おうがメモリバリアは不要。

２の主張は正しいよ。でも、１のinstance参照はLockを伴っていないよ？なんで安全と思うのか知りたいところだ