Type feedback vs. concrete type inference: A comparison of optimization techniques for object-oriented languages (1995)
| Venue: | In Proceedings of the 1995 ACM Conference on Object Oriented Programming Systems, Languages, and Applications |
| Citations: | 29 - 2 self |
BibTeX
@INPROCEEDINGS{Agesen95typefeedback,
author = {Ole Agesen},
title = {Type feedback vs. concrete type inference: A comparison of optimization techniques for object-oriented languages},
booktitle = {In Proceedings of the 1995 ACM Conference on Object Oriented Programming Systems, Languages, and Applications},
year = {1995},
pages = {91--107},
publisher = {ACM}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract: Two promising optimization techniques for object-oriented languages are type feedback (profilebased receiver class prediction) and concrete type inference (static analysis). We directly compare the two techniques, evaluating their effectiveness on a suite of 23 SELF programs while keeping other factors constant. Our results show that both systems inline over 95 % of all sends and deliver similar overall performance with one exception: SELF’s automatic coercion of machine integers to arbitrary-precision integers upon overflow confounds type inference and slows down arithmeticintensive benchmarks. We discuss several other issues which, given the comparable run-time performance, may influence the
