Re: Memory leak during delete with sequential scan

Roman Konoval <rkonoval@gmail.com> writes:
> On Fri, Sep 12, 2014 at 5:17 AM, Tom Lane <tgl@sss.pgh.pa.us> wrote:
>> In Linux systems you should generally be looking at RES minus SHR
>> not just RES to determine a process' private memory.

> By private memory here I mean the sum of Private_Dirty and Private_Clean
> values for every memory segment in /proc/<pid>/smaps.

Hm.  I'm not terribly familiar with that API, but the notion that it
*ever* counts shared memory as "Private" sounds pretty bogus from here.
I'd suggest filing a bug against whichever kernel you're using.

            regards, tom lane