一、Linux 进程在内存中的数据结构

一个可执行程序在存储(没有调入内存)时分为代码段,数据段,未初始化数据段三部分:

   1) 代码段存放CPU执行的机器指令。通常代码区是共享的,即其它执行程序可调用它。假如机器中有数个进程运行相同的一个程序,那么它们就可以使用同一个代码段。
     2) 数据段:存放已初始化的全局变量、静态变量(包括全局和局部的)、常量。static全局变量和static函数只能在当前文件中被调用。
     3) 未初始化数据区(uninitializeddata segment,BSS):存放全局未初始化的变量。BSS的数据在程序开始执行之前被初始化为0或NULL。

代码段所在的地址空间最低,往上依次是数据段和BSS段,并且数据段和BSS段在内存中是紧挨着的。

可执行程序在运行时又多出了两个区域:栈段(Stack)和堆段(Heap)。

  4) 栈区:由编译器自动释放,存放函数的参数值,局部变量等。每当一个函数被调用时,该函数的返回类型和一些调用的信息被存储到栈中。然后这个被调用的函数再为它的自动变量和临时变量在栈上分配空间。每调用一个函数一个新的栈就会被使用。栈区是从高地址位向低地址位增长的,是一块连续的内在区域,最大容量是由系统预先定义好的,申请的栈空间超过这个界限时会提示溢出,用户能从栈中获取的空间较小。
    5) 堆段:用于存放进程运行中被动态分配的内存段,位于BSS和栈中间的地址位。由程序员申请分配(malloc)和释放(free)。堆是从低地址位向高地址位增长,采用链式存储结构。频繁地malloc/free造成内存空间的不连续,产生碎片。当申请堆空间时库函数按照一定的算法搜索可用的足够大的空间。因此堆的效率比栈要低的多。

   这个5中内存区域中数据段、BSS和堆通常是被连续存储的——内存位置上是连续的,而代码段和栈往往会被独立存放。有趣的是堆和栈两个区域关系很“暧昧”,他们一个向下“长”(i386体系结构中栈向下、堆向上),一个向上“长”,相对而生。但你不必担心他们会碰头,因为他们之间间隔很大(到底大到多少,你可以从下面的例子程序计算一下),绝少有机会能碰到一起。

下图简要描述了进程内存区域的分布:

二、 地址相关概念

  1. 物理地址(physical address)

物理内存,真实存在的插在主板内存槽上的内存条的容量的大小.

内存是由若干个存储单元组成的,每个存储单元有一个编号,这种编号可唯一标识一个存储单元,称为内存地址(或物理地址)。我们可以把内存看成一个从0字节一直到内存最大容量逐字节编号的存储单元数组,即每个存储单元与内存地址的编号相对应。 

  2. 虚拟内存(Virtual memory)(也叫虚拟存储器)

虚拟内存地址就是每个进程可以直接寻址的地址空间,不受其他进程干扰。每个指令或数据单元都在这个虚拟空间中拥有确定的地址。

虚拟内存就是进程中的目标代码,数据等虚拟地址组成的虚拟空间

虚拟内存不考虑物理内存的大小和信息存放的实际位置,只规定进程中相互关联信息的相对位置。每个进程都拥有自己的虚拟内存,且虚拟内存的大小由处理机的地址结构和寻址方式决定。

如直接寻址,如果cpu的有效地址长度为16位,则其寻址范围0 -64k。

再比如32位机器可以直接寻址4G空间,意思是每个应用程序都有4G内存空间可用。但是显然机器内存罕有如此之大,可以支持每个程序使用4G内存的。

  虚拟内存与物理内存的区别:虚拟内存就与物理内存相反,是指根据系统需要从硬盘虚拟出来的内存空间,是一种计算机系统内存管理技术,属于计算机程序,而物理内存为硬件。因为有时候当你处理大的程序时候系统内存不够用,此时就会把硬盘当内存来使用,来交换数据做缓存区,不过物理内存的处理速度是虚拟内存的30倍以上。 

  3. 逻辑地址(logical address)

源程序经过汇编或编译后,形成目标代码,每个目标代码都是以0为基址顺序进行编址的,原来用符号名访问的单元用具体的数据——单元号取代。这样生成的目标程序占据一定的地址空间,称为作业的逻辑地址空间,简称逻辑空间。

