I haven't seen any deadlocks with the existing code, but I have seen them with new code I'm writing and I think they're possible with existing code. My theory as to what's going on is display.roundtrip() dispatches, we have our own dispatch thread, and things go poorly when there are multiple dispatcher. Implementing roundtrip ourselves such that it uses our dispatcher fixes this problem.
bors[bot]
commented
1 year ago
I haven't seen any deadlocks with the existing code, but I have seen them with new code I'm writing and I think they're possible with existing code. My theory as to what's going on is
display.roundtrip()dispatches, we have our own dispatch thread, and things go poorly when there are multiple dispatcher. Implementing roundtrip ourselves such that it uses our dispatcher fixes this problem.