Messages in this thread | | | Date | Mon, 3 Aug 2009 18:53:15 +0200 | From | Andrea Arcangeli <> | Subject | Re: [PATCH 2/12] ksm: move pages_sharing updates |
| |
On Mon, Aug 03, 2009 at 01:11:00PM +0100, Hugh Dickins wrote: > The pages_shared count is incremented and decremented when adding a node > to and removing a node from the stable tree: easy to understand. But the > pages_sharing count was hard to follow, being adjusted in various places: > increment and decrement it when adding to and removing from the stable tree. > > And the pages_sharing variable used to include the pages_shared, then those > were subtracted when shown in the pages_sharing sysfs file: now keep it as > an exclusive count of leaves hanging off the stable tree nodes, throughout. > > Signed-off-by: Hugh Dickins <hugh.dickins@tiscali.co.uk>
If we stick to the subtraction semantics (that I think for users is less intuitive as they need to understand more of the ksm code to figure out what it means) sure ack...
I don't see the big deal of just printing total number of ksm pages in stable tree, and the actual _total_ number of userland mappings that are mapping those. The subtraction to see the actual sharing that is the difference between the two numbers, can be done by the user itself.
But then I'm fine if we stick to the substraction logic, this is a minor detail, I just usually prefer "raw" values. (if removing the inc/dec is beneficial at runtime as it seems then doing an addition will provide the info I would find more intuitive in a more efficient way than before)
Acked-by: Andrea Arcangeli <aarcange@redhat.com>
| |