通過pthread庫的內存可視性？

Question

我讀程序使用POSIX線程（由大衛Butenhof），他利用並行線程庫中提到：無論是直接或等待一個

無論內存值線程可以看到，當解鎖一個互斥體， 條件變量，也可以是任何線程看到的後續鎖定相同的互斥鎖的 。同樣，鎖定互斥鎖後寫入的數據 可能不一定會被鎖定互斥鎖的線程看到，即使寫入發生在鎖定之前。

突然，我不知道下面的代碼是否有效：

線程A：

strcpy(buffer, "hello world"); 
pthread_spin_lock(&lock); // assuming the mutex in the statement above can be interchanged with spinlock. I don't see why it can't 
pthread_spin_unlock(&lock); 

線程B：

pthread_spin_lock(&lock); 
pthread_spin_unlock(&lock); 
// read buffer; assuming thread B has a copy of the pointer somehow 

我的問題是：線程B在緩衝區中看到「hello world」？根據他的說法，它應該。我明白「通常」的做法是通過鎖定來保護共享的「資源」。但假設strcpy（）發生在隨機時間，並且它只能在程序生命週期中發生一次，並假設線程B以某種方式在線程A調用pthread_spin_unlock（）後調用pthread_spin_lock（）：

Side question ：是否有更快的方式使更改緩衝對其他線程可見？假設可移植性不是問題，我在CentOS上。我能想到的另一種方法是使用mmap（），但不確定是否有任何更改是全局可見的，而不使用pthread庫。

Answer 1

我不認爲你已經正確地理解這一點：鎖不神奇地傳送數據，它們是線程之間的通信方式，它可以安全地移動數據。

在你的問題中，你做了很多假設。事實上，如果鎖不存在，只要你的假設都成立，你寫的所有東西都是同樣的。併發編程的問題是，一般來說，你不能假設那樣的。

如果線程A進行了更改存儲器那麼變得可見到線程B 即刻（允許緩存和編譯器優化的反覆無常）。無論有沒有鎖，這總是如此。但是，如果沒有鎖，就不能保證寫入完成，甚至開始。

你擁有的報價第一假設（需要），你只寫共享數據和鎖定設置。最後一部分告訴你，如果你嘗試寫入而不先鎖定，會發生什麼壞事。

我不知道什麼是「即使發生前寫鎖」的意思，確切的說，但它可能是指各種各樣的競爭條件和困擾併發程序內存緩存的效果。這些鎖實際上可能不會傳輸數據，但它們會被編碼，以致它們強制編譯器在整個調用中同步內存（「內存障礙」）。