Dynamic and speculative polyhedral parallelization using compiler-generated skeletons

International Journal of Parallel Programming

Volumn 42, Issue 4, 2014, Pages 529-545

  Jimborean, Alexandra ^a   Clauss, Philippe ^b   Dollinger, Jean François ^b   Loechner, Vincent ^b   Martinez Caamaño, Juan Manuel ^b  

^a UPPSALA UNIVERSITY   (Sweden)

^b UNIVERSITÉ DE STRASBOURG   (France)

Author keywords

Algorithmic skeletons; Automatic parallelization; Compilation; Dynamic parallelization; Loop nests; Polytope model; Speculative parallelization

Indexed keywords

ALGORITHMS; CODES (SYMBOLS); EMBEDDED SYSTEMS; MUSCULOSKELETAL SYSTEM; PARALLEL ARCHITECTURES; PARALLEL PROGRAMMING;

ALGORITHMIC SKELETON; AUTOMATIC PARALLELIZATION; COMPILATION; LOOP NESTS; PARALLELIZATIONS; POLYTOPE MODELS; SPECULATIVE PARALLELIZATION;

PROGRAM COMPILERS;

EID: 84902239814     PISSN: 08857458     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10766-013-0259-4     Document Type: Article

References (28)

1. Bala, V., Duesterwald, E., Banerjia, S.: Dynamo: a transparent dynamic optimization system. In: PLDI '00. ACM (2000)
2. Bondhugula, U., Hartono, A., Ramanujam, J., Sadayappan, P.: A practical automatic polyhedral parallelizer and locality optimizer. In: PLDI '08. ACM (2008)
3. Che, S., Boyer, M.,Meng, J., Tarjan, D., Sheaffer, J.W., Lee, S.H., Skadron, K.: Rodinia: a benchmark suite for heterogeneous computing. In: IISWC, pp. 44-54. IEEE (2009)
4. Cole, M.:Bringing skeletons out of the closet: a pragmatic manifesto for skeletal parallel programming. Parallel Comput. 30(3), 389-406 (2004)
5. GOMP An OpenMP implementation for GCC-GNU Project. http://gcc.gnu.org/ projects/gomp
6. http://www.ice.rwth-aachen.de/research/tools-projects/entry/detail/ dspstone/
7. Jimborean, A., Clauss, P., Pradelle, B., Mastrangelo, L., Loechner, V.: Adapting the polyhedral model as a framework for efficient speculative parallelization. In: PPoPP '12 (2012)
8. Jimborean, A., Mastrangelo, L., Loechner, V., Clauss, P.: VMAD: an advanced dynamic program analysis and instrumentation framework. In: OBoyle, M. (ed.) Compiler Construction, Lecture Notes in Computer Science, vol. 7210, pp. 220-239. Springer, Berlin, Heidelberg (2012)
9. Jimborean, A.: Adapting the polytope model for dynamic and speculative parallelization. PhD Thesis, University of Strasbourg, France (2012). http://tel.archives-ouvertes.fr/tel-00733850
10. Johnson, T.A., Eigenmann, R., Vijaykumar, T.N.: Speculative thread decomposition through empirical optimization. In: PPoPP '07. ACM (2007)
11. Khan, M.A., Charles, H.P., Barthou, D.: Improving performance of optimized kernels through fast instantiations of templates. Concurr. Comput. Pract. Exp. 21(1), 59-70 (2009)
12. Kim, H., Johnson, N.P., Lee, J.W.,Mahlke, S.A., August, D.I.: Automatic speculative doall for clusters. In: CGO '12. ACM (2012)
13. Kotzmann, T., Wimmer, C., Mössenböck, H., Rodriguez, T., Russell, K., Cox, D.: Design of the java hotspot client compiler for java 6. ACM Trans. Archit. Code Optim. 5, 7-32 (2008)
14. Li, C., Gava, F., Hains, G.: Implementation of data-parallel skeletons: a case study using a coarsegrained hierarchical model. In: ISPDC, pp. 26-33 (2012)
15. Liu, W., Tuck, J., Ceze, L., Ahn, W., Strauss, K., Renau, J., Torrellas, J.: POSH: a TLS compiler that exploits program structure. In: PPoPP '06. ACM (2006)
16. LLVM compiler infrastructure. http://llvm.org
17. Noël, F., Hornof, L., Consel, C., Lawall, J.L.: Automatic, template-based run-time specialization: implementation and experimental study. In: International Conference on Computer Languages. IEEE Computer Society Press (1998)
18. Nugteren, C., Corporaal, H.: Introducing 'Bones': a parallelizing source-to-source compiler based on algorithmic skeletons. In: Proceedings of the 5th Annual Workshop on General Purpose Processing with Graphics Processing Units, GPGPU-5, pp. 1-10. ACM, New York, NY, USA (2012). doi:10. 1145/2159430.2159431
19. Polybenchs. (2010). http://www-rocq.inria.fr/pouchet/software/polybenchs
20. Pouchet, L.N., Bondhugula, U., Bastoul, C., Cohen, A., Ramanujam, J., Sadayappan, P., Vasilache, N.: Loop transformations: convexity, pruning and optimization. In: POPL '11. ACM (2011)
21. Pouchet, L.N.: FM: the Fourier-Motzkin library. (2008). http://www.cse.ohio-state.edu/pouchet/ software/fm
22. Prabhu, M.K., Olukotun, K.: Using thread-level speculation to simplify manual parallelization. In: PPoPP '03. ACM (2003)
23. Raman, E., Vachharajani, N., Rangan, R., August, D.I.: Spice: speculative parallel iteration chunk execution. In: CGO '08. ACM (2008)
24. Rauchwerger, L., Padua, D.: The LRPD test: speculative run-time parallelization of loops with privatization and reduction parallelization. In: PLDI '95. ACM (1995)
25. Rosetta Codes. (2011). http://rosettacode.org/wiki/Rosetta-Code
26. Schrijver, A.: Theory of Linear and Integer Programming. Wiley, NY, USA (1986)
27. Smith, F., Grossman, D., Morrisett, G., Hornof, L., Jim, T.: Compiling for template-based run-time code generation. J. Funct. Program. 13(3), 677-708 (2003) (Pubitemid 36601130)
28. Tian, C., Feng, M., Gupta, R.: Speculative parallelization using state separation and multiple value prediction. In: International Symposium on Memory Management, ISMM '10. ACM (2010)