国产一区二区精品-国产一区二区精品久-国产一区二区精品久久-国产一区二区精品久久91-免费毛片播放-免费毛片基地

千鋒教育-做有情懷、有良心、有品質的職業教育機構

手機站
千鋒教育

千鋒學習站 | 隨時隨地免費學

千鋒教育

掃一掃進入千鋒手機站

領取全套視頻
千鋒教育

關注千鋒學習站小程序
隨時隨地免費學習課程

當前位置:首頁  >  技術干貨  > wait-free是指什么?

wait-free是指什么?

來源:千鋒教育
發布人:xqq
時間: 2023-10-11 02:59:51 1696964391

一、wait-free是指什么

wait-free是指指一個線程能夠在有限步內make progress。對于一個算法,Obstruction-freedom(無障礙)/Lock-freedom(無鎖)/Wait-freedom(無等待),從弱到強描述了在并發環境下線程的演進保證(guarantee of progress)這個屬性。換句話說,它描述了線程隨著指令序列的執行取得進展(make progress)的能力。

而lock-free的意思就是:只要有task在往前走(make progress),那總有task能往前走;wait-free的意思是,只要某個task活著,不管別人在干什么,它都一定能往前走。

為什么有lock就不是lock-free了,因為只要拿到lock的那個task掛掉不動了,這個系統就完蛋了,每個task都不能再往前走了。

Lock-free和wait-free的區別在哪,在于starvation。大部分的lock-free的算法都是基于某些競爭性的原語的(primitives)。Starvation一般都是在有多個task競爭(race)的時候,也許有一個運氣好的task總是在贏,那么別的task就很可憐地什么都做不了了。這不是因為沒輪到他們,而只是因為他們運氣壞。實際上整個系統還是在運行的,就是那個運氣好的task自己一直在跑,所以這不是死鎖(dead-lock)。有人把這個東西定義為live-lock,這也沒法翻譯了(總不能真翻成活鎖吧)。

很少有天然的wait-free的算法(最天然的那個,single-reader-single-writer queue大家都知道了)。新的wait-free的算法,大都是靠勝者的施舍,也就是說有task一直贏的話,就分給輸家一點,讓輸家能往前動一下。

延伸閱讀:

二、從底層去看lock-free

lock-free是一個非常底層的東西,lock-free編程需要atomic指令這個指令是cpu提供的,cpu原生的指令有非常多都是atomic的,這些指令集分為2大類,分別是store-and-load 和read-modify-write

store-and-load

這些指令用于讀,寫數據到內存中,許多的cpu架構都保證這些操作是原子的,比如mov

read-modify-write

有一些操作需要多個指令比如要對內存中的一個數據進行+1,這至少需要三個原子操作指令,雖然說這3個原子操作是原子的,但是加一起就不是原子的了read-modify-write就是file the gap,在一個原子操作下去執行多個操作,比如test-and-set :將1寫入到內存的地址中,然后返回舊的值,fetch-and-add:在內存中的值加上一個數字,然后返回老的值。

聲明:本站稿件版權均屬千鋒教育所有,未經許可不得擅自轉載。
10年以上業內強師集結,手把手帶你蛻變精英
請您保持通訊暢通,專屬學習老師24小時內將與您1V1溝通
免費領取
今日已有369人領取成功
劉同學 138****2860 剛剛成功領取
王同學 131****2015 剛剛成功領取
張同學 133****4652 剛剛成功領取
李同學 135****8607 剛剛成功領取
楊同學 132****5667 剛剛成功領取
岳同學 134****6652 剛剛成功領取
梁同學 157****2950 剛剛成功領取
劉同學 189****1015 剛剛成功領取
張同學 155****4678 剛剛成功領取
鄒同學 139****2907 剛剛成功領取
董同學 138****2867 剛剛成功領取
周同學 136****3602 剛剛成功領取
相關推薦HOT