aboutsummaryrefslogtreecommitdiffstats
path: root/research/experiments/045-proof-compiler
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/045-proof-compiler
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/045-proof-compiler')
0 files changed, 0 insertions, 0 deletions