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

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/

---

• References:
  • [RFC][PATCH] Fix hang in posix_locks_deadlock()
    • From: "George G. Davis" <[email protected]>
  • Re: [RFC][PATCH] Fix hang in posix_locks_deadlock()
    • From: "George G. Davis" <[email protected]>
  • Re: [RFC][PATCH] Fix hang in posix_locks_deadlock()
    • From: "J. Bruce Fields" <[email protected]>
  • Re: [RFC][PATCH] Fix hang in posix_locks_deadlock()
    • From: "J. Bruce Fields" <[email protected]>
  • [PATCH] locks: fix possible infinite loop in posix deadlock detection
    • From: "J. Bruce Fields" <[email protected]>
  • [RFC, PATCH] locks: remove posix deadlock detection
    • From: "J. Bruce Fields" <[email protected]>
  • Re: [RFC, PATCH] locks: remove posix deadlock detection
    • From: Matthew Wilcox <[email protected]>
  • Re: [RFC, PATCH] locks: remove posix deadlock detection
    • From: Alan Cox <[email protected]>
  • Re: [RFC, PATCH] locks: remove posix deadlock detection
    • From: Matthew Wilcox <[email protected]>
  • Re: [RFC, PATCH] locks: remove posix deadlock detection
    • From: Alan Cox <[email protected]>

• Prev by Date: Re: [PATCH] backlight dimmer
• Next by Date: Re: [RFC, PATCH] locks: remove posix deadlock detection
• Previous by thread: Re: [RFC, PATCH] locks: remove posix deadlock detection
• Next by thread: Re: [RFC, PATCH] locks: remove posix deadlock detection
• Index(es):
  • Date
  • Thread

[Index of Archives]     [Kernel Newbies]     [Netfilter]     [Bugtraq]     [Photo]     [Stuff]     [Gimp]     [Yosemite News]     [MIPS Linux]     [ARM Linux]     [Linux Security]     [Linux RAID]     [Video 4 Linux]     [Linux for the blind]     [Linux Resources]