Engineering Journal: Science and InnovationELECTRONIC SCIENCE AND ENGINEERING PUBLICATION
Certificate of Registration Media number Эл #ФС77-53688 of 17 April 2013. ISSN 2308-6033. DOI 10.18698/2308-6033
  • Русский
  • Английский
Article

Detection of puffins on mutexes in multithreaded applications

Published: 15.10.2013

Authors: Belous V.S., Krishchenko V.A., Ryazanova N.Yu.

Published in issue: #6(18)/2013

DOI: 10.18698/2308-6033-2013-6-771

Category: Information technology

The article is devoted to developing a method of detecting deadlocks when using mutexes in applications that are implemented by the POSIX standard. In the framework of the deadlock theory is analyzed and implemented a way to get information about blocked on mutexes processes. It is shown that the detection of closed circuit block processes corresponds to the detection loop in the general bipartite resource graph. Mechanism of inclusion in the core assets hook the kernel function, which manages the capture and release offlows on mutexes is describer. Algorithm of deadlock detection on the basis of received information is presented.