МАТЕМАТИЧЕСКАЯ МОДЕЛЬ МНОГОПОТОЧНОЙ ПРОГРАММЫ И ПРАВИЛА БЕЗОПАСНОГО МНОГОПОТОЧНОГО ПРОГРАММИРОВАНИЯ

многопоточное программное обеспечение взаимные блокировки верификация.

МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ НАДЕЖНОСТИ КОМПЬЮТЕРНЫХ СИСТЕМ И СЕТЕЙ, ОСОБЕННОСТИ СЕТЕВОГО ВЗАИМОДЕЙСТВИЯ В КОМПЬЮТЕРНОМ ТРЕНАЖЕРЕ ДЛЯ ПОДГОТОВКИ ОПЕРАТОРОВ ТЕЛЕУПРАВЛЯЕМЫХ ПОДВОДНЫХ АППАРАТОВ, ...

С ю з е в МАТЕМАТИЧЕСКАЯ МОДЕЛЬ МНОГОПОТОЧНОЙ ПРОГРАММЫ И ПРАВИЛА БЕЗОПАСНОГО МНОГОПОТОЧНОГО ПРОГРАММИРОВАНИЯ Одной из основных проблем разработки многопоточного программного обеспечения являются взаимные блокировки потоков. <...> Взаимные блокировки потоков чрезвычайно трудно выявить, поскольку их возникновение напрямую связано с относительной динамикой выполнения потоков в программном обеспечении, которая зависит от множества трудно учитываемых факторов. <...> Представлена система правил разработки многопоточной структуры программного обеспечения, направленная на уменьшение числа вносимых на этапе разработки ситуаций взаимной блокировки. <...> Для решения данной проблемы современные системы и средства программирования предоставляют средства синхронизации, которые позволяют решать проблему доступа потоков к разделяемым ресурсам за счет временного перевода некоторых потоков, обращающихся к ресурсам в состояние ожидания. <...> Однако использование средств синхронизации привело к проблеме возникновения взаимных блокировок — ситуаций, когда потоки, переведенные в состояние ожидания, ожидали события, которое никогда не произойдет. <...> Его отличие заключается в наглядности построенной формальной модели, достаточной для того, чтобы на ее основе могла быть построена система правил корректного использования средств синхронизации. <...> В рамках проблемы выявления потенциальных ситуаций взаимной блокировки наибольший практический интерес представляет разработка на основе формальной модели взаимных блокировок системы правил корректного использования средств синхронизации. <...> Использование данной системы правил позволяло бы разработчикам ПО избегать создания конструкций на основе средств синхронизации, приводящих к появлению потенциальных ситуаций взаимной блокировки. <...> При попытке создания системы правил на основе существующих формальных моделей взаимных блокировок возникает следующая проблема <...>

• Похожие документы из РУАЭСТ
• |
• Похожие документы из Руконт