Тестирование многопоточных структур данных (Никита Коваль, SECR-2017) — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) |
||
Для ее решения был разработан инструмент Lin-Check, позволяющий проверять линеаризуемость многопоточных алгоритмов и структур данных, написанных на языке Java. Первая часть доклада посвящена различным стратегиям и техникам для проверки на линеаризуемость.
Затем будет рассказано про API и как его можно использовать для тестирования своих структур данных. Доклад полезен тем, кто интересуется многопоточным программированием, понимание Java будет не лишним.
</blockquote>
{{VideoSection}}
{{vimeoembed|240324620|800|450}}
{{youtubelink|rPmP7Pov9Bs}}
{{SlidesSection}}
[[File:Тестирование многопоточных структур данных (Никита Коваль, SECR-2017).pdf|left|page=-|300px]]
{{----}}
[[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=2018-05-15T13:57:11.365169|vimeo_comments=0|vimeo_plays=12|youtube_comments=0|youtube_plays=8}}
[[Категория:SECR-2017]] |
Версия 10:02, 9 июня 2018
- Докладчик
- Никита Коваль
Принято считать, что писать многопоточные программы сложно, однако их тестирование является не менее простой задачей.
Для ее решения был разработан инструмент Lin-Check, позволяющий проверять линеаризуемость многопоточных алгоритмов и структур данных, написанных на языке Java. Первая часть доклада посвящена различным стратегиям и техникам для проверки на линеаризуемость.
Затем будет рассказано про API и как его можно использовать для тестирования своих структур данных. Доклад полезен тем, кто интересуется многопоточным программированием, понимание Java будет не лишним.
Видео
Презентация
Примечания и ссылки
Plays:20
Comments:0