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

Invariant checking via begin/dataflow

This commit is contained in:
Tony Garnock-Jones 2016-08-10 17:09:24 -04:00
parent d7a594e2b9
commit f20d1a2ad7
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
racket/syndicate/examples/actor/mutex.rkt
View File

@ -17,6 +17,13 @@
(begin/dataflow (log-info "~as available: ~a" resource-id (free-lease-count)))
(begin/dataflow ;; This might be a nice place to put a kind of "class contract"
(unless (and (>= (free-lease-count) 0)
(<= (free-lease-count) total-available-leases)
(or (zero? (free-lease-count))
(queue-empty? (waiters))))
(error 'resource "~a: Invariant violated" resource-id)))
(on (asserted (lease-request resource-id $w))
(cond [(positive? (free-lease-count))
(assert! (lease-assignment resource-id w))