Pulse: A Dynamic Deadlock Detection Mechanism Using Speculative Execution
暂无分享,去创建一个
Tong Li | Carla Schlatter Ellis | Daniel J. Sorin | Alvin R. Lebeck | A. Lebeck | Tong Li | C. Ellis | D. Sorin
[1] Some Deadlock Properties of Computer Systems , 1972, CSUR.
[2] Richard C. Holt,et al. Some Deadlock Properties of Computer Systems , 1972, CSUR.
[3] Mukesh Singhal,et al. Deadlock detection in distributed systems , 1989, Computer.
[4] Patrice Godefroid,et al. Model checking for programming languages using VeriSoft , 1997, POPL '97.
[5] Gerard J. Holzmann,et al. The Model Checker SPIN , 1997, IEEE Trans. Software Eng..
[6] 허윤정,et al. Holzmann의 ˝The Model Checker SPIN˝에 대하여 , 1998 .
[7] Garth A. Gibson,et al. Automatic I/O hint generation through speculative execution , 1999, OSDI '99.
[8] James C. Corbett,et al. Bandera: extracting finite-state models from Java source code , 2000, ICSE.
[9] Klaus Havelund,et al. Model checking programs , 2000, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering.
[10] Klaus Havelund,et al. Using Runtime Analysis to Guide Model Checking of Java Programs , 2013, SPIN.
[11] C. Waldspurger. Memory resource management in VMware ESX server , 2002, OSDI '02.
[12] Fay W. Chang,et al. Operating System I/O Speculation: How Two Invocations Are Faster Than One , 2003, USENIX Annual Technical Conference, General Track.
[13] Dawson R. Engler,et al. RacerX: effective, static detection of race conditions and deadlocks , 2003, SOSP '03.
[14] HarrisTim,et al. Xen and the art of virtualization , 2003 .