HomePortfolioPostCompositionPhotos
한국어

Posts / Tag

#memory model

1 post

RISC-V
Nov 4, 2026

The Memory Model: RVWMO, What FENCE Means, and Ztso

Part 9 of the RISC-V series. Covers preserved program order in the RVWMO memory model, fence pred/succ, aq/rl, and Ztso. I enumerated 7 litmus tests under SC, TSO, and RVWMO to count whether MP, SB, and LB are allowed, and compared GCC's C11 atomic mappings under RVWMO and Ztso.