c++11 atomic

c++11 atomic中的6種 momey order
memory_order_relaxed: 只提供對單個atomic變量的原子讀/寫,不和前后語句有任何memory order的約束關(guān)系. 一般只用來做普通計數(shù)器感猛,引用計數(shù)都不能做⊙罚可能導致別打cpu看不到最新的數(shù)據(jù)變化而產(chǎn)生錯誤的虛構(gòu)行為。

memory_order_release memory_order_consume:thread A 對變量x release。thread B 對變量x consume荞胡。那么thread A對依賴x所有的寫操作糊探,對thread B依賴x的讀操作都收可見的挎狸。

memory_order_release memory_order_acquire: thread A 執(zhí)行release扣汪, thread B執(zhí)行acquire断楷。那么thread A 在release之前的所有寫操作锨匆,對thread B acquire后任何讀操作,都是可見的。
即 release執(zhí)行的操作 不能reorder到release之后恐锣。acquire 之后的操作茅主,不能reorder到acquire之前。

memory_order_acq_rel:是memory_order_acquire和memory_order_release的合并土榴,這條語句前后的語句都不能被reorder

memory_order_seq_cst :比memory_order_acq_rel更加嚴格的順序保證诀姚,memory_order_seq_cst執(zhí)行完畢后,所有其cpu都是確辩枨荩可以看到之前修改的最新數(shù)據(jù)的赫段。如果前面的幾個memory order模式允許有緩沖存在的話,memory_order_seq_cst指令執(zhí)行后則保證真正寫入內(nèi)存矢赁。一個普通的讀就可以看到由memory_order_seq_cst修改的數(shù)據(jù)糯笙,而memory_order_acquire則需要由memory_order_release配合才能看到,否則什么時候一個普通的load能看到memory_order_release修改的數(shù)據(jù)是不保證的撩银。

x86的memory order是一種strong memory order给涕,它保證:

LoadLoad是順序的
一個cpu上前后兩條load指令是順序執(zhí)行的,前面一條沒執(zhí)行完畢额获,后面一條不能執(zhí)行
StoreStore是順序的
一個cpu上前后兩條store指令是順序執(zhí)行的够庙,前面一條沒執(zhí)行完畢,后面一條不能執(zhí)行
LoadStore
一個cpu上前面一條是Load指令抄邀,這條指令沒執(zhí)行完畢耘眨,后面一條store不能執(zhí)行
x86不保證StoreLoad的順序,一條Store指令在前境肾,后面一條不相關(guān)的load指令可以先執(zhí)行毅桃。因為這個順序的不保證,導致Peterson lock實際上需要使用mfence指令才能在x86上實現(xiàn)

