mirror of
https://github.com/bertptrs/tracing-mutex.git
synced 2025-12-25 20:50:32 +01:00
Compare commits
75 Commits
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
43df59ac1c | ||
| 1fe44d0a05 | |||
| c9083c8bc1 | |||
|
|
d8c559fd3f | ||
| a8e8af6351 | |||
| 068303d81d | |||
| 6be3e05cab | |||
| 909e934572 | |||
|
|
0ae544a07a | ||
| 4148d509bf | |||
| fc1593b76f | |||
| 8f19921e9e | |||
| 00420d6807 | |||
| 49b15bb6bd | |||
| 29c9daf53e | |||
|
|
8feedb09d2 | ||
| de9888a102 | |||
| 2d2e03eede | |||
| e9b577a0f5 | |||
| 5f6823394d | |||
|
|
61d19f866c | ||
| f78969ebf7 | |||
| 56b0604448 | |||
| 6e5516eaa7 | |||
| 764d3df454 | |||
|
|
e543860d8b | ||
|
|
ed04552af3 | ||
|
|
c5a506436c | ||
| 33cb6014a3 | |||
| 5232bac582 | |||
|
|
6472f4b807 | ||
| 6afe7b1c48 | |||
| 9238ef53ee | |||
|
|
c08addff7d | ||
|
|
c1ce9df8ad | ||
| 312eaa8649 | |||
|
|
1f7e6921aa | ||
| f7048f265f | |||
| 64e56fdb86 | |||
|
|
8e3278fdd2 | ||
| 9ea993e737 | |||
| 062850fc3e | |||
| 0d2622d5c6 | |||
| d1417e0b0c | |||
| fcc64e2cef | |||
| fd0d05307c | |||
| 2f6e214784 | |||
| 3ec7e83e00 | |||
| ea8e0208a0 | |||
| 8926af4e13 | |||
| 77676ea04d | |||
| 46c92cfbbf | |||
|
|
743cc83669 | ||
| 4faaae8d8f | |||
|
|
b78af9150d | ||
| 515930c0a2 | |||
|
|
b5a5ca16c3 | ||
| aef99d4f65 | |||
|
|
6073c6c78d | ||
| cdd44f74fa | |||
| 38b3b226cc | |||
| 3b9b908460 | |||
| ef421e20eb | |||
| 66576e5b0e | |||
| 308af218e1 | |||
| 79ed599a2f | |||
| 680e335ccf | |||
| 17761af5a8 | |||
| 4c70d999d6 | |||
| 618a11f940 | |||
| 77cd603363 | |||
| 73b4c8b1af | |||
| b21a63e74b | |||
| 6a3cb83d01 | |||
| 08cfb17234 |
41
.github/workflows/ci.yml
vendored
41
.github/workflows/ci.yml
vendored
@@ -2,45 +2,50 @@ on:
|
|||||||
push:
|
push:
|
||||||
branches:
|
branches:
|
||||||
- master
|
- master
|
||||||
|
- staging
|
||||||
|
- trying
|
||||||
pull_request:
|
pull_request:
|
||||||
|
|
||||||
name: Continuous integration
|
name: Continuous integration
|
||||||
|
|
||||||
jobs:
|
jobs:
|
||||||
ci:
|
tests:
|
||||||
name: Rust project
|
name: Rust project
|
||||||
runs-on: ubuntu-latest
|
runs-on: ubuntu-latest
|
||||||
strategy:
|
strategy:
|
||||||
matrix:
|
matrix:
|
||||||
rust:
|
rust:
|
||||||
|
- "1.70" # minimum stable rust version
|
||||||
- stable
|
- stable
|
||||||
- beta
|
- beta
|
||||||
- nightly
|
- nightly
|
||||||
|
|
||||||
steps:
|
steps:
|
||||||
- uses: actions/checkout@v2
|
- uses: actions/checkout@v3
|
||||||
|
|
||||||
- uses: actions-rs/toolchain@v1
|
- uses: dtolnay/rust-toolchain@v1
|
||||||
with:
|
with:
|
||||||
profile: minimal
|
|
||||||
toolchain: ${{ matrix.rust }}
|
toolchain: ${{ matrix.rust }}
|
||||||
override: true
|
|
||||||
components: rustfmt, clippy
|
components: rustfmt, clippy
|
||||||
|
|
||||||
- uses: actions-rs/cargo@v1
|
- run: cargo build --all-features --all-targets
|
||||||
with:
|
- run: cargo test --all-features
|
||||||
command: build
|
- run: cargo fmt --all -- --check
|
||||||
|
- run: cargo clippy --all-features --all-targets -- -D warnings
|
||||||
|
|
||||||
- uses: actions-rs/cargo@v1
|
docs:
|
||||||
with:
|
name: Documentation build
|
||||||
command: test
|
runs-on: ubuntu-latest
|
||||||
|
|
||||||
- uses: actions-rs/cargo@v1
|
steps:
|
||||||
with:
|
- uses: actions/checkout@v3
|
||||||
command: fmt
|
|
||||||
args: --all -- --check
|
|
||||||
|
|
||||||
- uses: actions-rs/cargo@v1
|
- uses: dtolnay/rust-toolchain@v1
|
||||||
with:
|
with:
|
||||||
command: clippy
|
toolchain: nightly
|
||||||
args: -- -D warnings
|
|
||||||
|
- name: Build documentation
|
||||||
|
env:
|
||||||
|
# Build the docs like docs.rs builds it
|
||||||
|
RUSTDOCFLAGS: --cfg docsrs
|
||||||
|
run: cargo doc --all-features
|
||||||
|
|||||||
75
CHANGELOG.md
75
CHANGELOG.md
@@ -6,6 +6,70 @@ adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
|
|||||||
|
|
||||||
## [Unreleased]
|
## [Unreleased]
|
||||||
|
|
||||||
|
## [0.3.0] - 2023-09-09
|
||||||
|
|
||||||
|
### Added
|
||||||
|
|
||||||
|
- The minimum supported Rust version is now defined as 1.70. Previously it was undefined.
|
||||||
|
- Wrappers for `std::sync` primitives can now be `const` constructed.
|
||||||
|
- Add support for `std::sync::OnceLock`
|
||||||
|
- Added backtraces of mutex allocations to the cycle report. Capturing backtraces does incur some
|
||||||
|
overhead, this can be mitigated by disabling the `backtraces` feature which is enabled by default.
|
||||||
|
|
||||||
|
### Breaking
|
||||||
|
|
||||||
|
- Update [`parking_lot`][parking_lot] dependency to `0.12`.
|
||||||
|
- Restructured the crate to reduce typename verbosity. Wrapper names now match the name of the
|
||||||
|
primitive they wrap. Specific always/debug tracing versions have now moved to separate modules.
|
||||||
|
For example, `tracing_mutex::stdsync::TracingMutex` is now
|
||||||
|
`tracing_mutex::stdsync::tracing::Mutex`, and `tracing_mutex::stdsync::DebugMutex` is now called
|
||||||
|
`tracing_mutex::stdsync::Mutex`. This hopefully reduces the visual noise while reading code that
|
||||||
|
uses this in practice. Unwrapped primitives are reexported under `tracing_mutex::stdsync::raw` for
|
||||||
|
convenience.
|
||||||
|
|
||||||
|
### Fixed
|
||||||
|
|
||||||
|
- Enforce that all internal mutex guards are `!Send`. They already should be according to other
|
||||||
|
reasons, but this adds extra security through the type system.
|
||||||
|
|
||||||
|
## [0.2.1] - 2022-05-23
|
||||||
|
|
||||||
|
### Added
|
||||||
|
|
||||||
|
- Build [docs.rs] documentation with all features enabled for completeness.
|
||||||
|
- Add support for `std::sync::Condvar`
|
||||||
|
|
||||||
|
### Fixed
|
||||||
|
|
||||||
|
- The `parkinglot` module is now correctly enabled by the `parkinglot` feature rather than the
|
||||||
|
`lockapi` feature.
|
||||||
|
|
||||||
|
## [0.2.0] - 2022-05-07
|
||||||
|
|
||||||
|
### Added
|
||||||
|
- Generic support for wrapping mutexes that implement the traits provided by the
|
||||||
|
[`lock_api`][lock_api] crate. This can be used for creating support for other mutex providers that
|
||||||
|
implement it.
|
||||||
|
|
||||||
|
- Support for [`parking_lot`][parking_lot] mutexes. Support includes type aliases for all
|
||||||
|
provided mutex types as well as a dedicated `Once` wrapper.
|
||||||
|
|
||||||
|
- Simple benchmark to track the rough performance penalty incurred by dependency tracking.
|
||||||
|
|
||||||
|
### Breaking
|
||||||
|
|
||||||
|
- The library now requires edition 2021.
|
||||||
|
|
||||||
|
- The `Mutex`- and `RwLockGuards` now dereference to `T` rather than the lock guard they wrap. This
|
||||||
|
is technically a bugfix but can theoretically break existing code.
|
||||||
|
|
||||||
|
- Self-cycles are no longer allowed for lock dependencies. They previously were because it usually
|
||||||
|
isn't a problem, but it can create RWR deadlocks with `RwLocks`.
|
||||||
|
|
||||||
|
### Changed
|
||||||
|
|
||||||
|
- The project now targets edition 2021
|
||||||
|
|
||||||
## [0.1.2] - 2021-05-27
|
## [0.1.2] - 2021-05-27
|
||||||
|
|
||||||
### Added
|
### Added
|
||||||
@@ -29,7 +93,14 @@ adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
|
|||||||
|
|
||||||
Initial release.
|
Initial release.
|
||||||
|
|
||||||
[Unreleased]: https://github.com/bertptrs/tracing-mutex/compare/v0.1.2...HEAD
|
[Unreleased]: https://github.com/bertptrs/tracing-mutex/compare/v0.3.0...HEAD
|
||||||
[0.1.2]: https://github.com/bertptrs/tracing-mutex/compare/v0.1.2...v0.1.2
|
[0.3.0]: https://github.com/bertptrs/tracing-mutex/compare/v0.2.1...v0.3.0
|
||||||
|
[0.2.1]: https://github.com/bertptrs/tracing-mutex/compare/v0.2.0...v0.2.1
|
||||||
|
[0.2.0]: https://github.com/bertptrs/tracing-mutex/compare/v0.1.2...v0.2.0
|
||||||
|
[0.1.2]: https://github.com/bertptrs/tracing-mutex/compare/v0.1.1...v0.1.2
|
||||||
[0.1.1]: https://github.com/bertptrs/tracing-mutex/compare/v0.1.0...v0.1.1
|
[0.1.1]: https://github.com/bertptrs/tracing-mutex/compare/v0.1.0...v0.1.1
|
||||||
[0.1.0]: https://github.com/bertptrs/tracing-mutex/releases/tag/v0.1.0
|
[0.1.0]: https://github.com/bertptrs/tracing-mutex/releases/tag/v0.1.0
|
||||||
|
|
||||||
|
[docs.rs]: https://docs.rs/tracing-mutex/latest/tracing_mutex/
|
||||||
|
[lock_api]: https://docs.rs/lock_api/
|
||||||
|
[parking_lot]: https://docs.rs/parking_lot/
|
||||||
|
|||||||
26
Cargo.toml
26
Cargo.toml
@@ -1,8 +1,8 @@
|
|||||||
[package]
|
[package]
|
||||||
name = "tracing-mutex"
|
name = "tracing-mutex"
|
||||||
version = "0.1.2"
|
version = "0.3.0"
|
||||||
authors = ["Bert Peters <bert@bertptrs.nl>"]
|
authors = ["Bert Peters <bert@bertptrs.nl>"]
|
||||||
edition = "2018"
|
edition = "2021"
|
||||||
license = "MIT OR Apache-2.0"
|
license = "MIT OR Apache-2.0"
|
||||||
documentation = "https://docs.rs/tracing-mutex"
|
documentation = "https://docs.rs/tracing-mutex"
|
||||||
categories = ["concurrency", "development-tools::debugging"]
|
categories = ["concurrency", "development-tools::debugging"]
|
||||||
@@ -10,9 +10,29 @@ keywords = ["mutex", "rwlock", "once", "thread"]
|
|||||||
description = "Ensure deadlock-free mutexes by allocating in order, or else."
|
description = "Ensure deadlock-free mutexes by allocating in order, or else."
|
||||||
readme = "README.md"
|
readme = "README.md"
|
||||||
repository = "https://github.com/bertptrs/tracing-mutex"
|
repository = "https://github.com/bertptrs/tracing-mutex"
|
||||||
|
rust-version = "1.70"
|
||||||
|
|
||||||
|
[package.metadata.docs.rs]
|
||||||
|
# Build docs for all features so the documentation is more complete
|
||||||
|
all-features = true
|
||||||
|
# Set custom cfg so we can enable docs.rs magic
|
||||||
|
rustdoc-args = ["--cfg", "docsrs"]
|
||||||
|
|
||||||
[dependencies]
|
[dependencies]
|
||||||
lazy_static = "1"
|
lock_api = { version = "0.4", optional = true }
|
||||||
|
parking_lot = { version = "0.12", optional = true }
|
||||||
|
|
||||||
[dev-dependencies]
|
[dev-dependencies]
|
||||||
|
criterion = "0.5"
|
||||||
rand = "0.8"
|
rand = "0.8"
|
||||||
|
|
||||||
|
[[bench]]
|
||||||
|
name = "mutex"
|
||||||
|
harness = false
|
||||||
|
|
||||||
|
[features]
|
||||||
|
default = ["backtraces"]
|
||||||
|
backtraces = []
|
||||||
|
# Feature names do not match crate names pending namespaced features.
|
||||||
|
lockapi = ["lock_api"]
|
||||||
|
parkinglot = ["parking_lot", "lockapi"]
|
||||||
|
|||||||
@@ -186,7 +186,7 @@ APPENDIX: How to apply the Apache License to your work.
|
|||||||
same "printed page" as the copyright notice for easier
|
same "printed page" as the copyright notice for easier
|
||||||
identification within third-party archives.
|
identification within third-party archives.
|
||||||
|
|
||||||
Copyright [yyyy] [name of copyright owner]
|
Copyright 2022 Bert Peters
|
||||||
|
|
||||||
Licensed under the Apache License, Version 2.0 (the "License");
|
Licensed under the Apache License, Version 2.0 (the "License");
|
||||||
you may not use this file except in compliance with the License.
|
you may not use this file except in compliance with the License.
|
||||||
|
|||||||
@@ -1,4 +1,4 @@
|
|||||||
Copyright © 2021 Bert Peters
|
Copyright © 2022 Bert Peters
|
||||||
|
|
||||||
Permission is hereby granted, free of charge, to any person obtaining a copy of this software and
|
Permission is hereby granted, free of charge, to any person obtaining a copy of this software and
|
||||||
associated documentation files (the “Software”), to deal in the Software without restriction,
|
associated documentation files (the “Software”), to deal in the Software without restriction,
|
||||||
|
|||||||
26
README.md
26
README.md
@@ -23,10 +23,12 @@ tree out of it, and panics if your dependencies would create a cycle. It provide
|
|||||||
existing synchronization primitives with an identical API, and should be a drop-in replacement.
|
existing synchronization primitives with an identical API, and should be a drop-in replacement.
|
||||||
|
|
||||||
Inspired by [this blogpost][whileydave], which references a similar behaviour implemented by
|
Inspired by [this blogpost][whileydave], which references a similar behaviour implemented by
|
||||||
[Abseil][abseil-mutex] for their mutexes.
|
[Abseil][abseil-mutex] for their mutexes. [This article goes into more depth on the exact
|
||||||
|
implementation.][article]
|
||||||
|
|
||||||
[whileydave]: https://whileydave.com/2020/12/19/dynamic-cycle-detection-for-lock-ordering/
|
[whileydave]: https://whileydave.com/2020/12/19/dynamic-cycle-detection-for-lock-ordering/
|
||||||
[abseil-mutex]: https://abseil.io/docs/cpp/guides/synchronization
|
[abseil-mutex]: https://abseil.io/docs/cpp/guides/synchronization
|
||||||
|
[article]: https://bertptrs.nl/2022/06/23/deadlock-free-mutexes-and-directed-acyclic-graphs.html
|
||||||
|
|
||||||
## Usage
|
## Usage
|
||||||
|
|
||||||
@@ -34,7 +36,7 @@ Add this dependency to your `Cargo.lock` file like any other:
|
|||||||
|
|
||||||
```toml
|
```toml
|
||||||
[dependencies]
|
[dependencies]
|
||||||
tracing-mutex = "0.1"
|
tracing-mutex = "0.2"
|
||||||
```
|
```
|
||||||
|
|
||||||
Then use the locks provided by this library instead of the ones you would use otherwise.
|
Then use the locks provided by this library instead of the ones you would use otherwise.
|
||||||
@@ -42,9 +44,9 @@ Replacements for the synchronization primitives in `std::sync` can be found in t
|
|||||||
Support for other synchronization primitives is planned.
|
Support for other synchronization primitives is planned.
|
||||||
|
|
||||||
```rust
|
```rust
|
||||||
use tracing_mutex::stdsync::TracingMutex;
|
use tracing_mutex::stdsync::Mutex;
|
||||||
|
|
||||||
let some_mutex = TracingMutex::new(42);
|
let some_mutex = Mutex::new(42);
|
||||||
*some_mutex.lock().unwrap() += 1;
|
*some_mutex.lock().unwrap() += 1;
|
||||||
println!("{:?}", some_mutex);
|
println!("{:?}", some_mutex);
|
||||||
```
|
```
|
||||||
@@ -59,12 +61,26 @@ performance penalty in your production environment, this library also offers deb
|
|||||||
when debug assertions are enabled, and to `Mutex` when they are not. Similar helper types are
|
when debug assertions are enabled, and to `Mutex` when they are not. Similar helper types are
|
||||||
available for other synchronization primitives.
|
available for other synchronization primitives.
|
||||||
|
|
||||||
|
The minimum supported Rust version is 1.70. Increasing this is not considered a breaking change, but
|
||||||
|
will be avoided within semver-compatible releases if possible.
|
||||||
|
|
||||||
|
### Features
|
||||||
|
|
||||||
|
- Dependency-tracking wrappers for all locking primitives
|
||||||
|
- Optional opt-out for release mode code
|
||||||
|
- Support for primitives from:
|
||||||
|
- `std::sync`
|
||||||
|
- `parking_lot`
|
||||||
|
- Any library that implements the `lock_api` traits
|
||||||
|
|
||||||
## Future improvements
|
## Future improvements
|
||||||
|
|
||||||
- Improve performance in lock tracing
|
- Improve performance in lock tracing
|
||||||
- Optional logging to make debugging easier
|
- Optional logging to make debugging easier
|
||||||
- Better and configurable error handling when detecting cyclic dependencies
|
- Better and configurable error handling when detecting cyclic dependencies
|
||||||
- Support for other locking libraries, such as `parking_lot`
|
- Support for other locking libraries
|
||||||
|
- Support for async locking libraries
|
||||||
|
- Support for `Send` mutex guards
|
||||||
|
|
||||||
**Note:** `parking_lot` has already began work on its own deadlock detection mechanism, which works
|
**Note:** `parking_lot` has already began work on its own deadlock detection mechanism, which works
|
||||||
in a different way. Both can be complimentary.
|
in a different way. Both can be complimentary.
|
||||||
|
|||||||
82
benches/mutex.rs
Normal file
82
benches/mutex.rs
Normal file
@@ -0,0 +1,82 @@
|
|||||||
|
use std::sync::Arc;
|
||||||
|
use std::sync::Mutex;
|
||||||
|
|
||||||
|
use criterion::criterion_group;
|
||||||
|
use criterion::criterion_main;
|
||||||
|
use criterion::BenchmarkId;
|
||||||
|
use criterion::Criterion;
|
||||||
|
use criterion::Throughput;
|
||||||
|
use rand::prelude::*;
|
||||||
|
use tracing_mutex::stdsync::tracing::Mutex as TracingMutex;
|
||||||
|
|
||||||
|
const SAMPLE_SIZES: [usize; 5] = [10, 30, 100, 300, 1000];
|
||||||
|
|
||||||
|
/// Reproducibly generate random combinations a, b where the index(a) < index(b)
|
||||||
|
///
|
||||||
|
/// All combinations are generated
|
||||||
|
fn generate_combinations<T>(options: &[Arc<T>]) -> Vec<(Arc<T>, Arc<T>)> {
|
||||||
|
let mut combinations = Vec::new();
|
||||||
|
|
||||||
|
for (i, first) in options.iter().enumerate() {
|
||||||
|
for second in options.iter().skip(i + 1) {
|
||||||
|
combinations.push((Arc::clone(first), Arc::clone(second)));
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
let mut rng = StdRng::seed_from_u64(42);
|
||||||
|
|
||||||
|
combinations.shuffle(&mut rng);
|
||||||
|
|
||||||
|
combinations
|
||||||
|
}
|
||||||
|
|
||||||
|
/// Take two arbitrary mutexes, lock the first, lock the second while holding the first.
|
||||||
|
fn benchmark_baseline(c: &mut Criterion) {
|
||||||
|
let mut group = c.benchmark_group("baseline");
|
||||||
|
|
||||||
|
for nodes in SAMPLE_SIZES {
|
||||||
|
group.throughput(Throughput::Elements((nodes * (nodes - 1) / 2) as u64));
|
||||||
|
group.bench_with_input(BenchmarkId::from_parameter(nodes), &nodes, |b, &s| {
|
||||||
|
b.iter_batched(
|
||||||
|
|| {
|
||||||
|
let mutexes: Vec<_> = (0..s).map(|_| Arc::new(Mutex::new(()))).collect();
|
||||||
|
generate_combinations(&mutexes)
|
||||||
|
},
|
||||||
|
|combinations| {
|
||||||
|
for (first, second) in combinations {
|
||||||
|
let _first = first.lock();
|
||||||
|
let _second = second.lock();
|
||||||
|
}
|
||||||
|
},
|
||||||
|
criterion::BatchSize::SmallInput,
|
||||||
|
)
|
||||||
|
});
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
/// Same as [`benchmark_baseline`] but now while tracking dependencies.
|
||||||
|
fn benchmark_tracing_mutex(c: &mut Criterion) {
|
||||||
|
let mut group = c.benchmark_group("tracing_mutex");
|
||||||
|
|
||||||
|
for nodes in SAMPLE_SIZES {
|
||||||
|
group.throughput(Throughput::Elements((nodes * (nodes - 1) / 2) as u64));
|
||||||
|
group.bench_with_input(BenchmarkId::from_parameter(nodes), &nodes, |b, &s| {
|
||||||
|
b.iter_batched(
|
||||||
|
|| {
|
||||||
|
let mutexes: Vec<_> = (0..s).map(|_| Arc::new(TracingMutex::new(()))).collect();
|
||||||
|
generate_combinations(&mutexes)
|
||||||
|
},
|
||||||
|
|combinations| {
|
||||||
|
for (first, second) in combinations {
|
||||||
|
let _first = first.lock();
|
||||||
|
let _second = second.lock();
|
||||||
|
}
|
||||||
|
},
|
||||||
|
criterion::BatchSize::SmallInput,
|
||||||
|
)
|
||||||
|
});
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
criterion_group!(benches, benchmark_baseline, benchmark_tracing_mutex);
|
||||||
|
criterion_main!(benches);
|
||||||
6
bors.toml
Normal file
6
bors.toml
Normal file
@@ -0,0 +1,6 @@
|
|||||||
|
status = [
|
||||||
|
'Rust project (1.70)',
|
||||||
|
'Rust project (stable)',
|
||||||
|
'Rust project (beta)',
|
||||||
|
'Documentation build',
|
||||||
|
]
|
||||||
26
examples/mutex_cycle.rs
Normal file
26
examples/mutex_cycle.rs
Normal file
@@ -0,0 +1,26 @@
|
|||||||
|
//! Show what a crash looks like
|
||||||
|
//!
|
||||||
|
//! This shows what a traceback of a cycle detection looks like. It is expected to crash.
|
||||||
|
use tracing_mutex::stdsync::Mutex;
|
||||||
|
|
||||||
|
fn main() {
|
||||||
|
let a = Mutex::new(());
|
||||||
|
let b = Mutex::new(());
|
||||||
|
let c = Mutex::new(());
|
||||||
|
|
||||||
|
// Create an edge from a to b
|
||||||
|
{
|
||||||
|
let _a = a.lock();
|
||||||
|
let _b = b.lock();
|
||||||
|
}
|
||||||
|
|
||||||
|
// Create an edge from b to c
|
||||||
|
{
|
||||||
|
let _b = b.lock();
|
||||||
|
let _c = c.lock();
|
||||||
|
}
|
||||||
|
|
||||||
|
// Now crash by trying to add an edge from c to a
|
||||||
|
let _c = c.lock();
|
||||||
|
let _a = a.lock(); // This line will crash
|
||||||
|
}
|
||||||
149
src/graph.rs
149
src/graph.rs
@@ -1,5 +1,5 @@
|
|||||||
use std::array::IntoIter;
|
|
||||||
use std::cell::Cell;
|
use std::cell::Cell;
|
||||||
|
use std::collections::hash_map::Entry;
|
||||||
use std::collections::HashMap;
|
use std::collections::HashMap;
|
||||||
use std::collections::HashSet;
|
use std::collections::HashSet;
|
||||||
use std::hash::Hash;
|
use std::hash::Hash;
|
||||||
@@ -20,23 +20,24 @@ type Order = usize;
|
|||||||
/// visibly changed.
|
/// visibly changed.
|
||||||
///
|
///
|
||||||
/// [paper]: https://whileydave.com/publications/pk07_jea/
|
/// [paper]: https://whileydave.com/publications/pk07_jea/
|
||||||
#[derive(Default, Debug)]
|
#[derive(Debug)]
|
||||||
pub struct DiGraph<V>
|
pub struct DiGraph<V, E>
|
||||||
where
|
where
|
||||||
V: Eq + Hash + Copy,
|
V: Eq + Hash + Copy,
|
||||||
{
|
{
|
||||||
nodes: HashMap<V, Node<V>>,
|
nodes: HashMap<V, Node<V, E>>,
|
||||||
/// Next topological sort order
|
// Instead of reordering the orders in the graph whenever a node is deleted, we maintain a list
|
||||||
next_ord: Order,
|
// of unused ids that can be handed out later again.
|
||||||
|
unused_order: Vec<Order>,
|
||||||
}
|
}
|
||||||
|
|
||||||
#[derive(Debug)]
|
#[derive(Debug)]
|
||||||
struct Node<V>
|
struct Node<V, E>
|
||||||
where
|
where
|
||||||
V: Eq + Hash + Clone,
|
V: Eq + Hash + Clone,
|
||||||
{
|
{
|
||||||
in_edges: HashSet<V>,
|
in_edges: HashSet<V>,
|
||||||
out_edges: HashSet<V>,
|
out_edges: HashMap<V, E>,
|
||||||
// The "Ord" field is a Cell to ensure we can update it in an immutable context.
|
// The "Ord" field is a Cell to ensure we can update it in an immutable context.
|
||||||
// `std::collections::HashMap` doesn't let you have multiple mutable references to elements, but
|
// `std::collections::HashMap` doesn't let you have multiple mutable references to elements, but
|
||||||
// this way we can use immutable references and still update `ord`. This saves quite a few
|
// this way we can use immutable references and still update `ord`. This saves quite a few
|
||||||
@@ -44,7 +45,7 @@ where
|
|||||||
ord: Cell<Order>,
|
ord: Cell<Order>,
|
||||||
}
|
}
|
||||||
|
|
||||||
impl<V> DiGraph<V>
|
impl<V, E> DiGraph<V, E>
|
||||||
where
|
where
|
||||||
V: Eq + Hash + Copy,
|
V: Eq + Hash + Copy,
|
||||||
{
|
{
|
||||||
@@ -55,12 +56,18 @@ where
|
|||||||
/// the node in the topological order.
|
/// the node in the topological order.
|
||||||
///
|
///
|
||||||
/// New nodes are appended to the end of the topological order when added.
|
/// New nodes are appended to the end of the topological order when added.
|
||||||
fn add_node(&mut self, n: V) -> (&mut HashSet<V>, &mut HashSet<V>, Order) {
|
fn add_node(&mut self, n: V) -> (&mut HashSet<V>, &mut HashMap<V, E>, Order) {
|
||||||
let next_ord = &mut self.next_ord;
|
// need to compute next id before the call to entry() to avoid duplicate borrow of nodes
|
||||||
|
let fallback_id = self.nodes.len();
|
||||||
|
|
||||||
let node = self.nodes.entry(n).or_insert_with(|| {
|
let node = self.nodes.entry(n).or_insert_with(|| {
|
||||||
let order = *next_ord;
|
let order = if let Some(id) = self.unused_order.pop() {
|
||||||
*next_ord = next_ord.checked_add(1).expect("Topological order overflow");
|
// Reuse discarded ordering entry
|
||||||
|
id
|
||||||
|
} else {
|
||||||
|
// Allocate new order id
|
||||||
|
fallback_id
|
||||||
|
};
|
||||||
|
|
||||||
Node {
|
Node {
|
||||||
ord: Cell::new(order),
|
ord: Cell::new(order),
|
||||||
@@ -78,9 +85,12 @@ where
|
|||||||
Some(Node {
|
Some(Node {
|
||||||
out_edges,
|
out_edges,
|
||||||
in_edges,
|
in_edges,
|
||||||
..
|
ord,
|
||||||
}) => {
|
}) => {
|
||||||
out_edges.into_iter().for_each(|m| {
|
// Return ordering to the pool of unused ones
|
||||||
|
self.unused_order.push(ord.get());
|
||||||
|
|
||||||
|
out_edges.into_keys().for_each(|m| {
|
||||||
self.nodes.get_mut(&m).unwrap().in_edges.remove(&n);
|
self.nodes.get_mut(&m).unwrap().in_edges.remove(&n);
|
||||||
});
|
});
|
||||||
|
|
||||||
@@ -97,18 +107,29 @@ where
|
|||||||
///
|
///
|
||||||
/// Nodes, both from and to, are created as needed when creating new edges. If the new edge
|
/// Nodes, both from and to, are created as needed when creating new edges. If the new edge
|
||||||
/// would introduce a cycle, the edge is rejected and `false` is returned.
|
/// would introduce a cycle, the edge is rejected and `false` is returned.
|
||||||
pub(crate) fn add_edge(&mut self, x: V, y: V) -> bool {
|
///
|
||||||
|
/// # Errors
|
||||||
|
///
|
||||||
|
/// If the edge would introduce the cycle, the underlying graph is not modified and a list of
|
||||||
|
/// all the edge data in the would-be cycle is returned instead.
|
||||||
|
pub(crate) fn add_edge(&mut self, x: V, y: V, e: impl FnOnce() -> E) -> Result<(), Vec<E>>
|
||||||
|
where
|
||||||
|
E: Clone,
|
||||||
|
{
|
||||||
if x == y {
|
if x == y {
|
||||||
// self-edges are not considered cycles
|
// self-edges are always considered cycles
|
||||||
return true;
|
return Err(Vec::new());
|
||||||
}
|
}
|
||||||
|
|
||||||
let (_, out_edges, ub) = self.add_node(x);
|
let (_, out_edges, ub) = self.add_node(x);
|
||||||
|
|
||||||
if !out_edges.insert(y) {
|
match out_edges.entry(y) {
|
||||||
// Edge already exists, nothing to be done
|
Entry::Occupied(_) => {
|
||||||
return true;
|
// Edge already exists, nothing to be done
|
||||||
}
|
return Ok(());
|
||||||
|
}
|
||||||
|
Entry::Vacant(entry) => entry.insert(e()),
|
||||||
|
};
|
||||||
|
|
||||||
let (in_edges, _, lb) = self.add_node(y);
|
let (in_edges, _, lb) = self.add_node(y);
|
||||||
|
|
||||||
@@ -116,11 +137,11 @@ where
|
|||||||
|
|
||||||
if lb < ub {
|
if lb < ub {
|
||||||
// This edge might introduce a cycle, need to recompute the topological sort
|
// This edge might introduce a cycle, need to recompute the topological sort
|
||||||
let mut visited = IntoIter::new([x, y]).collect();
|
let mut visited = [x, y].into_iter().collect();
|
||||||
let mut delta_f = Vec::new();
|
let mut delta_f = Vec::new();
|
||||||
let mut delta_b = Vec::new();
|
let mut delta_b = Vec::new();
|
||||||
|
|
||||||
if !self.dfs_f(&self.nodes[&y], ub, &mut visited, &mut delta_f) {
|
if let Err(cycle) = self.dfs_f(&self.nodes[&y], ub, &mut visited, &mut delta_f) {
|
||||||
// This edge introduces a cycle, so we want to reject it and remove it from the
|
// This edge introduces a cycle, so we want to reject it and remove it from the
|
||||||
// graph again to keep the "does not contain cycles" invariant.
|
// graph again to keep the "does not contain cycles" invariant.
|
||||||
|
|
||||||
@@ -130,7 +151,7 @@ where
|
|||||||
self.nodes.get_mut(&x).map(|node| node.out_edges.remove(&y));
|
self.nodes.get_mut(&x).map(|node| node.out_edges.remove(&y));
|
||||||
|
|
||||||
// No edge was added
|
// No edge was added
|
||||||
return false;
|
return Err(cycle);
|
||||||
}
|
}
|
||||||
|
|
||||||
// No need to check as we should've found the cycle on the forward pass
|
// No need to check as we should've found the cycle on the forward pass
|
||||||
@@ -142,44 +163,49 @@ where
|
|||||||
self.reorder(delta_f, delta_b);
|
self.reorder(delta_f, delta_b);
|
||||||
}
|
}
|
||||||
|
|
||||||
true
|
Ok(())
|
||||||
}
|
}
|
||||||
|
|
||||||
/// Forwards depth-first-search
|
/// Forwards depth-first-search
|
||||||
fn dfs_f<'a>(
|
fn dfs_f<'a>(
|
||||||
&'a self,
|
&'a self,
|
||||||
n: &'a Node<V>,
|
n: &'a Node<V, E>,
|
||||||
ub: Order,
|
ub: Order,
|
||||||
visited: &mut HashSet<V>,
|
visited: &mut HashSet<V>,
|
||||||
delta_f: &mut Vec<&'a Node<V>>,
|
delta_f: &mut Vec<&'a Node<V, E>>,
|
||||||
) -> bool {
|
) -> Result<(), Vec<E>>
|
||||||
|
where
|
||||||
|
E: Clone,
|
||||||
|
{
|
||||||
delta_f.push(n);
|
delta_f.push(n);
|
||||||
|
|
||||||
n.out_edges.iter().all(|w| {
|
for (w, e) in &n.out_edges {
|
||||||
let node = &self.nodes[w];
|
let node = &self.nodes[w];
|
||||||
let ord = node.ord.get();
|
let ord = node.ord.get();
|
||||||
|
|
||||||
if ord == ub {
|
if ord == ub {
|
||||||
// Found a cycle
|
// Found a cycle
|
||||||
false
|
return Err(vec![e.clone()]);
|
||||||
} else if !visited.contains(w) && ord < ub {
|
} else if !visited.contains(w) && ord < ub {
|
||||||
// Need to check recursively
|
// Need to check recursively
|
||||||
visited.insert(*w);
|
visited.insert(*w);
|
||||||
self.dfs_f(node, ub, visited, delta_f)
|
if let Err(mut chain) = self.dfs_f(node, ub, visited, delta_f) {
|
||||||
} else {
|
chain.push(e.clone());
|
||||||
// Already seen this one or not interesting
|
return Err(chain);
|
||||||
true
|
}
|
||||||
}
|
}
|
||||||
})
|
}
|
||||||
|
|
||||||
|
Ok(())
|
||||||
}
|
}
|
||||||
|
|
||||||
/// Backwards depth-first-search
|
/// Backwards depth-first-search
|
||||||
fn dfs_b<'a>(
|
fn dfs_b<'a>(
|
||||||
&'a self,
|
&'a self,
|
||||||
n: &'a Node<V>,
|
n: &'a Node<V, E>,
|
||||||
lb: Order,
|
lb: Order,
|
||||||
visited: &mut HashSet<V>,
|
visited: &mut HashSet<V>,
|
||||||
delta_b: &mut Vec<&'a Node<V>>,
|
delta_b: &mut Vec<&'a Node<V, E>>,
|
||||||
) {
|
) {
|
||||||
delta_b.push(n);
|
delta_b.push(n);
|
||||||
|
|
||||||
@@ -193,7 +219,7 @@ where
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
fn reorder(&self, mut delta_f: Vec<&Node<V>>, mut delta_b: Vec<&Node<V>>) {
|
fn reorder(&self, mut delta_f: Vec<&Node<V, E>>, mut delta_b: Vec<&Node<V, E>>) {
|
||||||
self.sort(&mut delta_f);
|
self.sort(&mut delta_f);
|
||||||
self.sort(&mut delta_b);
|
self.sort(&mut delta_b);
|
||||||
|
|
||||||
@@ -214,12 +240,25 @@ where
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
fn sort(&self, ids: &mut [&Node<V>]) {
|
fn sort(&self, ids: &mut [&Node<V, E>]) {
|
||||||
// Can use unstable sort because mutex ids should not be equal
|
// Can use unstable sort because mutex ids should not be equal
|
||||||
ids.sort_unstable_by_key(|v| &v.ord);
|
ids.sort_unstable_by_key(|v| &v.ord);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
// Manual `Default` impl as derive causes unnecessarily strong bounds.
|
||||||
|
impl<V, E> Default for DiGraph<V, E>
|
||||||
|
where
|
||||||
|
V: Eq + Hash + Copy,
|
||||||
|
{
|
||||||
|
fn default() -> Self {
|
||||||
|
Self {
|
||||||
|
nodes: Default::default(),
|
||||||
|
unused_order: Default::default(),
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
#[cfg(test)]
|
#[cfg(test)]
|
||||||
mod tests {
|
mod tests {
|
||||||
use rand::seq::SliceRandom;
|
use rand::seq::SliceRandom;
|
||||||
@@ -227,21 +266,31 @@ mod tests {
|
|||||||
|
|
||||||
use super::*;
|
use super::*;
|
||||||
|
|
||||||
|
fn nop() {}
|
||||||
|
|
||||||
|
#[test]
|
||||||
|
fn test_no_self_cycle() {
|
||||||
|
// Regression test for https://github.com/bertptrs/tracing-mutex/issues/7
|
||||||
|
let mut graph = DiGraph::default();
|
||||||
|
|
||||||
|
assert!(graph.add_edge(1, 1, nop).is_err());
|
||||||
|
}
|
||||||
|
|
||||||
#[test]
|
#[test]
|
||||||
fn test_digraph() {
|
fn test_digraph() {
|
||||||
let mut graph = DiGraph::default();
|
let mut graph = DiGraph::default();
|
||||||
|
|
||||||
// Add some safe edges
|
// Add some safe edges
|
||||||
assert!(graph.add_edge(0, 1));
|
assert!(graph.add_edge(0, 1, nop).is_ok());
|
||||||
assert!(graph.add_edge(1, 2));
|
assert!(graph.add_edge(1, 2, nop).is_ok());
|
||||||
assert!(graph.add_edge(2, 3));
|
assert!(graph.add_edge(2, 3, nop).is_ok());
|
||||||
assert!(graph.add_edge(4, 2));
|
assert!(graph.add_edge(4, 2, nop).is_ok());
|
||||||
|
|
||||||
// Try to add an edge that introduces a cycle
|
// Try to add an edge that introduces a cycle
|
||||||
assert!(!graph.add_edge(3, 1));
|
assert!(graph.add_edge(3, 1, nop).is_err());
|
||||||
|
|
||||||
// Add an edge that should reorder 0 to be after 4
|
// Add an edge that should reorder 0 to be after 4
|
||||||
assert!(graph.add_edge(4, 0));
|
assert!(graph.add_edge(4, 0, nop).is_ok());
|
||||||
}
|
}
|
||||||
|
|
||||||
/// Fuzz the DiGraph implementation by adding a bunch of valid edges.
|
/// Fuzz the DiGraph implementation by adding a bunch of valid edges.
|
||||||
@@ -249,7 +298,7 @@ mod tests {
|
|||||||
/// This test generates all possible forward edges in a 100-node graph consisting of natural
|
/// This test generates all possible forward edges in a 100-node graph consisting of natural
|
||||||
/// numbers, shuffles them, then adds them to the graph. This will always be a valid directed,
|
/// numbers, shuffles them, then adds them to the graph. This will always be a valid directed,
|
||||||
/// acyclic graph because there is a trivial order (the natural numbers) but because the edges
|
/// acyclic graph because there is a trivial order (the natural numbers) but because the edges
|
||||||
/// are added in a random order the DiGraph will still occassionally need to reorder nodes.
|
/// are added in a random order the DiGraph will still occasionally need to reorder nodes.
|
||||||
#[test]
|
#[test]
|
||||||
fn fuzz_digraph() {
|
fn fuzz_digraph() {
|
||||||
// Note: this fuzzer is quadratic in the number of nodes, so this cannot be too large or it
|
// Note: this fuzzer is quadratic in the number of nodes, so this cannot be too large or it
|
||||||
@@ -259,7 +308,9 @@ mod tests {
|
|||||||
|
|
||||||
for i in 0..NUM_NODES {
|
for i in 0..NUM_NODES {
|
||||||
for j in i..NUM_NODES {
|
for j in i..NUM_NODES {
|
||||||
edges.push((i, j));
|
if i != j {
|
||||||
|
edges.push((i, j));
|
||||||
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
@@ -268,7 +319,7 @@ mod tests {
|
|||||||
let mut graph = DiGraph::default();
|
let mut graph = DiGraph::default();
|
||||||
|
|
||||||
for (x, y) in edges {
|
for (x, y) in edges {
|
||||||
assert!(graph.add_edge(x, y));
|
assert!(graph.add_edge(x, y, nop).is_ok());
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|||||||
204
src/lib.rs
204
src/lib.rs
@@ -18,8 +18,23 @@
|
|||||||
//! # Structure
|
//! # Structure
|
||||||
//!
|
//!
|
||||||
//! Each module in this crate exposes wrappers for a specific base-mutex with dependency trakcing
|
//! Each module in this crate exposes wrappers for a specific base-mutex with dependency trakcing
|
||||||
//! added. For now, that is limited to [`stdsync`] which provides wrappers for the base locks in the
|
//! added. This includes [`stdsync`] which provides wrappers for the base locks in the standard
|
||||||
//! standard library. More back-ends may be added as features in the future.
|
//! library, and more depending on enabled compile-time features. More back-ends may be added as
|
||||||
|
//! features in the future.
|
||||||
|
//!
|
||||||
|
//! # Feature flags
|
||||||
|
//!
|
||||||
|
//! `tracing-mutex` uses feature flags to reduce the impact of this crate on both your compile time
|
||||||
|
//! and runtime overhead. Below are the available flags. Modules are annotated with the features
|
||||||
|
//! they require.
|
||||||
|
//!
|
||||||
|
//! - `backtraces`: Enables capturing backtraces of mutex dependencies, to make it easier to
|
||||||
|
//! determine what sequence of events would trigger a deadlock. This is enabled by default, but if
|
||||||
|
//! the performance overhead is unaccceptable, it can be disabled by disabling default features.
|
||||||
|
//!
|
||||||
|
//! - `lockapi`: Enables the wrapper lock for [`lock_api`][lock_api] locks
|
||||||
|
//!
|
||||||
|
//! - `parkinglot`: Enables wrapper types for [`parking_lot`][parking_lot] mutexes
|
||||||
//!
|
//!
|
||||||
//! # Performance considerations
|
//! # Performance considerations
|
||||||
//!
|
//!
|
||||||
@@ -41,36 +56,50 @@
|
|||||||
//!
|
//!
|
||||||
//! These operations have been reasonably optimized, but the performance penalty may yet be too much
|
//! These operations have been reasonably optimized, but the performance penalty may yet be too much
|
||||||
//! for production use. In those cases, it may be beneficial to instead use debug-only versions
|
//! for production use. In those cases, it may be beneficial to instead use debug-only versions
|
||||||
//! (such as [`stdsync::DebugMutex`]) which evaluate to a tracing mutex when debug assertions are
|
//! (such as [`stdsync::Mutex`]) which evaluate to a tracing mutex when debug assertions are
|
||||||
//! enabled, and to the underlying mutex when they're not.
|
//! enabled, and to the underlying mutex when they're not.
|
||||||
//!
|
//!
|
||||||
|
//! For ease of debugging, this crate will, by default, capture a backtrace when establishing a new
|
||||||
|
//! dependency between two mutexes. This has an additional overhead of over 60%. If this additional
|
||||||
|
//! debugging aid is not required, it can be disabled by disabling default features.
|
||||||
|
//!
|
||||||
//! [paper]: https://whileydave.com/publications/pk07_jea/
|
//! [paper]: https://whileydave.com/publications/pk07_jea/
|
||||||
|
//! [lock_api]: https://docs.rs/lock_api/0.4/lock_api/index.html
|
||||||
|
//! [parking_lot]: https://docs.rs/parking_lot/0.12.1/parking_lot/
|
||||||
|
#![cfg_attr(docsrs, feature(doc_cfg))]
|
||||||
use std::cell::RefCell;
|
use std::cell::RefCell;
|
||||||
use std::cell::UnsafeCell;
|
|
||||||
use std::fmt;
|
use std::fmt;
|
||||||
use std::marker::PhantomData;
|
use std::marker::PhantomData;
|
||||||
use std::mem::MaybeUninit;
|
|
||||||
use std::ops::Deref;
|
use std::ops::Deref;
|
||||||
use std::ops::DerefMut;
|
use std::ops::DerefMut;
|
||||||
use std::ptr;
|
|
||||||
use std::sync::atomic::AtomicUsize;
|
use std::sync::atomic::AtomicUsize;
|
||||||
use std::sync::atomic::Ordering;
|
use std::sync::atomic::Ordering;
|
||||||
use std::sync::Mutex;
|
use std::sync::Mutex;
|
||||||
use std::sync::Once;
|
use std::sync::MutexGuard;
|
||||||
|
use std::sync::OnceLock;
|
||||||
use std::sync::PoisonError;
|
use std::sync::PoisonError;
|
||||||
|
|
||||||
use lazy_static::lazy_static;
|
#[cfg(feature = "lockapi")]
|
||||||
|
#[cfg_attr(docsrs, doc(cfg(feature = "lockapi")))]
|
||||||
|
pub use lock_api;
|
||||||
|
#[cfg(feature = "parkinglot")]
|
||||||
|
#[cfg_attr(docsrs, doc(cfg(feature = "parkinglot")))]
|
||||||
|
pub use parking_lot;
|
||||||
|
use reporting::Dep;
|
||||||
|
use reporting::Reportable;
|
||||||
|
|
||||||
use crate::graph::DiGraph;
|
use crate::graph::DiGraph;
|
||||||
|
|
||||||
mod graph;
|
mod graph;
|
||||||
|
#[cfg(feature = "lockapi")]
|
||||||
|
#[cfg_attr(docsrs, doc(cfg(feature = "lockapi")))]
|
||||||
|
pub mod lockapi;
|
||||||
|
#[cfg(feature = "parkinglot")]
|
||||||
|
#[cfg_attr(docsrs, doc(cfg(feature = "parkinglot")))]
|
||||||
|
pub mod parkinglot;
|
||||||
|
mod reporting;
|
||||||
pub mod stdsync;
|
pub mod stdsync;
|
||||||
|
|
||||||
/// Counter for Mutex IDs. Atomic avoids the need for locking.
|
|
||||||
///
|
|
||||||
/// Should be part of the `MutexID` impl but static items are not yet a thing.
|
|
||||||
static ID_SEQUENCE: AtomicUsize = AtomicUsize::new(0);
|
|
||||||
|
|
||||||
thread_local! {
|
thread_local! {
|
||||||
/// Stack to track which locks are held
|
/// Stack to track which locks are held
|
||||||
///
|
///
|
||||||
@@ -79,10 +108,6 @@ thread_local! {
|
|||||||
static HELD_LOCKS: RefCell<Vec<usize>> = RefCell::new(Vec::new());
|
static HELD_LOCKS: RefCell<Vec<usize>> = RefCell::new(Vec::new());
|
||||||
}
|
}
|
||||||
|
|
||||||
lazy_static! {
|
|
||||||
static ref DEPENDENCY_GRAPH: Mutex<DiGraph<usize>> = Default::default();
|
|
||||||
}
|
|
||||||
|
|
||||||
/// Dedicated ID type for Mutexes
|
/// Dedicated ID type for Mutexes
|
||||||
///
|
///
|
||||||
/// # Unstable
|
/// # Unstable
|
||||||
@@ -101,6 +126,9 @@ impl MutexId {
|
|||||||
/// This function may panic when there are no more mutex IDs available. The number of mutex ids
|
/// This function may panic when there are no more mutex IDs available. The number of mutex ids
|
||||||
/// is `usize::MAX - 1` which should be plenty for most practical applications.
|
/// is `usize::MAX - 1` which should be plenty for most practical applications.
|
||||||
pub fn new() -> Self {
|
pub fn new() -> Self {
|
||||||
|
// Counter for Mutex IDs. Atomic avoids the need for locking.
|
||||||
|
static ID_SEQUENCE: AtomicUsize = AtomicUsize::new(0);
|
||||||
|
|
||||||
ID_SEQUENCE
|
ID_SEQUENCE
|
||||||
.fetch_update(Ordering::SeqCst, Ordering::SeqCst, |id| id.checked_add(1))
|
.fetch_update(Ordering::SeqCst, Ordering::SeqCst, |id| id.checked_add(1))
|
||||||
.map(Self)
|
.map(Self)
|
||||||
@@ -120,23 +148,50 @@ impl MutexId {
|
|||||||
///
|
///
|
||||||
/// This method panics if the new dependency would introduce a cycle.
|
/// This method panics if the new dependency would introduce a cycle.
|
||||||
pub fn get_borrowed(&self) -> BorrowedMutex {
|
pub fn get_borrowed(&self) -> BorrowedMutex {
|
||||||
let creates_cycle = HELD_LOCKS.with(|locks| {
|
self.mark_held();
|
||||||
|
BorrowedMutex {
|
||||||
|
id: self,
|
||||||
|
_not_send: PhantomData,
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
/// Mark this lock as held for the purposes of dependency tracking.
|
||||||
|
///
|
||||||
|
/// # Panics
|
||||||
|
///
|
||||||
|
/// This method panics if the new dependency would introduce a cycle.
|
||||||
|
pub fn mark_held(&self) {
|
||||||
|
let opt_cycle = HELD_LOCKS.with(|locks| {
|
||||||
if let Some(&previous) = locks.borrow().last() {
|
if let Some(&previous) = locks.borrow().last() {
|
||||||
let mut graph = get_dependency_graph();
|
let mut graph = get_dependency_graph();
|
||||||
|
|
||||||
!graph.add_edge(previous, self.value())
|
graph.add_edge(previous, self.value(), Dep::capture).err()
|
||||||
} else {
|
} else {
|
||||||
false
|
None
|
||||||
}
|
}
|
||||||
});
|
});
|
||||||
|
|
||||||
if creates_cycle {
|
if let Some(cycle) = opt_cycle {
|
||||||
// Panic without holding the lock to avoid needlessly poisoning it
|
panic!("{}", Dep::panic_message(&cycle))
|
||||||
panic!("Mutex order graph should not have cycles");
|
|
||||||
}
|
}
|
||||||
|
|
||||||
HELD_LOCKS.with(|locks| locks.borrow_mut().push(self.value()));
|
HELD_LOCKS.with(|locks| locks.borrow_mut().push(self.value()));
|
||||||
BorrowedMutex(self)
|
}
|
||||||
|
|
||||||
|
pub unsafe fn mark_released(&self) {
|
||||||
|
HELD_LOCKS.with(|locks| {
|
||||||
|
let mut locks = locks.borrow_mut();
|
||||||
|
|
||||||
|
for (i, &lock) in locks.iter().enumerate().rev() {
|
||||||
|
if lock == self.value() {
|
||||||
|
locks.remove(i);
|
||||||
|
return;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
// Drop impls shouldn't panic but if this happens something is seriously broken.
|
||||||
|
unreachable!("Tried to drop lock for mutex {:?} but it wasn't held", self)
|
||||||
|
});
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
@@ -166,17 +221,13 @@ impl Drop for MutexId {
|
|||||||
///
|
///
|
||||||
/// This type can be largely replaced once std::lazy gets stabilized.
|
/// This type can be largely replaced once std::lazy gets stabilized.
|
||||||
struct LazyMutexId {
|
struct LazyMutexId {
|
||||||
inner: UnsafeCell<MaybeUninit<MutexId>>,
|
inner: OnceLock<MutexId>,
|
||||||
setter: Once,
|
|
||||||
_marker: PhantomData<MutexId>,
|
|
||||||
}
|
}
|
||||||
|
|
||||||
impl LazyMutexId {
|
impl LazyMutexId {
|
||||||
pub const fn new() -> Self {
|
pub const fn new() -> Self {
|
||||||
Self {
|
Self {
|
||||||
inner: UnsafeCell::new(MaybeUninit::uninit()),
|
inner: OnceLock::new(),
|
||||||
setter: Once::new(),
|
|
||||||
_marker: PhantomData,
|
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@@ -187,51 +238,36 @@ impl fmt::Debug for LazyMutexId {
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
/// Safety: the UnsafeCell is guaranteed to only be accessed mutably from a `Once`.
|
impl Default for LazyMutexId {
|
||||||
unsafe impl Sync for LazyMutexId {}
|
fn default() -> Self {
|
||||||
|
Self::new()
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
impl Deref for LazyMutexId {
|
impl Deref for LazyMutexId {
|
||||||
type Target = MutexId;
|
type Target = MutexId;
|
||||||
|
|
||||||
fn deref(&self) -> &Self::Target {
|
fn deref(&self) -> &Self::Target {
|
||||||
self.setter.call_once(|| {
|
self.inner.get_or_init(MutexId::new)
|
||||||
// Safety: this function is only called once, so only one mutable reference should exist
|
|
||||||
// at a time.
|
|
||||||
unsafe {
|
|
||||||
*self.inner.get() = MaybeUninit::new(MutexId::new());
|
|
||||||
}
|
|
||||||
});
|
|
||||||
|
|
||||||
// Safety: after the above Once runs, there are no longer any mutable references, so we can
|
|
||||||
// hand this out safely.
|
|
||||||
//
|
|
||||||
// Explanation of this monstrosity:
|
|
||||||
//
|
|
||||||
// - Get a pointer to the data from the UnsafeCell
|
|
||||||
// - Dereference that to get a reference to the underlying MaybeUninit
|
|
||||||
// - Use as_ptr on MaybeUninit to get a pointer to the initialized MutexID
|
|
||||||
// - Dereference the pointer to turn in into a reference as intended.
|
|
||||||
//
|
|
||||||
// This should get slightly nicer once `maybe_uninit_extra` is stabilized.
|
|
||||||
unsafe { &*((*self.inner.get()).as_ptr()) }
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
impl Drop for LazyMutexId {
|
|
||||||
fn drop(&mut self) {
|
|
||||||
if self.setter.is_completed() {
|
|
||||||
// We have a valid mutex ID and need to drop it
|
|
||||||
|
|
||||||
// Safety: we know that this pointer is valid because the initializer has successfully run.
|
|
||||||
let mutex_id = unsafe { ptr::read((*self.inner.get()).as_ptr()) };
|
|
||||||
|
|
||||||
drop(mutex_id);
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/// Borrowed mutex ID
|
||||||
|
///
|
||||||
|
/// This type should be used as part of a mutex guard wrapper. It can be acquired through
|
||||||
|
/// [`MutexId::get_borrowed`] and will automatically mark the mutex as not borrowed when it is
|
||||||
|
/// dropped.
|
||||||
|
///
|
||||||
|
/// This type intentionally is [`!Send`](std::marker::Send) because the ownership tracking is based
|
||||||
|
/// on a thread-local stack which doesn't work if a guard gets released in a different thread from
|
||||||
|
/// where they're acquired.
|
||||||
#[derive(Debug)]
|
#[derive(Debug)]
|
||||||
struct BorrowedMutex<'a>(&'a MutexId);
|
struct BorrowedMutex<'a> {
|
||||||
|
/// Reference to the mutex we're borrowing from
|
||||||
|
id: &'a MutexId,
|
||||||
|
/// This value serves no purpose but to make the type [`!Send`](std::marker::Send)
|
||||||
|
_not_send: PhantomData<MutexGuard<'static, ()>>,
|
||||||
|
}
|
||||||
|
|
||||||
/// Drop a lock held by the current thread.
|
/// Drop a lock held by the current thread.
|
||||||
///
|
///
|
||||||
@@ -241,27 +277,17 @@ struct BorrowedMutex<'a>(&'a MutexId);
|
|||||||
/// that is an indication of a serious design flaw in this library.
|
/// that is an indication of a serious design flaw in this library.
|
||||||
impl<'a> Drop for BorrowedMutex<'a> {
|
impl<'a> Drop for BorrowedMutex<'a> {
|
||||||
fn drop(&mut self) {
|
fn drop(&mut self) {
|
||||||
let id = self.0;
|
// Safety: the only way to get a BorrowedMutex is by locking the mutex.
|
||||||
|
unsafe { self.id.mark_released() };
|
||||||
HELD_LOCKS.with(|locks| {
|
|
||||||
let mut locks = locks.borrow_mut();
|
|
||||||
|
|
||||||
for (i, &lock) in locks.iter().enumerate().rev() {
|
|
||||||
if lock == id.value() {
|
|
||||||
locks.remove(i);
|
|
||||||
return;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
// Drop impls shouldn't panic but if this happens something is seriously broken.
|
|
||||||
unreachable!("Tried to drop lock for mutex {:?} but it wasn't held", id)
|
|
||||||
});
|
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
/// Get a reference to the current dependency graph
|
/// Get a reference to the current dependency graph
|
||||||
fn get_dependency_graph() -> impl DerefMut<Target = DiGraph<usize>> {
|
fn get_dependency_graph() -> impl DerefMut<Target = DiGraph<usize, Dep>> {
|
||||||
|
static DEPENDENCY_GRAPH: OnceLock<Mutex<DiGraph<usize, Dep>>> = OnceLock::new();
|
||||||
|
|
||||||
DEPENDENCY_GRAPH
|
DEPENDENCY_GRAPH
|
||||||
|
.get_or_init(Default::default)
|
||||||
.lock()
|
.lock()
|
||||||
.unwrap_or_else(PoisonError::into_inner)
|
.unwrap_or_else(PoisonError::into_inner)
|
||||||
}
|
}
|
||||||
@@ -289,11 +315,11 @@ mod tests {
|
|||||||
let c = LazyMutexId::new();
|
let c = LazyMutexId::new();
|
||||||
|
|
||||||
let mut graph = get_dependency_graph();
|
let mut graph = get_dependency_graph();
|
||||||
assert!(graph.add_edge(a.value(), b.value()));
|
assert!(graph.add_edge(a.value(), b.value(), Dep::capture).is_ok());
|
||||||
assert!(graph.add_edge(b.value(), c.value()));
|
assert!(graph.add_edge(b.value(), c.value(), Dep::capture).is_ok());
|
||||||
|
|
||||||
// Creating an edge c → a should fail as it introduces a cycle.
|
// Creating an edge c → a should fail as it introduces a cycle.
|
||||||
assert!(!graph.add_edge(c.value(), a.value()));
|
assert!(graph.add_edge(c.value(), a.value(), Dep::capture).is_err());
|
||||||
|
|
||||||
// Drop graph handle so we can drop vertices without deadlocking
|
// Drop graph handle so we can drop vertices without deadlocking
|
||||||
drop(graph);
|
drop(graph);
|
||||||
@@ -301,7 +327,9 @@ mod tests {
|
|||||||
drop(b);
|
drop(b);
|
||||||
|
|
||||||
// If b's destructor correctly ran correctly we can now add an edge from c to a.
|
// If b's destructor correctly ran correctly we can now add an edge from c to a.
|
||||||
assert!(get_dependency_graph().add_edge(c.value(), a.value()));
|
assert!(get_dependency_graph()
|
||||||
|
.add_edge(c.value(), a.value(), Dep::capture)
|
||||||
|
.is_ok());
|
||||||
}
|
}
|
||||||
|
|
||||||
/// Test creating a cycle, then panicking.
|
/// Test creating a cycle, then panicking.
|
||||||
@@ -331,7 +359,9 @@ mod tests {
|
|||||||
let mut edges = Vec::with_capacity(NUM_NODES * NUM_NODES);
|
let mut edges = Vec::with_capacity(NUM_NODES * NUM_NODES);
|
||||||
for i in 0..NUM_NODES {
|
for i in 0..NUM_NODES {
|
||||||
for j in i..NUM_NODES {
|
for j in i..NUM_NODES {
|
||||||
edges.push((i, j));
|
if i != j {
|
||||||
|
edges.push((i, j));
|
||||||
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|||||||
348
src/lockapi.rs
Normal file
348
src/lockapi.rs
Normal file
@@ -0,0 +1,348 @@
|
|||||||
|
//! Wrapper implementations for [`lock_api`].
|
||||||
|
//!
|
||||||
|
//! This module does not provide any particular mutex implementation by itself, but rather can be
|
||||||
|
//! used to add dependency tracking to mutexes that already exist. It implements all of the traits
|
||||||
|
//! in `lock_api` based on the one it wraps. Crates such as `spin` and `parking_lot` provide base
|
||||||
|
//! primitives that can be wrapped.
|
||||||
|
//!
|
||||||
|
//! Wrapped mutexes are at least one `usize` larger than the types they wrapped, and must be aligned
|
||||||
|
//! to `usize` boundaries. As such, libraries with many mutexes may want to consider the additional
|
||||||
|
//! required memory.
|
||||||
|
use lock_api::GuardNoSend;
|
||||||
|
use lock_api::RawMutex;
|
||||||
|
use lock_api::RawMutexFair;
|
||||||
|
use lock_api::RawMutexTimed;
|
||||||
|
use lock_api::RawRwLock;
|
||||||
|
use lock_api::RawRwLockDowngrade;
|
||||||
|
use lock_api::RawRwLockFair;
|
||||||
|
use lock_api::RawRwLockRecursive;
|
||||||
|
use lock_api::RawRwLockRecursiveTimed;
|
||||||
|
use lock_api::RawRwLockTimed;
|
||||||
|
use lock_api::RawRwLockUpgrade;
|
||||||
|
use lock_api::RawRwLockUpgradeDowngrade;
|
||||||
|
use lock_api::RawRwLockUpgradeFair;
|
||||||
|
use lock_api::RawRwLockUpgradeTimed;
|
||||||
|
|
||||||
|
use crate::LazyMutexId;
|
||||||
|
|
||||||
|
/// Tracing wrapper for all [`lock_api`] traits.
|
||||||
|
///
|
||||||
|
/// This wrapper implements any of the locking traits available, given that the wrapped type
|
||||||
|
/// implements them. As such, this wrapper can be used both for normal mutexes and rwlocks.
|
||||||
|
#[derive(Debug, Default)]
|
||||||
|
pub struct TracingWrapper<T> {
|
||||||
|
inner: T,
|
||||||
|
// Need to use a lazy mutex ID to intialize statically.
|
||||||
|
id: LazyMutexId,
|
||||||
|
}
|
||||||
|
|
||||||
|
impl<T> TracingWrapper<T> {
|
||||||
|
/// Mark this lock as held in the dependency graph.
|
||||||
|
fn mark_held(&self) {
|
||||||
|
self.id.mark_held();
|
||||||
|
}
|
||||||
|
|
||||||
|
/// Mark this lock as released in the dependency graph.
|
||||||
|
///
|
||||||
|
/// # Safety
|
||||||
|
///
|
||||||
|
/// This function should only be called when the lock has been previously acquired by this
|
||||||
|
/// thread.
|
||||||
|
unsafe fn mark_released(&self) {
|
||||||
|
self.id.mark_released();
|
||||||
|
}
|
||||||
|
|
||||||
|
/// First mark ourselves as held, then call the locking function.
|
||||||
|
fn lock(&self, f: impl FnOnce()) {
|
||||||
|
self.mark_held();
|
||||||
|
f();
|
||||||
|
}
|
||||||
|
|
||||||
|
/// First call the unlocking function, then mark ourselves as realeased.
|
||||||
|
unsafe fn unlock(&self, f: impl FnOnce()) {
|
||||||
|
f();
|
||||||
|
self.mark_released();
|
||||||
|
}
|
||||||
|
|
||||||
|
/// Conditionally lock the mutex.
|
||||||
|
///
|
||||||
|
/// First acquires the lock, then runs the provided function. If that function returns true,
|
||||||
|
/// then the lock is kept, otherwise the mutex is immediately marked as relased.
|
||||||
|
///
|
||||||
|
/// # Returns
|
||||||
|
///
|
||||||
|
/// The value returned from the callback.
|
||||||
|
fn conditionally_lock(&self, f: impl FnOnce() -> bool) -> bool {
|
||||||
|
// Mark as locked while we try to do the thing
|
||||||
|
self.mark_held();
|
||||||
|
|
||||||
|
if f() {
|
||||||
|
true
|
||||||
|
} else {
|
||||||
|
// Safety: we just locked it above.
|
||||||
|
unsafe { self.mark_released() }
|
||||||
|
false
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
unsafe impl<T> RawMutex for TracingWrapper<T>
|
||||||
|
where
|
||||||
|
T: RawMutex,
|
||||||
|
{
|
||||||
|
const INIT: Self = Self {
|
||||||
|
inner: T::INIT,
|
||||||
|
id: LazyMutexId::new(),
|
||||||
|
};
|
||||||
|
|
||||||
|
/// Always equal to [`GuardNoSend`], as an implementation detail in the tracking system requires
|
||||||
|
/// this behaviour. May change in the future to reflect the actual guard type from the wrapped
|
||||||
|
/// primitive.
|
||||||
|
type GuardMarker = GuardNoSend;
|
||||||
|
|
||||||
|
fn lock(&self) {
|
||||||
|
self.lock(|| self.inner.lock());
|
||||||
|
}
|
||||||
|
|
||||||
|
fn try_lock(&self) -> bool {
|
||||||
|
self.conditionally_lock(|| self.inner.try_lock())
|
||||||
|
}
|
||||||
|
|
||||||
|
unsafe fn unlock(&self) {
|
||||||
|
self.unlock(|| self.inner.unlock());
|
||||||
|
}
|
||||||
|
|
||||||
|
fn is_locked(&self) -> bool {
|
||||||
|
// Can't use the default implementation as the inner type might've overwritten it.
|
||||||
|
self.inner.is_locked()
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
unsafe impl<T> RawMutexFair for TracingWrapper<T>
|
||||||
|
where
|
||||||
|
T: RawMutexFair,
|
||||||
|
{
|
||||||
|
unsafe fn unlock_fair(&self) {
|
||||||
|
self.unlock(|| self.inner.unlock_fair())
|
||||||
|
}
|
||||||
|
|
||||||
|
unsafe fn bump(&self) {
|
||||||
|
// Bumping effectively doesn't change which locks are held, so we don't need to manage the
|
||||||
|
// lock state.
|
||||||
|
self.inner.bump();
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
unsafe impl<T> RawMutexTimed for TracingWrapper<T>
|
||||||
|
where
|
||||||
|
T: RawMutexTimed,
|
||||||
|
{
|
||||||
|
type Duration = T::Duration;
|
||||||
|
|
||||||
|
type Instant = T::Instant;
|
||||||
|
|
||||||
|
fn try_lock_for(&self, timeout: Self::Duration) -> bool {
|
||||||
|
self.conditionally_lock(|| self.inner.try_lock_for(timeout))
|
||||||
|
}
|
||||||
|
|
||||||
|
fn try_lock_until(&self, timeout: Self::Instant) -> bool {
|
||||||
|
self.conditionally_lock(|| self.inner.try_lock_until(timeout))
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
unsafe impl<T> RawRwLock for TracingWrapper<T>
|
||||||
|
where
|
||||||
|
T: RawRwLock,
|
||||||
|
{
|
||||||
|
const INIT: Self = Self {
|
||||||
|
inner: T::INIT,
|
||||||
|
id: LazyMutexId::new(),
|
||||||
|
};
|
||||||
|
|
||||||
|
/// Always equal to [`GuardNoSend`], as an implementation detail in the tracking system requires
|
||||||
|
/// this behaviour. May change in the future to reflect the actual guard type from the wrapped
|
||||||
|
/// primitive.
|
||||||
|
type GuardMarker = GuardNoSend;
|
||||||
|
|
||||||
|
fn lock_shared(&self) {
|
||||||
|
self.lock(|| self.inner.lock_shared());
|
||||||
|
}
|
||||||
|
|
||||||
|
fn try_lock_shared(&self) -> bool {
|
||||||
|
self.conditionally_lock(|| self.inner.try_lock_shared())
|
||||||
|
}
|
||||||
|
|
||||||
|
unsafe fn unlock_shared(&self) {
|
||||||
|
self.unlock(|| self.inner.unlock_shared());
|
||||||
|
}
|
||||||
|
|
||||||
|
fn lock_exclusive(&self) {
|
||||||
|
self.lock(|| self.inner.lock_exclusive());
|
||||||
|
}
|
||||||
|
|
||||||
|
fn try_lock_exclusive(&self) -> bool {
|
||||||
|
self.conditionally_lock(|| self.inner.try_lock_exclusive())
|
||||||
|
}
|
||||||
|
|
||||||
|
unsafe fn unlock_exclusive(&self) {
|
||||||
|
self.unlock(|| self.inner.unlock_exclusive());
|
||||||
|
}
|
||||||
|
|
||||||
|
fn is_locked(&self) -> bool {
|
||||||
|
self.inner.is_locked()
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
unsafe impl<T> RawRwLockDowngrade for TracingWrapper<T>
|
||||||
|
where
|
||||||
|
T: RawRwLockDowngrade,
|
||||||
|
{
|
||||||
|
unsafe fn downgrade(&self) {
|
||||||
|
// Downgrading does not require tracking
|
||||||
|
self.inner.downgrade()
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
unsafe impl<T> RawRwLockUpgrade for TracingWrapper<T>
|
||||||
|
where
|
||||||
|
T: RawRwLockUpgrade,
|
||||||
|
{
|
||||||
|
fn lock_upgradable(&self) {
|
||||||
|
self.lock(|| self.inner.lock_upgradable());
|
||||||
|
}
|
||||||
|
|
||||||
|
fn try_lock_upgradable(&self) -> bool {
|
||||||
|
self.conditionally_lock(|| self.inner.try_lock_upgradable())
|
||||||
|
}
|
||||||
|
|
||||||
|
unsafe fn unlock_upgradable(&self) {
|
||||||
|
self.unlock(|| self.inner.unlock_upgradable());
|
||||||
|
}
|
||||||
|
|
||||||
|
unsafe fn upgrade(&self) {
|
||||||
|
self.inner.upgrade();
|
||||||
|
}
|
||||||
|
|
||||||
|
unsafe fn try_upgrade(&self) -> bool {
|
||||||
|
self.inner.try_upgrade()
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
unsafe impl<T> RawRwLockFair for TracingWrapper<T>
|
||||||
|
where
|
||||||
|
T: RawRwLockFair,
|
||||||
|
{
|
||||||
|
unsafe fn unlock_shared_fair(&self) {
|
||||||
|
self.unlock(|| self.inner.unlock_shared_fair());
|
||||||
|
}
|
||||||
|
|
||||||
|
unsafe fn unlock_exclusive_fair(&self) {
|
||||||
|
self.unlock(|| self.inner.unlock_exclusive_fair());
|
||||||
|
}
|
||||||
|
|
||||||
|
unsafe fn bump_shared(&self) {
|
||||||
|
self.inner.bump_shared();
|
||||||
|
}
|
||||||
|
|
||||||
|
unsafe fn bump_exclusive(&self) {
|
||||||
|
self.inner.bump_exclusive();
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
unsafe impl<T> RawRwLockRecursive for TracingWrapper<T>
|
||||||
|
where
|
||||||
|
T: RawRwLockRecursive,
|
||||||
|
{
|
||||||
|
fn lock_shared_recursive(&self) {
|
||||||
|
self.lock(|| self.inner.lock_shared_recursive());
|
||||||
|
}
|
||||||
|
|
||||||
|
fn try_lock_shared_recursive(&self) -> bool {
|
||||||
|
self.conditionally_lock(|| self.inner.try_lock_shared_recursive())
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
unsafe impl<T> RawRwLockRecursiveTimed for TracingWrapper<T>
|
||||||
|
where
|
||||||
|
T: RawRwLockRecursiveTimed,
|
||||||
|
{
|
||||||
|
fn try_lock_shared_recursive_for(&self, timeout: Self::Duration) -> bool {
|
||||||
|
self.conditionally_lock(|| self.inner.try_lock_shared_recursive_for(timeout))
|
||||||
|
}
|
||||||
|
|
||||||
|
fn try_lock_shared_recursive_until(&self, timeout: Self::Instant) -> bool {
|
||||||
|
self.conditionally_lock(|| self.inner.try_lock_shared_recursive_until(timeout))
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
unsafe impl<T> RawRwLockTimed for TracingWrapper<T>
|
||||||
|
where
|
||||||
|
T: RawRwLockTimed,
|
||||||
|
{
|
||||||
|
type Duration = T::Duration;
|
||||||
|
|
||||||
|
type Instant = T::Instant;
|
||||||
|
|
||||||
|
fn try_lock_shared_for(&self, timeout: Self::Duration) -> bool {
|
||||||
|
self.conditionally_lock(|| self.inner.try_lock_shared_for(timeout))
|
||||||
|
}
|
||||||
|
|
||||||
|
fn try_lock_shared_until(&self, timeout: Self::Instant) -> bool {
|
||||||
|
self.conditionally_lock(|| self.inner.try_lock_shared_until(timeout))
|
||||||
|
}
|
||||||
|
|
||||||
|
fn try_lock_exclusive_for(&self, timeout: Self::Duration) -> bool {
|
||||||
|
self.conditionally_lock(|| self.inner.try_lock_exclusive_for(timeout))
|
||||||
|
}
|
||||||
|
|
||||||
|
fn try_lock_exclusive_until(&self, timeout: Self::Instant) -> bool {
|
||||||
|
self.conditionally_lock(|| self.inner.try_lock_exclusive_until(timeout))
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
unsafe impl<T> RawRwLockUpgradeDowngrade for TracingWrapper<T>
|
||||||
|
where
|
||||||
|
T: RawRwLockUpgradeDowngrade,
|
||||||
|
{
|
||||||
|
unsafe fn downgrade_upgradable(&self) {
|
||||||
|
self.inner.downgrade_upgradable()
|
||||||
|
}
|
||||||
|
|
||||||
|
unsafe fn downgrade_to_upgradable(&self) {
|
||||||
|
self.inner.downgrade_to_upgradable()
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
unsafe impl<T> RawRwLockUpgradeFair for TracingWrapper<T>
|
||||||
|
where
|
||||||
|
T: RawRwLockUpgradeFair,
|
||||||
|
{
|
||||||
|
unsafe fn unlock_upgradable_fair(&self) {
|
||||||
|
self.unlock(|| self.inner.unlock_upgradable_fair())
|
||||||
|
}
|
||||||
|
|
||||||
|
unsafe fn bump_upgradable(&self) {
|
||||||
|
self.inner.bump_upgradable()
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
unsafe impl<T> RawRwLockUpgradeTimed for TracingWrapper<T>
|
||||||
|
where
|
||||||
|
T: RawRwLockUpgradeTimed,
|
||||||
|
{
|
||||||
|
fn try_lock_upgradable_for(&self, timeout: Self::Duration) -> bool {
|
||||||
|
self.conditionally_lock(|| self.inner.try_lock_upgradable_for(timeout))
|
||||||
|
}
|
||||||
|
|
||||||
|
fn try_lock_upgradable_until(&self, timeout: Self::Instant) -> bool {
|
||||||
|
self.conditionally_lock(|| self.inner.try_lock_upgradable_until(timeout))
|
||||||
|
}
|
||||||
|
|
||||||
|
unsafe fn try_upgrade_for(&self, timeout: Self::Duration) -> bool {
|
||||||
|
self.inner.try_upgrade_for(timeout)
|
||||||
|
}
|
||||||
|
|
||||||
|
unsafe fn try_upgrade_until(&self, timeout: Self::Instant) -> bool {
|
||||||
|
self.inner.try_upgrade_until(timeout)
|
||||||
|
}
|
||||||
|
}
|
||||||
236
src/parkinglot.rs
Normal file
236
src/parkinglot.rs
Normal file
@@ -0,0 +1,236 @@
|
|||||||
|
//! Wrapper types and type aliases for tracing [`parking_lot`] mutexes.
|
||||||
|
//!
|
||||||
|
//! This module provides type aliases that use the [`lockapi`][crate::lockapi] module to provide
|
||||||
|
//! tracing variants of the `parking_lot` primitives. The [`tracing`] module contains type aliases
|
||||||
|
//! that use dependency tracking, while the main `parking_lot` primitives are reexported as [`raw`].
|
||||||
|
//!
|
||||||
|
//! This main module imports from [`tracing`] when `debug_assertions` are enabled, and from [`raw`]
|
||||||
|
//! when they're not. Note that primitives for which no tracing wrapper exists are not imported into
|
||||||
|
//! the main module.
|
||||||
|
//!
|
||||||
|
//! # Usage
|
||||||
|
//!
|
||||||
|
//! ```
|
||||||
|
//! # use std::sync::Arc;
|
||||||
|
//! # use std::thread;
|
||||||
|
//! use tracing_mutex::parkinglot::Mutex;
|
||||||
|
//! let mutex = Arc::new(Mutex::new(0));
|
||||||
|
//!
|
||||||
|
//! let handles: Vec<_> = (0..10).map(|_| {
|
||||||
|
//! let mutex = Arc::clone(&mutex);
|
||||||
|
//! thread::spawn(move || *mutex.lock() += 1)
|
||||||
|
//! }).collect();
|
||||||
|
//!
|
||||||
|
//! handles.into_iter().for_each(|handle| handle.join().unwrap());
|
||||||
|
//!
|
||||||
|
//! // All threads completed so the value should be 10.
|
||||||
|
//! assert_eq!(10, *mutex.lock());
|
||||||
|
//! ```
|
||||||
|
//!
|
||||||
|
//! # Limitations
|
||||||
|
//!
|
||||||
|
//! The main lock for the global state is still provided by `std::sync` and the tracing primitives
|
||||||
|
//! are larger than the `parking_lot` primitives they wrap, so there can be a performance
|
||||||
|
//! degradation between using this and using `parking_lot` directly. If this is of concern to you,
|
||||||
|
//! try using the `DebugX`-structs, which provide cycle detection only when `debug_assertions` are
|
||||||
|
//! enabled and have no overhead when they're not.
|
||||||
|
//!
|
||||||
|
//! In addition, the mutex guards returned by the tracing wrappers are `!Send`, regardless of
|
||||||
|
//! whether `parking_lot` is configured to have `Send` mutex guards. This is a limitation of the
|
||||||
|
//! current bookkeeping system.
|
||||||
|
|
||||||
|
pub use parking_lot as raw;
|
||||||
|
|
||||||
|
#[cfg(debug_assertions)]
|
||||||
|
pub use tracing::{
|
||||||
|
FairMutex, FairMutexGuard, MappedFairMutexGuard, MappedMutexGuard, MappedReentrantMutexGuard,
|
||||||
|
MappedRwLockReadGuard, MappedRwLockWriteGuard, Mutex, MutexGuard, Once, OnceState,
|
||||||
|
ReentrantMutex, ReentrantMutexGuard, RwLock, RwLockReadGuard, RwLockUpgradableReadGuard,
|
||||||
|
RwLockWriteGuard,
|
||||||
|
};
|
||||||
|
|
||||||
|
#[cfg(not(debug_assertions))]
|
||||||
|
pub use parking_lot::{
|
||||||
|
FairMutex, FairMutexGuard, MappedFairMutexGuard, MappedMutexGuard, MappedReentrantMutexGuard,
|
||||||
|
MappedRwLockReadGuard, MappedRwLockWriteGuard, Mutex, MutexGuard, Once, OnceState,
|
||||||
|
ReentrantMutex, ReentrantMutexGuard, RwLock, RwLockReadGuard, RwLockUpgradableReadGuard,
|
||||||
|
RwLockWriteGuard,
|
||||||
|
};
|
||||||
|
|
||||||
|
/// Dependency tracing wrappers for [`parking_lot`].
|
||||||
|
pub mod tracing {
|
||||||
|
pub use parking_lot::OnceState;
|
||||||
|
|
||||||
|
use crate::lockapi::TracingWrapper;
|
||||||
|
use crate::LazyMutexId;
|
||||||
|
|
||||||
|
type RawFairMutex = TracingWrapper<parking_lot::RawFairMutex>;
|
||||||
|
type RawMutex = TracingWrapper<parking_lot::RawMutex>;
|
||||||
|
type RawRwLock = TracingWrapper<parking_lot::RawRwLock>;
|
||||||
|
|
||||||
|
/// Dependency tracking fair mutex. See: [`parking_lot::FairMutex`].
|
||||||
|
pub type FairMutex<T> = lock_api::Mutex<RawFairMutex, T>;
|
||||||
|
/// Mutex guard for [`FairMutex`].
|
||||||
|
pub type FairMutexGuard<'a, T> = lock_api::MutexGuard<'a, RawFairMutex, T>;
|
||||||
|
/// RAII guard for [`FairMutexGuard::map`].
|
||||||
|
pub type MappedFairMutexGuard<'a, T> = lock_api::MappedMutexGuard<'a, RawFairMutex, T>;
|
||||||
|
|
||||||
|
/// Dependency tracking mutex. See: [`parking_lot::Mutex`].
|
||||||
|
pub type Mutex<T> = lock_api::Mutex<RawMutex, T>;
|
||||||
|
/// Mutex guard for [`Mutex`].
|
||||||
|
pub type MutexGuard<'a, T> = lock_api::MutexGuard<'a, RawMutex, T>;
|
||||||
|
/// RAII guard for [`MutexGuard::map`].
|
||||||
|
pub type MappedMutexGuard<'a, T> = lock_api::MappedMutexGuard<'a, RawMutex, T>;
|
||||||
|
|
||||||
|
/// Dependency tracking reentrant mutex. See: [`parking_lot::ReentrantMutex`].
|
||||||
|
///
|
||||||
|
/// **Note:** due to the way dependencies are tracked, this mutex can only be acquired directly
|
||||||
|
/// after itself. Acquiring any other mutex in between introduces a dependency cycle, and will
|
||||||
|
/// therefore be rejected.
|
||||||
|
pub type ReentrantMutex<T> = lock_api::ReentrantMutex<RawMutex, parking_lot::RawThreadId, T>;
|
||||||
|
/// Mutex guard for [`ReentrantMutex`].
|
||||||
|
pub type ReentrantMutexGuard<'a, T> =
|
||||||
|
lock_api::ReentrantMutexGuard<'a, RawMutex, parking_lot::RawThreadId, T>;
|
||||||
|
/// RAII guard for `ReentrantMutexGuard::map`.
|
||||||
|
pub type MappedReentrantMutexGuard<'a, T> =
|
||||||
|
lock_api::MappedReentrantMutexGuard<'a, RawMutex, parking_lot::RawThreadId, T>;
|
||||||
|
|
||||||
|
/// Dependency tracking RwLock. See: [`parking_lot::RwLock`].
|
||||||
|
pub type RwLock<T> = lock_api::RwLock<RawRwLock, T>;
|
||||||
|
/// Read guard for [`RwLock`].
|
||||||
|
pub type RwLockReadGuard<'a, T> = lock_api::RwLockReadGuard<'a, RawRwLock, T>;
|
||||||
|
/// Upgradable Read guard for [`RwLock`].
|
||||||
|
pub type RwLockUpgradableReadGuard<'a, T> =
|
||||||
|
lock_api::RwLockUpgradableReadGuard<'a, RawRwLock, T>;
|
||||||
|
/// Write guard for [`RwLock`].
|
||||||
|
pub type RwLockWriteGuard<'a, T> = lock_api::RwLockWriteGuard<'a, RawRwLock, T>;
|
||||||
|
/// RAII guard for `RwLockReadGuard::map`.
|
||||||
|
pub type MappedRwLockReadGuard<'a, T> = lock_api::MappedRwLockReadGuard<'a, RawRwLock, T>;
|
||||||
|
/// RAII guard for `RwLockWriteGuard::map`.
|
||||||
|
pub type MappedRwLockWriteGuard<'a, T> = lock_api::MappedRwLockWriteGuard<'a, RawRwLock, T>;
|
||||||
|
|
||||||
|
/// A dependency-tracking wrapper for [`parking_lot::Once`].
|
||||||
|
#[derive(Debug, Default)]
|
||||||
|
pub struct Once {
|
||||||
|
inner: parking_lot::Once,
|
||||||
|
id: LazyMutexId,
|
||||||
|
}
|
||||||
|
|
||||||
|
impl Once {
|
||||||
|
/// Create a new `Once` value.
|
||||||
|
pub const fn new() -> Self {
|
||||||
|
Self {
|
||||||
|
inner: parking_lot::Once::new(),
|
||||||
|
id: LazyMutexId::new(),
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
/// Returns the current state of this `Once`.
|
||||||
|
pub fn state(&self) -> OnceState {
|
||||||
|
self.inner.state()
|
||||||
|
}
|
||||||
|
|
||||||
|
/// This call is considered as "locking this `Once`" and it participates in dependency
|
||||||
|
/// tracking as such.
|
||||||
|
///
|
||||||
|
/// # Panics
|
||||||
|
///
|
||||||
|
/// This method will panic if `f` panics, poisoning this `Once`. In addition, this function
|
||||||
|
/// panics when the lock acquisition order is determined to be inconsistent.
|
||||||
|
pub fn call_once(&self, f: impl FnOnce()) {
|
||||||
|
let _borrow = self.id.get_borrowed();
|
||||||
|
self.inner.call_once(f);
|
||||||
|
}
|
||||||
|
|
||||||
|
/// Performs the given initialization routine once and only once.
|
||||||
|
///
|
||||||
|
/// This method is identical to [`Once::call_once`] except it ignores poisoning.
|
||||||
|
pub fn call_once_force(&self, f: impl FnOnce(OnceState)) {
|
||||||
|
let _borrow = self.id.get_borrowed();
|
||||||
|
self.inner.call_once_force(f);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
#[cfg(test)]
|
||||||
|
mod tests {
|
||||||
|
use std::sync::Arc;
|
||||||
|
use std::thread;
|
||||||
|
|
||||||
|
use super::tracing;
|
||||||
|
|
||||||
|
#[test]
|
||||||
|
fn test_mutex_usage() {
|
||||||
|
let mutex = Arc::new(tracing::Mutex::new(()));
|
||||||
|
let local_lock = mutex.lock();
|
||||||
|
drop(local_lock);
|
||||||
|
|
||||||
|
thread::spawn(move || {
|
||||||
|
let _remote_lock = mutex.lock();
|
||||||
|
})
|
||||||
|
.join()
|
||||||
|
.unwrap();
|
||||||
|
}
|
||||||
|
|
||||||
|
#[test]
|
||||||
|
#[should_panic]
|
||||||
|
fn test_mutex_conflict() {
|
||||||
|
let mutexes = [
|
||||||
|
tracing::Mutex::new(()),
|
||||||
|
tracing::Mutex::new(()),
|
||||||
|
tracing::Mutex::new(()),
|
||||||
|
];
|
||||||
|
|
||||||
|
for i in 0..3 {
|
||||||
|
let _first_lock = mutexes[i].lock();
|
||||||
|
let _second_lock = mutexes[(i + 1) % 3].lock();
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
#[test]
|
||||||
|
fn test_rwlock_usage() {
|
||||||
|
let lock = Arc::new(tracing::RwLock::new(()));
|
||||||
|
let lock2 = Arc::clone(&lock);
|
||||||
|
|
||||||
|
let _read_lock = lock.read();
|
||||||
|
|
||||||
|
// Should be able to acquire lock in the background
|
||||||
|
thread::spawn(move || {
|
||||||
|
let _read_lock = lock2.read();
|
||||||
|
})
|
||||||
|
.join()
|
||||||
|
.unwrap();
|
||||||
|
}
|
||||||
|
|
||||||
|
#[test]
|
||||||
|
fn test_rwlock_upgradable_read_usage() {
|
||||||
|
let lock = tracing::RwLock::new(());
|
||||||
|
|
||||||
|
// Should be able to acquire an upgradable read lock.
|
||||||
|
let upgradable_guard: tracing::RwLockUpgradableReadGuard<'_, _> = lock.upgradable_read();
|
||||||
|
|
||||||
|
// Should be able to upgrade the guard.
|
||||||
|
let _write_guard: tracing::RwLockWriteGuard<'_, _> =
|
||||||
|
tracing::RwLockUpgradableReadGuard::upgrade(upgradable_guard);
|
||||||
|
}
|
||||||
|
|
||||||
|
#[test]
|
||||||
|
fn test_once_usage() {
|
||||||
|
let once = Arc::new(tracing::Once::new());
|
||||||
|
let once_clone = once.clone();
|
||||||
|
|
||||||
|
assert!(!once_clone.state().done());
|
||||||
|
|
||||||
|
let handle = thread::spawn(move || {
|
||||||
|
assert!(!once_clone.state().done());
|
||||||
|
|
||||||
|
once_clone.call_once(|| {});
|
||||||
|
|
||||||
|
assert!(once_clone.state().done());
|
||||||
|
});
|
||||||
|
|
||||||
|
handle.join().unwrap();
|
||||||
|
|
||||||
|
assert!(once.state().done());
|
||||||
|
}
|
||||||
|
}
|
||||||
64
src/reporting.rs
Normal file
64
src/reporting.rs
Normal file
@@ -0,0 +1,64 @@
|
|||||||
|
//! Cycle reporting primitives
|
||||||
|
//!
|
||||||
|
//! This module exposes [`Dep`], which resolves to either something that tracks dependencies or to
|
||||||
|
//! something that doesn't. It should only be assumed to implement the [`Reportable`] trait.
|
||||||
|
use std::backtrace::Backtrace;
|
||||||
|
use std::borrow::Cow;
|
||||||
|
use std::fmt::Write;
|
||||||
|
use std::sync::Arc;
|
||||||
|
|
||||||
|
#[cfg(feature = "backtraces")]
|
||||||
|
pub type Dep = MutexDep<Arc<Backtrace>>;
|
||||||
|
#[cfg(not(feature = "backtraces"))]
|
||||||
|
pub type Dep = MutexDep<()>;
|
||||||
|
|
||||||
|
// Base message to be reported when cycle is detected
|
||||||
|
const BASE_MESSAGE: &str = "Found cycle in mutex dependency graph:";
|
||||||
|
|
||||||
|
pub trait Reportable: Clone {
|
||||||
|
/// Capture the current state
|
||||||
|
fn capture() -> Self;
|
||||||
|
|
||||||
|
/// Format a trace of state for human readable consumption.
|
||||||
|
fn panic_message(trace: &[Self]) -> Cow<'static, str>;
|
||||||
|
}
|
||||||
|
|
||||||
|
#[derive(Clone)]
|
||||||
|
pub struct MutexDep<T>(T);
|
||||||
|
|
||||||
|
/// Use a unit as tracing data: no tracing.
|
||||||
|
///
|
||||||
|
/// This should have no runtime overhead for capturing traces and should therefore be cheap enough
|
||||||
|
/// for most purposes.
|
||||||
|
impl Reportable for MutexDep<()> {
|
||||||
|
fn capture() -> Self {
|
||||||
|
Self(())
|
||||||
|
}
|
||||||
|
|
||||||
|
fn panic_message(_trace: &[Self]) -> Cow<'static, str> {
|
||||||
|
Cow::Borrowed(BASE_MESSAGE)
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
/// Use a full backtrace as tracing data
|
||||||
|
///
|
||||||
|
/// Capture the entire backtrace which may be expensive. This implementation does not force capture
|
||||||
|
/// in the event that backtraces are disabled at runtime, so the exact overhead can still be
|
||||||
|
/// controlled a little.
|
||||||
|
///
|
||||||
|
/// N.B. the [`Backtrace`] needs to be wrapped in an Arc as backtraces are not [`Clone`].
|
||||||
|
impl Reportable for MutexDep<Arc<Backtrace>> {
|
||||||
|
fn capture() -> Self {
|
||||||
|
Self(Arc::new(Backtrace::capture()))
|
||||||
|
}
|
||||||
|
|
||||||
|
fn panic_message(trace: &[Self]) -> Cow<'static, str> {
|
||||||
|
let mut message = format!("{BASE_MESSAGE}\n");
|
||||||
|
|
||||||
|
for entry in trace {
|
||||||
|
let _ = writeln!(message, "{}", entry.0);
|
||||||
|
}
|
||||||
|
|
||||||
|
message.into()
|
||||||
|
}
|
||||||
|
}
|
||||||
1120
src/stdsync.rs
1120
src/stdsync.rs
File diff suppressed because it is too large
Load Diff
Reference in New Issue
Block a user