java - AtomicInteger 的CAS 問題
問題描述
public final int incrementAndGet() {for (;;) { int current = get(); int next = current + 1; if (compareAndSet(current, next))return next;} }
這是自增操作,定義: CAS有3個(gè)操作數(shù),內(nèi)存值V,舊的預(yù)期值A(chǔ),要修改的新值B。當(dāng)且僅當(dāng)預(yù)期值A(chǔ)和內(nèi)存值V相同時(shí),將內(nèi)存值V修改為B,否則什么都不做預(yù)期值是next嗎? 內(nèi)存值是current?假如1個(gè)線程自增時(shí)沒有其他線程競爭,那么預(yù)期值應(yīng)該比內(nèi)存值大1啊,怎么會(huì)預(yù)期值和內(nèi)存值相同?
問題解答
回答1:瀉藥~可能題主這里理解有點(diǎn)偏差
current是預(yù)期值,不是內(nèi)存值
next是修改的新值不是預(yù)期值
方法compareAndSet的源碼就可以看得出來,里面注釋已經(jīng)很明白了
/** * Atomically sets the value to the given updated value * if the current value {@code ==} the expected value. * * @param expect the expected value * @param update the new value * @return {@code true} if successful. False return indicates that * the actual value was not equal to the expected value. */ public final boolean compareAndSet(int expect, int update) {return unsafe.compareAndSwapInt(this, valueOffset, expect, update); }
CAS的操作是按照題主所說,用預(yù)期值和內(nèi)存值比較,只有當(dāng)相等時(shí),才會(huì)把新值寫入,否則會(huì)不斷重試,是一種樂觀的態(tài)度,而真正的內(nèi)存值其實(shí)是AtomicInteger.value這個(gè)屬性(其實(shí)最關(guān)鍵也不是這個(gè)屬性,只是個(gè)引用而已,真正的boss后面會(huì)提到),注意這個(gè)value的有關(guān)鍵字volatile修飾
private volatile int value;
所以這個(gè)value值其實(shí)是一個(gè)共享變量,代表著這個(gè)變量的可見性,也就是線程之間的可見性,
=======================話多隨便扯了哈可見性,不喜可以直接略過================================
簡單點(diǎn)說,Java內(nèi)存模型規(guī)定了變量是存在主存中(類似物理內(nèi)存)的,各個(gè)線程都有自己的工作緩存,在對(duì)某個(gè)變量操作時(shí),不是直接修改主存中的值,而是在自己的工作緩存中執(zhí)行,最后在同步到主存中,并且線程相互之間的是不能訪問對(duì)方的工作緩存的
這里說到的可見性,就是指,線程在操作有關(guān)鍵字volatile修飾的變量時(shí),當(dāng)成功修改了這個(gè)變量并寫入了主存,那么其他線程的工作緩存中的變量會(huì)失效,所以此時(shí)其他線程再次去讀取變量時(shí)會(huì)直接從主存中去讀,而不會(huì)再用自己工作緩存中的值了
==========================================扯完==============================================
剛才說到AtomicInteger.value這個(gè)屬性對(duì)于數(shù)據(jù)本身而言,只是一個(gè)引用,在調(diào)用compareAndSet方法時(shí),可以注意到第二個(gè)參數(shù),valueOffset,其實(shí)這才是關(guān)鍵...真正的Boss,真正的內(nèi)存的值,因?yàn)樯婕暗皆趈ava語言里很少聽到的一個(gè)詞,指針,這個(gè)valueOffset其實(shí)就是對(duì)象內(nèi)的偏移量啦,這才是真正的內(nèi)存值
(之所以這個(gè)方法compareAndSet里調(diào)用的是Unsafe類的方法,Unsafe這其實(shí)就是封裝了一些類似指針的操作,指針才不安全嘛)
相關(guān)文章:
1. python - 爬蟲模擬登錄后,爬取csdn后臺(tái)文章列表遇到的問題2. python bottle跑起來以后,定時(shí)執(zhí)行的任務(wù)為什么每次都重復(fù)(多)執(zhí)行一次?3. javascript - angular使從elastichearch中取出的文本高亮顯示,如圖所示4. 前端 - 誰來解釋下這兩個(gè) CSS selector 區(qū)別5. javascript - vue2如何獲取v-model變量名6. html5 - HTML代碼中的文字亂碼是怎么回事?7. javascript - ios返回不執(zhí)行js怎么解決?8. javascript - 求幫助 , ATOM不顯示界面!!!!9. mysql - 分庫分表、分區(qū)、讀寫分離 這些都是用在什么場景下 ,會(huì)帶來哪些效率或者其他方面的好處10. 視頻文件不能播放,怎么辦?
