Checkpoint synchronization: Difference between revisions
Content added Content deleted
m (Corrected typo.) |
|||
| Line 1,992: | Line 1,992: | ||
sleep(time) |
sleep(time) |
||
echo fmt"Worker {num}: task number {order} terminated after {time} ms" |
echo fmt"Worker {num}: task number {order} terminated after {time} ms" |
||
# Send message to indicate that task is terminated. |
# Send message to indicate that the task is terminated. |
||
responses.send(num) |
responses.send(num) |
||