complete concurrency checking以前だと、 nil チェックしても self が参照型の場合に書き換えられてる場合があるから同期でもダメなんだけど、complete concurrency checkingを前提とすると同期なら大丈夫だと思う。