channel.acquire
← channel dialect
Accept the next record and wait for its payload readiness. Mutable consumption permits reading and modifying the initialized payload exclusively until ownership is released or transferred.
Operation contract
| Property |
Value |
| Semantic phase |
— |
| Traits |
MemoryFence |
| Memory effects |
readwrite channel |
| Ownership effects |
borrow channel (by_value), fresh read, borrowed view |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Operand |
channel |
any |
required |
— |
| Result |
read |
any |
required |
— |
| Result |
view |
view |
required |
— |
| Attribute |
mode |
enum ChannelReadMode |
optional |
— |
Examples
%read, %view = channel.acquire<mutable> %channel : channel<tile<144xi32>> -> (read<tile<144xi32>, mutable>, view<144xi32>)