Filters








4 Hits in 1.3 sec

CoopREP: Cooperative record and replay of concurrency bugs

Nuno Machado, Paolo Romano, Luís Rodrigues
<span title="2017-09-05">2017</span> <i title="Wiley"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qrohejli3ngofb53dnkhpougdm" style="color: black;">Software testing, verification &amp; reliability</a> </i> &nbsp;
This paper presents CoopREP, a system that provides support for fault replication of concurrent programs based on cooperative recording and partial log combination.  ...  The results highlight that CoopREP can successfully replay concurrency bugs involving tens of thousands of memory accesses, while reducing recording overhead with respect to state-of-the-art noncooperative  ...  ACKNOWLEDGEMENTS The authors wish to thank the anonymous reviewers for their valuable and constructive feedback on both the conference and the journal versions of this paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1002/stvr.1645">doi:10.1002/stvr.1645</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/cdnyrcborjhkhahpkt4qxtujw4">fatcat:cdnyrcborjhkhahpkt4qxtujw4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190430061820/https://repositorio.inesctec.pt/bitstream/123456789/4378/1/P-00N-8A3.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/5a/db/5adb459d31fb51609d7bdc7fdc412b8d7c1e07ec.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1002/stvr.1645"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> wiley.com </button> </a>

Lightweight cooperative logging for fault replication in concurrent programs

Nuno Machado, Paolo Romano, Luis Rodrigues
<span title="">2012</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/64vpoz5fx5azda553iibjuf7h4" style="color: black;">IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2012)</a> </i> &nbsp;
This paper presents CoopREP, a system that provides support for fault replication of concurrent programs, based on cooperative recording and partial log combination.  ...  The results highlight that CoopREP can successfully replay concurrency bugs involving tens of thousands of memory accesses, reducing logging overhead with respect to state of the art non-cooperative logging  ...  ACKNOWLEDGMENTS The authors wish to thank the anonymous reviewers for the valuable feedback and suggestions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/dsn.2012.6263953">doi:10.1109/dsn.2012.6263953</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/dsn/MachadoRR12.html">dblp:conf/dsn/MachadoRR12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vna6sopo6vfh7epzrfnslnddtu">fatcat:vna6sopo6vfh7epzrfnslnddtu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170831084222/https://www.computer.org/csdl/proceedings/dsn/2012/1624/00/041.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/9e/b0/9eb0a3c586555c0950c036b15488f2111ed331b1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/dsn.2012.6263953"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Production-guided concurrency debugging

Nuno Machado, Brandon Lucia, Luís Rodrigues
<span title="">2016</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/a3hx753rrfdorizx3a3ovuee4y" style="color: black;">Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming - PPoPP &#39;16</a> </i> &nbsp;
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.  ...  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  ...  Acknowledgements We would like to thank our shepherd Murali Ramanathan and the anonymous reviewers for their invaluable feedback.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2851141.2851149">doi:10.1145/2851141.2851149</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ppopp/MachadoLR16.html">dblp:conf/ppopp/MachadoLR16</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2ko5kv2jcvcaxkmxbf4dlar2lq">fatcat:2ko5kv2jcvcaxkmxbf4dlar2lq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190501172240/https://repositorio.inesctec.pt/bitstream/123456789/4377/1/P-00K-CVD.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d8/6c/d86cd245f5ea6d49ad878894469cbdba7d1021e9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2851141.2851149"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Higher SLA satisfaction in datacenters with continuous VM placement constraints

Huynh Tu Dang, Fabien Hermenier
<span title="">2013</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/526f5hvjabcazaqo4k6g5hz3dq" style="color: black;">Proceedings of the 9th Workshop on Hot Topics in Dependable Systems - HotDep &#39;13</a> </i> &nbsp;
However, no sweet spot has yet been found with respect to the trade-off between recording overhead and bug reproducibility, especially in the context of search-based deterministic replay techniques, which  ...  ABSTRACT Deterministic replay tools are a useful asset when it comes to pinpoint hard-to-reproduce bugs.  ...  Any opinions, findings, and conclusions or recommendations expressed herein are those of the authors and do not necessarily reflect the views of the funding agencies.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2524224.2524226">doi:10.1145/2524224.2524226</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/hotdep/DangH13.html">dblp:conf/hotdep/DangH13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xe5soaxhengtxcufr5oahrxyoq">fatcat:xe5soaxhengtxcufr5oahrxyoq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809015045/https://www.zurich.ibm.com/~cca/www.hotdep2013.org/proc-hotdep13.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/7f/3e/7f3e7b4d269c785fb6cf11faa8a4075ec1e9dc7a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2524224.2524226"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>