动态异长分区的存储分配与回收算法(30页).doc





《动态异长分区的存储分配与回收算法(30页).doc》由会员分享,可在线阅读,更多相关《动态异长分区的存储分配与回收算法(30页).doc(29页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、-实验5 动态异长分区的存储分配与回收算法5.1 实验目的理解存储管理的功能,掌握动态异长分区的存储分配与回收算法。存储器是计算机系统中的关键资源,存储管理一直是操作系统的最主要功能之一。存储管理既包括内存资源管理,也包括用于实现分级存储体系的外存资源的管理。通常, 内存与外存可采用相同或相似的管理技术,如内存采用段式存储管理,则外存也采用段式存储管理。存储管理需要完成如下功能: 存储分配、存储共享、存储保护、存储扩充、地址映射。当一个作业进入内存时,由操作系统将其变为进程,并为进程分配存储空间。进程运行结束时, 由操作系统将其所占用的存储空间收回。 不同的操作系统对内存空间的划分与分配方法是
2、不同的,通常分为两类:静态等长分区的分配和动态异长分区的分配。静态等长分区常用于页式存储管理方式与段页式存储管理方式,存储空间被静态地划分为若干个长度相等的区域,每个区域被称作一个页面。 动态异长分区常用于界地址存储管理方式与段式存储管理方式,存储空间被动态地划分为若干个长度不等的区域。5.2 实验要求本实验要求模拟动态异长分区的分配算法、回收算法和碎片整理算法。5.3 实验步骤5.3.1 数据结构分析空闲区域首址空闲区域长度addrsize图5-1 空闲区域表为了实现存储资源的分配和回收,操作系统需要记录内存资源使用情况,即哪些区域尚未分配,哪些区域已经分配以及分配给哪些进程等。为此一般需要
3、两个表,一个为分配表, 另外一个为空闲区域表。前者记录已经分配的区域, 后者记录着所有当前未被进程占用的空闲区域, 如图5-1所示。显然, 没有记录于表中的区域即为已被进程所占用的非空闲区域,在实际的操作系统中,这些区域登记在进程的PCB中。而PCB中除了关于内存资源的信息外,还有其它大量信息。由于本实验是对存储管理算法的模拟,所以用一个线程来代表一个进程,用线程驻留区域表来描述线程占用的内存空间,如图5-2所示。线程名称驻留区始址驻留区大小a010b2020图5-2 线程驻留区表同时,需要一张表来记录各个线程对内存的请求信息,如图5-3所示。线程名称请求大小(KB)预计驻留时间( 秒)thr
4、ead_1204thread_2105图5-3 内存申请表5.3.2 算法分析常用的动态异长分区的分配算法有:最先适应算法、最佳适应算法和最坏适应算法。 1. 最先适应算法(First Fit,FF)对于存储申请命令, 选取满足申请长度要求且起始地址最小的空闲区域。在实现时, 可将系统中所有的空闲区域按照起始地址由小到大的次序依次记录于空闲区域表中。当进程申请存储空间时, 系统由表的头部开始查找, 取第一个满足要求的表目。如果该表目所对应的区域长度恰好与所申请的区域长度相同, 则将该区域全部分配给申请者。否则将该区域分割为两部分, 一部分的长度与所申请的长度相同, 将其分配给申请者;另一部分的
5、长度为原长度与分配长度之差, 将其仍记录于空闲区域表中。回收时,按回收区的首地址查询空闲区表,若有与回收区相临的空闲区,则将其合并到相临区中,否则,把回收区按照地址从低到高的顺序插入到空闲区域表的适当位置。 2. 最佳适应算法(Best Fit,BF)分配时取满足申请要求且长度最小的空闲区域。在实现时, 可将系统中所有的空闲区域按照长度由小到大的次序依次记录于空闲区域表中。与最先适应算法相类似, 当进程申请存储空间时, 系统由表的头部开始查找, 取第一个满足要求的表目。如果该表目所对应的区域长度恰好与所申请的区域长度相同, 则将该区域全部分配给申请者。否则将该区域分割为两部分, 一部分的长度与
6、所申请的长度相同, 将其分配给申请者;另一部分即剩余部分的长度为原长度与分配长度之差, 由于剩余部分的长度已经改变,所以应重新将其按长度从小到大的顺序插入到空闲区域表中。回收时,不仅要按回收区的首地址查询空闲区表,找到与回收区相临的空闲区,将其合并到相临区中,而且要把合并后的回收区按照长度递增的顺序插入到空闲区域表的适当位置。 3. 最坏适应算法(Worst Fit,WF)分配时取满足申请要求且长度最大的空闲区域。在实现时, 可将系统中所有的空闲区域按照长度由大到小的次序依次记录于空闲区域表中。当进程申请存储空间时, 取第一个表目。如果该表目所对应的区域长度恰好与所申请的区域长度相同, 则将该
7、区域全部分配给申请者。否则将该区域分割为两部分, 一部分的长度与所申请的长度相同, 将其分配给申请者;另一部分即剩余部分的长度为原长度与分配长度之差, 由于剩余部分的长度已经改变,所以应重新将其按长度递减的顺序插入到空闲区域表中。回收时,不仅要按回收区的首地址查询空闲区表,找到与回收区相临的空闲区,将其合并到相临区中,而且要把合并后的回收区按照长度递减的顺序插入到空闲区域表的适当位置。5.3.3 设计并分析测试数据假设初始内存布局如图5-4,图中的起始地址以及大小都以KB来衡量。起始地址0102040708085145160180占用者abcde大 小1010203010560152020图5
8、-4初始内存布局由图5-4可见,初始时共有五个线程驻留在内存,它们是a,b,c,d,e,线程驻留区表如图5-5;还有五个空闲区,空闲区域表如图5-6。假设现在有三个线程提出内存申请,申请情况见图5-7。经过分析我们得到在每种分配算法下这三个线程所申请到的内存情况。图5-8是最先适应算法分配情况,图5-9是最佳适应算法分配情况,图5-10是最坏适应算法分配情况。空闲区首址空闲区长度101040308051451518020图5- 6 空闲区域表线程名称驻留区始址驻留区大小a010b2020c7010d8560e16020图5-5 线程驻留区表线程名称驻留区始址驻留区大小a010b2020c701
9、0d8560e16020thread_14020thread_21010thread_3605图5-8 最先适应算法线程驻留区表线程名称请求大小(KB)预计驻留时间( 秒)thread_1204thread_2105thread_356图5-7 内存申请表线程名称驻留区始址驻留区大小a010b2020c7010d8560e16020thread_14020thread_218010thread_31455图5-10最坏适应算法线程驻留区表线程名称驻留区始址驻留区大小a010b2020c7010d8560e16020thread_118020thread_21010thread_3805图5-9
10、最佳适应算法线程驻留区表5.3.4 程序设计程序包含两个文件,一个是头文件variable_partition.h,另一个是源程序文件variable_partition.cpp。在头文件中定义了宏、数据结构、全局变量、函数声明,源程序中含有各个函数的实现。在头文件中,结构体FREEAREA、REQUIRE_MEMORY、THREAD_RESIDENCE_MEMORY分别对应于图5-1、图5-2、图5-3中的一行,不同之处是为了构成链表在三个结构体中都有前向指针。数组init_free_area_table对应于图5-6,数组init_thread_require_memory_table对应
11、于图5-5,数组init_thread_residence_memory_table对应于图5-7,为了实现动态分配与释放,用链表重新组织空闲区域表、线程驻留区表和内存申请表,全局变量p_free_area_list是空闲区链首,p_thread_require_memory_queue是内存申请队列的队首,p_thread_residence_memory_list是线程驻留区链首,tail_thread_residence_memory_list是线程驻留区链尾,由于线程驻留区链表被内存分配函数和内存释放函数共享,故用临界区变量CS_THREAD_MEMORY_LIST来保护,同理,屏幕是
12、所有线程共享的,所以用临界区变量CS_SCREEN来保护,空闲区链表被内存分配函数和内存释放函数共享,故用临界区变量CS_FREEAREA_LIST来保护。h_thread是线程句柄数组,用来存放各个线程的句柄。程序共包含25个函数,按照作用可以将它们分成五组。第一组是主函数main(),其作用是显示主菜单并根据用户的选择执行相应功能;第二组包括函数print_space()和函数display_thread_residence_memory(),前者用来显示若干个空格,后者用来显示线程驻留区表;第三组共十个函数,用来实现最先适应分配法,它们的名称及功能如图5-11。函数名称函数功能FF_in
13、itialize_freearea_list初始化空闲区链表:按地址从低到高排序FF_delete_freearea_list删除空闲区链表FF_initialize_require_memory_list初始化内存申请链表FF_delete_require_memory_list删除内存申请链表FF_initialize_thread_residence_memory_list初始化线程驻留区链表FF_delete_thread_residence_memory_list删除线程驻留区链表FF_thread线程函数:申请内存;驻留内存;释放内存FF_require_memory内存申请函数F
14、F_release_memory内存释放函数FF()初始化函数:创建线程并等待它们结束图5-11 最先适应分配法的函数及其功能第四组共六个函数,用来实现最佳适应分配法,它们的名称及功能如图5-12。函数名称函数功能BF_initialize_freearea_list初始化空闲区链表:按长度递增排序BF_thread线程函数:申请内存;驻留内存;释放内存BF_require_memory申请一段内存,成功时返回起始地址,失败时返回空BF_release_memory释放一段内存BF_insert_freearea将空闲区按大小递增的次序插入到空闲区链表中BF()初始化函数:创建线程并等待它们结
15、束图5-12 最佳适应分配法的函数及其功能第五组共六个函数,用来实现最坏适应分配法,它们的名称及功能如图5-13。函数名称函数功能WF_initialize_freearea_list初始化空闲区链表:按长度递减排序WF_thread线程函数:申请内存;驻留内存;释放内存WF_require_memory申请一段内存,成功时返回起始地址,失败时返回空WF_release_memory释放一段内存WF_insert_freearea将空闲区按大小递减的次序插入到空闲区链表中WF()初始化函数:创建线程并等待它们结束图5-13 最坏适应分配法的函数及其功能5.3.5 参考源代码5.3.5.1 wi
16、ndows下的参考源程序下面是完整的程序清单。头文件 variable_partition.h 的清单#include #include #include #include #include #include #define MAX_THREAD 3#define BF_initialize_require_memory_list FF_initialize_require_memory_list#define WF_initialize_require_memory_list FF_initialize_require_memory_list#define BF_initialize_thr
17、ead_residence_memory_list FF_initialize_thread_residence_memory_list#define WF_initialize_thread_residence_memory_list FF_initialize_thread_residence_memory_list#define WF_delete_freearea_list FF_delete_freearea_list#define BF_delete_freearea_list FF_delete_freearea_list#define WF_delete_require_mem
18、ory_list FF_delete_require_memory_list#define BF_delete_require_memory_list FF_delete_require_memory_list#define WF_delete_thread_residence_memory_list FF_delete_thread_residence_memory_list#define BF_delete_thread_residence_memory_list FF_delete_thread_residence_memory_listtypedef struct freearea /
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 动态 分区 存储 分配 回收 算法 30

限制150内