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