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

258 Commits

Author SHA1 Message Date
Tony Garnock-Jones 2eca2a0cc1 Experimental: use Notify for Debtor credit flow 2021-07-27 16:31:00 +02:00
Tony Garnock-Jones ff130e9443 Now we are using Mutex instead of RwLock, we don't need to be Sync everywhere 2021-07-26 10:53:56 +02:00
Tony Garnock-Jones 73b7ad75bd RwLock -> Mutex 2021-07-25 23:12:07 +02:00
Tony Garnock-Jones 5b97628137 Cargo update 2021-07-25 18:48:08 +02:00
Tony Garnock-Jones 20539da63b Use recent shared-state changes to avoid scheduling overhead in relay.rs by activating the relay actor right from the input loop 2021-07-25 01:10:43 +02:00
Tony Garnock-Jones 35f510aa0b More fine-grained state and new ownership relations, to potentially permit avoiding scheduling overhead by directly entering an actor's runtime context 2021-07-24 23:22:01 +02:00
Tony Garnock-Jones 90bb32e38c Tweak names 2021-07-23 08:11:48 +02:00
Tony Garnock-Jones d550ba2705 Simplify 2021-07-23 08:10:09 +02:00
Tony Garnock-Jones 908ab08f4c Bump preserves versions 2021-07-22 16:58:31 +02:00
Tony Garnock-Jones d85b980834 Typed Refs (!). Decent speedup by avoiding marshalling 2021-07-22 16:53:56 +02:00
Tony Garnock-Jones f0a9894ee8 Merge latest changes from the syndicate-protocols repository 2021-07-22 14:13:15 +02:00
Tony Garnock-Jones 0b2c7ecfe1 Rename RefAny -> Cap 2021-07-22 14:12:53 +02:00
Tony Garnock-Jones a8289668df Merge latest changes from the syndicate-protocols repository 2021-07-22 13:43:43 +02:00
Tony Garnock-Jones be6b30bba6 Switch Ref -> RefAny 2021-07-22 13:43:14 +02:00
Tony Garnock-Jones 6c3f039026 Use u64 internally for assertion handles 2021-07-22 10:07:49 +02:00
Tony Garnock-Jones 4a69d5573f Actions as closures rather than data 2021-07-22 09:56:21 +02:00
Tony Garnock-Jones 21a69618cf Rearrange Entity storage: they are now held in Refs 2021-07-22 01:05:08 +02:00
Tony Garnock-Jones aa1755be0f Avoid needless translation of internal events 2021-07-21 23:53:55 +02:00
Tony Garnock-Jones 052da62572 Switch to preserves-schema deserialize; minor performance tweaks 2021-07-21 23:29:53 +02:00
Tony Garnock-Jones 8cf6ace5f6 Update Cargo.lock 2021-07-21 22:00:46 +02:00
Tony Garnock-Jones a1766875fb A really interesting and apparently effective approach to internal flow control 2021-07-15 13:13:22 +02:00
Tony Garnock-Jones 94fd0d3f14 Draw the rest of the bloody owl 2021-07-15 09:13:31 +02:00
Tony Garnock-Jones bc99dad13e Merge latest changes from the syndicate-protocols repository 2021-07-12 21:10:39 +02:00
Tony Garnock-Jones 993cf78a38 DeBruijn-like binding in patterns 2021-07-12 21:10:19 +02:00
Tony Garnock-Jones 432b7bdf05 Immediate self-messaging; flush message for relay 2021-07-12 17:41:12 +02:00
Tony Garnock-Jones d968eb34f2 Gatekeeper service etc. Still missing attenuations etc. But almost there! 2021-07-09 00:04:11 +02:00
Tony Garnock-Jones e5acc6a7a6 It seems the recursion_limit isn't needed at the moment 2021-07-06 20:57:49 +02:00
Tony Garnock-Jones 7fb20c11af It actually takes connections again now! Still WIP 2021-07-06 20:56:36 +02:00
Tony Garnock-Jones ede0e29370 A few days' work redoing syndicate-rs - still WIP 2021-07-03 09:04:03 +02:00
Tony Garnock-Jones 3e96fa87d4 Merge latest changes from the syndicate-protocols repository 2021-07-03 09:01:16 +02:00
Tony Garnock-Jones f7c6e7d164 Specify embedded type for sturdy.prs 2021-07-03 09:00:58 +02:00
Tony Garnock-Jones 64e4d9cb74 Merge latest changes from the syndicate-protocols repository 2021-07-02 16:51:47 +02:00
Tony Garnock-Jones e7ddfdf311 EntityRef.Ref in dataspacePatterns 2021-07-02 16:51:21 +02:00
Tony Garnock-Jones 142f84a428 Merge latest changes from the syndicate-protocols repository 2021-07-02 16:48:28 +02:00
Tony Garnock-Jones dab79020f4 Variations on protocol for internal and external use 2021-07-02 16:48:15 +02:00
Tony Garnock-Jones 4b6b637223 Merge latest changes from the syndicate-protocols repository 2021-07-02 10:12:29 +02:00
Tony Garnock-Jones a6639b5380 Error packets 2021-07-02 10:11:53 +02:00
Tony Garnock-Jones 89e7b31d02 Merge latest changes from the syndicate-protocols repository 2021-07-01 10:04:39 +02:00
Tony Garnock-Jones 06e922c511 Compiled schema bundle 2021-07-01 10:04:26 +02:00
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