Тестирование многопоточных структур данных (Никита Коваль, SECR-2017) — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) |
||
(не показана одна промежуточная версия этого же участника) | |||
Для ее решения был разработан инструмент 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-21T17:53:58.2300602021-08-31T18:30:55.978440|vimeo_comments=0|vimeo_plays=442|youtube_comments=0|youtube_plays=043}} [[Категория:SECR-2017]] [[Категория:Автоматизированное тестирование]] [[Категория:Параллельное программирование]] |
Текущая версия на 15:30, 31 августа 2021
- Докладчик
- Никита Коваль
Принято считать, что писать многопоточные программы сложно, однако их тестирование является не менее простой задачей.
Для ее решения был разработан инструмент Lin-Check, позволяющий проверять линеаризуемость многопоточных алгоритмов и структур данных, написанных на языке Java. Первая часть доклада посвящена различным стратегиям и техникам для проверки на линеаризуемость.
Затем будет рассказано про API и как его можно использовать для тестирования своих структур данных. Доклад полезен тем, кто интересуется многопоточным программированием, понимание Java будет не лишним.
Видео
Посмотрели доклад? Понравился? Напишите комментарий! Не согласны? Тем более напишите.
Презентация
Примечания и ссылки
Plays:85
Comments:0