Tony Garnock-Jones
|
15504cccab
|
timestate
|
2016-10-31 17:36:59 -04:00 |
|
Tony Garnock-Jones
|
490e414904
|
Add #:let to during/actor
|
2016-10-31 17:27:46 -04:00 |
|
Tony Garnock-Jones
|
d442f4890f
|
summarise-ground-state with SIGUSR2
|
2016-10-31 13:46:53 -04:00 |
|
Tony Garnock-Jones
|
4a39a03a0a
|
Log failures of outbound web requests
|
2016-10-30 20:30:58 -04:00 |
|
Tony Garnock-Jones
|
c9eddfa0b7
|
web-response-header-code-type
|
2016-10-30 20:30:49 -04:00 |
|
Tony Garnock-Jones
|
2d1ad8a62d
|
Add #:on-crash to during/actor
|
2016-10-30 20:30:38 -04:00 |
|
Tony Garnock-Jones
|
37af1e8726
|
Cope with transient pulses of demand in during/actor
|
2016-10-25 16:59:00 -04:00 |
|
Tony Garnock-Jones
|
ea997539a2
|
WIP exploration of problems with demand transients
|
2016-10-25 12:38:19 -04:00 |
|
Tony Garnock-Jones
|
e90c0e580e
|
Check once for unix-signal support, rather than every (!) time (!)
|
2016-10-25 12:37:57 -04:00 |
|
Tony Garnock-Jones
|
acd9dde2b8
|
Remove mistaken require
|
2016-10-25 12:37:35 -04:00 |
|
Tony Garnock-Jones
|
cd83b5f5d8
|
Minor fixes
|
2016-10-24 22:01:17 -04:00 |
|
Tony Garnock-Jones
|
d00f0cbf13
|
Fix bug where #:when-disabled on-message endpoints were processing
events even when "disabled".
|
2016-09-25 15:06:22 -04:00 |
|
Tony Garnock-Jones
|
8f28ae0e9c
|
Minor refactoring
|
2016-09-19 21:26:38 -04:00 |
|
Tony Garnock-Jones
|
694de50bc0
|
Illustrate bounds on observation too
|
2016-09-19 21:21:43 -04:00 |
|
Tony Garnock-Jones
|
c1681f7804
|
Another firewall-demo example case
|
2016-09-19 21:19:17 -04:00 |
|
Tony Garnock-Jones
|
e7dc36f126
|
syndicate/firewall
|
2016-09-19 21:14:08 -04:00 |
|
Tony Garnock-Jones
|
9a62eb6076
|
sandbox-os.rkt
|
2016-09-19 20:24:51 -04:00 |
|
Tony Garnock-Jones
|
aab25684b8
|
Fancy process table display on SIGUSR1 (if SYNDICATE_TRACE envt var nonempty)
|
2016-09-13 17:35:12 -04:00 |
|
Tony Garnock-Jones
|
7be8eb6d60
|
Oops -- I had forgotten udp-handle support in the UDP driver.
|
2016-09-13 13:21:04 -04:00 |
|
Tony Garnock-Jones
|
9080396bc5
|
Environment variable for convenient redirection of stdout to stderr
|
2016-09-13 12:24:53 -04:00 |
|
Tony Garnock-Jones
|
bb889542fc
|
Track process names in trace/stderr.rkt
|
2016-09-13 12:24:16 -04:00 |
|
Tony Garnock-Jones
|
9ee7e677ad
|
Give names to udp-driver and udp-socket processes
|
2016-09-06 16:46:14 +01:00 |
|
Tony Garnock-Jones
|
c844c0d596
|
Make sure spawn tracing happens before initial-patch tracing
|
2016-09-06 16:45:59 +01:00 |
|
Tony Garnock-Jones
|
02828d8356
|
syndicate/profile
|
2016-09-05 11:22:27 +01:00 |
|
Tony Garnock-Jones
|
7880b2ba28
|
current-trace-procedures needs to be a store, not a parameter, because spawns capture the parameterization too early and the scoping of tracing should be hierarchy-based
|
2016-09-02 17:55:46 +01:00 |
|
Tony Garnock-Jones
|
45c12bacf0
|
Permit #:when in stop-when.
|
2016-09-02 10:36:03 +01:00 |
|
Tony Garnock-Jones
|
8249993a86
|
Use lists rather than conses, since they travel through dataspaces better
|
2016-08-31 19:12:05 +01:00 |
|
Tony Garnock-Jones
|
4685d6af46
|
extract-patch-pids and tset/set-union
|
2016-08-31 19:11:43 +01:00 |
|
Tony Garnock-Jones
|
bf3b2a5a36
|
Expose current-ground-event-async-channel
|
2016-08-31 19:11:16 +01:00 |
|
Tony Garnock-Jones
|
fb3ed65831
|
trace-logger --> current-trace-procedures
|
2016-08-31 15:12:52 +01:00 |
|
Tony Garnock-Jones
|
ca1c0f6645
|
Add a way of loading trace modules at startup time
|
2016-08-25 18:15:39 +01:00 |
|
Tony Garnock-Jones
|
2a6061bd97
|
Revamp tracing
|
2016-08-25 18:07:27 +01:00 |
|
Tony Garnock-Jones
|
0bc775a89f
|
First commit moving from (actor (react ...)) to (actor ...)
|
2016-08-24 17:35:38 +01:00 |
|
Tony Garnock-Jones
|
56e893fac4
|
Use field instead of set!.
|
2016-08-21 08:42:45 -04:00 |
|
Tony Garnock-Jones
|
3240f20d90
|
Allow ($ v) bindings
|
2016-08-21 08:27:56 -04:00 |
|
Tony Garnock-Jones
|
426a38b17f
|
Silence redefinition warning
|
2016-08-15 10:45:23 -04:00 |
|
Tony Garnock-Jones
|
fe47abd540
|
Cosmetic
|
2016-08-10 19:14:01 -04:00 |
|
Tony Garnock-Jones
|
a890a7147b
|
Queue implementations without credit tracking
|
2016-08-10 19:04:08 -04:00 |
|
Tony Garnock-Jones
|
956a940480
|
Cosmetic
|
2016-08-10 19:03:52 -04:00 |
|
Tony Garnock-Jones
|
6684c9e883
|
queue-remove in functional-queue.rkt
|
2016-08-10 19:03:40 -04:00 |
|
Tony Garnock-Jones
|
0bc370beec
|
A Queue with credit-based flow control.
|
2016-08-10 18:42:19 -04:00 |
|
Tony Garnock-Jones
|
a828334b2f
|
Cosmetic
|
2016-08-10 18:41:46 -04:00 |
|
Tony Garnock-Jones
|
2b29e817a5
|
Add *idle-priority*, and allow #:priority on begin/dataflow
|
2016-08-10 18:41:41 -04:00 |
|
Tony Garnock-Jones
|
f20d1a2ad7
|
Invariant checking via begin/dataflow
|
2016-08-10 17:09:24 -04:00 |
|
Tony Garnock-Jones
|
d7a594e2b9
|
Counting-semaphore-like mutex, and dining philosophers.
|
2016-08-10 17:03:21 -04:00 |
|
Tony Garnock-Jones
|
eaade6e4fd
|
Treat synthetic patches differently wrt previousKnowledge
|
2016-08-07 21:58:19 -04:00 |
Sam Caldwell
|
73f180d90a
|
fix bug in LLL two-buyer
|
2016-08-03 14:19:18 -04:00 |
|
Tony Garnock-Jones
|
e22f608109
|
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 |
|
Tony Garnock-Jones
|
4e1bab4b90
|
Introduce make-spawn to capture parameterizations. Closes #10.
|
2016-07-31 17:24:48 -04:00 |
|
Tony Garnock-Jones
|
1fa50e4e6a
|
file-system-during2.rkt
|
2016-07-31 12:22:15 -04:00 |