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

Scale up to 4000 for observe-some-*

This commit is contained in:
Tony Garnock-Jones 2015-06-19 21:23:50 -04:00
parent 23d5036095
commit c4772a1dd2
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
observe-some-minimart.rkt
View File

@ -37,7 +37,7 @@
(transition (+ count 1) '())] (transition (+ count 1) '())]
[_ #f])) [_ #f]))
0 0
(gestalt-union (pub (server id)) (gestalt-union ;; (pub (server id))
(sub (client) #:level 1)))) (sub (client) #:level 1))))
(define client-action (spawn-client)) (define client-action (spawn-client))
@ -78,7 +78,7 @@
#;(list 5) #;(list 5)
(list* 2 5 (list* 2 5
(let loop ((n 10)) (let loop ((n 10))
(if (>= n 2000) (if (>= n 4000)
'() '()
(cons (inexact->exact (round n)) (cons (inexact->exact (round n))
(loop (* n (sqrt (sqrt 2)))))))) (loop (* n (sqrt (sqrt 2))))))))

4
observe-some-prospect.rkt
View File

@ -34,7 +34,7 @@
(transition (+ count 1) '())] (transition (+ count 1) '())]
[_ #f])) [_ #f]))
0 0
(assert (server id)) ;; (assert (server id))
(assert (observe (client))))) (assert (observe (client)))))
(define client-action (spawn-client)) (define client-action (spawn-client))
@ -75,7 +75,7 @@
#;(list 5) #;(list 5)
(list* 2 5 (list* 2 5
(let loop ((n 10)) (let loop ((n 10))
(if (>= n 2000) (if (>= n 4000)
'() '()
(cons (inexact->exact (round n)) (cons (inexact->exact (round n))
(loop (* n (sqrt (sqrt 2)))))))) (loop (* n (sqrt (sqrt 2))))))))