java数据竞争检测器

ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity Pub Date : 2012-10-19 DOI:10.1145/2384716.2384744

Filip Vorácek, Zdenek Tronícek

{"title":"java数据竞争检测器","authors":"Filip Vorácek, Zdenek Tronícek","doi":"10.1145/2384716.2384744","DOIUrl":null,"url":null,"abstract":"When two threads access a shared variable, at least one thread writes, and there is no ordering of the accesses, a data race occurs. We deal with the problem of data-race detection. We present a JVM agent that monitors the application and reports data races as soon as they occur. The agent was evaluated on Java2Demo for which it reported more than 2500 data races.","PeriodicalId":194590,"journal":{"name":"ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity","volume":"262 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2012-10-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"JaDaRD: java data-race detector\",\"authors\":\"Filip Vorácek, Zdenek Tronícek\",\"doi\":\"10.1145/2384716.2384744\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"When two threads access a shared variable, at least one thread writes, and there is no ordering of the accesses, a data race occurs. We deal with the problem of data-race detection. We present a JVM agent that monitors the application and reports data races as soon as they occur. The agent was evaluated on Java2Demo for which it reported more than 2500 data races.\",\"PeriodicalId\":194590,\"journal\":{\"name\":\"ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity\",\"volume\":\"262 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2012-10-19\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/2384716.2384744\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/2384716.2384744","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

当两个线程访问一个共享变量时，至少有一个线程写入，并且访问没有排序，就会发生数据争用。我们处理数据竞争检测的问题。我们提供了一个JVM代理，它监视应用程序并在数据竞争发生时立即报告。在Java2Demo上对代理进行了评估，它报告了2500多个数据争用。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

JaDaRD: java data-race detector

When two threads access a shared variable, at least one thread writes, and there is no ordering of the accesses, a data race occurs. We deal with the problem of data-race detection. We present a JVM agent that monitors the application and reports data races as soon as they occur. The agent was evaluated on Java2Demo for which it reported more than 2500 data races.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity

自引率

0.00%

发文量