demonstration

LEAP: lightweight deterministic multi-processor replay of concurrent java programs

Authors:

Jeff Huang,

Peng Liu,

Charles ZhangAuthors Info & Claims

FSE '10: Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering

Pages 385 - 386

https://doi.org/10.1145/1882291.1882361

Published: 07 November 2010 Publication History

Get Access

Abstract

The technique of deterministic record and replay aims at faithfully reenacting an earlier program execution. For concurrent programs, it is one of the most important techniques for program understanding and debugging. This demo presents LEAP: an efficient technique as well as a tool prototype to deterministically replay concurrent Java programs on multi-processors without any changes to the host's environment. During execution, LEAP records the thread access orders w.r.t. each shared memory location. The same thread access orders are then enforced in the replay execution to drive the program to the same states. The replay determinism of this approach is underpinned by formal models and a replay theorem developed in this work. Compared to the related approaches, LEAP records much less information, and thus much more efficient.

References

[1]

Jeff Huang, Peng Liu, and Charles Zhang. LEAP: Lightweight deterministic multi-processor replay of concurrent Java programs. In FSE, 2010.

Digital Library

Google Scholar

[2]

Jong-Deok Choi and Harini Srinivasan. Deterministic replay of java multithreaded applications. In SPDT, 1998.

Digital Library

Google Scholar

[3]

Joseph Devietti, Brandon Lucia, Luis Ceze, and Mark Oskin. DMP: deterministic shared memory multi-processing. In ASPLOS, 2009.

Digital Library

Google Scholar

[4]

A. Georges, M. Christiaens, M. Ronsse, and K. De Bosschere. Jarec: a portable record/replay environment for multi-threaded java applications. Softw. Pract. Exper., 2004.

Digital Library

Google Scholar

[5]

Richard L. Halpert, Christopher J. F. Pickett, and Clark Verbrugge. Component-based lock allocation. In PACT, 2007.

Digital Library

Google Scholar

[6]

Eitan Farchi, Yarden Nir, and Shmuel Ur. Concurrent bug patterns and how to test them. IPDPS, 2003.

Digital Library

Google Scholar

[7]

Derek Hower and Mark D. Hill. Rerun: Exploiting episodes for lightweight memory race recording. In ISCA, 2008.

Digital Library

Google Scholar

[8]

http://www.sable.mcgill.ca/soot/.

Google Scholar

[9]

T. J. LeBlanc and J. M. Mellor-Crummey. Debugging parallel programs with instant replay. IEEE Trans. Comput., 1987.

Digital Library

Google Scholar

[10]

Pablo Montesinos, Luis Ceze, and Josep Torrellas. Delorean: Recording and deterministically replaying shared-memory multi-processor execution efficiently. In ISCA, 2008.

Digital Library

Google Scholar

Cited By

View all

Schwartz DKowshik APina L(2024)Jmvx: Fast Multi-threaded Multi-version Execution and Record-Replay for Managed LanguagesProceedings of the ACM on Programming Languages10.1145/36897698:OOPSLA2(1641-1669)Online publication date: 8-Oct-2024
https://dl.acm.org/doi/10.1145/3689769
Schwartz DSridharan M(2024)JMVX: Improving Record-Replay for Managed LanguagesCompanion Proceedings of the 2024 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity10.1145/3689491.3691819(13-15)Online publication date: 20-Oct-2024
https://dl.acm.org/doi/10.1145/3689491.3691819
Miller SKumar AVakharia TChen AZhuo DAnderson T(2024)Enoki: High Velocity Linux Kernel Scheduler DevelopmentProceedings of the Nineteenth European Conference on Computer Systems10.1145/3627703.3629569(962-980)Online publication date: 22-Apr-2024
https://dl.acm.org/doi/10.1145/3627703.3629569
Show More Cited By

Index Terms

LEAP: lightweight deterministic multi-processor replay of concurrent java programs
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Process validation
        Traceability
      2. Software defect analysis
        Software testing and debugging

Recommendations

LEAP: lightweight deterministic multi-processor replay of concurrent java programs
FSE '10: Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering

The technique of deterministic record and replay aims at faithfully reenacting an earlier program execution. For concurrent programs, it is one of the most important techniques for program understanding and debugging. The state of the art deterministic ...
Processor-Oblivious Record and Replay
PPoPP '17

