A LSM-based Key-Value Store in Rust
There is no open-source LSM-based key-value store in Rust natively. Some crates are either a wrapper to Google's LevelDB or Facebook's RocksDB, or not support full functionality of LevelDB or RocksDB. Rust is becoming more and more popular in Database, Blockchain, etc. A rust-native implementation of LSM is in need for a lot of projects.
Good performance
- Draw experience of around a decade's research in write-optimized data structures (LSM or Be-tree)
- Take range query performance in conderataion by design
- Aim for fast storage devices (NVMe)
Modular design
- Design each component to be pluggable so that different implementation choice can be evaluated and compared
Verified features
- Take advantage of the rapid advacement of verification techniques to implement provable features (crash consitency, liveness, etc)
Minimize human-labor
- Try program systheis technique as much as possible
[1] Using lightweight formal methods to validate a key-value storage node in Amazon S3