cargo-check-deadlock
lockbud
cargo-check-deadlock | lockbud | |
---|---|---|
2 | 4 | |
19 | 350 | |
- | - | |
8.5 | 3.2 | |
17 days ago | 7 months ago | |
Rust | Rust | |
Apache License 2.0 | BSD 3-clause "New" or "Revised" License |
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.
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?
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
What are some alternatives?
SMPT - SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).
whatbpm - 💓 Today's Trending Values for EDM Production
mfcc-rust
cargo-edit - A utility for managing cargo dependencies from the command line.
mir - MyCoRe/MODS Institutional Repository
nannou - A Creative Coding Framework for Rust.
lunatic - Lunatic is an Erlang-inspired runtime for WebAssembly
lincheck - A linearizability checker for concurrent data structures
rust - Empowering everyone to build reliable and efficient software.
may - rust stackful coroutine library
rfcs - RFCs for changes to Rust