Facebook paralelizó Android con interpretación abstracta. Así es como funciona.
Cómo Facebook usó interpretación abstracta y unsoundness intencional para encontrar condiciones de carrera a escala en millones de líneas de código Android.
La aplicación de Android de Facebook tenía un problema de rendimiento. El hilo de la interfaz se estaba ahogando en trabajo, pero mover código a hilos de fondo…