[−][src]Crate tokio_lk
Tokio-lk
** A lock-by-id future for tokio **
Lock
future will return Guard
once it gets the mutex.
to hold the lock in subsequent futures, move the Guard
inside the future output.
to release the mutex, simply drops the Guard
from your future chain.
Each Lock
object is assigned an unique id.
The uniqueness is promised until USIZE_MAX of id gets generated.
Make sure old Locks are dropped before you generate new Locks above this amount.
Example:
use std::collections::HashMap; use std::sync::{Arc, RwLock}; use std::time::{Duration, Instant}; use tokio_lk::*; use tokio::prelude::*; use tokio::runtime::Runtime; use tokio::timer::Delay; let mut rt = Runtime::new().unwrap(); let map = Arc::new(RwLock::new(HashMap::new())); let now = Instant::now(); // this task will compete with task2 for lock at id 1 let task1 = Lock::fnew(1, map.clone()) .and_then(|lock| Ok(lock)) .and_then(|guard| { Delay::new(Instant::now() + Duration::from_millis(100)) .map_err(|_| ()) .map(move |_| guard) }) .and_then(|_| Ok(())); // this task will compete with task1 for lock at id 1 let task2 = Lock::fnew(1, map.clone()) .and_then(|lock| Ok(lock)) .and_then(|guard| { Delay::new(Instant::now() + Duration::from_millis(100)) .map_err(|_| ()) .map(move |_| guard) }) .and_then(|_| Ok(())); // no other task compete for lock at id 2 let task3 = Lock::fnew(2, map.clone()) .and_then(|lock| Ok(lock)) .and_then(|guard| { Delay::new(Instant::now() + Duration::from_millis(100)) .map_err(|_| ()) .map(move |_| guard) }) .and_then(|_| Ok(())); rt.block_on(task1.join3(task2, task3)).unwrap();
Benchmark
to run the benchmark, execute the following command in the prompt:
cargo bench -- --nocapture
The lock1000_parallel
benchmark is to run 1000 futures locked by a single lock to update the
counter.
The lock1000_serial
benchmark is to run run similar operations in a single thread.
Currently our implementation is about 8 times slower than the single threaded version.
Structs
Guard | the |
Lock | Lock future struct |
Type Definitions
MapType | the map type used to store lock keys |