kernel.barrier.wait
← kernel dialect
Wait for every participant in a split-barrier phase to arrive and complete the acquire portion of that phase's memory ordering. The operand must be the unique use of a kernel.barrier.arrive result.
Operation contract
| Property |
Value |
| Semantic phase |
— |
| Traits |
MemoryFence, Convergent |
| Target contracts |
kernel.synchronization |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Operand |
phase |
any |
required |
Phase identity defined by the matching barrier arrival. |
Examples
kernel.barrier.wait %phase : kernel.barrier.phase