Efficient Polymorphic Calls

ISBN-13: 9780792372899 / Angielski / Twarda / 2001 / 216 str.

Karl Driesen; Karel Driesen

Opis

The implementation of object-oriented languages has been an active topic of research since the 1960s when the first Simula compiler was written. The topic received renewed interest in the early 1980s with the growing popularity of object-oriented programming languages such as c++ and Smalltalk, and got another boost with the advent of Java. Polymorphic calls are at the heart of object-oriented languages, and even the first implementation of Simula-67 contained their classic implementation via virtual function tables. In fact, virtual function tables predate even Simula-for example, Ivan Sutherland's Sketchpad drawing editor employed very similar structures in 1960. Similarly, during the 1970s and 1980s the implementers of Smalltalk systems spent considerable efforts on implementing polymorphic calls for this dynamically typed language where virtual function tables could not be used. Given this long history of research into the implementation of polymorphic calls, and the relatively mature standing it achieved over time, why, one might ask, should there be a new book in this field? The answer is simple. Both software and hardware have changed considerably in recent years, to the point where many assumptions underlying the original work in this field are no longer true. In particular, virtual function tables are no longer sufficient to implement polymorphic calls even for statically typed languages; for example, Java's interface calls cannot be implemented this way. Furthermore, today's processors are deeply pipelined and can execute instructions out-of- order, making it difficult to predict the execution time of even simple code sequences.

Spis treści

Foreword. Preface. Acknowledgments. 1. Introduction. 2. Polymorphic calls. 3. Software techniques for efficient polymorphic calls. 4. Row displacement compression of message dispatch tables. 5. Analysis of dispatch sequences on modern processor architectures. 6. Measurement of virtual function call overhead on modern processors. 7. Hardware techniques. 8. Basic indirect branch predictors. 9. Hybrid indirect branch predictors. 10. Related work. 11. Conclusions. 12. Glossary. 13. References. Appendices. Index.