There are very few locks in libbitcoin that are difficult to verify against deadlock. Really it’s just one, where a closure is executed under lock. The closure can contain arbitrary code, and if it attempts to reenter the critical section will deadlock.