• Joined on 2023-03-22
andrew opened issue weaselab/conflict-set#29 2024-06-27 21:18:35 +00:00
SIMD implementation of scan16 for x86
andrew opened issue weaselab/conflict-set#28 2024-06-27 21:18:16 +00:00
Update paper to incorporate recent scan performance improvements
andrew pushed to main at weaselab/conflict-set 2024-06-27 20:38:38 +00:00
639518bed4 Share "scan16" between Node16 and Node48
7de983cc15 Simd bounds checking for scan for Node16
1b4b61ddc6 Write Node16 scan in a "more vectorized" style
bff7b85de2 Remove "Child" struct
9108ee209a SoA instead of AoS for child, maxVersion
Compare 5 commits »
andrew pushed to main at weaselab/conflict-set 2024-06-27 05:17:30 +00:00
f8bf1c6eb4 Remove unreachable code
4da2a01614 Use single &, to show branch-free intent
bb0e654040 Fix missed update for Node48::maxOfMax
Compare 3 commits »
andrew pushed to main at weaselab/conflict-set 2024-06-27 04:09:31 +00:00
cce7d29410 Update our benchmarks in README
13f8d3fa8a Add benchmarks for individual spans, but commented out
02866a8cae Save some bounds checking for scanning Node256
fa86d3e707 "max of max" for Node48 again, but physical instead of logical
7d1d1d7b2a Maintain childMaxVersion == 0 for unused children in Node48
Compare 17 commits »
andrew closed issue weaselab/conflict-set#27 2024-06-26 04:48:33 +00:00
Design pessimal checkRangeRead benchmark
andrew pushed to main at weaselab/conflict-set 2024-06-26 04:48:33 +00:00
89b3354a80 Update README with new benchmark
488c723726 Improve worst-case radix tree checkRangeRead
76d0785b33 Add worst-case benchmark for radix tree
Compare 3 commits »
andrew opened issue weaselab/conflict-set#27 2024-06-26 02:32:43 +00:00
Design pessimal checkRangeRead benchmark
andrew pushed to main at weaselab/conflict-set 2024-06-26 02:22:23 +00:00
add0af11ad Don't check paper/version.txt into version control
2c0adf4a8b Fix test-only bug in script test
Compare 2 commits »
andrew pushed to main at weaselab/versioned-map 2024-06-19 22:12:41 +00:00
57cceaf3b7 Fix an issue with versioned-only benchmark
39273424c1 Only search backward for materializing clear range
Compare 2 commits »
andrew opened issue weaselab/versioned-map#6 2024-06-19 19:37:38 +00:00
Assert internal invariants in whitebox tests
andrew pushed to main at weaselab/versioned-map 2024-06-17 19:23:25 +00:00
c4c269ab94 Skip unversioned for adjacent mutations, reverse reads
fcb881f408 Skip unversioned until non-adjacent mutation in facade
Compare 2 commits »
andrew closed issue weaselab/versioned-map#5 2024-06-16 05:19:51 +00:00
Nondeterminism
andrew commented on issue weaselab/versioned-map#5 2024-06-16 05:19:45 +00:00
Nondeterminism

Fixed by 0af75f5e9c438aecc703344a5d69394d470bbef6 😆

andrew pushed to main at weaselab/versioned-map 2024-06-16 05:17:04 +00:00
b2ce851d56 Update corpus
e11ee26332 Allow stack to grow in gc
0af75f5e9c Make gRandom inline
43ba21329b Mark remainder of rightmost page no_access after gc
Compare 4 commits »
andrew pushed to main at weaselab/versioned-map 2024-06-15 16:51:13 +00:00
3e9c69e857 Update corpus
andrew opened issue weaselab/versioned-map#5 2024-06-15 16:50:43 +00:00
Nondeterminism
andrew commented on issue weaselab/versioned-map#2 2024-06-15 16:49:53 +00:00
Call move once per iteration

This is now fixed for forward iteration

andrew pushed to main at weaselab/versioned-map 2024-06-15 06:41:52 +00:00
edb76feadf Remove "next" argument from materializeMutations
2eea70f063 Fix a bug where a range end's version wasn't updated
be3032e2f3 Fix a use of an invalid iterator
b34d559c02 Strengthen valgrind checks
Compare 4 commits »
andrew opened issue weaselab/versioned-map#4 2024-06-15 06:22:29 +00:00
Detect use of invalid iterator in debug mode