|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Конфигурируемый метод поиска состояний гонок в операционных системах с использованием предикатных абстракцийстатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАКДата последнего поиска статьи во внешних источниках: 14 сентября 2017 г.
- Авторы: Андрианов П.С., Мутилин В.С., Хорошилов А.В.
- Журнал: Труды Института системного программирования РАН (электронный журнал)
- Том: 28
- Номер: 6
- Год издания: 2016
- Первая страница: 65
- Последняя страница: 86
- DOI: 10.15514/ISPRAS-2016-28(6)-5
- Аннотация: В статье представлен конфигурируемый метод для поиска состояний гонок. Метод позволяет настраивать требуемую точность анализа, выбирая баланс между затрачиваемыми ресурсами и количеством ложных предупреждений подключением двух расширений: уточнением путей на основе предикатных абстракций и анализом потоков. Метод основан на алгоритме Lockset и использует упрощенную модель памяти для уменьшения количества ложных предупреждений. Предлагаемый подход был реализован в инструменте CPALockator, который был апробирован на модулях ядра операционной системы Linux, что позволило обнаружить несколько состояний гонок, которые были признаны и исправлены разработчиками.
- Добавил в систему: Корныхин Евгений Валерьевич