資訊專欄INFORMATION COLUMN
摘要：解決這兩種問題的方法是線程同步。在介紹線程同步之前，先來了解一下這兩個(gè)問題。這篇文章介紹第二個(gè)問題內(nèi)存一致性錯(cuò)誤。
線程通信，主要通過共享訪問進(jìn)程資源。這種通信方式非常高效，但存在兩個(gè)問題：線程沖突（thread interference） ， 內(nèi)存一致性錯(cuò)誤（memory consistensy errors）。
解決這兩種問題的方法是 線程同步（thread synchronization）。在介紹線程同步之前，先來了解一下這兩個(gè)問題。
這篇文章介紹第二個(gè)問題：內(nèi)存一致性錯(cuò)誤。
內(nèi)存一致性錯(cuò)誤Memory consistency errors occur when different threads have inconsistent views of what should be the same data.
當(dāng)不同的線程對(duì)于同一個(gè)數(shù)據(jù)有不一致的值時(shí)，產(chǎn)生內(nèi)存一致性錯(cuò)誤（Memory consistency errors）
產(chǎn)生 memory consistency error 的原因稍復(fù)雜，不過我們并不需要知道這其中的細(xì)節(jié)，只需要知道如何避免該錯(cuò)誤。
要避免 memory consistency error，需要理解 happens-before 關(guān)系。這個(gè)關(guān)系是一個(gè)簡(jiǎn)單的保證，保證當(dāng)內(nèi)存被一個(gè)特定的操作修改時(shí)，對(duì)于另一個(gè)操作是可見的。
注：參考下邊的例子，再回來理解上邊的內(nèi)容
一個(gè)例子令一個(gè)屬性 couter 聲明并初始化
int counter = 0;
這個(gè) counter 被線程 A 和線程 B 共享
假定線程 A 對(duì) couter 的操作為
couter++;
假定線程 B 對(duì) couter 的操作為
System.out.println(couter);
如果上述兩個(gè)操作在同一個(gè)線程，則可以肯定，最終輸出的結(jié)果為1。但這兩個(gè)操作分別在兩個(gè)線程中執(zhí)行，線程 B 最終輸出的結(jié)果可能為0，因?yàn)闊o法保證線程 A 對(duì) couter 的操作對(duì)于 B 是可見的 —— 即 B 無法判斷 A 是否正在修改值
除非我們?yōu)?A 和 B 建立一個(gè) happens-before 關(guān)系。
建立 happens-before 關(guān)系，方法就是 線程同步（Thread Synchronization）。這在另一個(gè)文章中詳談。
其實(shí)我們已經(jīng)已經(jīng)見過這種 happens-before 關(guān)系
當(dāng)一個(gè)語句調(diào)用 Thread.start 創(chuàng)建新線程時(shí)，該語句之后的操作不僅和該語句有了 happens-before 關(guān)系，且和新線程中的 run 方法包含的所有操作都有了 happens-before 關(guān)系 —— 簡(jiǎn)單的說，就是主線程已知一個(gè)新線程要運(yùn)行，對(duì)此主線程可以做一些處理，比如調(diào)用新線程的 Thread.join 方法等待其運(yùn)行結(jié)束。
Thread.join 同理。
文章版權(quán)歸作者所有，未經(jīng)允許請(qǐng)勿轉(zhuǎn)載,若此文章存在違規(guī)行為，您可以聯(lián)系管理員刪除。
轉(zhuǎn)載請(qǐng)注明本文地址：http://specialneedsforspecialkids.com/yun/65223.html
摘要：處理器通過緩存能夠從數(shù)量級(jí)上降低內(nèi)存延遲的成本這些緩存為了性能重新排列待定內(nèi)存操作的順序。從上述觸發(fā)步驟中，可以看到第步發(fā)生了指令重排序，并導(dǎo)致第步讀到錯(cuò)誤的數(shù)據(jù)。內(nèi)存屏障是用來防止出現(xiàn)指令重排序的利器之一。 這兩天，我拜讀了 Dennis Byrne 寫的一片博文Memory Barriers and JVM Concurrency (中譯文內(nèi)存屏障與JVM并發(fā))。 文中提到: ...
摘要：最近在學(xué)習(xí)各大互聯(lián)網(wǎng)公司是如何處理數(shù)據(jù)一致性的。目前已知的有這么幾種數(shù)據(jù)庫(kù)做到情況下的強(qiáng)一致性淘寶淘寶頂級(jí)科學(xué)家陽振坤微博號(hào)阿里正祥，發(fā)出一則消息。然后因?yàn)閿?shù)據(jù)庫(kù)是的，內(nèi)部把改動(dòng)到了北美，君就可以看到消息了。 最近在學(xué)習(xí)各大互聯(lián)網(wǎng)公司是如何處理數(shù)據(jù)一致性的。因?yàn)橹皬氖碌牟皇沁@個(gè)方向的工作，所以并非什么經(jīng)驗(yàn)之談，只是一些學(xué)習(xí)筆記。所有資料來自互聯(lián)網(wǎng)。 Consistent => Ev...
閱讀 792·2021-09-22 16:01
閱讀 2085·2021-08-20 09:37
閱讀 1693·2019-08-30 15:54
閱讀 1689·2019-08-30 15:44
閱讀 826·2019-08-28 18:23
閱讀 3005·2019-08-26 12:17
閱讀 1005·2019-08-26 11:56
閱讀 1539·2019-08-23 16:20
