Tony Garnock-Jones
93c196acaa
Move schemas into subdirectory after subtree split
2021-07-01 09:51:53 +02:00
Tony Garnock-Jones
e034486aaa
Update schemas to match new identifier restrictions.
2021-06-25 09:45:38 +02:00
Tony Garnock-Jones
824b078eac
Simpler stream connection protocol.
2021-06-18 13:48:12 +02:00
Tony Garnock-Jones
cf93327ed6
Services and service activation
2021-06-17 14:57:06 +02:00
Tony Garnock-Jones
6cfe8c2ba4
`when` -> `on`; StreamConnection API; better `this-target`; tcp-listen errors
...
- spec-generic StreamConnection translators, for simple TCP API
- `when` -> `on`, better use for event-expanders
- Removal of special processing of `at`, making `this-target` properly lexically scopeable
- TcpListenError and handling of tcp-listen errors
- SYNDICATE_COLUMNS for pretty-printing of dataspace traces
- Repair driver-support.rkt thread shutdown turn-taking
- Refinements to stream protocols and implementation
- Improvements to syntax location preservation in syntax.rkt
2021-06-17 13:38:30 +02:00
Tony Garnock-Jones
b6bc816daf
Split out experimental "stream" protocols; make tcp.rkt use them; more inertness checks
...
Also, a few other important changes:
- Better printing of entity-ref structs
- Inertness checks on assertion retraction (!) and preventer-disarm
- Correct selection of active facet during dataflow recomputations
- Repair silly omission in turn-assert/dataflow!
2021-06-16 21:44:07 +02:00
Tony Garnock-Jones
a73b6a9f4a
Whole-packet flow credit
2021-06-15 12:46:09 +02:00
Tony Garnock-Jones
f6cb595709
Add ConnectionPeer assertions; rename TcpOutbound -> TcpRemote and TcpInbound -> TcpLocal
2021-06-15 12:37:14 +02:00
Tony Garnock-Jones
afe36c630d
Refactor/repair tcp.prs and tcp.rkt
2021-06-11 15:29:12 +02:00
Tony Garnock-Jones
5850c5b06d
Credit-based flow control on tcp driver; line mode
2021-06-11 14:18:53 +02:00
Tony Garnock-Jones
b0d0eb3a11
drivers/racket-event.rkt
2021-06-10 13:34:18 +02:00
Tony Garnock-Jones
21d09f81e5
ActiveSocket-close now gets a string, not an embedded exn
2021-06-10 13:33:16 +02:00
Tony Garnock-Jones
8b5e74048e
Beginnings of a TCP driver
2021-06-10 10:00:43 +02:00
Tony Garnock-Jones
201f5433e1
Port timer driver from older syndicate/rkt implementation
2021-06-09 23:08:06 +02:00
Tony Garnock-Jones
8cbe2475e3
TAttenuate
2021-06-09 15:06:58 +02:00
Tony Garnock-Jones
930f7eda00
Move box-protocol to a #lang preserves-schema module
2021-06-03 23:22:46 +02:00
Tony Garnock-Jones
a932fa1428
Pattern decomposition
2021-06-03 15:58:48 +02:00
Tony Garnock-Jones
3412eabcff
Update schemas for new embedded syntax; steps toward pattern support
2021-06-02 06:57:48 +02:00
Tony Garnock-Jones
e47a37e3f0
First steps to an actual novy implementation
2021-05-27 10:36:35 +02:00
Tony Garnock-Jones
0c1080eb0b
Bump deps (including preserves)
2021-05-17 16:38:40 +02:00
Tony Garnock-Jones
9090d28261
README.md
2021-05-12 15:36:27 +02:00
Tony Garnock-Jones
a9b4baa05a
Update URL
2021-05-07 17:09:38 +02:00
Tony Garnock-Jones
b86ff843c2
Update Preserves dep
2021-05-06 11:40:40 +02:00
Tony Garnock-Jones
5da40b799a
Bump preserves version
2021-01-29 13:55:02 +01:00
Tony Garnock-Jones
59170ebdb4
Bump Preserves version to syrupy version
2021-01-06 19:15:33 +01:00
Tony Garnock-Jones
8b7cafda81
Apparently we *do* see pings, and the loop was insane anyway, so filter_map it is
2020-07-22 10:02:12 +02:00
Tony Garnock-Jones
eb57378570
Update to new Preserves API
2020-07-10 17:09:30 +02:00
Tony Garnock-Jones
24b47363e6
Don't really need opt-level=3 for dev builds of dependencies
2020-07-10 16:47:17 +02:00
Tony Garnock-Jones
e34fafe9ad
Bump preserves version
2020-06-17 14:00:10 +02:00
Tony Garnock-Jones
f158aa970b
Benchmarks of internal routing fabric
2020-06-17 13:42:33 +02:00
Tony Garnock-Jones
186192308a
Trace entry in peer.rs for Stream shutdown
2020-06-17 13:42:06 +02:00
Tony Garnock-Jones
166e3cc8c0
New preserves version
2020-06-17 02:44:43 +02:00
Tony Garnock-Jones
1bc159ae8c
Variable-sized padding for examples
2020-06-15 22:13:21 +02:00
Tony Garnock-Jones
fb946fcdc7
Elide intermediate consing
2020-06-15 21:14:01 +02:00
Tony Garnock-Jones
623ed241d6
Small speed improvement
2020-06-15 19:43:42 +02:00
Tony Garnock-Jones
648fa58d3d
Update to Preserves 0.7
2020-06-15 16:15:52 +02:00
Tony Garnock-Jones
14b7aad9c6
Round-trip and (estimated) one-way latencies in pingpong example
2020-06-12 21:30:15 +02:00
Tony Garnock-Jones
a525ce6f4a
Remove unnecessary closure
2020-06-12 17:48:14 +02:00
Tony Garnock-Jones
518b468726
Enable link-time optimization
2020-06-12 16:57:10 +02:00
Tony Garnock-Jones
d815c4220c
Cosmetic: tweak banner
2020-06-12 16:41:25 +02:00
Tony Garnock-Jones
51f3ccc9c4
Interoperable observe/capture/discard record labels; new state-consumer/state-producer examples
2020-06-10 11:10:44 +02:00
Tony Garnock-Jones
f5021bacec
Pingpong example; action-count parameter to producer
2020-06-10 10:41:12 +02:00
Tony Garnock-Jones
bfef938202
Don't terminate if only one listener fails
2020-06-10 00:23:44 +02:00
Tony Garnock-Jones
889eb524b3
Tweak banner
2020-06-01 14:52:57 +02:00
Tony Garnock-Jones
3b10ba12b1
Compile deps at -O3 even in debug mode.
2020-06-01 11:00:04 +02:00
Tony Garnock-Jones
28c5a46d9d
Remove useless info output
2020-06-01 10:41:09 +02:00
Tony Garnock-Jones
213e18050e
Alternative banner
2020-06-01 10:12:18 +02:00
Tony Garnock-Jones
80f7776668
Banner :-)
2020-06-01 10:02:39 +02:00
Tony Garnock-Jones
6c2084ca41
Bump deps
2020-05-29 11:22:01 +02:00
Tony Garnock-Jones
c5cf226d86
Major Preserves 0.6.0 API changes
2020-05-28 23:32:33 +02:00