基于MPK技术的微内核模块间通讯方法、系统及介质

发明专利有效专利

申请号：
CN202010778265.X
IPC分类号：G06F15/163;G06F21/52
申请日期：
2020-08-05
申请人：
上海交通大学

基础信息

权利要求

说明书

PDF全文

法律信息

引证文献

著录项信息

专利名称	基于MPK技术的微内核模块间通讯方法、系统及介质
申请号	CN202010778265.X	申请日期	2020-08-05
法律状态	实质审查	申报国家	暂无
公开/公告日	2020-11-17	公开/公告号	CN111949596A
优先权	暂无	优先权号	暂无
主分类号	G06F15/163 ? IPC结构图谱： G 物理 G0 仪器 G06 计算；推算；计数 G06F 电数字数据处理（基于特定计算模型的计算机系统入G06N） G06F15/00 通用数字计算机（零部件入G06F 1/00至G06F 13/00组）；通用数据处理设备 G06F15/16 两个或多个数字计算机的组合，每台计算机至少具有一个运算单元、一个程序单元和一个寄存器，例如，用于数个程序的同时处理〔1，2006.01〕 G06F15/163 处理器之间的通讯〔6〕	IPC分类号	G;0;6;F;1;5;/;1;6;3;;;G;0;6;F;2;1;/;5;2查看分类表>
申请人	上海交通大学	申请人地址	上海市闵行区东川路800号变更专利地址、主体等相关变化，请及时变更，防止失效
权利人	上海交通大学	当前权利人	上海交通大学
发明人	吴新月;古金宇;夏虞斌;陈海波;臧斌宇
代理机构	上海汉声知识产权代理有限公司	代理人	暂无

摘要

本发明提供了一种基于MPK技术的微内核模块间通讯方法、系统及介质，包括基于MPK技术的执行域步骤通过MPK技术控制内存域的读写权限，执行域之间资源与状态互相隔离；内核模块间通讯的关卡函数步骤关卡函数通过WRPKRU指令修改当前时刻对内存域的读写权限，进行执行域的切换；在被请求服务的内核模块所属的执行域中，在关卡函数中以函数调用的形式请求该内核模块的服务。本发明有效的降低了微内核的IPC性能开销，并通过MPK技术保证了应用该发明的微内核具有和传统微内核相同的安全性保证。

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有引用任何外部专利数据！

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有被任何外部专利所引用！

我浏览过的专利

专利服务由北京酷爱智慧知识产权代理公司提供