Авторы

Моделирование многопоточного исполнения программы и метод статического анализа кода на предмет состояний гонки

Существуют различные методики анализа корректности многопоточных алгоритмов. Статья посвящена рассмотрению данного вопроса в контексте состояний гонки. Предлагаемый автором подход ориентирован на задачи со сложными конструкциями кода. Читать дальше...

Статическое обнаружение гонок в коде, содержащем ветвления и циклы

В настоящее время весьма актуальными являются задачи, связанные с реализацией многопоточных алгоритмов. Данная работа посвящена анализу корректности неблокирующих алгоритмов в смысле состояний гонки.