syndicate-lang
/
syndicate-2017
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

untyped flink: fiddle with race in task manager

This commit is contained in:
Sam Caldwell 2019-10-10 13:45:33 -04:00
parent a8e890ab30
commit 2610ceb541
1 changed files with 9 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
racket/syndicate/examples/actor/flink.rkt
View File

@ -232,7 +232,7 @@ The JobManager then performs the job and, when finished, asserts (job-finished I
(spawn #:name id
(log "Task Manager (TM) ~a is running" id)
(during (job-manager-alive)
(log "TM learns about JM")
(log "TM ~a learns about JM" id)
(field [task-runners (set)])
@ -243,10 +243,11 @@ The JobManager then performs the job and, when finished, asserts (job-finished I
(react
(on-start (spawn-task-runner tr-id id))
(on (asserted (task-runner tr-id))
(log "TM successfully created task-runner ~a" id)
(log "TM ~a successfully created task-runner ~a" id tr-id)
(task-runners (set-add (task-runners) tr-id)))
(on (retracted (task-runner tr-id))
(log "Detected failure of task runner ~a, restarting" tr-id)
(log "TM ~a detected failure of task runner ~a, restarting" id tr-id)
(task-runners (set-remove (task-runners) tr-id))
(spawn-task-runner tr-id id)))))
;; Assign incoming tasks
@ -267,7 +268,7 @@ The JobManager then performs the job and, when finished, asserts (job-finished I
(define (perform-task tsk job-id on-complete! update-status!)
(match-define (task task-id desc) tsk)
(define runner (select-runner))
(log "TM assigns task ~a to runner ~a" task-id runner)
(log "TM ~a assigns task ~a to runner ~a" id task-id runner)
(on-stop (busy-runners (set-remove (busy-runners) runner)))
(on-start
(task-assigner tsk job-id runner
@ -346,8 +347,8 @@ The JobManager then performs the job and, when finished, asserts (job-finished I
#:when (positive? (- slots (hash-ref (requests-in-flight) id 0))))
id))
(when mngr
(take-slot! mngr)
(stop-current-facet (assign-task mngr))))))
(stop-current-facet (take-slot! mngr)
(assign-task mngr))))))
;; ID -> ...
(define (assign-task mngr)
@ -581,9 +582,10 @@ The JobManager then performs the job and, when finished, asserts (job-finished I
;; expected:
;; #hash((a . 5) (b . 5) (c . 2))
(spawn-client (file->job "lorem.txt"))
(spawn-client j #;(file->job "lorem.txt"))
(spawn-job-manager)
(spawn-task-manager 2)
(spawn-task-manager 3)
(spawn-observer)
(module+ main