在逻辑空间中每条指令的地址和指令中要访问的操作数地址统称为逻辑地址。即应用程序中使用的地址。要经过寻址方式的计算或变换才得到内存中的物理地址。

很简单,逻辑地址就是你源程序里使用的地址,或者源代码经过编译以后编译器将一些标号,变量转换成的地址,或者相对于当前段的偏移地址。

逻辑地址是指由程序产生的与段相关的偏移地址部分。例如,你在进行C语言指针编程中,可以读取指针变量本身值(&操作),实际上这个值就是逻辑地址,它是相对于你当前进程数据段的地址,不和绝对物理地址相干。只有在Intel实模式下,逻辑地址才和物理地址相等(因为实模式没有分段或分页机制,Cpu不进行自动地址转换);逻辑也就是在Intel保护模式下程序执行代码段限长内的偏移地址(假定代码段、数据段如果完全一样)。应用程序员仅需与逻辑地址打交道,而分段和分页机制对您来说是完全透明的,仅由系统编程人员涉及。应用程序员虽然自己可以直接操作内存,那也只能在操作系统给你分配的内存段操作。

不过有些资料是直接把逻辑地址当成虚拟地址,两者并没有明确的界限。

   在linux内核中,虚拟地址是3G-4G这段地址,它与物理地址通过页表来映射,逻辑地址是指3G-3G+main_memory_size这段虚拟地址,它与物理地址的映射是线性的,当然也可以通过页表映射。所以逻辑地址是虚拟地址的一部分。

逻辑地址的组成:是由一个段标识符加上一个指定段内相对地址的偏移量,表示为 [段标识符:段内偏移量]

  4. 线性地址或Linux下也叫虚拟地址(virtual address)

      这个地址很重要,也很不容易理解。分段机制下CPU寻址是二维的地址,即:段地址:偏移地址,CPU不可能认识二维地址,因此需要转化成一维地址即,段地址*16+偏移地址,这样得到的地址便是线性地址(在未开启分页机制的情况下也是物理地址)。这样有什么意义呢?或者说这个一维地址的计算方法随便一个学计算机的人都知道,但是你真的理解它的意思吗?要想理解它的意思,必须要知道什么是地址空间,下文详述。

线性地址是逻辑地址到物理地址变换之间的中间层。程序代码会产生逻辑地址,或者说是段中的偏移地址,加上相应段的基地址就生成了一个线性地址。如果启用了分页机制,那么线性地址可以再经变换以产生一个物理地址。若没有启用分页机制,那么线性地址直接就是物理地址。Intel 80386的线性地址空间容量为4G(2的32次方即32根地址总线寻址)。

跟逻辑地址类似,它也是一个不真实的地址,如果逻辑地址是对应的硬件平台段式管理转换前地址的话,那么线性地址则对应了硬件页式内存的转换前地址。

   CPU将一个虚拟内存空间中的地址转换为物理地址,需要进行两步:首先将给定一个逻辑地址(其实是段内偏移量),CPU要利用其段式内存管理单元,先将这个逻辑地址转换成一个线程地址,再利用其页式内存管理单元,转换为最终物理地址。

三、地址映射

  由INTEL公司推出的32位80386芯片的工作模式包括实地址模式和虚地址模式。实地址模式与8086 完全兼容。它的寻址范围是1MB的地址空间。分段功能受到限制。不能区分特权级。当然分页机制也不能启用。在虚地址模式下,分段机制得到加强,段最大可达4GB,并且提供段内分页管理机制,为 Linux虚拟内存管理机制提供了支持 。

80386 的虚拟地址模式使用了如下分段和分页两级地址转换机制来实现虚拟地址向物理地址的转换 。

    2.1   虚拟地址向线性地址的转换

用户进程要访问的虚拟地址包括一个16 位的段选择器和一个32位的段内偏移量,80386的分段机制将段寄存器中所装的段选择器和32位段内偏移量相加得到32位的线性地址, 如图1所示。16 位的段选择器最低两位表示请求者的特权级, 那么最多可以有16k个段 , 每段的最大尺寸为4GB。 但是它们都必须被映射到4GB的线性地址空间。

图1

  2.2 线性地址向物理地址的转换

