PPT-Language-Based Replay

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. Database Replay Page 2 Database Replay Page 3 Note:....................................................................................................................2Introduction. 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. References. : 1. 11.2.2, 11.3, 11.4 of Huang or . 2. 6.1- 6.8 of Becchetti, or. 3. 4.1- 4.5, 8.3 of Jelinek. Language Modeling. : providing linguistic constraints to help the selection of correct words. Interactive record/replay for web apps. Brian Burg. Andrew J. Ko. Michael D. Ernst. Computer Science and Engineering. University of Washington. Richard J. Bailey. 1. “It’s hard to debug failures in the field”. 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 . Smruti. R. Sarangi. Computer Science and Engineering, IIT Delhi. Contents. OOO Processor with an Architectural Register File. Aggressive Speculation and Replay. Uses of Aggressive Speculation. 2. Let us now look at a different kind of OOO processor. 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. Smruti. R. Sarangi. Computer Science and Engineering, IIT Delhi. Contents. OOO Processor with an Architectural Register File. Aggressive Speculation and Replay. Uses of Aggressive Speculation. 2. Let us now look at a different kind of OOO processor. 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. Rule 12, Section 3, Article 6 (c) allows for replay to review game clock at end of a period. . If there is a significant mistake related to the game clock replay can fix regardless of review. . END OF PERIOD. Rule 12, Section 3, Article 6 (c) allows for replay to review game clock at end of a period. . If there is a significant mistake related to the game clock replay can fix regardless of review. . END OF PERIOD. Rule 12, Section 3, Article 6 (c) allows for replay to review game clock at end of a period. . If there is a significant mistake related to the game clock replay can fix regardless of review. . END OF PERIOD. 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.