[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug #28730] Bad Mach object cache reuse
|
From: |
Sergio López |
|
Subject: |
[bug #28730] Bad Mach object cache reuse |
|
Date: |
Wed, 07 Sep 2011 18:44:56 +0000 |
|
User-agent: |
Mozilla/5.0 (X11; Linux i686) AppleWebKit/534.30 (KHTML, like Gecko) Chrome/12.0.742.112 Safari/534.30 |
Update of bug #28730 (project hurd):
Wiki-like text discussion box: => Pagers only flush
pages from their memory objects in special situations like when
truncating/removing a node, to be able to use them as cache. So, for most
cases, resident_page_count will be > 0.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?28730>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/