### 3.它起作用,并不意味著它沒有問題 我們很容易編寫出一個看似完美實則有問題的并發程序，并且往往問題直在極端情況下才暴露出來 - 在程序部署后不可避免地會出現用戶問題。 - 你不能證明并發程序是正確的，你只能（有時）證明它是不正確的。 - 大多數情況下你甚至不能這樣做：如果它有問題，你可能無法檢測到它。 - 你通常不能編寫有用的測試，因此你必須依靠代碼檢查結合深入的并發知識來發現錯誤。 - 即使是有效的程序也只能在其設計參數下工作。當超出這些設計參數時，大多數并發程序會以某種方式失敗。 在其他 Java 主題中，我們培養了一種感覺-決定論。一切都按照語言的承諾（或隱含）進行，這是令人欣慰和期待的 - 畢竟，編程語言的目的是讓機器做我們想要的。從確定性編程的世界進入并發編程領域，我們遇到了一種稱為[Dunning-Kruger](https://en.wikipedia.org/wiki/Dunning%E2%80%93Kruger_effect)效應的認知偏差，可以概括為“無知者無畏。”這意味著“......相對不熟練的人擁有著虛幻的優越感，錯誤地評估他們的能力遠高于實際。 我自己的經驗是，無論你是多么確定你的代碼是線程安全的，它可能已經無效了。你可以很容易地了解所有的問題，然后幾個月或幾年后你會發現一些概念讓你意識到你編寫的大多數內容實際上都容易受到并發錯誤的影響。當某些內容不正確時，編譯器不會告訴你。為了使它正確，你必須在研究代碼前了解所有并發問題。 在Java的所有非并發領域，“沒有明顯的錯誤和沒有明顯的編譯錯誤”似乎意味著一切都好。對于并發，它沒有任何意義。在這種情況你最糟糕的表現就是“自信”。