On: Structured Concurrency in High-Level Languages

[CodeArtisan]

It would deadlock but there is a debugger that shows the state of any thread and where it is blocked.

[smaddox → CodeArtisan]

So it's race free.... If you test every single possible system state, and remove all the race conditions. No thanks.

[ghkbrew → smaddox]

A race condition is a situation where the result depends on the ordering/interweaving of threads. And that example isn't actually one.

It's a deadlock which are also bad but much more deterministic and easier to debug.