文件名称:java8集合源码-IteRace:Java并行循环的竞争检测
文件大小:173KB
文件格式:ZIP
更新时间:2024-06-24 10:49:39
系统开源
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:
【文件预览】:
IteRace-master
----.gitignore(77B)
----META-INF()
--------MANIFEST.MF(678B)
----exportForWrapper.jardesc(1KB)
----build.properties(82B)
----walaExclusions.txt(98B)
----project()
--------build.sbt(73B)
----src()
--------main()
--------test()
--------subjects()
----wc(17B)
----README.md(3KB)
----org.eclipse.equinox.common.jar(114KB)
----build.sbt(874B)