Understanding the Linux Virtual Memory Manager