POWER Memory Model

ARM Memory Model

  • POPL16:
  • CO:
  • RelAcq:
  • TUTO:
  • PPO-MP:
  • ATOM:
  • LD:
  • FenceLA:
  • HAND2:
  • SYS-3:
  • SYS-2:
  • HAND:

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