Filters








1,698 Hits in 4.1 sec

CARE: cache guided deterministic replay for concurrent Java programs

Yanyan Jiang, Tianxiao Gu, Chang Xu, Xiaoxing Ma, Jian Lu
<span title="">2014</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/wvv27s77dvd5flktsj246kcxwu" style="color: black;">Proceedings of the 36th International Conference on Software Engineering - ICSE 2014</a> </i> &nbsp;
Deterministic replay tools help programmers debug concurrent programs. However, for long-running programs, a replay tool may generate huge log of shared memory access dependences.  ...  Results showed that CARE successfully resolved all missing read-write dependences, producing sequentially consistent replay for all benchmarks.  ...  Combining successive local memory accesses into a single log entry can greatly compact the log [8, 37] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2568225.2568236">doi:10.1145/2568225.2568236</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icse/JiangGXML14.html">dblp:conf/icse/JiangGXML14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jee2tdbbi5ct5afnpkbztlb6ge">fatcat:jee2tdbbi5ct5afnpkbztlb6ge</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170812124116/http://moon.nju.edu.cn/spar/publication/jiang_care_2014.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/ff/47/ff47d959a20ac34e6e45f64fbfdcc6e57e2efd13.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2568225.2568236"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Hardware-assisted replay of multiprocessor programs

David F. Bacon, Seth Copen Goldstein
<span title="">1991</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5c2bn7fzg5fwbcw34am6gck45m" style="color: black;">Proceedings of the 1991 ACM/ONR workshop on Parallel and distributed debugging - PADD &#39;91</a> </i> &nbsp;
This log can then be used along with hardware and software control to replay execution.  ...  Shared-memory parallel programs can be highly nondeterministic due to the unpredictable order in which shared references are satisfied.  ...  This paper describes a mechanism for providing this ability on a shared-memory multiprocessor, even for programs which exhibit very fine-grained sharing behavior.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/122759.122777">doi:10.1145/122759.122777</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/pdd/BaconG91.html">dblp:conf/pdd/BaconG91</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7z2igdjl6ne7xd4brgxhfrah3q">fatcat:7z2igdjl6ne7xd4brgxhfrah3q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20040723165651/http://www.research.ibm.com:80/people/d/dfb/papers/Bacon91Hardware.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/74/00/74009a7b268ab190a0c41fd828f7b1ef6097c095.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/122759.122777"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Hardware-assisted replay of multiprocessor programs

David F. Bacon, Seth Copen Goldstein
<span title="1991-12-01">1991</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xu5bk2lj5rbdxlx6222nw7tsxi" style="color: black;">SIGPLAN notices</a> </i> &nbsp;
This log can then be used along with hardware and software control to replay execution.  ...  Shared-memory parallel programs can be highly nondeterministic due to the unpredictable order in which shared references are satisfied.  ...  This paper describes a mechanism for providing this ability on a shared-memory multiprocessor, even for programs which exhibit very fine-grained sharing behavior.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/127695.122777">doi:10.1145/127695.122777</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7vavzj2jbrbynp3wgfxskpmdxe">fatcat:7vavzj2jbrbynp3wgfxskpmdxe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20040723165651/http://www.research.ibm.com:80/people/d/dfb/papers/Bacon91Hardware.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/74/00/74009a7b268ab190a0c41fd828f7b1ef6097c095.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/127695.122777"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

LEAP

Jeff Huang, Peng Liu, Charles Zhang
<span title="">2010</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dj7g645z6zfl5lut4iwy5walyu" style="color: black;">Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering - FSE &#39;10</a> </i> &nbsp;
The state of the art deterministic replay techniques face challenging efficiency problems in supporting multi-processor executions due to the unoptimized treatment of shared memory accesses.  ...  For concurrent programs, it is one of the most important techniques for program understanding and debugging.  ...  For long running programs, it might not be convenient to replay the whole program execution concerning the long replay time and the large log size.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1882291.1882323">doi:10.1145/1882291.1882323</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/sigsoft/HuangLZ10.html">dblp:conf/sigsoft/HuangLZ10</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/i4tcz6sayrew3hpwrwh274cdiq">fatcat:i4tcz6sayrew3hpwrwh274cdiq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809003522/https://parasol.tamu.edu/~jeff/academic/leap.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/56/a3/56a3e0f9dda5f27ed8bbd7dd81804597b50ef7d1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1882291.1882323"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

