Тестирование многопоточных структур данных (Никита Коваль, SECR-2017)
Материал из 0x1.tv
Версия от 15:21, 8 декабря 2017; StasFomin (обсуждение | вклад)
Короткая ссылка: 20171021DK
- Докладчик
- Никита Коваль
Принято считать, что писать многопоточные программы сложно, однако их тестирование является не менее простой задачей.
Для ее решения был разработан инструмент Lin-Check, позволяющий проверять линеаризуемость многопоточных алгоритмов и структур данных, написанных на языке Java. Первая часть доклада посвящена различным стратегиям и техникам для проверки на линеаризуемость.
Затем будет рассказано про API и как его можно использовать для тестирования своих структур данных. Доклад полезен тем, кто интересуется многопоточным программированием, понимание Java будет не лишним.
Видео
Презентация
Примечания и ссылки
Plays:0 Comments:0