Tony Garnock-Jones
feaffaa752
gestalt-union*
2014-06-22 22:03:09 -04:00
Tony Garnock-Jones
244e793d03
Support boot actions in spawned processes.
2014-06-22 22:02:58 -04:00
Tony Garnock-Jones
43992462fa
Make timer driver use send-ground-message rather than changing gestalt.
2014-06-21 11:38:27 -04:00
Tony Garnock-Jones
90af8c3584
Make ground async-channel always available, rather than dynamically
...
scoped to run-ground. This is important because (spawn-timer-driver),
for example, is called outside run-ground and spawns a thread that
communicates with ground via the ground async-channel. When we move to
running multiple grounds at once, we will have to revisit the
parameterization scheme here.
2014-06-21 11:37:05 -04:00
Tony Garnock-Jones
ac6efba7a5
Finer MINIMART_TRACE control over tracing.
2014-06-21 11:36:26 -04:00
Tony Garnock-Jones
2466fe61c1
Make pretty-printed output a little wider
2014-06-21 11:06:33 -04:00
Tony Garnock-Jones
bc3e5be900
Unwrap trigger-guarded behavior when printing quit notifications
2014-06-21 11:03:16 -04:00
Tony Garnock-Jones
b2eef0c54a
Better behavior printing
2014-06-21 10:58:02 -04:00
Tony Garnock-Jones
815294cd2b
More flexible tracing of worlds
2014-06-21 10:45:38 -04:00
Tony Garnock-Jones
d17f7bdeb4
Clean up contract-like transition-checking.
2014-06-21 07:33:12 -04:00
Tony Garnock-Jones
b4e2e28027
Introduce step-process (as composition of deliver-event and apply-transition)
2014-06-21 07:29:21 -04:00
Tony Garnock-Jones
3dc7d25724
Warn on wildcard gestalt-projections
2014-06-19 22:38:05 -04:00
Tony Garnock-Jones
e1f72f92e8
UDP socket driver and example
2014-06-19 13:43:18 -04:00
Tony Garnock-Jones
b3db1dd464
Tweak to projection->gestalt; expose projection-spec; catch capture-in-pattern error
2014-06-18 20:18:23 -04:00
Tony Garnock-Jones
cade391056
Catch errors of wildcard demand/supply in demand-matcher
2014-06-18 20:17:56 -04:00
Tony Garnock-Jones
0c0035e2e2
Minor readjustment to permit logging of full gestalt of worlds
2014-06-18 18:36:05 -04:00
Tony Garnock-Jones
a8b0bd24e8
Support timeouts in on-gestalt
2014-06-18 18:00:03 -04:00
Tony Garnock-Jones
22d299b5a2
on-gestalt
2014-06-18 16:05:58 -04:00
Tony Garnock-Jones
7df1e40433
Improved interface to gestalt-project.
2014-06-18 16:05:46 -04:00
Tony Garnock-Jones
77f876c737
Use write for keys rather than display in pretty-print-matcher
2014-06-17 21:53:09 -04:00
Tony Garnock-Jones
25ee780598
Detail in matcher-erase-path cofinite situation.
2014-06-17 17:15:44 -04:00
Tony Garnock-Jones
867afdbf63
matcher->pretty-string
2014-06-17 17:15:34 -04:00
Tony Garnock-Jones
5057103681
Clarify logging of events and actions
2014-06-15 20:42:35 -04:00
Tony Garnock-Jones
22ae65d05e
General-purpose broker-style relay from js-marketplace
2014-06-14 20:52:38 -04:00
Tony Garnock-Jones
fc3bf46afa
Silence noisy process spawn/terminate notices
2014-06-14 20:51:24 -04:00
Tony Garnock-Jones
44d5dfa528
Provide an identity for set-union
2014-06-14 20:50:35 -04:00
Tony Garnock-Jones
ef4d47c67a
Remove silly identity-projection efficiency hack.
2014-06-14 20:50:35 -04:00
Tony Garnock-Jones
646b9b9197
Ugh, stupid undefined-variable
2014-06-14 20:50:35 -04:00
Tony Garnock-Jones
9b05906efb
Simplify matcher-project
2014-06-14 20:50:34 -04:00
Tony Garnock-Jones
1faa122c49
Changes from code review
2014-06-14 20:50:34 -04:00
Tony Garnock-Jones
5b7b192b60
Widen ground-level inertness detection to account for non-event ground-level gestalt.
2014-06-14 20:50:34 -04:00
Tony Garnock-Jones
30c007e0be
Introduce threads and send-ground-message to TCP driver.
2014-06-14 20:50:34 -04:00
Tony Garnock-Jones
3a5e6c8e29
Notes and improvements from code review
2014-06-14 20:50:34 -04:00
Tony Garnock-Jones
18d625af45
Mostly cosmetic; improvements from yesterday's code review
2014-06-14 20:50:34 -04:00
Tony Garnock-Jones
a86da29f68
Comments in ground.rkt
2014-06-14 20:50:34 -04:00
Tony Garnock-Jones
4370cb72a4
Correctly distinguish when multiple listeners exist
2014-06-14 20:50:03 -04:00
Tony Garnock-Jones
eca3e9ded0
Switch websocket driver to use send-ground-message.
2014-06-11 16:03:22 -04:00
Tony Garnock-Jones
aa629c8bbe
send-ground-message
2014-06-11 16:02:46 -04:00
Tony Garnock-Jones
3e6fd930c5
Expose queue-prepare-for-dequeue
2014-06-11 16:02:17 -04:00
Tony Garnock-Jones
e0aae6e3e0
Avoid use of wrap-evt, preferring handle-evt
2014-06-11 16:01:04 -04:00
Tony Garnock-Jones
50420a20dc
More notes
2014-06-10 16:13:28 -04:00
Tony Garnock-Jones
289a7351df
Documentation in the code
2014-06-10 13:54:10 -04:00
Tony Garnock-Jones
2eb8822c56
Avoid need for latching on listen-side TCP connections; flip demand-matcher's default orientation
2014-06-06 18:13:09 -04:00
Tony Garnock-Jones
f4169206f5
Cosmetic
2014-06-06 18:06:14 -04:00
Tony Garnock-Jones
4addfee3b4
Handle connection refused, ish.
2014-06-06 18:06:02 -04:00
Tony Garnock-Jones
fb6d22ad94
No need to try to let a quitting process know an updated gestalt
2014-06-06 18:05:17 -04:00
Tony Garnock-Jones
22e109413f
gestalt->pretty-string
2014-06-06 16:20:35 -04:00
Tony Garnock-Jones
1e0971d0f1
Display pid-stack more consistently when logging.
2014-06-06 16:20:23 -04:00
Tony Garnock-Jones
95f050aca6
Tweaks to userland examples
2014-06-02 16:46:54 -04:00
Tony Garnock-Jones
a572f270f0
Delimited-continuation based threaded style
2014-06-02 16:36:55 -04:00