LEAP

Jeff Huang, Peng Liu, Charles Zhang
<span title="">2010</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dj7g645z6zfl5lut4iwy5walyu" style="color: black;">Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering - FSE &#39;10</a> </i> &nbsp;
The state of the art deterministic replay techniques face challenging efficiency problems in supporting multi-processor executions due to the unoptimized treatment of shared memory accesses.  ...  For concurrent programs, it is one of the most important techniques for program understanding and debugging.  ...  For long running programs, it might not be convenient to replay the whole program execution concerning the long replay time and the large log size.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1882291.1882361">doi:10.1145/1882291.1882361</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/sigsoft/HuangLZ10a.html">dblp:conf/sigsoft/HuangLZ10a</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vknw4yniinhifefkjx46bwldla">fatcat:vknw4yniinhifefkjx46bwldla</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809003522/https://parasol.tamu.edu/~jeff/academic/leap.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/56/a3/56a3e0f9dda5f27ed8bbd7dd81804597b50ef7d1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1882291.1882361"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

RelaxReplay

Nima Honarmand, Josep Torrellas
<span title="">2014</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/w47kezfuffdgvcobhv564rrlju" style="color: black;">Proceedings of the 19th international conference on Architectural support for programming languages and operating systems - ASPLOS &#39;14</a> </i> &nbsp;
In addition, the average size of the log produced is comparable to the log sizes reported for existing solutions, and still very small compared to the memory bandwidth of modern machines.  ...  Record and Deterministic Replay (RnR) of multithreaded programs on relaxed-consistency multiprocessors has been a long-standing problem.  ...  RnR for a program typically requires logging two sources of nondeterminism during execution, namely, external inputs to the program (e.g., results of system calls) and the interleaving of shared-memory  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2541940.2541979">doi:10.1145/2541940.2541979</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/asplos/HonarmandT14.html">dblp:conf/asplos/HonarmandT14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dnzuwujanfgindoqi5pg6xhjru">fatcat:dnzuwujanfgindoqi5pg6xhjru</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190718051148/http://iacoma.cs.uiuc.edu:80/iacoma-papers/asplos14.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/cc/ae/ccae4865d4d71565981d1fbbaa9f6e0009e5e2ef.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2541940.2541979"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

RelaxReplay

Nima Honarmand, Josep Torrellas
<span title="2014-04-05">2014</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/35q3ync5nbhnjfpylznlz57lyi" style="color: black;">SIGARCH Computer Architecture News</a> </i> &nbsp;
In addition, the average size of the log produced is comparable to the log sizes reported for existing solutions, and still very small compared to the memory bandwidth of modern machines.  ...  Record and Deterministic Replay (RnR) of multithreaded programs on relaxed-consistency multiprocessors has been a long-standing problem.  ...  RnR for a program typically requires logging two sources of nondeterminism during execution, namely, external inputs to the program (e.g., results of system calls) and the interleaving of shared-memory  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2654822.2541979">doi:10.1145/2654822.2541979</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/akmhfdpqxrhjdetodhdylrok3e">fatcat:akmhfdpqxrhjdetodhdylrok3e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200509010421/https://dl.acm.org/doi/pdf/10.1145/2654822.2541979?download=true" 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/4b/ef/4befc24d8013fcd36849684ac0a1a2ab011d2d71.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2654822.2541979"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

A regulated transitive reduction (RTR) for longer memory race recording

Min Xu, Mark D. Hill, Rastislav Bodik
<span title="">2006</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/w47kezfuffdgvcobhv564rrlju" style="color: black;">Proceedings of the 12th international conference on Architectural support for programming languages and operating systems - ASPLOS-XII</a> </i> &nbsp;
Memory race recording is a key technology for multithreaded deterministic replay.  ...  Netzer's Transitive Reduction (TR) [21] , generates the most compact log among existing partial order race recording algorithms. TR logs only conflicts.  ...  We are grateful to Mike Marty, Kevin Moore, Dan Gibson and Luke Yen for proofreading the paper and other fellow architecture students at UW for continuous support.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1168857.1168865">doi:10.1145/1168857.1168865</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/asplos/XuHB06.html">dblp:conf/asplos/XuHB06</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vkew2esr45fdpmypiwzfgtzmbm">fatcat:vkew2esr45fdpmypiwzfgtzmbm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809122038/http://research.cs.wisc.edu/multifacet/papers/asplos06_rtr.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/fb/9d/fb9d55a710b62d2d98af089661bc2283f4cf0902.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1168857.1168865"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Online shared memory dependence reduction via bisectional coordination

