線程安全問題如何判斷一個(gè)類是否是線程安全的？為了線程安全，線程安全類必須在單線程環(huán)境中具有正確的行為。如果一個(gè)類的實(shí)現(xiàn)是正確的（也就是說，它是符合規(guī)范的另一種方式），那么這個(gè)類的對(duì)象上的任何操作序列（

線程安全問題如何判斷一個(gè)類是否是線程安全的？

為了線程安全，線程安全類必須在單線程環(huán)境中具有正確的行為。如果一個(gè)類的實(shí)現(xiàn)是正確的（也就是說，它是符合規(guī)范的另一種方式），那么這個(gè)類的對(duì)象上的任何操作序列（讀寫公共字段和調(diào)用公共方法）都不能使對(duì)象處于無效狀態(tài)，觀察對(duì)象處于無效狀態(tài)，或者違反任何非變量，類的先決條件或后決條件。另外，為了線程安全，當(dāng)一個(gè)類被多個(gè)線程訪問時(shí)，不管運(yùn)行時(shí)環(huán)境執(zhí)行的線程是定時(shí)的還是交錯(cuò)的，它仍然必須具有如上所述的正確行為，并且在調(diào)用代碼中沒有額外的同步。其效果是，在所有線程的視圖中，對(duì)線程安全對(duì)象的操作以固定且全局一致的順序發(fā)生。正確性和線程安全之間的關(guān)系與描述acid（原子、一致、獨(dú)立和持久）事務(wù)時(shí)使用的一致性和獨(dú)立性之間的關(guān)系非常相似：從特定線程的角度來看，不同線程執(zhí)行的對(duì)象操作是先執(zhí)行后執(zhí)行（盡管順序不確定），而不是并行執(zhí)行。