Model of Interruptions in Swarm Unit

  • Eugene LarkinEmail author
  • Alexey Ivutin
  • Anna Troshina
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10385)


Time characteristics of algorithm interpretation by Von-Neumann computers are investigated. With use of semi-Markov process fundamental apparatus the analytical model of program runtime evaluation is worked out. It is shown that external interruptions are the result of functioning of independent random process, which develops in parallel with algorithm interpretation. For description of interaction of main program, interruption generator and interruption handler apparatus of Petri-Markov nets is used. Basic structural-parametric model of computer functioning in the presence of interruptions is worked out. It is shown that in common case Petri-Markov model is an infinite one. The recursive procedure of wandering through Petri-Markov net for case under investigation is worked out. It is shown that process of wandering through the net is not quite semi-Markov one. The method of transformation of Petri-Markov model onto strictly semi-Markov process is proposed.


Von-Neumann computer Interruption Runtime Semi-Markov process Petri-Markov model Wandering 


  1. 1.
    Bouchhima, A., Yoo, S., Jeraya, A.: Fast and accurate timed execution of high level embedded software using HW/SW interface simulation model. In: Proceedings of the 2004 Asia and South Pacific Design Automation Conference, pp. 469–474. IEEE Press (2004)Google Scholar
  2. 2.
    Cleaveland, R., Smolka, S.A.: Strategic directions in concurrency research. ACM Comput. Surv. (CSUR) 28(4), 607–625 (1996)CrossRefGoogle Scholar
  3. 3.
    Czerwinski, M., Cutrell, E., Horvitz, E.: Instant messaging and interruption: influence of task type on performance. In: OZCHI 2000 Conference Proceedings, vol. 356, pp. 361–367 (2000)Google Scholar
  4. 4.
    Duda, K.J., Cheriton, D.R.: Borrowed-Virtual-Time (BVT) scheduling: supporting latency-sensitive threads in a general-purpose scheduler. ACM SIGOPS Oper. Syst. Rev. 33(5), 261–276 (1999)CrossRefGoogle Scholar
  5. 5.
    Heymann, M.: Concurrency and discrete event control. IEEE Control Syst. Mag. 10(4), 103–112 (1990)CrossRefGoogle Scholar
  6. 6.
    Ivutin, A., Larkin, E.: Estimation of latency in embedded real-time systems. In: 2014 3rd Mediterranean Conference on Embedded Computing (MECO), pp. 236–239. IEEE (2014)Google Scholar
  7. 7.
    Ivutin, A., Larkin, E., Lutskov, Y.: Evaluation of program controlled objects states. In: 2015 4th Mediterranean Conference on Embedded Computing (MECO), pp. 250–253. IEEE (2015)Google Scholar
  8. 8.
    Ivutin, A.N., Larkin, E.V., Lutskov, Y.I., Novikov, A.S.: Simulation of concurrent process with Petri-Markov nets. Life Sci. J. 11(11), 506–511 (2014)Google Scholar
  9. 9.
    Ivutin, A., Larkin, E.: Simulation of concurrent games. Bulletin of the South Ural state university, series: mathematical modelling. Prog. Comput. Softw. 8(2), 43–54 (2015)zbMATHGoogle Scholar
  10. 10.
    Korolyuk, V., Swishchuk, A.: Semi-Markov Random Evolutions, pp. 59–91. Springer, Heidelberg (1995)CrossRefGoogle Scholar
  11. 11.
    Larkin, E.V., Kotov, V.V., Ivutin, A.N., Privalov, A.N.: Simulation of relay-races. Bull. South Ural State Univ. Ser.: Math. Model. Program. Comput. Softw. 9(4), 117–128 (2016)zbMATHGoogle Scholar
  12. 12.
    Regehr, J., Duongsaa, U.: Preventing interrupt overload. In: ACM SIGPLAN Notices, vol. 40, pp. 50–58. ACM (2005)Google Scholar
  13. 13.
    Squillante, M.S.: Stochastic analysis and optimization of multiserver systems. In: Ardagna, D., Zhang, L. (eds.) Run-time Models for Self-managing Systems and Applications. Autonomic Systems, pp. 1–24. Springer, Heidelberg (2010). doi: 10.1007/978-3-0346-0433-8_1 Google Scholar
  14. 14.
    Valk, R.: Concurrency in communicating object petri nets. In: Agha, G.A., Cindio, F., Rozenberg, G. (eds.) Concurrent Object-Oriented Programming and Petri Nets. LNCS, vol. 2001, pp. 164–195. Springer, Heidelberg (2001). doi: 10.1007/3-540-45397-0_5 CrossRefGoogle Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  1. 1.Tula State UniversityTulaRussia

Personalised recommendations