Ожидание race conditions — ужасная стратегия тестирования
Почему model checking превосходит дни продакшен-рантайма в поиске concurrency-багов и как применить его к собственному коду.
Ждать, пока race conditions проявятся в продакшене, — это не тестирование. Это надежда, замаскированная под добросовестность. Вы можете запускать приложение…