article

Free access

Isolation and analysis of optimization errors

Authors:

Mickey R. Boyd,

David B. WhalleyAuthors Info & Claims

ACM SIGPLAN Notices, Volume 28, Issue 6

Pages 26 - 35

https://doi.org/10.1145/173262.155093

Published: 01 June 1993 Publication History

PDF eReader

References

[1]

K. Andrews, R. R. Henry, and W. K. Yamamoto, "Design and Implementation of the UW Illustrated Compiler," Proceedings of the SIGPLAN '88 Symposium on Programming Language Design and Implementation, pp. 105-114 (June 1988).

Digital Library

Google Scholar

[2]

M.E. Benitez and J. W. Davidson, "A Portable Global Optimizer and Linker;' Proceedings of the SIGPLAN '88 Symposium on Programming Language Design and Implementation, pp. 329-338 (June 1988).

Digital Library

Google Scholar

[3]

J.M. Caron and P. A. Damell, "Bugfind: A Tool for Debugging Optimizing Compilers" Sigplan Notices 25(1) pp. 17-22 (January 1990).

Digital Library

Google Scholar

[4]

J. Davidson and A. Holler, "A Study of a C Function Inliner," Software--4'ractice & Experience 18(8) pp. 775-790 (August 1988).

Digital Library

Google Scholar

[5]

J.W. Davidson, "A Retargetable Instruction Reorganizer" Proceedings of the SIGPLAN ' 86 Symposium on Compiler Construction, pp. 234-241 (June 1986).

Digital Library

Google Scholar

[6]

J.W. Davidson and C. W. Fraser, "Code Selection through Object Code Optimization" Transactions on Programming Languages and Systems 6(4) pp. 7-32 (October 1984).

Digital Library

Google Scholar

[7]

J.W. Davidson and D. B. Whalley, "A Design Environment for Addressing Archit~ture and Compiler Interactions" Microprocessors and Microsystems 15(9)pp. 459-472 (November 1991).

Crossref

Google Scholar

[8]

J. Hennessy and D. Patterson, Computer Architecture: A Quantitative Approach, Morgan Kaufmann, San Mat~, CA (1990).

Digital Library

Google Scholar

[9]

F. Mueller and D. B. Whalley, "Avoiding Unconditional Jumps by Code Replication" Proceedings of the SIGPLAN '92 Conference on Programming Language Design and Implementation, pp. 322-330 (June 1992).

Digital Library

Google Scholar

[10]

W. Wulf, R. K. Johnsson, C. B. Weinstock, S. O. Hobbs, and C. M. Geschke, The Design of an Optimizing Compiler, American Elsevier, New York, NY (1975).

Digital Library

Google Scholar

Cited By

View all

Jaramillo CGupta RSoffa M(2002)Debugging and Testing Optimizers through Comparison CheckingElectronic Notes in Theoretical Computer Science10.1016/S1571-0661(04)80398-065:2(83-99)Online publication date: Apr-2002
https://doi.org/10.1016/S1571-0661(04)80398-0
Lim HDebray SVerbrugge CLhoták OShen X(2023)Automatically Localizing Dynamic Code Generation Bugs in JIT Compiler Back-EndProceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction10.1145/3578360.3580260(145-155)Online publication date: 17-Feb-2023
https://dl.acm.org/doi/10.1145/3578360.3580260
Schaeckeler SJayadevaprakash N(2011)Visualization of Computational Processes of Procedural Abstraction Optimization PassesProceedings of the 2011IEEE 10th International Conference on Trust, Security and Privacy in Computing and Communications10.1109/TrustCom.2011.150(1099-1108)Online publication date: 16-Nov-2011
https://dl.acm.org/doi/10.1109/TrustCom.2011.150
Show More Cited By

Index Terms

Isolation and analysis of optimization errors
1. Software and its engineering
  1. Software creation and management
  2. Software notations and tools
    1. Compilers

Recommendations

