race-conditions

2 posts

abstract-interpretationconcurrencyandroidrace-conditions

Facebook распараллелил Android с помощью abstract interpretation. Вот как это работает.

Как Facebook использовал abstract interpretation и намеренную unsoundness для поиска race conditions в масштабе миллионов строк Android-кода.

У приложения Facebook для Android была проблема с производительностью. UI-thread тонул в работе, но перенос кода в фоновые потоки означал race conditions.…
model-checkingrace-conditionsconcurrencytesting

Ожидание race conditions — ужасная стратегия тестирования

Почему model checking превосходит дни продакшен-рантайма в поиске concurrency-багов и как применить его к собственному коду.

Ждать, пока race conditions проявятся в продакшене, — это не тестирование. Это надежда, замаскированная под добросовестность. Вы можете запускать приложение…