Труды института системного программирования РАН
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Труды ИСП РАН:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Труды института системного программирования РАН, 2016, том 28, выпуск 6, страницы 65–86
DOI: https://doi.org/10.15514/ISPRAS-2016-28(6)-5
(Mi tisp85)
 

Эта публикация цитируется в 1 научной статье (всего в 1 статье)

Конфигурируемый метод поиска состояний гонок в операционных системах с использованием предикатных абстракций

П. С. Андриановa, В. С. Мутилинa, А. В. Хорошиловabcd

a Институт системного программирования РАН
b Московский физико-технический институт (государственный университет)
c Московский государственный университет имени М.В. Ломоносова
d Национальный исследовательский университет "Высшая школа экономики"
Список литературы:
Аннотация: В статье представлен конфигурируемый метод для поиска состояний гонок. Метод позволяет настраивать требуемую точность анализа, выбирая баланс между затрачиваемыми ресурсами и количеством ложных предупреждений подключением двух расширений: уточнением путей на основе предикатных абстракций и анализом потоков. Метод основан на алгоритме Lockset и использует упрощенную модель памяти для уменьшения количества ложных предупреждений. Предлагаемый подход был реализован в инструменте CPALockator, который был апробирован на модулях ядра операционной системы Linux, что позволило обнаружить несколько состояний гонок, которые были признаны и исправлены разработчиками.
Ключевые слова: статический анализ, состояние гонки, ядро операционной системы.
Финансовая поддержка Номер гранта
Министерство образования и науки Российской Федерации RFMEFI61614X0015
Исследования проводились при финансовой поддержке Министерства образования РФ, уникальный идентификатор соглашения RFMEFI61614X0015
Реферативные базы данных:
Тип публикации: Статья
Образец цитирования: П. С. Андрианов, В. С. Мутилин, А. В. Хорошилов, “Конфигурируемый метод поиска состояний гонок в операционных системах с использованием предикатных абстракций”, Труды ИСП РАН, 28:6 (2016), 65–86
Цитирование в формате AMSBIB
\RBibitem{AndMutKho16}
\by П.~С.~Андрианов, В.~С.~Мутилин, А.~В.~Хорошилов
\paper Конфигурируемый метод поиска состояний гонок в операционных системах с использованием предикатных абстракций
\jour Труды ИСП РАН
\yr 2016
\vol 28
\issue 6
\pages 65--86
\mathnet{http://mi.mathnet.ru/tisp85}
\crossref{https://doi.org/10.15514/ISPRAS-2016-28(6)-5}
\elib{https://elibrary.ru/item.asp?id=27679170}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/tisp85
  • https://www.mathnet.ru/rus/tisp/v28/i6/p65
  • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Труды института системного программирования РАН
    Статистика просмотров:
    Страница аннотации:150
    PDF полного текста:48
    Список литературы:39
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024