什麼是TSO(全域儲存順序)

x86 的記憶體一致性模型。只允許寫入之後對其他位址的讀取超前於該寫入。這是反映儲存緩衝區存在的模型。

日文名稱: TSO(トータルストアオーダー)

「TSO(全域儲存順序)」出現在1領域的1道練習題中(多核心與同步等)。

這個名詞所屬的領域: 多核心與同步

練習TSO(全域儲存順序)的題目

關於x86的記憶體一致性模型(TSO,Total Store Order,全域儲存順序)的特徵,下列何者正確?

  1. A允許讀寫的任何組合被調換的、最弱的模型
  2. B完全不允許調換的循序一致性本身
  3. C只允許寫入之後對其他位址的讀取,比該寫入更早被看到的、相對較強的模型
查看答案與解析

正確答案:C. 只允許寫入之後對其他位址的讀取,比該寫入更早被看到的、相對較強的模型

在TSO中,寫入之間的順序、讀取之間的順序、讀取之後寫入的順序都會被保持,只有寫入之後對其他位址的讀取可以超前。這是直接反映儲存緩衝區存在的模型。多數程式在這個範圍內都能依直覺運作,所以在x86上需要屏障的場合相對較少。

解析中的「TSO(全域儲存順序)」

出現「TSO(全域儲存順序)」的題目(1題)

  1. 關於x86的記憶體一致性模型(TSO,Total Store Order,全域儲存順序)的特徵,下列何者正確?

相關名詞

記憶體一致性模型(Memory consistency model) 儲存緩衝區(Store buffer) 互斥鎖(Mutex) 比較並交換(Compare-and-swap) 目錄式一致性(Directory-based coherence) 交易式記憶體(Transactional memory) 死結(Deadlock) 自旋鎖(Spinlock) 屏障同步(Barrier synchronization) 原子指令(Atomic instruction)

前往名詞解釋列表