Detection of puffins on mutexes in multithreaded applications
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.