科研之友
微信
新浪微博
Facebook
分享链接
摘要
本发明公开了一种基于形式化规范的服务总线微内核框架设计方法,首先对自然语言规范进行形式化描述,并利用霍尔逻辑抽象进程间通信原语的形式化规范；然后基于形式化描述开发设计框架；在该微内核框架中定义事件服务总线,事件服务总线直接接收通过进程间通信原语陷入内核的事件,并根据获取的数据决定是切换到网络服务代理还是本地服务处理；事件服务总线根据服务号查找对应系统服务,并调用系统服务完成相应功能；系统服务直接与硬件交互,并返回结果；普通硬件设备产生的硬件中断由事件服务总线处理,智能硬件设备由自带的控制器处理中断,并调用中断服务子例程完成服务。该框架以事件驱动服务总线为中心完成微内核的设计。
- 单位
