9 ms·

Wow, so maybe the no-deadlock guarantee really does say something nontrivial. Thanks for the heads up.