Тестирование lock-free алгоритмов, или Поиск иголки в стоге сена

Писать многопоточные программы сложно, однако тестировать их нисколько не проще. Продумать опасные многопоточные сценарии исполнения и написать для них тесты — трудная задача, поэтому зачастую ограничиваются простым набором стресс-тестов, которых не всегда хватает для выявления ошибки. Для решения этой задачи был разработан инструмент Lin-Check, автоматически проверяющий многопоточный Java-код на линеаризуемость. Первая часть доклада посвящена различным стратегиям и техникам для проверки на линеаризуемость. Во второй части обсудим предоставляемый API и как с помощью него тестировать свои алгоритмы.

Скачать презентацию доклада.

Никита Коваль , Devexperts

Никита — инженер-исследователь в исследовательской группе dxLab компании Devexperts. Помимо этого, он студент кафедры Компьютерных Технологий в ИТМО, где к тому же преподает курс по многопоточному программированию. Главным образом интересуется многопоточными алгоритмами, верификацией программ и их анализом.

Все доклады