又一个内存泄漏问题（程序终止时内存仍然消失） - SLES上的C程序

Question

I run my C program on Suse Linux Enterprise that compresses several thousand large files (between 10MB and 100MB in size), and the program gets slower and slower as the program runs (it's running multi-threaded with 32 threads on a Intel Sandy Bridge board). When the program completes, and it's run again, it's still very slow.

When I watch the program running, I see that the memory is being depleted while the program runs, which you would think is just a classic memory leak problem. But, with a normal malloc()/free() mismatch, I would expect all the memory to return when the program terminates. But, most of the memory doesn't get reclaimed when the program completes. The free or top command shows Mem: 63996M total, 63724M used, 272M free when the program is slowed down to a halt, but, after the termination, the free memory only grows back to about 3660M. When the program is rerun, the free memory is quickly used up.

The top program only shows that the program, while running, is using at most 4% or so of the memory.

I thought that it might be a memory fragmentation problem, but, I built a small test program that simulates all the memory allocation activity in the program (many randomized aspects were built in - size/quantity), and it always returns all the memory upon completion. So, I don't think that's it.

Questions:

1. Can there be a malloc()/free() mismatch that will lose memory permanently, ie even after the process completes?

2. What other things in a C program (not C++) can cause permanent memory loss, ie after the program completes, and even the terminal window closes? Only a reboot brings the memory back. I've read other posts about files not being closed causing problems, but, I don't think I have that problem.

3. Is it valid to be looking at top and free for the memory statistics, ie do they accurately describe the memory situation? They do seem to correspond to the slowness of the program.

4. If the program only shows a 4% memory usage, will something like valgrind find this problem?

Answer 1

Can there be a malloc()/free() mismatch that will lose memory permanently, ie even after the process completes?

No, malloc and free , and even mmap are harmless in this respect, and when the process terminates the OS (SUSE Linux in this case) claims all their memory back (unless it's shared with some other process that's still running).

What other things in a C program (not C++) can cause permanent memory loss, ie after the program completes, and even the terminal window closes? Only a reboot brings the memory back. I've read other posts about files not being closed causing problems, but, I don't think I have that problem.

Like malloc/free and mmap, files opened by the process are automatically closed by the OS.

There are a few things which cause permanent memory leaks like big pages but you would certainly know about it if you were using them. Apart from that, no.

---

However, if you define memory loss as memory not marked ' free ' immediately, then a couple of things can happen.

1. Writes to disk or mmap may be cached for a while in RAM. The OS must keep the pages around until it synchs them back to disk.
2. Files READ by the process may remain in memory if the OS has nothing else to use that RAM for right now - on the reasonable assumption that it might need them soon and it's quicker to read the copy that's already in RAM. Again, if the OS or another process needs some of that RAM, it can be discarded instantly.

Note that as someone who paid for all my RAM, I would rather the OS used ALL of it ALL the time, if it helps in even the smallest way. Free RAM is wasted RAM.

---

The main problem with having little free RAM is when it is overcommitted , which is to say there are more processes (and the OS) asking for or using RAM right now than is available on the system. It sounds like you are using about 4Gb of RAM in your processes, which might be a problem - (and remember the OS needs a good chunk too. But it sounds like you have plenty of RAM! Try running half the number of processes and see if it gets better.

Sometimes a memory leak can cause temporary overcommitment - it's a good idea to look into that. Try plotting the memory use of your program over time - if it rises continuously, then it may well be a leak.

Note that fork ing a process creates a copy that shares the memory the original allocated - until both are closed or one of them 'exec's. But you aren't doing that.

Is it valid to be looking at top and free for the memory statistics, ie do they accurately describe the memory situation? They do seem to correspond to the slowness of the program.

---

Yes, top and ps are perfectly reasonable ways to look at memory, in particular observe the RES field. Ignore the VIRT field for now. In addition:

To see what the whole system is doing with memory, run:

vmstat 10

While your program is running and for a while after. Look at what happens to the ---memory--- columns.

In addition, after your process has finished, run

cat /proc/meminfo

And post the results in your question.

If the program only shows a 4% memory usage, will something like valgrind find this problem?

Probably, but it can be extremely slow, which might be impractical in this case. There are plenty of other tools which can help such as electricfence and others which do not slw your program down noticeably. I've even rolled my own in the past.

Answer 2

malloc()/free() work on the heap. This memory is guaranteed to be released to the OS when the process terminates. It is possible to leak memory even after the allocating process terminates using certain shared memory primitives (eg System V IPC). However, I don't think any of this is directly relevant.

Stepping back a bit, here's output from a lightly-loaded Linux server:

$ uptime
 03:30:56 up 72 days,  8:42,  2 users,  load average: 0.06, 0.17, 0.27
$ free -m
             total       used       free     shared    buffers     cached
Mem:         24104      23452        652          0      15821        978
-/+ buffers/cache:       6651      17453
Swap:         3811          5       3806

Oh no, only 652 MB free! Right? Wrong.

Whenever Linux accesses a block device (say, a hard drive), it looks for any unused memory, and stores a copy of the data there. After all, why not? The data's already in RAM, some program clearly wanted that data, and RAM that's unused can't do anyone any good. If a program comes along and asks for more memory, the cached data is discarded to make room -- until then, might as well hang onto it.

The key to this free output is not the first line, but the second. Yes, 23.4 GB of RAM is being used -- but 17.4 GB is available for programs that want it. See Help! Linux ate my RAM! for more.

I can't say why the program is getting slower, but having the "free memory" metric steadily drop down to nothing is entirely normal and not the cause.

Answer 3

The operating system only makes as much memory free as it absolutely needs. Making memory free is wasted effort if the memory is later used normally -- it's more efficient to just directly transition the memory from one use to another than to make the memory free just to have to make it unfree later.

The only thing the system needs free memory for is operations that require memory that can't switch used memory from one purpose to another. This is a very small set of unusual operations such as servicing network interrupts.

If you type this command sysctl vm.min_free_kbytes , the system will tell you the number of KB it needs free. It's likely less than 100MB. So having any amount more than that free is perfectly fine.

If you want more of your memory free, remove it from the computer. Otherwise, the operating system assumes that there is zero cost to using it, and thus zero benefit to making it free.

For example, consider the data you wrote to disk. The operating system could make the memory that was holding that data free. But that's a double loss. If the data you wrote to disk is later read, it will have to read it from disk rather than just grabbing it from memory. And if that memory is later needed for some other purpose, it will just have to undo all the work it went through making it free. Yuck. So if the system doesn't absolutely need free memory, it won't make it free.

Answer 4

My guess would be the problem is not in your program, but in the operating system. The OS keeps a cache of recently used files in memory on the assumption that you are going to access them again. It does not know with certainty what files are going to be needed, so it can end up deciding to keep the wrong ones at the expense of the ones you wish it was keeping.

It may be keeping the output files of the first run cached when you do your second run, which prevents it from effectively using the cache on the second run. You can test this theory by deleting all files from the first run (which should free them from cache) and seeing if that makes the second run go faster.

If that doesn't work, try deleting all the input files for the first run as well.

Answer 5

Answers

1. Yes there is no requirement in C or C++ to release memory that is not freed back to the OS
2. Do you have memory mapped files, open file handles for deleted files etc. Linux will not delete a file until all references to is a deallocated. Also linux will cache the file in memory in case it needs to be read again - file cache memory usage can be ignored as the OS will deal with it
3. No
4. Maybe valgrind will highlight cases where memory is not