lockbud

Statically detect Rust deadlocks bugs (by BurtonQin)

Lockbud Alternatives

Similar projects and alternatives to lockbud

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better lockbud alternative or higher similarity.

lockbud reviews and mentions

Posts with mentions or reviews of lockbud. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-09-08.
  • Async Rust Is A Bad Language
    11 projects | news.ycombinator.com | 8 Sep 2023
    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)!
    6 projects | /r/rust | 6 Jun 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
    1 project | /r/rust | 25 Aug 2022
    Try this: https://github.com/BurtonQin/lockbud.
  • Different behaviors of recursive read locks in stable and nightly versions
    1 project | /r/rust | 17 May 2022
  • A note from our sponsor - InfluxDB
    www.influxdata.com | 27 Apr 2024
    Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality. Learn more →

Stats

Basic lockbud repo stats
4
346
3.2
6 months ago

BurtonQin/lockbud is an open source project licensed under BSD 3-clause "New" or "Revised" License which is an OSI approved license.

The primary programming language of lockbud is Rust.


Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com