Extending a C-like language for portable SIMD programming

ACM SIGPLAN Notices

Volumn 47, Issue 8, 2012, Pages 65-74

  Leißa, Roland ^a   Hack, Sebastian ^a   Wald, Ingo ^b  

^a SAARLAND UNIVERSITY   (Germany)

^b INTEL CORPORATION   (United States)

Author keywords

Language theory; Parallel programming; Polymorphism; Semantics; SIMD; SIMT; Type system; Vectorization

Indexed keywords

LANGUAGE THEORY; SIMD; SIMT; TYPE SYSTEMS; VECTORIZATION;

PARALLEL PROGRAMMING; POLYMORPHISM; PROGRAM COMPILERS; SEMANTICS;

C (PROGRAMMING LANGUAGE);

EID: 84878567817     PISSN: 15232867     EISSN: None     Source Type: Journal    
DOI: 10.1145/2370036.2145825     Document Type: Conference Paper

References (37)

1. J. R. Allen, K. Kennedy, C. Porterfield, and J. Warren. Conversion of Control Dependence to Data Dependence. In POPL, 1983.
2. R. Allen and K. Kennedy. Automatic Translation of FORTRAN Programs to Vector Form. ACM Trans. Program. Lang. Syst., 1987.
3. aobench. URL http://code.google.com/p/aobench/.
4. G. E. Blelloch et al. Implementation of a Portable Nested Data-Parallel Language. In PPOPP, 1993.
5. A. Darte, Y. Robert, and F. Vivien. Scheduling and Automatic Parallelization. Birkhauser Boston, 2000.
6. M. Farrar. Striped Smith-Waterman speeds database searches six times over other SIMD implementations. Bioinformatics, 23:156-161, January 2007.
7. I. Georgiev and P. Slusallek. RTfact: Generic Concepts for Flexible and High Performance Ray Tracing. In IEEE/Eurographics Symposium on Interactive Ray Tracing, 2008.
8. A. Ghuloum et al. Future-Proof Data Parallel Algorithms and Software on Intel Multi-Core Architecture. Intel Technology Journal, 11(04), November 2007.
9. GNU Press. Using the GNU Compiler Collection. For GCC version 4.6.2.
10. P. Hanrahan and J. Lawson. A Language for Shading and Lighting Calculations. In SIGGRAPH, 1990.
11. Intel Corp. Intel® Compilers and Libraries. URL http://software. intel.com/en-us/articles/intel-compilers.
12. Intel Corp. Intel SPMD Program Compiler. URL http://ispc. github.com.
13. Intel Corp. Intel® 64 and IA-32 Architectures Optimization Reference Manual, 2009.
14. Intel Corp. The Intel Many Integrated Core (MIC) Architecture, 2010.
15. K. E. Iverson. A Programming Language. John Wiley & Sons, Inc., 1962.
16. R. Karrenberg and S. Hack. Whole Function Vectorization. In CGO, 2011.
17. Khronos Group. Open CL 1.0 Specification, 2009.
18. A. Krall and S. Lelait. Compilation Techniques for Multimedia Processors. Int. J. Parallel Program., 28(4):347-361, 2000.
19. S. Larsen and S. Amarasinghe. Exploiting Superword Level Parallelism with Multimedia Instruction Sets. PLDI, 35(5):145-156, 2000.
20. R. Leißa, S. Hack, and I. Wald. Extending a C-like Language for Portable SIMD Programming. The full version of our PPoPP '12 paper available online at http://www.cdl.uni-saarland.de/projects/vecimp.
21. K.-C. Li and H. Schwetman. Vector C-A Vector Processing Language. Journal of Parallel and Distributed Computing, 2(2):132-169, 1985.
22. A. Lokhmotov, B. R. Gaster, A. Mycroft, N. Hickey, and D. Stuttard. Revisiting SIMD Programming. In LCPC, pages 32-46, 2007.
23. Mat Lab. URL http://www.mathworks.com/products/matlab.
24. M. McCool. A Retargetable, Dynamic Compiler and Embedded language. In CGO, 2011.
25. G. Michaelson and P. Cockshott. Vector Pascal, an array language, 2002.
26. V. Ngo. Parallel Loop Transformation Techniques For Vector-Based Multiprocessor Systems. PhD thesis, University of Minnesota, 1994.
27. M. Norrish. C formalised in HOL. PhD thesis, University of Cambridge, 1998.
28. D. Nuzman and R. Henderson. Multi-platform Auto-vectorization. In CGO, 2006.
29. D. Nuzman and A. Zaks. Outer-Loop Vectorization: Revisited for Short SIMD Architectures. In PACT, 2008.
30. NVIDIA. CUDA Programming Guide, 2009.
31. R. G. Scarborough and H. G. Kolsky. A vectorizing Fortran compiler. IBM J. Res. Dev., 30(2):163-171, 1986.
32. L. Seiler et al. Larrabee: A Many-Core x86 Architecture for Visual Computing. In SIGGRAPH, 2008.
33. J. Shin. Introducing Control Flow into Vectorized Code. In PACT '07, 2007.
34. J. Shin, C. Jacqueline, and M. W. Hall. Compiler-Controlled Caching in Superword Register Files for Multimedia Extension Architectures. In PACT, 2002.
35. N. Sreraman and R. Govindarajan. A Vectorizing Compiler for Multimedia Extensions. Int. J. Parallel Program., 28(4):363-400, 2000.
36. I. Wald. Fast Construction of SAH BVHs on the Intel® Many Integrated Core (MIC) Architecture. IEEE Transactions on Visualization and Computer Graphics, 99, 2010.
37. J. Zhou and K. A. Ross. Implementing Database Operations Using SIMD Instructions. In SIGMOD, 2002.