Linux内存管理上

《Linux内存管理上》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、Linux内存管理（上）摘要：本章首先以应用程序开发者的角度审视Linux的进程内存管理，在此基础上逐步深入到内核中讨论系统物理内存管理和内核内存地使用方法。力求从外自内、水到渠成地引导网友分析Linux地内存管理与使用。在本章最后我们给出一个内存映射地实例，帮助网友们理解内核内存管理与用户内存管理之间地关系，希望大家最终能驾驭Linux内存管理。刖弓内存管理一向是所有操作系统书籍不惜笔墨重点讨论的内容，无论市面上或是网上都充斥着大量涉及内存管理的教材和资料。因此我们这里所要写的Linux内存管理采取必重就轻的策略，从理论层面就

2、不去板门弄斧，贻笑人方了。我们最想做的和可能做到的是以开发者的角度谈谈对内存管理的理解，最终FI的是把我们在内核开发屮使用内存的经验和对Linux内存管理的认识与大家共享。当然这其中我们也会设计一些诸如段页等内存管理的基本理论，但我们目的不是为了强调理论，而是为了指导理解开发屮的实践，所以仅仅点到为止，不做深究。遵循“理论来源于实践”的“教条”，我们先不必一下了就钻入内核里去看系统内存到底是如何管理，那样往往会让你陷入似懂非懂的窘境（我当年就犯了这个错误！）。所以最好的方式是先从外部（用户编程范畴）来观察进程如何使用内存，等到对

3、大家内存使用有了较直观的认识后，再深入到内核屮去学习内存如何被管理等理论知识。最后再通过一个实例编程将所讲内容融会贯通。进程与内存进程如何使用内存？毫无疑问所冇进程（执行的程序）都必须占用一定数量的内存，它或是用來存放从磁盘载入的程序代码，或是存放取口用户输入的数据等等。不过进程对这些内存的管理方式因内存用途不一而不尽相同，冇些内存是事先静态分配和统一冋收的，而有些却是按需要动态分配和冋收的。对任何一个普通进程来讲，它都会涉及到5种不同的数据段。稍有编程知识的朋友都该能想到这几个数据段种包含冇“程序代码段”、“程序数据段”、“程

4、序堆栈段”等。不错，这几种数据段都在其中，但除了以上几种数据段Z外，进程述另外包含两种数据段。下而我们来简单归纳一下进程对应的内存空间屮所包含的5种不同的数据区。代码段••代码段是用来存放可执行文件的操作指令，也就是说是它是可执行程序在内存种的镜像。代码段需要防止在运行时被非法修改，所以只准许读取操作，而不允许写入（修改）操作——它是不可写的。数据段:数据段用来存放可执行文件中已初始化全局变量，换句话说就是存放程序静态分配⑴的变量和全局变量。BSS段［2］：BSS段包含了程序屮未初始化全局变量，在内存屮bss段全部置零。堆（he

5、ap）・•堆是用于存放进程运行屮被动态分配的内存段，它大小并不固定，可动态扩张或缩减。当进程调用malloc等函数分配内存吋，新分配的内存就被动态添加到堆上（堆被扩张）；当利用free等函数释放内存时，被释放的内存从堆屮被剔除（堆被缩减）栈:栈是用户存放程序临时创建的局部变量，也就是说我们函数扌舌弧“{}”屮定义的变量（但不包括static声明的变量，static意味这在数据段屮存放变量）。除此以外在函数被调用时，其参数也会被压入发起调用的进程栈中，并11待到调用结束后，函数的返回值也回被存放回栈中。由于栈的先进先出特点，所以栈

6、特别方便用来保存/恢复调用现场。从这个意义上将我们可以把堆栈看成一个临时数据寄存、交换的内存区。进程如何组织这些区域？上述几种内存区域中数据段、BSS和堆通常是被连续存储的——内存位置上是连续的，而代码段和栈往往会被独立存放。有趣的是堆和栈两个区域关系很“暧味”，他们一个向下“长”G386休系结构屮栈向下、堆向上）,一个向上“长”，相对而生。但你不必担心他们会碰头，因为他们Z间间隔很大（到底大到多少，你可以从下面的例子程序计算一下），绝少有机会能碰到一起。下图简要描述了进程内存区域的分布：数据段BSS代码段堆栈“事实胜于雄辩”,

7、我们用一个小例子(原形取自《User-LevelMemoryManagement》)來展示上面所讲的各种内存区的差别与位置。ffinclude^include^includemtbss_var;intdata_^arO=l;intmain(intargc,char*^argv){printf(,fbelowareaddressesoftypesofprocess'smem/nu);printf(nTextlocation:/n"丿；printf(f7tAddressof

8、main(CodeSegment):%p/n9main);printfC；/廿);intstack_i^ir0=2;printf(ffStackLocation:/n"丿；printf(f7tInitialendofstack:%p/nf&stack_var