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

Если резюмировать: безопасность инициализации по умолчанию является потоковой — и это может жестко обеспечить readonly. Так, например, в Java тоже делает final.

Может быть неправ (по-крайнем мере в Java это так), но мне кажется в примерах в принципе все корректно. Объект синхронизации является статическим полем, а соответственно инициализируется при первом обращении к нему, то есть как раз когда происходит инициализация класса. Соответственно, потоковая безопасность инициализации и здесь действует.