## 9.2\. Happens Before 在一個單獨的goroutine中，變量的讀和寫操作順序和代碼所寫的順序一致。因此，在變量值沒有 被改變的時候， 編譯器和處理器可能會記錄變量的操作順序。但是，這種先驗性的順序記錄會導致 在兩個不同的goroutine對變量操作 順序記錄有差別。例如，一個goroutine執行 a = 1; b = 2; ， 但是在另一個goroutine中可能會現感知到b被更新。 為了解決這種二義性問題，Go語言中引進一個happens before的概念，它用于描述 對內存操作的先后順序問題。如果 事件 e1 happens before 事件 e2，我們說 事件 e2 happens after e1。 如果， `事件e1 does not happen before 事件 e2，并且 does not happen after e2，我們說 事件e1和 e2同時發生`。 對于一個單一的goroutine，happens before 的順序和代碼的順序是一致的。 如果能滿足以下的條件，一個對變量v的讀事件r可以 感知到另一個對變量v的寫事件w： 1. 寫事件w happens before 讀事件r。 2. 沒有既滿足 happens after w 同時滿主 happens before r的對變量v的寫事件w。 為了保證讀事件r可以感知對變量v的寫事件，我們首先要 確保w是變量v的唯一的寫事件。同時還要滿足以下條件： 1. 寫事件w happens before 讀事件r。 2. 其他對變量v的訪問必須 happens before 寫事件w 或者 happens after 讀事件r。 第二組條件比第一組條件更加嚴格。因為，它要求在w和 r并行執行的程序中不能再有其他的讀操作。 對于在單一的goroutine中兩組條件是等價的，讀事件可以確保感知到對變量的寫事件。但是，對于在 兩個goroutines共享變量v，我們必須通過同步事件來保證 happens-before 條件 （這是讀事件感知寫事件的必要條件）。 將變量v自動初始化為零也是屬于這個內存操作模型。 讀寫超過一個機器字長度的數據，順序也是不能保證的。