abstract-interpretationconcurrencyandroidrace-conditions Facebookは抽象解釈でAndroidを並列化した。その仕組みを解説する。 Facebookがどのように抽象解釈と意図的なunsoundnessを用いて、数百万行のAndroidコードにおける競合状態を大規模に発見したか。 FacebookのAndroidアプリにはパフォーマンス上の問題があった。UIスレッドが仕事に溺れていたが、コードをバックグラウンドスレッドに移すと競合状態が生じた。プロダクションでのクラッシュ。怒ったユーザー。… 2026年8月6日