A Probabilistic Analysis of Snapshot Isolation with Partial Replication
SRDS '08: Proceedings of the 2008 Symposium on Reliable Distributed Systems

Snapshot isolation has received a considerable amount of attention in the context of full database replication. Such popularity is mainly because read-only transactions executing under snapshot isolation are never blocked or aborted. In partial ...
A critique of snapshot isolation
EuroSys '12: Proceedings of the 7th ACM european conference on Computer Systems

The support for transactions is an essential part of a database management system (DBMS). Without this support, the developers are burdened with ensuring atomic execution of a transaction despite failures as well as concurrent accesses to the database ...
A read-only transaction anomaly under snapshot isolation

Snapshot Isolation (SI), is a multi-version concurrency control algorithm introduced in [BBGMOO95] and later implemented by Oracle. SI avoids many concurrency errors, and it never delays read-only transactions. However it does not guarantee ...

Comments

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

8
Total Citations
View Citations
343
Total Downloads

Downloads (Last 12 months)60
Downloads (Last 6 weeks)19

Reflects downloads up to 15 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Jaramillo CGupta RSoffa M(2002)Debugging and Testing Optimizers through Comparison CheckingElectronic Notes in Theoretical Computer Science10.1016/S1571-0661(04)80398-065:2(83-99)Online publication date: Apr-2002
https://doi.org/10.1016/S1571-0661(04)80398-0
Lim HDebray SVerbrugge CLhoták OShen X(2023)Automatically Localizing Dynamic Code Generation Bugs in JIT Compiler Back-EndProceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction10.1145/3578360.3580260(145-155)Online publication date: 17-Feb-2023
https://dl.acm.org/doi/10.1145/3578360.3580260
Schaeckeler SJayadevaprakash N(2011)Visualization of Computational Processes of Procedural Abstraction Optimization PassesProceedings of the 2011IEEE 10th International Conference on Trust, Security and Privacy in Computing and Communications10.1109/TrustCom.2011.150(1099-1108)Online publication date: 16-Nov-2011
https://dl.acm.org/doi/10.1109/TrustCom.2011.150
van Engelen RWhalley DYuan X(2004)Automatic validation of code-improving transformations on low-level program representationsScience of Computer Programming10.1016/j.scico.2004.03.00852:1-3(257-280)Online publication date: 1-Aug-2004
https://dl.acm.org/doi/10.1016/j.scico.2004.03.008
Zhao WCai BWhalley DBailey Mvan Engelen RYuan XHiser JDavidson JGallivan KJones D(2002)VISTAACM SIGPLAN Notices10.1145/566225.51385737:7(155-164)Online publication date: 19-Jun-2002
https://dl.acm.org/doi/10.1145/566225.513857
Zhao WCai BWhalley DBailey Mvan Engelen RYuan XHiser JDavidson JGallivan KJones DMarwedel PDevadas S(2002)VISTAProceedings of the joint conference on Languages, compilers and tools for embedded systems: software and compilers for embedded systems10.1145/513829.513857(155-164)Online publication date: 19-Jun-2002
https://dl.acm.org/doi/10.1145/513829.513857
Jaramillo CGupta RSoffa M(2002)Debugging and Testing Optimizers through Comparison CheckingElectronic Notes in Theoretical Computer Science10.1016/S1571-0661(04)80398-065:2(83-99)Online publication date: Apr-2002
https://doi.org/10.1016/S1571-0661(04)80398-0
Engblom JErmedahl AAltenbernd P(1998)Facilitating worst-case execution times analysis for optimized codeProceeding. 10th EUROMICRO Workshop on Real-Time Systems (Cat. No.98EX168)10.1109/EMWRTS.1998.685079(146-153)Online publication date: 1998
https://doi.org/10.1109/EMWRTS.1998.685079

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.

References

Cited By

Index Terms

Recommendations

A Probabilistic Analysis of Snapshot Isolation with Partial Replication

A critique of snapshot isolation

A read-only transaction anomaly under snapshot isolation

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations