ODR: output-deterministic replay for multicore debugging
暂无分享,去创建一个
[1] David L. Dill,et al. A Decision Procedure for Bit-Vectors and Arrays , 2007, CAV.
[2] Sanjay Bhansali,et al. Framework for instruction-level tracing and analysis of program executions , 2006, VEE '06.
[3] David Lie,et al. Relaxed Determinism: Making Redundant Execution on Multiprocessors Practical , 2007, HotOS.
[4] Josep Torrellas,et al. DeLorean: Recording and Deterministically Replaying Shared-Memory Multiprocessor Execution Ef?ciently , 2008, 2008 International Symposium on Computer Architecture.
[5] Derek Hower,et al. Rerun: Exploiting Episodes for Lightweight Memory Race Recording , 2008, 2008 International Symposium on Computer Architecture.
[6] Nicholas Nethercote,et al. Valgrind: a framework for heavyweight dynamic binary instrumentation , 2007, PLDI '07.
[7] David A. Patterson,et al. Computer Architecture, Fifth Edition: A Quantitative Approach , 2011 .
[8] Scott Shenker,et al. Replay debugging for distributed applications , 2006 .
[9] Peter M. Chen,et al. Execution replay of multiprocessor virtual machines , 2008, VEE '08.
[10] D. Wagner,et al. Catchconv : Symbolic execution and run-time type inference for integer conversion errors , 2007 .
[11] Leslie Lamport,et al. Time, clocks, and the ordering of events in a distributed system , 1978, CACM.
[12] Josep Torrellas,et al. Capo: a software-hardware interface for practical deterministic multiprocessor replay , 2009, ASPLOS.
[13] Harish Patil,et al. Pin: building customized program analysis tools with dynamic instrumentation , 2005, PLDI '05.
[14] Anant Agarwal,et al. TraceBack: first fault diagnosis by reconstruction of distributed control flow , 2005, PLDI '05.
[15] Dawson R. Engler,et al. EXE: Automatically Generating Inputs of Death , 2008, TSEC.
[16] James C. King,et al. Symbolic execution and program testing , 1976, CACM.
[17] Samuel T. King,et al. Debugging Operating Systems with Time-Traveling Virtual Machines (Awarded General Track Best Paper Award!) , 2005, USENIX Annual Technical Conference, General Track.
[18] Josep Torrellas,et al. DeLorean: Recording and Deterministically Replaying Shared-Memory Multiprocessor Execution Ef?ciently , 2008, International Symposium on Computer Architecture.
[19] Anoop Gupta,et al. The SPLASH-2 programs: characterization and methodological considerations , 1995, ISCA.
[20] Koen De Bosschere,et al. RecPlay: a fully integrated practical record/replay system , 1999, TOCS.
[21] Yasushi Saito,et al. Jockey: a user-space library for record-replay debugging , 2005, AADEBUG'05.
[22] Xuezheng Liu,et al. Usenix Association 8th Usenix Symposium on Operating Systems Design and Implementation R2: an Application-level Kernel for Record and Replay , 2022 .