在前面介紹的幾篇部落格中總是提到CLH佇列，在AQS中CLH佇列是維護一組執行緒的嚴格按照FIFO的佇列。他能夠確保無飢餓，嚴格的先來先服務的公平性。下圖是CLH佇列節點的示意圖：

在CLH佇列的節點QNode中包含有一個locked的欄位，該欄位表示該節點是否需要獲取鎖，為true表示需要獲取，為false表示不需要獲取。在CLH佇列中，節點與節點之間並不是通過next指標來連線的而是通過myPred所指向節點的變化情況來影響的myNode的行為。

假設有兩個執行緒（執行緒A、執行緒B）。開始執行緒A需要獲得鎖，那麼他會建立一個QNode節點，並將locked設定為true（表示需要獲取鎖），同時獲取一個指向前驅的myPred並在前驅節點的的locked上面旋轉直到前驅節點是否鎖為止（locked為false，這個動作我們一般稱之為自旋），當然這裡會將tail指向自身來表示它是CLH佇列的最後一個節點，如下：

然後執行緒B新增到CLH佇列中，這時tail域應該指向執行緒B。

CLH佇列鎖的優點在於空間複雜度低（如果有n個執行緒，L個鎖，每個執行緒每次只獲取一個鎖，那麼需要的儲存空間是O（L+n），n個執行緒有n個myNode，L個鎖有L個tail）。CLH的變種體被運用到了AQS中。

參考文獻