Tony Garnock-Jones
38ea50e352
Cosmetic
2014-06-23 07:00:27 -04:00
Tony Garnock-Jones
2ec167560d
Remove unneeded require
2014-06-23 06:56:47 -04:00
Tony Garnock-Jones
b928d6c78a
Use actor macro
2014-06-22 22:49:13 -04:00
Tony Garnock-Jones
ceef225fce
New actor syntax for minimart actors
2014-06-22 22:16:42 -04:00
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
Tony Garnock-Jones
52faa78444
Flush output after writing a line.
2014-06-02 16:33:35 -04:00
Tony Garnock-Jones
435ab0fbd8
TCP driver; simple example; chat server; chat client
2014-06-02 14:13:12 -04:00
Tony Garnock-Jones
bdab665e36
Avoid laborious projection if all we're doing is capturing the whole thing anyway.
2014-06-02 14:12:45 -04:00
Tony Garnock-Jones
2014c22c41
Export matcher-empty? from core
2014-06-02 14:12:28 -04:00
Tony Garnock-Jones
a2ee741832
matcher-key-set/single
2014-06-02 14:12:20 -04:00
Tony Garnock-Jones
58a0af38a6
Adjust projection to yield multiple values instead of a vector
2014-05-28 20:10:55 -04:00
Tony Garnock-Jones
96b92cf2d4
Support for embedding matchers in patterns
2014-05-28 17:11:36 -04:00
Tony Garnock-Jones
7a95306bb0
There may be no levels on the right-hand-side for a given metalevel.
2014-05-28 16:35:51 -04:00
Tony Garnock-Jones
edd4436297
Default success/jsexpr transformers in gestalt/jsexpr conversion.
2014-05-28 16:31:40 -04:00
Tony Garnock-Jones
dbb7e8fe67
gestalt-transform
2014-05-28 16:31:24 -04:00
Tony Garnock-Jones
53d0a67e96
Permit function to return #f in transition-bind
2014-05-28 16:31:05 -04:00
Tony Garnock-Jones
1a63a2c35d
gestalt-accepts?
2014-05-28 16:30:50 -04:00
Tony Garnock-Jones
141f85b664
gestalt->jsexpr, jsexpr->gestalt
2014-05-28 16:02:20 -04:00
Tony Garnock-Jones
060e587fbf
matcher->jsexpr, jsexpr->matcher
2014-05-28 15:53:04 -04:00
Tony Garnock-Jones
6b94074a41
Convert from pair-based to list-based matching.
2014-05-28 15:24:26 -04:00
Tony Garnock-Jones
720f84a4a6
Avoid inefficiency in filter and match by reordering union and intersection
2014-05-26 15:33:02 -04:00
Tony Garnock-Jones
8a7fce46fa
Avoid redundant set wrapper
2014-05-26 14:57:40 -04:00
Tony Garnock-Jones
700e1eee57
Aggregate downward-gestalt separately from local process gestalts
2014-05-26 14:57:12 -04:00
Tony Garnock-Jones
3b2e2ad538
Another test
2014-05-26 06:29:06 -04:00
Tony Garnock-Jones
139adf074c
Improved elision of wildcard-sequence cases in erase-path
2014-05-26 06:22:35 -04:00
Tony Garnock-Jones
bd608c21a1
Remove unused function
2014-05-25 23:32:43 -04:00
Tony Garnock-Jones
4c2abd334c
Make sure routing-updates reflect outer gestalt to updating process
2014-05-25 23:22:59 -04:00
Tony Garnock-Jones
52342e9ce5
Add TODO for bug re: downward gestalts
2014-05-25 13:23:25 -04:00
Tony Garnock-Jones
4c3c6d2e2d
Eventually we should support infinite level
2014-05-25 13:23:12 -04:00
Tony Garnock-Jones
5058330e80
More tests of projection; change to default matcher-union-successes
2014-05-25 13:22:49 -04:00
Tony Garnock-Jones
a9c750ab6b
Eliminate useless unused argument
2014-05-25 11:33:20 -04:00
Tony Garnock-Jones
77a7620bdc
Fix bug in projection against wildcards
2014-05-22 22:34:24 -04:00
Tony Garnock-Jones
9a5d9cb579
Move rseq* to test code, as it is otherwise unused
2014-05-22 19:13:02 -04:00
Tony Garnock-Jones
cbf057204c
Print empty gestalt differently to reduce ambiguity.
2014-05-22 18:49:26 -04:00
Tony Garnock-Jones
052c90ef78
Propagate transient gestalt states properly. Signal inital gestalts to spawned processes.
2014-05-22 18:49:13 -04:00
Tony Garnock-Jones
a8fa384985
Reminder to perhaps remove the parameters again, as they may be slow
2014-05-21 23:41:01 -04:00
Tony Garnock-Jones
5092cff96b
Update websocket driver and examples
2014-05-21 23:22:21 -04:00
Tony Garnock-Jones
d86c64f68a
Gestalts massively simplify demand-matcher
2014-05-21 23:21:39 -04:00
Tony Garnock-Jones
d37eaa1236
Introduce parameters controlling route success merges; Ensure "minimal" path erasure
2014-05-21 23:20:49 -04:00
Tony Garnock-Jones
aea07d16cc
Convey the number of remaining processes after a termination
2014-05-21 23:17:25 -04:00
Tony Garnock-Jones
bad652d0c5
Notes on important routing-update issues to address
2014-05-21 23:17:04 -04:00
Tony Garnock-Jones
a7d8051e2e
By setting the initial gestalt to #f, we ensure at least one routing-update gets through.
2014-05-21 23:16:38 -04:00
Tony Garnock-Jones
bfa9c9cfcb
projection->pattern
2014-05-21 21:02:38 -04:00
Tony Garnock-Jones
6649689b8f
Make captures able to express and-patterns.
2014-05-21 20:54:36 -04:00
Tony Garnock-Jones
3bd9b338b5
Fix error messages
2014-05-21 19:59:06 -04:00
Tony Garnock-Jones
e5ba41d8a3
Reformulate gestalts (again). Back to metalevel/level/pattern rather than metalevel/pattern/level.
2014-05-21 16:28:38 -04:00
Tony Garnock-Jones
513eec3b7b
Correct comment (it was left behind when erase-path's args were flipped)
2014-05-20 23:32:07 -04:00
Tony Garnock-Jones
a4e1d882f8
Reintroduce trigger-guards
2014-05-20 22:12:50 -04:00
Tony Garnock-Jones
b750a01e78
Switch gestalt representations to accommodate n<m filtering.
...
The previous format separated out the different levels too much.
The new format pushes the level representation *under* the routing
matcher.
2014-05-20 21:50:19 -04:00
Tony Garnock-Jones
50ed37f52e
gestalt-intersect is probably not useful as an API
2014-05-19 20:15:05 -04:00
Tony Garnock-Jones
77d23a0cba
Updates to changed API
2014-05-19 20:01:43 -04:00