原子性
如果把一個事務(wù)可看作是一個程序,它要么完整的被執(zhí)行,要么完全不執(zhí)行洛波,這種特性就叫原子性。
我們通常將這些不可分割的操作稱為原子操作骚露。
Java編程規(guī)范規(guī)定蹬挤,long、double的賦值和引用操作并不是原子的棘幸。因?yàn)閷τ诜莢olatile的long和double變量焰扳,JVM允許將64位的讀操作或?qū)懖僮鞣纸獬蓛蓚€32位的操作。
可見性
在沒有同步的情況下误续,編譯器吨悍、處理器以及運(yùn)行時等都可能對操作的執(zhí)行順序進(jìn)行一些意想不到的調(diào)整。在缺乏足夠同步的多線程程序中蹋嵌,要想對內(nèi)存操作的執(zhí)行順序進(jìn)行判斷育瓜,幾乎無法得到正確的結(jié)論。
加synchronized可同時保證可見性和原子性栽烂,而volatile只能保證可見性
volatile boolean asleep;
...
while(!asleep)
doSomething();
調(diào)試小提示
對于服務(wù)器應(yīng)用程序躏仇,無論是在開發(fā)還是測試階段,當(dāng)啟動JVM時一定都要指定-server命令行選項愕鼓。server模式的JVM將比client模式的JVM進(jìn)行更多的優(yōu)化钙态,例如將循環(huán)中未被修改的變量提升到循環(huán)外部,因此在開發(fā)環(huán)境中能正確運(yùn)行的代碼菇晃,可能會在部署環(huán)境(server模式)中運(yùn)行失敗册倒。例如將volatile去掉的話,server模式可能導(dǎo)致一個無限循環(huán)磺送。
發(fā)布與逸出
特例:this引用在在構(gòu)造函數(shù)中逸出驻子。參考P33-P34
只有當(dāng)構(gòu)造函數(shù)返回時灿意,this引用才應(yīng)該從線程中逸出。構(gòu)造函數(shù)可以將this引用保存到某個地方崇呵,只要其他線程不會在構(gòu)造函數(shù)完成之前使用它缤剧。
線程封閉
僅在單線程內(nèi)訪問數(shù)據(jù),不需要同步域慷。
1.在Swing中大量使用了線程封閉技術(shù)荒辕,大多數(shù)GUI框架都是單線程的(為了線程安全,避免死鎖)犹褒。
2.JDBC的Connection對象抵窒,JDBC規(guī)范并不要求Connection對象必須是線程安全的。
棧封閉
維持線程封閉性叠骑,使用ThreadLocal類李皇。