FAILURE LAB · BACKEND ENGINEERING

Race conditions в backend

Научись воспроизводить гонку, читать race report и закрывать инвариант в runnable-задаче.

FAILUREДва обработчика меняют общий state одновременно.

EXPERIMENTЗапусти тест с -race и сравни поведение до и после синхронизации.

PROOFPASS в Thread-safe Counter, тесты и инварианты попадут в skill report.

Сначала запускается задача и проверка. Оплата не нужна для первого проверяемого результата.