|
|
知识路径： > 嵌入式系统软件基础知识 > 嵌入式操作系统基础知识 > 存储管理 > 分区存储管理（固定分区、可变分区、内存保护等） > 分区存储管理 >
|
|
相关知识点：3个
|
|
|
|
|
可变分区的基本思路是：分区不是预先划分好的固定区域，而是动态创建的。在装入一个程序时，系统将根据它的需求和内存空间的使用情况来决定是否分配。具体来说，在系统生成后，操作系统会占用内存的一部分空间，这一般是放在内存地址的最低端，其余的空间则成为一个完整的大空闲区。当一个程序要求装入内存运行时，系统就会从这个空闲区当中划出一块来，分配给它，当程序运行结束后会释放所占用的存储区域。随着一系列的内存分配和回收，原来的一整块的大空闲区就会形成若干个占用区和空闲区相间的布局。
|
|
|
|
下图是一个可变分区的例子。在系统当中，整个内存区域有1024KB。如下图（a）所示，在初始化的时候，操作系统占用了内存地址最低端的128KB。剩下的空间就成为一个完整的大空闲区，总共是896KB。然后，任务1进入了内存，它需要的内存空间是320KB，因此紧挨着操作系统，给它分配了一块大小为320KB的内存，也就是说，创建了一个新的用户分区，该分区的起始地址是128KB，大小是320KB。此时，剩余的内存空间还有576KB，而且还是连续的一整块。接下来，任务2和任务3先后进入内存，它们需要的内存空间分别是224KB和288KB，因此紧挨着任务1，给它们分配了两块内存空间，大小分别是224KB和288KB，也就是说，又创建了两个新的用户分区。此时，在内存中总共有3个任务，连同操作系统，总共占用了960KB的内存空间。因此，在地址空间的最高端，只剩下一小块64KB的空闲区域，如下图（b）所示。接下来，任务2运行结束，系统回收了它所占用的内存分区。然后任务4进入内存，它的大小为128KB，因此就把刚才存放任务2的那个分区，一分为二，一部分用来存放任务4，另一部分是96KB的空闲区。接下来，任务1也运行结束，系统回收了它所占用的分区。因此，内存空间的最后状态如下图（c）所示。从图中可以看出，随着系统不断运行，空闲区就变得越来越小，越来越碎了，它们被分隔在内存的不同位置，形成了占用区和空闲区交错在一起的局面。
|
|
|
|
|
|
|
|
可变分区存储管理的优点是：与固定分区相比，在可变分区当中，分区的个数、位置和大小都是随着任务的进出而动态变化的，非常灵活。当一个任务要进入内存的时候，就在空闲的地方创建一个分区，把它装进来；当任务运行结束后，就把它所占用的内存分区给释放掉。这样，就避免了在固定分区当中由于分区的大小不当所造成的内碎片，从而提高了内存的利用效率。在可变分区的存储管理当中，不会出现内碎片的现象，因为每个分区都是按需分配的，分区的大小正好等于任务的大小，因此不会有内碎片。
|
|
|
|
可变分区存储管理的缺点是：可能会存在外碎片。所谓的外碎片，就是在各个占用的分区之间，难以利用的一些空闲分区，这通常是一些比较小的空闲分区。例如，在上图（c）当中，对于64KB这个空闲区，它只能分配给那些不超过64KB的任务，如果所有的任务都大于64KB的话，那么它就用不上了，变成了一个外碎片。另外，这种可变分区的办法，使得内存的分配、回收和管理变得更加复杂了。
|
|
|
|
在具体实现可变分区存储管理技术的时候，需要考虑三个方面的问题：内存管理的数据结构、内存的分配算法以及内存的回收算法。
|
|
|
|
在内存管理的数据结构上，系统会维护一个分区链表，来跟踪记录每一个内存分区的情况，包括该分区的状态（已分配或空闲）、起始地址、长度等信息。具体来说，对于内存当中的每一个分区，分别建立一个链表结点，记录它的各种管理信息。然后，将这些结点按照地址的递增顺序进行排列，从低到高，从而形成一个分区链表。
|
|
|
|
在内存的分配算法上，当一个新任务来到时，需要为它寻找一个空闲分区，其大小必须大于或等于该任务的要求。若是大于要求，则将该分区分割成两个小分区，其中一个分区为要求的大小并标记为“占用”，另一个分区为余下部分并标记为“空闲”。选择分区的先后次序一般是从内存低端到高端。通常的分区分配算法有：最先匹配法、下次匹配法、最佳匹配法和最坏匹配法。
|
|
|
|
.最先匹配法：假设新任务对内存大小的要求为M，那么从分区链表的首结点开始，将每一个“空闲”结点的长度与M进行比较，看是否大于或等于它，直到找到第一个符合要求的结点。然后把它所对应的空闲分区分割为两个小分区，一个用于装入该任务，另一个仍然空闲。与之相对应，把这个链表结点也一分为二，并修改相应内容。
|
|
|
|
.下次匹配法：与最先匹配法的思路是相似的，只不过每一次当它找到一个合适的结点（分区）时，就把当前的位置记录下来。然后等下一次新任务到来的时候，就从这个位置开始继续往下找（到链表结尾时再回到开头），直到找到符合要求的第一个分区。而不是像最先匹配法那样，每次都是从链表的首结点开始找。
|
|
|
|
.最佳匹配法：将申请内存的任务装入到与其大小最接近的空闲分区当中。算法的最大缺点是分割后剩余的空闲分区将会很小，直至无法使用，从而造成浪费。
|
|
|
|
.最坏匹配法：每次分配时，总是将最大的空闲区切去一部分分配给请求者，其依据是当一个很大的空闲区被切割了一部分后可能仍是一个较大的空闲区，从而避免了空闲区越分越小的问题。这种算法基本不留下小的空闲分区，但较大的空闲分区也不被保留。
|
|
|
|
在内存的回收算法上，当一个任务运行结束并释放它所占用的分区后，如果该分区的左右邻居也是空闲分区，则需要将它们合并为一个大的空闲分区。与此相对应，在分区链表上，也要将相应的链接结点进行合并，并对其内容进行更新。
|
|
|