Yanyan Jiang, Chang Xu, Du Li, Xiaoxing Ma, Jian Lu
<span title="">2016</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dj7g645z6zfl5lut4iwy5walyu" style="color: black;">Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016</a> </i> &nbsp;
Order of shared memory accesses, known as the shared memory dependence, is the cornerstone of dynamic analyses of concurrent programs.  ...  We present the first online software-only algorithm to reduce shared memory dependences without vector clock maintenance, opening a new direction to a broad range of applications (e.g., deterministic replay  ...  This work was supported in part by National Basic Research 973 Program (Grant #2015CB352202), National Natural Science Foundation (Grant #61472174, #91318301, #61321491) of China, the program for Outstanding  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2950290.2950326">doi:10.1145/2950290.2950326</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/sigsoft/0001XLML16.html">dblp:conf/sigsoft/0001XLML16</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/innt54yorvdp3lh3wglczwntrm">fatcat:innt54yorvdp3lh3wglczwntrm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190218133424/https://static.aminer.org/pdf/20170130/pdfs/sigsoft/msubsoj453hbwlunnf6a8xiv1pqcf02k.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/9b/12/9b12d777cc891f0452e3b5283bc7336d4af771c5.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2950290.2950326"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Lightweight Record-and-Replay for Intermittent Tests Failures [article]

Omar S Navarro Leija, Alan Jeffrey
<span title="2019-09-06">2019</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
We believe with further work lightweight RR could prove useful for lowering nondeterminism in programs at a negligible performance overhead.  ...  In contrast to traditional "fully deterministic" RR solutions, lightweight RR focuses on handling nondeterminism arising from thread communication for programs with concurrent, message-passing architectures  ...  Channels can be implemented using shared memory, with lock or lock-free queues. Channels have comparable performance to the lock and shared memory approach.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1909.03111v1">arXiv:1909.03111v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pbld2ebi7fgbbnhwwma6rtktau">fatcat:pbld2ebi7fgbbnhwwma6rtktau</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200914162749/https://arxiv.org/pdf/1909.03111v1.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/f3/6d/f36d59de26cf045e41ce90c22c475bd3026bb947.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1909.03111v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Rainbow: Efficient memory dependence recording with high replay parallelism for relaxed memory model

Xuehai Qian, He Huang, B. Sahelices, Depei Qian
<span title="">2013</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/n7ljjecrpje5pj66pk4pvx65qu" style="color: black;">2013 IEEE 19th International Symposium on High Performance Computer Architecture (HPCA)</a> </i> &nbsp;
Architectures for record-and-replay (R&R) of multithreaded applications ease program debugging, intrusion analysis and fault-tolerance.  ...  Our simulation results with 10 SPLASH-2 benchmarks show that Rainbow reduces the log size by 26.6% and improves replay speed by 26.8% compared to Strata.  ...  Overall, we report that Rainbow's log compact technique is effective in reducing the log size with small hardware cost.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/hpca.2013.6522349">doi:10.1109/hpca.2013.6522349</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/hpca/QianHSQ13.html">dblp:conf/hpca/QianHSQ13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/aqoz64wofrf5tjayr5v2ayskfu">fatcat:aqoz64wofrf5tjayr5v2ayskfu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160411203352/http://www-bcf.usc.edu:80/~xuehaiqi/download/qian_rainbow.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/b8/d1/b8d149379314ea099d26e1f651096c4c2773e9d5.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/hpca.2013.6522349"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Transition Watchpoints: Teaching Old Debuggers New Tricks

Kapil Arya, Tyler Denniston, Ariel Rabkin, Gene Cooperman
<span title="2017-04-01">2017</span> <i title="Aspect-Oriented Software Association (AOSA)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/nks2jw5aknfoxj2ck6xoi3hcl4" style="color: black;">The Art, Science, and Engineering of Programming</a> </i> &nbsp;
This allows for debugging of subtle bugs that appear only after minutes or more of program execution. When a bug occurs within seconds of program startup, repeated debugging sessions suffice.  ...  Reversible debuggers and process replay have been developed at least since 1970. This vision enables one to execute backwards in time under a debugger.  ...  "DMP: Deterministic Shared Memory Multiprocessing". In: Proceedings of the th International Conference on Architectural Support for Programming Languages and Operating Systems. ASPLOS XIV.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.22152/programming-journal.org/2017/1/16">doi:10.22152/programming-journal.org/2017/1/16</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2tvi33gbpjfp5lzpzdcvmjlale">fatcat:2tvi33gbpjfp5lzpzdcvmjlale</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200928204700/https://arxiv.org/ftp/arxiv/papers/1703/1703.10864.pdf" title="fulltext PDF download [not primary version]" 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] <span style="color: #f43e3e;">&#10033;</span> <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/c2/1c/c21cdafdae452a824e5b21394aa0845efa320297.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.22152/programming-journal.org/2017/1/16"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Repeatable Reverse Engineering with PANDA

Brendan Dolan-Gavitt, Josh Hodosh, Patrick Hulin, Tim Leek, Ryan Whelan
<span title="">2015</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5i22f6noqzcuzalvmf6ckdmcmy" style="color: black;">Proceedings of the 5th Program Protection and Reverse Engineering Workshop on - PPREW-5</a> </i> &nbsp;
PANDA adds the ability to record and replay executions, enabling iterative, deep, whole system analyses. Further, the replay log files are compact and shareable, allowing for repeatable experiments.  ...  In this way, PANDA can have a single dynamic taint analysis, for example, that precisely supports many CPUs.  ...  It is also fairly compact despite the fact that our ND log must capture the contents of DMA inputs. Table I gives the ND log sizes for a number of architectures, workflows, and replay times.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2843859.2843867">doi:10.1145/2843859.2843867</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/acsac/Dolan-GavittHHL15.html">dblp:conf/acsac/Dolan-GavittHHL15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bv2jyc5n4fd4rofa7mkuplvwce">fatcat:bv2jyc5n4fd4rofa7mkuplvwce</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200326155716/https://apps.dtic.mil/dtic/tr/fulltext/u2/1034415.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/0e/60/0e60713b522645470afc6560e27f74c925f22c1e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2843859.2843867"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Karma

Arkaprava Basu, Jayaram Bobba, Mark D. Hill
<span title="">2011</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/3sq4a52jknfqpfyjfszyrlkedm" style="color: black;">Proceedings of the international conference on Supercomputing - ICS &#39;11</a> </i> &nbsp;
The important challenge of handling shared memory races (that can occur on any memory reference) can be made more efficient with hardware support.  ...  Results with several commercial workloads on a 16-core system show that Karma can achieve replay speed (a) within 19%-28% of native execution speed without record-replay and (b) four times faster than  ...  Moreover, for low recording overhead, it should be fast to create during recording and compact to log.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1995896.1995950">doi:10.1145/1995896.1995950</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ics/BasuBH11.html">dblp:conf/ics/BasuBH11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gveqwsqb4vgghfegwn6wf7bela">fatcat:gveqwsqb4vgghfegwn6wf7bela</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808212558/http://research.cs.wisc.edu/multifacet/papers/ics11_karma.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/a8/eb/a8ebc8faf65fe4e03718d415c3a865eb31e47138.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1995896.1995950"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Summarized Trace Indexing and Querying for Scalable Back-in-Time Debugging [chapter]

Guillaume Pothier, Éric Tanter
<span title="">2011</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
For querying, the index provides coarse answers at the level of execution blocks, which are then replayed to find the exact answer.  ...  Back-in-time debuggers offer an interactive exploration interface to execution traces. However, maintaining a good level of interactivity with large execution traces is challenging.  ...  Initial Replay The main task of the replayer is to inject the recorded outcomes of nondeterministic operations into the replayed program.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-22655-7_26">doi:10.1007/978-3-642-22655-7_26</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xel3ltjm5nhydpgu4bamxlkhsm">fatcat:xel3ltjm5nhydpgu4bamxlkhsm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808015125/http://courses.cs.washington.edu/courses/cse503/11au/readings/PothierT2011.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/59/12/5912e580664e8c7ad0e02e9736b96fae03cfd138.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-22655-7_26"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 1,698 results