synchronized既保證原子性，又保證內(nèi)存可見性，是一種線程同步的方式，是鎖機(jī)制的一種java實(shí)現(xiàn)。synchronized的實(shí)現(xiàn)基于JVM底層，JVM是基于monitor實(shí)現(xiàn)的，而monitor的實(shí)現(xiàn)依賴于操作系統(tǒng)的互斥實(shí)現(xiàn)。
語義
synchronized語義是同步，但同步有兩層含義：
互斥，即鎖的特點(diǎn)。同一時(shí)間只能有一個(gè)線程持有監(jiān)視器，因此一旦線程進(jìn)入監(jiān)視器保護(hù)的代碼塊（即臨界區(qū)），其他線程是不允許監(jiān)視器保護(hù)的代碼塊，直到前一個(gè)線程退出代碼塊?；コ庾柚沽似渌€程看到對(duì)象不一致的狀態(tài)，與原子性有相同的語義。
可見。synchronized保證進(jìn)入同步代碼塊的線程，都可以看到由同一個(gè)鎖保護(hù)的之前所有的修改效果。原因是：在釋放監(jiān)視器時(shí)（即退出同步代碼塊），會(huì)將工作內(nèi)存中未映射到主內(nèi)存的工作拷貝，強(qiáng)制刷新回主內(nèi)容。在獲取監(jiān)視器是（即進(jìn)入同步代碼塊時(shí)），監(jiān)視器會(huì)使本地內(nèi)存失效，強(qiáng)制從主內(nèi)存拷貝到工作內(nèi)存。
互斥保證在線程退出前，所有對(duì)象狀態(tài)變更都對(duì)其他線程不可見；可見保證在線程進(jìn)入同步代碼塊時(shí)，可以看到上一個(gè)線程對(duì)對(duì)象狀態(tài)變更的最終狀態(tài)。
線程安全與同步
延伸閱讀
- ssh框架 2016-09-30
- 阿里移動(dòng)安全 [無線安全]玩轉(zhuǎn)無線電——不安全的藍(lán)牙鎖 2017-07-26
- 消息隊(duì)列NetMQ 原理分析4-Socket、Session、Option和Pipe 2024-03-26
- Selective Search for Object Recognition 論文筆記【圖片目標(biāo)分割】 2017-07-26
- 詞向量-LRWE模型-更好地識(shí)別反義詞同義詞 2017-07-26
- 從棧不平衡問題 理解 calling convention 2017-07-26
- php imagemagick 處理 圖片剪切、壓縮、合并、插入文本、背景色透明 2017-07-26
- Swift實(shí)現(xiàn)JSON轉(zhuǎn)Model - HandyJSON使用講解 2017-07-26
- 阿里移動(dòng)安全 Android端惡意鎖屏勒索應(yīng)用分析 2017-07-26
- 集合結(jié)合數(shù)據(jù)結(jié)構(gòu)來看看(二) 2017-07-26
學(xué)習(xí)是年輕人改變自己的最好方式