万字长文！非常详细！操作系统【内存管理】

最新推荐文章于 2024-08-20 10:21:07 发布
最新推荐文章于 2024-08-20 10:21:07 发布
阅读量2.3k 收藏 71
点赞数 30
文章标签： 服务器 linux 运维
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/m0_51574586/article/details/136093585
版权

在这里插入图片描述

在这里插入图片描述

🌈个人主页：godspeed_lucip
🔥 系列专栏：OS从基础到进阶

本文配套PDF文件，请浏览至文章底部下载。

1 内存管理基础概念

1.1 总览

image1

1.2 内存管理应有的功能

1.2.1 内存空间的分配和回收

示意图：
image2

1.2.2 从逻辑上扩充内存

试想，随便下载一个大软件，其大小远远超过我们的内存大小，那么为什么这个软件可以运行呢？原因是操作系统采用了虚拟内存，即使物理空间较小，但是逻辑空间却可以很大。

1.2.3 地址转换

提供地址转换功能，负责程序的逻辑地址与物理地址的转换

image3
三种装入方式为：
image4

1.2.4 内存保护

提供内存保护功能，保证各进程在各自存储空间内运行，互不干扰。
使进程只可以访问属于自己的空间，不能去访问系统内核、其他进程的内存空间。那么，如何才可以实现内存保护呢？
以下图的进程1为例子
image5
（1）设置上下限寄存器。
image6
例如，进程1的实际物理地址为100-279，那么下限寄存器应该存放100，上限寄存器应该存放279。

（2）重定位寄存器、界地址寄存器
image7
重定位寄存器存放进程的实际物理地址的下限，界地址寄存器存放进程所需的最空间。例如，进程1的重定位寄存器存放100，界地址寄存器存放179-0=179。

1.3 知识总结

image8

2 覆盖与交换

2.1 总览

image1

2.2 覆盖技术

2.2.1 覆盖技术的基本思想

image2

2.2.2 例子

image3
如图，这是一个程序的结构调用图。可以看到，A是程序运行所必须的代码段，因此放在固定区内；B、C不可能同时运行，因此可以分配同一个覆盖区，D、E、F同理。如图所示
image4
因此，本来应该将代码全部放入，但是操作系统只分配了一部分空间就实现了全部放入的结果，因此从逻辑上看，操作系统的内存大小是被拓展了的。

2.2.3 缺点

image5

2.3 交换技术

2.3.1 基本思想

image6
比如说，假设内存中有进程1、2、3，如图
image7
此时内存紧张，进程1、2需要暂时换出外存，因此在内存保留它们的PCB后（方便操作系统的后续管理）将它们置于挂起队列，空出的内存空间给更为紧张的进程使用。

2.3.2 待解决的问题

image8
对于问题1：
image9
磁盘空间的示意图：
image10

对于问题2：
image11

对于问题三
image12

2.4 总结

image13

3 连续内存分配

3.1 总览

image1

3.2 单一连续分配

3.2.1 思想

image2
如图：
image3

3.2.2 优点

image4
一个进程独占内存，就不会发生进程访问其他进程的内存空间的情况，且即使进程访问了操作系统的内核程序，通常也可以通过重启解决，所以这种方式下不一定需要采取内存保护？

3.2.3 缺点

image5

3.3 固定分区分配

3.3.1 基本思想

image6

3.3.2 分类

根据分配的空间相等与否可以分为以下两类
image7
如图
image8

3.3.3 特点

image9

3.3.4 如何管理固定分区

可以通过分区说明表进行管理，其具体内容如图：
image10
这种数据结构可以通过数组或链表实现
image11

3.3.5 优缺点

image12

3.4 动态分区分配

3.4.1 基本思想

image13

3.4.2 记录内存使用情况的数据结构

可以采取空闲分区表、空闲分区链表示
（1）空闲分区表
例子：
image14
image15
（2）空闲分区链
例子：
image16

3.4.3 空闲分区的分配

分配算法在下一小节进行详细描述
image17

3.4.4 分区的分配和回收

假设操作系统采用空闲分区表管理分区（使用空闲分区链同理）
（1）分配操作
假设起始表内容如下：
image18
①假如一个空闲分区的大小大于进程申请的空间，那么直接修改内容和即可。 假设一个4MB的进程进入，需要分配到分区1中，那么分区表应该修改如下：
image19

②假如一个空闲分区的大小等于进程申请的空间，那么需要删除该内容。假设一个4MB的进程进入，需要分配到分区3中，那么分区表应该修改如下：
image20

（2）回收操作
①回收分区的后面（后面）有空闲分区
直接修改表项内容
image21

②回收分区的后面没有空闲分区
增加一个表项内容
image22

③回收分区的前后均为空闲分区
合并表项内容
image23

注意：各表项的排序不一定按照分区地址的大小进行排序

4 基本分页存储管理的基本概念

4.1 总览

image1

4.2 什么是分页存储

4.2.1 将物理空间分页

image2

4.2.2 将逻辑空间分页

image3
方便管理员进行管理

4.2.3 空间的分配

image4

4.2.4 区分概念

image5

4.3 页表

4.3.1 概述

（1） 必要性
image6
（2） 示意图
image7
（3） 注意
image8

4.3.2 页表项的大小

（1）块号的字节
假设：
image9
由于内存块的大小（物理）=页面大小（逻辑） = 4KB = 212B，则一个4GB的内存总共会被分为232/2^12 = 220块，则内存块号的范围应该是0-220-1，需要使用20个Bit存储，也就是至少需要3个字节（24B）进行存储。
（2）页号的字节
由于页表项是连续存储的，因此只要知道页号以及页表的起始地址就可以计算得到目的页号的块号，因此页表不需要存储页号，字节为0。
（3）综上，每一个页表项占3字节（在题中所给条件上）
（4）注意
image10
并不存储物理地址

4.3.3 如何实现地址的转换

（1）虽然进程的各个页面是离散存放的，但是页面内部是连续存放的
image11
（2）转换步骤：
image12

4.3.4 如何确定一个逻辑地址对应的页号、页内偏移量

（1）例子：
image13
我们知道，对于一个进程来说，各页面是离散存放的，但是在逻辑上各页面是连续存放的。页面内部不管是物理上还是逻辑上都是连续存放的。如图：
image14
据此可以快速得到地址的转换逻辑：
image15

（2）拓展
image16
假设一个计算机是用32个二进制位表示逻辑地址，页面大小位4KB = 2^12B = 4096B
那么，进程数据的逻辑地址的后12位为页面偏移量，逻辑地址的前20位是页号，比如：
image17

（3）我们知道，n号内存块的起始地址 = n*内存块大小。以我们刚才的例子为例：
image18
则逻辑地址的后12位为业内偏移量，前20位为页号。由此我们可以得到结论：
image19

4.4 总结

image20

5 基本地址变换机构

5.1 概念

基本地址变换机构是一组用于实现逻辑地址到物理地址转换的硬件机构

5.2 变换步骤

5.2.1 页表寄存器（PTR）

image1

5.3 变换步骤

假设页面的大小为2的整数次幂。当一个进程发生调度需要上处理机运行时，操作系统会将恢复进程的运行环境，将进程的PCB（存放页表的地址与页表的长度）放入页面寄存器中以方便操作系统进行管理，此外，程序计数器PC也会将进程下一条需要执行的指令的逻辑地址A放入，那么如何知道进程下一条指令的物理地址呢？

5.4 获取物理地址

（1）转换机构根据逻辑地址计算出页号P、页内偏移量W。假如页面大小为2的整数次幂，那么这个过程是很方便的
（2）假如一个进程的页表长度为M，意味着这个进程有M个页面，假如P>M，那么说明出错，操作系统会发生越界终端（内中断）
（3）确定M合法后，操作系统查询页表并找到页号对应的页表项，确定页面存放的内存块号。
（4）使用内存块号和页内偏移量计算得到物理地址（直接拼接），此时就可以访问内存单元了。
变换步骤如图：
image2

5.4.1 几个基本概念

页表项长度、页表长度、页面大小。
image3

5.4.2 转换例题

image4

5.4.3 注意

image5

三、对页表项大小的进一步探讨
image6
所以，尽管3个字节已经可以表示所有的内存块，但是为了计算方便，经常会将页表项扩充为四个字节
image7

5.5 总结

image8

6 具有快表的地址变换机构

6.1 总览

image1

6.2 什么是快表

image2

6.3 引入快表后，地址的变换过程

