get_user_pages() and process termination

From: Timur Tabi (timur.tabi_at_ammasso.com)
Date: 05/31/05

  • Next message: Dmitry Torokhov: "Re: OT] Joerg Schilling flames Linux on his Blog" 
    Date:	Tue, 31 May 2005 14:15:27 -0500
To: linux-kernel@vger.kernel.org

    If I call get_user_pages() on some pages owned by a process, and then the process exits,
    are the pages still pinned, or is there some kind of automatic cleanup? 

    -- 
Timur Tabi
Staff Software Engineer
timur.tabi@ammasso.com
One thing a Southern boy will never say is,
"I don't think duct tape will fix it."
      -- Ed Smylie, NASA engineer for Apollo 13
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/
  • Next message: Dmitry Torokhov: "Re: OT] Joerg Schilling flames Linux on his Blog"