On Thu, Feb 08, 2001 at 10:03:41PM +0000, Richard Earnshaw wrote:

 > If we could defer the unmappings until after the pmap has been changed to 
 > a different one (or switch to a different pmap before starting the 
 > unmapping), we could eliminate the cache flush on process death entirely.
 > 
 > Not sure how we might achieve this though.

Hm... it might already be the case that this is what happens...

The address space is torn down in uvmspace_free(), which is called
from uvm_exit(), which is called from the reaper.

-- 
        -- Jason R. Thorpe <thorpej@zembu.com>