1. 快表是一种硬件设备，它的内容在每次进程切换之后都会删除，它的访问速度虽然很快，但是由于成本的限制，快表的存储空间不会很大。

2. 引入快表后，操作系统在得到逻辑地址后会分离得到页号，接着进入快表去寻找页号对应的内存块号，假如没找到就会进入慢表（也就是之前的页表）进行寻找，并将寻找结果复制一份存入快表有方便下次寻找。其他步骤与无快表的地址变换过程类似。
image3

3. 示意图如下所示：
image4

6.4 与快表命中率有关的题目

image5

6.5 局部性原理

我们以下面这段代码为例：
image6

时间局部性

image7
对于while(i<100)这一条指令，程序在不久的将来是会频繁访问的，对于i这个变量，程序在不久的将来也是会频繁访问。这就是时间局部性。

空间局部性

image8
对于a数组，它在内存中是连续存放的，假如此时系统访问了a[10]，那么a[10]周围的数据就很有可能会被频繁访问。这是空间局部性。

3. 正是因为局部性原理，引入快表之后系统的速度就会快很多
image9

6.6 知识总结

image10

7 两级页表

7.1 知识总览

image1

7.2 单极页表存在的问题

7.2.1 假设

image2
页面大小为4KB，即212的字节，因此需要12个二进制位来存储，该计算机就支持32位，因此有20个二进制位表示页号，即可以表示220个页面，每个页面在页表中都必须对应一个页表项，因此页表中的页表项最多可以有220个，所以一个页表需要的最大空间为220*4 = 222B，而为了存储页表必须需要（222）/（2^12） = 2^10个连续的页框（页表必须连续存放）。
image3

7.2.2 结论

image4

7.3 对第一个问题的解决

7.3.1 思路

为了解决单极页表存在的几个问题，可以考虑将页表也进行分页并离散存储（单击页表中是将进程的页面离散存储）。

7.3.2 原理

对于给定的计算机配置信息（按字节寻址，支持32位，页面大小为4kb，页表项长度为4b），一个进程最多有220个页面，而每个页框可以存储的页表项个数为4kb/4b=210 = 1024个页表项。由此，可以将页表的2^20拆分成1024组，每组有1024个页表项，用一个二级页表存储单级页表，

7.3.3 逻辑结构的改变

32位二进制位中，前10位用来表示二级页表，后10位用来表示每个二级页表包含的单极页表，最后12位表示页面偏移量。

7.3.4 如何进行寻址

简单来说就是逐个寻找，先找一级地址，再在一级地址内找二级地址，最后根据页面偏移量找到对应的物理地址
image5

7.4 对第二个问题的解决

image6
当需要的页面不在内存中时会发生缺页中断（这是一个内中断），接着将目标页面从外存调入内存。

7.5 其他需要注意的细节

1. 各级页表的大小不可以超过一个页面。如果分为两级页表后，各级页表还是超过一个页面，则应该采用更多的顶级页表。
TIPS：如果一个页表分为了好几页，那么不同页中可能页号有重叠，可能会照成无法区分顶级页表的后果。

例子：
image7
业内偏移量位数实质上就是需要用几位二进制位来表示页面大小。这里4kb = 2^12，因此需要12位。每个页面包含的页表项个数位4kb/4b = 2^10个，因此一个页面最多可以包含10个二进制位。
由于页内偏移量为12位，因此页号位数为28位，而每级页表最多表示10位，因此此题需要分三级页表，分别占：8、10、10。逻辑结构如图：
image8

2. 假如没有快表结构，那么N级页表访问一个逻辑地址需要经历N+1次访存，其中，依次访问各级页需要N次，最后得到了逻辑地址对应的物理地址后还需1次访存。

7.6 总结

image9

8 基本分段存储管理方法

8.1 总览

image1

8.2 分段的基本概念

8.2.1 定义

image2
类比于程序，其中的main函数是一段，而定义在main函数之外的其他函数也是一段。

8.2.2 特点

（1）当采用分段存储时，各段可以离散的存储，但是一个特定的段占据连续的内存空间。
（2）由于是按照逻辑功能划分模块，用户的编程更加方便，程序的可读性更加高。
（3）在编译程序时，系统会将段名转换为段号。

8.2.3 实例

image3

8.2.4 逻辑地址结构

image4
实例：对于编译后的机器汇编语言：
image5

8.3 段表的基本概念

8.3.1 示意图

image6
段表的作用类似于页表，记录各段的物理存储位置

8.3.2 段表的特点

（1）与页表类似，由于段在逻辑上在连续存储的，所以段号实际上是不需要被保存的。
只需记录段长以及各段的长度（基址）
image7

（2）段表项的长度是固定的。如果段的逻辑结构中段内地址为16位，系统使用16个二进
制位就可以表示最大段长；而系统的物理地址肯定也对应一个最大字节长度（假设为4GB，
对应32位）；段号无须存储。因此可以让每个段表项占16+32=48位，即6个字节。
image8

8.4 地址的变换过程

1. 进程在发生切换时，其PCB会被放入段表寄存器。系统在得到逻辑地址后，将其分解为段号S、段内地址W。
2. 首先检查段号是否合法（段号是否越界）。假如S是否>=段表长度M（从段表寄存器中读取），那么段号越界，系统发生越界中断。注意此处因为段表长度至少为1，而段号从0开始，所以当S=M时也相当于越界。
3. 将段号在段表中进行匹配，并得到段长C，此时如果W>=C，那么段长越界，发生越界中断。注意当采用页表时此处无须比较，因为页表的各页表项的长度是固定的，但是段表的段长是不固定的。假如没有越界，那么就取出基址，将基址与段内地址相加得到最后的物理地址。
4. 示意图如下所示：
image9

8.5 分段、分页管理的区别

8.5.1 存储逻辑的区别

image10

8.5.2 分段的优点

分段比分页更容易实现信息的共享和保护

（1）信息的共享
假设计算机采用分段管理，且有这样一段代码空间
image11
其中1号段是A、B号进程都想访问的，那么只需让各进程的段表项指向同一个段即可实现共享
而假如计算机采用分页管理，那么上述的代码空间应变为：
image12
页面不是按照逻辑模块划分的，此时就很难实现信息的共享
（2)信息的保护
与信息共享类似，假如进程A不允许某个进程访问某个空间，只需将这段置标记为不可访问即可。而分页管理就很难实现

8.5.3 访问一个逻辑单元的访存次数

image13

8.6 总结

image14
image15

9 段页式管理方法

9.1 总览

image1

9.2 分段、分页的优缺点

image2
外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传

9.3 段页式管理的基本概念

image4
比如说：
image5

9.4 段页式管理的逻辑地址结构

9.4.1 结构划分

image6

9.4.2 解释

image7

9.4.3 注意

image8

9.5 段页式管理中的段表和页表

9.5.1 段表

基本结构：
image9
由于各段被分为几页是不确定的，因此需要记录页表的长度，同时为了确定物理地址，还需要存放页表的起始地址（页表存放块号）。每一个段需要对应一个页表。
从图中可以看出，每个段表项的长度是相同的（只需记录页表长度即起始块号），因此段号是可以隐藏的。

9.5.2 页表

基本结构
image10
页面的大小都是相同的，因此页号是隐藏的。只需记录各页号对应的内存块号即可。
image11

9.5.3 总结

一个进程会被划分为多个段，所有的段构成一段表。而每一个段会被划分为多个页面，因此一个段对应一个页表。
总结：一个进程对应一个段表，但对应多个页表。

9.5.4 示意图

image12

9.6 地址转换过程

首先，进程被调度时，其PCB中的段表起始地址F与段表长度M都会被复制放入操作系统的段表寄存器中；
接着读出逻辑地址中的段号S，并与段表长度进行比较，假如S>=M，（这里的=与前面的段式管理类似）说明越界，产生越界中断。
段号合法后，操作系统根据段表起始地址F查询到该进程对应的段表，根据段号查询到对应的段表项，
操作系统从逻辑地址读出页号P，并于段表项中的页表长度L进行对比，假如P>L，说明页号越界，产生越界中断。
页号合法后，操作系统从段表项中读出页表起始地址，根据页号查询页表得到内存块号，并结合逻辑地址中的业内偏移量得到最终的物理地址并访问。
具体过程示意图如下：

image13

访存过程中，操作系统共需要访问三次内存。第一次是查询段表，第二次是查询页表，第三次是访问目标地址。我们也可以引入快表，以段号和页号作为关键字。

