...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Science of Computer Programming >Dynamic inference of polymorphic lock types
【24h】

Dynamic inference of polymorphic lock types

机译：多态锁类型的动态推断

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

We present FINDLOCKS, an approach for automatically proving the absence of data races in multi-threaded Java programs, using a combination of dynamic and static analysis. The program in question is instrumented so that when executed it will gather information about locking relationships. This information is then used to automatically generate annotations needed to type check the program using the Race-Free Java type system. Programs that type check are sure to be free from races. We call this technique dynamic annotation inference. We describe the design and implementation of our approach, and our experience applying the tool to a variety of Java programs. We have found that when using a reasonably comprehensive test suite, which is easy for small programs but harder for larger ones, the approach generates useful annotations.
机译：我们提出了FINDLOCKS，这是一种通过动态和静态分析的组合来自动证明多线程Java程序中不存在数据争用的方法。对有问题的程序进行检测，以便在执行该程序时将收集有关锁定关系的信息。然后使用此信息自动生成使用Race-Free Java类型系统对程序进行类型检查所需的注释。类型检查程序肯定不会出现种族问题。我们称这种技术为动态注释推断。我们描述了我们方法的设计和实现，以及将工具应用于各种Java程序的经验。我们发现，当使用相当全面的测试套件时（对于小型程序而言这很容易，而对于大型程序而言则较难），该方法会生成有用的注释。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号