Commit Graph

Select branches

Hide Pull Requests

cf-integrity

erase-between

inline-leafs

interleave-checks

interleaved-writes

main

tagged-pointer2

weaselbot/issue-66

#1

#2

v0.0.1

v0.0.10

v0.0.11

v0.0.12

v0.0.13

v0.0.2

v0.0.3

v0.0.4

v0.0.5

v0.0.6

v0.0.7

v0.0.8

v0.0.9

Mono Color

• 0fbc8b0190 Use longestCommonPrefix on partial keys andrew 2024-02-22 13:57:00 -08:00
• 125ce88268 Suppress gcc warning andrew 2024-02-22 12:37:14 -08:00
• 3a5db2d2ac Share some Node4/16 and Node48/256 implementations andrew 2024-02-22 12:31:10 -08:00
• bd5d0259d9 Update corpus andrew 2024-02-21 22:13:57 -08:00
• 09782ba833 Fix O(k^2) behavior when begin is a prefix of end andrew 2024-02-21 19:59:15 -08:00
• 0cb16c384f Fix include path andrew 2024-02-21 16:48:33 -08:00
• 3750aa7b5b Vendor valgrind headers andrew 2024-02-21 16:15:40 -08:00
• 28e61340f4 Add valgrind annotations andrew 2024-02-21 15:58:01 -08:00
• 07839b4687 Fix class-memaccess warning andrew 2024-02-21 15:27:46 -08:00
• ed29ea0e61 Fix fdb-patch.txt andrew 2024-02-21 15:23:10 -08:00
• af269ff208 Use a free list andrew 2024-02-21 13:51:02 -08:00
• 7e6652003b Remove vestigial arena andrew 2024-02-21 12:06:57 -08:00
• 48d96ac79a Only pass key to addPointWrite andrew 2024-02-20 23:16:03 -08:00
• a341b36f63 Detect singleton key ranges andrew 2024-02-20 23:09:03 -08:00
• e706aad989 Remove byteswap include andrew 2024-02-20 16:01:20 -08:00
• 4cbbeab55d Remove dead code andrew 2024-02-20 15:30:07 -08:00
• 06f92722f0 Add license andrew 2024-02-20 13:22:22 -08:00
• b82885e4c4 Add fdb patch andrew 2024-02-20 13:15:37 -08:00
• 1efc787805 Add README.md andrew 2024-02-20 13:13:48 -08:00
• ae5277bf78 Interleave checking left and right side andrew 2024-02-20 11:28:58 -08:00
• c4e18d71a2 CheckRangeRightSide struct andrew 2024-02-20 11:12:10 -08:00
• 33390af817 CheckRangeLeftSide struct andrew 2024-02-20 11:04:12 -08:00
• 79987a2f55 Fix use of uninitialized memory andrew 2024-02-19 16:48:40 -08:00
• 01a29b69b1 Explain assert andrew 2024-02-19 16:24:51 -08:00
• cb2f66b4b7 Remove a check from setOldestVersion andrew 2024-02-19 16:20:04 -08:00
• c9baa80212 Implement setOldestVersion andrew 2024-02-19 15:58:59 -08:00
• 939b791e01 Paper tinkering andrew 2024-02-19 13:29:16 -08:00
• deb85f5645 Add callgrind client requests andrew 2024-02-18 19:48:27 -08:00
• 69ce3e2a20 Update project description andrew 2024-02-18 19:47:54 -08:00
• 79390b806c Don't repeat common prefix search in addWriteRange andrew 2024-02-18 10:43:41 -08:00
• cb31f4c25b Fix bugs andrew 2024-02-17 22:09:00 -08:00
• 9a72f133a9 Add prefix queries to bench andrew 2024-02-16 21:42:04 -08:00
• 0799aea3e8 Move newly test-only code andrew 2024-02-16 18:35:28 -08:00
• 69a1b9099d Share common prefix search in addWriteRange andrew 2024-02-16 17:50:21 -08:00
• c20d0c5581 Move addWriteRange into its own function andrew 2024-02-16 17:15:35 -08:00
• e956c526b2 Draft paper introduction andrew 2024-02-16 16:27:55 -08:00
• eb96833eb0 Use sparse scan under a threshold andrew 2024-02-15 17:20:25 -08:00
• 4506b460eb Speed up maxBetweenExclusive andrew 2024-02-15 17:03:19 -08:00
• e30922ab9c Update corpus andrew 2024-02-15 16:14:03 -08:00
• 642003fe4f Remove dead code andrew 2024-02-15 15:03:33 -08:00
• 4325d89cf2 Implement checkRangeRightSide andrew 2024-02-15 14:52:45 -08:00
• ab9c9a57fa Implement checkRangeLeftSide andrew 2024-02-15 14:33:12 -08:00
• d565f75e0e Share search of common prefix andrew 2024-02-15 11:54:34 -08:00
• 5a2b734d16 Match planned order better andrew 2024-02-15 11:47:01 -08:00
• c2193fdba0 Implement new checkRangeRead idea andrew 2024-02-15 11:37:08 -08:00
• 98dccf5c23 WIP checkLeftOfPyramid seems to be correct andrew 2024-02-14 17:01:00 -08:00
• 838d08c70b WIP checkRightOfPyramid seems to be correct andrew 2024-02-14 16:11:57 -08:00
• c9b35241e1 Factor out "maxRightOf" andrew 2024-02-14 12:05:33 -08:00
• c131398af6 Remove dead code andrew 2024-02-14 11:37:11 -08:00
• 0d9e184bac Prepare to skip right of c in "left side of pyramid" andrew 2024-02-13 18:49:24 -08:00
• 2793edf07d Make ascend/descend + iter updates more consistent andrew 2024-02-13 16:37:55 -08:00
• 57585ba800 Add some const's andrew 2024-02-13 15:48:08 -08:00
• eef3c9e8d0 Track lcp as loop invariant andrew 2024-02-13 15:37:14 -08:00
• 86978c057e Inline nextPhysical and nextSibling in checkRangeRead andrew 2024-02-13 14:43:12 -08:00
• 961fb18066 Resume firstGeq search from within tree andrew 2024-02-13 12:08:13 -08:00
• 3aa081a9ce Add short-circuiting back to checkRangeRead andrew 2024-02-13 11:53:43 -08:00
• 1059f2a237 Use std::countr_zero andrew 2024-02-12 17:32:05 -08:00
• d5bde56921 Range reads are slow with dense keys andrew 2024-02-12 15:46:56 -08:00
• f8acc5ee86 Use longestCommonPrefix instead of strinc in checkRangeRead andrew 2024-02-12 15:00:46 -08:00
• ad14db5d7c Add skiplist andrew 2024-02-12 12:43:36 -08:00
• d60da4c087 Add benchmark andrew 2024-02-11 09:16:04 -08:00
• 0cae645c17 Fix always true condition andrew 2024-02-10 15:34:02 -08:00
• 2929a341db Whitelist __stack_chk_fail andrew 2024-02-09 23:03:44 -08:00
• 35a3289ab9 Simplify and fix bugs andrew 2024-02-09 22:45:38 -08:00
• 418bab61f5 Fix some bugs. Still buggy. Keep fuzzing andrew 2024-02-09 18:47:08 -08:00
• ddca6e8511 Rely on bitSet for child existence in Node48 andrew 2024-02-09 18:14:07 -08:00
• f961947e33 Share one arena across batch andrew 2024-02-09 17:57:29 -08:00
• 855d72d9a7 Oversize search path buffer andrew 2024-02-09 17:47:10 -08:00
• daa04129ac Track search path. Looks clean! andrew 2024-02-09 17:25:39 -08:00
• 593657c9aa Remove duplicate code andrew 2024-02-09 15:32:06 -08:00
• d1ee3d8b69 Bring back nextSibling andrew 2024-02-09 15:26:54 -08:00
• 80a79aab1f Still need a better way identify left/right sidedness andrew 2024-02-09 15:17:37 -08:00
• f3e7279c2c Do less work andrew 2024-02-09 13:08:14 -08:00
• 403608c794 WIP just need to identify nodes on begin -> end path andrew 2024-02-09 12:45:34 -08:00
• 8e918acc05 Remove dead code andrew 2024-02-09 11:51:51 -08:00
• d320fb6eee Remove dead code andrew 2024-02-08 14:59:27 -08:00
• 2bd1bf93a9 Check indices between left and right after they diverge andrew 2024-02-08 14:50:53 -08:00
• b018ccc3ae Add TODO andrew 2024-02-08 10:16:31 -08:00
• d388f6488d Remove dead code andrew 2024-02-08 10:13:53 -08:00
• b663325991 Update corpus andrew 2024-02-08 10:06:23 -08:00
• 968e03403d Revert to linear range checking, but keep short-circuiting andrew 2024-02-08 10:05:22 -08:00
• 2cbb6e0170 Short-circuiting, efficient checkRangeRead andrew 2024-02-07 16:31:54 -08:00
• 9363d7866c Specify maxVersion meaning andrew 2024-02-07 15:33:15 -08:00
• 855b7fa069 Prepare for new invariant andrew 2024-02-07 13:44:46 -08:00
• 98124d5493 Sublinear read range checking andrew 2024-02-06 16:52:20 -08:00
• 6be23803a3 Add standalone bench target andrew 2024-02-06 15:03:54 -08:00
• 9a80c96533 Short circuit point reads based on maxVersion andrew 2024-02-06 14:38:39 -08:00
• 68239cd80b Maintain nextSib in firstGeq andrew 2024-02-06 12:37:02 -08:00
• 03e9dc01fd Implement firstGeq directly andrew 2024-02-06 12:11:50 -08:00
• d2c89f605f Use rangeVersion indicating < instead of > andrew 2024-02-06 11:11:45 -08:00
• 0aa2f67f88 Check that all children have reachable present entries andrew 2024-02-05 16:59:21 -08:00
• d78afe0823 Interleave checks for point reads andrew 2024-02-05 16:44:57 -08:00
• 57ec97f2ee Naive range reads implementation and test andrew 2024-02-05 13:59:10 -08:00
• e3e0e7ba44 Install texlive-full andrew 2024-02-05 12:41:35 -08:00
• 4b7d6d6cfb Try building paper in jenkins andrew 2024-02-05 12:29:53 -08:00
• 10b7f405a0 Add beginning of paper andrew 2024-02-05 12:08:49 -08:00
• ee14b5f66f Sort before diff andrew 2024-02-04 18:12:28 -08:00
• c4c86a69c6 Jenkins fix attempts andrew 2024-02-04 18:08:58 -08:00
• 345af773fb Try building in jenkins andrew 2024-02-04 17:56:16 -08:00
• cbf48e2d60 Make linker language c for release build andrew 2024-02-04 17:39:55 -08:00