Lock ordering enforcement at compile time

This library contains types and traits to ensure, at compile time, that locks are acquired in the correct order.

Credits

Inspired by Fuchsia's lock-ordering and lock-sequence libraries.

lib.rs:

Lock ordering enforcement at compile time

This library contains types and traits to ensure that locks that are held at the same time are acquired in the correct order. This lets code authors verify, at compile time, that their code is free of deadlock opportunities.

The way this works is by using traits in the [relation] crate to define orderings between marker types that represent different lock-levels. The core logic lives in the LockedAt type; it uses trait bounds to ensure that any acquisition of locks respects these orderings.