Anonymous user
Checkpoint synchronization: Difference between revisions
→{{header|zkl}}: Opps
(→{{header|Tcl}}: Added zkl) |
(→{{header|zkl}}: Opps) |
||
Line 2,252:
foreach id in (NUM_PARTS){ producer.launch(id,pipe) } // start workers/threads
do(10){ // make 10 products
▲ product:=NUM_PARTS.pump(List(),False); // parts I have
while(False!=(id:=product.filter1n('!=(True)))){ // gather parts to make product
requested.set(id);
Line 2,260:
}
println("product made: ",product);
}
println("Done"); // but workers are still waiting</lang>
| |||