Pascal Seitz 82bee54a00 block_search: drop unsafe indexing, remove K=64 ...

For K∈{2,4,8,16,32} LLVM proves the index bounds and elides the checks,
so get_unchecked buys nothing on the production K=8 path. K=64 was the
only value that defeated bounds-check elision (one check in the tail
scan) and it was instantiated in tests only — drop it.

block_search: cite the k-ary search paper

Document that kary_search is the 'k-ary search on a sorted array' variant
from Schlegel, Gemulla & Lehner (DaMoN 2009), specialized to a lower-bound.

2026-07-02 18:27:40 +02:00

..

compression

10% faster intersections: Use k-ary in block search

2026-07-02 18:27:40 +02:00

block_search.rs

block_search: drop unsafe indexing, remove K=64

2026-07-02 18:27:40 +02:00

block_segment_postings.rs

Add BlockSegmentPostings::rank() for skip-list-based positional counting

2026-06-15 18:56:49 +08:00

indexing_context.rs

collect json paths in indexing (#2231)

2023-11-01 11:25:17 +01:00

json_postings_writer.rs

feat: Restore index sorting (#2959)

2026-06-22 11:22:25 -07:00

loaded_postings.rs

clippy (#2527)

2024-10-22 09:26:54 +08:00

mod.rs

10% faster intersections: Use k-ary in block search

2026-07-02 18:27:40 +02:00

per_field_postings_writer.rs

fix clippy (#1725)

2022-12-20 07:30:06 +01:00

postings_writer.rs

feat: Restore index sorting (#2959)

2026-06-22 11:22:25 -07:00

postings.rs

add RegexPhraseQuery (#2516)

2024-10-21 18:29:17 +08:00

recorder.rs

feat: Restore index sorting (#2959)

2026-06-22 11:22:25 -07:00

segment_postings.rs

Bugfix on intersection. (#2812)

2026-01-27 09:21:09 +01:00

serializer.rs

make serializer pub (#2835)

2026-02-11 14:37:42 +01:00

skip.rs

Add BlockSegmentPostings::rank() for skip-list-based positional counting

2026-06-15 18:56:49 +08:00

term_info.rs

clippy (#2349)

2024-04-09 07:54:44 +02:00