【技术实现步骤摘要】
本专利技术属于微内核,更为具体地讲,涉及一种微内核架构操作系统内存管理方法。
技术介绍
1、内存管理是操作系统中负责管理计算机硬件内存资源的一部分,微内核架构将操作系统中的基础功能如内存管理、进程调度、设备管理等从内核态拿到用户态执行,可以有效的提升操作系统的安全性。
2、现有技术中,基于权能的控制访问模型,权能模型对许多程序概念做了抽象如:线程(tcb)、地址空间(address space)和进程间通信(ipc buffer)等。每一种抽象都对应一个内核对象,每一个内核对象都一个或多个与之相关的操作。授权的用户可以通过内核对象行使相应的权力。授权的过程是通过权能机制(capability)实现的。权能是一个不可伪造的令牌,它唯一地标识了一个内核对象(如线程控制块tcb),权能还具有访问权限信息,这些信息中包含哪些方法可以被访问。权能存放在内核对象cnode中,cnode是一个存放权能的数组,由于cnode本身也是一个权能对象所以cnode的访问属性由cnode对象自身控制,这样可以有效的防止用户随意的更改内核对象。多个c
...【技术保护点】
1.一种微内核架构操作系统内存管理方法,其特征在于,包括以下步骤:
2.根据权利要求1所述的微内核架构操作系统内存管理方法,其特征在于,所述步骤S2中程元数据管理模块mspace采用的是K&R malloc的管理方法,具体方法为:有外部线程通过元数据申请接口alloc申请空间时,使用首次适应算法即遍历freep链表找到第一个合适的空间,如果freep链表中没有任何空间或空间不足,则空间申请会触发more_core()回调函数从固定池fixed_pool中申请相应的大小添加到freep链表中,如果空间大于申请大小则将其分裂成两部分,剩余的部分插入fr
...【技术特征摘要】
1.一种微内核架构操作系统内存管理方法,其特征在于,包括以下步骤:
2.根据权利要求1所述的微内核架构操作系统内存管理方法,其特征在于,所述步骤s2中程元数据管理模块mspace采用的是k&r malloc的管理方法,具体方法为:有外部线程通过元数据申请接口alloc申请空间时,使用首次适应算法即遍历freep链表找到第一个合适的空间,如果freep链表中没有任何空间或空间不足,则空间申请会触发more_core()回调函数...
【专利技术属性】
技术研发人员:肖堃,陈灵,李蒙,罗蕾,陈丽蓉,
申请(专利权)人:电子科技大学,
类型:发明
国别省市:
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。