转: Linux内存管理
随着要维护的服务器增多，遇到的各种稀奇古怪的问题也会增多，要想彻底解决这些"小"问题往往需要更深的Linux方面的知识。越专业、分工越细的 工程师，在这方面的要求也就越高。这次，对MySQL Swap的问题的探索过程，就一不小心掉进了Linux Memory Managemant（Linux MM）的研究中去了，爬了很久才出来，这里做一个系列笔记。
笔记中很多内容都是参考《Understanding the Linux Kernel, 3rd Edition》、Linux Source Code等地方，自己再做了一些总结，觉得有意义的总结这里记录一下，供参考。
1. 写在前面
Linux MM是一个比较猥琐的体系，虽然理论不太多，但是细节非常多。要从底层物理内存管理到上层虚拟内存管理整个关节打通，一方面需要较多底层架构知识、还需要很深的Linux知识。既然是学习笔记，先说一下我的学习资料：
1. Linux Memory Management David A Rusling 这本书很老了，当时的Kernel还是2.0.33版本的；这本书的优点在于抽象得很到位，把Linux_MM的基本模块、思想都通俗易懂的介绍了一遍。这也是kernel-docs.txt中推荐的读物之一；
2. 《Understanding the Linux Kernel, 3rd Edition》中的第二、八、十七章 这是基于2.6内核，非常有参考价值，介绍得非常细致，可以结合内核的源代码一起来看。
3. Linux Source Code 只看了几个自己关心的函数，没那么难:)
我不是计算机科班出身，体系结构的基础比较差，所以刚开始入门的时间相对较长，前后大概历时一个月，实际伏案时间约50小时，而这也只是一个开始
2. 基本框架
上面是一幅简图，后面会分别介绍，Kernel如何使用内存、Kernel如何管理分配内存、用户空间的内存管理。对于其中的一些细节则会单独介绍，例如大页内存，内存回收算等等。
2. Linux启动与内存管理
开机的第一个过程是BIOS自检，BIOS使用0x00000000到0x10000（1MB）内存，这1MB内存包括了自检程序、自检结果、还留 一部分给显示设备使用；自检完成后，开始载入Linux内核，Linux从1MB开始使用物理内存，一般5MB就足够了，在内核的符号信息中可以看 到，Linux内核从_text开始，_edata处结束
$more /boot/System.map-2.6.9-55.ELsmp|grep "\ _text$\|_etext$\| _edata$\| _end$"
ffffffff80100000 A _text
ffffffff80310399 A _etext
ffffffff80456aa8 A _edata
简图：
这里不涉及x86架构下的分页、分段细节，后面会单独介绍之。
这一篇很简单，是一个开始:)
【update 2011-03-29】
在64位系统中，Linux(2.6.18)从2MB开始使用物理内存。(32位系统，仍然是从1MB开始)
file: ./arch/x86_64/defconfig
CONFIG_PHYSICAL_START=0x200000
//This gives the physical address where the kernel is loaded.
参考文献：
[1]. http://cateee.net/lkddb/web-lkddb/PHYSICAL_START.html
http://www.orczhou.com/index.php/2011/02/linux-memory-management-3/
每次深入了解一个技术问题，随着挖据的深入，都发现其背后总非常深的背景知识，甚至需要深入到很多底层系统，这个过程有时会让自己迷失，会让自己忘了当初的目的。
在前篇中介绍系统启动时内存的使用情况，本篇将介绍简要Linux如何接管主机的物理内存、组织内存，最后会较为详细的介绍Linux分配内存的一段代码。
前面说了，Linux MM系统细节非常多，自己在探究的时候，也是尝试尽量抓住主线，这里也只能抽取了一些"主线剧情"介绍，其中还可以扩展出很多细节，看客感兴趣可以自己深 究，后续如果兴趣还在，我也还会继续写出来。内核版本如果没有特别说明，就是使用2.6.33版本。
1. 物理内存组织
先声明一下，这里说的Linux都是运行Intel X86架构的。从80386开始，为了更好支持内存管理、虚拟内存技术，x86架构开始支持处理器的分页模式（分页是基于分段）。系统将内存分为一个个固 定大小的块，称作"page frames"，x86架构每一个"page frames"大小为4096字节。Linux中使用struct page结构来描述一个"page frames"【链接中给出了2.6.18内核下的Page结构】，一个Page结构对应了一个物理内存页。
在Linux中，所有的struct page对象都放在一个数组mem_map，mem_map每一个元素对应一个Page。
2. NUMA下的内存结构
在NUMA架构下，系统根据CPU的物理颗数，将内存分成对应的Node。例如，两颗物理CPU，16GB内存的硬件：系统则将内存分成两个8GB，分别分配给两颗CPU：
my111.cm3:/root>#numactl --hardware
available: 2 nodes (0-1)
node 0 size: 8065 MB
node 1 size: 8080 MB
每一个Node，系统又将其分为多个Zone，64位x86架构下（参考:8.1.5），分为两个ZONE_DMA（低16MB，）、ZONE_NORMAL（其余内存）。所以NUMA架构下的内存分配，也就是在各个zone分配内存。
3. 内存分配函数栈
从底层系统的角度，内存分配有如下函数（这里介绍的底层函数，和上层函数的关系，以后再介绍）：
这里来调查一下函数alloc_pages都做了些什么，都调用了哪些函数：
free_area是一个底层保存空闲内存页的数组，有着特殊的结构，它也是内存分配Buddy system的核心变量。
4. get_page_from_freelist和zone_reclaim_mode
上面函数get_page_from_freelist【mm/page_alloc.c】通过遍历系统中各个zone，来寻找可用内存，根据 Linux系统中zone_reclaim_mode的设置不同，遍历时的行为略有不同。zone_reclaim_mode是Linux中的一个可配置 参数，为了解该参数如何影响内存分配，那就打开get_page_from_freelist的代码，仔细看看遍历各个zone的流程：
上面看到，zone_reclaim_mode非零时，如果某个zone内存不够，则会尝试出发一次内存回收工作（zone_reclaim），等于零时，则直接尝试写一个zone。
上面是2.6.33内核的代码流程图，2.6.18（RHEL5.4的内核）中则因为没有zcl相对简单一些：
流程图中可以看到，zone_reclaim_mode非零时，get_page_from_freelist【mm/page_alloc.c】 函数中会调用zone_watermark_ok扫描free_area，如果当面有没有足够的可用内存，就会调用zone_reclaim 【mm/vmscan.c】函数回收内存，zone_reclaim实际调用zone_reclaim【mm/vmscan.】收回内存。
最后
每次深入了解一个技术问题，随着挖据的深入，都发现其背后总非常深的背景知识，甚至需要深入到很多底层系统，这个过程有时会让自己迷失，会让自己忘 了当初的目的。如果是Linux方面的技术问题，一般最后会收缩到"体系结构"、"Linux原理"和"算法"，这恰恰对应了计算机系考研时候的三门课 程：体系结构、操作系统、和数据结构
参考：
Understanding the Linux Kernel, 3rd Edition
参考: http://www.orczhou.com/index.php/2011/02/linux-memory-management-1/
http://www.orczhou.com/index.php/2011/02/linux-memory-management-3/
