article

Free access

Detection and recovery of endangered variables caused by instruction scheduling

Authors:

Ali-Reza Adl-Tabatabai,

Thomas GrossAuthors Info & Claims

ACM SIGPLAN Notices, Volume 28, Issue 6

Pages 13 - 25

https://doi.org/10.1145/173262.155092

Published: 01 June 1993 Publication History

PDF eReader

Abstract

Instruction scheduling re-orders and interleaves instruction sequences from different source statements. This impacts the task of a symbolic debugger, which attempts to present the user a picture of program execution that matches the source program. At a breakpoint B, if the value in the run-time location of a variable V may not correspond to the value the user expects V to have, then this variable is endangered at B. This paper describes an approach to detecting and recovering endangered variables caused by instruction scheduling. We measure the effects of instruction scheduling on a symbolic debugger's ability to recover source values at a breakpoint. This paper reports measurements for three C programs from the SPEC suite and a collection of programs from the Numerical Recipes, which have been compiled with a variant of a commercial C compiler.

References

[1]

A. Adl-Tabatabai and T. Gross. Evicted variables and symbolic debugging of optimized code. In Proc. 20th POPL Conf., pages 371 - 383. ACM, January 1993.

Digital Library

Google Scholar

[2]

Ali-Reza Adl-Tabatabai. Nonresident and endangered variables: The effects of code generation optimizations on symbolic debugging. Technical Report CMU-CS-92-221, CMU, December 1992.

Digital Library

Google Scholar

[3]

S. Borkar, R. Cohn, G. Cox, S. Gleason, T. Gross, H. T. Kung, M. Lam, B. Moore, C. Peterson, J. Pieper, L. Rankin, P. S. Tseng, J. Sutton, J. Urbanski, and J. Webb. iwarp: An integrated solution to high-speed parallel computing. In Proceedings of Supercomputing '88, pages 330-339, Orlando, Florida, November 1988. IEEE Computer Society and ACM SIGARCH.

Digital Library

Google Scholar

[4]

G. Brooks, G. Hansen, and S. Simmons. A new approach to debugging optimized code. in Proc. SIG- PLAN'92 Conf. on PLDi, pages 1-11. ACM SIG- PLAN, June 1992.

Digital Library

Google Scholar

[5]

M. Copperman. Debugging optimized code without being misled. Technical Report 92-01, UC Santa Cruz, May 1992.

Digital Library

Google Scholar

[6]

M. Copperman. Personal communication. 1992.

Google Scholar

[7]

D. S. Coutant, S. Meloy, and M. Ruscetta. Doc: A practical approach to source-level debugging of globally optimized code. In Proc. SiGPLAN 1988 Conf. on PLDI, pages 125-134. ACM, June 1988.

Digital Library

Google Scholar

[8]

J. L. Hennessy. Symbolic debugging of optimized code. A CM Trans. on Programming Languages and Systems, 4(3):323 - 344, July 1982.

Digital Library

Google Scholar

[9]

B. W. Kernighan and D. M. Ritchie. The C Programming Language. Prentice-Hall, Inc., Englewood Cliffs, New Jersey, 1978.

Digital Library

Google Scholar

[10]

P. Kessler. Fast breakpoints: Design and implementation, in Proc. A CM SiGPLAN'90 Conf. on PLDL pages 78-84. ACM, June 1990.

Digital Library

Google Scholar

[11]

W. H. Press, B. P. Flannery, S. A Teukolsky, and W. T. Vetterling. Numerical Recipes in C. Cambridge University Press, 1991.

Google Scholar

[12]

J. Uniejewski. Spec benchmark suite: Designed for today's advanced systems. SPEC Newsletter, 1(1), Fall 1989.

Google Scholar

[13]

R. Wahbe. Efficient data breakpoints. In Proc. Fifth Intl. Conf. on Architectural Support for Programruing Languages and Operating Systems (ASPLOS V), pages 200- 212, Boston, October 1992. ACM/IEEE.

Digital Library

Google Scholar

[14]

P. Zellweger. An interactive high-level debugger for control-flow optimized programs. In Proc. of the A CM SiGSOFT/SIGPLAN Software Engineering Symposium on High-Level Debugging, pages 159- 171. ACM, 1983.

Digital Library

Google Scholar

Cited By

View all

Venturini HRiss FFernandez JSantana MFalk H(2008)A fully-non-transparent approach to the code location problemProceedings of the 11th international workshop on Software & compilers for embedded systems10.1145/1361096.1361108(61-68)Online publication date: 13-Mar-2008
https://dl.acm.org/doi/10.1145/1361096.1361108
Dhamdhere DSankaranarayanan K(1998)Dynamic currency determination in optimized programsACM Transactions on Programming Languages and Systems10.1145/295656.29565720:6(1111-1130)Online publication date: 1-Nov-1998
https://dl.acm.org/doi/10.1145/295656.295657
Tucker KHarrison DCohen N(1997)Debugging highly-optimized Ada with code motion (DHACM)Proceedings of the conference on TRI-Ada '9710.1145/269629.269650(197-203)Online publication date: 1-Nov-1997
https://dl.acm.org/doi/10.1145/269629.269650
Show More Cited By

