Определяет ли POSIX модель согласованности памяти для своего многопоточного интерфейса (семафоры и потоки)? Я говорю не об атомарных примитивах, а о псевдоформальной спецификации видимости побочных эффектов в том смысле, что C11 указывает происходит до, синхронизировать с, между потоками происходит до, порядок модификации, видимый побочный эффект и т. д. (обратите внимание, что C11 использует эти концепции не только для атомарных примитивов, но и для примитивы на основе блокировки, такие как mtx_lock
/mtx_unlock
и другие, имеющие эквивалент в POSIX).
Определяет ли POSIX модель согласованности памяти (адресация многопоточности)?
comment
POSIX не зависит от модели памяти. Ожидается, что вызовы POSIX будут вести себя правильно по отношению друг к другу независимо от модели памяти.
- person Variable Length Coder   schedule 24.01.2015
comment
См. также stackoverflow.com/questions/12772656/
- person nos   schedule 24.01.2015
comment
Обратите внимание, что POSIX 2008 по необходимости относится к C99, а не к C11, поэтому в нем нет формулировки, связанной с C11.
- person Jonathan Leffler   schedule 24.01.2015