Commit Graph

97 Commits

Author SHA1 Message Date
39273424c1 Only search backward for materializing clear range 2024-06-19 12:16:09 -07:00
e11ee26332 Allow stack to grow in gc
The previous bound was valid in each logical version of the map, but not
for the physical map's structure.
2024-06-15 20:28:43 -07:00
43ba21329b Mark remainder of rightmost page no_access after gc 2024-06-15 18:11:18 -07:00
edb76feadf Remove "next" argument from materializeMutations 2024-06-14 23:40:09 -07:00
2eea70f063 Fix a bug where a range end's version wasn't updated 2024-06-14 23:26:00 -07:00
be3032e2f3 Fix a use of an invalid iterator 2024-06-14 23:25:43 -07:00
b34d559c02 Strengthen valgrind checks 2024-06-14 22:31:05 -07:00
e4a77c88d8 Fix two canonicalization bugs 2024-06-14 21:51:59 -07:00
a63fd3970b Reworking the representation for the beginning of a clear range
Most tests pass. Some tests fail.
2024-06-14 19:13:51 -07:00
685b49c96d WIP adhoc test looks ok 2024-06-14 17:58:33 -07:00
8b22fbe261 Tinker with main 2024-06-14 17:19:02 -07:00
729fcdb616 Avoid some insertions in point clears 2024-06-14 16:00:08 -07:00
efd2405443 Check "latestRoot" property 2024-06-05 12:41:07 -07:00
f1d10a1fed Amortize cost of searching for continueKey 2024-06-05 10:41:21 -07:00
742f1da722 Improve clarity in operator{--,++} 2024-06-04 16:31:19 -07:00
13f6279970 Branch-free child function 2024-06-04 13:59:26 -07:00
118071e3e9 Share kStackAllocThreshold 2024-06-03 22:35:49 -07:00
b92f0ec227 Add efficient firstGeq overload for latestVersion 2024-06-03 22:32:47 -07:00
9e90d5aadf Use more conventional field order in Mutation 2024-06-03 13:26:27 -07:00
fd618d0f07 Bug fix
The bottommost node of a finger isn't necessarily the root for an
iterator's version. It could be "end"
2024-06-03 12:56:17 -07:00
f5fdc3eaf1 Store version instead of pointer to version 2024-06-03 12:28:26 -07:00
ae2b50d765 Interleave key search 2024-06-03 12:27:37 -07:00
f8b8c92b40 ILP firstGeq WIP 2024-06-03 12:23:54 -07:00
6c3eae219d Remove duplicated operator<=> 2024-05-30 11:14:44 -07:00
16c2bb1d11 Enable asserts in fuzz target 2024-05-29 22:00:18 -07:00
887f400a47 Expand clears 2024-05-29 17:45:23 -07:00
dab6929e88 Add Entry::pointClear 2024-05-29 16:13:45 -07:00
f1f4d66678 Prepare to fully canonicalize views 2024-05-28 21:38:08 -07:00
0de303b6c6 Improve SHOW_MEMORY accounting 2024-05-28 16:54:46 -07:00
42298a911a Prepare to add fdb implementation
Fixes a end iter deref and remove rpath from test
2024-05-28 13:23:06 -07:00
37f972145e Re-use search implementation in insert 2024-05-24 14:49:59 -07:00
d11150926b Preserve finger after insert 2024-05-24 14:17:11 -07:00
d51c58e6d5 Add operator== for Finger 2024-05-24 13:58:19 -07:00
8f8ea62ed5 Remove dead code 2024-05-23 21:15:12 -07:00
021569f033 Templatize direction for move 2024-05-23 18:26:26 -07:00
262c9cd10c Scan and remove old entries in addMutations 2024-05-22 16:07:34 -07:00
89c6aae53a Fix bugs found through fuzzing 2024-05-19 20:08:27 -07:00
445aee2ce9 Fix bug where gc was scanning uninit memory 2024-05-17 13:36:03 -07:00
d3dc7406cf Fix gc memory leak 2024-05-16 22:31:05 -07:00
190cd05c13 Initialize version sooner in VersionedMap::begin 2024-05-16 18:45:26 -07:00
1e1f5d6d5c Add FacadeFuzz 2024-05-16 17:29:02 -07:00
36779a068e Remove cmp for now 2024-05-16 16:38:41 -07:00
3819b83d78 Logically revert 0071600
Return mutation intersecting query key if it exists
2024-05-16 16:09:39 -07:00
7526e119af Annotate interposable calls to fix later 2024-05-15 17:05:14 -07:00
007160098e Change firstGeq to compare to param1 2024-05-15 16:31:34 -07:00
464d720a6b Handle decrementing end 2024-05-15 14:53:58 -07:00
2b22a7823a Add gRandom and gArbitrary and initFuzz 2024-05-15 14:14:44 -07:00
207314d950 Fix putchar import 2024-05-14 18:13:55 -07:00
a7005af6ba Rotate all the way to the bottom for simplicity 2024-05-14 18:04:35 -07:00
67c8ca8f3a Fix two node-copying bugs in update 2024-05-14 17:44:01 -07:00