C++面试总结之操作系统（二）：内存管理

1.伙伴系统 SLAB算法

伙伴系统，其思想是：把内存块分成不同的组(1,2,4,8,16,32....)；分配内存时找到能够满足条件 的最小的块；如果找不到，就找大的块，然后一分为 2，分配一块，留一块；回收时：如果有相邻的同样大小的块，则合并。

Malloc 实现原理：可以基于伙伴系统实现，也可以使用基于链表的实现

• 将所有空闲内存块连成链表，每个节点记录空闲内存块的地址、大小等信息

• 分配内存时，找到大小合适的块，切成两份，一分给用户，一份放回空闲链表 

•free 时，直接把内存块返回链表

解决外部碎片：将能够合并的内存块进行合并

2.什么是缓冲区溢出？有什么危害？其原因是什么？ 

缓冲区溢出是指当计算机向缓冲区填充数据时超出了缓冲区本身的容量，溢出的数据覆盖在合法数据上。 

危害有以下两点：

（1）程序崩溃，导致拒绝额服务

（2）跳转并且执行一段恶意代码

造成缓冲区溢出的主要原因是程序中没有仔细检查用户输入。缓冲区攻击的最终目的就是希望系统能执行这块可读写内存中已经被蓄意设定好的恶意代码。

3.分页和分段有什么区别？

分段：将用户程序地址空间分成若干个大小不等的段，每段可以定义一组相对完整的逻辑信息。存储分配时，以段为单位，段与段在内存中可以不相邻接，也实现了离散分配。

分页：用户程序的地址空间被划分成若干固定大小的区域，称为“页”，相应地，内存空间分成若干个物理块，页和块的大小相等。可将用户程序的任一页放在内存的任一块中，实现了离散分配。

(1)页是信息的物理单位,分页是为了实现非连续分配,以便解决内存碎片问题,或者说分页是由于系统管理的需要。段是信息的逻辑单位,它含有一组意义相对完整的信息,分段的目的是为了更好地实现存储保护和信息的共享，满足用户的需要。

(2)页的大小固定,由系统确定,将逻辑地址划分为页号和页内地址是由机器硬件实现的.而段的长度却不固定,决定于用户所编写的程序,通常由编译程序在对源程序进行编译时根据信息的性质来划分.

(3)分页的作业地址空间是一维的.分段的地址空间是二维的.