使用pthread互斥锁保护变量是否保证它也不会被缓存？

Question

考虑一个简单的(在我的情况下是全局)变量:

int i;

在某处访问此变量

pthread_mutex_lock(i_mutex);
if(i == other value) {
  do_something();
}
pthread_mutex_unlock(i_mutex);

另一个线程i 在保持时更新i_mutex.编译器可以缓存值,i所以我没有得到最近的值？一定i是不稳定的？

Answer 1

pthread锁实现内存屏障,以确保缓存效果对其他线程可见.如果对共享变量i的访问受pthread互斥锁保护,则不需要volatile来正确处理共享变量.

来自http://www.opengroup.org/onlinepubs/9699919799/basedefs/V1_chap04.html#tag_04_11:

以下函数使内存与其他线程同步:

fork()
pthread_barrier_wait()
pthread_cond_broadcast()
pthread_cond_signal()
pthread_cond_timedwait()
pthread_cond_wait()
pthread_create()
pthread_join()
pthread_mutex_lock()       // <====
pthread_mutex_timedlock()
pthread_mutex_trylock()
pthread_mutex_unlock()     // <====
pthread_spin_lock()
pthread_spin_trylock()
pthread_spin_unlock()
pthread_rwlock_rdlock()
pthread_rwlock_timedrdlock()
pthread_rwlock_timedwrlock()
pthread_rwlock_tryrdlock()
pthread_rwlock_trywrlock()
pthread_rwlock_unlock()
pthread_rwlock_wrlock()
sem_post()
sem_timedwait()
sem_trywait()
sem_wait()
semctl()
semop()
wait()
waitpid()

Answer 2

编译器不应在函数调用中缓存此类全局值.

但我认为你的问题不合适.首先,POSIX互斥锁仅在您坚持其语义时才起作用.因此,您必须在代码中应用一些规则,以便只访问i您的互斥锁保持的全局变量(在这种情况下).

其次,请不要认为volatile声明会阻止您对这种不遵守访问规则会造成的任何损害.并发读写内存是一个微妙的主题.