?著作權(quán)歸作者所有,轉(zhuǎn)載或內(nèi)容合作請聯(lián)系作者
  • 序言:七十年代末准夷,一起剝皮案震驚了整個濱河市钥飞,隨后出現(xiàn)的幾起案子,更是在濱河造成了極大的恐慌衫嵌,老刑警劉巖读宙,帶你破解...
    沈念sama閱讀 222,104評論 6 515
  • 序言:濱河連續(xù)發(fā)生了三起死亡事件,死亡現(xiàn)場離奇詭異楔绞,居然都是意外死亡结闸,警方通過查閱死者的電腦和手機,發(fā)現(xiàn)死者居然都...
    沈念sama閱讀 94,816評論 3 399
  • 文/潘曉璐 我一進店門酒朵,熙熙樓的掌柜王于貴愁眉苦臉地迎上來桦锄,“玉大人,你說我怎么就攤上這事蔫耽〗嵋” “怎么了?”我有些...
    開封第一講書人閱讀 168,697評論 0 360
  • 文/不壞的土叔 我叫張陵,是天一觀的道長图甜。 經(jīng)常有香客問我碍粥,道長,這世上最難降的妖魔是什么黑毅? 我笑而不...
    開封第一講書人閱讀 59,836評論 1 298
  • 正文 為了忘掉前任嚼摩,我火速辦了婚禮,結(jié)果婚禮上矿瘦,老公的妹妹穿的比我還像新娘枕面。我一直安慰自己,他們只是感情好缚去,可當我...
    茶點故事閱讀 68,851評論 6 397
  • 文/花漫 我一把揭開白布膊畴。 她就那樣靜靜地躺著,像睡著了一般病游。 火紅的嫁衣襯著肌膚如雪唇跨。 梳的紋絲不亂的頭發(fā)上,一...
    開封第一講書人閱讀 52,441評論 1 310
  • 那天衬衬,我揣著相機與錄音买猖,去河邊找鬼。 笑死滋尉,一個胖子當著我的面吹牛玉控,可吹牛的內(nèi)容都是我干的。 我是一名探鬼主播狮惜,決...
    沈念sama閱讀 40,992評論 3 421
  • 文/蒼蘭香墨 我猛地睜開眼高诺,長吁一口氣:“原來是場噩夢啊……” “哼!你這毒婦竟也來了碾篡?” 一聲冷哼從身側(cè)響起虱而,我...
    開封第一講書人閱讀 39,899評論 0 276
  • 序言:老撾萬榮一對情侶失蹤,失蹤者是張志新(化名)和其女友劉穎开泽,沒想到半個月后牡拇,有當?shù)厝嗽跇淞掷锇l(fā)現(xiàn)了一具尸體,經(jīng)...
    沈念sama閱讀 46,457評論 1 318
  • 正文 獨居荒郊野嶺守林人離奇死亡穆律,尸身上長有42處帶血的膿包…… 初始之章·張勛 以下內(nèi)容為張勛視角 年9月15日...
    茶點故事閱讀 38,529評論 3 341
  • 正文 我和宋清朗相戀三年惠呼,在試婚紗的時候發(fā)現(xiàn)自己被綠了。 大學時的朋友給我發(fā)了我未婚夫和他白月光在一起吃飯的照片峦耘。...
    茶點故事閱讀 40,664評論 1 352
  • 序言:一個原本活蹦亂跳的男人離奇死亡剔蹋,死狀恐怖,靈堂內(nèi)的尸體忽然破棺而出辅髓,到底是詐尸還是另有隱情泣崩,我是刑警寧澤少梁,帶...
    沈念sama閱讀 36,346評論 5 350
  • 正文 年R本政府宣布,位于F島的核電站律想,受9級特大地震影響猎莲,放射性物質(zhì)發(fā)生泄漏绍弟。R本人自食惡果不足惜技即,卻給世界環(huán)境...
    茶點故事閱讀 42,025評論 3 334
  • 文/蒙蒙 一、第九天 我趴在偏房一處隱蔽的房頂上張望樟遣。 院中可真熱鬧而叼,春花似錦、人聲如沸豹悬。這莊子的主人今日做“春日...
    開封第一講書人閱讀 32,511評論 0 24
  • 文/蒼蘭香墨 我抬頭看了看天上的太陽瞻佛。三九已至脱篙,卻和暖如春,著一層夾襖步出監(jiān)牢的瞬間伤柄,已是汗流浹背绊困。 一陣腳步聲響...
    開封第一講書人閱讀 33,611評論 1 272
  • 我被黑心中介騙來泰國打工, 沒想到剛下飛機就差點兒被人妖公主榨干…… 1. 我叫王不留适刀,地道東北人秤朗。 一個月前我還...
    沈念sama閱讀 49,081評論 3 377
  • 正文 我出身青樓,卻偏偏與公主長得像笔喉,于是被迫代替她去往敵國和親取视。 傳聞我的和親對象是個殘疾皇子,可洞房花燭夜當晚...
    茶點故事閱讀 45,675評論 2 359

推薦閱讀更多精彩內(nèi)容

  • C++ 11 atomic 簡介 Atomic類型是c++11里面引入的一種類型常挚,它規(guī)定了當程序的多個線程同時訪問...
    EFlql閱讀 7,752評論 1 1
  • 原子類型和原子操作 并行編程作谭、多線程與C++11 常見的并行編程有多種模型:共享內(nèi)存、多線程奄毡、消息傳遞等丢早。 多線程...
    ColdWave閱讀 1,239評論 0 1
  • 我們在前面講atomic時,每一個原子操作都有一個std::memory_order參數(shù)秧倾。這個參數(shù)就是C++11的...
    許了閱讀 9,222評論 1 12
  • 程序世界的barrier 同步屏障(Barrier)是并行計算中的一種同步方法怨酝。對于一群進程或線程,程序中的一個同...
    AKTeamYang閱讀 4,747評論 0 2
  • 參考cppreference參考The C++ Memory Model and Modern Hardware ...
    王偵閱讀 3,164評論 0 3