skl 0.3.0

A lock-free thread-safe concurrent ARENA based skiplist implementation which helps develop MVCC memtable.

Installation

[dependencies]
skl = "0.3"

Example

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), new_value(i));
            drop(w);
        });
    }
    while Arc::strong_count(&wg) > 1 {}
    for i in 0..N {
        let w = wg.clone();
        let l = l.clone();
        std::thread::spawn(move || {
            assert_eq!(
                l.get(key(i)).unwrap().as_value_ref(),
                new_value(i).as_value_ref(),
                "broken: {i}"
            );
            drop(w);
        });
    }
}

Tests

• test:

  cargo test --all-features
  

• miri:

  cargo miri test --all-features
  

Support Platforms

TODO (help wanted)

• 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.

Copyright (c) 2022 Al Liu.