Index Terms

Detection and recovery of endangered variables caused by instruction scheduling
1. Software and its engineering
  1. Software creation and management
    1. Software development techniques
      1. Error handling and recovery
    2. Software verification and validation
      1. Software defect analysis
        Software testing and debugging
  2. Software notations and tools
    1. Compilers

Recommendations

Detection and recovery of endangered variables caused by instruction scheduling
PLDI '93: Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation

Instruction scheduling re-orders and interleaves instruction sequences from different source statements. This impacts the task of a symbolic debugger, which attempts to present the user a picture of program execution that matches the source program. At ...
Effective instruction scheduling with limited registers
Retargetable instruction scheduling for pipelined processors

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ACM SIGPLAN Notices Volume 28, Issue 6

June 1993

313 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/173262

Editor:
Richard Wexelblat
IDA/CSED, Alexandria, VA

Issue’s Table of Contents

PLDI '93: Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation
August 1993
313 pages
ISBN:0897915984
DOI:10.1145/155090
Editor:
Robert Cartwright
Rice Univ., Houston, TX

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 1993

Published in SIGPLAN Volume 28, Issue 6

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

31
Total Citations
View Citations
371
Total Downloads

Downloads (Last 12 months)70
Downloads (Last 6 weeks)17

Reflects downloads up to 24 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Venturini HRiss FFernandez JSantana MFalk H(2008)A fully-non-transparent approach to the code location problemProceedings of the 11th international workshop on Software & compilers for embedded systems10.1145/1361096.1361108(61-68)Online publication date: 13-Mar-2008
https://dl.acm.org/doi/10.1145/1361096.1361108
Dhamdhere DSankaranarayanan K(1998)Dynamic currency determination in optimized programsACM Transactions on Programming Languages and Systems10.1145/295656.29565720:6(1111-1130)Online publication date: 1-Nov-1998
https://dl.acm.org/doi/10.1145/295656.295657
Tucker KHarrison DCohen N(1997)Debugging highly-optimized Ada with code motion (DHACM)Proceedings of the conference on TRI-Ada '9710.1145/269629.269650(197-203)Online publication date: 1-Nov-1997
https://dl.acm.org/doi/10.1145/269629.269650
Wismüller R(1994)Debugging of globally optimized programs using data flow analysisACM SIGPLAN Notices10.1145/773473.17843029:6(278-289)Online publication date: 1-Jun-1994
https://dl.acm.org/doi/10.1145/773473.178430
Wismüller RSarkar VRyder BSoffa M(1994)Debugging of globally optimized programs using data flow analysisProceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation10.1145/178243.178430(278-289)Online publication date: 1-Aug-1994
https://dl.acm.org/doi/10.1145/178243.178430
Assaiante CD'Elia DDi Luna GQuerzoni LAamodt TJerger NSwift M(2023)Where Did My Variable Go? Poking Holes in Incomplete Debug InformationProceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 210.1145/3575693.3575720(935-947)Online publication date: 27-Jan-2023
https://dl.acm.org/doi/10.1145/3575693.3575720
Chen NComden JLiu ZGandhi AWierman A(2016)Using Predictions in Online OptimizationACM SIGMETRICS Performance Evaluation Review10.1145/2964791.290146444:1(193-206)Online publication date: 14-Jun-2016
https://dl.acm.org/doi/10.1145/2964791.2901464
Gabielkov MRamachandran AChaintreau ALegout A(2016)Social ClicksACM SIGMETRICS Performance Evaluation Review10.1145/2964791.290146244:1(179-192)Online publication date: 14-Jun-2016
https://dl.acm.org/doi/10.1145/2964791.2901462
Wang WYing LZhang J(2016)The Value of PrivacyACM SIGMETRICS Performance Evaluation Review10.1145/2964791.290146144:1(249-260)Online publication date: 14-Jun-2016
https://dl.acm.org/doi/10.1145/2964791.2901461
Cullina DKiyavash N(2016)Improved Achievability and Converse Bounds for Erdos-Renyi Graph MatchingACM SIGMETRICS Performance Evaluation Review10.1145/2964791.290146044:1(63-72)Online publication date: 14-Jun-2016
https://dl.acm.org/doi/10.1145/2964791.2901460
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

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

Abstract

References

Cited By

Index Terms

Recommendations