Re: [RFC, PATCH] locks: remove posix deadlock detection

Jiri Kosina
2007-10-28T21:45:58Z

On Sun, 28 Oct 2007, Matthew Wilcox wrote:

> You can't fix the false EDEADLK detection without solving the halting
> problem. Best of luck with that.

Could you please elaborate a little bit more on this? I don't see how
detecting loops in graph relates to solving halting problem.

Of course the halting problem can be transformed to deadlock-detection
problem, but this relates to static code analysis, right? Not anything we
are interested in, i.e. tracking things in runtime and detecting loops in
simple dependency graphs.

--
Jiri Kosina