久久r热视频,国产午夜精品一区二区三区视频,亚洲精品自拍偷拍,欧美日韩精品二区

您的位置:首頁技術(shù)文章
文章詳情頁

java - AbstractQueuedSynchronizer中CAS的疑惑

瀏覽:134日期:2024-01-10 11:06:33

問題描述

這段代碼是AQS框架中將當(dāng)前節(jié)點入隊的操作。

Node pred = tail;if (pred != null) { node.prev = pred; if (compareAndSetTail(pred, node)) {pred.next = node;return node; }}

上面代碼中pred被賦值為尾節(jié)點,node為當(dāng)前節(jié)點。我理解的將新節(jié)點插入鏈表尾處的邏輯應(yīng)當(dāng)如下:node.prev = pred; node節(jié)點的前驅(qū)指向尾節(jié)點pred.next = node; 將尾節(jié)點的后繼設(shè)置為當(dāng)前節(jié)點tail = node; 將node節(jié)點設(shè)置為尾節(jié)點對于上面代碼我的疑問如下:如果尾節(jié)點不為空,node節(jié)點的前驅(qū)會指向尾節(jié)點,然后調(diào)用CAS交換pred和node的值。此時pred(即tail)的值應(yīng)該已經(jīng)是當(dāng)前節(jié)點node的值了,再執(zhí)行pred.next=node是什么意思呢,這是否存在邏輯問題?

問題解答

回答1:

TZ可能對compareAndSetTail的理解有誤。

private final boolean compareAndSetTail(Node expect, Node update) {return unsafe.compareAndSwapObject(this, tailOffset, expect, update); }

在AbstractQueuedSynchronizer的tailOffset位置比較pred的值和期望的node值,如果相同則更新tailOffset位置的值。

static { tailOffset = unsafe.objectFieldOffset (AbstractQueuedSynchronizer.class.getDeclaredField('tail')); ...}

compareAndSetTail(pred, node) 這句代碼執(zhí)行完成之后,被修改只是對象AbstractQueuedSynchronizer的tailOffset的值,也就是成員變量tail的值,對于pred的值沒有任何影響。至于雙向鏈表,尾部插入,邏輯上沒有問題。

回答2:

這個設(shè)計是一個雙向鏈表.B.prev == AA.next == B

compareAndSetTail 設(shè)置成功只是將 tail 更新為當(dāng)前node. pred.next 是將上一個尾部節(jié)點的next設(shè)置為當(dāng)前node這邏輯不存在問題.

標簽: java
相關(guān)文章:
主站蜘蛛池模板: 邹平县| 花莲市| 邢台县| 甘孜| 横峰县| 瓦房店市| 东安县| 会昌县| 白山市| 固原市| 璧山县| 汝阳县| 莱阳市| 广西| 常德市| 靖州| 于都县| 凭祥市| 绥中县| 信宜市| 塔城市| 白城市| 彭山县| 宕昌县| 浙江省| 枣阳市| 高州市| 京山县| 济阳县| 滨海县| 海伦市| 锦州市| 沙河市| 历史| 吉木乃县| 吴堡县| 新郑市| 保定市| 武胜县| 安庆市| 元氏县|