2026-09-22T06:26:51Z https://www.ideals.illinois.edu/oai-pmh

oai:www.ideals.illinois.edu:2142/92729 2023-07-11 col_2142_5131 com_2142_5130

application/pdf http://hdl.handle.net/2142/92729 en Copyright 2016 Russell Jones Record and Replay Causal Consistency Memory Consistency Vaidya, Nitin Jones, Russell Llewellyn 2016-11-10T17:49:55Z 2016-11-10T17:49:55Z 2016-06-27 2016-08 In the area of debugging parallel executions, record and replay is a technique that allows deterministic debugging even in the presence of data races. It is useful as most programmers are used to re-executing programs to find bugs. However, very little is known about how the consistency model affects record and replay. Previous work only applied to very strong consistency models, or to a specific architecture of shared memory. Very little theoretical basis has been developed for record and replay. This thesis makes three contributions: • An algorithm that records the minimum record for record and replay under causal consistency. • A demonstration that guaranteeing progress for a given replay mechanism can depend on the consistency model. • A demonstration that heterogeneous consistency record and replay is possible, that is, it is possible to record an execution on one consistency model and replay it on another. Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2016-11-09 without embargo terms The student, Russell Jones, accepted the attached license on 2016-06-25 at 15:46. The student, Russell Jones, submitted this Thesis for approval on 2016-06-25 at 16:21. This Thesis was approved for publication on 2016-06-27 at 13:11. DSpace SAF Submission Ingestion Package generated from Vireo submission #9704 on 2016-11-09 at 10:21:58 Made available in DSpace on 2016-11-10T17:49:55Z (GMT). No. of bitstreams: 2 JONES-THESIS-2016.pdf: 494890 bytes, checksum: aef8b15a6ba4542e130698d85cdbab91 (MD5) LICENSE.txt: 4210 bytes, checksum: 5f98810d49e67ee1fc24ad3859d77b4f (MD5) Previous issue date: 2016-06-27 Distributed Memory Distributed Computing Record and replay under relaxed consistency text text Electrical & Computer Eng Electrical & Computer Engr University of Illinois at Urbana-Champaign Thesis M.S.