因為線程共享相同的內(nèi)存地址空間，且并發(fā)地運行，它們可能訪問或修改其他線程正在使用的變量。這是十分方便的，因為它使得數(shù)據(jù)共享相對于其他的線程間通訊機(jī)制都更加簡單。但是這其中也存在著巨大的風(fēng)險：當(dāng)數(shù)據(jù)意外改變時，線程可能會出現(xiàn)混亂。允許多線程訪問和修改相同的變量，給順序編程模型引入了一些非順序因素，這可能會造成混亂，并且難以發(fā)現(xiàn)錯誤的原因。為了使多線程程序的行為可預(yù)見，訪問共享的變量必須經(jīng)過合理的協(xié)調(diào)，這樣線程才不會互相干擾。

非線程安全的序列生成器

線程安全的序列生成器

編寫線程安全的代碼，本質(zhì)上就是管理對狀態(tài)（state）的訪問，而且通常都是共享的，可變的狀態(tài)

通俗地說，一個對象的狀態(tài)就是它的數(shù)據(jù)，存儲在狀態(tài)變量中。

所謂共享，是指一個變量可以被多個線程訪問；所謂可變，是指變量的值在其生命周期內(nèi)可以改變。線程安全好像是關(guān)于代碼的，但真正要做的是在不可控制的并發(fā)訪問中保護(hù)數(shù)據(jù)。

一個對象是否應(yīng)該是線程安全的取決于它是否被多個線程訪問。線程安全的這個性質(zhì)取決與程序中如何使用對象，而不是對象完成了什么。保證對象的線程安全性需要使用同步來協(xié)調(diào)對其可變狀態(tài)的訪問；若是做不到這一點，就會導(dǎo)致臟數(shù)據(jù)和其他不可預(yù)測的后果。

無論何時，只要有多于一個的線程訪問給定的狀態(tài)變量，而且其中某個線程會寫入該變量，此時必須使用同步來協(xié)調(diào)線程對該變量的訪問。

線程安全的定義

當(dāng)多個線程訪問一個類時，如果不用考慮這些線程在運行時環(huán)境下的調(diào)度和交替執(zhí)行，并且不需要額外的同步及在調(diào)用方代碼不必做其他的協(xié)調(diào)，這個類的行為仍然是正確的，那么這個類就是線程安全的。

線程安全的類封裝了任何必要的同步，因此客戶不需要自己提供。

無狀態(tài)對象永遠(yuǎn)是線程安全的。

為了確保線程安全，“檢查再運行”操作（如惰性初始化）和讀-改-寫操作（如自增）必須是原子操作。

為了保護(hù)狀態(tài)的一致性，要在單一的原子操作中更新相互關(guān)聯(lián)的狀態(tài)變量。

不可變性

創(chuàng)建后狀態(tài)不能被修改的對象叫做不可變對象。不可變對象天生就是線程安全的。它們的常量（域）是在構(gòu)造函數(shù)中創(chuàng)建的。

無論是java語言規(guī)范還是Java存儲模型，都沒有關(guān)于不可變性的正式定義，但是不可變性并不簡單地等于將對象中的所有域都聲明為final類型，所有域都是final類型的對象仍然可以是可變的，因為final域可以獲得一個可變對象的引用。

參考文獻(xiàn)

戈茨. JAVA并發(fā)編程實踐[M]. 電子工業(yè)出版社, 2007.