102,5 тыс подписчиков
Практическое использование JCStress
Рассмотрим фреймворк JCStress, созданный для тестирования многопоточного кода, и применим его для решения практических задач. Цель статьи — показать, что JCStress можно и нужно использовать не только в лабораторных работах для демонстрации эффектов, связанных с моделью памяти, но и для доказательства правильности преобразований кода.
N.B. Пост участвует в организованном нами совместно со Сбером конкурсе технических статей «Сезон Java».
Около минуты
18 июля 2022
834 читали