suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

cs & thread: repair for custodian sync witth future host thread

Browse Source
This commit is contained in:
Matthew Flatt 2019-07-09 13:37:24 -06:00
parent 9c0a3abfdb
commit 8c052df959
1 changed files with 11 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
racket/src/thread/future.rkt
View File

@ -496,6 +496,9 @@
;; ----------------------------------------
(define-syntax-rule (keep-trying e)
(let loop () (unless e (loop))))
(define (start-worker w)
(define s (current-scheduler))
(define th
@ -504,12 +507,14 @@
(current-future 'worker)
(host:mutex-acquire (scheduler-mutex s))
(let loop ()
(or (box-cas! (worker-sync-state w) 'idle 'running)
(box-cas! (worker-sync-state w) 'pending 'running))
(keep-trying
(or (box-cas! (worker-sync-state w) 'idle 'running)
(box-cas! (worker-sync-state w) 'running 'running)
(box-cas! (worker-sync-state w) 'pending 'running)))
(cond
[(worker-die? w) ; worker was killed
(host:mutex-release (scheduler-mutex s))
(box-cas! (worker-sync-state w) 'running 'idle)]
(box-cas! (worker-sync-state w) 'running 'dead)]
[(scheduler-futures-head s)
=> (lambda (f)
(deschedule-future f)
@ -522,8 +527,9 @@
(loop))]
[else
;; wait for work
(or (box-cas! (worker-sync-state w) 'pending 'idle)
(box-cas! (worker-sync-state w) 'running 'idle))
(keep-trying
(or (box-cas! (worker-sync-state w) 'pending 'idle)
(box-cas! (worker-sync-state w) 'running 'idle)))
(host:condition-wait (scheduler-cond s) (scheduler-mutex s))
(loop)])))))
(set-worker-pthread! w th))