java8集合源码-IteRace:Java并行循环的竞争检测

java8集合源码赛马 IteRace 是伊利诺伊大学开发的静态竞态检测工具。 静态竞争检测器存在不精确性（由于保守的假设），这通常表现为程序员需要检查的数量难以管理的警告。 ItRace 通过专业化来解决这个问题： 它了解并利用循环并行操作的线程和数据流结构。 由于并行集合在 Java 中尚不可用（它们将在明年的 Java8 中提供），IteRace 分析了一个主要遵循的集合 报告应用程序中的竞争，而不是库和代码。 例如，您不必追踪发生在 HashSet 中的竞争——它只会告诉您您无意中共享了一个特定的 HashSet 对象。 基于类的线程安全模型过滤竞争。 比这稍微复杂一些，但是，例如，您不会收到关于 AtomicInteger 的竞争报告。 您可以在我们的 . 入门 IteRace在Scala中实现，作为底层分析引擎依赖，用于构建。 脚步： 确保您有 、 、 和 克隆 cos/Util git clone https://github.com/cos/Util.git cd Util sbt publishLocal 克隆 IteRace 并编译 git clone https: