Efficient execution of recursive programs on commodity vector hardware

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Volumn 2015-June, Issue , 2015, Pages 509-520

  Ren, Bin ^a   Jo, Youngjoon ^b   Krishnamoorthy, Sriram ^a   Agrawal, Kunal ^c   Kulkarni, Milind ^b  

^a PACIFIC NORTHWEST NATIONAL LABORATORY   (United States)

^b PURDUE UNIVERSITY   (United States)

^c WASHINGTON UNIVERSITY   (United States)

Author keywords

Recursive programs; Task parallelism; Vectorization

Indexed keywords

COMPUTATIONAL EFFICIENCY; COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES; COSINE TRANSFORMS; HARDWARE; PROGRAM PROCESSORS; VECTORS;

CODE TRANSFORMATION; COMMODITY HARDWARE; COMMODITY PROCESSORS; RECURSIVE PROGRAMS; RESOURCE UTILIZATIONS; SCHEDULING POLICIES; TASK PARALLELISM; VECTORIZATION;

VECTOR SPACES;

EID: 84951798257     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2737924.2738004     Document Type: Conference Paper

References (37)

1. T. Aila and S. Laine. Understanding the Efficiency of Ray Traversal on GPUs. In HPG'09, pages 145-149, 2009.
2. Barcelona OpenMP Task Suite (BOTS). Barcelona OpenMP Task Suite (BOTS). https://pm.bsc.es/projects/bots.
3. G. Barthe, J. M. Crespo, S. Gulwani, C. Kunz, and M. Marron. From Relational Verification to SIMD Loop Synthesis. In PPoPP'13, pages 123-134, 2013.
4. R. D. Blumofe, C. F. Joerg, B. C. Kuszmaul, C. E. Leiserson, K. H. Randall, and Y. Zhou. Cilk: An Efficient Multithreaded Runtime System. In PPOPP'95, pages 207-216, 1995.
5. J. Chhugani, C. Kim, H. Shukla, J. Park, P. Dubey, J. Shalf, and H. D. Simon. Billion-particle SIMD-friendly Two-point Correlation on Largescale HPC Cluster Systems. In SC'12, pages 1:1-1:11, 2012.
6. Cilk. Cilk. http://supertech.csail.mit.edu/cilk/.
7. H. Dammertz, J. Hanika, and A. Keller. Shallow Bounding Volume Hierarchies for Fast SIMD Ray Tracing of Incoherent Rays. In EGSR'08, pages 1225-1233, 2008.
8. J. S. Danaher, I.-T. A. Lee, and C. E. Leiserson. Programming with Exceptions in JCilk. Sci. Comput. Program., 63(2):147-171, Dec. 2006.
9. J. O. Eklundh. A Fast Computer Method for Matrix Transposing. IEEE Trans. Comput., 21(7):801-803, July 1972.
10. M. Frigo, C. E. Leiserson, and K. H. Randall. The Implementation of the Cilk-5 Multithreaded Language. In PLDI'98, pages 212-223, 1998.
11. M. Frigo, P. Halpern, C. E. Leiserson, and S. Lewin-Berlin. Reducers and Other Cilk++ Hyperobjects. In SPAA'09, pages 79-90, 2009.
12. B. Gaster and L. Howes. Can GPGPU Programming Be Liberated from the Data-Parallel Bottleneck? Computer, 45(8):42-52, August 2012.
13. Y. Guo, R. Barik, R. Raman, and V. Sarkar. Work-first and Help-first Scheduling Policies for Async-finish Task Parallelism. In IPDPS'09, pages 1-12, 2009.
14. J. Havel and A. Herout. Yet Faster Ray-Triangle Intersection (Using SSE4). IEEE Transactions on Visualization and Computer Graphics, 16(3):434-438, May 2010.
15. L. Hernquist. Vectorization of Tree Traversals. J. Comput. Phys., 87(1):137-147, Mar. 1990.
16. P. Hudak and E. Hohr. Graphinators and the Duality of SIMD and MIMD. In LFP'88, pages 224-234, 1988.
17. X. Huo, S. Krishnamoorthy, and G. Agrawal. Efficient Scheduling of Recursive Control Flow on GPUs. In ICS'13, pages 409-420, 2013.
18. Y. Jo and M. Kulkarni. Enhancing Locality for Recursive Traversals of Recursive Structures. In OOPSLA'11, pages 463-482, 2011.
19. Y. Jo, M. Goldfarb, and M. Kulkarni. Automatic Vectorization of Tree Traversals. In PACT'13, pages 363-374, 2013.
20. C. Kim, J. Chhugani, N. Satish, E. Sedlar, A. D. Nguyen, T. Kaldewey, V. W. Lee, S. A. Brandt, and P. Dubey. FAST: Fast Architecture Sensitive Tree Search on Modern CPUs and GPUs. In SIGMOD'10, pages 339-350, 2010.
21. S. Kim and H. Han. Efficient SIMD Code Generation for Irregular Kernels. In PPoPP'12, pages 55-64, 2012.
22. S. Krishnamoorthy, G. Baumgartner, D. Cociorva, C.-C. Lam, and P. Sadayappan. Efficient Parallel Out-of-core Matrix Transposition. International Journal of High Performance Computing and Networking, 2(2):110-119, 2004.
23. S. Maleki, Y. Gao, M. J. Garzarán, T. Wong, and D. A. Padua. An Evaluation of Vectorizing Compilers. In PACT'11, pages 372-382, 2011.
24. T. Mytkowicz, M. Musuvathi, and W. Schulte. Data-parallel Finite-state Machines. In ASPLOS'14, pages 529-542, 2014.
25. D. Nuzman and A. Zaks. Outer-loop Vectorization: Revisited for Short SIMD Architectures. In PACT'08, pages 2-11, 2008.
26. NVIDIA. CUDA. http://www.nvidia.com/object/cuda-home-new.html.
27. S. Olivier, J. Huan, J. Liu, J. Prins, J. Dinan, P. Sadayappan, and C.-W. Tseng. UTS: An Unbalanced Tree Search Benchmark. In LCPC'06, pages 235-250, 2007.
28. OpenMP Architecture Review Board. OpenMP Specification and Features. http://openmp.org/wp/, May 2008.
29. M. S. Orr, B. M. Beckmann, S. K. Reinhardt, and D. A. Wood. Finegrain Task Aggregation and Coordination on GPUs. In ISCA'14, pages 181-192, 2014.
30. M. Puschel, J. M. Moura, J. R. Johnson, D. Padua, M. M. Veloso, B. W. Singer, J. Xiong, F. Franchetti, A. Gacic, Y. Voronenko, K. Chen, R. W. Johnson, and N. Rizzolo. SPIRAL: Code Generation for DSP Transforms. Proceedings of the IEEE, 93(2):232-275, 2005.
31. J. Reinders. Intel Threading Building Blocks: Outfitting C++ for Multi-Core Processor Parallelism. O'Reilly, 2007.
32. B. Ren, G. Agrawal, J. R. Larus, T. Mytkowicz, T. Poutanen, and W. Schulte. SIMD Parallelization of Applications that Traverse Irregular Data Structures. In CGO'13, pages 1-10, 2013.
33. M. Steffen and J. Zambreno. Improving SIMT Efficiency of Global Rendering Algorithms with Architectural Support for Dynamic Micro-Kernels. In MICRO'43, pages 237-248, 2010.
34. J. E. Stone, D. Gohara, and G. Shi. OpenCL: A Parallel Programming Standard for Heterogeneous Computing Systems. IEEE Des. Test, 12(3):66-73, May 2010.
35. TPL. The Task Parallel Library. http://msdn. microsoft.com/en-us/magazine/cc163340.aspx, Oct. 2007.
36. S. Tzeng, A. Patney, and J. D. Owens. Task Management for Irregularparallel Workloads on the GPU. In HPG'10, pages 29-37, 2010.
37. X10. The X10 Programming Language. www.research.ibm.com/x10/, Mar. 2006.