Article

Free access

Calpa: a tool for automating selective dynamic compilation

Authors:

Markus Mock,

Craig Chambers,

Susan J. EggersAuthors Info & Claims

MICRO 33: Proceedings of the 33rd annual ACM/IEEE international symposium on Microarchitecture

Pages 291 - 302

https://doi.org/10.1145/360128.360158

Published: 01 December 2000 Publication History

PDF eReader Publisher Site

Supplementary Material

PS File (p291-mock.ps)

Download
305.75 KB

References

[1]

T. Autrey and M. Wolfe. Initial results for glacial variable analysis. In Proceedings of the 8th International Workshop on Languages and Compilers for Parallel Computing, pages 120-134, August 1996.

Digital Library

Google Scholar

[2]

V. Bala, E. Duesterwald, and S. Banerjia. Dynamo: A transparent dynamic optimization system. In SIGPLAN '00 Conference on Programming Language Design and Implementation, pages 1-12, June 2000.

Digital Library

Google Scholar

[3]

B. Calder, P. Feller, and A. Eustace. Value profiling. In Proceedings of the 30th Annual International Symposium on Microarchitecture, pages 259-269, December 1997.

Digital Library

Google Scholar

[4]

B. Calder, P. Feller, and A. Eustace. Value profiling and optimization. Journal of Instruction Level Parallelism, 1:1- 37, March 1999.

Google Scholar

[5]

C. Consel and F. No~l. A general approach for run-time specialization and its application to C. In Symposium on Principles of Programming Languages, pages 145-156, January 1996.

Digital Library

Google Scholar

[6]

J. Dean and C. Chambers. Towards better inlining decisions using inlining trials. In Proceedings of the ACM Conference on LISP and Functional Programming '94, pages 273-282, June 1994.

Digital Library

Google Scholar

[7]

R. Ghiya and L.J. Hendren. Connection analysis: A practical interprocedural heap analysis for C. International Journal of Parallel Programming, 24(6):547-578, December 1996.

Digital Library

Google Scholar

[8]

B. Grant, C. Chambers, and S.J. Eggers. Efficiently dispatching to run-time specialized code. Submitted for publication.

Google Scholar

[9]

B. Grant, M. Mock, M. Philipose, C. Chambers, and S.J. Eggers. The benefits and costs of DyC's run-time optimizations. Submitted for publication.

Google Scholar

[10]

B. Grant, M. Mock, M. Philipose, C. Chambers, and S.J. Eggers. Annotation-directed run-time specialization in C. In Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pages 163-178, June 1997.

Digital Library

Google Scholar

[11]

B. Grant, M. Mock, M. Philipose, C. Chambers, and S.J. Eggers. DyC: An expressive annotation-directed dynamic compiler for C. Theoretical Computer Science, 248(1-2):147- 199, October 2000.

Digital Library

Google Scholar

[12]

B. Grant, M. Philipose, M. Mock, C. Chambers, and S.J. Eggers. An evaluation of staged, run-time optimizations in DyC. In Conference on Programming Language Design and Implementation, pages 293-304, May 1999.

Digital Library

Google Scholar

[13]

M.D. Hill and A.J. Smith. Experimental evaluation of on-chip microprocessor cache memories. In Proceedings of the International Symposium of Computer Architecture, pages 158-166, June 1984.

Digital Library

Google Scholar

[14]

G. Holloway and C. Young. The flow and analysis libraries of machine SUIF. In Proceedings of the 2nd SUIF Compiler Workshop, August 1997.

Google Scholar

[15]

C-H. Hsu and U. Kremer. A framework for automatic construction of performance predication models. In Proceedings of the 1st Workshop on Feedback-Directed Optimization, October 1998.

Google Scholar

[16]

N.D. Jones, C.K. Gomarde, and P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice Hall, 1993.

Digital Library

Google Scholar

[17]

M. Leone and P. Lee. Optimizing ML with run-time code generation. In Conference on Programming Language Design and Implementation, pages 137-148, May 1996.

Digital Library

Google Scholar

[18]

M.H. Lipasti, C.V. Wilkerson, and J.P. Shen. Value locality and load value prediction. In Proceedings of the Seventh International Conference on Architectural Support for Programming Languages and Operating Systems, pages 138- 147, October 1996.

Digital Library

Google Scholar

[19]

M. Mock, M. Berryman, C. Chambers, and S.J. Eggers. Calpa: A tool for automating dynamic compilation. In 2nd Workshop on Feedback-Directed Optimization, November 1999.

Google Scholar

[20]

F. NoEl, L. Hornof, C. Consel, and J. L. Lawall. Automatic, template-based run-time specialization: Implementation and experimental study. In International Conference on Computer Languages, pages 132-142, May 1998.

