Commit Graph

  • 7142dab7ae Update c api documentation for ConflictSet_setOldestVersion andrew 2024-07-03 10:53:45 -07:00
  • 3db3d975fc Interface change! Allow decreasing setOldestVersion andrew 2024-07-03 10:31:57 -07:00
  • 982b31af34 Explicitly convert uint32x4_t to int32x4_t andrew 2024-07-03 10:01:00 -07:00
  • cc716ef16b Attempt to fix memory leak andrew 2024-07-03 09:48:02 -07:00
  • 88bcc7b75c Update corpus andrew 2024-07-03 09:36:03 -07:00
  • 3e6be6bd83 Allow write version to jump by more than 2e9 andrew 2024-07-03 09:07:09 -07:00
  • e59fee39c7 Start versions at zero in fuzz test for now andrew 2024-07-03 07:55:07 -07:00
  • 3e2c8310bb Fix several bugs related to extant versions too old andrew 2024-07-02 18:58:40 -07:00
  • 8264f1342d Fix some precision issues andrew 2024-07-02 13:55:05 -07:00
  • 5d7e9c6f85 Compare against oldestVersionFullPrecision at full precision andrew 2024-07-02 13:53:56 -07:00
  • cdf42fcb34 Add gcScanStep andrew 2024-07-02 13:06:53 -07:00
  • cbe40b5dba Fix missing debug verbose guard andrew 2024-07-02 12:48:00 -07:00
  • a04e81b3ff Add version window constants andrew 2024-07-02 12:45:35 -07:00
  • 0be97a34b6 Add new version window requirement to reference impl andrew 2024-07-02 12:42:03 -07:00
  • 68ab9a9f08 Commit to 32-bit versions andrew 2024-07-02 10:30:22 -07:00
  • 01488880ef Fix outdated comment andrew 2024-07-01 17:27:04 -07:00
  • bb84792cff Use avx512f across entire checkRangeRead call tree andrew 2024-07-01 13:07:34 -07:00
  • 1f421e95ff Resuppress coverage andrew 2024-06-30 21:48:43 -07:00
  • 66bd799f05 Fix hasty change about end invariants andrew 2024-06-30 21:20:05 -07:00
  • 2646d5eaf1 Get back to 100% coverage andrew 2024-06-30 21:15:42 -07:00
  • 0367ba9856 Fast path for prefix reads andrew 2024-06-30 20:33:54 -07:00
  • 9dec45317e Try to fix code coverage in Jenkins andrew 2024-06-30 15:38:06 -07:00
  • a68ad5dd17 Interface change! Return TooOld after 2e9 versions andrew 2024-06-30 15:25:44 -07:00
  • 8e3eacb54f Apply function multi versioning higher in call stack to save branches andrew 2024-06-30 13:30:44 -07:00
  • 0184e1d7f6 Remove incorrect comma in CMakeLists.txt andrew 2024-06-30 11:34:50 -07:00
  • c52d50f4f9 Remove bounds from forEachInRange andrew 2024-06-29 22:53:51 -07:00
  • 447da11d59 Remove obsolete optimizations andrew 2024-06-29 22:47:42 -07:00
  • daa8e02d4f Fixes from testing on an avx512f-capable machine andrew 2024-06-29 22:41:39 -07:00
  • fd3ea2c2a8 clang-format fixes andrew 2024-06-29 22:21:50 -07:00
  • 0b839b9d7e Fixes for symbol multi-versioning with avx512f andrew 2024-06-29 22:20:50 -07:00
  • 11a022dcf7 Attempt at avx512f 32bit compare andrew 2024-06-29 21:56:21 -07:00
  • 94da4c72a5 Fix clang-format andrew 2024-06-29 15:11:40 -07:00
  • 461e07822a 32-bit x86 simd for the other scan16 too andrew 2024-06-29 15:10:05 -07:00
  • 75499543e7 Fix clang-format andrew 2024-06-29 15:03:44 -07:00
  • 81f44d352f SIMD scan16 for x86 + 32-bit versions andrew 2024-06-29 15:01:18 -07:00
  • 45da8fb996 Use the faster unvectorized implementation for Node3 andrew 2024-06-28 22:52:39 -07:00
  • 4958a4cced Make always_inline function inline andrew 2024-06-28 22:42:01 -07:00
  • 587874841f Fix test that had a decreasing write version andrew 2024-06-28 19:57:25 -07:00
  • 648b0b9238 Add an always_inline, with explanatory comment andrew 2024-06-28 19:55:33 -07:00
  • d3f4afa167 More SIMD for scanning Node256 with 32-bit versions andrew 2024-06-28 19:48:06 -07:00
  • f762add4d6 Write vectorized 32-bit compare by hand for arm in scan16 andrew 2024-06-28 17:28:59 -07:00
  • b311e5f1f0 Add an experimental, disabled 32 bit internal version andrew 2024-06-28 15:53:35 -07:00
  • ff81890921 Rename MaxVersionT to InternalVersionT andrew 2024-06-28 14:34:48 -07:00
  • 0e96177f5c Allow to easily experiment with 32 bit "max version" type andrew 2024-06-28 13:54:12 -07:00
  • efb0e52a0a SIMD implementation of scan16 for x86 andrew 2024-06-27 22:21:41 -07:00
  • 2df7000090 Remove switch on phase from Stepwise left/right step andrew 2024-06-27 20:51:35 -07:00
  • 5378a06c39 Vectorize all bounds checks for Node256 scan andrew 2024-06-27 17:40:23 -07:00
  • 12c6ed2568 Reorganize to prepare for better vectorized first/last page andrew 2024-06-27 17:21:41 -07:00
  • a2bf839b19 Update corpus andrew 2024-06-27 17:11:03 -07:00
  • c065b185ae Vectorize inner page check for Node256 andrew 2024-06-27 17:09:45 -07:00
  • 639518bed4 Share "scan16" between Node16 and Node48 andrew 2024-06-27 13:22:51 -07:00
  • 7de983cc15 Simd bounds checking for scan for Node16 andrew 2024-06-27 13:06:15 -07:00
  • 1b4b61ddc6 Write Node16 scan in a "more vectorized" style andrew 2024-06-27 12:07:38 -07:00
  • bff7b85de2 Remove "Child" struct andrew 2024-06-27 10:03:14 -07:00
  • 9108ee209a SoA instead of AoS for child, maxVersion andrew 2024-06-27 09:57:54 -07:00
  • f8bf1c6eb4 Remove unreachable code andrew 2024-06-26 22:14:27 -07:00
  • 4da2a01614 Use single &, to show branch-free intent andrew 2024-06-26 22:14:05 -07:00
  • bb0e654040 Fix missed update for Node48::maxOfMax andrew 2024-06-26 22:11:33 -07:00
  • cce7d29410 Update our benchmarks in README andrew 2024-06-26 20:59:33 -07:00
  • 13f8d3fa8a Add benchmarks for individual spans, but commented out andrew 2024-06-26 20:57:51 -07:00
  • 02866a8cae Save some bounds checking for scanning Node256 andrew 2024-06-26 20:55:18 -07:00
  • fa86d3e707 "max of max" for Node48 again, but physical instead of logical andrew 2024-06-26 20:41:27 -07:00
  • 7d1d1d7b2a Maintain childMaxVersion == 0 for unused children in Node48 andrew 2024-06-26 20:16:50 -07:00
  • 789ecc29b3 Use unsigned compare trick to check in bounds andrew 2024-06-26 19:41:25 -07:00
  • 08f2998a85 Use 8 byte pages for "max of max" andrew 2024-06-26 19:18:38 -07:00
  • c882d7663d Maintain "reverseIndex" in Node48 andrew 2024-06-26 18:57:08 -07:00
  • bfea4384ba Branchless inner page check for Node256 andrew 2024-06-26 18:28:41 -07:00
  • 6520e3d734 "max of max" for Node48 andrew 2024-06-26 17:54:03 -07:00
  • 23ace8aac5 Fill in leftward on right side in worst case for radix tree bench andrew 2024-06-26 17:37:24 -07:00
  • 62e35de320 Update our benchmark in readme andrew 2024-06-26 16:36:02 -07:00
  • 22e4ab01a1 Track "max of max" versions in Node256 andrew 2024-06-26 16:28:24 -07:00
  • b3aeed0caa Warning: interface change! Require versions >= 0 andrew 2024-06-26 15:46:36 -07:00
  • 5f3833e965 Change maxVersion to return by value, and add setMaxVersion andrew 2024-06-26 15:33:15 -07:00
  • 8b1cd9c052 Minor improvements to checkMaxBetweenExclusive andrew 2024-06-26 15:06:50 -07:00
  • bb9bc3d7b5 Measure across different cardinalities for radix worst case bench andrew 2024-06-26 15:06:36 -07:00
  • 89b3354a80 Update README with new benchmark andrew 2024-06-25 21:47:46 -07:00
  • 488c723726 Improve worst-case radix tree checkRangeRead andrew 2024-06-25 21:20:36 -07:00
  • 76d0785b33 Add worst-case benchmark for radix tree andrew 2024-06-25 20:46:48 -07:00
  • add0af11ad Don't check paper/version.txt into version control andrew 2024-06-25 19:21:14 -07:00
  • 2c0adf4a8b Fix test-only bug in script test andrew 2024-06-25 19:20:19 -07:00
  • e8ac78cce6 Bump version andrew 2024-06-12 14:07:34 -07:00
  • 13d447c9fe Use version.txt instead of version.tex v0.0.6 andrew 2024-06-12 13:47:16 -07:00
  • da7523c5cf Add version to paper andrew 2024-06-12 13:34:35 -07:00
  • a074bc6f72 include(CTest) before BUILD_TESTING andrew 2024-06-11 16:21:38 -07:00
  • 1553a44986 Make possible to use from FetchContent andrew 2024-06-11 15:47:54 -07:00
  • 859ac352e6 Bump version andrew 2024-06-11 13:13:19 -07:00
  • 2eb461b8ea Fix build for llvm 18 v0.0.5 andrew 2024-06-11 11:38:55 -07:00
  • e2e92f4ef5 Address some feedback on paper andrew 2024-05-06 14:30:49 -07:00
  • f6f25cfcce Paper tweaks andrew 2024-04-22 15:26:00 -07:00
  • c13dc88ff4 Update corpus andrew 2024-04-22 14:39:31 -07:00
  • aa5dbb2887 Explicitly allow writeVersion to be non-decreasing andrew 2024-04-22 14:15:44 -07:00
  • ea76e04cda Fix weird-looking url in ubsan reference andrew 2024-04-19 15:19:39 -07:00
  • 452007e079 Change paper title to emphasize usefulness outside fdb andrew 2024-04-19 14:53:31 -07:00
  • 37c75f747b Draft Testing section andrew 2024-04-19 14:26:47 -07:00
  • c96d682483 Fix memory error when SHOW_MEMORY = 1 andrew 2024-04-19 11:28:49 -07:00
  • 6e63fd5126 Add internal entry points, with test coverage andrew 2024-04-19 11:23:25 -07:00
  • f2678de811 Preserve version in clearConflictSet in fdb patch andrew 2024-04-19 11:00:43 -07:00
  • 4d7ad075b2 Bump version andrew 2024-04-18 14:32:51 -07:00
  • d2e1863593 Account for every uncovered line in the implementation v0.0.4 andrew 2024-04-18 12:27:20 -07:00
  • bf91bca16d Include long common prefix in fuzz test andrew 2024-04-18 11:49:41 -07:00