Подробное описание документа

Можаров Г. П., Парфилов И. В.
   Подход к поиску взаимных блокировок в многопоточном программном обеспечении с помощью верификатора SPIN / Можаров Г. П., Парфилов И. В. - DOI 10.18698/2308-6033-2012-11-481 // Инженерный журнал: наука и инновации. - 2012. - № 11. - П.Н. 7.

Скачать документ

Полнотекстовый документ

DOI 10.18698/2308-6033-2012-11-481

https://doi.org/10.18698/2308-6033-2012-…

engjournal.bmstu.ru/catalog/it/network/481.html

https://engjournal.bmstu.ru/catalog/it/n…

Рассмотрена задача поиска потенциальных взаимных блокировок в многопоточном программном обеспечении. Предложен подход к выявлению потенциальных взаимных блокировок в многопоточных программных комплексах на основе метода Model Checking. Описано, каким образом основные примитивы синхронизации могут быть представлены на входном языке верификатора SPIN. Приведен пример моделирования и выявления взаимной блокировки в многопоточной программе.