POWER Memory Model

ARM Memory Model

  • POPL17:
  • POPL16:
  • TUTO:
  • HAND:
  • HAND2:
  • CO:
  • SYS:
  • Fence2:
  • FenceLA:
  • LD:
  • PPO:
  • RelAcq:
  • RPLUS:
  • ATOM:

  • POPL17:
  • HAND: Hand-written tests
  • IRIW: Independent Reads of Independent Writes
  • ISA2: B cumulativity
  • LB: Load Buffering
  • MP: Message Passing
  • PPO: Preserved Program Order
  • RWC: Read to Write Causality
  • SB: Store buffer forwarding
  • WRC: Write to Read Causality
  • 2+2W:
  • 3.2W:
  • 3.LB:
  • 3.SB:
  • IRRWIW:
  • IRWIW:
  • R:
  • S:
  • WRR+2W:
  • WRW+2W:
  • W+RWC:
  • WRW+WR:
  • WWC:
  • Z6.0:
  • Z6.1:
  • Z6.2:
  • Z6.3:
  • Z6.4:
  • Z6.5: