МАТЕМАТИЧЕСКАЯ МОДЕЛЬ ВЗАИМНЫХ БЛОКИРОВОК. КОРРЕКТНОЕ ИСПОЛЬЗОВАНИЕ ИСКЛЮЧАЮЩИХ СЕМАФОРОВ

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

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

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

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