1.概念定義：

2.我的理解：

lock-free:需要取得鎖的執行緒在有限步驟或時間內內就可以成功（多數執行緒都會成功，一些可能失敗，比wait-free語義稍弱）

wait-free:需要取得鎖的執行緒在有限步驟或時間內內就可以成功（任意執行緒都會成功，語義更加強烈）

3.例子（引用）：

do { pred = tail;
} while(!tail.compareAndSet(pred, node));

假如多個執行緒（T1,T2）同時執行這段程式碼，無論T1和T2誰先執行，或者同時執行，最後都會成功。但是這似乎很明顯，不能凸顯lock-free的特徵。但是如果T1在執行過程中發生了睡眠或掛起，那麼T2到底是跟著block還是繼續執行呢？這一點就是lock-free和mutex lock的區別，在mutex lock中,如果T1在獲得鎖之後發生掛起，那麼T2也會跟著被block。但是在lock-free中，即使T1發生了掛起，T2還是會繼續執行。

（內在原因：compareAndSet是硬體指令實現的，硬體的指令都是原子級別的，即在執行這個指令的過程中，不能被系統中斷，沒有所謂的執行到指令的一半時發生掛起，如此保證了lock-free中即使T1掛起，T2還是會執行。但是在mutex lock中，在T1獲得鎖之後是可以睡眠的，如

lock(T1);

do something; //此時發生掛起

這時T2就會被block。
）

4.參考文獻：