Skip to content

view.AtomicAccessFlags enum

← Attribute reference

Source address promises shared by all atomic memory accesses.

Cases

Keyword Value Description
root_in_bounds 8 Promise that the complete physical access lies within its allocation root. Logical view indices must still be proven in bounds. This carries a source-language access contract through opaque pointer transport and has no target execution semantics.

Used by

  • view.atomic.cmpxchg.memory_flags
  • view.atomic.load.memory_flags
  • view.atomic.store.memory_flags