pipeline.serial
← pipeline dialect
Order complete child pipelines within one resident invocation. Each composition in the region completes its strands and asynchronous memory operations before the schedule advances. Structured control repeats or selects child lifetimes; nested schedule regions complete before their enclosing schedule advances. Completed writes are visible to subsequent children. Outer storage and published channel records survive the boundary; completion neither empties outer channels nor orders unrelated concurrent strands. Child completion cannot retain uncompleted transfers or owned read/write capabilities. Strands belong to composed child definitions or concurrent regions.
Operation contract
| Property |
Value |
| Semantic phase |
— |
| Traits |
UnknownEffects, HasAncestor(pipeline.def), NoAncestor(pipeline.strand), ImplicitTerminator(pipeline.yield) |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Region |
body |
region |
required |
Resident child compositions and their structured schedule. (terminator pipeline.yield.) |
Examples