lockbud
cargo-check-deadlock
lockbud | cargo-check-deadlock | |
---|---|---|
4 | 2 | |
350 | 18 | |
- | - | |
3.2 | 8.5 | |
7 months ago | 6 days ago | |
Rust | Rust | |
BSD 3-clause "New" or "Revised" License | Apache License 2.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
lockbud
-
Async Rust Is A Bad Language
There's tracing-mutex that builds a dag of your locks when you acquire them and panics (at runtime) if it could deadlock: https://github.com/bertptrs/tracing-mutex
parking_lot has a deadlock detection feature for when you deadlock that iirc tells you what deadlocked (so you're not trying to figure it out with a debugger and a lot of time) https://amanieu.github.io/parking_lot/parking_lot/deadlock/i...
I also just found out about https://github.com/BurtonQin/lockbud which seems to detect deadlocks and a few other issues statically? (seems to require compiling your crate with the same version of rust as lockbud uses, which from the docs is an old 1.63 nightly build?)
-
Hey Rustaceans! Got a question? Ask here (23/2023)!
Hi, I'm looking for tools that can statically detect possible deadlocks in async fns. I'm aware of lockbud and cargo-check-deadlock, neither of which can analyse async code. Is there any tools that support this?
-
Preventing possible deadlocks with RwLock
Try this: https://github.com/BurtonQin/lockbud.
- Different behaviors of recursive read locks in stable and nightly versions
cargo-check-deadlock
-
Petri Net for tokio ?
And a project uses it to check for deadlocks. https://github.com/hlisdero/cargo-check-deadlock/ but it doesn't work for async code, yet.
-
Hey Rustaceans! Got a question? Ask here (23/2023)!
Hi, I'm looking for tools that can statically detect possible deadlocks in async fns. I'm aware of lockbud and cargo-check-deadlock, neither of which can analyse async code. Is there any tools that support this?
What are some alternatives?
whatbpm - 💓 Today's Trending Values for EDM Production
SMPT - SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).
mfcc-rust
mir - MyCoRe/MODS Institutional Repository
cargo-edit - A utility for managing cargo dependencies from the command line.
lunatic - Lunatic is an Erlang-inspired runtime for WebAssembly
nannou - A Creative Coding Framework for Rust.
rust - Empowering everyone to build reliable and efficient software.
lincheck - A linearizability checker for concurrent data structures
may - rust stackful coroutine library
rfcs - RFCs for changes to Rust