On Fri, 21 Jul 2023 18:17:20 GMT, Kevin Rushforth <k...@openjdk.org> wrote:
> That is exactly my concern. It would need a lot more very careful analysis > before making this synchronous. It seems to me that this whole class is asking for more careful analysis, considering that there seem to be several concurrency bugs in there. I don't quite like the idea of a system test "proving" that there's no race condition. That should be done through rigorous analysis instead. The first (and incorrect) proposed fix shows that the system test would have failed in demonstrating that the defects are no longer there. ------------- PR Comment: https://git.openjdk.org/jfx/pull/1178#issuecomment-1646087041