Linux的每个用户进程都可以访问4GB的线性地址空间,而实际的物理内存可能远远少于4GB。采用分页机制,Linux仅把可执行映像的一小部分装入物理内存。当需要访问未装入的页面时,系统产生一个缺页中断,把需要的页读入物理内存。

图  2

  Linux采用两级页表结构——页目录表和页表实现地址映射,当前正在运行进程的页目录表的地址被保存在控制寄存器CR3中。由上面转换机制所得到的线性地址可以分为3部分,高10位是DIR域——页目录表的索引值。它与CR3中的地址一起计算得到页表的物理地址,中间10位保存相对于页表的索引值,通过它得到所需的物理页号。物理页号与低12位页内偏移组合得到物理地址。其结构如图2 所示。

四、虚拟地址管理

  每个用户进程都可以有4GB的虚存空间。为了更好地管理这部分虚存空间.Linux主要定义了如下三个数据结构 :

  struct   vm_area_struct

  struct   vm_operations_struct
  struct    vmm_struct

   虚存段(vm_area_struct) ,简称vma是某个进程的一段连续的虚存空间,一个进程通常占用几个vma段。例如代码段、数据段、堆栈段等。vma不仅可以代表一段内存区间,也可以对应于一个文件、 共享内存或者对换设备。

    每一个进程的所有vma由一个双向链表管理。为了提高对vma的查询、插入、删除等操作的效率。Linux把系统中所有进程的vma组成了一棵AVL树。这是一棵平衡二叉树,当 vma数量特别大时,利用这棵AVL树查找vma的效率得到明显提高。

不同的vma可能需要不同的操作处理方式,但同时考虑到接口的统一性。Linux采用vm_operations_struct结构和面向对象的思想来定义操作方式。一个vm_operations_struct结构体是一组函数指针,对于不同的vma,它可能指向不同的处理函数。例如当发生缺页错误时,共享内存和代码段的readpage所指向的页面读入函数可能就不同。

内存管理中另外一个非常重要的数据结构是vmm_struct结构体,进程的task_struct中的mm成员指向它。当前运行进程的整个虚拟空间都由它来管理和描述。它不仅包含该进程的映像信息,而且它的mmap成员项指向该进程所有vma组成的链表。它的mmap_avl成员项指向整个系统的AVL树。

这三个数据结构之间相互关联,共同管理虚拟内存,它们之间的关系如图3所示 。

图 3

这部分相关的系统调用主要有如下两个 :   

do_mmap(
struct file *file,
unsigned long addr
unsigned long len ,
unsigned long prot ,
unsigned long flags ,
unsigned long off
);
find_vma (
struct mm_struct mm ,
unsigned long addr
);

   do _mmap函数实现了内存映射。find_vma函数的功能是找到包含参数addr指定的虚拟地址所属的vma。当要运行一个可执行映像时,调用do_mmap将其装入到该进程的虚拟地址空间,并且产生一组vma结构,如前所述该进程的整个虚拟空间由vmm_struct结构管理,但是此时可执行文件仅仅被连接到进程的虚拟空间中,只有一小部分页面被装入到物理内存,其余大部分并没有被真正装入到物理内存。在进程的运行过程中产生缺页错误,操作系统首先调用find_vma,找到该虚拟地址所在的vma,然后根据该vma的成员变量vm_ops指向的vm_operations_struct结构中的缺页操作函数,把页装入物理内存。

五、swap对换空间

32位Linux系统的每个进程可以有4GB的虚拟内存空间,而且系统中还要同时存在多个进程。但是,事实上大多数计算机都没有这么多物理内存空间,当系统中的物理内存紧缺时,就需要利用对换空间把一部分未来可能不用的页面从物理内存中移到对换设备或对换文件中。  
       Linux采用两种方式保存换出的页面 :

一种是利用整个块设备,如硬盘的一个分区,即对换设备。

另一种是利用文件系统中固定长度的文件,即对换文件。它们统称为对换空间。

这两种方式的相同之处是它们的内部格式一致,但是在执行效率方面,对换设备要好一些。这是因为对换设备上同一页面的数据块是连续存放的,故而可以顺序存取。而在对换文件中,同一页面的数据块实际的物理位置可能是不连续的,需要通过对换文件的 inode检索,这就降低了存取效率。

