Тестирование многопоточных структур данных (Никита Коваль, SECR-2017) — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) (Новая страница: «;{{SpeakerInfo}}: {{Speaker|Никита Коваль}} <blockquote> Принято считать, что писать многопоточные програм…») |
StasFomin (обсуждение | вклад) |
||
;{{SpeakerInfo}}: {{Speaker|Никита Коваль}} <blockquote> Принято считать, что писать многопоточные программы сложно, однако их тестирование является не менее простой задачей. Для ее решения был разработан инструмент Lin-Check, позволяющий проверять линеаризуемость многопоточных алгоритмов и структур данных, написанных на языке Java. Первая часть доклада посвящена различным стратегиям и техникам для проверки на линеаризуемость. Затем будет рассказано про API и как его можно использовать для тестирования своих структур данных. Доклад полезен тем, кто интересуется многопоточным программированием, понимание Java будет не лишним. </blockquote> {{VideoSection}} {{vimeoembed|240324620|800|450}} <!-- {{youtubelink|}} --> {{SlidesSection}} [[File:Тестирование многопоточных структур данных (Никита Коваль, SECR-2017).pdf|left|page=-|300px]] {{----}} {{LinksSection}} * [http://2017.secr.ru/program/submitted-presentations/checking-concurrent-data-structures-correctness Страничка доклада на сайте конференции] <!-- <blockquote>[©]</blockquote> --> <references/> <!-- topub --> [[Категория:SECR-2017]] [[Категория:Draft]] |
Версия 10:48, 14 ноября 2017
- Докладчик
- Никита Коваль
Принято считать, что писать многопоточные программы сложно, однако их тестирование является не менее простой задачей.
Для ее решения был разработан инструмент Lin-Check, позволяющий проверять линеаризуемость многопоточных алгоритмов и структур данных, написанных на языке Java. Первая часть доклада посвящена различным стратегиям и техникам для проверки на линеаризуемость.
Затем будет рассказано про API и как его можно использовать для тестирования своих структур данных. Доклад полезен тем, кто интересуется многопоточным программированием, понимание Java будет не лишним.
Видео
Презентация
Примечания и ссылки