Cc: Ingo Molnar <mingo@...>, Jeff Chua <jeff.chua.linux@...>, Thomas Gleixner <tglx@...>, H. Peter Anvin <hpa@...>, Gabriel C <nix.or.die@...>, Arjan van de Ven <arjan@...>, Nishanth Aravamudan <nacc@...>, <linux-kernel@...>, <linux-mm@...>
On Tue, May 06, 2008 at 08:49:23PM +0100, Hugh Dickins wrote:
I used a standard kernel (well, not quite, I had made some changes to
the /proc/pid/pagemap code, but nothing that would affect the hugepage
stuff) and some simple test program that would just mmap a hugepage.
I expected that any hugepage that a process had mmapped would
automatically be returned to the system when the process exits. That was
not the case, the process exited and the hugepage was lost (unless I
changed the program to explicitly munmap the hugepage before exiting).
Removing the hugetlbfs file containing the hugepage also didn't free the
page.
--
%SYSTEM-F-ANARCHISM, The operating system has been overthrown
--