jallum / bedrock / 40ef57ccde65baee98f2c91c69d71db3320b6f22

65%

Build Type

push

github

Committed by web-flow

Commit Message

Reworked conflict resolution; A little zippier (#54)

Original Problem: Production resolver had 99ms delays with 20,800+ point
writes due to using O(log n) interval trees for O(1) point operations.

Fix: Separated points (MapSet) from ranges (Tree) achieving ~800x faster
conflict resolution and ~150x faster detection, reducing delays from
99ms to <1ms.

Core Architecture:
- New Conflicts module: Replaced tree-based conflict tracking with
MapSets for O(1) points + trees for O(log n) ranges (only needed for
clears)
- All point-checks are done first, accumulating range trees. Trees only
checked if all of the cheaper point-checks pass.
- Fixed MVCC semantics: Only check read-write conflicts (not write-write
conflicts)
- Version merging: add_conflicts() merges same-version entries to reduce
traversal overhead
  - Eliminated duplicate separate_conflicts() calls

Performance:
  - Added early exit optimization and direct recursion
  - Removed global tree, saving 50% memory for ranges
  - Updated benchmarks, maintaining ~23K transactions/sec

Run Details

47 of 67 new or added lines in 4 files covered. (70.15%)

21 existing lines in 4 files now uncovered.

3876 of 5944 relevant lines covered (65.21%)

508.43 hits per line