Text this: Метод проверки линеаризуемости многопоточных Java программ