实验五 动态分区存储管理模拟

《实验五 动态分区存储管理模拟》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、实验五动态分区存储管理模拟一、实验目的深入了解可变分区存储管理方式主存分配回收的实现。二、实验预备知识可变分区存储管理方式不预先将主存划分成几个区域，而把主存除操作系统占用区域外的空间看作一个大的空闲区。当进程要求装入主存时，根据进程需要主存空间的大小查询主存内各个空闲区，当从主存空间找到一个大于或等于该进程大小要求的主存空闲区时，选择其中一个空闲区，按进程需求量划出一个分区装入该进程。进程执行完后，它所占的主存分区被回收，成为一个空闲区。如果该空闲区的相邻分区也是空闲区，则需要将相邻空闲区合并成一个空闲区。这个实验主要需要考虑三个问题：(1)设计记

2、录主存使用情况的数据表格，用来记录空闲区和进程占用的区域；(2)在设计的数据表格基础上设计主存分配算法；(3)在设计的数据表格基础上设计主存回收算法。首先，考虑第一个问题：设计记录主存使用情况的数据表格，用来记录空闲区和进程占用的区域。由于可变分区的大小是由进程需求量决定的，故分区的长度是预先不固定的，且分区的个数也随主存分配和回收而变动。总之，所有分区情况随时可能发生变化，数据表格的设计必须和这个特点相适应。由于分区长度不同，因此设计的表格应该包括分区在主存中的起始地址和长度。由于分配时空闲区有时会变成两个分区：空闲区和已分分区，回收主存分区时，可

3、能会合并空闲分区，这样如果整个主存采用一张表格记录已分分区和空闲区，就会使表格操作繁琐。主存分配时查找空闲区进行分配，然后填写已分分区表，主要操作在空闲区；某个进程执行完成后，将该分区变成空闲区，并将其与相邻空闲区合并，主要操作也在空闲区。由此可见，主存分配和回收主要是对空闲区的操作。这样，为了便于对主存空间的分配和回收，就建立两张分区表记录主存使用情况，一张表格记录进程占用分区的“已分分区表”；一张是记录空闲区的“空闲区表”。这两张表的实现方法一般有两种，一种是链表形式，一种是顺序表形式。在实验中，采用顺序表形式，用数组模拟。由于顺序表的长度必须提

4、前固定，所以无论是“已分分区表”还是“空闲区表”都必须事先确定长度。它们的长度必须是系统可能的最大项数，系统运行过程中才不会出错，因而在多数情况下，无论是“已分分区表”还是“空闲区表”都有空闲栏目。已分分区表中除了分区起始地址、长度外，也至少还要有一项“标志”，如果是空闲栏目，内容为“空”，如果为某个进程占用分区的登记项，内容为该进程的进程名；空闲区表中除了分区起始地址、长度外，也要有一项“标志”，如果是空闲栏目，内容为“空”，如果为某个空闲区的登记项，内容为“未分配”。在实际系统中，这两个表格的内容可能还要更多，实验中仅仅使用上述必须的数据。为此，

5、“已分分区表”和“空闲区表”在实验中有如下的结构定义：已分分区表的定义：#definen10//假定系统允许的进程数量最多为nstruct{floataddress;//已分分区起始地址floatlength;//已分分区长度，单位为字节intflag;//已分分区表登记栏标志，“0”表示空栏目，实验中只支持一个字符的进程名}used_table[n];//已分分区表空闲区表的定义：#definem10//假定系统允许的空闲区数量最多为mstruct{floataddress;//空闲区起始地址floatlength;//空闲区长度，单位为字节int

6、flag;//空闲区表登记栏标志，“0”表示空栏目，用“1”表示未分配}free_table[m];//空闲区表其中分区起始地址和长度数值太大，超出了整型的表达范围，所以采用了float类型。然后，就要考虑如何在设计的数据表格上进行主存的分配。当要装入一个进程时，从空闲区表中查找标志为“未分配”的空闲区，从中找到一个能容纳该进程的空闲区。如果找到的空闲区正好等于该进程的长度，则把该分区全部分配给进程。这时应该把该空闲区登记栏中的标志改为“空”，同时在已分分区表中找到一个标志为“空”的栏目登记新装入进程所占用分区的起始地址、长度和进程名。如果找到的空闲

7、区大于进程长度，则把空闲区分成两部分，一部分用来装入进程，另外一部分仍为空闲区。这时只要修改元空闲区的长度，且把新装入的进程登记到已分分区表中。实验示例程序中主存分配算法采用最佳适应算法。最佳适应算法是按进程要求挑选一个能满足进程要求的最小空闲区，这样保证可以不去分割一个大的区域，使装入大进程时比较容易得到满足。但是最佳适应算法容易出现找到的一个分区可能只比进程所要求的长度略大一点的情况，这时，空闲区分割后剩下的空闲区就很小，这种很小的空闲区往往无法使用，影响了主存的使用。为了一定程度上解决这个问题，如果空闲区的大小比进程要求的长度略大一点，不再将空

8、闲区分成空闲区和已分分区两部分，而是将整个空闲区分配给进程。在实现最佳适应算法时，可把空闲区按长度以递增方式