android

Facebook用抽象诠释实现了Android并行化。以下是它的工作原理。

Facebook如何利用抽象诠释和有意的不完整性，在数百万行Android代码中大规模发现竞态条件。