深入理解Java內存模型（三）——順序一致性

數據競爭與順序一致性保證 當程序未正確同步時，就會存在數據競爭。java內存模型規範對數據競爭的定義如下： 在一個線程中寫一個變量， 在另一個線程讀同一個變量， 而且寫和讀沒有通過同步來排序。 當代碼中包含數據競爭時，程序的執行往往產生違反直覺的結果（前一章的示例正是如此）。如果一個多線程程序能正確同步，這個程序將是一個沒有數據競爭的程序。 JMM對正確同步的多線程程序的內存一致性做了如下保證：

>>阅读原文<<