Radiotekhnika
Publishing house Radiotekhnika

"Publishing house Radiotekhnika":
scientific and technical literature.
Books and journals of publishing houses: IPRZHR, RS-PRESS, SCIENCE-PRESS


Тел.: +7 (495) 625-9241

 

Monitoring of access to mutual resources for multi-task software applications

Keywords:

V. V. Nikiforov – Dr.Sc. (Eng.), Professor, Leading Research Scientist, St. Petersburg Institute for Informatics and Automation of the Russian Academy of Sciences (SPIIRAS). E-mail: nik@iias.spb.ru


The order of access to mutual resources in multi-task systems shall guarantee impossibility of task deadlocks. The necessary condition of deadlocks is the presence of intersected critical intervals for access to mutual resources. That is why the special protocols for access to mutual resources are used for implementation of software applications with intersected critical intervals — the protocols, which prevent the possibility of deadlocks. The known protocols of such kind shall be used with scheduling modes with static priorities, more efficient scheduling modes can’t co-exist with these protocols. However, the presence of intersected critical intervals is only necessary, but not sufficient for possibility of deadlock occurrence, i.e. the use of special protocol may be idle. The paper suggests a criteria, that permits to check the necessity of special protocol usage; the checking is performed by static analysis of the task interactions structure. If the analysis shows, that the special protocol is not needed, than the system may be work with any efficient scheduling mode.
References:

  1. Nikiforov V.V., Pavlov V.A. Strukturnye modeli dlya analiza mnogozadachnykh programmnykh sistem // Informatsionno-izmeritel'nye i upravlyayushchie sistemy. 2011. № 9. S. 19–29.
  2. Baker T. Multiprocessors EDF and Deadline Monotonic Schedulability Analysis // In Proceedings of 24 IEEE Real-Time Systems Symposium. 2003. R. 120-129.
  3. Nikiforov V.V. Vypolnimost' prilozheniy real'nogo vremeni na mnogoyadernykh protsessorakh // Trudy SPIIRAN. 2009. Vyp. 8. S. 255-284.
  4. Davis R.I., Burns A. FPZL Schedulability Analysis // 17th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'11). 2011. R. 245–256.
  5. Nikiforov V.V., Shkirtil' V.I. Marshrutnye seti ( graficheskiy formalizm predstavleniya struktury programmnykh prilozheniy real'nogo vremeni // Trudy SPIIRAN. 2013. Vyp. 2(14). S. 7-28.
  6. Nikiforov V.V., Danilov M.V. Staticheskaya obrabotka spetsifikatsiy programmnykh sistem real'nogo vremeni // Programmnye produkty i sistemy. 2000. № 4. S. 13-19.
  7. Nikiforov V.V., Shkirtil' V.I. Tsepnoe blokirovanie vzaimosvyazannykh zadach v sistemakh na mnogoyadernykh protsessorakh // Informatsionno-izmeritel'nye i upravlyayushchie sistemy. 2013. № 9. S. 17–21.

Sept. 2, 2020
Aug. 27, 2020
June 24, 2020

© Издательство «РАДИОТЕХНИКА», 2004-2017            Тел.: (495) 625-9241                   Designed by [SWAP]Studio