POSIX是否指定了内存一致性模型（寻址多线程）？

Question

POSIX是否为其多线程接口（信号量和pthreads）指定了内存一致性模型？我不是在谈论原子基元，而是在C11指定之前发生的副作用的可见性的伪形式规范，与同步，< em>线程间发生在，修改顺序，可见副作用等之前（注意C11不仅将这些概念用于原子基元，而且也适用于基于锁的基元，例如mtx_lock / mtx_unlock和其他具有POSIX等效基元的原语。