### 共享內存陷阱 并發性的主要困難之一是因為可能有多個任務共享一個資源（例如對象中的內存），并且你必須確保多個任務不會同時讀取和更改該資源。 我花了多年的時間研究并發。 我了解到你永遠無法相信使用共享內存并發的程序可以正常工作。 你可以輕易發現它是錯誤的，但永遠無法證明它是正確的。 這是眾所周知的并發原則之一。[^10] 我遇到了許多人，他們對編寫正確的線程程序的能力充滿信心。 我偶爾開始認為我也可以做好。 對于一個特定的程序，我最初是在只有單個CPU的機器上編寫的。 那時我能夠說服自己該程序是正確的，因為我以為我對Java工具很了解。 而且在我的單CPU計算機上也沒有失敗。而到了具有多個CPU的計算機，程序出現問題不能運行后，我感到很驚訝，但這還只是眾多問題中的一個而已。 這不是Java的錯； “寫一次，到處運行”，在單核與多核計算機間無法擴展到并發編程領域。這是并發編程的基本問題。 實際上你可以在單CPU機器上發現一些并發問題，但是在多線程實際上真的在并行運行的多CPU機器上，就會出現一些其他問題。 再舉一個例子，哲學家就餐的問題可以很容易地進行調整，因此幾乎不會產生死鎖，這會給你一種一切都棒極了的印象。當涉及到共享內存并發編程時，你永遠不應該對自己的編程能力變得過于自信。