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

   Математическая модель взаимных блокировок. Корректное использование исключающих семафоров / Свирин И. С., Силин П. А., Сюзев В. В., Зарецкая Е. А. - DOI 10.18698/2308-6033-2012-11-483 // Инженерный журнал: наука и инновации. - 2012. - № 11. - П.Н. 9.

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

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

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

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

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

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

Одной из основных проблем разработки многопоточного программного обеспечения является взаимная блокировка потоков, которую чрезвычайно трудно выявить. Введена математическая модель взаимных блокировок.