多執行緒之volative關鍵字

炒燜煎糖板栗發表於2021-03-15

輕量級同步機制:volative關鍵字

volative的作用

關鍵作用是使變數在多個執行緒之間可見

public class VolativeText {
    public static void main(String[] args) throws InterruptedException {
        Student student=new Student();
        new Thread(new Runnable() {
            @Override
            public void run() {
                student.GetMethon();
            }
        }).start();
        Thread.sleep(1000);//睡眠之後修改布林值
        student.GetName(false);//改變布林值以結束程式執行
    }
    static  class Student
    {
        public boolean flag=true;
        public Student GetName(boolean flag)
        {
            this.flag=flag;
            return  this;
        }
        public  void  GetMethon()
        {
            System.out.println("開始");
            while (flag){//死迴圈
            }
            System.out.println("結束");
        }
    }
}

image-20210310223438566

程式並沒有因為我修改之後結束執行,因為執行緒對共享變數具有不可見性,main執行緒修改布林值之後,子執行緒看不到值的修改。因此要想實現執行緒的可見性這裡可以加上volative關鍵字修飾公共變數

volative關鍵字的作用:使執行緒在強制公共記憶體中讀取變數值,保證可見性

volatile非原子特性

public class Text10 extends  Thread {
    private volatile static int count;
    @Override
    public void run() {
       Addcount();
    }
    public   static void  Addcount()
    {
        for (int i = 0; i < 1000; i++) {
            count++;
        }
        System.out.println(Thread.currentThread().getName()+"-->"+count);
    }
    public static void main(String[] args) {
        for (int i = 0; i < 10; i++) {
            Text10 text10=new Text10();
            text10.start();
        }
    }
}

image-20210310232145063

按道理輸出1000的整數倍數才對,但是變數在自增的過程中沒有更新到又被讀取再修改,因此volatile不具備原子性,正確辦法將方法加上synchronized關鍵字

image-20210310232349272

volatile與synchronized比較

  • volatile關鍵字是執行緒同步的輕量級實現,所以volatile效能肯定比synchronized要好,volatile只能修飾變數,而synchronized可以修飾方法程式碼塊,在開發中使用synchronized比例還是挺大的。

  • 多執行緒訪問volatile變數不會發生阻塞,而synchronized可能會阻塞。

  • volatile能保證資料的可見性,但是不能保證原子性,而synchronized可以保證原子性,也可以保證可見性,因為

  • synchronized會將執行緒的工作記憶體和主記憶體進行同步

  • volatile關鍵字保證多個執行緒之間的可見性,synchronized關鍵字解決執行緒訪問公共資源的同步性。

    區別 synchronized volatile
    使用上 只能用於修飾方法、程式碼塊 只能修飾例項變數或者類關鍵字
    原子性保證 能保證,鎖可以保護資料不被打斷 無法保證
    可見性保證 能保證,排它方式使同步程式碼序列 能保證,可以讀取公共變數
    有序性保證 能保證,在同步序列的時候 能保證,禁止JVM以及處理器進行排序
    阻塞情況 會發生阻塞 不會發生阻塞

常用原子類進行自增自減操作

i++不是原子操作,除了使用synchronized進行同步,也可以使用AtomicInteger/AtomicLong進行實現

import java.util.concurrent.atomic.AtomicInteger;
public class Text10 extends  Thread {
    private   static AtomicInteger count=new AtomicInteger();
    @Override
    public void run() {
       AddCount();
    }
    public   static void  AddCount()
    {
        for (int i = 0; i < 1000; i++) {
            count.getAndIncrement();//相當於i++
            //count.incrementAndGet();//相當於++i
        }
        System.out.println(Thread.currentThread().getName()+"-->"+count.get());
    }
    public static void main(String[] args) {
        for (int i = 0; i < 10; i++) {
            Text10 text10=new Text10();
            text10.start();
        }

    }
}

image-20210310234739741

CAS

CAS(Compare And Swap)是由硬體實現的,

CAS可以將read(讀)-modify(修改)-write(寫)轉化為原子操作

i++自增過程:

從主記憶體調取i變數值

對i值加1

再把加1過後的值儲存到主記憶體

CAS原理:在把資料更新到主記憶體時,再次讀取主記憶體變數的值,如果現在變數的值與期望的值一樣就更新。

image-20210311220552964

使用CAS原理實現執行緒安全計數器

