synchronized實現可見性

2022-05-09 07:33:06 字數 1525 閱讀 5118

jmm關於synchronized的兩條規定:

1)執行緒解鎖前,必須把共享變數的最新值重新整理到主記憶體中

2)執行緒加鎖時,將清空工作記憶體中共享變數的值,從而使用共享變數時需要從主記憶體中重新獲取最新的值

(注意:加鎖與解鎖需要是同一把鎖)

通過以上兩點,可以看到synchronized能夠實現可見性。同時,由於synchronized具有同步鎖,所以它也具有原子性

多執行緒中程式交錯執行時,重排序可能會造成記憶體可見性問題

接下來我們看一段**:

/*

* * synchronized能夠實現原子性(同步)、可見性

* * @author xuwenjin */

public

class

synchronizeddemo

/*** 讀操作

*/public

void

read()

system.

out.println("

result:

" +result);

}//內部執行緒類

private

class

writereadthread extends thread

@override

public

void

run()

else}}

public

static

void

main(string args)

}

上面的**可能出現如下執行順序:

1) 1.1 --> 1.2 --> 2.1--> 2.2       result的值為6 (正常情況)

2) 1.1 --> 2.1 --> 2.2 --> 1.2       result的值為3 (當寫執行緒執行完1.1之後,讀執行緒開始)

3) 1.2 --> 2.1 --> 2.2 --> 1.1       result的值為0 (1.1跟1.2重排序)

4)...

當然由於重排序和執行緒的交叉執行,還可能出現很多種執行順序

a、執行緒的非同步執行

b、重排序結合執行緒交叉執行

c、共享變數更新後的值沒有在工作記憶體與主記憶體間及時更新

那麼如何解決可見性的問題呢?接下來我們的主角出場:synchronized

安全的**:

/*

* * 寫操作

*/public synchronized void

write()

/*** 讀操作

*/public synchronized void

read()

system.

out.println("

result:

" +result);

}

由於synchronized的原子性、可見性,可以完美解決以上說的三點問題。不過讀執行緒和寫執行緒的執行順序是不定的,所以result的結果仍然會出現6或0。

如何保證執行緒順序執行,大家可參考:

Synchronized可重入鎖分析

可重入鎖又稱遞迴鎖,是指在同乙個執行緒在外層方法獲取鎖的時候,再進入該執行緒的內層方法會自動獲取鎖 前提是鎖物件必須是同一物件或者class 不會因為之前已經獲取過還沒實方而發生阻塞。即同一執行緒可執行多個持有同乙個鎖的方法。先來一段 public class reentrantsynchroniz...

synchronized實現原理

jvm規範規定jvm基於進入和退出monitor物件來實現方法同步和 塊同步,但兩者的實現細節不一樣。塊同步是使用monitorenter和monitorexit指令實現,而方法同步是使用另外一種方式實現的,細節在jvm規範裡並沒有詳細說明,但是方法的同步同樣可以使用這兩個指令來實現。monitor...

synchronized 實現死鎖

synchronized首先明確鎖的是物件而不是方法 如果乙個物件有兩個方法,兩個執行緒分別呼叫其中乙個方法,如果鎖傳入的引數為 同一物件與不同物件,執行緒執行結果是不一樣的 死鎖 如下 package com.hanshow.wise.portal.center.controller.common...