Digital Library

Google Scholar

[21]

SPEC CPU, August 1995. http://www.specbench.org/.

Google Scholar

[22]

A. Srivastava and A. Eustace. ATOM: A system for building customized program analysis tools. SIGPLAN Notices, 29(6):196-205, June 1994. Conference on Programming Language Design and Implementation.

Digital Library

Google Scholar

[23]

B. Steensgaard. Points-to analysis in almost linear time. In Symposium on Principles of Programming Languages, pages 32-41, January 1996.

Digital Library

Google Scholar

[24]

SYNTHETIX TOOLKIT. http://www.cse.ogi.edu/projects/ synthetix/toolkit/.

Google Scholar

[25]

Ko-Yang Wang. Precise compile-time performance prediction for superscalar-based computers. In Conference on Programming Language Design and Implementation, pages 73-84, June 1994.

Digital Library

Google Scholar

[26]

R. Wilson, R. French, C. Wilson, S. Amarasinghe, J. Anderson, S. Tjiang, S.-W. Liao, C.-W. Tseng, M. Hall, M.S. Lam, and J. Hennessy. SUIF: An infrastructure for research on parallelizing and optimizing compilers. ACM SIGPLAN Notices, 29(12), December 1994.

Digital Library

Google Scholar

[27]

L.P. Deutsch and A.M. Schiffman. Efficient Implementation of the Smalltalk-80 System. In Conference Record of POPL '84: Symposium on Principles of Programming Languages, pages 297-302, January 1984.

Digital Library

Google Scholar

[28]

C. Chambers and D. Ungar. Making Pure Object-Oriented Languages Practical. In Proceedings OOPSLA '91, pages 1- 15, November 1991.

Digital Library

Google Scholar

[29]

U. Holzle and D. Ungar. Optimizing Dynamically- Dispatched Calls with Run-Time Type Feedback. In Proceedings of the ACM SIGPLAN '94 Conference on Programming Language Design and Implementation, pages 326-336, June 1994.

Digital Library

Google Scholar

[30]

V.C. Sreedhar and M. Burke and J.-D. Choi. A Framework for Interprocedural Optimization in the Presence of Dynamic Class Loading. In Proceedings of the ACM SIGPLAN '00 Conference on Programming Language Design and Implementation, pages 208-218, June 2000.

Digital Library

Google Scholar

[31]

M. Shapiro and S. Horwitz. Fast and Accurate Flow- Insensitive Points-To Analysis. In Conference Record of POPL '97: Symposium on Principles of Programming Languages, January 1997.

Digital Library

Google Scholar

[32]

M. Das. Unification-Based Pointer Analysis with Directional Assignments. In Proceedings of the ACM SIGPLAN '00 Conference on Programming Language Design and Implementation, pages 35-46, June 2000.

Digital Library

Google Scholar

[33]

O. Traub and S. Schechter and M.D. Smith. Ephemeral Instrumentation for Lightweight Program Profiling. Technical report, Harvard University, 2000.

Google Scholar

[34]

S.K. Debray. Unfold/Fold Transformations and Loop Optimization of Logic Programs. In Proceedings of the ACM SIGPLAN '88 Conference on Programming Language Design and Implementation, pages 297-307, June 1988.

Digital Library

Google Scholar

Cited By

View all

Gobran Tde Carvalho JBarton C(2023)DASS: Dynamic Adaptive Sub-Target Specialization2023 International Symposium on Computer Architecture and High Performance Computing Workshops (SBAC-PADW)10.1109/SBAC-PADW60351.2023.00016(36-45)Online publication date: 17-Oct-2023
https://doi.org/10.1109/SBAC-PADW60351.2023.00016
Zhou RJones TKandemir MJimborean AMoseley T(2019)Janus: statically-driven and profile-guided automatic dynamic binary parallelisationProceedings of the 2019 IEEE/ACM International Symposium on Code Generation and Optimization10.5555/3314872.3314877(15-25)Online publication date: 16-Feb-2019
https://dl.acm.org/doi/10.5555/3314872.3314877
Zhou RJones T(2019)Janus: Statically-Driven and Profile-Guided Automatic Dynamic Binary Parallelisation2019 IEEE/ACM International Symposium on Code Generation and Optimization (CGO)10.1109/CGO.2019.8661196(15-25)Online publication date: Feb-2019
https://doi.org/10.1109/CGO.2019.8661196
Show More Cited By

Index Terms

Calpa: a tool for automating selective dynamic compilation

Recommendations

Evaluation of three ionospheric delay computation methods for ground-based GNSS receivers

GNSS observables for ionospheric estimation are commonly based on carrier-to-code leveling (CCL) and precise point positioning (PPP) methods. The CCL method is a geometry-free method which uses carrier phase to level pseudorange observation for ...
Analysis of satellite-induced factors affecting the accuracy of the BDS satellite differential code bias

