Commit Graph

21 Commits

Author SHA1 Message Date
Tony Garnock-Jones d85b980834 Typed Refs (!). Decent speedup by avoiding marshalling 2021-07-22 16:53:56 +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 052da62572 Switch to preserves-schema deserialize; minor performance tweaks 2021-07-21 23:29:53 +02:00
Tony Garnock-Jones 94fd0d3f14 Draw the rest of the bloody owl 2021-07-15 09:13:31 +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 ede0e29370 A few days' work redoing syndicate-rs - still WIP 2021-07-03 09:04:03 +02:00
Tony Garnock-Jones fb946fcdc7 Elide intermediate consing 2020-06-15 21:14:01 +02:00
Tony Garnock-Jones a525ce6f4a Remove unnecessary closure 2020-06-12 17:48:14 +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 9b3ced3165 More error cleanup 2020-05-25 16:13:11 +02:00
Tony Garnock-Jones d0e4519e1f Logging 2020-05-18 14:36:08 +02:00
Tony Garnock-Jones 31ca160c7e Overload protection 2020-05-18 13:16:14 +02:00
Tony Garnock-Jones 817a4d91a7 Count inbound and outbound messages/sec 2020-05-18 12:08:57 +02:00
Tony Garnock-Jones 05ca94066a Gather and report various stats 2020-05-18 11:36:44 +02:00
Tony Garnock-Jones ad1782e1b6 Stats and dataspace cleanup 2020-05-18 10:44:57 +02:00
Tony Garnock-Jones c0477c07ba Simple producer-consumer. 2020-05-11 23:31:00 +02:00
Tony Garnock-Jones ef658be8e4 Rename: In --> C2S, Out --> S2C 2020-05-11 22:08:27 +02:00
Tony Garnock-Jones d05dd10c14 Upgrade dependencies 2020-05-06 17:14:05 +02:00
Tony Garnock-Jones 482f903149 Dataspace links into skeleton; seems to be working 2019-10-24 20:05:39 +01:00
Tony Garnock-Jones 3d48cebb91 WIP Skeleton implementation 2019-10-20 22:25:01 +01:00
Tony Garnock-Jones 61005d308f Start on Dataspace impl 2019-10-20 16:01:27 +01:00