CAS算法:CAS的語義是“我認爲V的值應該爲A,如果是,那麼將V的 值更新爲B,否則不修改並告訴V的值實際爲多少”,CAS是項 樂觀鎖 技術,當多個線程嘗試使用CAS同時更新同一個變量時,只有其中一個線程能更新變量的值,而其它線程都失敗,失敗的線程並不會被掛起,而是被告知這次競爭中失敗,並可以再次嘗試。CAS有3個操作數,內存值V,舊的預期值A,要修改的新值B。當且僅當預期值A和內存值V相同時,將內存值V修改爲B,否則什麼都不做
入隊列:
第一步添加元素1:隊列更新head節點的next節點爲元素1節點。又因爲tail節點默認情況下等於head節點,所以它們的next節點都指向元素1節點。 第二步添加元素2:隊列首先設置元素1節點的next節點爲元素2節點,然後更新tail節點指向元素2節點。 第三步添加元素3:設置tail節點的next節點爲元素3節點。 第四步添加元素4:設置元素3的next節點爲元素4節點,然後將tail節點指向元素4節點。
`
public boolean offer(E e) {
if (e == null) throw new NullPointerException();
//入隊前,創建一個入隊節點
Node<E> n = new Node<E>(e);
retry:
//死循環,入隊不成功反覆入隊。
for (;;) {
//創建一個指向tail節點的引用
Node<E> t = tail;
//p用來表示隊列的尾節點,默認情況下等於tail節點。
Node<E> p = t;
for (int hops = 0; ; hops++) {
//獲得p節點的下一個節點。
Node<E> next = succ(p);
//next節點不爲空,說明p不是尾節點,需要更新p後在將它指向next節點
if (next != null) {
//循環了兩次及其以上,並且當前節點還是不等於尾節點
if (hops > HOPS && t != tail)
continue retry;
p = next;
}
//如果p是尾節點,則設置p節點的next節點爲入隊節點。
else if (p.casNext(null, n)) {
//如果tail節點有大於等於1個next節點,則將入隊節點設置成tair節點,更新失敗了也沒關係,因爲失敗了表示有其他線程成功更新了tair節點
if (hops >= HOPS)
casTail(t, n); // 更新tail節點,允許失敗
return true;
}
// p有next節點,表示p的next節點是尾節點,則重新設置p節點
else {
p = succ(p);
}
}
}
}
`