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

День 2 / 12:15  / Зал 3  / Язык: RU

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



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

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

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


Контакты

tickets@jokerconf.com
Билеты
tickets@jokerconf.com
program@jokerconf.com
Программа конференции
program@jokerconf.com
sponsors@jokerconf.com
Спонсоры
sponsors@jokerconf.com
partners@jokerconf.com
Партнеры
partners@jokerconf.com