Messages in this thread |  | | Date | Sun, 5 Nov 2000 19:14:29 -0800 | From | "David S. Miller" <> | Subject | Re: Oddness in i_shared_lock and page_table_lock nesting hierarchies ? |
| |
From: bsuparna@in.ibm.com Date: Sun, 5 Nov 2000 11:21:05 +0530
However, in the vmtruncate code, it looks like the hierarchy is reversed.
It is a well known bug amongst gurus :-) I sent a linux24 bug addition to Ted Ty'tso a week or so ago but he dropped it aparently.
Ted, I'm resending this below, please add it to the linux24 list thanks.
X-Coding-System: undecided-unix Date: Fri, 13 Oct 2000 17:36:04 -0700 From: "David S. Miller" <davem@redhat.com> To: tytso@mit.edu Subject: New BUG for todo list
This bug will essentially hard-hang an SMP system if triggered. Linus and myself both know about it already for some time now, the fix is straight forward, just nobody has coded it up and tested it yet.
The problem basically is that mm/memory.c:vmtruncate() violates the lock acquisition ordering rules when both mm->page_table_lock and mapping->i_shared_lock must both be acquired. All other instances (in the mmap/munmap syscalls for example) acuire the page_table_lock then the i_shared_lock. vmtruncate() on the other hand acquires the locks i_shared_lock first then page_table_lock.
Essentially I would describe this in the TODO list as:
vmtruncate() violates page_table_lock/i_shared_lock acquisition ordering rules leading to deadlock
The fix is to actually keep vmtruncate() how it is, and change the ordering rules for the rest of the kernel to follow vmtruncate()'s lock ordering. Linus agreed with me on this because the more natural data inspection flow is to go from the object to mappings of that object.
I'm going to try and work on this change this weekend, but I want it to be in the bug list so that it _is_ accounted for.
Later, David S. Miller davem@redhat.com
- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org Please read the FAQ at http://www.tux.org/lkml/
|  |