From d5107e9e61d1083f945edb64ec619c333024a43f Mon Sep 17 00:00:00 2001 From: eunhhu Date: Mon, 19 Oct 2026 14:16:33 +0100 Subject: 046, 029: the taken-over store sent a message too (opened() works on a copy: show, add, show; 20 more kill -9s: all open and take it as owners; 667 prefixes again with it: all pass); the price measured again without the fold that inflated it (entries.aup's summed view folded every entry each message): 48.5 to 232 us a message on tmpfs, 146 us of the 183 waiting for acks; the shim never stopped across the runs --- research/experiments/046-commit-replica/entries-price.aup | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 research/experiments/046-commit-replica/entries-price.aup (limited to 'research/experiments/046-commit-replica/entries-price.aup') diff --git a/research/experiments/046-commit-replica/entries-price.aup b/research/experiments/046-commit-replica/entries-price.aup new file mode 100644 index 0000000..450b2bb --- /dev/null +++ b/research/experiments/046-commit-replica/entries-price.aup @@ -0,0 +1,11 @@ +record Entry { + n = 0 +} +state entries: list of Entry +state count = 0 +input add = message { n: number } +on add { + entries.append(Entry { n: add.n }) + count = count + 1 +} +view total = count -- cgit v1.2.3