Facebook Memparalelkan Android dengan Abstract Interpretation. Begini Cara Kerjanya.
Bagaimana Facebook menggunakan abstract interpretation dan unsoundness yang disengaja untuk menemukan race condition secara masif pada jutaan baris kode Android.
Aplikasi Android Facebook memiliki masalah performa. Thread UI tenggelam dalam pekerjaan, tetapi memindahkan kode ke thread latar belakang berarti race…