Гонка
Формальная верификация · состояние гонки
создано · обновлено
Ошибка, при которой результат зависит от того, какое из двух действий успело раньше. Каждое действие по отдельности работает верно, а вместе они дают потерю или путаницу данных. Классический случай: условие проверили один раз, а к моменту действия оно уже изменилось. Лечат повторной проверкой в момент действия или общим замком.
Источник: Википедия: состояние гонки
Подробнее: Какие гонки нашли модели на Quint
Где встречается · 4
- Vitest или Jest · Спеки и контекст
- Как найти состояние гонки (race condition) в коде · Спеки и контекст
- Чем model checking отличается от тестов · Спеки и контекст
- Какой язык формальной верификации выбрать · Спеки и контекст