Memory Model

内存模型定义多线程下读写操作的可见性与顺序性保证，是并发正确性基础。

用途

理解多线程下内存操作的重排与可见性规则，编写正确并发代码。

强顺序（SC）：所有线程看到统一操作顺序。释放-获取（acquire-release）：释放前写对获取后可见。宽松（relaxed）：仅原子性无顺序保证。Java/JS/C++ 各有内存模型规范。