A service bus microkernel framework design method based on formal specifications

Abstract

The invention discloses a formal specification-based service bus microkernel framework design method, which comprises the following steps of: firstly, carrying out formal description on natural language specifications, and abstracting formal specifications of communication primitives among processes by utilizing Hall logic; then developing a design framework based on formalized description; defining an event service bus in the micro-kernel framework, directly receiving an event that falls into the kernel through the inter-process communication primitive by the event service bus, and determining whether to switch to a network service agent or a local service for processing according to the acquired data; enabling The event service bus to search the corresponding system service according tothe service number and call the system service to complete corresponding functions; enabling the system service to directly interact with the hardware, and return a result; processing Hardware interruption generated by the common hardware equipment by the event service bus, processing interruption of the intelligent hardware equipment by a built-in controller, and calling an interruption service subroutine to complete service. The framework completes the design of the micro-kernel by taking an event-driven service bus as a center.

Description

technical field [0001] The invention relates to the technical field of operating system microkernels, in particular to a design method for a service bus microkernel framework based on formal specifications. Background technique [0002] The system framework design of the operating system plays a vital role in the performance of a computer system. As 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 runs the main system functions of the operating system as a closely related whole in the kernel state of the system. Improve overall system performance. With the increase of operating system functions and the complexity of interface forms, the system code of the macro-kernel framework is becoming more and more difficult to maintain, ...

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