Differential code bias (DCB) is one of the main error sources of the positioning, navigation and timing services and slant total electron content extraction. The DCB can usually be estimated together with ionospheric model coefficients from the data of ...
Precise orbit determination for BDS-3 satellites using satellite-ground and inter-satellite link observations

Since November 2017, eight BeiDou global navigation system (BDS-3) satellites equipped with Ka-band inter-satellite link (ISL) payloads have been launched into medium earth orbit. We present the precise orbit determination (POD) for BDS-3 satellites ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

MICRO 33: Proceedings of the 33rd annual ACM/IEEE international symposium on Microarchitecture

December 2000

357 pages

ISBN:1581131968

DOI:10.1145/360128

Chairmen:
Andrew Wolfe
S3 Incorporated
,
Michael Schlansker
Hewlett-Packard

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 December 2000

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

MICRO00

Sponsor:

IEEE TC - MICRO
SIGMICRO

MICRO00: 33rd Annual International Symposium on Microarchitecture

California, Monterey, USA

Acceptance Rates

MICRO 33 Paper Acceptance Rate 31 of 110 submissions, 28%;

Overall Acceptance Rate 484 of 2,242 submissions, 22%

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

66
Total Citations
View Citations
515
Total Downloads

Downloads (Last 12 months)116
Downloads (Last 6 weeks)20

Reflects downloads up to 31 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Gobran Tde Carvalho JBarton C(2023)DASS: Dynamic Adaptive Sub-Target Specialization2023 International Symposium on Computer Architecture and High Performance Computing Workshops (SBAC-PADW)10.1109/SBAC-PADW60351.2023.00016(36-45)Online publication date: 17-Oct-2023
https://doi.org/10.1109/SBAC-PADW60351.2023.00016
Zhou RJones TKandemir MJimborean AMoseley T(2019)Janus: statically-driven and profile-guided automatic dynamic binary parallelisationProceedings of the 2019 IEEE/ACM International Symposium on Code Generation and Optimization10.5555/3314872.3314877(15-25)Online publication date: 16-Feb-2019
https://dl.acm.org/doi/10.5555/3314872.3314877
Zhou RJones T(2019)Janus: Statically-Driven and Profile-Guided Automatic Dynamic Binary Parallelisation2019 IEEE/ACM International Symposium on Code Generation and Optimization (CGO)10.1109/CGO.2019.8661196(15-25)Online publication date: Feb-2019
https://doi.org/10.1109/CGO.2019.8661196
Wade AKulkarni PJantz M(2017)AOT vs. JIT: impact of profile data on code qualityACM SIGPLAN Notices10.1145/3140582.308103752:5(1-10)Online publication date: 21-Jun-2017
https://dl.acm.org/doi/10.1145/3140582.3081037
Wade AKulkarni PJantz MNagarajan VShao Z(2017)AOT vs. JIT: impact of profile data on code qualityProceedings of the 18th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems10.1145/3078633.3081037(1-10)Online publication date: 21-Jun-2017
https://dl.acm.org/doi/10.1145/3078633.3081037
Jantz MRobinson FKulkarni P(2016)Impact of Intrinsic Profiling Limitations on Effectiveness of Adaptive OptimizationsACM Transactions on Architecture and Code Optimization10.1145/300866113:4(1-26)Online publication date: 12-Dec-2016
https://dl.acm.org/doi/10.1145/3008661
Jain ERoy S(2016)Phase Directed Compiler Optimizations2016 IEEE 23rd International Conference on High Performance Computing (HiPC)10.1109/HiPC.2016.039(270-279)Online publication date: Dec-2016
https://doi.org/10.1109/HiPC.2016.039
Cofer D(2015)You keep using that wordACM SIGLOG News10.1145/2835265.28352692:4(17-25)Online publication date: 13-Oct-2015
https://dl.acm.org/doi/10.1145/2835265.2835269
Bojańczyk M(2015)Automata columnACM SIGLOG News10.1145/2835265.28352672:4(3-15)Online publication date: 13-Oct-2015
https://dl.acm.org/doi/10.1145/2835265.2835267
Kling PPietrzyk P(2015)Profitable Scheduling on Multiple Speed-Scalable ProcessorsACM Transactions on Parallel Computing10.1145/28098722:3(1-19)Online publication date: 8-Sep-2015
https://dl.acm.org/doi/10.1145/2809872
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

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

Evaluation of three ionospheric delay computation methods for ground-based GNSS receivers

Analysis of satellite-induced factors affecting the accuracy of the BDS satellite differential code bias

Precise orbit determination for BDS-3 satellites using satellite-ground and inter-satellite link observations