Checkpoint synchronization: Difference between revisions

m
Line 1,430:
func: checkPoint(n, jobs, channels)
{
| ch |
while(true) [
#[ jobs receive drop ] times(n)
"CHECKPOINT : All jobs done, sending done to all tasks" println
channels forEach: ch apply(#[ send($done ch send) drop ]
]
}
1,015

edits