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]>
- [RFC][PATCH] Fix hang in posix_locks_deadlock()
- 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):
 |