On 03/11/2017 10:47, Alex Bennée wrote: > As deadlocks are easy to introduce a new rule is introduced that the > replay_mutex_lock is taken before any BQL locks. Conversely you cannot > release the replay_lock while the BQL is still held.
I agree with the former, but the latter is unnecessary. Paolo