Skip to main content
SpringerLink
Log in

A Novel “Bi-directional Execution” Approach to Debugging Distributed Programs

  • Conference paper
High Performance Computing – HiPC’99 (HiPC 1999)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1745))

Included in the following conference series:

  • 265 Accesses

Abstract

Conventional debuggers do not allow users to go back and examine the program states at Statements which have already been executed. In case the user wants to examine the program state at a statement which WM executed sometime back, he is forced to restart the entire debugging process. To overcome this problem, we examine the issue of bidirectional execution of programs. To this end, we introduce the concepts of inverse of a statement and inverse of a program. We describe our implementation of a debugger which tan execute distributed programs in either forward or backward direction depending upon an option dynamically set by the user.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Biswas, B., Mall, R.: Reverse Execution of Programs. ACM SIGPLAN Notices 34(4), 61–69 (1999)

    Article  Google Scholar 

  2. Mall, R.: Fundamentals of Software Engineering. Prentice Hall of India, New Delhi (1998)

    Google Scholar 

  3. Kerninghan, B., Ritchie, D.: The C Programming Language. Prentice Hall of India, New Delhi (1988)

    Google Scholar 

  4. Johnson, J.D., Kenney, G.W.: Implementation Issues for a Source Level Symbolic Debugger(Extended Abstract). ACM SIGPLAN Notices 18(8), 149–151 (1983)

    Article  Google Scholar 

  5. Cezzar, R.: The Design of a Processor Architecture Capable of Forward and Reverse Execution. In: Proceedings of IEEE SOUTHEASTCON 1991, vol. 2, pp. 885–890 (April 1991)

    Google Scholar 

  6. Biswas, B.: Reverse Execution of Programs, Master’s Thesis, CSE Department, IIT, Kharagpur, India (December 1998)

    Google Scholar 

  7. Bennett, C.H., Landauer, R.: The Fundamental Physical Limits of Computation. Sci. American 253 (July 1985)

    Google Scholar 

  8. Briggs, J.S.: Generating Reversible Programs. Software — Practice and Experience 17(7), 439–453 (1987)

    Article  Google Scholar 

  9. Leeman Jr., G.B.: A form.al Approach to undo Operations in Programming Languages. ACM Transactions on Programming Languages and Systems 8(1), 50–87 (1986)

    Article  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computing, Curtin University of Technology, GPO Box U 1987, Perth, 6845, Australia

    R. Mall

Authors
  1. R. Mall
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. College of Engineering, University of Illinois at Chicago, 851 South Morgan Street, IL 60607-7043, Chicago

    Prith Banerjee

  2. Department of Electrical Engineering, University of Southern California, CA 90089-2562, Los Angeles, USA

    Viktor K. Prasanna

  3. Indian Statistical Institute, ACM Unit, 700 108, Kolkata, India

    Bhabani P. Sinha

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Mall, R. (1999). A Novel “Bi-directional Execution” Approach to Debugging Distributed Programs. In: Banerjee, P., Prasanna, V.K., Sinha, B.P. (eds) High Performance Computing – HiPC’99. HiPC 1999. Lecture Notes in Computer Science, vol 1745. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-46642-0_14

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-46642-0_14

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-66907-4

  • Online ISBN: 978-3-540-46642-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation