syndicate-lang
/
syndicate-2017
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
syndicate-2017/racket/syndicate/examples/example-meta-drop.rkt

14 lines
450 B
Racket
Raw Normal View History

#lang syndicate -> #lang syndicate/core; first half of fix for #17.
2017-08-10 19:04:45 +00:00
#lang syndicate/core
Fix bug with incorrect dropped action.
2015-03-21 22:38:37 +00:00
;; Analogous to nc-incremental-meta-drop.rkt in the Redex model.
;; Demonstrates (hopefully) correct processing of meta-interests when dropping a patch.
spawn-dataspace --> dataspace-actor
2017-02-25 16:16:25 +00:00
(dataspace-actor
swap the meaning of spawn and actor in racket syndicate
2017-02-15 23:18:19 +00:00
(actor (lambda (e u)
Fix bug with incorrect dropped action.
2015-03-21 22:38:37 +00:00
(match u
[0 (transition 1 '())]
Split dataspaces in to relay and mux sublayers. This is a major change to the previous design, and also a change with respect to the semantics in the ESOP 2016 paper. All the complexity of echo-cancellation is stripped out of the core dataspace semantics, and the relaying protocol is changed from one constructor, `at-meta`, to two, `inbound` and `outbound`. The relay connecting a dataspace to its container is now completely symmetric with the contained actors: it initially asserts interest in what it is to relay, just like any other actor would. Dataspaces no longer treat relaying specially. This commit has updated all (I think) of the non-graphical examples. The graphical code remains to be done in a following commit.
2016-07-30 17:02:07 +00:00
[1 (transition 2 (retract (outbound 'a)))]
Fix bug with incorrect dropped action.
2015-03-21 22:38:37 +00:00
[_ #f]))
0
Split dataspaces in to relay and mux sublayers. This is a major change to the previous design, and also a change with respect to the semantics in the ESOP 2016 paper. All the complexity of echo-cancellation is stripped out of the core dataspace semantics, and the relaying protocol is changed from one constructor, `at-meta`, to two, `inbound` and `outbound`. The relay connecting a dataspace to its container is now completely symmetric with the contained actors: it initially asserts interest in what it is to relay, just like any other actor would. Dataspaces no longer treat relaying specially. This commit has updated all (I think) of the non-graphical examples. The graphical code remains to be done in a following commit.
2016-07-30 17:02:07 +00:00
(patch-seq (assert (outbound 'a))
(assert (observe (inbound 'a))))))