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

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

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

{{VideoSection}}
{{vimeoembed|240324620|800|450}}
<!-- {{youtubelink|}} -->
|rPmP7Pov9Bs}}{{letscomment}}
{{SlidesSection}}
[[File:Тестирование многопоточных структур данных (Никита Коваль, SECR-2017).pdf|left|page=-|300px]]

{{----}}
[[File:{{#setmainimage:Тестирование многопоточных структур данных (Никита Коваль, SECR-2017)!.jpg}}|center|640px]]
{{LinksSection}}
* [http://2017.secrus.ruorg/program/submitted-presentations/checking-concurrent-data-structures-correctness Страничка доклада на сайте конференции]
<!-- <blockquote>[©]</blockquote> -->

{{fblink|1968147230104955}}                                          
{{vklink|977}}                                          
<references/>





<!-- topub -->


{{stats|disqus_comments=0|refresh_time=2017-12-12T13:52:02.1661042021-08-31T18:30:55.978440|vimeo_comments=0|vimeo_plays=242|youtube_comments=0|youtube_plays=043}}

[[Категория:SECR-2017]]
[[Категория:Автоматизированное тестирование]]
[[Категория:Параллельное программирование]]