SKL

[

][Github-url] [

][CI-url] [

][codecov-url] [

][doc-url] [

][crates-url] [

][rustc-url] [

][license-apache-url] [

][license-mit-url] A lock-free thread-safe concurrent ARENA based skiplist implementation which helps develop MVCC memtable.

Installation

toml [dependencies] skl = "0.3"

Example

```rust use skl::Skiplist; use std::sync::Arc;

fn main() { const N: usize = 1000; let l = Arc::new(Skiplist::new(1 << 20)); let wg = Arc::new(()); for i in 0..N { let w = wg.clone(); let l = l.clone(); std::thread::spawn(move || { l.insert(key(i), newvalue(i)); drop(w); }); } while Arc::strongcount(&wg) > 1 {} for i in 0..N { let w = wg.clone(); let l = l.clone(); std::thread::spawn(move || { asserteq!( l.get(key(i)).unwrap().asvalueref(), newvalue(i).asvalueref(), "broken: {i}" ); drop(w); }); } } ```

Tests

test:

sh cargo test --all-features
miri:

sh cargo miri test --all-features

Support Platforms

| targets | status | |:-----------------------------:|:---------:| | aarch64-linux-android | ✅ | | aarch64-unknown-linux-gnu | ✅ | | aarch64-unknown-linux-musl | ✅ | | i686-pc-windows-gnu | ✅ | | i686-linux-android | ✅ | | i686-unknown-linux-gnu | ✅ | | mips64-unknown-linux-gnuabi64 | ✅ | | powerpc64-unknown-linux-gnu | ✅ | | riscv64gc-unknown-linux-gnu | ✅ | | wasm32-unknown-unknown | ✅ | | wasm32-unknown-emscripten | ✅ | | x8664-unknown-linux-gnu | ✅ | | x8664-pc-windows-gnu | ✅ | | x86_64-linux-android | ✅ |

TODO (help wanted)

[x] make the crate test cases pass cargo miri
[ ] make the crate test cases pass cargo loom

License

skl-rs is under the terms of both the MIT license and the Apache License (Version 2.0).

See LICENSE-APACHE, LICENSE-MIT for details.