導言
這一篇的內容主要來自於《java併發程式設計實戰》，有一說一，看這種寫的很專業的書不是很輕鬆，也沒辦法直接提高多少開發的能力，但是卻能更加夯實基礎，就像玩war3，熟練的基本功並不能讓你快速地與對方拉開差距，但是卻能再每一次團戰中積累優勢。
近年來，併發程式設計的領域更多的偏向於使用非阻塞演算法，這種演算法底層用原子機器指令（如比較交換CAS之類的）來替代鎖用以確保資料在併發訪問中的一致性。這樣的非阻塞演算法廣泛的用於在作業系統和JVM中實現執行緒/程式呼叫機制、垃圾回收演算法等。
java5.0後，使用原子變數類(例如AtomicInteger和AtomicReference)來構建高效的非阻塞演算法。
與基本型別的包裝類相比原子變數類是可修改的，在原子變數類中沒有重新定義hashCode或equals方法,每個例項都是不同的，不宜用做基於雜湊的容器中的鍵值。
原子變數類比鎖的粒度更細量級更輕，將發生競爭的範圍縮小到單個變數上。
從《併發程式設計實戰》這本書出發，對給予的用例進行測試，能夠得出的結論：原子變數因其使用CAS的方法，在效能上有很大優勢。
- 1、在沒有競爭的情況下，原子變數的效能更高。
- 2、在中低程度的競爭下，原子變數基於CAS的操作，效能會遠超過鎖。
- 3 在高強度的競爭下,鎖能夠更好地幫助我們避免競爭（類似於，交通略擁堵時，環島疏通效果好，但是當交通十分擁堵時，訊號燈能夠實現更高的吞吐量）。
之前的文章已經講過了volatitle變數、CAS演算法、AtomicInteger執行緒安全的原子變數等，沒有看過或者已經忘記的的同學可以點選下方的藍色連結去看看（複習一下）。
非阻塞演算法
如果一個執行緒的失敗或者掛起不會導致其他執行緒的失敗或掛起，這種演算法就叫做非阻塞演算法。
1、非阻塞棧
在併發訪問的環境下,push和pop方法通過CAS演算法可以保證棧的原子性和可見性,從而安全高效的更新非阻塞棧。
//根據《併發程式設計實戰》的程式碼進行分析
public class CocurrentStack<E> {
/**
* AtomicReference和AtomicInteger非常類似，不同之處就在於AtomicInteger是對整數的封裝，
* 而AtomicReference則對應普通的物件引用。也就是它可以保證你在修改物件引用時的執行緒安全性
*/
AtomicReference<Node<E>> top = new AtomicReference<Node<E>>();
/*
* 這裡定義了一個棧（其實是列表，但是我們提供的功能僅僅能作為棧），
* 當有新值加入,會把舊值掛在新值的next方法上,,可以通過遞迴next拿到所有Node
* */
public void push(E item) {
Node<E> newHead = new Node<E>(item);
Node<E> oldHead;
do {
oldHead = top.get();
newHead.next = oldHead;
//這邊用了CAS演算法進行判斷，這也是非阻塞算的和核心之一
} while (!top.compareAndSet(oldHead, newHead));
}
/**
* 實現出棧功能，同時出棧也實現了CAS的功能
*/
public E pop() {
Node<E> oldHead;
Node<E> newHead;
do {
oldHead = top.get();
if(oldHead == null) {
return null;
}
newHead = oldHead.next;
} while (!top.compareAndSet(oldHead, newHead));
return oldHead.item;
}
private static class Node<E> {
public final E item;
public Node<E> next;
private Node(E item) {
this.item = item;
}
}
}
根據程式碼我們可以看出它擁有非阻塞演算法的特點：一個執行緒的失敗或者掛起不會導致其他執行緒的失敗或掛起。如果某項操作的完成具有不確定性，不成功則會重新執行。
這個非阻塞棧通過CAS來嘗試修改棧頂元素，該方法為原子操作，如果發現被其他執行緒干擾，CAS會更新失敗，這個時候意味著另一個執行緒已經修改了堆疊。這些操作都是原子化地進行的。同時，我們需要不斷的迴圈，以保證線上程衝突的時候能夠重試更新。
2、非阻塞連結串列
根據CAS演算法的內容與對非阻塞棧的研究，我們知道要實現非阻塞演算法的方法就是實現原子級的變數。
使用非阻塞演算法實現一個連結佇列比棧更復雜，因為它需要支援首尾的快速訪問，需要維護兩個獨立的隊首指標和隊尾指標,初始時都指向佇列的末尾節點，在成功加入新元素時兩個指標都需要原子化的更新。
//依然是根據《併發程式設計實戰》的程式碼進行分析
public class LinkedQueue <E> {
private static class Node <E> {
final E item;
//還是和之前的一樣，以保證你在修改物件引用時的執行緒安全性
final AtomicReference<Node<E>> next;
public Node(E item, Node<E> next) {
this.item = item;
this.next = new AtomicReference<Node<E>>(next);
}
}
//初始化節點
private final Node<E> dummy = new Node<E>(null, null);
//宣告AtomicReference型別的頭尾節點、一切都是為了安全
private final AtomicReference<Node<E>> head
= new AtomicReference<Node<E>>(dummy);
private final AtomicReference<Node<E>> tail
= new AtomicReference<Node<E>>(dummy);
/**
*非阻塞演算法新增操作
*/
public boolean put(E item) {
//宣告一個新的節點
Node<E> newNode = new Node<E>(item, null);
while (true) {
Node<E> curTail = tail.get();
Node<E> tailNext = curTail.next.get();
//得到連結串列的尾部節點
if (curTail == tail.get()) {
// 如果尾部節點的後續節點不為空，則佇列處於不一致的狀態
if (tailNext != null) {
// 比較後將為尾部節點向後退進；
tail.compareAndSet(curTail, tailNext);
} else {
// 如果尾部節點的後續節點為空，則佇列處於一致的狀態，沒有其他佇列操作，嘗試更新
if (curTail.next.compareAndSet(null, newNode)) {
// 更新成功，將為尾部節點向後退進；
tail.compareAndSet(curTail, newNode);
return true;
}
}
}
}
}
}
通過程式碼，我們能看出，佇列裡的每一個節點都有一個空置節點。任何執行緒在執行插入操作的時候，都能夠通過tail.next操作檢查佇列的狀態。如果不為空的情況，則能判斷出有其他的執行緒已經插入了一個節點，但是還沒有將tail指向最新的節點，這時候程式碼可以通過推進tail指標向前移動一個節點把狀態恢復為穩定（即尾結點的置空狀態）。同時，另一個已經執行一半的執行緒的尾結點恢復穩定後，也不會受到影響。
這種設計的好處在於，如果多個執行緒同時操作方法，不需要加鎖等待，每次插入之前連結串列自身會檢查tail.next是否為空來判定佇列是否需要保持穩定狀態,如果是,它首先會推進隊尾指標(可能多次),直到佇列處於穩定狀態(tail.next為空)。
我們從原始碼中也能看到，非阻塞連結串列ConcurrentLinkedQueue的實現方式。
結語
非阻塞演算法通過使用底層的併發原語,比如CAS演算法,取代了鎖.原子變數類向使用者提供了這些低層級原語,也能夠當做"更佳的volatile變數"使用,同時提供了整數類和物件引用的原子化更新操作.
非阻塞演算法在設計和實現中很困難,但是在典型條件下能夠提供更好的可伸縮性,並能更好地預防活躍度失敗。從JVM併發效能的提升很大程度上來源於非阻塞演算法的使用,包括在JVM內部以及平臺類庫。
有需要的同學可以加我的公眾號，以後的最新的文章第一時間都在裡面，也可以找我要思維導圖