每个对换文件或对换设备由 struct   swap_info_ struct 结构来描述。 有关对换设备的 函数主要是 get _swap_ page ( …) 。当内存中的页面需要被换出时,调用get_swap_page函数申请得到一个对换空间中的物理页面。如果成功,就返回一个非零代码,否则返回0。   

六、分页机制管理

  Linux使用分页管理机制来更加有效地利用物理内存。当创建一个进程时,仅仅把当前进程的一小部分真正装入内存。其余部分需要访问时,处理器产生一个页故障,由缺页中断服务程序根据缺页虚拟地址和出错码调用写拷贝函数do_wp_page,此地址所属的vma的vm_ops指向的nopage、do_swap_page、swap_in等函数将需要的页换入物理内存。随着可执行映像的运行和页面的换入,系统中的内存有可能变得不足,这时Linux核心就必须调用kswapd守护进程释放部分物理内存。kswapd在系统启动时由init进程建立。在系统的运行过程中,它被定期唤醒,检查系统中的空闲物理内存是否很少。如果是,则释放一部分内存或者将一些页面换出到对换空间,然后继续睡眠。

kswapd 守护进程负责确保内存保持可用空闲空间。它监测内核中的 pages_high 和pages_low 标记,如果空闲内存空间值小于 pages_low 值, kswwapd 进程开始扫描并尝试每次回收  个页面,如此重复直至空闲内存空间大于 pages_high 值。
kswapd 进程履行以下操作:
* 假如页面未改变,它将该页面放入 free list。
* 假如页面发生改变且被文件系统回写,它将页面内容写入磁盘。
* 假如页面发生改变且未被文件系统回写(无名页) ,它将页面内容写入 swap 设备。

  缺页中断和页面换入
      页面换入主要由缺页中断服务入口函数do_page_fault来实现。当系统中产生页面故障时,如果虚拟内存地址有效,则产生错误的原因有如下两种:
      虚拟内存地址对应的物理页不在内存中。那么它必然在磁盘或对换空间中,如果在磁盘上,那么我们调用do_no_page函数,而do_no_page调用vma一>vm_ops一>nopage()函数建立页面映射.从对换空间或磁盘中调入页面,或者通过do_swap_page()函数调用swap_in()来换入页面。
  该虚拟地址对应的物理页在内存但是被写保护。如果这种情况发生在一个共享页面上,则需要“写拷贝“函数do_wp_page来换入页面。do_wp_page函数首先调用_get_free_page获得一新页面,然后调用copy_cow_page拷贝页面的内容。当然还要调用相应的刷新函数刷新TLB和缓存等。

       页交换进程和页面换出
       正如我们上面所描述的系统使用kswapd守护进程来定期地换出页面。使系统中有足够的空闲物理内存页。
       kswapd进程定期地检查系统中的空闲页面数。如果少于一定值,则按照以下三中途径获得空闲页面:

①减少缓冲区和页面高速缓存的大小;

②把共享内存占用的页面置换到对换空间;
           ③换出或丢弃物理内存页。

Linux 内存管理 - guisu,程序人生。 逆水行舟,不进则退。 - 博客频道 - CSDN.NET

