DoublePlay: parallelizing sequential logging and replay
暂无分享,去创建一个
Satish Narayanasamy | Jason Flinn | Peter M. Chen | Kaushik Veeraraghavan | Benjamin Wester | Jessica Ouyang | Dongyoon Lee | J. Flinn | Peter M. Chen | S. Narayanasamy | Benjamin Wester | K. Veeraraghavan | Dongyoon Lee | Jessica Ouyang
[1] Satish Narayanasamy,et al. Respec: efficient online multiprocessor replayvia speculation and external determinism , 2010, ASPLOS XV.
[2] Josep Torrellas,et al. DeLorean: Recording and Deterministically Replaying Shared-Memory Multiprocessor Execution Ef?ciently , 2008, 2008 International Symposium on Computer Architecture.
[3] Satish Narayanasamy,et al. Respec: Efficient Online Multiprocessor Replay via Speculation and External Determinism , 2010, ASPLOS 2010.
[4] R. Bodík,et al. A "flight data recorder" for enabling full-system multiprocessor deterministic replay , 2003, 30th Annual International Symposium on Computer Architecture, 2003. Proceedings..
[5] Robert H. B. Netzer. Optimal tracing and replay for debugging shared-memory parallel programs , 1993, PADD '93.
[6] Mark Russinovich,et al. Replay for concurrent non-deterministic shared-memory applications , 1996, PLDI '96.
[7] Srikanth Kandula,et al. Flashback: A Light-weight Rollback and Deterministic Replay Extension for Software Debugging , 2004 .
[8] Chen Ding,et al. Fast Track: A Software System for Speculative Program Optimization , 2009, 2009 International Symposium on Code Generation and Optimization.
[9] Josep Torrellas,et al. DeLorean: Recording and Deterministically Replaying Shared-Memory Multiprocessor Execution Ef?ciently , 2008, International Symposium on Computer Architecture.
[10] Thomas J. LeBlanc,et al. A software instruction counter , 1989, ASPLOS III.
[11] Anoop Gupta,et al. The SPLASH-2 programs: characterization and methodological considerations , 1995, ISCA.
[12] Jeffrey Overbey,et al. A type and effect system for deterministic parallel Java , 2009, OOPSLA 2009.
[13] Koen De Bosschere,et al. RecPlay: a fully integrated practical record/replay system , 1999, TOCS.
[14] Seth Copen Goldstein,et al. Hardware-assisted replay of multiprocessor programs , 1991, PADD '91.
[15] Brandon Lucia,et al. Conflict exceptions: simplifying concurrent language semantics with precise hardware exceptions for data-races , 2010, ISCA.
[16] Thomas J. LeBlanc,et al. Debugging Parallel Programs with Instant Replay , 1987, IEEE Transactions on Computers.
[17] Satish Narayanasamy,et al. BugNet: continuously recording program execution for deterministic replay debugging , 2005, 32nd International Symposium on Computer Architecture (ISCA'05).
[18] Satish Narayanasamy,et al. Detecting and surviving data races using complementary schedules , 2011, SOSP.
[19] Dan Grossman,et al. CoreDet: a compiler and runtime system for deterministic multithreaded execution , 2010, ASPLOS 2010.
[20] Emery D. Berger,et al. Grace: safe multithreaded programming for C/C++ , 2009, OOPSLA 2009.
[21] Ion Stoica,et al. ODR: output-deterministic replay for multicore debugging , 2009, SOSP '09.
[22] Yuanyuan Zhou,et al. PRES: probabilistic replay with execution sketching on multiprocessors , 2009, SOSP '09.
[23] Christof Fetzer,et al. Prospect: a compiler framework for speculative parallelization , 2010, CGO '10.
[24] Satish Narayanasamy,et al. DoublePlay: Parallelizing Sequential Logging and Replay , 2012, ACM Trans. Comput. Syst..
[25] Monica S. Lam,et al. Enhancing software reliability with speculative threads , 2002, ASPLOS X.
[26] Ozalp Babaoglu,et al. ACM Transactions on Computer Systems , 2007 .
[27] Min Xu. ReTrace : Collecting Execution Trace with Virtual Machine Deterministic Replay , 2007 .
[28] Norman C. Hutchinson,et al. Deciding when to forget in the Elephant file system , 1999, SOSP.
[29] Jong-Deok Choi,et al. A perturbation-free replay platform for cross-optimized multithreaded applications , 2001, Proceedings 15th International Parallel and Distributed Processing Symposium. IPDPS 2001.
[30] 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.
[31] Min Xu,et al. A "flight data recorder" for enabling full-system multiprocessor deterministic replay , 2003, ISCA '03.
[32] Babak Falsafi,et al. ParaLog: enabling and accelerating online parallel monitoring of multithreaded applications , 2010, ASPLOS XV.
[33] Fred B. Schneider,et al. Hypervisor-based fault tolerance , 1996, TOCS.
[34] Tal Garfinkel,et al. VMwareDecoupling Dynamic Program Analysis from Execution in Virtual Environments , 2008, USENIX Annual Technical Conference.
[35] Yuanyuan Zhou,et al. Triage: diagnosing production run failures at the user's site , 2007, SOSP.
[36] Peter M. Chen,et al. Execution replay of multiprocessor virtual machines , 2008, VEE '08.
[37] Xiangyu Zhang,et al. Analyzing multicore dumps to facilitate concurrency bug reproduction , 2010, ASPLOS XV.
[38] Marek Olszewski,et al. Kendo: efficient deterministic multithreading in software , 2009, ASPLOS.
[39] Satish Narayanasamy,et al. Recording shared memory dependencies using strata , 2006, ASPLOS XII.
[40] Stuart I. Feldman,et al. IGOR: a system for program debugging via reversible execution , 1988, PADD '88.
[41] Thomas Ball,et al. Finding and Reproducing Heisenbugs in Concurrent Programs , 2008, OSDI.
[42] Luis Ceze,et al. Deterministic Process Groups in dOS , 2010, OSDI.
[43] Satish Narayanasamy,et al. Offline symbolic analysis for multi-processor execution replay , 2009, 2009 42nd Annual IEEE/ACM International Symposium on Microarchitecture (MICRO).
[44] Brandon Lucia,et al. DMP: deterministic shared memory multiprocessing , 2009, IEEE Micro.
[45] Derek Hower,et al. Rerun: Exploiting Episodes for Lightweight Memory Race Recording , 2008, 2008 International Symposium on Computer Architecture.
[46] Sen Hu,et al. Efficient system-enforced deterministic parallelism , 2010, OSDI.
[47] Jason Flinn,et al. Rethink the sync , 2006, OSDI '06.
[48] Todd C. Mowry,et al. The potential for using thread-level data speculation to facilitate automatic parallelization , 1998, Proceedings 1998 Fourth International Symposium on High-Performance Computer Architecture.
[49] Jason Flinn,et al. Parallelizing security checks on commodity hardware , 2008, ASPLOS.
[50] Gurindar S. Sohi,et al. Multiscalar processors , 1995, Proceedings 22nd Annual International Symposium on Computer Architecture.
[51] Sanjay Bhansali,et al. Framework for instruction-level tracing and analysis of program executions , 2006, VEE '06.
[52] Eric Rotenberg,et al. Slipstream processors: improving both performance and fault tolerance , 2000, SIGP.
[53] Jason Nieh,et al. Transparent, lightweight application execution replay on commodity multiprocessor operating systems , 2010, SIGMETRICS '10.
[54] Satish Narayanasamy,et al. Automatic logging of operating system effects to guide application-level architecture simulation , 2006, SIGMETRICS '06/Performance '06.
[55] Jason Flinn,et al. quFiles: The right file at the right time , 2010, TOS.
[56] Randal C. Burns,et al. Ext3cow: a time-shifting file system for regulatory compliance , 2005, TOS.
[57] Norman C. Hutchinson,et al. Deciding when to forget in the elephant file system , 2000, OPSR.
[58] Samuel T. King,et al. ReVirt: enabling intrusion analysis through virtual-machine logging and replay , 2002, OPSR.
[59] Gurindar S. Sohi,et al. Master/Slave Speculative Parallelization , 2002, 35th Annual IEEE/ACM International Symposium on Microarchitecture, 2002. (MICRO-35). Proceedings..
[60] George Candea,et al. Execution synthesis: a technique for automated software debugging , 2010, EuroSys '10.