public class CASText {
    public static void main(String[] args) {
        CASControl casControl=new CASControl();
        for (int i = 0; i <10000 ; i++) {
            new Thread(new Runnable() {
                @Override
                public void run() {
                    System.out.println(Thread.currentThread().getName()+"==>"+casControl.incrementAndGet());
                }
            }).start();
        }
    }
}
  class CASControl
{
    volatile  static  long value;//使用volatile修飾執行緒可見性
    public  long getValue()
    {
        return  value;
    }
    private  boolean Expect(long oldValue,long newValue)
    {
        synchronized (this)
        {
            if(value==oldValue)
            {
                value=newValue;
                return  true;
            }
            else
                return  false;
        }
    }
    public  long incrementAndGet()
    {
        long oldvalue;
        long newValue;
        do {
            oldvalue=value;
            newValue=oldvalue+1;

        }while (!Expect(oldvalue, newValue));
        return  newValue;
    }
}

image-20210311223403577

CAS中的ABA問題

CAS實現原子操作背後有一個假設:共享變數當前值與當前執行緒提供的期望值相同,就認為變數沒有被其他執行緒過。

實際上這種假設不一定成立,假如count=0

A執行緒對count值修改為10

B執行緒對count值修改為30

C執行緒對count值修改為0

當前執行緒看到count=0,不能認為count沒有被其他執行緒更新,這種結果是否能被接受?

這就是CAS中的ABS問題即共享變數經過了A=》B=》A的更改

是否能夠接受ABA問題跟演算法實現有關

如果想要規避ABA問題,可以為共享變數引入一個修訂號,或者時間戳,每次修改共享變數值,相應的修訂號加1.,就會變更為[A,0]=>[B,1]=>[A,2],每次對共享變數的修改都會導致共享變數的增加,通過這個標識就可以判斷。AtomicStampedReference類就是基於這個思想產生的。

原子變數類

原子類變數是基於CAS實現的,當對共享變數進行read(讀)-modify(修改)-write(寫)操作時,通過原子類變數可以保障原子性與可見性,對變數的read(讀)-modify(修改)-write(寫)操作不是指一個簡單的賦值,而是變數的新值,依賴變數的舊值,如自增操作i++,由於volatile只能保證原子的可見性,而不能保證原子性,原變數類內部就是一個藉助volatile變數,並且保障了該變數的read-modify-wirte操作的原子性,有時把原子變數看作一個增強的volatile變數,原子變數類有12個

分組 原子變數類
基礎資料型 AtomicInteger、AtomicLong、AtomicBoolean
陣列型 AtomicIntegerArry、AtomicLongArry、AtomicReferenceArry
欄位更新器 AtomocIntegerFiledUpdater、AtomicLongFieldUpdate、AtomicReferenceFiledUpdater
引用型 AtomicReference、AtomicStampedReference、AtomicMarkableReference

使用AtomicLong定義計數器

import java.util.Random;
import java.util.concurrent.atomic.AtomicLong;

public class Text15 {
    //構造方法私有化
    private  Text15(){}
    //私有靜態物件
    private  static final Text15 text=new Text15();
    //公共靜態方法返回該類的例項
    public  static  Text15 getInstance()
    {
        return  text;
    }
    //使用原子類記錄儲存請求總數 成功數 失敗數
    private  final AtomicLong RequestCount=new AtomicLong(0);
    private  final AtomicLong SuccessCount=new AtomicLong(0);
    private  final AtomicLong FailCount=new AtomicLong(0);
    //進行自增
    public  void  RequestCount()
    {
        RequestCount.incrementAndGet();
    }
    public  void  SuccessCount()
    {
        SuccessCount.incrementAndGet();
    }
    public  void  FailCount()
    {
        FailCount.incrementAndGet();
    }
    //檢視總數
    public  long GetRequestCount()
    {
        return  RequestCount.get();
    }
    public  long  GetSuccessCount()
    {
        return SuccessCount.get();
    }
    public  long  GetFailCount()
    {
        return FailCount.get();
    }
}
class  Text16
{
    public static void main(String[] args) throws InterruptedException {
        new Thread(new Runnable() {
            @Override
            public void run() {
                for (int i = 0; i <1000 ; i++) {
                    Text15.getInstance().RequestCount();//請求數量
                    int num=new Random().nextInt();
                    if(num%2==0)//如果是偶數就成功
                    {
                        Text15.getInstance().SuccessCount();
                    }
                    else
                        Text15.getInstance().FailCount();
                }
            }
        }).start();
        Thread.sleep(1000);
        System.out.println("請求總數:"+Text15.getInstance().GetRequestCount());
        System.out.println("請求成功"+Text15.getInstance().GetSuccessCount());
        System.out.println("請求失敗"+Text15.getInstance().GetFailCount());
    }
}

image-20210315213254758

相關文章