7.2 線程安全

1 什麼是線程安全 ▪ 競爭條件：多個線程共享同一可變變量，而不協調它們正在做什麼。 ▪ 這是不安全的，因爲程序的正確性可能取決於其低級操作的時間安排。 ▪ 如果從多個線程使用數據類型或靜態方法時其行爲正確（無論這些線程如何執行），並且不要求調用代碼進行額外的協調，則該數據類型或靜態方法是線程安全的。 ▪ -「行爲正確」意味着滿足其規範並保持其rep不變量； -「無論線程如何執行」意味着線程可能在

>>阅读原文<<