A Design Method of Service Bus Microkernel Framework Based on Formal Specification

Abstract

The invention discloses a service bus micro-kernel framework design method based on formal specification. First, the natural language specification is formally described, and the formal specification of the inter-process communication primitive is abstracted by using Hall logic; then based on the formal description Development and design framework; define an event service bus in the microkernel framework, the event service bus directly receives events trapped in the kernel through inter-process communication primitives, and decides whether to switch to network service proxy or local service processing according to the acquired data; event service The bus searches for the corresponding system service according to the service number, and calls the system service to complete the corresponding function; the system service directly interacts with the hardware and returns the result; the hardware interrupt generated by the ordinary hardware device is handled by the event service bus, and the intelligent hardware device is provided by its own controller. Handle the interrupt and call the interrupt service subroutine to complete the service. The framework completes the design of the microkernel with the event-driven service bus as the center.

Description

technical field [0001] The invention relates to the technical field of operating system microkernels, in particular to a design method of a service bus microkernel framework based on formal specifications. Background technique [0002] The system framework design of the operating system plays a crucial role in the performance of a computer system. For the open problem of the system framework design of the operating system, there are currently two main types of system framework designs: macro-kernel framework design and micro-kernel framework design. Kernel framework design. [0003] The operating system designed by the macro-kernel framework takes the main system functions of the operating system as a closely related whole to run in the kernel mode of the system. Improve overall system performance. With the increase of operating system functions and the complexity of the interface form, the system code of the macro-kernel framework is becoming more and more difficult to ma...

AI Technical Summary

Problems solved by technology

[0004] When designing and developing the microkernel framework, it is necessary to consider many aspects such as the security of the kernel and the system. At present, the common design specification documents are described by natural language, and the specification described by natural language will produce inevitable ambiguity. , which may mislead developers during the implementation process, thereby affecting the security and correctness of the system

Images