Record-and-replay systems are useful tools for debugging non-deterministic parallel programs by first recording an execution and then replaying that execution to produce the same access pattern. Existing record-and-replay systems generally target thread-...
Processor-Oblivious Record and Replay
PPoPP '17: Proceedings of the 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming

Record-and-replay systems are useful tools for debugging non-deterministic parallel programs by first recording an execution and then replaying that execution to produce the same access pattern. Existing record-and-replay systems generally target thread-...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

FSE '10: Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering

November 2010

302 pages

ISBN:9781605587912

DOI:10.1145/1882291

General Chair:
Gruia-Catalin Roman
Washington University in St. Louis, USA
,
Program Chair:
André van der Hoek
University of California, Irvine, USA

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 07 November 2010

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Demonstration

Conference

SIGSOFT/FSE'10

Sponsor:

SIGSOFT

SIGSOFT/FSE'10: 18th ACM SIGSOFT Symposium on the Foundations of Software Engineering

November 7 - 11, 2010

New Mexico, Santa Fe, USA

Acceptance Rates

Overall Acceptance Rate 17 of 128 submissions, 13%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

34
Total Citations
View Citations
215
Total Downloads

Downloads (Last 12 months)4
Downloads (Last 6 weeks)1

Reflects downloads up to 25 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Schwartz DKowshik APina L(2024)Jmvx: Fast Multi-threaded Multi-version Execution and Record-Replay for Managed LanguagesProceedings of the ACM on Programming Languages10.1145/36897698:OOPSLA2(1641-1669)Online publication date: 8-Oct-2024
https://dl.acm.org/doi/10.1145/3689769
Schwartz DSridharan M(2024)JMVX: Improving Record-Replay for Managed LanguagesCompanion Proceedings of the 2024 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity10.1145/3689491.3691819(13-15)Online publication date: 20-Oct-2024
https://dl.acm.org/doi/10.1145/3689491.3691819
Miller SKumar AVakharia TChen AZhuo DAnderson T(2024)Enoki: High Velocity Linux Kernel Scheduler DevelopmentProceedings of the Nineteenth European Conference on Computer Systems10.1145/3627703.3629569(962-980)Online publication date: 22-Apr-2024
https://dl.acm.org/doi/10.1145/3627703.3629569
Li CJiang YXu CRoychoudhury ACadar CKim M(2022)Cross-device record and replay for Android appsProceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering10.1145/3540250.3549083(395-407)Online publication date: 7-Nov-2022
https://dl.acm.org/doi/10.1145/3540250.3549083
Chu JYu THuffman Hayes JHan XZhao Y(2021)Effective fault localization and context‐aware debugging for concurrent programsSoftware Testing, Verification and Reliability10.1002/stvr.179732:1Online publication date: 13-Oct-2021
https://doi.org/10.1002/stvr.1797
Lanese IPalacios AVidal G(2019)Causal-Consistent Replay Debugging for Message Passing ProgramsFormal Techniques for Distributed Objects, Components, and Systems10.1007/978-3-030-21759-4_10(167-184)Online publication date: 29-May-2019
https://doi.org/10.1007/978-3-030-21759-4_10
Bo LJiang SWang RYu Q(2019)A bidirectional trace simplification approach based on a context switch linked list for concurrent programsConcurrency and Computation: Practice and Experience10.1002/cpe.542332:2Online publication date: 28-Jun-2019
https://doi.org/10.1002/cpe.5423
Bo LJiang SZhang X(2018)A Constraint-Aware Optimization Method for Concurrency Bug Diagnosis Service in a Distributed Cloud EnvironmentSecurity and Communication Networks10.1155/2018/62419212018Online publication date: 9-Oct-2018
https://dl.acm.org/doi/10.1155/2018/6241921
Liu HSilvestro SWang WTian CLiu T(2018)iReplayer: in-situ and identical record-and-replay for multithreaded applicationsACM SIGPLAN Notices10.1145/3296979.319238053:4(344-358)Online publication date: 11-Jun-2018
https://dl.acm.org/doi/10.1145/3296979.3192380
Liu HSilvestro SWang WTian CLiu TFoster JGrossman D(2018)iReplayer: in-situ and identical record-and-replay for multithreaded applicationsProceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation10.1145/3192366.3192380(344-358)Online publication date: 11-Jun-2018
https://dl.acm.org/doi/10.1145/3192366.3192380
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

LEAP: lightweight deterministic multi-processor replay of concurrent java programs

Processor-Oblivious Record and Replay

Processor-Oblivious Record and Replay