PPT-DoublePlay: Parallelizing Sequential Logging and Replay

Kaushik Veeraraghavan Dongyoon Lee Benjamin Wester Jessica Ouyang Peter M Chen Jason Flinn Satish Narayanasamy University of Michigan Deterministic replay. Assume that we wish to compute. using the sequential instead of the batch algorithm. Given a set of initial conditions:. There is no . obs. at so we first do a measurement update.. Compute:. Conversion of the Sequential Filter into an Epoch State Filter. 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. IEEE RTCSA 2013 (8/21/13). Cisco Systems. Jaein Jeong. Introduction. - Embedded UNIX in many places. 2. File System. KERNEL. USER. Buffer. App. Process. App. Process. App. Process. …. log. log. log. 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. 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. Using Microsoft Tracing API. A very brief introduction. Logging and tracing. 1. Introduction. Ships must keep a written log telling speed, direction, destination, etc.. A kind of diary of the ship.. Large programs should keep a written log telling about all the major events in the “life” of the program.. 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. Java Logging. Java has built-in support for logging. Logs contain messages that provide information to. Software developers (e.g., debugging). System administrators. Customer support agents. Programs send log messages to “loggers”. Double - 1 Double - Blind Sequential Police Lineup Procedures: Toward an Integrated Laboratory & Field Practice Perspective Final Report Grant # 2004 - IJ - CX - 0044 March 31, 2007 Nancy K. Steblay Primer on Sequential Design Methods . and Design Choices. Ronan Fitzpatrick. Lead Statistician. nQuery. Webinar. Host. Agenda. Sequential Design Overview. Issues in Sequential Design. Group Sequential Design. Mihai . Dobrescu. . et al.. SOSP 2009 Best Paper. Presentor. : Hun . Namkung. Contents. Introduction. Parallelizing Across Servers. Parallelizing Within Servers. Evaluation. Conclusion. HW Router. RouteBricks.