syndicate-lang
/
syndicate-rs
1
0
Fork 0
Code Issues 1 Pull Requests Projects Releases Wiki Activity
269 Commits 7 Branches 175 Tags 1.9 MiB
Commit Graph

269 Commits

Author SHA1 Message Date
Tony Garnock-Jones 4e46d4a381 make pull-protocols 2021-07-01 10:01:19 +02:00
Tony Garnock-Jones 94c63ef992 Add 'protocols/' from commit '93c196acaaf85e406f579a94489af5f1ade04ebd' 
git-subtree-dir: protocols
git-subtree-mainline: 0c1080eb0b
git-subtree-split: 93c196acaa
 2021-07-01 10:00:50 +02:00
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