9.7 总结

image14

10 总结

配套PDF资料下载：提取码·：ikun

操作系统，如默默守护的守夜者，无声地管理硬件与软件的交流，为计算机创造和谐秩序。

它是无形的引导者，让复杂的任务变得井然有序，为用户提供无忧体验。

操作系统的巧妙设计，让计算机变得更加智能高效，让人与科技之间的交流更加顺畅。

在每一次启动中，它如信任的伙伴，带领我们进入数字世界的奇妙旅程。

渴望挑战操作系统的学习路径和掌握进阶技术？不妨点击下方链接，一同探讨更多操作系统的奇迹吧。我们推出了引领趋势的💻OS专栏：《OS从基础到进阶》 ，旨在深度探索OS的实际应用和创新。🌐🔍

在这里插入图片描述

在这里插入图片描述

godspeed_lucip
关注
c++内存管理
weixin_49312527的博客
04-04 6620
一.c/c++内存分布 1.c/c++内存区域划分 我们直接来看c/c++中的内存区域划分. 2.各个区域的功能 ①.内核空间:操作系统内核代码的运行空间. ②.栈:又叫做堆栈,非静态局部变量/函数形参/返回值/表达式中间结果/某些寄存器信息等等,栈是向下增长的. ③.内存映射段: 是高效的I/O映射方式,用于装载一个共享的动态内存库,用户可以使用系统接口创建共享内存,进行进程间通信. ④.堆:用于程序运行时动态内存分配,堆是向上增长的. ⑤.数据段:存储全局数据和静态数据...
操作系统 —— 内存管理
tsundere_x的博客
08-22 7133
思维导图 有需要可以下载：内存管理思维导图PNG 内存的基础知识 进程应该放在内存的哪里? 操作系统如何记录哪些内存区域已经被分配了，哪些还空闲? 当进程运行结束之后，如何将进程占用的内存空间释放? 操作系统负责内存空间的分配与回收 操作系统需要提供某种技术从逻辑上对内存空间进行扩充 操作系统需要实现地址转换功能，负责程序的逻辑地址和物理地址的转换 操作系统需要提供内存保护功能，保证各进程在各自存储空间内运行， 互不干扰 什么是内存？ 内存是用于存放数据的硬件 程序执行前需要先放到内存中才能
操作系统(内存管理)
09-20
文将对 Linux™ 程序员可以使用的内存管理技术进行概述，虽然关注的重点是 C 语言，但同样也适用于其他语言。文中将为您提供如何管理内存的细节，然后将进一步展示如何手工管理内存，如何使用引用计数或者内存池来半手工地管理内存，以及如何使用垃圾收集自动管理内存。 为什么必须管理内存 内存管理是计算机编程最为基本的领域之一。在很多脚本语言中，您不必担心内存是如何管理的，这并不能使得内存管理的重要性有一点点降低。对实际编程来说，理解您的内存管理器的能力与局限性至关重要。在大部分系统语言中，比如 C 和 C++，您必须进行内存管理。本文将介绍手工的、半手工的以及自动的内存管理实践的基本概念。 追溯到在 Apple II 上进行汇编语言编程的时代，那时内存管理还不是个大问题。您实际上在运行整个系统。系统有多少内存，您就有多少内存。您甚至不必费心思去弄明白它有多少内存，因为每一台机器的内存数量都相同。所以，如果内存需要非常固定，那么您只需要选择一个内存范围并使用它即可。 不过，即使是在这样一个简单的计算机中，您也会有问题，尤其是当您不知道程序的每个部分将需要多少内存时。如果您的空间有限，而内存需求是变化的，那么您需要一些方法来满足这些需求： 确定您是否有足够的内存来处理数据。 从可用的内存中获取一部分内存。 向可用内存池（pool）中返回部分内存，以使其可以由程序的其他部分或者其他程序使用。 实现这些需求的程序库称为 分配程序（allocators），因为它们负责分配和回收内存。程序的动态性越强，内存管理就越重要，您的内存分配程序的选择也就更重要。让我们来了解可用于内存管理的不同方法，它们的好处与不足，以及它们最适用的情形。 回页首 C 风格的内存分配程序 C 编程语言提供了两个函数来满足我们的三个需求： malloc：该函数分配给定的字节数，并返回一个指向它们的指针。如果没有足够的可用内存，那么它返回一个空指针。 free：该函数获得指向由 malloc 分配的内存片段的指针，并将其释放，以便以后的程序或操作系统使用（实际上，一些 malloc 实现只能将内存归还给程序，而无法将内存归还给操作系统）。 物理内存和虚拟内存 要理解内存在程序中是如何分配的，首先需要理解如何将内存从操作系统分配给程序。计算机上的每一个进程都认为自己可以访问所有的物理内存。显然，由于同时在运行多个程序，所以每个进程不可能拥有全部内存。实际上，这些进程使用的是 虚拟内存。 只是作为一个例子，让我们假定您的程序正在访问地址为 629 的内存。不过，虚拟内存系统不需要将其存储在位置为 629 的 RAM 中。实际上，它甚至可以不在 RAM 中 —— 如果物理 RAM 已经满了，它甚至可能已经被转移到硬盘上！由于这类地址不必反映内存所在的物理位置，所以它们被称为虚拟内存。操作系统维持着一个虚拟地址到物理地址的转换的表，以便计算机硬件可以正确地响应地址请求。并且，如果地址在硬盘上而不是在 RAM 中，那么操作系统将暂时停止您的进程，将其他内存转存到硬盘中，从硬盘上加载被请求的内存，然后再重新启动您的进程。这样，每个进程都获得了自己可以使用的地址空间，可以访问比您物理上安装的内存更多的内存。 在 32-位 x86 系统上，每一个进程可以访问 4 GB 内存。现在，大部分人的系统上并没有 4 GB 内存，即使您将 swap 也算上， 每个进程所使用的内存也肯定少于 4 GB。因此，当加载一个进程时，它会得到一个取决于某个称为 系统中断点（system break）的特定地址的初始内存分配。该地址之后是未被映射的内存 —— 用于在 RAM 或者硬盘中没有分配相应物理位置的内存。因此，如果一个进程运行超出了它初始分配的内存，那么它必须请求操作系统“映射进来（map in）”更多的内存。（映射是一个表示一一对应关系的数学术语 —— 当内存的虚拟地址有一个对应的物理地址来存储内存内容时，该内存将被映射。） 基于 UNIX 的系统有两个可映射到附加内存中的基本系统调用： brk： brk() 是一个非常简单的系统调用。还记得系统中断点吗？该位置是进程映射的内存边界。 brk() 只是简单地将这个位置向前或者向后移动，就可以向进程添加内存或者从进程取走内存。 mmap： mmap()，或者说是“内存映像”，类似于 brk()，但是更为灵活。首先，它可以映射任何位置的内存，而不单单只局限于进程。其次，它不仅可以将虚拟地址映射到物理的 RAM 或者 swap，它还可以将它们映射到文件和文件位置，这样，读写内存将对文件中的数据进行读写。不过，在这里，我们只关心 mmap 向进程添加被映射的内存的能力。 munmap() 所做的事情与 mmap() 相反。 如您所见， brk() 或者 mmap() 都可以用来向我们的进程添加额外的虚拟内存。在我们的例子中将使用 brk()，因为它更简单，更通用。 实现一个简单的分配程序 如果您曾经编写过很多 C 程序，那么您可能曾多次使用过 malloc() 和 free()。不过，您可能没有用一些时间去思考它们在您的操作系统中是如何实现的。本节将向您展示 malloc 和 free 的一个最简化实现的代码，来帮助说明管理内存时都涉及到了哪些事情。 要试着运行这些示例，需要先 复制本代码清单，并将其粘贴到一个名为 malloc.c 的文件中。接下来，我将一次一个部分地对该清单进行解释。 在大部分操作系统中，内存分配由以下两个简单的函数来处理： void *malloc(long numbytes)：该函数负责分配 numbytes 大小的内存，并返回指向第一个字节的指针。 void free(void *firstbyte)：如果给定一个由先前的 malloc 返回的指针，那么该函数会将分配的空间归还给进程的“空闲空间”。 malloc_init 将是初始化内存分配程序的函数。它要完成以下三件事：将分配程序标识为已经初始化，找到系统中最后一个有效内存地址，然后建立起指向我们管理的内存的指针。这三个变量都是全局变量： 清单 1. 我们的简单分配程序的全局变量 int has_initialized = 0; void *managed_memory_start; void *last_valid_address; 如前所述，被映射的内存的边界（最后一个有效地址）常被称为系统中断点或者 当前中断点。在很多 UNIX® 系统中，为了指出当前系统中断点，必须使用 sbrk(0) 函数。 sbrk 根据参数中给出的字节数移动当前系统中断点，然后返回新的系统中断点。使用参数 0 只是返回当前中断点。这里是我们的 malloc 初始化代码，它将找到当前中断点并初始化我们的变量： 清单 2. 分配程序初始化函数 /* Include the sbrk function */ #include void malloc_init() { /* grab the last valid address from the OS */ last_valid_address = sbrk(0); /* we don't have any memory to manage yet, so *just set the beginning to be last_valid_address */ managed_memory_start = last_valid_address; /* Okay, we're initialized and ready to go */ has_initialized = 1; } 现在，为了完全地管理内存，我们需要能够追踪要分配和回收哪些内存。在对内存块进行了 free 调用之后，我们需要做的是诸如将它们标记为未被使用的等事情，并且，在调用 malloc 时，我们要能够定位未被使用的内存块。因此， malloc 返回的每块内存的起始处首先要有这个结构： 清单 3. 内存控制块结构定义 struct mem_control_block { int is_available; int size; }; 现在，您可能会认为当程序调用 malloc 时这会引发问题 —— 它们如何知道这个结构？答案是它们不必知道；在返回指针之前，我们会将其移动到这个结构之后，把它隐藏起来。这使得返回的指针指向没有用于任何其他用途的内存。那样，从调用程序的角度来看，它们所得到的全部是空闲的、开放的内存。然后，当通过 free() 将该指针传递回来时，我们只需要倒退几个内存字节就可以再次找到这个结构。 在讨论分配内存之前，我们将先讨论释放，因为它更简单。为了释放内存，我们必须要做的惟一一件事情就是，获得我们给出的指针，回退 sizeof(struct mem_control_block) 个字节，并将其标记为可用的。这里是对应的代码： 清单 4. 解除分配函数 void free(void *firstbyte) { struct mem_control_block *mcb; /* Backup from the given pointer to find the * mem_control_block */ mcb = firstbyte - sizeof(struct mem_control_block); /* Mark the block as being available */ mcb->is_available = 1; /* That's It! We're done. */ return; } 如您所见，在这个分配程序中，内存的释放使用了一个非常简单的机制，在固定时间内完成内存释放。分配内存稍微困难一些。以下是该算法的略述： 清单 5. 主分配程序的伪代码 1. If our allocator has not been initialized, initialize it. 2. Add sizeof(struct mem_control_block) to the size requested. 3. start at managed_memory_start. 4. Are we at last_valid address? 5. If we are: A. We didn't find any existing space that was large enough -- ask the operating system for more and return that. 6. Otherwise: A. Is the current space available (check is_available from the mem_control_block)? B. If it is: i) Is it large enough (check "size" from the mem_control_block)? ii) If so: a. Mark it as unavailable b. Move past mem_control_block and return the pointer iii) Otherwise: a. Move forward "size" bytes b. Go back go step 4 C. Otherwise: i) Move forward "size" bytes ii) Go back to step 4 我们主要使用连接的指针遍历内存来寻找开放的内存块。这里是代码： 清单 6. 主分配程序 void *malloc(long numbytes) { /* Holds where we are looking in memory */ void *current_location; /* This is the same as current_location, but cast to a * memory_control_block */ struct mem_control_block *current_location_mcb; /* This is the memory location we will return. It will * be set to 0 until we find something suitable */ void *memory_location; /* Initialize if we haven't already done so */ if(! has_initialized) { malloc_init(); } /* The memory we search for has to include the memory * control block, but the users of malloc don't need * to know this, so we'll just add it in for them. */ numbytes = numbytes + sizeof(struct mem_control_block); /* Set memory_location to 0 until we find a suitable * location */ memory_location = 0; /* Begin searching at the start of managed memory */ current_location = managed_memory_start; /* Keep going until we have searched all allocated space */ while(current_location != last_valid_address) { /* current_location and current_location_mcb point * to the same address. However, current_location_mcb * is of the correct type, so we can use it as a struct. * current_location is a void pointer so we can use it * to calculate addresses. */ current_location_mcb = (struct mem_control_block *)current_location; if(current_location_mcb->is_available) { if(current_location_mcb->size >= numbytes) { /* Woohoo! We've found an open, * appropriately-size location. */ /* It is no longer available */ current_location_mcb->is_available = 0; /* We own it */ memory_location = current_location; /* Leave the loop */ break; } } /* If we made it here, it's because the Current memory * block not suitable; move to the next one */ current_location = current_location + current_location_mcb->size; } /* If we still don't have a valid location, we'll * have to ask the operating system for more memory */ if(! memory_location) { /* Move the program break numbytes further */ sbrk(numbytes); /* The new memory will be where the last valid * address left off */ memory_location = last_valid_address; /* We'll move the last valid address forward * numbytes */ last_valid_address = last_valid_address + numbytes; /* We need to initialize the mem_control_block */ current_location_mcb = memory_location; current_location_mcb->is_available = 0; current_location_mcb->size = numbytes; } /* Now, no matter what (well, except for error conditions), * memory_location has the address of the memory, including * the mem_control_block */ /* Move the pointer past the mem_control_block */ memory_location = memory_location + sizeof(struct mem_control_block); /* Return the pointer */ return memory_location; } 这就是我们的内存管理器。现在，我们只需要构建它，并在程序中使用它即可。 运行下面的命令来构建 malloc 兼容的分配程序（实际上，我们忽略了 realloc() 等一些函数，不过， malloc() 和 free() 才是最主要的函数）： 清单 7. 编译分配程序 gcc -shared -fpic malloc.c -o malloc.so 该程序将生成一个名为 malloc.so 的文件，它是一个包含有我们的代码的共享库。 在 UNIX 系统中，现在您可以用您的分配程序来取代系统的 malloc()，做法如下： 清单 8. 替换您的标准的 malloc LD_PRELOAD=/path/to/malloc.so export LD_PRELOAD LD_PRELOAD 环境变量使动态链接器在加载任何可执行程序之前，先加载给定的共享库的符号。它还为特定库中的符号赋予优先权。因此，从现在起，该会话中的任何应用程序都将使用我们的 malloc()，而不是只有系统的应用程序能够使用。有一些应用程序不使用 malloc()，不过它们是例外。其他使用 realloc() 等其他内存管理函数的应用程序，或者错误地假定 malloc() 内部行为的那些应用程序，很可能会崩溃。ash shell 似乎可以使用我们的新 malloc() 很好地工作。 如果您想确保 malloc() 正在被使用，那么您应该通过向函数的入口点添加 write() 调用来进行测试。 我们的内存管理器在很多方面都还存在欠缺，但它可以有效地展示内存管理需要做什么事情。它的某些缺点包括： 由于它对系统中断点（一个全局变量）进行操作，所以它不能与其他分配程序或者 mmap 一起使用。 当分配内存时，在最坏的情形下，它将不得不遍历 全部进程内存；其中可能包括位于硬盘上的很多内存，这意味着操作系统将不得不花时间去向硬盘移入数据和从硬盘中移出数据。 没有很好的内存不足处理方案（ malloc 只假定内存分配是成功的）。 它没有实现很多其他的内存函数，比如 realloc()。 由于 sbrk() 可能会交回比我们请求的更多的内存，所以在堆（heap）的末端会遗漏一些内存。 虽然 is_available 标记只包含一位信息，但它要使用完整的 4-字节 的字。 分配程序不是线程安全的。 分配程序不能将空闲空间拼合为更大的内存块。 分配程序的过于简单的匹配算法会导致产生很多潜在的内存碎片。 我确信还有很多其他问题。这就是为什么它只是一个例子! 其他 malloc 实现 malloc() 的实现有很多，这些实现各有优点与缺点。在设计一个分配程序时，要面临许多需要折衷的选择，其中包括： 分配的速度。 回收的速度。 有线程的环境的行为。 内存将要被用光时的行为。 局部缓存。 簿记（Bookkeeping）内存开销。 虚拟内存环境中的行为。 小的或者大的对象。 实时保证。 每一个实现都有其自身的优缺点集合。在我们的简单的分配程序中，分配非常慢，而回收非常快。另外，由于它在使用虚拟内存系统方面较差，所以它最适于处理大的对象。 还有其他许多分配程序可以使用。其中包括： Doug Lea Malloc：Doug Lea Malloc 实际上是完整的一组分配程序，其中包括 Doug Lea 的原始分配程序，GNU libc 分配程序和 ptmalloc。 Doug Lea 的分配程序有着与我们的版本非常类似的基本结构，但是它加入了索引，这使得搜索速度更快，并且可以将多个没有被使用的块组合为一个大的块。它还支持缓存，以便更快地再次使用最近释放的内存。 ptmalloc 是 Doug Lea Malloc 的一个扩展版本，支持多线程。在本文后面的 参考资料部分中，有一篇描述 Doug Lea 的 Malloc 实现的文章。 BSD Malloc：BSD Malloc 是随 4.2 BSD 发行的实现，包含在 FreeBSD 之中，这个分配程序可以从预先确实大小的对象构成的池中分配对象。它有一些用于对象大小的 size 类，这些对象的大小为 2 的若干次幂减去某一常数。所以，如果您请求给定大小的一个对象，它就简单地分配一个与之匹配的 size 类。这样就提供了一个快速的实现，但是可能会浪费内存。在 参考资料部分中，有一篇描述该实现的文章。 Hoard：编写 Hoard 的目标是使内存分配在多线程环境中进行得非常快。因此，它的构造以锁的使用为中心，从而使所有进程不必等待分配内存。它可以显著地加快那些进行很多分配和回收的多线程进程的速度。在 参考资料部分中，有一篇描述该实现的文章。 众多可用的分配程序中最有名的就是上述这些分配程序。如果您的程序有特别的分配需求，那么您可能更愿意编写一个定制的能匹配您的程序内存分配方式的分配程序。不过，如果不熟悉分配程序的设计，那么定制分配程序通常会带来比它们解决的问题更多的问题。要获得关于该主题的适当的介绍，请参阅 Donald Knuth 撰写的 The Art of Computer Programming Volume 1: Fundamental Algorithms 中的第 2.5 节“Dynamic Storage Allocation”（请参阅 参考资料中的链接）。它有点过时，因为它没有考虑虚拟内存环境，不过大部分算法都是基于前面给出的函数。 在 C++ 中，通过重载 operator new()，您可以以每个类或者每个模板为单位实现自己的分配程序。在 Andrei Alexandrescu 撰写的 Modern C++ Design 的第 4 章（“Small Object Allocation”）中，描述了一个小对象分配程序（请参阅 参考资料中的链接）。 基于 malloc() 的内存管理的缺点 不只是我们的内存管理器有缺点，基于 malloc() 的内存管理器仍然也有很多缺点，不管您使用的是哪个分配程序。对于那些需要保持长期存储的程序使用 malloc() 来管理内存可能会非常令人失望。如果您有大量的不固定的内存引用，经常难以知道它们何时被释放。生存期局限于当前函数的内存非常容易管理，但是对于生存期超出该范围的内存来说，管理内存则困难得多。而且，关于内存管理是由进行调用的程序还是由被调用的函数来负责这一问题，很多 API 都不是很明确。 因为管理内存的问题，很多程序倾向于使用它们自己的内存管理规则。C++ 的异常处理使得这项任务更成问题。有时好像致力于管理内存分配和清理的代码比实际完成计算任务的代码还要多！因此，我们将研究内存管理的其他选择。 回页首 半自动内存管理策略 引用计数 引用计数是一种 半自动（semi-automated）的内存管理技术，这表示它需要一些编程支持，但是它不需要您确切知道某一对象何时不再被使用。引用计数机制为您完成内存管理任务。 在引用计数中，所有共享的数据结构都有一个域来包含当前活动“引用”结构的次数。当向一个程序传递一个指向某个数据结构指针时，该程序会将引用计数增加 1。实质上，您是在告诉数据结构，它正在被存储在多少个位置上。然后，当您的进程完成对它的使用后，该程序就会将引用计数减少 1。结束这个动作之后，它还会检查计数是否已经减到零。如果是，那么它将释放内存。 这样做的好处是，您不必追踪程序中某个给定的数据结构可能会遵循的每一条路径。每次对其局部的引用，都将导致计数的适当增加或减少。这样可以防止在使用数据结构时释放该结构。不过，当您使用某个采用引用计数的数据结构时，您必须记得运行引用计数函数。另外，内置函数和第三方的库不会知道或者可以使用您的引用计数机制。引用计数也难以处理发生循环引用的数据结构。 要实现引用计数，您只需要两个函数 —— 一个增加引用计数，一个减少引用计数并当计数减少到零时释放内存。 一个示例引用计数函数集可能看起来如下所示： 清单 9. 基本的引用计数函数 /* Structure Definitions*/ /* Base structure that holds a refcount */ struct refcountedstruct { int refcount; } /* All refcounted structures must mirror struct * refcountedstruct for their first variables */ /* Refcount maintenance functions */ /* Increase reference count */ void REF(void *data) { struct refcountedstruct *rstruct; rstruct = (struct refcountedstruct *) data; rstruct->refcount++; } /* Decrease reference count */ void UNREF(void *data) { struct refcountedstruct *rstruct; rstruct = (struct refcountedstruct *) data; rstruct->refcount--; /* Free the structure if there are no more users */ if(rstruct->refcount == 0) { free(rstruct); } } REF 和 UNREF 可能会更复杂，这取决于您想要做的事情。例如，您可能想要为多线程程序增加锁，那么您可能想扩展 refcountedstruct，使它同样包含一个指向某个在释放内存之前要调用的函数的指针（类似于面向对象语言中的析构函数 —— 如果您的结构中包含这些指针，那么这是 必需的）。 当使用 REF 和 UNREF 时，您需要遵守这些指针的分配规则： UNREF 分配前左端指针（left-hand-side pointer）指向的值。 REF 分配后左端指针（left-hand-side pointer）指向的值。 在传递使用引用计数的结构的函数中，函数需要遵循以下这些规则： 在函数的起始处 REF 每一个指针。 在函数的结束处 UNREF 第一个指针。 以下是一个使用引用计数的生动的代码示例： 清单 10. 使用引用计数的示例 /* EXAMPLES OF USAGE */ /* Data type to be refcounted */ struct mydata { int refcount; /* same as refcountedstruct */ int datafield1; /* Fields specific to this struct */ int datafield2; /* other declarations would go here as appropriate */ }; /* Use the functions in code */ void dosomething(struct mydata *data) { REF(data); /* Process data */ /* when we are through */ UNREF(data); } struct mydata *globalvar1; /* Note that in this one, we don't decrease the * refcount since we are maintaining the reference * past the end of the function call through the * global variable */ void storesomething(struct mydata *data) { REF(data); /* passed as a parameter */ globalvar1 = data; REF(data); /* ref because of Assignment */ UNREF(data); /* Function finished */ } 由于引用计数是如此简单，大部分程序员都自已去实现它，而不是使用库。不过，它们依赖于 malloc 和 free 等低层的分配程序来实际地分配和释放它们的内存。 在 Perl 等高级语言中，进行内存管理时使用引用计数非常广泛。在这些语言中，引用计数由语言自动地处理，所以您根本不必担心它，除非要编写扩展模块。由于所有内容都必须进行引用计数，所以这会对速度产生一些影响，但它极大地提高了编程的安全性和方便性。以下是引用计数的益处： 实现简单。 易于使用。 由于引用是数据结构的一部分，所以它有一个好的缓存位置。 不过，它也有其不足之处： 要求您永远不要忘记调用引用计数函数。 无法释放作为循环数据结构的一部分的结构。 减缓几乎每一个指针的分配。 尽管所使用的对象采用了引用计数，但是当使用异常处理（比如 try 或 setjmp()/ longjmp()）时，您必须采取其他方法。 需要额外的内存来处理引用。 引用计数占用了结构中的第一个位置，在大部分机器中最快可以访问到的就是这个位置。 在多线程环境中更慢也更难以使用。 C++ 可以通过使用 智能指针（smart pointers）来容忍程序员所犯的一些错误，智能指针可以为您处理引用计数等指针处理细节。不过，如果不得不使用任何先前的不能处理智能指针的代码（比如对 C 库的联接），实际上，使用它们的后果通实比不使用它们更为困难和复杂。因此，它通常只是有益于纯 C++ 项目。如果您想使用智能指针，那么您实在应该去阅读 Alexandrescu 撰写的 Modern C++ Design 一书中的“Smart Pointers”那一章。 内存池 内存池是另一种半自动内存管理方法。内存池帮助某些程序进行自动内存管理，这些程序会经历一些特定的阶段，而且每个阶段中都有分配给进程的特定阶段的内存。例如，很多网络服务器进程都会分配很多针对每个连接的内存 —— 内存的最大生存期限为当前连接的存在期。Apache 使用了池式内存（pooled memory），将其连接拆分为各个阶段，每个阶段都有自己的内存池。在结束每个阶段时，会一次释放所有内存。 在池式内存管理中，每次内存分配都会指定内存池，从中分配内存。每个内存池都有不同的生存期限。在 Apache 中，有一个持续时间为服务器存在期的内存池，还有一个持续时间为连接的存在期的内存池，以及一个持续时间为请求的存在期的池，另外还有其他一些内存池。因此，如果我的一系列函数不会生成比连接持续时间更长的数据，那么我就可以完全从连接池中分配内存，并知道在连接结束时，这些内存会被自动释放。另外，有一些实现允许注册 清除函数（cleanup functions），在清除内存池之前，恰好可以调用它，来完成在内存被清理前需要完成的其他所有任务（类似于面向对象中的析构函数）。 要在自己的程序中使用池，您既可以使用 GNU libc 的 obstack 实现，也可以使用 Apache 的 Apache Portable Runtime。GNU obstack 的好处在于，基于 GNU 的 Linux 发行版本中默认会包括它们。Apache Portable Runtime 的好处在于它有很多其他工具，可以处理编写多平台服务器软件所有方面的事情。要深入了解 GNU obstack 和 Apache 的池式内存实现，请参阅 参考资料部分中指向这些实现的文档的链接。 下面的假想代码列表展示了如何使用 obstack： 清单 11. obstack 的示例代码 #include #include /* Example code listing for using obstacks */ /* Used for obstack macros (xmalloc is a malloc function that exits if memory is exhausted */ #define obstack_chunk_alloc xmalloc #define obstack_chunk_free free /* Pools */ /* Only permanent allocations should go in this pool */ struct obstack *global_pool; /* This pool is for per-connection data */ struct obstack *connection_pool; /* This pool is for per-request data */ struct obstack *request_pool; void allocation_failed() { exit(1); } int main() { /* Initialize Pools */ global_pool = (struct obstack *) xmalloc (sizeof (struct obstack)); obstack_init(global_pool); connection_pool = (struct obstack *) xmalloc (sizeof (struct obstack)); obstack_init(connection_pool); request_pool = (struct obstack *) xmalloc (sizeof (struct obstack)); obstack_init(request_pool); /* Set the error handling function */ obstack_alloc_failed_handler = &allocation_failed; /* Server main loop */ while(1) { wait_for_connection(); /* We are in a connection */ while(more_requests_available()) { /* Handle request */ handle_request(); /* Free all of the memory allocated * in the request pool */ obstack_free(request_pool, NULL); } /* We're finished with the connection, time * to free that pool */ obstack_free(connection_pool, NULL); } } int handle_request() { /* Be sure that all object allocations are allocated * from the request pool */ int bytes_i_need = 400; void *data1 = obstack_alloc(request_pool, bytes_i_need); /* Do stuff to process the request */ /* return */ return 0; } 基本上，在操作的每一个主要阶段结束之后，这个阶段的 obstack 会被释放。不过，要注意的是，如果一个过程需要分配持续时间比当前阶段更长的内存，那么它也可以使用更长期限的 obstack，比如连接或者全局内存。传递给 obstack_free() 的 NULL 指出它应该释放 obstack 的全部内容。可以用其他的值，但是它们通常不怎么实用。 使用池式内存分配的益处如下所示： 应用程序可以简单地管理内存。 内存分配和回收更快，因为每次都是在一个池中完成的。分配可以在 O(1) 时间内完成，释放内存池所需时间也差不多（实际上是 O(n) 时间，不过在大部分情况下会除以一个大的因数，使其变成 O(1)）。 可以预先分配错误处理池（Error-handling pools），以便程序在常规内存被耗尽时仍可以恢复。 有非常易于使用的标准实现。 池式内存的缺点是： 内存池只适用于操作可以分阶段的程序。 内存池通常不能与第三方库很好地合作。 如果程序的结构发生变化，则不得不修改内存池，这可能会导致内存管理系统的重新设计。 您必须记住需要从哪个池进行分配。另外，如果在这里出错，就很难捕获该内存池。 回页首 垃圾收集 垃圾收集（Garbage collection）是全自动地检测并移除不再使用的数据对象。垃圾收集器通常会在当可用内存减少到少于一个具体的阈值时运行。通常，它们以程序所知的可用的一组“基本”数据 —— 栈数据、全局变量、寄存器 —— 作为出发点。然后它们尝试去追踪通过这些数据连接到每一块数据。收集器找到的都是有用的数据；它没有找到的就是垃圾，可以被销毁并重新使用这些无用的数据。为了有效地管理内存，很多类型的垃圾收集器都需要知道数据结构内部指针的规划，所以，为了正确运行垃圾收集器，它们必须是语言本身的一部分。 收集器的类型 复制（copying）： 这些收集器将内存存储器分为两部分，只允许数据驻留在其中一部分上。它们定时地从“基本”的元素开始将数据从一部分复制到另一部分。内存新近被占用的部分现在成为活动的，另一部分上的所有内容都认为是垃圾。另外，当进行这项复制操作时，所有指针都必须被更新为指向每个内存条目的新位置。因此，为使用这种垃圾收集方法，垃圾收集器必须与编程语言集成在一起。 标记并清理（Mark and sweep）：每一块数据都被加上一个标签。不定期的，所有标签都被设置为 0，收集器从“基本”的元素开始遍历数据。当它遇到内存时，就将标签标记为 1。最后没有被标记为 1 的所有内容都认为是垃圾，以后分配内存时会重新使用它们。 增量的（Incremental）：增量垃圾收集器不需要遍历全部数据对象。因为在收集期间的突然等待，也因为与访问所有当前数据相关的缓存问题（所有内容都不得不被页入（page-in）），遍历所有内存会引发问题。增量收集器避免了这些问题。 保守的（Conservative）：保守的垃圾收集器在管理内存时不需要知道与数据结构相关的任何信息。它们只查看所有数据类型，并假定它们 可以全部都是指针。所以，如果一个字节序列可以是一个指向一块被分配的内存的指针，那么收集器就将其标记为正在被引用。有时没有被引用的内存会被收集，这样会引发问题，例如，如果一个整数域中包含一个值，该值是已分配内存的地址。不过，这种情况极少发生，而且它只会浪费少量内存。保守的收集器的优势是，它们可以与任何编程语言相集成。 Hans Boehm 的保守垃圾收集器是可用的最流行的垃圾收集器之一，因为它是免费的，而且既是保守的又是增量的，可以使用 --enable-redirect-malloc 选项来构建它，并且可以将它用作系统分配程序的简易替代者（drop-in replacement）（用 malloc/ free 代替它自己的 API）。实际上，如果这样做，您就可以使用与我们在示例分配程序中所使用的相同的 LD_PRELOAD 技巧，在系统上的几乎任何程序中启用垃圾收集。如果您怀疑某个程序正在泄漏内存，那么您可以使用这个垃圾收集器来控制进程。在早期，当 Mozilla 严重地泄漏内存时，很多人在其中使用了这项技术。这种垃圾收集器既可以在 Windows® 下运行，也可以在 UNIX 下运行。 垃圾收集的一些优点： 您永远不必担心内存的双重释放或者对象的生命周期。 使用某些收集器，您可以使用与常规分配相同的 API。 其缺点包括： 使用大部分收集器时，您都无法干涉何时释放内存。 在多数情况下，垃圾收集比其他形式的内存管理更慢。 垃圾收集错误引发的缺陷难于调试。 如果您忘记将不再使用的指针设置为 null，那么仍然会有内存泄漏。 回页首 结束语 一切都需要折衷：性能、易用、易于实现、支持线程的能力等，这里只列出了其中的一些。为了满足项目的要求，有很多内存管理模式可以供您使用。每种模式都有大量的实现，各有其优缺点。对很多项目来说，使用编程环境默认的技术就足够了，不过，当您的项目有特殊的需要时，了解可用的选择将会有帮助。下表对比了本文中涉及的内存管理策略。 表 1. 内存分配策略的对比 策略 分配速度 回收速度 局部缓存 易用性 通用性 实时可用 SMP 线程友好 定制分配程序 取决于实现 取决于实现 取决于实现 很难 无 取决于实现 取决于实现 简单分配程序 内存使用少时较快 很快 差 容易 高 否 否 GNU malloc 中 快 中 容易 高 否 中 Hoard 中 中 中 容易 高 否 是 引用计数 N/A N/A 非常好 中 中 是（取决于 malloc 实现） 取决于实现 池 中 非常快 极好 中 中 是（取决于 malloc 实现） 取决于实现 垃圾收集 中（进行收集时慢） 中 差 中 中 否 几乎不 增量垃圾收集 中 中 中 中 中 否 几乎不 增量保守垃圾收集 中 中 中 容易 高 否 几乎不 参考资料 您可以参阅本文在 developerWorks 全球站点上的 英文原文。 Web 上的文档 GNU C Library 手册的 obstacks 部分 提供了 obstacks 编程接口。 Apache Portable Runtime 文档 描述了它们的池式分配程序的接口。 基本的分配程序 Doug Lea 的 Malloc 是最流行的内存分配程序之一。 BSD Malloc 用于大部分基于 BSD 的系统中。 ptmalloc 起源于 Doug Lea 的 malloc，用于 GLIBC 之中。 Hoard 是一个为多线程应用程序优化的 malloc 实现。 GNU Memory-Mapped Malloc（GDB 的组成部分） 是一个基于 mmap() 的 malloc 实现。 池式分配程序 GNU Obstacks（GNU Libc 的组成部分）是安装最多的池式分配程序，因为在每一个基于 glibc 的系统中都有它。 Apache 的池式分配程序（Apache Portable Runtime 中） 是应用最为广泛的池式分配程序。 Squid 有其自己的池式分配程序。 NetBSD 也有其自己的池式分配程序。 talloc 是一个池式分配程序，是 Samba 的组成部分。 智能指针和定制分配程序 Loki C++ Library 有很多为 C++ 实现的通用模式，包括智能指针和一个定制的小对象分配程序。 垃圾收集器 Hahns Boehm Conservative Garbage Collector 是最流行的开源垃圾收集器，它可以用于常规的 C/C++ 程序。 关于现代操作系统中的虚拟内存的文章 Marshall Kirk McKusick 和 Michael J. Karels 合著的 A New Virtual Memory Implementation for Berkeley UNIX 讨论了 BSD 的 VM 系统。 Mel Gorman's Linux VM Documentation 讨论了 Linux VM 系统。 关于 malloc 的文章 Poul-Henning Kamp 撰写的 Malloc in Modern Virtual Memory Environments 讨论的是 malloc 以及它如何与 BSD 虚拟内存交互。 Berger、McKinley、Blumofe 和 Wilson 合著的 Hoard -- a Scalable Memory Allocator for Multithreaded Environments 讨论了 Hoard 分配程序的实现。 Marshall Kirk McKusick 和 Michael J. Karels 合著的 Design of a General Purpose Memory Allocator for the 4.3BSD UNIX Kernel 讨论了内核级的分配程序。 Doug Lea 撰写的 A Memory Allocator 给出了一个关于设计和实现分配程序的概述，其中包括设计选择与折衷。 Emery D. Berger 撰写的 Memory Management for High-Performance Applications 讨论的是定制内存管理以及它如何影响高性能应用程序。 关于定制分配程序的文章 Doug Lea 撰写的 Some Storage Management Techniques for Container Classes 描述的是为 C++ 类编写定制分配程序。 Berger、Zorn 和 McKinley 合著的 Composing High-Performance Memory Allocators 讨论了如何编写定制分配程序来加快具体工作的速度。 Berger、Zorn 和 McKinley 合著的 Reconsidering Custom Memory Allocation 再次提及了定制分配的主题，看是否真正值得为其费心。 关于垃圾收集的文章 Paul R. Wilson 撰写的 Uniprocessor Garbage Collection Techniques 给出了垃圾收集的一个基本概述。 Benjamin Zorn 撰写的 The Measured Cost of Garbage Collection 给出了关于垃圾收集和性能的硬数据（hard data）。 Hans-Juergen Boehm 撰写的 Memory Allocation Myths and Half-Truths 给出了关于垃圾收集的神话（myths）。 Hans-Juergen Boehm 撰写的 Space Efficient Conservative Garbage Collection 是一篇描述他的用于 C/C++ 的垃圾收集器的文章。 Web 上的通用参考资料 内存管理参考 中有很多关于内存管理参考资料和技术文章的链接。 关于内存管理和内存层级的 OOPS Group Papers 是非常好的一组关于此主题的技术文章。 C++ 中的内存管理讨论的是为 C++ 编写定制的分配程序。 Programming Alternatives: Memory Management 讨论了程序员进行内存管理时的一些选择。 垃圾收集 FAQ 讨论了关于垃圾收集您需要了解的所有内容。 Richard Jones 的 Garbage Collection Bibliography 有指向任何您想要的关于垃圾收集的文章的链接。 书籍 Michael Daconta 撰写的 C++ Pointers and Dynamic Memory Management 介绍了关于内存管理的很多技术。 Frantisek Franek 撰写的 Memory as a Programming Concept in C and C++ 讨论了有效使用内存的技术与工具，并给出了在计算机编程中应当引起注意的内存相关错误的角色。 Richard Jones 和 Rafael Lins 合著的 Garbage Collection: Algorithms for Automatic Dynamic Memory Management 描述了当前使用的最常见的垃圾收集算法。 在 Donald Knuth 撰写的 The Art of Computer Programming 第 1 卷 Fundamental Algorithms 的第 2.5 节“Dynamic Storage Allocation”中，描述了实现基本的分配程序的一些技术。 在 Donald Knuth 撰写的 The Art of Computer Programming 第 1 卷 Fundamental Algorithms 的第 2.3.5 节“Lists and Garbage Collection”中，讨论了用于列表的垃圾收集算法。 Andrei Alexandrescu 撰写的 Modern C++ Design 第 4 章“Small Object Allocation”描述了一个比 C++ 标准分配程序效率高得多的一个高速小对象分配程序。 Andrei Alexandrescu 撰写的 Modern C++ Design 第 7 章“Smart Pointers”描述了在 C++ 中智能指针的实现。 Jonathan 撰写的 Programming from the Ground Up 第 8 章“Intermediate Memory Topics”中有本文使用的简单分配程序的一个汇编语言版本。 来自 developerWorks 自我管理数据缓冲区内存 （developerWorks，2004 年 1 月）略述了一个用于管理内存的自管理的抽象数据缓存器的伪 C （pseudo-C）实现。 A framework for the user defined malloc replacement feature （developerWorks，2002 年 2 月）展示了如何利用 AIX 中的一个工具，使用自己设计的内存子系统取代原有的内存子系统。 掌握 Linux 调试技术 （developerWorks，2002 年 8 月）描述了可以使用调试方法的 4 种不同情形：段错误、内存溢出、内存泄漏和挂起。 在 处理 Java 程序中的内存漏洞 （developerWorks，2001 年 2 月）中，了解导致 Java 内存泄漏的原因，以及何时需要考虑它们。 在 developerWorks Linux 专区中，可以找到更多为 Linux 开发人员准备的参考资料。 从 developerWorks 的 Speed-start your Linux app 专区中，可以下载运行于 Linux 之上的 IBM 中间件产品的免费测试版本，其中包括 WebSphere® Studio Application Developer、WebSphere Application Server、DB2® Universal Database、Tivoli® Access Manager 和 Tivoli Directory Server，查找 how-to 文章和技术支持。 通过参与 developerWorks blogs 加入到 developerWorks 社区。 可以在 Developer Bookstore Linux 专栏中定购 打折出售的 Linux 书籍。 关于作者 Jonathan Bartlett 是 Programming from the Ground Up 一书的作者，这本书介绍的是 Linux 汇编语言编程。Jonathan Bartlett 是 New Media Worx 的总开发师，负责为客户开发 Web、视频、kiosk 和桌面应用程序。您可以通过 johnnyb@eskimo.com 与 Jonathan 联系。
【操作系统】9.什么是内存管理？
最新发布
weixin_69595694的博客
08-20 751
准备工作：存储器结构进程运行原理内存管理方式连续分配管理方式非连续分配管理方式。
内存管理详解
rznice的专栏
06-15 793
<br />　　程序员们经常编写内存管理程序，往往提心吊胆。如果不想触雷，唯一的解决办法就是发现所有潜伏的地雷并且排除它们，躲是躲不了的。本文的内容比一般教科书的要深入得多，读者需细心阅读，做到真正地通晓内存管理。<br />1、内存分配方式<br />　　内存分配方式有三种：<br />　　（1）从静态存储区域分配。内存在程序编译的时候就已经分配好，这块内存在程序的整个运行期间都存在。例如全局变量，static变量。<br />　　（2）在栈上创建。在执行函数时，函数内局部变量的存储单元都可以在栈上创建，
操作系统之内存管理
amoscykl的博客
01-29 744
虚拟内存 虚拟内存的目的是为了让物理内存扩充成更大的逻辑内存，从而让程序获得更多的可用内存。 为了更好的管理内存，操作系统将内存抽象成地址空间。每个程序拥有自己的地址空间，这个地址空间被分割成多个块，每一块称为一页。这些页被映射到物理内存，但不需要映射到连续的物理内存，也不需要所有页都必须在物理内存中。当程序引用到不在物理内存中的页时，由硬件执行必要的映射，将缺失的部分装入物理内存并重新执行失...
操作系统：内存管理
weixin_43967582的博客
01-12 1881
内存管理 一、内存的基础知识 1.1 什么是内存？有何作用？ 内存可存放数据。程序执行前需要先放到内存中才能被CPU处理——缓和CPU与硬盘之间的速度矛盾 1.2 补充知识： 几个常用的数量单位 2^10 = 1K （千） 2^20 = 1M （兆，百万） 2^30 = 1G （十亿，千兆） 指令 指令的工作基于“地址”。每个地址对应一个数据的存储单元 可见，我们写的代码要翻译成CPU能识别的指令。这些指令会告诉CPU应该去内存的哪个地址读/写数据，这个数据应该做什么样的处理。在这个例子中，指令中的地址
万字长文！一文彻底搞懂Java—volatile关键字
weixin_57907028的博客
05-19 448
volatile这个关键字大家都不陌生，这个关键字一般通常用于并发编程中，是Java虚拟机提供的轻量化同步机制，你可能知道volatile是干啥的，但是你未必能够清晰明了地知道volatile的实现机制，以及volatile解决了什么问题，这篇文章我就来带大家解析一波。 volatile能够保证共享变量之间的 可见性，共享变量是存在堆区的，而堆区又与内存模型有关，所以我们要聊 volatile ，就需要首先了解一下 Java 内存模型。Java 中的内存模型是 JVM 提供的，而 JVM 又是和内存进行交互
操作系统万字长文.pdf
06-27
存储器管理是操作系统对计算机内存资源的管理，其主要功能包括内存的分配与回收、内存的保护以及内存的扩充。操作系统的存储器管理实现了虚拟内存技术，使得程序可以运行在大于实际物理内存大小的虚拟空间中，有效地...
万字长文！详细解析字节跳动Java后端社招面试题（3年经验）
bug_product的博客
05-30 2622
哈喽。我又来为大家更新面经资料了。今天继续为大家更新字节跳动社招的面经资料。 （我发现我特别喜欢更新字节的。。。） 时长2H。应用+原理理解；Java后端社招+3年经验 1、自我介绍 2、JVM组成部分 （1）堆 （2）方法区（元数据区） （3）程序计数器 （4）本地方法栈 （5）虚拟机栈 3、虚拟机栈和本地方法栈区别（线程私有，每个线程都有一个） （1）本地方法栈和虚拟机栈的作用相同，用来描述方法执行的内存模型； （2）即每个方法执行都会在栈上创建一个栈帧,存放方法的出入口,局部变量表和操.
万字长文！深入详解Java垃圾回收（GC）机制
weixin_57907028的博客
08-23 341
一、为什么需要垃圾回收 如果不进行垃圾回收，内存迟早都会被消耗空，因为我们在不断的分配内存空间而不进行回收。除非内存无限大，我们可以任性的分配而不回收，但是事实并非如此。所以，垃圾回收是必须的。 二、哪些内存需要回收？ 哪些内存需要回收是垃圾回收机制第一个要考虑的问题，所谓“要回收的垃圾”无非就是那些不可能再被任何途径使用的对象。那么如何找到这些对象？ 1、引用计数法 这个算法的实现是，给对象中添加一个引用计数器，每当一个地方引用这个对象时，计数器值+1；当引用失效时，计数器值-1。任何时刻计数值为0的对象
万字长文！不为人所知的分布式锁实现全都在这里了
东升的思考
01-06 2413
1、引入业务场景 2、分布式锁家族成员介绍 3、分布式锁成员实现原理剖析 4、最后的总结 2019 已经过去！ 2020 已经到站！ ---- 1、引入业务场景 首先来由一个场景引入： 最近老板接了一个大单子，允许在某终端设备安装我们的APP，终端设备厂商日活起码得几十万到百万级别，这个APP也是近期产品根据市场竞品分析设计出来的，几个小码农通宵达旦开发出来的，主要功能是在线购物一站式服...
操作系统内存管理
热门推荐
菜鸟的自留地-mooyang
04-24 1万+
物理内存 Linux为了有效使用机器中的物理内存，在系统初始化阶段内存被划分成几个功能区域： 其中，Linux内核程序占据在物理内存的开始部分，接下来是供硬盘等块设备使用的高速缓冲区部分（其中要扣除显卡内存和ROM BIOS所占用的内存地址范围） 当一个进程需要读取块设备中的数据时，系统会首先把数据读到高速缓冲区中。当有数据需要写到块设备上去时，系统也是先将数据放
操作系统的内存管理
qq_40813329的博客
11-17 2996
操作系统内存管理：总的来说，操作系统内存管理包括物理内存管理和虚拟内存管理 物理内存管理： 包括程序装入等概念、交换技术、连续分配管理方式和非连续分配管理方式（分页、分段、段页式） 虚拟内存管理： 虚拟内存管理包括虚拟内存概念、请求分页管理方式、页面置换算法、页面分配策略、工作集和抖动。 一、 计算机的存储体系 内存是计算机很重要的一个资源，因为程序只有被加载到内存中才可以运行；此外，CPU所需要的指令与数据也都是来自内存的。可以说，内存是影响计算机性能的一个很重要的因素 分层存储器体系 在介绍内存管理的细
操作系统-内存管理
Pinker_Q
08-28 405
内存管理 操作系统的内存管理主要负责内存的分配与回收（malloc 函数：申请内存，free 函数：释放内存），另外地址转换也就是将逻辑地址转换成相应的物理地址等功能也是操作系统内存管理做的事情。   内存管理机制 简单分为连续分配管理方式和非连续分配管理方式这两种。连续分配管理方式是指为一个用户程序分配一个连续的内存空间，常见的如 块式管理 。同样地，非连续分配管理方式允许一个程序使用的内存分布在离散或者说不相邻的内存中，常见的如页式管理 和 段式管理。 连续分配管理方式 块式管理 ： 将
编写程序实现两个超长正整数(每个最长80位数字)的加法运算。_万字长文！位运算面试看这篇就够了！...
06-01
好的，这是一个比较复杂的问题，需要用到字符串的操作和进位等知识。以下是一个简单的实现示例： ```python def add_long_integers(num1, num2): # 将两个数字用字符串的形式存储，并且将其逆序，方便从个位开始相加 num1 = num1[::-1] num2 = num2[::-1] result = [] carry = 0 # 进位 # 从个位开始逐位相加 for i in range(max(len(num1), len(num2))): digit1 = int(num1[i]) if i < len(num1) else 0 # 如果长度不足，补0 digit2 = int(num2[i]) if i < len(num2) else 0 # 如果长度不足，补0 sum_digit = digit1 + digit2 + carry # 相加 result.append(str(sum_digit % 10)) # 取个位，存储到结果中 carry = sum_digit // 10 # 计算进位 # 如果还有进位，加上去 if carry: result.append(str(carry)) # 将结果逆序，并且转为字符串 return ''.join(result[::-1]) ``` 使用方法： ```python num1 = "123456789012345678901234567890123456789012345678901234567890" num2 = "987654321098765432109876543210987654321098765432109876543210" result = add_long_integers(num1, num2) print(result) # 1111111111111111111111111111111111111111111111111111111111110 ``` 这里的 `add_long_integers` 函数可以处理两个最长80位数字的加法运算。如果其中一个数字比另一个数字长，则会在短的数字前面补0。需要注意的是，这个函数只能处理正整数的加法，如果需要处理负数或小数等其他类型的数值，需要进行相应的修改。
评论 5
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值