Link-time Optimization of Multi-Language Programs
Different programming languages have different strengths and weaknesses, and typically are suited for different application domains. Because of this, for many applications, using a single programming language to implement all aspects of the program may not be the best or most effective way to build the application. However, current language implementation technology does not make it easy to construct good multi-language programs: in particular, there is usually a nontrivial performance overhead associated with the use of multiple languages. This article discusses the use of link-time optimizations on machine-executable files to reduce such overheads.
KeywordsBasic Block Scheme Program Control Flow Graph Executable Code Instruction Cache
Unable to display preview. Download preview PDF.
- 1.A. V. Aho, R. Sethi and J. D. Ullman, Compilers - Principles, Techniques and Tools, Addison-Wesley, 1986.Google Scholar
- 4.B. Calder and D. Grunwald, “Reducing Indirect Function Call Overhead in C++ Programs”, Proc. 21st ACM Symposium on Principles of Programming Languages, Jan. 1994, pp. 397–408. Google Scholar
- 6.P. Codognet and D. Diaz, “wamcc: Compiling Prolog to C”, Proc. Twelfth International Coference on Logic Programming, June 1995, pp.317–332, MIT Press.Google Scholar
- 7.K. D. Cooper, K. Kennedy, and L. Torczon, “The Impact of Interprocedural Analysis and Optimization on the Design of a Software Development Environment”, Technical Report COMP TR84–6, Dept. of Computer Science, Rice University, Houston, Texas, 1984.Google Scholar
- 8.F. Henglein, “Global Tagging Optimization by Type Inference”, Proc. 1992 ACM Symposium on Lisp and Functional Programming, pp. 205–215. Google Scholar
- 9.M. Hermenegildo, personal communication, Nov. 1998.Google Scholar
- 10.S. Jagannathan and A. Wright, “Effective Flow Analysis for Avoiding RunTime Checks”, Proc. 1995 Static Analysis Symposium (SAS ’95), Sept. 1995.Google Scholar
- 13.X. Leroy, “The Effectiveness of Type-Based Unboxing”, Workshop on Types in Compilation ’97, Amsterdam, 1997. Google Scholar
- 15.M. Serrano and P. Weis, “Bigloo: a portable and optimizing compiler for strict functional languages” Proc. Static Analysis Symposium(SAS ’95) , 1995, pp. 366–381. Google Scholar
- 17.O. Waddell and R. K. Dybvig, “Fast and Effective Procedure Inlining”, Proc. 1997 Static Analysis Symposium (SAS ’97), Sept. 1997, pp. 35–52. Springer- Verlag LNCS vol. 1302. Google Scholar