linux内存管理的更多相关文章

  1. 浅谈Linux内存管理机制

    经常遇到一些刚接触Linux的新手会问内存占用怎么那么多?在Linux中经常发现空闲内存很少,似乎所有的内存都被系统占用了,表面感觉是内存不够用了,其实不然.这是Linux内存管理的一个优秀特性,在这 ...

  2. Linux内存管理原理

    本文以32位机器为准,串讲一些内存管理的知识点. 1. 虚拟地址.物理地址.逻辑地址.线性地址 虚拟地址又叫线性地址.linux没有采用分段机制,所以逻辑地址和虚拟地址(线性地址)(在用户态,内核态逻 ...

  3. 了解linux内存管理机制(转)

    今天了解了下linux内存管理机制,在这里记录下,原文在这里http://ixdba.blog.51cto.com/2895551/541355 根据自己的理解画了张图: 下面是转载的内容: 一 物理 ...

  4. Linux内存管理原理【转】

    转自:http://www.cnblogs.com/zhaoyl/p/3695517.html 本文以32位机器为准,串讲一些内存管理的知识点. 1. 虚拟地址.物理地址.逻辑地址.线性地址 虚拟地址 ...

  5. Windows内存管理和linux内存管理

    windows内存管理 windows 内存管理方式主要分为:页式管理,段式管理,段页式管理. 页式管理的基本原理是将各进程的虚拟空间划分为若干个长度相等的页:页式管理把内存空间按照页的大小划分成片或 ...

  6. linux 内存管理——内核的shmall 和shmmax 参数

    内核的 shmall 和 shmmax 参数 SHMMAX= 配置了最大的内存segment的大小 ------>这个设置的比SGA_MAX_SIZE大比较好. SHMMIN= 最小的内存seg ...

  7. linux内存管理子系统

    一.Linux内存管理模型 1.虚拟地址与物理地址的映射 2.物理地址的分配二.虚拟地址与物理地址的映射 1.虚拟地址空间分布 32位处理器有32根地址总线,可访问4G的物理空间.其中有0-3G为用户 ...

  8. Linux内核分析(三)----初识linux内存管理子系统

    原文:Linux内核分析(三)----初识linux内存管理子系统 Linux内核分析(三) 昨天我们对内核模块进行了简单的分析,今天为了让我们今后的分析没有太多障碍,我们今天先简单的分析一下linu ...

  9. Linux内存管理之slab分配器

    slab分配器是什么? 参考:http://blog.csdn.net/vanbreaker/article/details/7664296 slab分配器是Linux内存管理中非常重要和复杂的一部分 ...

随机推荐

  1. 中文分词工具探析(二):Jieba

    1. 前言 Jieba是由fxsjy大神开源的一款中文分词工具,一款属于工业界的分词工具--模型易用简单.代码清晰可读,推荐有志学习NLP或Python的读一下源码.与采用分词模型Bigram + H ...

  2. ASP.NET Core 中文文档 第三章 原理(15)请求功能

    作者:Steve Smith 翻译:谢炀(kiler398) 校对:姚阿勇(Dr.Yao).孟帅洋(书缘) 涉及到如何处理 HTTP 请求以及响应的独立 Web 服务器功能已经被分解成独立的接口,这些 ...

  3. 浏览器加载和渲染HTML的过程(标准定义的过程以及现代浏览器的优化)

    先看一下标准定义的浏览器渲染过程(网上找的): 浏览器打开网页的过程 用户第一次访问网址,浏览器向服务器发出请求,服务器返回html文件: 浏览器开始载入html代码,发现 head 标签内有一个 l ...

  4. sql 分组取最新的数据sqlserver巧用row_number和partition by分组取top数据

    SQL Server 2005后之后,引入了row_number()函数,row_number()函数的分组排序功能使这种操作变得非常简单 分组取TOP数据是T-SQL中的常用查询, 如学生信息管理系 ...

  5. Guid的使用

    今天在公司做修改功能时,老大让使用部分更新,但是表中的主键是UNIQUEIDENTIFIER类型,它会在我们添加纪录时,默认生成一个unicode码, 但是我现在必须要将获取到的已经是string类型 ...

  6. 严重: Exception sending context initialized event to listener instance of class

    问题描述:Exception sending context initialized event to listener instance of class org.springframework.w ...

  7. 【译】Core Java Questions and Answers【1-33】

    前言 译文链接:http://www.journaldev.com/2366/core-java-interview-questions-and-answers Java 8有哪些重要的特性 Java ...

  8. SVNKit支持SSH连接

    SVNKit这个开源工具,用于Java语言访问SVN库,咋看的时候很方便,其实坑特别多.我在这里只想跟大家说一句,如果你还没有用过,请不要在生产环境使用这个东西了,兼容性问题搞死你(替换方案是直接用s ...

  9. CSS3新特性应用之字体排印

    一.插入换行 ~:表示同辈元素之后指定类型的元素,如;elm1 ~ elm2表示,elm1之后的所有elm2元素,且elm1与elm2都是在同一个父级元素. +:表示同辈元素的兄弟元素. \A:一个空 ...

  10. sharepoint 计算列 年龄

    1.建立一个字段叫做Today ,(类型为文本都行) 2.建立你想要计算字段年龄,公式=IF(ISBLANK(出生年月),"NA",DATEDIF(出生年月,Today," ...