channel.reserve
← channel dialect
Wait for writable storage admission and reserve one producer record. The payload view borrows the write obligation and is uninitialized.
Operation contract
| Property |
Value |
| Semantic phase |
— |
| Traits |
MemoryFence |
| Memory effects |
readwrite channel |
| Ownership effects |
borrow channel (by_value), fresh write, borrowed view |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Operand |
channel |
any |
required |
— |
| Result |
write |
any |
required |
— |
| Result |
view |
view |
required |
— |
Examples
%write, %view = channel.reserve %channel : channel<tile<144xi32>> -> (write<tile<144xi32>>, view<144xi32>)