|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Конфигурируемый метод поиска состояний гонок в операционных системах с использованием предикатных абстракций
П. С. Андриановa, В. С. Мутилинa, А. В. Хорошиловabcd a Институт системного программирования РАН
b Московский физико-технический институт (государственный университет)
c Московский государственный университет имени М.В. Ломоносова
d Национальный исследовательский университет "Высшая школа экономики"
Аннотация:
В статье представлен конфигурируемый метод для поиска состояний гонок. Метод позволяет настраивать требуемую точность анализа, выбирая баланс между затрачиваемыми ресурсами и количеством ложных предупреждений подключением двух расширений: уточнением путей на основе предикатных абстракций и анализом потоков. Метод основан на алгоритме Lockset и использует упрощенную модель памяти для уменьшения количества ложных предупреждений. Предлагаемый подход был реализован в инструменте CPALockator, который был апробирован на модулях ядра операционной системы Linux, что позволило обнаружить несколько состояний гонок, которые были признаны и исправлены разработчиками.
Ключевые слова:
статический анализ, состояние гонки, ядро операционной системы.
Образец цитирования:
П. С. Андрианов, В. С. Мутилин, А. В. Хорошилов, “Конфигурируемый метод поиска состояний гонок в операционных системах с использованием предикатных абстракций”, Труды ИСП РАН, 28:6 (2016), 65–86
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/tisp85 https://www.mathnet.ru/rus/tisp/v28/i6/p65
|
Статистика просмотров: |
Страница аннотации: | 150 | PDF полного текста: | 48 | Список литературы: | 39 |
|