PPT-Efficient Deterministic Replay of Multithreaded Executions

in a Managed Language Virtual Machine Michael Bond Milind Kulkarni Man Cao Meisam Fathi Salmi Jipeng Huang Purdue Microsoft Ohio State 1 Nondeterminism is problematic Reproduce and Debug. washingtonedu httpsampacswashingtonedu Abstract The behavior of a multithreaded program does not depend only on its inputs Scheduling memory reordering timing and lowlevel hardware effects all introduce nondeterminism in the execution of multithreade via . Data Flow Cut. Microsoft Research Asia. Ming Wu. , Haoxiang Lin, Xuezheng Liu, Zhenyu Guo, Huayang Guo, Lidong Zhou, Zheng Zhang. MIT. Fan Long, Xi Wang, . Zhilei. . Xu. Outline. Motivation. Observation. Kaushik . Veeraraghavan . Dongyoon. Lee, . Benjamin . Wester. , . Jessica . Ouyang. , . Peter . M. . Chen, . Jason . Flinn. , . Satish. . Narayanasamy. University of Michigan. Deterministic replay. Exploiting Episodes for. Lightweight Memory Race . Recording. Derek . R. . Hower. and Mark D. Hill. Computer systems complex. – . more. so with . multicore. What technologies. can help?. Executive Summary. : Low-Cost Hardware Fault Detection and Diagnosis for . Multicore. Systems. Siva Kumar Sastry Hari. , Man-Lap (Alex) Li, . Pradeep Ramachandran, Byn Choi, Sarita Adve. Department of Computer Science. Yongjian. . Hu . Tanzirul. . Azim. . Iulian. . Neamtiu. Replay GPS trace. Debug . Shazam. Debug Barcode Scanner. Record-and-replay is. u. seful . in a variety of. Android development . Kaushik . Veeraraghavan . Dongyoon. Lee, . Benjamin . Wester. , . Jessica . Ouyang. , . Peter . M. . Chen, . Jason . Flinn. , . Satish. . Narayanasamy. University of Michigan. Deterministic replay. . Lee. ,. . Benjamin . Wester. , . Kaushik. . Veeraraghavan. , . Satish. . Narayanasamy. , Peter . M. Chen, and Jason . Flinn. University of Michigan, Ann Arbor . Respec. : Efficient Online Multiprocessor Replay. in a Managed Language Virtual Machine. Michael . Bond. Milind. Kulkarni. Man . Cao. Meisam. . Fathi. . Salmi. Jipeng. Huang. Purdue. Microsoft. Ohio State. 1. Nondeterminism is problematic. Reproduce and Debug. Exploiting Episodes for. Lightweight Memory Race . Recording. Derek . R. . Hower. and Mark D. Hill. Computer systems complex. – . more. so with . multicore. What technologies. can help?. Executive Summary. Are We There Yet in Industrial Cases?. Wing . Lam. . Zhengkai. Wu. . Dengfeng. Li. . Wenyu. Wang. . Tao . Xie. University of Illinois at Urbana-Champaign, USA. Haibing. . Zheng. . Hui Luo. Parallel Programs. Harish Patil, . Cristiano Pereira. , Mack Stallcup, Gregory Lueck, James Cownie. Intel Corporation. CGO 2010, Toronto, Canada. 1. Non-Determinism. Program execution is not repeatable across runs. Cryptography Lecture 6 Pseudorandom generators (PRGs) Let G be an efficient, deterministic algorithm that expands a short seed into a longer output Specifically, let |G(x)| = p(|x|) G is a PRG if: when the distribution of x is uniform, the distribution of G(x) is “indistinguishable from uniform” Data Flow Cut. Microsoft Research Asia. Ming Wu. , Haoxiang Lin, Xuezheng Liu, Zhenyu Guo, Huayang Guo, Lidong Zhou, Zheng Zhang. MIT. Fan Long, Xi Wang, . Zhilei. . Xu. Outline. Motivation. Observation.