Авторы

Моделирование операции резервного копирования на нагруженной системе

Одной из ключевых задач в работе хостинг-провайдеров является обеспечение качества предоставляемых услуг. Для достижения этого применяется ряд мер, многие из которых противоречат друг другу.

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

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

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

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