об модель памяти С++ http://channel9.msdn.com/Shows/Going+Deep/Cpp-and-Beyond-2012-Herb-Sutter-atomic-Weapons-2-of-2Слушаю выступление Саттера о модели памяти С++ и очень удивляюсь. Он заявляет, что ведущей, наиглавнейшей моделью памяти для атомарного доступа будет SC - sequentially consistent, то есть, модель, обеспечивающая тотальную упорядоченность всех атомарных операций в памяти. Я лично ожидал бы, что SC штука в общем случае черезчур дорогая, а главнейшей должна стать release-acquire, детальнее, release на операциях записи, acquire на операциях чтения и release+acquire на операциях модификации - собственно, как и в модели SC, но при этом без всякой тотальной упорядоченности атомарных операций. Саттер же заявляет, что все остальные, не SC, варианты атомарного доступа были в С++ вставлены практически исключительно лоббистами из IBM и ARM для их процессоров.
То есть, SC - это замечательно, конечно, а без него несколько тревожно, но я вдруг обнаружил, что вообще понятия не имею, где и в каких алгоритмах нужен этот самый SC. Но даже если где-то и нужен - видимо, всё же нужен редко. Вот для реализации мютексов он, вроде бы, не нужен, а на мютексах мы всё и так прекрасно умеем программировать. Казалось бы...