一、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:在內存中的值加上一個數字，然后返回老的值。