Вот, что говорит комментарий в реализации pthrad_mutex_*:
* Note regarding memory visibility: Pthreads has rules about memory * visibility and mutexes. Very roughly: Memory a thread can see when * it unlocks a mutex can be seen by another thread that locks the * same mutex.
То есть, второй тред, который ждет на мьютексе, войдя в мьютекс, увидит уже новое значение переменной, которое обновилось предыдущем тредом. Что в этом утверждении может быть неправильно?
no subject
* Note regarding memory visibility: Pthreads has rules about memory
* visibility and mutexes. Very roughly: Memory a thread can see when
* it unlocks a mutex can be seen by another thread that locks the
* same mutex.
То есть, второй тред, который ждет на мьютексе, войдя в мьютекс, увидит уже новое значение переменной, которое обновилось предыдущем тредом. Что в этом утверждении может быть неправильно?