A modern programming language that makes developers happier.

kotlinlang

Does any anyone know if there is a good mechanism for detecting deadlocks without relying on timeout heuristics? I am thinking (and my reasoning might be flawed here) that if you know that a set of resources is only owned by coroutines assigned to a limited, known set of coroutine dispatchers, then there is a deadlock iff an expected postcondition is not satisfied and all coroutine dispatchers are idle. I am not sure if (1) this reasoning is sound, and (2) how to actually perform such a check without relying on a loop that continually queries the dispatchers for their statuses.