Доклады
Тестирование многопоточных структур данных
21 октября, 14:30
IV зал
Принято считать, что писать многопоточные программы сложно, однако их тестирование является не менее простой задачей. Для ее решения был разработан инструмент Lin-Check, позволяющий проверять линеаризуемость многопоточных алгоритмов и структур данных, написанных на языке Java. Первая часть доклада посвящена различным стратегиям и техникам для проверки на линеаризуемость. Затем будет рассказано про API и как его можно использовать для тестирования своих структур данных. Доклад полезен тем, кто интересуется многопоточным программированием, понимание Java будет не лишним.
Никита Коваль
Инженер-исследователь, Devexperts
Инженер-исследователь в исследовательской группе dxLab компании Devexperts. Помимо этого, являюсь студентом кафедры Компьютерных Технологий в Университете ИТМО и там же преподаю курс по многопоточному программированию.
Дмитрий Цителов
Руководитель исследовательской группы dxLab, Devexperts
Руководитель исследовательской группы dxLab в компании “Devexperts”. Группа занимается разработкой перспективных исследовательских проектов и инструментальных средств совместно со студентами ИТМО, СПбГУ и других университетов. Основные интересы: исследования в области разработки и верификации многопоточных структур данных и алгоритмов, анализ и оптимизация производительности, разработка высоконагруженных распределённых систем.