Применение сетей Петри для диагностирования проблем синхронизации в вычислительных системах с общей памятью
Автор: Бабичев Сергей Леонидович, Коньков Константин Алексеевич, Коньков Александр Константинович
Журнал: Труды Московского физико-технического института @trudy-mipt
Рубрика: Математика, информатика, управление, экономика
Статья в выпуске: 2 (14) т.4, 2012 года.
Бесплатный доступ
Рассматриваются аспекты, связанные с применением сетей Петри для обнаружения проблем синхронизации в параллельных программах, использующих общую память. Приводятся схемы преобразования основных примитивов синхронизации в модель сети Петри, рассматриваются механизм сифонов для определения активности сети Петри, а также сведение решения задачи об отсутствии тупиков в сети Петри в задачу мате- матического программирования.
Параллельное программирование, сети петри, примитивы син- хронизации, отсутствие тупиков, математическое программирование
Короткий адрес: https://sciup.org/142185834
IDR: 142185834
Список литературы Применение сетей Петри для диагностирования проблем синхронизации в вычислительных системах с общей памятью
- Питерсон Дж. Теория сетей Петри и моделирование систем. -М.: Мир, 1984. -264 с.
- Murata Tadao Petri Nets: Properties, Analysis and Applications//Proceedings of the IEEE. -1989. -V. 77, N 4.
- Vallejo F., Gregorio J.A., Gonzalez Harbour M., Drake J.M. Shared Memory Multiprocessor operating System with an Extended Petri Net Model//IEEE transactions on parallel and distributing systems. -1994. -V. 5, N 7, July.
- Feng Chu and Xiao-lan Xie Deadlock Analysis of Petri Nets Using Siphons and Mathematical Programming,//IEEE Transactions of Robotics and Automation. 1997. -V. 13, N. 6, December.
- Govindarajan F., Suciu W.M., Zuberek Timed Petri NetModels of Multithreaded Multiprocessor Architectures//IEEE Preceedings if the 7-th InternationalWorkshop on Petri Nets and Performance Models. -Saint Malo, June, 1997.
- Takaoka Tadao A Systematic Approach to Parallel Verification//Department of Computer Science of Ibaraki University, August, 1995.
- Pommereua F. Petri Nets as Executable Specifications of High-Level Timed Parallel Systems. -2005.
- Bruce P. Lester Detection of Control Flow Errors in parallel Programs at Compile Time//International Journal of Distributed and parallel Systems (IJDPS). -2010. -V. 1, N 2, November.
- Padidar S. Parallel Program verification: A Brief Introduction, January, 2010.
- Kavi K.M., Moshtaghi A., Deng-Jyi Chen Modeling Multithreaded application using Petri nets,//International Journal of Parallel Programming. -2002. -V. 30, Iss 5. -P. 1-23, October.
- Kavi K.M., Bukhles P.B., Bhat U.N. Isomorphism Between Petri net and Dataflow Graphs//IEEE Transactions on Software Engineering. -1987. -V. SE-13, N 10.
- Minoux M. Programmation Mathematique: Theorie and Algorithms. -Dunod, Paris, France, 1983.
- Бабичев С.Л., Коньков А.К., Коньков К.А. Дополнительная защита ресурсов операционной системы методом криптографической защиты данных//Сб. науч. трудов. Моделирование процессов обработки информации. -М.: МФТИ, 2007. -C. 251-259.
