Comment 92 for bug 1711407

> So they should not be operating on the same sock concurrently.

But, of course, all this is caused by bugs, so yes it's certainly possible a bug allowed what you said to happen, but you'll need to dig in deeper to find where such a bug is (if any), since the locking design is correct as far as I can tell.