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

千鋒教育-做有情懷、有良心、有品質(zhì)的職業(yè)教育機構(gòu)

手機站
千鋒教育

千鋒學(xué)習(xí)站 | 隨時隨地免費學(xué)

千鋒教育

掃一掃進(jìn)入千鋒手機站

領(lǐng)取全套視頻
千鋒教育

關(guān)注千鋒學(xué)習(xí)站小程序
隨時隨地免費學(xué)習(xí)課程

當(dāng)前位置:首頁  >  技術(shù)干貨  > wait-free是指什么?

wait-free是指什么?

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

一、wait-free是指什么

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

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

為什么有l(wèi)ock就不是lock-free了,因為只要拿到lock的那個task掛掉不動了,這個系統(tǒng)就完蛋了,每個task都不能再往前走了。

Lock-free和wait-free的區(qū)別在哪,在于starvation。大部分的lock-free的算法都是基于某些競爭性的原語的(primitives)。Starvation一般都是在有多個task競爭(race)的時候,也許有一個運氣好的task總是在贏,那么別的task就很可憐地什么都做不了了。這不是因為沒輪到他們,而只是因為他們運氣壞。實際上整個系統(tǒng)還是在運行的,就是那個運氣好的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

這些指令用于讀,寫數(shù)據(jù)到內(nèi)存中,許多的cpu架構(gòu)都保證這些操作是原子的,比如mov

read-modify-write

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

聲明:本站稿件版權(quán)均屬千鋒教育所有,未經(jīng)許可不得擅自轉(zhuǎn)載。
10年以上業(yè)內(nèi)強師集結(jié),手把手帶你蛻變精英
請您保持通訊暢通,專屬學(xué)習(xí)老師24小時內(nèi)將與您1V1溝通
免費領(lǐng)取
今日已有369人領(lǐng)取成功
劉同學(xué) 138****2860 剛剛成功領(lǐng)取
王同學(xué) 131****2015 剛剛成功領(lǐng)取
張同學(xué) 133****4652 剛剛成功領(lǐng)取
李同學(xué) 135****8607 剛剛成功領(lǐng)取
楊同學(xué) 132****5667 剛剛成功領(lǐng)取
岳同學(xué) 134****6652 剛剛成功領(lǐng)取
梁同學(xué) 157****2950 剛剛成功領(lǐng)取
劉同學(xué) 189****1015 剛剛成功領(lǐng)取
張同學(xué) 155****4678 剛剛成功領(lǐng)取
鄒同學(xué) 139****2907 剛剛成功領(lǐng)取
董同學(xué) 138****2867 剛剛成功領(lǐng)取
周同學(xué) 136****3602 剛剛成功領(lǐng)取
相關(guān)推薦HOT
數(shù)據(jù)結(jié)構(gòu)sqlist和seqlist有什么區(qū)別?

一、數(shù)據(jù)結(jié)構(gòu)sqlist和seqlist的區(qū)別sqlist是函數(shù)的名稱,seqlist是一種類型,動態(tài)分配數(shù)組順序表的類型。sqlist為靜態(tài)分配#define MaxSize 50?...詳情>>

2023-10-11 04:42:55
Int main和void main有什么區(qū)別?

一、Int main和void main有什么區(qū)別1、有無返回值void main沒有返回值,int main有返回值。2、返回值類型int main返回int類型的數(shù)據(jù),void main...詳情>>

2023-10-11 04:36:26
hash中的Key和value有什么區(qū)別?

一、hash中的Key和value的區(qū)別hash中的Key和value本意是鑰匙和值的意思,在應(yīng)用中通常被用作鍵值對,例如在map、json中等。在鍵值對中,key是關(guān)...詳情>>

2023-10-11 04:34:49
數(shù)據(jù)結(jié)構(gòu)到底是什么?

一、數(shù)據(jù)結(jié)構(gòu)到底是什么數(shù)據(jù)結(jié)構(gòu)是相互之間存在一種或多種特定關(guān)系的數(shù)據(jù)元素的集合。數(shù)據(jù)結(jié)構(gòu)包括三方面的內(nèi)容:邏輯結(jié)構(gòu)、存儲結(jié)構(gòu)和數(shù)據(jù)的運...詳情>>

2023-10-11 04:07:19
為什么要引入紅黑樹,它比普通的平衡二叉樹究竟好在哪?

一、為什么要引入紅黑樹因為AVL樹比紅黑樹更加平衡,但AVL樹在插入和刪除的時候也會存在大量的旋轉(zhuǎn)操作。所以當(dāng)你的應(yīng)用涉及到頻繁的插入和刪除...詳情>>

2023-10-11 03:54:43
快速通道