syndicate-2017/racket/syndicate
Tony Garnock-Jones 4c0e291658 Repair longstanding, subtle bug in both old- and new-syndicate.
during/spawn used not to add linkage assertions to its
initial-assertion set. In addition, if a spawned actor died in its
initial boot procedure, its initial assertions would never be visible.
These two problems interlocked to cause a space leak in during/spawn,
where monitoring facets would never be cleaned up.

This change does two things:
 - adds linkage assertions to the initial-assertion set in during/spawn
 - properly briefly signals initial-assertions even when a new actor
   immediately crashes.

Together, these repair the space leak in during/spawn with a crashy
child startup procedure.
2018-11-04 13:43:17 +00:00
..
big-bang Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 2017-08-10 15:17:28 -04:00
broker Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 2017-08-10 15:17:28 -04:00
drivers Responsibility transfer during outbound websocket connection establishment 2018-08-14 17:38:36 +01:00
examples Ensure patched assertions are added before being removed, to avoid glitching 2018-11-02 00:38:40 +00:00
lang Alpha convert: prospect -> syndicate 2016-04-01 19:53:46 -04:00
little-actors Avoid identifier clash 2017-08-05 19:36:40 -04:00
monolithic Change spawn processing to include initial-assertions 2017-08-05 19:36:40 -04:00
protocol Cope with transient pulses of demand in during/actor 2016-10-25 16:59:00 -04:00
scribblings swap the meaning of spawn and actor in racket syndicate 2017-02-15 18:18:19 -05:00
support Change representation of hashsets to avoid actual sets: use hashes-to-#t instead 2018-05-01 17:27:49 +01:00
tests Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 2017-08-10 15:17:28 -04:00
trace syndicate-render-msd: --number, --no-number, --number-gap 2017-10-21 14:55:28 +01:00
actor-lang.rkt #lang syndicate -> #lang syndicate/core; first half of fix for #17. 2017-08-10 15:04:45 -04:00
actor.rkt Repair longstanding, subtle bug in both old- and new-syndicate. 2018-11-04 13:43:17 +00:00
big-bang.rkt Fullscreen big-bang 2017-11-25 12:03:32 -05:00
canonicalize.rkt Alpha convert: prospect -> syndicate 2016-04-01 19:53:46 -04:00
comprehensions.rkt Split out pattern.rkt 2016-06-08 14:22:35 -04:00
core-lang.rkt Repair current-ground-dataspace initialization, to allow override in e.g. graphical programs 2018-06-01 09:12:39 +01:00
core.rkt Special printer for seals. Fixes #27. 2017-12-05 17:22:13 +00:00
dataflow.rkt Change representation of hashsets to avoid actual sets: use hashes-to-#t instead 2018-05-01 17:27:49 +01:00
dataspace.rkt Repair longstanding, subtle bug in both old- and new-syndicate. 2018-11-04 13:43:17 +00:00
demand-matcher.rkt Fix #21, long-standing mismatch in assumptions in LLL demand-matcher. 2017-08-14 17:17:49 -04:00
firewall.rkt Change spawn processing to include initial-assertions 2017-08-05 19:36:40 -04:00
functional-queue.rkt POC imperative dataspace implementation, with set-box example 2018-04-06 11:37:59 +01:00
ground.rkt Much improved tracing 2017-08-13 19:58:48 -04:00
hash-order.rkt Alpha convert: prospect -> syndicate 2016-04-01 19:53:46 -04:00
hierarchy.rkt Now that we capture parameterization for actors, current-actor-path-rev has to be a store rather than a parameter 2016-07-31 22:19:59 -04:00
info.rkt Command-line tool, syndicate-render-msd 2017-08-14 17:20:36 -04:00
lang.rkt Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 2017-08-10 15:17:28 -04:00
main.rkt Split dataspaces in to relay and mux sublayers. 2016-07-30 14:49:05 -04:00
monitor.rkt Create test harness & lang for contrasting big & little actor langs 2017-04-20 13:50:01 -04:00
monolithic.rkt #lang syndicate -> #lang syndicate/core; first half of fix for #17. 2017-08-10 15:04:45 -04:00
mux.rkt Revamp tracing 2016-08-25 18:07:27 +01:00
patch.rkt Much improved tracing 2017-08-13 19:58:48 -04:00
pattern.rkt Allow ($ v) bindings 2016-08-21 08:27:56 -04:00
pretty.rkt Alpha convert: prospect -> syndicate 2016-04-01 19:53:46 -04:00
profile.rkt #lang syndicate -> #lang syndicate/core; first half of fix for #17. 2017-08-10 15:04:45 -04:00
random-test.rkt Alpha convert: prospect -> syndicate 2016-04-01 19:53:46 -04:00
relay.rkt Change spawn processing to include initial-assertions 2017-08-05 19:36:40 -04:00
reload.rkt Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 2017-08-10 15:17:28 -04:00
store.rkt Now that we capture parameterization for actors, current-actor-path-rev has to be a store rather than a parameter 2016-07-31 22:19:59 -04:00
supervise.rkt Repair longstanding, subtle bug in both old- and new-syndicate. 2018-11-04 13:43:17 +00:00
syntax-classes.rkt Ugh, forgot to git-add this 2017-08-07 11:21:09 -04:00
test-lang.rkt Create test harness & lang for contrasting big & little actor langs 2017-04-20 13:50:01 -04:00
test.rkt Create test harness & lang for contrasting big & little actor langs 2017-04-20 13:50:01 -04:00
threaded.rkt Change spawn processing to include initial-assertions 2017-08-05 19:36:40 -04:00
trace.rkt Much improved tracing 2017-08-13 19:58:48 -04:00
treap.rkt Alpha convert: prospect -> syndicate 2016-04-01 19:53:46 -04:00
trie.rkt trie-step-wild 2017-07-31 11:39:50 -04:00
tset.rkt extract-patch-pids and tset/set-union 2016-08-31 19:11:43 +01:00
upside-down.rkt Change spawn processing to include initial-assertions 2017-08-05 19:36:40 -04:00