POWER Memory Model

ARM Memory Model

Switch Model
  • 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 :
  • WWC :
  • WRW+2W :
  • PPO : Preserved Program Order

  • 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: