HISTORY OF MATHEMATICS AND APPLICATIONS
Simulation of computer systems with FIFO-discipline interrupt handling
E. V. Larkina, A. N. Privalovb
a Tula State University (Tula)
b Tula State Lev Tolstoy Pedagogical University (Tula)
The FIFO (First In First Out) discipline of interrupt processing is widely used in Von Neumann type computers of informational and digital control systems. The goal of implementing such modes of operation — optimization time to data access — is achievable only when there is an adequate model, which describes data processing in the system. The analytical model is worked out with use the fundamental mathematical apparatus of Petri–Markov nets. The initial Petri–Markov model is divided into hierarchical levels in accordance with the number of interrupts in queue for processing. It is shown, that from the current level it is possible to switch both to the previous and to the next interrupt. Dependencies for determine the time of residence on the current level, and the probabilities of switching to conjugate levels are obtained. The method of Petri–Markov model transformation into the semi-Markov process is proposed. It is shown, that semi-Markov process obtained has the binary tree structure. Dependences for determining the time and probabilistic characteristics of wandering through a binary tree, are obtained.
FIFO discipline, interruption, time characteristics, Petri–Markov net, semi-Markov process, “competition”, binary tree.
PDF file (708 kB)
E. V. Larkin, A. N. Privalov, “Simulation of computer systems with FIFO-discipline interrupt handling”, Chebyshevskii Sb., 20:2 (2019), 499–511
Citation in format AMSBIB
\by E.~V.~Larkin, A.~N.~Privalov
\paper Simulation of computer systems with FIFO-discipline interrupt handling
\jour Chebyshevskii Sb.
Citing articles on Google Scholar:
Related articles on Google Scholar:
|Number of views:|