Using machine learning to improve automatic vectorization

Transactions on Architecture and Code Optimization

Volumn 8, Issue 4, 2012, Pages

  Stock, Kevin ^a   Pouchet, Louis Noël ^a   Sadayappan, P ^a  

^a OHIO STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ASSEMBLY CODE; AUTOMATIC VECTORIZATION; BEST CHOICE; COMPILE TIME; COST MODELS; CURRENT PRODUCTION; HIGH-LEVEL FEATURES; LOOP TRANSFORMATION; MACHINE-LEARNING; MODERN PROCESSORS; OFFLINE; STENCIL COMPUTATIONS; TENSOR CONTRACTION;

PROGRAM COMPILERS;

LEARNING SYSTEMS;

EID: 84857819522     PISSN: 15443566     EISSN: 15443973     Source Type: Journal    
DOI: 10.1145/2086696.2086729     Document Type: Article

References (33)

1. AGAKOV, F., BONILLA, E., CAVAZOS, J., FRANKE, B., FURSIN, G., O'BOYLE, M., THOMSON, J., TOUSSAINT, M., AND WILLIAMS, C. 2006. Using machine learning to focus iterative optimization. In Proceedings of CGO.
2. BAUMGARTNER, G., BERNHOLDT, D., COCIORVA, D., HARRISON, R., HIRATA, S., LAM, C.-C., NOOIJEN, M., PITZER, R., RAMANUJAM, J., AND SADAYAPPAN, P. 2002. A high-level approach to synthesis of high-performance codes for quantum chemistry. In Proceedings of Supercomputing.
3. BOUCKAERT, R. R., FRANK, E., HALL, M. A., HOLMES, G., PFAHRINGER, B., REUTEMANN, P., AND WITTEN, I. H. 2010. WEKA-experiences with a java open-source project. J. Machine Learn. Res. 11, 2533-2541.
4. CAVAZOS, J., FURSIN, G., AGAKOV, F. V., BONILLA, E. V., O'BOYLE, M. F. P., AND TEMAM, O. 2007. Rapidly selecting good compiler optimizations using performance counters. In Proceedings of CGO.
5. CHEN, C., CHAME, J., AND HALL, M. 2008. CHiLL: A framework for composing high-level loop transformations. Tech. rep. 08-897, University of Southern California.
6. CHEN, C., SHIN, J., KINTALI, S., CHAME, J., AND HALL, M. 2007. Model-guided empirical optimization for multimedia extension architectures: A case study. In Proceedings of IPDPS.
7. COOPER, K. D., SCHIELKE, P. J., AND SUBRAMANIAN, D. 1999. Optimizing for reduced code space using genetic algorithms. In Proceedings of LCTES.
8. COOPER, K. D., SUBRAMANIAN, D., AND TORCZON, L. 2002. Adaptive optimizing compilers for the 21st century. J. Supercomput. 23, 1, 7-22. (Pubitemid 34772138)
9. CRAWFORD, T. AND SCHAEFER III, H. 2000. An introduction to coupled cluster theory for computational chemists. In Reviews in Computational Chemistry, Vol. 14, 33-136.
10. DEITZ, S. J., CHAMBERLAIN, B. L., AND SNYDER, L. 2001. Eliminating redundancies in sum-of-product array computations. In Proceedings of ICS.
11. DUBACH, C., JONES, T. M., BONILLA, E. V., FURSIN, G., AND O'BOYLE, M. F. 2009. Portable compiler optimization across embedded programs and microarchitectures using machine learning. In Proceedings of MICRO.
12. EICHENBERGER, A., WU, P., AND O'BRIEN, K. 2004. Vectorization for simd architectures with alignment constraints. In Proceedings of PLDI.
13. FIREMAN, L., PETRANK, E., AND ZAKS, A. 2007. New algorithms for simd alignment. In Proceedings of CC.
14. FRANKE, B., O'BOYLE, M., THOMSON, J., AND FURSIN, G. 2005. Probabilistic source-level optimisation of embedded programs. In Proceedings of LCTES.
15. HANEDA, M., KNIJNENBURG, P. M. W., AND WIJSHOFF, H. A. G. 2005. Automatic selection of compiler options using non-parametric inferential statistics. In Proceedings of PACT.
16. HARRISON, R. J., FANN, G. I., GAN, Z., YANAI, T., SUGIKI, S., BESTE, A., AND BEYLKIN, G. 2005. Multiresolution computational chemistry. J. Physics (Conference Series) 16, 1, 243.
17. HIRATA, S. 2003. Tensor contraction engine: Abstraction and automated parallel implementation of configuration-interaction, coupled-cluster, and many-body perturbation theories. J. Physical Chem. A 107, 46, 9887-9897.
18. HOHENAUER, M., ENGEL, F., LEUPERS, R., ASCHEID, G., AND MEYR, H. 2009. A simd optimization framework for retargetable compilers. ACM Trans. Architec. Code Optim. 6, 1.
19. KENNEDY, K. AND ALLEN, J. 2002. Optimizing Compilers for Modern Architectures: A Dependence-Based Approach. Morgan Kaufmann.
20. KISUKI, T., KNIJNENBURG, P. M. W., AND O'BOYLE, M. F. P. 2000. Combined selection of tile sizes and unroll factors using iterative compilation. In Proceedings of PACT.
21. LARSEN, S. AND AMARASINGHE, S. P. 2000. Exploiting superword level parallelism with multimedia instruction sets. In Proceedings of PLDI.
22. LARSEN, S., WITCHEL, E., AND AMARASINGHE, S. P. 2002. Increasing and detecting memory address congruence. In Proceedings of PACT.
23. MONSIFROT, A., BODIN, F., AND QUINIOU, R. 2002. A machine learning approach to automatic production of compiler heuristics. In Proceedings of AIMSA. 41-50.
24. NUZMAN, D. AND HENDERSON, R. 2006. Multi-platform auto-vectorization. In Proceedings of CGO.
25. NUZMAN, D., ROSEN, I., AND ZAKS, A. 2006. Auto-vectorization of interleaved data for simd. In Proceedings of PLDI.
26. NUZMAN, D. AND ZAKS, A. 2008. Outer-loop vectorization: revisited for short simd architectures. In Proceedings of PACT.
27. STOCK, K., HENRETTY, T., MURUGANDI, I., HARRISON, R., AND SADAYAPPAN, P. 2011. Model-driven simd code generation for a multi-resolution tensor kernel. In Proceedings of IPDPS.
28. TIWARI, A., CHEN, C., CHAME, J., HALL, M., AND HOLLINGSWORTH, J. K. 2009. A scalable autotuning framework for computer optimization. In Proceedings of IPDPS.
29. TRIFUNOVIC, K., NUZMAN, D., COHEN, A., ZAKS, A., AND ROSEN, I. 2009. Polyhedral-model guided loop-nest autovectorization. In Proceedings of PACT.
30. WOLFE, M. 1989. More iteration space tiling. In Proceedings of SC.
31. WOLFE, M. J. 1996. High Performance Compilers For Parallel Computing. Addison-Wesley.
32. YI, Q. AND QASEM, A. 2008. Exploring the optimization space of dense linear algebra kernels. In Proceedings of LCPC.
33. YUKI, T., RENGANARAYANAN, L., RAJOPADHYE, S., ANDERSON, C., EICHENBERGER, A., AND O'BRIEN, K. 2010. Automatic creation of tile size selection models. In Proceedings of CGO.