Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | 유민수 | - |
dc.date.accessioned | 2019-12-07T18:26:59Z | - |
dc.date.available | 2019-12-07T18:26:59Z | - |
dc.date.issued | 2018-04 | - |
dc.identifier.citation | SCIENTIFIC PROGRAMMING, Article no. 8939027 | en_US |
dc.identifier.issn | 1058-9244 | - |
dc.identifier.issn | 1875-919X | - |
dc.identifier.uri | https://www.hindawi.com/journals/sp/2018/8939027/ | - |
dc.identifier.uri | https://repository.hanyang.ac.kr/handle/20.500.11754/118271 | - |
dc.description.abstract | Reproducing a failure is the first and most important step in debugging because it enables us to understand the failure and track down its source. However, many programs are susceptible to nondeterministic failures that are hard to reproduce, which makes debugging extremely difficult. We first address the reproducibility problem by proposing an OS-level replay system for a uniprocessor environment that can capture and replay nondeterministic events needed to reproduce a failure in Linux interactive and event-based programs. We then present an analysis method, called replay analysis, based on the proposed record and replay system to diagnose concurrency bugs in such programs. The replay analysis method uses a combination of static analysis, dynamic tracing during replay, and delta debugging to identify failure-inducing memory access patterns that lead to concurrency failure. The experimental results show that the presented record and replay system has low-recording overhead and hence can be safely used in production systems to catch rarely occurring bugs. We also present few concurrency bug case studies from real-world applications to prove the effectiveness of the proposed bug diagnosis framework. | en_US |
dc.description.sponsorship | This research was supported by the Ministry of Science and ICT (MSIT), Korea, under the programs [R0114-16-0046, Software Black Box for Highly Dependable Computing] and [2016-0-00023, National Program for Excellence in SW] supervised by the Institute for Information & Communications Technology Promotion (IITP), Korea. | en_US |
dc.language.iso | en_US | en_US |
dc.publisher | HINDAWI LTD | en_US |
dc.subject | DATA RACES | en_US |
dc.subject | EXECUTION | en_US |
dc.title | Debugging Nondeterministic Failures in Linux Programs through Replay Analysis | en_US |
dc.type | Article | en_US |
dc.identifier.doi | 10.1155/2018/8939027 | - |
dc.relation.page | 1-11 | - |
dc.relation.journal | SCIENTIFIC PROGRAMMING | - |
dc.contributor.googleauthor | Majeed, Shakaiba | - |
dc.contributor.googleauthor | Ryu, Minsoo | - |
dc.relation.code | 2018008058 | - |
dc.sector.campus | S | - |
dc.sector.daehak | COLLEGE OF ENGINEERING[S] | - |
dc.sector.department | DEPARTMENT OF COMPUTER SCIENCE | - |
dc.identifier.pid | msryu | - |
dc.identifier.orcid | https://orcid.org/0000-0002-4137-3052 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.