From 04e34c58eaa98db1bfb3fa58e0ba25d4bb143e84 Mon Sep 17 00:00:00 2001 From: Sam Caldwell Date: Fri, 23 Aug 2019 09:14:07 -0400 Subject: [PATCH] start cleaning up/streamlining flink --- racket/syndicate/examples/actor/flink.rkt | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/racket/syndicate/examples/actor/flink.rkt b/racket/syndicate/examples/actor/flink.rkt index 2f3b34c..afb9046 100644 --- a/racket/syndicate/examples/actor/flink.rkt +++ b/racket/syndicate/examples/actor/flink.rkt @@ -51,7 +51,9 @@ perform a task. (or (symbol? x) (exact-nonnegative-integer? x))) #| The resources available to a TM are its associated TaskRunners (TRs). TaskRunners -assert their presence with (task-runner ID Status), where Status is one of +assert their presence with (task-runner ID) + +a Status is one of - IDLE, when the TR is not executing a task - (executing ID), when the TR is executing the task with the given ID - OVERLOAD, when the TR has been asked to perform a task before it has @@ -581,3 +583,6 @@ The JobManager then performs the job and, when finished, asserts (job-finished I (spawn-task-runner) (spawn-task-runner) (spawn-observer) + +(module+ main + (void))