aboutsummaryrefslogtreecommitdiffstats
path: root/research/experiments/046-commit-replica/entries-price.aup
diff options
context:
space:
mode:
authoreunhhu <[email protected]>2026-10-19 14:16:33 +0100
committereunhhu <[email protected]>2026-10-19 14:16:33 +0100
commitd5107e9e61d1083f945edb64ec619c333024a43f (patch)
tree5f8444aced1da3c0151b151f89e13ef89a8769d4 /research/experiments/046-commit-replica/entries-price.aup
parent109c3afd29b6cad3e529d83fde8aeb1d0da700ff (diff)
downloadpure-d5107e9e61d1083f945edb64ec619c333024a43f.tar.gz
pure-d5107e9e61d1083f945edb64ec619c333024a43f.zip
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
Diffstat (limited to 'research/experiments/046-commit-replica/entries-price.aup')
-rw-r--r--research/experiments/046-commit-replica/entries-price.aup11
1 files changed, 11 insertions, 0 deletions
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