C 併發程式設計（七）同步操作與強制排序

「同步發生」關係是指：只能在原子型別之間進行的操作。例如對乙個資料結構進行操作(對互斥量上鎖)，如果資料結構包含有原子型別，並且操作內部執行了一定的原子操作，那麼這些操作就是同步發生關係。

「先行發生」關係是乙個程式中，它指定了某個操作去影響另乙個操作。對於單執行緒來說，如果原始碼中操作a發生在操作b之前，那麼a就先行與b發生。

假設你有兩個執行緒，乙個向資料結構中填充資料，另乙個讀取資料結構中的資料。為了避免惡性條件競爭，第乙個執行緒設定乙個標誌，用來表明資料已經準備就緒，並且第二個執行緒在這個標誌設定前不能讀取資料。

#include #include #include std::vectordata;
std::atomicdata_ready(false);
void reader_thread()
std::cout<<"the answer="《當寫入資料完成之後，data_ready就會作為訊號，通知讀取程序可以工作了。
當儲存操作被標記為memory_order_release，memory_order_acq_rel或memory_order_seq_cst，載入被標記為memory_order_consum，memory_order_acquire或memory_order_sqy_cst，並且操作鏈上的每一載入操作都會讀取之前操作寫入的值，因此鏈上的操作構成了乙個釋放序列(release sequence)，並且初始化儲存同步(對應memory_order_acquire或memory_order_seq_cst)或是前序依賴(對應memory_order_consume)的最終載入。
#include #include std::vectorqueue_data;
std::atomiccount;
void populate_queue()
void read_y_then_x()
int main()

釋放柵欄②與獲取柵欄⑤會進行同步。在①處儲存x先行於⑥處載入x，最後x讀取出來必為true，並且斷言不會被觸發⑦。如果不使用柵欄，x和y的賦值順序就會被隨機重排，會發生y=true，x=false的情況被執行緒b讀取。

雖然，柵欄同步依賴於讀取/寫入的操作發生於柵欄之前/後，但是這裡有一點很重要：同步點，就是柵欄本身。假如你使用了下面的**

void write_x_then_y()

這裡裡的兩個操作，就不會被柵欄分開，並且也不再有序。只有當柵欄出現在儲存x和儲存y操作之間，這個順序是硬性的。

#include #include #include bool x=false;  // x現在是乙個非原子變數
std::atomicy;
std::atomicz;
void write_x_then_y()
void read_y_then_x()
int main()

當你使用乙個普通的非原子bool型別來替換原子的x，行為和替換前完全一樣。②中的儲存和③中對y的載入，都必須是原子操作；否則，將會在y上產生條件競爭，不過一旦讀取執行緒看到儲存到y的操作，柵欄將會對x執行有序的操作。

C 併發程式設計（七）同步操作與強制排序

併發程式設計（4）同步併發操作

作業系統併發互斥與同步

c 併發程式設計 01 併發與並行

C 併發程式設計（七） 同步操作與強制排序

併發程式設計（4）同步併發操作

作業系統 併發 互斥與同步

c 併發程式設計 01 併發與並行

相關推薦

C 併發程式設計（七）同步操作與強制排序

作業系統併發互斥與同步