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

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

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

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

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