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 - To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to [EMAIL PROTECTED] More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
