Preview

Advanced Engineering Research (Rostov-on-Don)

Advanced search

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


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


Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 License.


ISSN 2687-1653 (Online)