Omen:用于检测死锁的综合测试的工具

ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity Pub Date : 2014-10-20 DOI:10.1145/2660252.2664663

Malavika Samak, M. Ramanathan

{"title":"Omen:用于检测死锁的综合测试的工具","authors":"Malavika Samak, M. Ramanathan","doi":"10.1145/2660252.2664663","DOIUrl":null,"url":null,"abstract":"Designing and implementing thread-safe multi-threaded libraries can be a daunting task as developers of these libraries need to ensure that their implementations are free from concurrency bugs, including deadlocks. Developing multi-threaded tests for this purpose is significantly challenging. In this demo, we will demonstrate our tool (OMEN) for synthesizing deadlock-inducing multi-threaded tests for Java libraries. The input to OMEN is the library implementation under consideration and the output is a set of deadlock revealing multi-threaded tests.","PeriodicalId":194590,"journal":{"name":"ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity","volume":"117 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2014-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Omen: a tool for synthesizing tests for deadlock detection\",\"authors\":\"Malavika Samak, M. Ramanathan\",\"doi\":\"10.1145/2660252.2664663\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Designing and implementing thread-safe multi-threaded libraries can be a daunting task as developers of these libraries need to ensure that their implementations are free from concurrency bugs, including deadlocks. Developing multi-threaded tests for this purpose is significantly challenging. In this demo, we will demonstrate our tool (OMEN) for synthesizing deadlock-inducing multi-threaded tests for Java libraries. The input to OMEN is the library implementation under consideration and the output is a set of deadlock revealing multi-threaded tests.\",\"PeriodicalId\":194590,\"journal\":{\"name\":\"ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity\",\"volume\":\"117 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2014-10-20\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"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/2660252.2664663\",\"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/2660252.2664663","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 2

摘要

设计和实现线程安全的多线程库可能是一项艰巨的任务，因为这些库的开发人员需要确保它们的实现没有并发性错误，包括死锁。为此目的开发多线程测试非常具有挑战性。在这个演示中，我们将演示用于为Java库合成引发死锁的多线程测试的工具(OMEN)。OMEN的输入是正在考虑的库实现，输出是一组显示多线程测试的死锁。

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

查看原文本刊更多论文

Omen: a tool for synthesizing tests for deadlock detection

Designing and implementing thread-safe multi-threaded libraries can be a daunting task as developers of these libraries need to ensure that their implementations are free from concurrency bugs, including deadlocks. Developing multi-threaded tests for this purpose is significantly challenging. In this demo, we will demonstrate our tool (OMEN) for synthesizing deadlock-inducing multi-threaded tests for Java libraries. The input to OMEN is the library implementation under consideration and the output is a set of deadlock revealing multi-threaded tests.

求助全文

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

来源期刊

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

自引率

0.00%

发文量