Evidence-Based Static Branch Prediction Using Machine Learning

ACM Transactions on Programming Languages and Systems

Volumn 19, Issue 1, 1997, Pages 188-222

  Calder, Brad ^a   Grunwald, Dirk ^b   Jones, Michael ^b   Lindsay, Donald ^b   Martin, James ^b   Mozer, Michael ^b   Zorn, Benjamin ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b UCB 450   (United States)

Author keywords

C.4 Computer Systems Organization : Performance of Systems measurement techniques; D.3.4 Programming Languages : Processors compilers; optimization; I.2.6 Artificial Intelligence : Learning connectionism and neural nets; parameter learning

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING LANGUAGES; DECISION TABLES; NEURAL NETWORKS; OPTIMIZATION; PROGRAM COMPILERS; SUBROUTINES;

DECISION TREES; EVIDENCE BASED STATIC BRANCH PREDICTION; PROGRAM OPTIMIZATION; RUNTIME SYSTEMS;

LEARNING SYSTEMS;

EID: 0030784721     PISSN: 01640925     EISSN: None     Source Type: Journal    
DOI: 10.1145/239912.239923     Document Type: Article

References (28)

1. ALVERSON, R., CALLAHAN, D., CUMMINGS, D., KOBLENZ, B., POTERFIELD, A., AND SMITH, B. 1990. The Tera computer system. In the International Conference on Supercomputing. IEEE, New York, 1-6.
2. ARNOLD, C. N. 1982. Performance evaluation of three automatic vectorizer packages. In Proceedings of the 1982 International Conference on Parallel Processing. IEEE, New York, 235-242.
3. BALASUNDARAM, V., FOX, G., KENNEDY, K., AND KREMER, U. 1991. A static performance estimator to guide data partitioning decision. In the 3rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. ACM, New York, 213-223.
4. BALL, T. AND LARUS, J. R. 1993. Branch prediction for free. In Proceedings of the SIGPLAN '93 Conference on Programming Language Design and Implementation. ACM, New York, 300-313.
5. BERRY, M. 1989. The Perfect Club benchmarks: Effective performance evaluation of supercomputers. Int. J. Supercomput. Appl. 3, 3 (Fall), 5-40.
6. CALDER, B. AND GRUNWALD, D. 1994a. Fast and accurate instruction fetch and branch prediction. In the 21st Annual International Symposium on Computer Architecture. ACM, New York, 2-11.
7. CALDER, B. AND GRUNWALD, D. 1994b. Reducing branch costs via branch alignment. In the 6th International Conference on Architectural Support for Programming Languages and Operating Systems. ACM, New York, 242-251.
8. CALDER, B., GRUNWALD, D., AND SRIVASTAVA, A. 1995. The predictability of branches in libraries. In the 28th International Symposium on Microarchitecture. IEEE, New York, 24-34.
9. CALDER, B., GRUNWALD, D., AND ZORN, B. 1994. Quantifying behavioral differences between C and C++ programs. J. Program. Lang. 2, 4. Also available as Tech. Rep. CU-CS-698-94, Univ. of Colorado, Boulder, Colo.
10. CHANG, P. P. AND HWU, W. W. 1992. Profile-guided automatic inline expansion for C programs. Softw. Pract. Exper. 22, 5, 349-376.
11. CHANG, P. P., MAHLKE, A. S., AND HWU, W. W. 1991. Using profile information to assist classic compiler code optimizations. Softw. Pract. Exper. 21, 12, 1301-1321.
12. DEMPSTER, A. P. 1968. A generalization of Bayesian inference. J. Roy. Stat. Soc. 30. 205-247.
13. FISHER, J. A. 1981. Trace scheduling: A technique for global microcode compaction. IEEE Trans. Comput. C-30, 7 (July), 478-490.
14. FISHER, J. A. AND FREUDENBERGER, S. M. 1992. Predicting conditional branch directions from previous runs of a program. In Proceedings of the 5th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-V). ACM, New York, 85-95.
15. HANK, R., MAHLKE, S., BRINGMANN, R., GYLLENHALL, J., AND HWU, W. W. 1993. Superblock formation using static program analysis. In the 26th International Symposium on Microarchitecture. IEEE, New York, 247-256.
16. HUDSON, C., MACKE, T., DAVIES, J., WOLFE, M., AND LEASURE, B. 1986. The KAP/205: An advanced source-to-source vectorizer for the Cyber 205 supercomputer. In Proceedings of the 1986 International Conference on Parallel Processing. IEEE, New York, 827-835.
17. HWU, W.-M. W. AND CHANG, P. P. 1989. Achieving high instruction cache performance with an optimizing compiler. In the 16th Annual International Symposium on Computer Architecture. ACM, New York, 242-251.
18. MCFARLING, S. AND HENNESSY, J. 1986. Reducing the cost of branches. In the 13th Annual International Symposium on Computer Architecture. ACM, New York, 396-403.
19. PETTIS, K. AND HANSEN, R. C. 1990. Profile guided code positioning. In Proceedings of the SIGPLAN '90 Conference on Programming Language Design and Implementation. ACM, New York, 16-27.
20. QUINLAN, J. R. 1993. C4.5: Programs for Machine Learning. Morgan Kaufmann, San Mateo, Calif.
21. RUMELHART, D.E., HINTON, G. E., AND WILLIAMS, R. J. 1986. Parallel Distributed Processing: Explorations in the Microstructure of Cognition. Vol. 1, Foundations, D. E. Rumelhart and J. L. McClelland, Eds. MIT Press, Cambridge, Mass., 318-362.
22. SHAFER, G. 1976. A Mathematical Theory of Evidence. Princeton University Press, Princeton, N.J.
23. SMITH, J. E. 1981. A study of branch prediction strategies. In the 8th Annual International Symposium on Computer Architecture. ACM, New York, 135-148.
24. SMOLENSKY, P., MOZER, M. C., AND RUMELHART, D. E., Eds. 1996. Mathematical Perspectives on Neural Networks. Erlbaum, Hillsdale, N.J.
25. SRIVASTAVA, A. AND EUSTACE, A. 1994. ATOM: A system for building customized program analysis tools. In Proceedings of the SIGPLAN '94 Conference on Programming Language Design and Implementation. ACM, New York, 196-205.
26. WAGNER, T. A., MAVERICK, V., GRAHAM, S., AND HARRISON, M. 1994. Accurate static estimators for program optimization. In Proceedings of the SIGPLAN '94 Conference on Programming Language Design and Implementation. ACM, New York, 85-96.
27. WU, Y. AND LARUS, J. R. 1994. Static branch frequency and program profile analysis. In the 27th International Symposium on Microarchitecture. IEEE, New York.
28. YEH, T.-Y. AND PATT, Y. N. 1993. A comparison of dynamic branch predictors that use two levels of branch history. In the 20th Annual International Symposium on Computer Architecture. ACM, New York, 257-266.