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

S>Сложно протестировать и\или провалидировать подобный код. Если речь о ядре.

Почему сложно? Любые техники синхронизации тестируются одинаково — запускается несколько параллельных потоков, которые конкурируют между собой за ресурсы, попутно проверяя корректность работы примитивов, и гоняется какое-то время.

V>>>подавляющее большинство плюсовых библиотек использовать будет невозможно.
ЕМ>>Их уже из-за исключений невозможно использовать.

S>А при чем тут исключения?

Большинство плюсовых библиотек без исключений не живет, иначе их не считали бы "истинно плюсовыми".