{"title":"用于调试竞赛条件的arinc653应用程序的事件同步可视化","authors":"Myeong-Sin Kang, Ok-Kyoon Ha, Yong-Kee Jun","doi":"10.1109/GDC.2015.15","DOIUrl":null,"url":null,"abstract":"ARINC 653 applications using event synchronization may result in behaviors unexpected by the programmers when concurrency bugs, such as race conditions, occur due to their non-deterministic executions. Previous tools do not consider race conditions for debugging ARINC 653 applications. This paper presents a visualization tool, called ConpathView that intuitively shows the aspect of the process execution with race conditions and the accesses to the shared memories based on the event services in ARINC 653 applications.","PeriodicalId":350822,"journal":{"name":"2015 8th International Conference on Grid and Distributed Computing (GDC)","volume":"75 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2015-11-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Visualizing Event Synchronization of ARINC 653 Applications for Debugging Race Conditions\",\"authors\":\"Myeong-Sin Kang, Ok-Kyoon Ha, Yong-Kee Jun\",\"doi\":\"10.1109/GDC.2015.15\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"ARINC 653 applications using event synchronization may result in behaviors unexpected by the programmers when concurrency bugs, such as race conditions, occur due to their non-deterministic executions. Previous tools do not consider race conditions for debugging ARINC 653 applications. This paper presents a visualization tool, called ConpathView that intuitively shows the aspect of the process execution with race conditions and the accesses to the shared memories based on the event services in ARINC 653 applications.\",\"PeriodicalId\":350822,\"journal\":{\"name\":\"2015 8th International Conference on Grid and Distributed Computing (GDC)\",\"volume\":\"75 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2015-11-25\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2015 8th International Conference on Grid and Distributed Computing (GDC)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/GDC.2015.15\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2015 8th International Conference on Grid and Distributed Computing (GDC)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/GDC.2015.15","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Visualizing Event Synchronization of ARINC 653 Applications for Debugging Race Conditions
ARINC 653 applications using event synchronization may result in behaviors unexpected by the programmers when concurrency bugs, such as race conditions, occur due to their non-deterministic executions. Previous tools do not consider race conditions for debugging ARINC 653 applications. This paper presents a visualization tool, called ConpathView that intuitively shows the aspect of the process execution with race conditions and the accesses to the shared memories based on the event services in ARINC 653 applications.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
