Тестирование многопоточных структур данных (Никита Коваль, SECR-2017)

Ссылки сюда (2) →

Короткая ссылка: 20171021DK

Докладчик

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

Принято считать, что писать многопоточные программы сложно, однако их тестирование является не менее простой задачей.

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

Затем будет рассказано про API и как его можно использовать для тестирования своих структур данных. Доклад полезен тем, кто интересуется многопоточным программированием, понимание Java будет не лишним.

Видео

on youtube

Посмотрели доклад? Понравился? Напишите комментарий! Не согласны? Тем более напишите.

Презентация

Примечания и ссылки

• Страничка доклада на сайте конференции

• Discuss on Facebook
• Discuss on VK

Plays:85   Comments:0