• 閑聊內(nèi)存模型(Memory Model)

  現(xiàn)在大多數(shù)多核芯片在硬件中支持共享內(nèi)存，設(shè)計和評估一個正確的共享內(nèi)存系統(tǒng)需要準(zhǔn)確理解內(nèi)存模型。不同CPU可能采用不同的內(nèi)存模型，比如ARM和RISC-V的Related模型，Intel和AMD的TSO模型以及IBM的Power模型等等。

  專芯致志er

  3248

  2024/11/07

  內(nèi)存模型

  
• RISC-V筆記——內(nèi)存模型總結(jié)

  Memory consistency model定義了使用Shared memory(共享內(nèi)存)執(zhí)行多線程(Multithread)程序所允許的行為規(guī)范。RISC-V使用的內(nèi)存模型是RVWMO(RISC-V Weak Memory Ordering)，RVWMO內(nèi)存模型是根據(jù)全局內(nèi)存順序(global memory order)定義的，全局內(nèi)存順序是所有harts產(chǎn)生的內(nèi)存操作的總順序。通常，多線程程序有許多不同的可能執(zhí)行，每個執(zhí)行都有自己對應(yīng)的全局內(nèi)存順序。

  專芯致志er

  3069

  2024/10/21

  RISC-V 內(nèi)存模型

  
• RISC-V筆記——內(nèi)存模型公理

  在RISC-V中，只有當(dāng)存在一個全局內(nèi)存順序(global memory order)符合preserved program order，并且滿足load value axiom、atomicity axiom和progress axiom時，RISC-V程序的執(zhí)行才遵循RVWMO內(nèi)存一致性模型。今天主要講下load value公理、atomicity公理和progress公理。

  專芯致志er

  2465

  2024/10/21

  RISC-V 內(nèi)存模型

  

正在努力加載...