Designing a High-Performance Resource Management Module for Real-Time Multiprocessor Systems

The In this article the author substantiates a hardware approach to designing the kernel of real-time multiprocessor operating systems. The author also provides possible options for architectural solutions, and considers the formal representation of control algorithms for interacting processes operating in parallel computing systems when they access a shared resource. The theory of event-driven non-deterministic automata was used for formalization. There were obtained equations that describe the procedures for the process of entering the critical interval and remaining there, taking into account the accepted discipline of ensuring priority and mutual exclusion of incompatible events. The exit of the process from the critical section, which makes it possible to synthesize the control module was examined as well. Modeling of a device for 4 inputs of requests to a shared resource in the VHDL language was executed, the results of experimental studies were also provided.