Личный кабинет
Подробное описание документа
Свирин И. С.
Математическая модель многопоточной программы и правила безопасного многопоточного программирования / Свирин И. С., Силин П. А., Сюзев В. В. - DOI 10.18698/2308-6033-2012-11-482 // Инженерный журнал: наука и инновации. - 2012. - № 11. -
Скачать документ
Одной из основных проблем разработки многопоточного программного обеспечения являются взаимные блокировки потоков. Взаимные блокировки потоков чрезвычайно трудно выявить, поскольку их возникновение напрямую связано с относительной динамикой выполнения потоков в программном обеспечении, которая зависит от множества трудно учитываемых факторов. Представлена система правил разработки многопоточной структуры программного обеспечения, направленная на уменьшение числа вносимых на этапе разработки ситуаций взаимной блокировки. Преимущество данной системы перед эмпирически выведенными аналогами заключается в том, что она выведена в процессе разработки математической модели взаимных блокировок.
Статья опубликована в следующих изданиях
№ 11. - 2012.
