Тестирование многопоточных алгоритмов. Продолжение.

День 2 /  / Зал 2  /  EN /

Два года назад на Joker 2017 мы рассказывали про инструмент Lin-Check, который помогает тестировать многопоточные алгоритмы и структуры данных. С тех пор многое улучшилось: мы чуть-чуть усовершенствовали качество сценариев, добавили поддержку кучи ослабленных контрактов (что вылилось в некоторую боль при написании верификаторов) и научились тестировать блокирующие by design алгоритмы, такие как каналы в корутинах или блокирующие очереди. А еще немного улучшилось API, стало удобнее работать.


Никита Коваль
JetBrains & IST Austria

Никита разрабатывает алгоритмы для корутин в команде Kotlin и получает PhD в IST Austria. Помимо этого, преподает курс по многопоточному программированию в Университете ИТМО и интересуется верификацией и анализом программ.

Контакты

Адрес: