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

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

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