Nikita Koval — Lin-Check: Testing concurrent data structures in Java смотреть онлайн

Hydra 2022 — June 2-3 Info and tickets: https://bit.ly/3ni5Hem — — Writing concurrent programs is hard. However, testing them is not easy as well. In this talk, Nikita presents Lin-Check, a tool for testing concurrent data structures in JVM-based languages. Essentially, it takes some declarations of the data structure operations, generates random scenarios, runs them a lot of times, and verifies the corresponding results. During the talk, Nikita mostly focuses on the verification phase. At first, he explains how LTS (Labeled Transition System) formalism can help us with implementing the verifier efficiently. After that, he extends LTS to support dual data structures; this formalism is useful for data structures with partial methods (synchronous queues, blocking queues, channels, semaphores, ...). However, such an extension is not sufficient, and some small tricks should be added, which restrict the model a bit but make it possible to use it in practice.

Рады приветствовать вас в нашем кинозале, у нас собрана огромнейшая база видео файлов и вы всегда сможете найти любой фильм на свой вкус и увидеть его совершенно бесплатно и не нужно регистрироваться. Онлайн просмотр кино стало любимым времяпрепровождением для все киноманов, ведь не всегда есть время, чтобы посетить кинотеатр, но мі собрали огромную базу видео и фильмов, сериалов, мультфильмов для онлайн просмотра. Ваш отдых - это наша работа, мы пополняем нашу базу регулярно и только лучшими и кассовыми фильмами, и все это у нас бесплатно и без регистрации. Наша задача обеспечить просмотр ваших любимых фильмов с максимальным комфортом, без рекламы и в любое удобное для Вас время. У нас собраны лучшее из коллекций всемирного кинематографа онлайн, вы можете смотреть фильмы бесплатно без регистрации , выбирая любимый фильм из нашей коллекции, которая включает в себя копии мировой классики и последние кино новинки. Все посетители выбирая наш сайт смогут найти киноленту по своему вкусу и начать просмотр с удовольствием. Для просмотра видео используются любые онлайн - браузеры установленные на вашем компьютере. Все, что необходимо, чтобы смотреть фильмы онлайн - это хорошее настроение! Не забываемого вам пребывания у нас в интернет-кинозале, онлайн кинотеатре ULTRADOX!