Skip to content

Latest commit

 

History

History
34 lines (25 loc) · 2.36 KB

README.md

File metadata and controls

34 lines (25 loc) · 2.36 KB

Ryan's Adaptive Radix Tree

This is yet another implementation of an Adaptive Radix Tree (ART) in Rust. ARTs are an ordered associative (key-value) structure that outperform BTrees for many use cases.

The implementation is based on the paper The Adaptive Radix Tree: ARTful Indexing for Main-Memory Databases by Viktor Leis, Alfons Kemper, and Thomas Neumann.

I have not (yet) implemented the concurrent form described in later papers.

During implementation I looked at the following implementations, and borrowed some flow and ideas from them:

Performance boost can be gained through fixed sized keys and partials. There are a selection of key types and partials provided under the partials module.

I believe my implementation to be competitive, performance wise. The included benches compare against BTreeMap, HashMap, and art-rs and show what you'd expect: performance between a hashtable and a btree for random inserts and retrievals, but sequential inserts and retrievals are much faster than either.

Some notes:

  • Minimal external dependencies.
  • Compiles for stable Rust.
  • There are some bits of compartmentalized unsafe code for performance reasons, but the public API is safe.
  • Uses explicit SIMD optimizations for x86 SSE for the 16-child inner keyed node; an implementation for ARM NEON is also there, but doesn't really provide much performance benefit.
  • A fuzz test (under fuzz/) is included, but will fully work for nightly only. Has already been used to identify some bugs
  • So Much Depends On The Choice of Key & Partial Implementation. Fixed size stack allocated keys and partials
    outperform dynamic sized keys and partials in benchmarks. So generally, ArrayKey/ArrayPartial is the way to go.
  • The ergonomics of key creation is not great, but I'm not sure how to improve it. Suggestions welcome.
  • Room for optimization in range query optimizations, where plenty of unnecessary copy operations are performed.

More documentation to come. Still working at smoothing the rough corners. Contributions welcome.