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

Failing test case, more or less.

This commit is contained in:
Tony Garnock-Jones 2016-02-07 16:14:12 -05:00
parent d5c4b30335
commit 1e4415e30b
2 changed files with 54 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

27
prospect-monolithic/examples/example-meta-echo.rkt Normal file
View File

@ -0,0 +1,27 @@
#lang prospect-monolithic
;; Demonstrates a (hopefully soon historical!) bug in Syndicate.
;;
;; When the bug exists, this program receives four SCN events in
;; total, whereas it should receive only two.
;;
;; While metamessages are "echo cancelled", and receivers only ever
;; get one copy of a sent metamessage no matter how many metas there
;; are, state changes are not (yet). Issuing a quick enough "pulse" of
;; metaassertion while maintaining interest in it leads to an "echo":
;; multiple receipts of the pulse.
;;
;; The fix is to adjust the implementation of state change
;; notifications to cancel the echo for metaassertions.
(require prospect/pretty)
(spawn-network
(spawn (lambda (e counter)
(and e
(let ((new-counter (+ counter 1)))
(printf "Received event ~a:\n~a\n" new-counter (prospect-pretty-print->string e))
(transition (+ counter 1) '()))))
0
(list (scn/union (assertion (at-meta 'x))
(subscription 'x #:meta-level 1))
(scn (subscription 'x #:meta-level 1)))))

27
prospect/examples/example-meta-echo.rkt Normal file
View File

@ -0,0 +1,27 @@
#lang prospect
;; Demonstrates a (hopefully soon historical!) bug in Syndicate.
;;
;; When the bug exists, this program receives four patch events in
;; total, whereas it should receive only two.
;;
;; While metamessages are "echo cancelled", and receivers only ever
;; get one copy of a sent metamessage no matter how many metas there
;; are, state changes are not (yet). Issuing a quick enough "pulse" of
;; metaassertion while maintaining interest in it leads to an "echo":
;; multiple receipts of the pulse.
;;
;; The fix is to adjust the implementation of state change
;; notifications to cancel the echo for metaassertions.
(require prospect/pretty)
(spawn-network
(spawn (lambda (e counter)
(and e
(let ((new-counter (+ counter 1)))
(printf "Received event ~a:\n~a\n" new-counter (prospect-pretty-print->string e))
(transition (+ counter 1) '()))))
0
(list (patch-seq (assert (at-meta 'x))
(sub 'x #:meta-level 1))
(retract (at-meta 'x)))))