Production-guided Concurrency Debugging
Production-guided Concurrency Debugging
dc.contributor.author | Nuno Almeida Machado | en |
dc.contributor.author | Lucia,B | en |
dc.contributor.author | Rodrigues,L | en |
dc.date.accessioned | 2017-12-20T09:45:32Z | |
dc.date.available | 2017-12-20T09:45:32Z | |
dc.date.issued | 2016 | en |
dc.description.abstract | Concurrency bugs that stem from schedule-dependent branches are hard to understand and debug, because their root causes imply not only different event orderings, but also changes in the control-flow between failing and non-failing executions. We present Cortex: a system that helps exposing and understanding concurrency bugs that result from schedule-dependent branches, without relying on information from failing executions. Cortex preemptively exposes failing executions by perturbing the order of events and control-flow behavior in non-failing schedules from production runs of a program. By leveraging this information from production runs, Cortex synthesizes executions to guide the search for failing schedules. Production-guided search helps cope with the large execution search space by targeting failing executions that are similar to observed non-failing executions. Evaluation on popular benchmarks shows that Cortex is able to expose failing schedules with only a few perturbations to non-failing executions, and takes a practical amount of time. | en |
dc.identifier.uri | http://repositorio.inesctec.pt/handle/123456789/4377 | |
dc.identifier.uri | http://dx.doi.org/10.1145/2851141.2851149 | en |
dc.language | eng | en |
dc.relation | 6808 | en |
dc.rights | info:eu-repo/semantics/openAccess | en |
dc.title | Production-guided Concurrency Debugging | en |
dc.type | article | en |
dc.type | Publication | en |
Files
Original bundle
1 - 1 of 1