基于CAS思想的java并發(fā)AtomicBoolean實例詳解

java.util.concurrent.atomic

該包是JDK1.5開始提供的,它提供了類的小工具,支持在單個變量上解除鎖的線程安全編程。此包中的類可將 volatile 值、字段和數(shù)組元素的概念擴展到那些也提供原子條件更新操作的類,其形式如下:

  boolean compareAndSet(expectedValue, updateValue);

CAS思想

我們看到了上面提到的一個在java并發(fā)中非常重要的一類算法 -- CAS: Compare And Set 比較并設(shè)置; 什么意思呢,我們以 boolean compareAndSet(expectedValue, updateValue);方法為例來解釋CAS的思想, 內(nèi)存中可見的值如果和期望值(expectedValue)一致, 則將內(nèi)存中的值修改為新值(updateValue),并且返回true; 否則返回false;注意 : 該操作是原子性的,意思是線程安全的。當(dāng)多個線程同時訪問某個對象時,如果其中一個線程通過CAS操作獲得了訪問權(quán)限,則其他線程只能在該線程處理完之后才能訪問。 這類似于同步字 synchronized 但是效率更高因為并沒有鎖的機制,即使在JDK7 之后對其進行過優(yōu)化。

AtomicBoolean實例詳解

/**
 * 
 */
package byron4j.dlzd.curr.atomic;

import java.time.LocalDate;
import java.time.LocalTime;
import java.util.concurrent.ExecutorService;
import java.util.concurrent.Executors;
import java.util.concurrent.TimeUnit;
import java.util.concurrent.atomic.AtomicBoolean;


public class AtomicDemo {
    
    private static volatile AtomicBoolean canExecutingFlag = new AtomicBoolean(true);
    
    
    
    /**
     * 
     *  業(yè)務(wù)邏輯處理:
     *  <ol>
     *    <li>Step 1</li>
     *    <li>Step 2</li>
     *  </ol>
     */
    public void executeBusiLogic(){
        if( canExecutingFlag.compareAndSet(true, false) ){
            try{
                System.out.println(LocalDate.now() + " " + LocalTime.now() + "--" + Thread.currentThread().getName() + "--處理業(yè)務(wù)邏輯開始...");
                Thread.sleep(5000);
                System.out.println(LocalDate.now() + " " + LocalTime.now() + "--" + Thread.currentThread().getName() + "--處理業(yè)務(wù)邏輯完畢.");
            }catch(Exception e){
                System.out.println(LocalDate.now() + " " + LocalTime.now() + "--" + Thread.currentThread().getName() + "--處理業(yè)務(wù)邏輯失敗!!!");
            }finally{
                canExecutingFlag.set(true);
            }
        }else{
            System.out.println(LocalDate.now() + " " + LocalTime.now() + "--" + Thread.currentThread().getName() + "--已經(jīng)存在處理中的業(yè)務(wù),請稍后再試!");
        }
    }
    
    
    
    public static void main(String[] args) {
        ExecutorService es = Executors.newFixedThreadPool(10);
        
        AtomicDemo demo = new AtomicDemo();
        
        for(int i = 0; i < 10; i++){
            es.execute(new Runnable() {
                
                @Override
                public void run() {
                    demo.executeBusiLogic();
                }
            });
        }
        
        es.shutdown();
    }
    
}

運行結(jié)果如下:

2017-09-13 22:13:45.081--pool-1-thread-3--已經(jīng)存在處理中的業(yè)務(wù),請稍后再試!
2017-09-13 22:13:45.082--pool-1-thread-2--已經(jīng)存在處理中的業(yè)務(wù),請稍后再試!
2017-09-13 22:13:45.082--pool-1-thread-6--已經(jīng)存在處理中的業(yè)務(wù),請稍后再試!
2017-09-13 22:13:45.081--pool-1-thread-1--處理業(yè)務(wù)邏輯開始...
2017-09-13 22:13:45.081--pool-1-thread-10--已經(jīng)存在處理中的業(yè)務(wù),請稍后再試!
2017-09-13 22:13:45.081--pool-1-thread-9--已經(jīng)存在處理中的業(yè)務(wù),請稍后再試!
2017-09-13 22:13:45.082--pool-1-thread-4--已經(jīng)存在處理中的業(yè)務(wù),請稍后再試!
2017-09-13 22:13:45.081--pool-1-thread-7--已經(jīng)存在處理中的業(yè)務(wù),請稍后再試!
2017-09-13 22:13:45.082--pool-1-thread-5--已經(jīng)存在處理中的業(yè)務(wù),請稍后再試!
2017-09-13 22:13:45.083--pool-1-thread-8--已經(jīng)存在處理中的業(yè)務(wù),請稍后再試!
2017-09-13 22:13:50.082--pool-1-thread-1--處理業(yè)務(wù)邏輯完畢.

我們看到thread-1首先獲得操作權(quán)限canExecutingFlag 值為true,CAS驗證通過并且將canExecutingFlag 值置為false,所以其他線程均未獲得進入資格,因為處理業(yè)務(wù)邏輯花了5秒鐘,其他線程得到了"已經(jīng)在處理中"的提示。 為了模擬耗時操作,我們在 executeBusiLogic 方法中通過sleep使執(zhí)行線程睡眠。

在實際生產(chǎn)中,我們可以使用該方式來處理并發(fā)問題, 比如金融領(lǐng)域,請求支付單做資金放款時,為了避免在同一時間請求多次,就可以使用 CAS 來控制。

CAS的缺陷--CAS的ABA問題

問題描述:

因為CAS是基于內(nèi)存共享機制實現(xiàn)的,比如在AtomicBoolean類中使用了關(guān)鍵字 volatile 修飾的屬性: private volatile int value;

線程t1在共享變量中讀到值為A
線程t1被搶占了,線程t2執(zhí)行
線程t2把共享變量里的值從A改成了B,再改回到A,此時被線程t1搶占。
線程t1回來看到共享變量里的值沒有被改變,于是繼續(xù)執(zhí)行。
雖然線程t1以為變量值沒有改變,繼續(xù)執(zhí)行了,但是這個過程中(即A的值被t2改變期間)會引發(fā)一些潛在的問題。ABA問題最容易發(fā)生在lock free 的算法中的,CAS首當(dāng)其沖,因為CAS判斷的是指針的地址。如果這個地址被重用了呢,問題就很大了。(地址被重用是很經(jīng)常發(fā)生的,一個內(nèi)存分配后釋放了,再分配,很有可能還是原來的地址)

舉一個例子:

我們進機場過安檢的時候,有一個人和你的背包是一樣的(瑞士牌),安檢完后他把你的背包拿走了,你看下包一樣的于是很淡定地登記去了,但是你的Mac Pro不見了。。

這就是ABA的問題。

最后編輯于
?著作權(quán)歸作者所有,轉(zhuǎn)載或內(nèi)容合作請聯(lián)系作者
【社區(qū)內(nèi)容提示】社區(qū)部分內(nèi)容疑似由AI輔助生成,瀏覽時請結(jié)合常識與多方信息審慎甄別。
平臺聲明:文章內(nèi)容(如有圖片或視頻亦包括在內(nèi))由作者上傳并發(fā)布,文章內(nèi)容僅代表作者本人觀點,簡書系信息發(fā)布平臺,僅提供信息存儲服務(wù)。

相關(guān)閱讀更多精彩內(nèi)容

友情鏈接更多精彩內(nèi)容