sanitizer.race.sync

← sanitizer dialect

Observe a synchronization boundary for race detection. The original synchronization operation remains the semantic barrier or fence; this op records the boundary needed by race-detector materialization.

Operation contract

Property	Value
Semantic phase	—
Traits	UnknownEffects, Convergent
Target contracts	sanitizer.race

Signature

Kind	Name	Type	Cardinality	Description
Attribute	memory_space	enum MemorySpace	required	Memory space whose accesses are ordered by this boundary.
Attribute	ordering	enum AtomicOrdering	required	Memory ordering applied to the synchronized accesses.
Attribute	scope	enum AtomicScope	required	Synchronization scope.

Examples

sanitizer.race.sync<workgroup> scope(workgroup) ordering(acq_rel)