[Maledictus]

Could you create a type around Mutex that enforces the locking order?

[aw1621107]

Something like https://docs.rs/lock_ordering/latest/lock_ordering perhaps?

[j-krieger]

You could - and this is what we do - push all of your state into one large struct. Note that this has drawbacks as well and if you have a lot of reads and some very important writes, you will still get deadlocks.