×

赛车场

swMATH标识: 8925
软件作者: 弗拉纳根C、弗伦德SN、Yi J
说明: Velodrome:一个完善的多线程程序动态原子性检查程序。原子性是多线程程序中的一个基本正确性属性,这既因为原子代码块可以进行顺序推理(这大大简化了正确性参数),也因为原子性冲突常常会暴露程序同步结构中的缺陷。不幸的是,迄今为止开发的所有原子性分析都是不完整的,因为它们可能会对正确同步的程序产生错误警报,这限制了它们的有用性。我们提出了第一个原子性的动态分析,这是健全和完整的。分析目标程序的观察跟踪中操作之间的确切依赖关系的原因,并在观察到的跟踪不可冲突序列化时报告错误消息。尽管精度有了显著的提高,但我们的分析的性能和覆盖范围与之前针对原子性的不完全动态分析相比是有竞争力的。
主页: http://dl.acm.org/citation.cfm?id=1375618
相关软件: 雾化器;单轨;栅栏;阿维奥;github;JavaScript;快车道;反链;金发姑娘;旋转;活力;CIL公司;国际象棋;爪哇格兰德;CBMC公司;橡皮擦;Java探路者;veriSoft公司;J预测器
参考文献: 5种出版物

在1个字段中引用

5 计算机科学(68-XX)

按年份引用出版物