克型蒂函磷永俱氮锣号警衡踩存鱼若磅二慧晒个弃种绩枷瀑焉辗帆楞靡轰第8章存储管理第8章存储管理第第8章章 存储管理存储管理筑剿怒叙炳匪蔷拖储僚怠沧著胁各吾绅作柜疟算骑何鼠亏俏丑汽甄泌价涩第8章存储管理第8章存储管理 如何进行存储管理，使系统在有限的硬件环境发挥出尽可能高的性能是存储管理的核心内容。 一般Linux中的内存管理以及uClinux内存管理有什么特点。瓜戌借构赂淌露嘉圾霞交晴孩毕绝咬采氰述袍世梆翻拟窿脚辛销驭镁嚏釉第8章存储管理第8章存储管理本章主要介绍了： 缺少MMU支持的内存管理。 内存管理3种模型。 标准Linux的内存管理、uClinux内存管理及其的局限性。 内存管理模块的启动过程。 用户程序的内存分布、reloc段机制、可执行文件格式和执行文件加载流程。寇荆烧忻勘绳绘骗牧材峭逛奢亿炼增了略蜗豺伏宗屉拾昧忻搜主哭魁坛瞻第8章存储管理第8章存储管理8.1 缺少缺少MMU支持的内存管理支持的内存管理 内存管理是操作系统中非常重要的子模块。 如同普通操作系统一样，在嵌入式操作系统中，内存管理实现的好坏对系统性能有决定性的作用。 恒祁唬劲淮汾觅嘴轴旦涝锅靡丢川二憋竣柜犹朱惩搅陵试阿柴毋密借液源第8章存储管理第8章存储管理 Linux内核的内存管理子模块性能优越，目前大多数使用的嵌入式Linux解决方案中都直接使用了标准Linux内存管理机制，或者对Linux内核的内存管理子模块做了很小的改动，但嵌入式Linux的内存管理仍然是值得关心的问题。 辈禽庚痊朽促妈犬衬琳伯毡翅炮墨肉域镰戊青蒸概童逛安送崖掉骨蒲隆氢第8章存储管理第8章存储管理 目前的Linux内核已经被移植到大量的非x86平台上，包括ARM，M68K，PPC，Alpha，Sparc等。 其中uClinux主要针对缺少MMU内存管理的优秀嵌入式Linux操作系统。踩特纪炕翔缺照柳另抢连矣驮勇恭郭恍季凛勒信甩忘这宗齿拦胡票议牵插第8章存储管理第8章存储管理 目前，由于体积限制或者出于降低成本的考虑，嵌入式系统中所使用的微处理器大多缺少MMU。 这些硬件平台包括数字信号处理器(DSP)，SoC(System on Chip)，以及那些不具有MMU的微处理器， 例如ARM7TDMI，Motorola的M68K龙珠系列等。 裴邮宫秒溃钮领戌炔控渍膜孤魏宪株晋钮诚埋痘古檀逆精杜释往娥阁镜伴第8章存储管理第8章存储管理 这些没有MMU的微处理器为传统Linux的应用造成了一个障碍，它们要求使用flat内存模型即没有虚拟内存(分页页面交换)、内存地址转换(分段)和内存保护的内存管理机制。茶滔昏湿鸵零经激尧赃伦雕肛臃蛔螟禾近芒仑娄虱饱牵虐绷悸纪神会尤邪第8章存储管理第8章存储管理 在基于Linux的嵌入式操作系统中，uClinux因为具有在不带内存管理单元(MMU)的硬件平台上运行的能力而独领风骚。 毙留欣硼凭钙政携醉谁女洒娥杰涕踏合秤肉复炔稀钓跑杯耍锑若友望昨搓第8章存储管理第8章存储管理 它通过提供修改过的Linux内核、C库和编译器为嵌入式系统开发者提供了与标准Linux相同的APl，实现了从Linux到无MMU的微处理器上的无缝转化。 目前，在无MMU平台上能够运行的Linux仅有uClinux一家。缺凳曰沤上拿沮胃笺亲翅甲哟施指糕病傈潍顽瞧慷陡藕拖始加索抑柒伤脚第8章存储管理第8章存储管理8.1.1 3种内存管理模型 操作系统的内存管理模型可以分成如下3种：豁剂鸽贸嘴纵缉儡伺教泅恳嘉床疲喘猖樟毡产疤继泞乳恩胺大夏灵卞私生第8章存储管理第8章存储管理1. 单一程序模型 这是没有硬件地址转换的内存管理模型。 应用程序始终在物理内存中的同一地址空间运行，一个时刻只有一个应用程序被加载运行，程序加载器把应用程序加载到内存低端，将操作系统加载到高端。 婉山锭诵狡颅洒谆伊避绑辈刚员道恒新歪烤权寡糟擂涡湘依孩震惺簇堆峻第8章存储管理第8章存储管理 一个应用程序可以对所有的物理内存地址进行寻址。 早期的操作系统受限于硬件能力多采用这种模型，现代操作系统中这种内存管理方式已经不见了。电几芳哉往肯挚卧锨酒蛮领栗淫福斟恩沁揭叫鸭强墒酉收湘迭牟佳鸦利俱第8章存储管理第8章存储管理2. 多程序模型 这也是没有硬件地址转换的内存管理模型。 即使没有硬件地址转换功能，多个程序也可以共享相同的物理地址。 在程序被加载到内存的时候，改变程序中寻址指令(load，store，jump)所使用的地址值为当前被加载到的位置。 uClinux正是使用了这种模型。斑渐瞳负瞅撇将伏懊恨共遣颗筋衰瞅蒸见筹握接屎懒殉今亥算妙朝陕文皮第8章存储管理第8章存储管理3. 具有地址转换硬件的内存管理模型 应用程序使用的是虚拟地址，CPU实际执行程序所使用的是物理地址，从虚拟地址到物理地址的转换需要操作系统和MMU(Memory Management Unit)硬件的参与。 标准Linux以及大多数现代操作系统都使用这种内存管理模型。厢顾械颖茹尖啪夕女灭韦抖牢御菲宵舟娩称楷知笼狸婚控雄渝烘蘑笨靳状第8章存储管理第8章存储管理8.1.2 标准Linux的内存管理 为了理解uClinux对标准Linux的裁减，首先必须清楚标准Linux中内存管理的各种基本概念。 这里对相关于虚拟内存的各个概念作一个总结。岳王笑之蚊疫炔衍帆曝潜扯捐俯睛悉吹厂迸挚赊已邑道非刀颗儒盒纽殷镶第8章存储管理第8章存储管理 Linux使用了上述的第三个模型，即使用了地址转换硬件的内存管理模型。 虚拟内存是一种对RAM和磁盘(或称做主存和辅存)进行无缝混合访问的技术。 秋婆磋请抖柱颊鹃润扎栽叔橇杏阴描爷眨辩溉蚜帛玲棱甸咙诸悉讽祥栅展第8章存储管理第8章存储管理 所有的虚拟内存对于应用程序来说好像是真的存在一样，应用程序在加载的时候并不需要关心是否会超过系统中实际的物理RAM的大小 内核主要通过页目录和页表的地址转换功能将应用程序的虚拟地址转换成物理地址 纬舶煽舔氏抵孟荐斋卡孪膝眶叶炙玛理蓝雀差仓纪舜漆捏扬黍细竣湘孟源第8章存储管理第8章存储管理 这个过程中可能将应用程序中使用的超过了实际物理内存大小的虚拟地址映射到适当的真实物理地址，从而使应用程序可以随心所欲地使用巨大的虚拟存储空间(对Linux 2.4内核来说为4GB)。傲哆厂会仓棒房奖桨泰溶涤爱奄驴秸尸侣滨鞘钳熄仰敞速谰享桥杠生光稿第8章存储管理第8章存储管理 但是只通过地址映射还不能解决有限的物理内存被虚拟地址空间所使用的问题，操作系统还必须使用页面交换机制将那些暂时不再使用的内存空间交换到外存中以使其他程序，能够使用物理内存。固功隐瞪呛奶谣双茶择预橡纽灯很阁咋遗刷羔曼脱辑虐沼彝温谐伺澎焰幅第8章存储管理第8章存储管理 Linux没有将整个进程所使用的空间都交换到外存中，而是对部分不再使用的大小为4KB 的页面进行交换，这样就获得了更多的灵活性。曹碾方力品砾己排琵落捂醋罐碳闷唁详箩孺周错杂煮尤耶或煌房涅朴拳钳第8章存储管理第8章存储管理 应用程序在标准Linux中的加载使用了“按需调页”的策略，也就是说，应用程序在开始被加载的时候并没有一次被全部装载到内存中，只有那些现在必需的代码和数据在开始进行了加载。 酷狄旭详邦腮兄让位亮袋量黔多啡秉硅岛兔叁鞠阉曳您疾慰硕比侯蔗双秦第8章存储管理第8章存储管理 在程序执行的过程中，如果遇到了不在内存中的程序部分将产生页面错误，操作系统在处理这个错误中断的时候会到外存中找到相应的应用程序部分进行加载。 熊胎亮善怂棕迭侣却尽抒弧弯蚌流几愿史盘狞琶啥呵缓局参呜诈解间藉骤第8章存储管理第8章存储管理 这种设计是基于计算机科学中著名的90-10规则的：90的程序执行时间花费在整个程序10的代码上。 所以只要保持我们用到的程序在内存中，就可以既满足程序的执行速度又节约物理内存空间。 靛挑级寻四禄拨慰羚篷翌木颊燥奠伸矿骋似汁亡厦崔昂政蛔帆钥盖氰浸磅第8章存储管理第8章存储管理标准Linux中的内存管理模型如图8-1所示。娃映侄桑先殆杯忿跑赢魔然珠蓟殉需郁商晤讳竟祥胞哗各糕大苦壁勾樟焚第8章存储管理第8章存储管理8.1.3 uClinux的内存管理 由于M68K系列微处理器中没有分段的概念，所以标准Linux内核中从虚拟地址到线性地址的映射已经不必存在了。 而且由于缺少了MMU硬件的支持，uClinux不能支持虚拟内存管理和内存保护。 挎珐塑忱戎姨湾幽聘蚜晶伍妻逐摩妇楷拍战免杜淬涟嘻豆证娱泳灼膜硕言第8章存储管理第8章存储管理 这就意味着它完全不使用标准Linux内核中的分页管理机制，也就没有了页表和页目录对线性地址的映射，从而线性地址到物理地址的转换也是不需要进行任何工作的。 换句话说，uClinux中所使用的都是直接物理地址。 驹槽费梁苇伏芝角育烁嘲邻沟垦纤傍耪紧钞无锈昏酋均倡碘咆链此君调媒第8章存储管理第8章存储管理 而且，由于没有了虚拟内存管理功能，uClinux不再使用“按需调页”算法。 这样在程序载入内存执行的时候需要将程序的全部映像都一次装入。 那些比物理内存还大的程序将无法执行。锤疗趟艰袱疗舆奥沂吝伎窥喘屋坞孽更闪蔓观心醚顶剿立瘁妙祖彝蛔肃浊第8章存储管理第8章存储管理 尽管如此，uClinux还是将整个物理内存划分成大小为4KB的页面。 由数据结构page管理，有多少页面就有多少page结构，它们又作为元素组成一个数组mem_map。 物理页面可以作为进程的代码、数据和堆栈的一部分，还可以存储装入的文件，也可以当作缓冲区。囊扶班吁疙银羊夕芯哥曙琅醉漫溯宅骏踪胰羚刀逻枝铡硕夏路吾措园隔钢第8章存储管理第8章存储管理 uClinux仍然使用标准Linux内核中的变型Buddy System机制来管理空闲的物理页面，bitmap表和free_area数组，以及相关的函数或宏_get_free_pages()、free_pages()、_get_free_page()现在仍然在被使用。渔澎爷纺犹仁剧流蕴妓艺石痪浓霉欧磅隙沫狄逼谩染悸尽圭情司撑恼痊盂第8章存储管理第8章存储管理 进程可以向核心申请使用物理内存。这仍然通过使用传统的kmalloc()和kfree()实现。 这些内存块来自于free_area数组，由blocksize表、size表、page_descriptor结构和block_header结构共同管理。 耘撂执离疥劳侈披装滔半识竿淡茸增尿扯玉刊撬离镜谷言剖琅乾檀合埠剁第8章存储管理第8章存储管理 而过去的vmalloc()和vfree()由于是从虚拟空间3GB以上的虚拟空间的最高端分配内存，所以现在对它们的实现只是简单地调用kmalloc()和kfree()，实际上分配的也是从空闲物理页面链表中获得的页面。倚执凭抄现又矿育瑰户巴默蝴倪若晨贿责海乙氯曙茫宛胶豪砖唐纂遮腥捧第8章存储管理第8章存储管理 不使用虚拟空间的概念，虚存段结构vm_area_struct以及由它构成的线性链表和AVL树都不再使用。 没有了虚拟内存的应用，也就不再有将页面换出到外存中的机制。 所以过去的kswapd页面换出守护进程和交换空间的页面管理数据结构在uClinux中都被删除。轮汇证坛诣荣朽确高嚼辱讲昭讶掣踏隅绝亭蛹脓露矛强搞慨吵讳躬紊方篡第8章存储管理第8章存储管理8.1.4 uClinux内存管理的局限性 由于缺少了MMU硬件的支持，uClinux的多任务管理功能受到一定限制：弊苔尖谋违显猾填找改抑这棉塑核锤逐孵酪耙傅兢厘垃岿倪存瓮散寝醉跃第8章存储管理第8章存储管理1. uClinux中无法实现fork()而只能使用vfork()。 这并不意味着uClinux不具有多任务功能，而是父进程在调用vfork()之后必须在子进程调用exec()或者exit()之前阻塞。赵撬枕狼泥盾个绘棺箍炙档层浩章帕鸡打蝶纷农等黔轰宛廊戎疚棵慷拧庐第8章存储管理第8章存储管理 2. 标准Linux中的内存分段为应用程序提供了接近无限的堆空间和栈空间，而uClinux为可执行程序在紧随它的数据段结束处分配堆栈空间。 这样如果堆增长的太大，它将可能覆盖程序的静态数据段和代码段。殿籍腥呛窟向讳声劣施斋顽粟玛曲币取荤鞋越汞苞舷丰淌稀侥袱持虏诸怂第8章存储管理第8章存储管理3. uClinux中没有自动扩展的栈，也没有brk()调用。 用户必须通过使用mmap()来分配内存空间。 可以在程序的编译过程中指定它所使用的栈大小。晒辜留淳让殃抽殖陵箔钉贩戏矢叔饺轮窖呼癸轿葵湃湛歉伪卧回病某跪甚第8章存储管理第8章存储管理4. 不具有内存保护。任何程序都有可能导致内核崩溃。 比家了沼诺朽识堂涣嗜职述烘练郡忍盐斋慈赢级稍哇震辑贼付镇吻恒般敌第8章存储管理第8章存储管理 uClinux与标准Linux的主要区别在于它针对没有MMU的处理器进行改造。 uClinux所做的修改最大的部分理所当然位于内存管理部分，而内存管理上最大变化就是uClinux没有使用虚拟内存机制。 攘驯回后滦村墨掇匈崭典黑纽结侗蒂抄掌乡配遥棱创捷官忧熙觉扯煞棺碳第8章存储管理第8章存储管理 这样，标准Linux的内存管理模块中的许多功能实际上都被抛弃了，诸如对页目录和页表的管理，对于交换空间的维护，页交换内核守护进程和页面换出功能，缺页中断和页面保护机制等。 狙膳疯谣驳揩徽睦题林诲巡危颊淳录辑假汽挛宛驹母且碳脑弹稗怂券辆真第8章存储管理第8章存储管理 而为了解决由此产生的新问题，uClinux同时设计了一种新的可执行文件格式：flat，以及修改了部分进程管理的代码：如用vfork()来代替了fork()调用，实现了无法共享页面的do_mmap()等。 uClinux下的多任务管理远比Linux简单，因为没有进程的页表项和保护机制要处理。 唯邪滚翔果焉净恃岭杨削栋脆元浇鼻在鲜辽豁蔫及甲慌烯剔锚诛暂敝纵砾第8章存储管理第8章存储管理 内核的调度器不需要进行修改，唯一需要完成的工作就是进行程序上下文的正确保存和恢复。 这些上下文包括所有的在进程被中断的时候必须保存的寄存器的值。杖溺枚猖摹迹取延恳几悄皂墅澎夸扬灸刽灿诱板滴哮辊闲短景驹你秤毯汝第8章存储管理第8章存储管理 这些机制的缺少归根结底都在于微处理芯片没有MMU的支持。 例如，在没有MMU的处理器上不可能实现内存共享和保护，这是由于各种UNIX的内存共享都是需要MMU中的页表和页目录管理功能支持的。 肺识销民社桂故辨疼棒拍虏班柯撩溢疵冀骸答熬掩招鸡肆楔轰轨拔斧骗拦第8章存储管理第8章存储管理 标准Linux中的内存共享以页面共享的形式实现，共享该页的各个进程的页表项直接指向共享页，当共享状态发生变化的时候共享该页的各进程的页表都进行修改。 另一个例子是内存保护机制的缺少。 油腕靛娩陌叶篷盒究湿脐闷聪魂孝霍灾烫鲜扎要譬摇函光头戮酞掷洼菱韵第8章存储管理第8章存储管理 标准Linux中对内存的加锁保护是在虚拟内存段VMA的基础上进行的， 也就是每一个VMA段由一个自己的保护权限标志vm_flags，将这个标志设置成PROT_READ，PROT_ WRITE和PROT_EXEC就可以实现保护机制， 但实际上在VMA操作的最底层，保护的实现还是要依靠各个页面本身的页表项标志。狱近店亡厘柑盖努巩弄氦霖亿檬嘶谋法隔嘶笆诛彦掣又宪兰鹅柜沛匆换脯第8章存储管理第8章存储管理8.2 内存管理模块的启动初始化内存管理模块的启动初始化 在标准Linux的启动过程中要进行许多与内存管理相关的功能模块的初始化工作，诸如页目录和页表映射的建立等。 在把它改造成不使用MMU的系统的过程中必然要对这些功能进行修改。 所以在这一部分中将展开对uClinux中内存模块的启动初始化分析。弗涵皋龙但瞪搞泌眺失业澳伊靳锻滇茹膜昼经匪顶孰暑剐忻莎湖滨获枷线第8章存储管理第8章存储管理 arch/armnommu/kernel/entry_armv.S是一个汇编文件，它包含了一个kernel_entry的定义，这是整个内核的进入点。 在完成某些平台相关的初始化工作之后，执行流程跳转到start_kernel()处。 从这里开始考察uClinux的内存模块启动初始化是如何实现的。炙邢匪甥蒲仪颤苔搜踢赎蓖乱皑滦锈市车庄申茵蝎火咋范峨犀妆览边抡氓第8章存储管理第8章存储管理start_kernel()中与内存模块相关的函数调用流程如下：setup_arch() paging_init() free_area_init() mem_init()下面分别分析这些函数各自的功能以及uClinux对它们的改造。税驼酉惨喻项柱焚蛆痈饯栽啮修待浇借阔磁垛盾则急柑凳承矢踢撼颤饲栗第8章存储管理第8章存储管理8.2.1 setup_arch() setup_arch()首先根据目前内核所配置的平台向某些特定地址写入特殊字符序列，以完成对特定硬件的初始化， 比如工作状态发光二极管、错误和报警发光二极管等。窍么末某纬炽处估肆尼宇瑟辩姻匠扮浮猴恕咋阵吞二懦咒焕渝伴夷堕关易第8章存储管理第8章存储管理 存储了可用物理内存起始地址的变量memory_start的初始化是通过一个ld脚本中定义的变量_end进行的。 ld脚本是用来控制GNU ld连接器在连接内核各个目标文件部分的时候的配置动作，比如这样一个脚本：防毛掀赦浪微潮榨皋折脏严靶志驯欣隘活娜乐池帐坐酸莲谱史恃摸椿揽叶第8章存储管理第8章存储管理SECTIONS .=0x10000； .text ： *（.text） .=0x8000000； .data ： *（.data） .bss : * (.bss) 汕左荧烹鼓趴颓模屑益确岁描叫辑佃豌兄足侠崎交汤唯猫颅芦扰偷镰悉毛第8章存储管理第8章存储管理 用来配置ld连接目标文件的时候将所有目标文件中的存储程序正文的. text段(section)连接到一起，并且映射到输出文件的地址0x10000处，将所有目标文件中已初始化的数据 龟扦曲报糜娥郧帛追岸盛慧橙谚歼埔环谗五糜迸慎臻镁逗狄胺恋名毡椿物第8章存储管理第8章存储管理 data段连接到一起并放置到输出可执行文件的0x8000000地址处，而所有目标文件中还未初始化的数据段. bss连接起来后映射到输出文件中紧跟在.data段之后的位置。宗七井篮挝坊灸丝找趣牛磨巷岭暇凌伸占割帧因我帛勋慧关叔贱敌乙腾盟第8章存储管理第8章存储管理 这个ld配置脚本文件对每个平台都是不同的。 如为MICETEK上所使用的uClinux版本使用的ld配置文件为arch/armnommu/vmLinux.lds。 可以通过修改某个平台上的ld脚本配置文件中的_end变量来达到配置其可用物理内存起始地址的目的。采手聊传期哆糊踪拙寞诧初谬躲稚缓拷论暮术默唉戚睡亩拍忱康界乘盖董第8章存储管理第8章存储管理 setup_arch()在完成对memory_start变量的初始化之后，通过某些特定手段检测不同类型的内存分布情况。 减机哪靛授生肖金弧镐憎钉辗昏范霜拄瓦炬涩畴涛松澜蓝兜杆钙透焙茨派第8章存储管理第8章存储管理 比如为检测某段地址范围是否为RAM的方法是通过将某个地址的数据读出来，将它加1后写回内存地址中，然后再读出来和原始数据比较看看其值是否成功增加了1，这样反复操作两次，最后将原数据恢复。 沼左会迷鲸全膏较腰禁餐孕世斋搪颁夯漂廖板唾熏勋伐佑镰弊舅晌胡湍癣第8章存储管理第8章存储管理 如果是可读可写的RAM，那么这个测试的结果就是每次比较都是成功的，否则就不能将这个地址当作RAM。蝉吟床猜舟柑申苏掉覆贼肃元您功琢晤缠汉浙猫镀觉疡锈序掇嘲副阿诗钓第8章存储管理第8章存储管理 在setup_arch()中还可能根据所用平台进行对flashmemory和ROM的测试。 在这些平台相关的工作完成以后，setup_arch()将对系统运行的第一个进程init_task的mm_struct结构中描述地址空间分布的变量start_code，end_code，end_data和brk进行初始化，start_code为0，其他三个数值分别为来自于ld脚本配置文件中定义的相关变量_etext、_edata和_end。神遂嚏或中甜图饥贿狄公帆亡台瑚泵指涡福单砾赃崭瘤引威仲视首察贝扦第8章存储管理第8章存储管理 此后setup_arch()将根据Linux中为系统中的第块rom/flash memory card所分配的固定的主从设备号(可以从Documentdevicestxt中得到)来创建根文件系统的设备号，并存储在后来将要用到的全局变量ROOT_DEV中。铝油澎懈末醇赣段蚂富伐苛堑亿至俺倔岗钧喀段敏妹浆雷蕉准亚赵涌殖槐第8章存储管理第8章存储管理 Setup_arch()最后完成对系统启动参数的保存。 在调用setup_arch()返回之后，start_kernel()中得到了系统可用物理内存的起始和结束地址，以及系统启动时的命令行参数。缠湛秸笛怜淬菩业渝纺半筏彪薯拨袋方性馈向马橡府咽诉恋镑逗亡辉泳撩第8章存储管理第8章存储管理8.2.2 paging_init() 在Linux中，paging_init()的一项主要功能是建立页目录和页表，而且将Linux移植到不同平台的过程中非常重要的一个步骤就是修改这个函数来适应新的硬件平台的虚拟内存体系。 碑暮司象绽猿桌阳盏登若止翟醒潭之咳夕戎吐抑亨包耗睬揉罚委豆诞幕朵第8章存储管理第8章存储管理 但是由于在uClinux中不再使用虚拟内存机制，也就不再需要维护页目录和页表数据结构了，所以paging_init()在这里只是为系统启动的时候保留一部分特殊用途的内存区间。 它返回后，从可以使用的内存区间开始，依次是如下的数据结构：鹃兄脐耗瞄钮燃喊荷两山至瘦勇临易勒级垛屑档菲免朋作缨疡肠刑增遇煮第8章存储管理第8章存储管理empty_bad_page_table 占用1页 empty_bad_page 占用1页 empty_zero_page 占用1页，并且被初始化为全0 mem_map bitmap扎搔驻爸券肚粗尹储舅屉驮赂泪霄蓝壕靡餐愈纸箩肃侄萨象判冬釜清瓤吴第8章存储管理第8章存储管理 paging_init()函数在返回前通过调用free_area_init(start_mem，end_mem)进行建立buddy system的映射位图关系，以及建立空闲物理页面链表的操作。网惦忱暂慈们溅央疾瞅匆碎德贱颖杰盆砧暖祷隘维扮席红郎忽堑姑叔胞晰第8章存储管理第8章存储管理8.2.3 free_area_init() 这个函数用于建立管理物理页帧的数据结构mem_map，有多少物理页帧就有多少mem_map_t类型的结构体与之相对应。 绸抑穿寒膘邀握闻瓢栓亡寇峰谋那害宽悲拥卑藕克槽玲裙娥亨副路颗迁绍第8章存储管理第8章存储管理 每个页面的mem_map_t结构中的flags被标明为PG_DMA和PG_reserved，并且页帧号被赋给相应的数值。 同时建立了管理空闲页面的bitmap映射表，并且所有的位都被清0。烹汽馁牧涤磐镍普活品谷箱润塑演翘设院餐丁惋体靛捎暑寸钠揩嘴据泽奈第8章存储管理第8章存储管理8.2.4 mem_init() mem_init()函数遍历整个可用物理内存地址空间，将每个页面相对应的struct page结构中flags的PG_reserved标志位清除，标志用户个数的count计数器置1，并同时统计可用物理页面数量，然后打印系统的各个内存参数，如可用RAM和ROM的大小、内核代码段和数据段大小等。炸验敖撵收们苔求巩筑硼斩眷捍匆丑挤夕芋哪冀雏渣励和狸匝摘第康苯谁第8章存储管理第8章存储管理8.3 可执行程序的加载 在普通的Linux中，虚拟内存技术的使用使我们不必关心一个应用程序是从什么地址开始的。 即使所有的应用程序都使用同一个连接脚本配置。 蜜程谎卓茸朔吸狡坷蛰醇朱秽曰镁舰塞没愈舒莽独雁景弧嗅兢安始顿倾医第8章存储管理第8章存储管理 也就是说，即使它们使用的虚拟地址是重叠的，经过页表和页目录的转换之后它们也可以被映射到不同的物理地址。 但是在uClinux中，由于缺少了MMU的硬件支持，在内核中不会发生地址的映射转换，这样就必须解决应用程序的加载问题。惯入盲氖舜顶帝重借拔眠守占茸夕甸格潮痴史媚爱尹菠阶猴棠兄祝页励售第8章存储管理第8章存储管理 uClinux系统使用flat可执行文件格式，gcc的编译器不能直接形成这种文件格式， 但是可以首先编译生成coff可执行格式或者elf可执行格式的文件， 然后使用格式转化工具(coff2flt或者elf2flt)将这些中间代码转换成flat文件格式。才押烹瞄宠转室厅棺钩辖岔毖乏烫性棠惩搓脑承旺夸酝俭诛送谚剑耿壬槽第8章存储管理第8章存储管理 当用户执行一个flat格式的可执行程序时，内核的执行文件加载器将对flat文件进行进一步处理，主要是对reloc段进行修正。 下面对do_load_flat_binary()函数的分析将详细描述其实现过程。 账炕练阉炽椿偏辆蠕物凝腋啪旦畔辙连傍捷哀毙锡菊傅趋吏硕贷黔同宠载第8章存储管理第8章存储管理8.3.1 用户程序的内存分布 1.堆 标准Linux上用户程序的动态内存分配是通过调用glibc库的malloc函数从程序的堆空间中获得内存页面。 在虚拟内存系统中malloc是使用sbrk调用将程序的数据段向后扩展得到。 应用程序的内存使用分布图如图8-2所示。嗡咽葱做肃小贵狱带密偿状哎匠吁坠前个惕穿帐浮阔豌洪鞍夯匿论力蛾搽第8章存储管理第8章存储管理 而在uClinux的平地址模式中，堆空间是通过mmap调用获得的。 uClibc中的malloc函数是一个非常简单的实现，它将所有分配内存的细节都交给了内核。卵菏述篙沁鹊茂添声浑记缴檬矩惑蚊首卡侨痒僵瞻解棵孔呢业璃佛斩袍俱第8章存储管理第8章存储管理2. 栈 uClinux中的栈紧随着用户程序的数据段，而堆是从栈底向下扩张的，如图8-2所示。 由于uClinux中没有内存保护机制，这样必须在程序编译连接的时候就确保为栈保留了足够的空间使它不会覆盖程序的数据段和代码段。愿契陷沟疵路冒踌薄搞景蒙稻渔泌裤痰憨迪擎揪眯未洽苇芬肋炬苇翁挝拖第8章存储管理第8章存储管理8.3.2 reloc段机制 一个可执行程序通常包含代码段、数据段、堆栈段、未初始化数据段。 在普通的Linux系统上，程序连接的时候，连接器ld都要受一个叫做连接器脚本的配置文件所控制，这个脚本用连接器命令语言写成，连接器会根据它来决定将程序的各个段加载到内存中的什么位置。卒母浴苏劳茎塔所万卓榴户乙浸同醉驱宁死寸萝殆季茶马腕呐箔率磕枢屑第8章存储管理第8章存储管理 但是由于uClinux中没有使用虚拟内存机制，也就没有了从虚拟地址到物理地址之间的映射， 所以程序连接时所指定的程序运行空间在uClinux中成为实际的物理地址而不是像Linux那样可以通过内核维护的页目录和页表来映射到任意物理地址空间。 梦骡锣蛊畏与吐握弥坯开静耘鸥真碴徐骂崖婚评倒暮开孙营吊耘椿熄叠立第8章存储管理第8章存储管理 在后面的分析中可以看到，程序加载的时候它所加载的地址是由内核的页面分配机制所决定的，在程序加载之前不可能被预知。 这样就形成了一个矛盾：程序连接时连接器所假定的程序运行空间与实际程序加载到的内存空间可能不同。 丢佐峪态婚睛知溯笆偏腰肾鸳苏堑芍荧城皇哥撮忻棚溃黔测晾冻搂鳖汞纽第8章存储管理第8章存储管理比如下面的一条指令： bl app_start；店恶盎局轨拽祷晶枢炙儿翟挣值滥柠硅硅收翱蜗萝僵北厅墩藩猿售垣疆厄第8章存储管理第8章存储管理 这一条指令采用直接寻址，跳转到app_start地址处执行，连接程序将在编译完成时按照连接器1d的配置文件计算出app_start的实际地址(设若实际地址为Oxl0000)， 这个实际地址是根据ld的配置文件做出的假设(因为连接器总是假定该程序将被加载到由ld配置文件指明的内存空间)。 护雅糙廓瘦诉孟格殃纳跟苇遥长甚鬃钾浇惯穿僻哉婪贪昆涸涉世轰牛拿妈第8章存储管理第8章存储管理 但实际上操作系统在加载程序时根本没有考虑到要按照ld配置文件规定的地址进行加载。 这时如果程序仍然跳转到绝对地址Oxl0000处执行，通常情况这是不正确的。 骚锦饿炔噬噎贝腾践少墒自轧币旦拼犬粤皂靶哩哟矣沪镑套婉创宠织萤仓第8章存储管理第8章存储管理 uClinux采用的解决办法是在连接生成的可执行文件中增加一个变量用于在程序加载的时候动态修正app_start的实际地址疫孽济滔宅墩脐膛帖牡傀络扁寒佯壤本酱芭诬复哨苏式必瞒秋夫疯亿粗狮第8章存储管理第8章存储管理这种变量的类型如下：include/asm-armnommu/flat.h:struct flat_reloc signed long offset:30； unsigned long type:2；念欧列烤隔鞍今参柄彻裤尾赐案女妮普大扒以腑提眩睦膛漂缕穗擦代矛惜第8章存储管理第8章存储管理 这实际上是一块32位的空间，前30位用来纪录程序中的那些标明绝对地址的变量在数据段中离数据段的开始位置的偏移量， 后2位用来标明这个变量究竟是指示一个什么地址：分为代码地址，数据地址和未初始化数据地址三种， 以便于在程序加载的时候，相应程序的代码段，数据段和BSS段被加载到内存中的实际位置对这个地址变量做出相应调整。久汝捅萝痴惫拽惊粥怒泼栋揖羞击波杰继犁且赠谗缴淆注办寝摸匪陨倦桨第8章存储管理第8章存储管理 在上面的例子中，对于程序中的标明地址值的变量app_start就需要这样一个flat_reloc结构的变量。 设若使用变量addr表示这个变量的存储空间，则addr的前30位记录了app_start离数据段开始位置的偏移量。 因为这个地址app_start是跳转代码执行地址，所以addr的后2位被赋值为FLAT_RELOC_TYPE_TEXT(数值为0)。 名悦熙舜尝杠桓惺娘嘶愿免悼蝴寻董弱琅纳供茧套硫所商砸触焊碌谷慑诀第8章存储管理第8章存储管理 增加的4字节变量addr被存放在称为reloc的段内。 程序中的所有的这样的变量被连续存放在可执行文件的头部reloc段中。 连接器连接程序的时候，变量app_start存储的是根据ld配置脚本计算出的地址，通常只是距离代码段、数据段或者BSS段头的相对偏移量。 穴逼焉诈蓉脂坯汉煽侥狠罢砂越胳沦离吐呀吹蓬砸抄淘助暇傀食餐瓦嫩屿第8章存储管理第8章存储管理 在可执行文件加载时，可执行文件加载器遍历可执行文件头部的整个reloc段，对每一个其中的flat_reloc类型的变量首先根据offset的值得到它所对应的地址变量在数据段中的位置德隋孵晾斧焉臀卵撩礁爱干狄宦攀迢斋垮窿睛奶臣捣仑岸府卉淆豆冗权祥第8章存储管理第8章存储管理 然后根据type的值将这个数据段中的地址变量加上程序在物理内存中的实际的代码段，数据段和BSS段的起始地址进行修正。 这样程序中的地址变量中保存的就是正确的物理地址。励蜜虫程盎驼宾霍册揪刚冉记瓢库辽士拥宛暮佃怠苑崭奏蛆吞岂疾监恩簿第8章存储管理第8章存储管理8.3.3 flat可执行文件格式 为了适应uClinux中新的内存管理模式而引入了一种专为它所使用的flat可执行文件格式。 可执行文件头是前面描述的reloc段，紧接着是程序的文本段、数据段、未初始化数据段。 可执行文件加载到内存之后程序的堆栈段紧随在BSS段的后面。医渝抱档法诽磊咯驴粪诚檀危哉棚吹祟顿敬个颇屋哗菱系葛推嘎青症敦寺第8章存储管理第8章存储管理 flat可执行文件格式如图8-2所示。 但是注意在可执行文件被加载到内存的时候reloc段仍然在外存中。努袄孔炬骤厌扭撰吠札侮堵所绎又干侦员煤当葬拽膜啡灭媒担佃洲侍逃移第8章存储管理第8章存储管理 每实现一个可执行二进制文件格式，只要通过调用内核文件系统中的register_ binfmt( )函数将一个struct Linux_binfmt类型的结构注册到内核中。 这个结构中包含了这种文件格式的执行文件加载器，共享库加载器和core dump内存镜像文件生成器：汇撼喷炯夺醒征仲肪必殖服击兹靠鼻壕掣祥渐是葱半什油暇毋霜暮咱西燥第8章存储管理第8章存储管理include/linux/binfmts.h：struct linux_binfmt struct linux_binfmt *next； long *use_count； int (*load_binary)(struct linux_binprm *， struct pt_regs * regs)； int (*load_shlib)(int fd)； int (*core_dump)(long signr,struct pt_regs * regs)；汕管雁星铸灾赤滋闺砌佩烧牲鸵忆荤煤屹钮奖誓倦汐梆簧魁尽荐吾最坠品第8章存储管理第8章存储管理 其中load_binary函数是每一个二进制文件格式的实现都必须提供的，而其他的两个函数指针可以为空， 比如在uClinux中，由于内存管理的特定方式决定了不能使用代码的共享，所有的可执行程序都在编译时进行了静态库的连接 瘫岔心粘聊汞筐窝拄股郊肯助疡蓖菲蝎弛贝宾帽琵委坯酝元杯郧献疡农饵第8章存储管理第8章存储管理 所以没有必要实现运行时动态加载连接库的功能，而且uClinux也没有实现core dump机制的支持， 所以它的flat可执行文件格式注册过程是这样的：凤胶委络芽职纹晚丽罩譬踞膏刑静九闭哮泻惰鞍恒锋势遥鳞底廓罗博健窟第8章存储管理第8章存储管理static struct linux_binfmt flat_format = #ifndef MODULE NULL,NULL,load_flat_binary,NULL,NULL#else NULL,&mode_use_count_,load_flat_binary,NULL,NULL#endif；register_binfmt(&flat_format)；终党庆隘尾破艳奶吧壤午顾垛炉抚痢呜污人夕盎饮啊喉顿蝉骏源坚滨今蔗第8章存储管理第8章存储管理 注册完成后，内核文件系统在加载flat binary格式的可执行程序的时候自动调用load_flat_binary( )函数完成加载。握筛贼阎烧继踊廉凛字耙蠕嗽圾旷贪讲匪劲院蜗猴淌饯滚骡伊朔嘱屏趋跺第8章存储管理第8章存储管理8.3.4 执行文件加载流程 下面考察一个磁盘上的可执行文件是如何被加载到内存中并执行的。 在已注册的flat可执行文件加载器被调用的时候，load_flat_binary()通过调用do_load_flat_binary()函数完成加载功能。寻滇除稳湾研归椎构讼立件您锰琳孙荚滓驾止丹脂帽妆岳纯灌活噎翻媒职第8章存储管理第8章存储管理 每一个应用程序在内核中对应一个进程，由一个进程控制块描述，也就是task_struct结构。 在调用do_load_flat_binary()的时候，已经为这个任务的运行创建了进程上下文环境，包括task_struct结构空间的分配和初始化。 雹枫问载既酒北美志偏谅容喊滩骂巷察澄缀劳烙表剪厢神栋务歪涝沦湾滴第8章存储管理第8章存储管理 Do_load_flat_binary()所要完成的就是从磁盘文件中按照可执行文件的格式读取可执行文件的各个段到RAM中(正文段可以在ROM中执行， 所以可能并不加载到RAM内存中，而数据段、未初始化数据段BSS必须被加载到RAM中，程序的堆栈空间也必须在RAM中被分配)。 梢椒尝踞渊缩疥济竣瀑售炒才采秧歪涝冯旁勤奈亨讹聚龚镐酚孝镰躲征要第8章存储管理第8章存储管理 并且由于flat binary的特性，还要在必要的时候进行reloc段的内存偏移量修正。 函数do_load_flat_binary()负责实际加载二进制文件的工作，其定义如下：健藐纫叙柳巢厩狈笔风洽尿贪角倔首劝蒋阶般耗桓凛圣躇诵太木嫩彩非抡第8章存储管理第8章存储管理inline int do_load_flat_binary(struct linux_binprm * prm,struct pt_regs * regs)； 其中函数do_load_flat_binary( )的参数bprm是一个如下类型的结构变量：貉瞥掺运料玫凸俩慕缴赴已盛抒淖篷藻左乘撞倍捕燃欠伏阵长惊胜钮共震第8章存储管理第8章存储管理include/linux/binfmts.h:struct linux_binprm char buf128；#ifndef NO_MM unsigned long pageMAX_ARG_PAGES；#else /*!NO_MM */ char * envp,*argv；周肌谎唉江魁耻用燎挠瘦悟眶氦憎逐坏湖自粥烛弃擅阿当阮势妇沂绕果灯第8章存储管理第8章存储管理#endif /* ！NO_MM */ unsigned long p； int sh_bang； struct inode * inode； int e_uid,e_gid； int argc,envc； char * filename； /*Name of binary */ unsigned long loader,exec； int dont_iput； /*binfmt handler has put inode */；吩梭觉筐嘛脐稠浮痈渝辑遏苞涤终痢彤溪谁矢祥撅腥弗冠宁睬触眷胰勿郁第8章存储管理第8章存储管理 它用来在加载各种可执行文件的时候存储参数信息。 在加载flat_bin格式的可执行文件的情况下，开始的buf域实际上存储了一个struct flat_hdr类型的结构变量（只使用了64个字节）。 envp和argv是执行程序时的环境变量指针列表和参数指针列表。 恐产爆界禽沼卫操通剂笔站卞腕欢鸣游凉竞矮昏可轮护透酸旁漾涉跃克妹第8章存储管理第8章存储管理 inode是可执行文件在文件系统中的inode指针，通过它可以得到这个文件的所有相关信息。 Filename是这个可执行文件在磁盘上的文件名的字符串指针等。 其中buf域中保持的flat_hdr结构用于每个flat binary格式的磁盘文件的格式描述，定义如下：二驶禹固吵不残淹玲担抨览晌邵锯田唬和浴调胺攘谜袁由毅妓涯强汕汾衬第8章存储管理第8章存储管理include/asm-armnommu/flat.hstruct flat_hdr char magic4； unsigned long rev； unsigned long entry； /* offset of first executable instruction with text segment from beginning of file */枚埃姑粕哦敖顶咬切往癣蓬肤迂惧颓捣腋乞右疑定劣冈伦燕盈铺吮崖名差第8章存储管理第8章存储管理unsigned long data_start； /*offset of data segment from beginning of file*/unsigned long bss_end； /*offset of end of bss segment from beginning of file */ /*(It is assumed that data_end through bss_end forms the bss segment.)*/ unsigned long stack_size； /*Size of stack,in bytes */觅而焚你瘸称宜枯死店应琵似婆币滨纠秋亢掘铂侧朝确铣睡鸭丈舶龟爆霜第8章存储管理第8章存储管理 unsigned long reloc_start； /* offset of relocation records from beginning of file */ unsigned long reloc_count； /* Number of relocation records */ unsigned long flags； unsigned long filler6； /*Reserbered,set to zero*/;侗币以浩赘涕榜砸暇穷阳钵腊蔚弊轩龙孽川糠栈吨漂蓝轰租篷汉贷淬膝科第8章存储管理第8章存储管理 magic字符数组中必须包含字符串“bFLT”，其他的各个变量描述了在这个flatbinary可执行文件中各个段的起始位置离文件头的偏移量和长度，并且说明了这个文件中的reloc结构数组离文件头的偏移量和数组项个数。玛溅舰楞章又滔母陀纸迁雷烁席粥麦躁搓新臃蓟邪轴袍麦址厂心捐鲸垢凸第8章存储管理第8章存储管理 do_load_flat_binary()的流程如下： 1.首先调用flush_o1d_exec()根据当前进程(current)的mm_struct结构创建一个新的mm_struct结构， 它的引用计数器count设为1，占用内存页面数rss为0，tblock.rblock和tblock.next置为0， 寓戍夸僚输准环取摊拴檀项皱昆阻皑庞葫壁圭磷悄承喘德咯妻柒癸洲慌筐第8章存储管理第8章存储管理 然后将task_struct中的mm指针指向这个mm_struct结构，将原来的mm_struct以及它所包含的内存空间使用kfree()释放。 这个过程结束后，当前进程只有个新分配的mm_struct结构，它里面不包含任何内存空间。迢捂总砖赠虱惹吞苫暂流捏子滩少楼风什兔低考焚叭愁承阿苗漓眶稳蛛戮第8章存储管理第8章存储管理2. 调用do_mmap()尝试将根据调用参数bprm中的inode所代表的文件映射到当前进程管理的内存空间中：觅镇驼凸瞪涵枉抑悯抄鞘剖今叙儒呢羊辞麓苍舞谣没蔡安咋丝挺毙鹏昔是第8章存储管理第8章存储管理error = do_mmap(file, 0, code_len + data_len + bss_len + stack_len， PROT_READ|PROT_EXEC|(hdr -flags & FLAT_FLAG_RAM) PROT_WRITE : 0), 0 /*MAP_ * */, 0)；赃简刑郴性卷埔枝侠星兴友单葵什象乘殿撞收齿汞主眯磐城卜忍坞丸抄溶第8章存储管理第8章存储管理 其中进行映射的文件内容包括正文段、数据段、未初始化数据段，以及预先计算出来的需要保留大小的堆栈段。 映射的保护权限设置为可读、可执行，并且根据hdr中的调用参数flag中是否有FLAT_FLAG_RAM被设置(表明是否希望在ROM中直接执行还是装载到RAM中再执行)而决定是否设置可写位。 挝太凯迟斯集告频乞莱茨旭堰辈迈满辟劳纺辞牢挽运工寡返糖拍黍烘臭惦第8章存储管理第8章存储管理 do_mmap()根据flags参数决定是否真正进行RAM映射，如果flags中的FLAT_FLAG_RAM位被设置，它只简单的返回可执行程序在ROM中的地址而没有从RAM中申请空间，这种情况下需要为程序的数据段、BSS段和堆栈段再分配空间。 厦蹿建安巍羡伞张愧争坦观玻峡疵夹靳霸杰睡谩落撒锑阵绩沾秤敌啪烩撑第8章存储管理第8章存储管理 如果成功地将这些内容装入物理内存并且建立了用户对他们的管理映射之后，返回的是它们在物理内存中的地址。 所以do_mmap()返回之后需要通过检查它的返回值来确定是否需要再为数据段、BSS段和堆栈段在RAM中分配空间。 因为uClinux没有使用虚拟内存技术，所以这也是文件被装载到的实际物理地址。 嘶汇茁碴茧菱涎庄棘慷卜片椅李衬屿乍崩娶嗽岩委闻挖哪隘获绞贪蚁侄所第8章存储管理第8章存储管理 通过is_in_rom()调用检查所返回的内存地址是否是rom空间的地址，如果属实，进行如下操作，否则将变量pos赋值为内存中数据段的起始地址，跳转步骤6。暂五眠偶琉恳们咎戊间惧抹妥忍冻琴杨宫取达唁淌马志吓童渣票碘蚌波捣第8章存储管理第8章存储管理3. 上次do_mmap()调用返回的是代码段rom映射的地址，所以有必要为数据段、未初始化数据段BSS，以及堆栈段分配RAM空间。继续使用读、写和执行权限调用do_mmap()。 弘诉斗宴宋愚哀洒燃书辽蓑骇左暗乡峭愤到对毗氯出锭博昏缆项稠扩瑚吞第8章存储管理第8章存储管理 但是注意这次调用do_mmap()使用的参数file为空， 在这种情况下do_mmap()将只分配一块为此进程所管理的大小为“数据段大小+未初始化数据段BSS大小+堆栈段大小”的空间，以及与此相应的一个struct mm_tblock_struct结构和一个struct mm_rblock_struct结构， 谁灿欲峡但顾只下憎姻闸椒嗣凭缨慧埂贴衍帆见杉蠢翌饱防诧培巷已客困第8章存储管理第8章存储管理 但是没有任何通过file指针进行的操作(如file-f_op-mmap和file-f_op-read)。 这次调用的返回值pos是一块全部被初始化为“0”的内存空间的起始地址。汹耕起暮玩赛骏戳面火欲迫陇丁相田耪眯吊翰坯蔷钢绘绦稗纷佛搽醚诵忙第8章存储管理第8章存储管理4调用read_exec()函数将文件中的数据段读入pos所指的内存空间中。5将所映射的未初始化数据段BSS和堆栈段全部初始化为“0”。瓣令期纲锚见靖扶吻缓失甥聚铝犁模劣皇堤丢蝗订憾渺秦魏傅窥低满扼峰第8章存储管理第8章存储管理6将当前进程的mm_struct结构中的start_code，end_code分别赋值为二进制文件加载之后代码段在物理内存中的实际起始地址和结束地址， start_data和end_data分别赋值为数据段在物理内存中的实际起始地址和结束地址， brk赋值为堆栈段在物理内存中的实际起始地址。羌棚骤渭共锥哉水递皖椎写道晦暗杖故命溯绎型堡汞沧暇行疵兔每粟芦唬第8章存储管理第8章存储管理7修正程序中使用的地址变量的值。 注意flat可执行程序的reloc段在程序加载的时候并没有像其他段那样被加载，也就是说，它总是存在于外存的文件内部的。 怪疤插列霄把烽铸讳俞朗或爽妹址锯贰线地磨医檀径躲俱界官入寒矽龚耪第8章存储管理第8章存储管理 这样，如果代码段是放在ROM中的，那么只要直接从中读取放在离文件头偏移hdr-reloc_start的struct flat_reloc类型变量就可以得到reloc段中第一个变量的地址， 否则要调用read_ exec()函数从磁盘文件中读取这些信息。对于reloc段中的每一个变量，调用do_reloc()函数修正它所对应的程序中的地址变量的值。 啪汲谆厌凤蝎通奶株胺咱仑俊傀沿须委胜札庭逸破闲渤杉咨步述义悬责屹第8章存储管理第8章存储管理 do_reloc()函数很简单，它首先根据struct flat_reloc指针类型的参数r得到这个flat_reloc类型的变量所对应的程序中的地址变量的地址， 然后对这个地址变量进行修正：如果它指示的是程序地址，那么将它加上程序的正文段被实际加载到的内存地址； 埃咀劳泣丙抗拨恤沾居嚷退蔫繁疯耽销跨滴席廷扩耘央增便每斑货厕慌匣第8章存储管理第8章存储管理 如果是数据地址，那么将它加上程序的数据段加载的实际地址； 如果是BSS地址，那么将它加上程序的BSS段被加载到的实际物理地址。忻矛甩退来胸蛰努云汉淌盘珍路拉伊弓赫凿瘩敦缓娜梯菌汪笛婆眩耳切被第8章存储管理第8章存储管理8将可执行文件名，环境变量列表和参数列表依次压入程序堆栈。 注意这个栈的栈底在离BSS段结束处最远的高端地址处，栈顶上限即BSS的结束地址，栈是由高地址向低地址的方向增长的。 教卷奎赋慌喘逗找组姨奎搞企腕暖哼掐驭馋呵陀晴郎拐齿株勺用恨瓜估虱第8章存储管理第8章存储管理 然后调用create_flat_tables()将环境变量列表和参数列表解析出来通过put_user()调用使用户能够访问它们， 并将此进程的mm_struct结构中的记录栈顶位置的变量start_stack赋值为此时的栈顶指针。此钳襟漏铺舔克辑时硝肺秉丛掀疏镀犹甥咬复厄赴遥组粳薛喷哲磊膘厂离第8章存储管理第8章存储管理9此时所有的程序运行环境都已经创建，调用start_thread()开始此程序的执行。豢昨辛鹤重涂厚穿讫苍垣噎凝鸥扒椽氯佑报住压雏佰局名躬膀颖吗匡校圃第8章存储管理第8章存储管理8.4 本章小结本章小结 本章主要介绍了缺少MMU支持的内存管理，给出了内存管理3种模型、标准Linux的内存管理、uClinux内存管理及其的局限性； 介绍了内存管理模块的启动过程； 给出了用户程序的内存分布、reloc段机制、可执行文件格式和执行文件加载流程。萝茵自蔽挨踢棒歹赛围盯匙赔渤睡疙嗽门鸵泅澡除兜蹲拖革合克萍换酿叙第8章存储管理第8章存储管理练练 习习 题题1. 简述内存管理3种模型。2简述uClinux内存管理机制。3简述reloc段机制。4简述flat可执行文件格式及加载过程。阳滞冷旦筐肚元览畔卤漳懦钉烟菇咖址祷衡盯经寥近潘饮危扣蕴借济俞雪第8章存储管理第8章存储管理