java - AQS中源碼疑問

問題描述

在AbstractQueuedSynchronizer類中維護了一個用volatile修飾的state狀態，而這個狀態有如下的兩種修改方法：

state的set方法：

protected final void setState(int newState) { state = newState;}

CAS方法:

protected final boolean compareAndSetState(int expect, int update) { // See below for intrinsics setup to support this return unsafe.compareAndSwapInt(this, stateOffset, expect, update);}

那么，我的疑問來了，不是說volatile修飾的變量在多線程的單操作中，能夠保證其寫后讀的可見性，即能保證線程安全，為什么還提供了CAS操作能保證線程安全呢？還是我的理解有問題呢？謝謝各位大牛了！

問題解答

并不沖突吧，setState只是一個寫操作，并沒有管原來的state，比如state原本是0，線程1和線程2分別讀取了這個值0，線程1把它set成1，然后線程2打算把它set成2，是可以成功的，盡管state已經是1了，而且線程2也知道，但是無所謂，線程2只是把它set成2。下面那個方法就不會了吧。

是的，你的理解有問題。

不是說volatile修飾的變量在多線程的單操作中，能夠保證其寫后讀的可見性，即能保證線程安全

能夠保證可見性，不意味著可以保證線程安全?？梢娦愿€程安全不是同一個概念。

cas操作，可以劃分為幾個小操作

比較 expect 和 state 變量當前的值，如果相同，繼續2，如果不同，方法結束。

為 state 賦值 update

這兩個操作，如果是多線程并發調用，是會有線程安全問題的。這里的 cas 方法利用了 cpu 的 cas 指令，這個指令是原子操作?？梢员苊獠l問題。

簡而言之：

不依賴原始值的可以使用set

依賴原始值的可以使用cas去設置。本身這是個樂觀鎖。