This looks odd, given we're generally going to some lengths to avoid calling that while synchronized. Is it worth adding a comment to explain why it's necessary / pointless to care because everyone's already waiting / just structurally difficult to avoid? (I think it's the middle one?)