Тестирование многопоточных структур данных (Никита Коваль, SECR-2017) — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) |
||
[[File:{{#setmainimage:Тестирование многопоточных структур данных (Никита Коваль, SECR-2017)!.jpg}}|center|640px]] {{LinksSection}} * [http://2017.secr.ru/program/submitted-presentations/checking-concurrent-data-structures-correctness Страничка доклада на сайте конференции] <!-- <blockquote>[©]</blockquote> --> {{fblink|1968147230104955}} {{vklink|977}} <references/> <!-- topub --> {{stats|disqus_comments=0|refresh_time=2020-01-22T18:10:3228T12:34:47.282542327551|vimeo_comments=0|vimeo_plays=30|youtube_comments=0|youtube_plays=28}} [[Категория:SECR-2017]] [[Категория:Автоматизированное тестирование]] [[Категория:Параллельное программирование]] |
Версия 09:34, 28 января 2020
- Докладчик
- Никита Коваль
Принято считать, что писать многопоточные программы сложно, однако их тестирование является не менее простой задачей.
Для ее решения был разработан инструмент Lin-Check, позволяющий проверять линеаризуемость многопоточных алгоритмов и структур данных, написанных на языке Java. Первая часть доклада посвящена различным стратегиям и техникам для проверки на линеаризуемость.
Затем будет рассказано про API и как его можно использовать для тестирования своих структур данных. Доклад полезен тем, кто интересуется многопоточным программированием, понимание Java будет не лишним.
Видео
Посмотрели доклад? Понравился? Напишите комментарий! Не согласны? Тем более напишите.
Презентация
Примечания и ссылки
Plays:58
Comments:0