内存模型

• 闲聊内存模型(Memory Model)

  现在大多数多核芯片在硬件中支持共享内存，设计和评估一个正确的共享内存系统需要准确理解内存模型。不同CPU可能采用不同的内存模型，比如ARM和RISC-V的Related模型，Intel和AMD的TSO模型以及IBM的Power模型等等。

  专芯致志er

  2106

  2024/11/07

  内存模型

  
• RISC-V笔记——内存模型总结

  Memory consistency model定义了使用Shared memory(共享内存)执行多线程(Multithread)程序所允许的行为规范。RISC-V使用的内存模型是RVWMO(RISC-V Weak Memory Ordering)，RVWMO内存模型是根据全局内存顺序(global memory order)定义的，全局内存顺序是所有harts产生的内存操作的总顺序。通常，多线程程序有许多不同的可能执行，每个执行都有自己对应的全局内存顺序。

  专芯致志er

  2049

  2024/10/21

  RISC-V 内存模型

  
• RISC-V笔记——内存模型公理

  在RISC-V中，只有当存在一个全局内存顺序(global memory order)符合preserved program order，并且满足load value axiom、atomicity axiom和progress axiom时，RISC-V程序的执行才遵循RVWMO内存一致性模型。今天主要讲下load value公理、atomicity公理和progress公理。

  专芯致志er

  1939

  2024/10/21

  RISC-V 内存模型

  
• 一文读懂Memory consistency model (内存模型)

  为什么需要定义内存模型规范，我们先举个例子：系统中有两个cores在执行各自的代码，假设所有变量的初始值都是0，那么最终Core C2中寄存器r2的值应该为多少呢？

  专芯致志er

  6049

  2024/04/08

  内存模型

  

正在努力加载...