-
公开(公告)号：CN111949596A
公开(公告)日：2020-11-17
申请号：CN202010778265.X
申请日：2020-08-05
Applicant: 上海交通大学
IPC: G06F15/163 , G06F21/52
Abstract: 本发明提供了一种基于MPK技术的微内核模块间通讯方法、系统及介质，包括：基于MPK技术的执行域步骤：通过MPK技术控制内存域的读写权限，执行域之间资源与状态互相隔离；内核模块间通讯的关卡函数步骤：关卡函数通过WRPKRU指令修改当前时刻对内存域的读写权限，进行执行域的切换；在被请求服务的内核模块所属的执行域中，在关卡函数中以函数调用的形式请求该内核模块的服务。本发明有效的降低了微内核的IPC性能开销，并通过MPK技术保证了应用该发明的微内核具有和传统微内核相同的安全性保证。
Search Results
1
records
(took 0.013 seconds)
筛选
AND
AND
过滤
NOT
NOT
Scan to Join
