DETECTION OF DEADLOCKS IN PARALLEL PROGRAMS AS SOLUTION OF LINEAR DIOPHANTINE EQUATIONS
Abstract
The method of detecting deadlocks in the distributed systems at the design stage of the system is considered. The system is presented in the form of a model through the formal specification by means of Petri nets.
About the Author
Olga F. Babakhyan
Rostov Scientific Research Institute for Radiocommunication
Russian Federation
Russian Federation
References
1. Piterson Dzh. Teoriya setej Petri i modelirovanie sistem : per. s angl. / Dzh. Piterson. – M.: Mir, 1984. – 264 s. – In Russian.
2. Kotov V.E. Seti Petri / V. E. Kotov. – M.: Nauka, 1984. – 160 s. – In Russian.
3. Krivoi S. A criteria of Compatibility Systems of Linear Diophantine Constraints / S. Krivoi // Lecture Notes in Comp. Science. – 2002. – #2328. – P.264-271.
Review
For citations:
Babakhyan O.F. DETECTION OF DEADLOCKS IN PARALLEL PROGRAMS AS SOLUTION OF LINEAR DIOPHANTINE EQUATIONS. Vestnik of Don State Technical University. 2011;11(7):1046-1050. (In Russ.)
Views:
323
Email this article 