7 Hits in 3.1 sec

Polly's Polyhedral Scheduling in the Presence of Reductions [article]

Johannes Doerfert, Kevin Streit, Sebastian Hack, Zino Benaissa
2015 arXiv   pre-print
We have implemented a reduction-enabled scheduling approach in the Polly polyhedral optimizer and evaluate it on the standard Polybench 3.2 benchmark suite.  ...  In this paper, we show that leveraging the parallelism of reductions can lead to a significant performance increase.  ...  memory dependences with regards to reductions and its use in reduction-enabled polyhedral scheduling. • A dependence based approach to identify vectorization and parallelization opportunities in the presence  ... 
arXiv:1505.07716v1 fatcat:ivktky3yejhe7icrbvregeplue

Scheduling and Tiling Reductions on Realistic Machines [article]

Nirmal Prajapati
2018 arXiv   pre-print
There have been a number of research works in the context of scheduling reductions.  ...  In addition, we demonstrate how these scheduling techniques can be extended to "tile" reductions and briefly survey other studies that address the problem of scheduling reductions.  ...  The problem of finding schedules in the presence of reductions was initially tackled by [Redon and Feautrier 1994] .  ... 
arXiv:1801.05909v1 fatcat:5o2rw5osmnearbwdyzffccbn2y

LLOV: A Fast Static Data-Race Checker for OpenMP Programs [article]

Utpal Bora, Santanu Das, Pankaj Kureja, Saurabh Joshi, Ramakrishna Upadrasta, Sanjay Rajopadhye
2019 arXiv   pre-print
In the era of Exascale computing, writing efficient parallel programs is indispensable and at the same time, writing sound parallel programs is highly difficult.  ...  While parallel programming is easier with frameworks such as OpenMP, the possibility of data races in these programs still persists.  ...  The Polyhedral framework is known for large compile-time overheads because of the exponential nature of algorithms used in dependence analysis, scheduling and code-generation.  ... 
arXiv:1912.12189v1 fatcat:yr3iah332jc6vl7ctfro5xj4ue

Polyhedral AST Generation Is More Than Scanning Polyhedra

Tobias Grosser, Sven Verdoolaege, Albert Cohen
2015 ACM Transactions on Programming Languages and Systems  
We present a new AST generation approach that extends classical polyhedral scanning to the full generality of Presburger arithmetic, including existentially quantified variables and piecewise schedules  ...  We complement this with support for specialization by polyhedral unrolling, user-directed versioning, and specialization of AST expressions according to the location they are generated at, and complete  ...  Acknowledgements This work was partly funded by a gift received by LIACS from Intel Corporation, by a Google Europe Fellowship in Efficient Computing, by the European FP7 project CARP id. 287767 and the  ... 
doi:10.1145/2743016 fatcat:cqpjxqs4f5hrrele3upedm4gpm

Applicable and sound polyhedral optimization of low-level programs [article]

Johannes Doerfert, Universität Des Saarlandes, Universität Des Saarlandes
In this thesis we improve the applicability and profitability of polyhedral-model-based techniques.  ...  The polyhedral model, a high-level program representation and transformation framework, has shown great success tackling various problems in the context of diverse systems.  ...  We can use the example in Figure 5.24a to showcase how reduction-enabled and reduction-aware scheduling can improve the result of polyhedral schedule optimization.  ... 
doi:10.22028/d291-29814 fatcat:umymkehqoff4bhxsmbta4ohvrq

Do Inputs Matter? Using Data-Dependence Profiling to Evaluate Thread Level Speculation in the BlueGene/Q

Arnamoy Bhattacharyya
Thread Level Speculation (TLS) is a hardware/software technique that guarantees correct speculative parallel execution of the program even in the presence of may dependences.  ...  In the era of many-core architectures, it is necessary to fully exploit the maximum available parallelism in computer programs.  ...  Reduction variables in list are separated by commas. operator can be one of: +, -, |,ˆ, ||, *, & and &&. • schedule (type): Specifies how iterations of the for loop are divided among available threads.  ... 
doi:10.7939/r3xx1x fatcat:mavrkxqcdrdmhgta2x54glueb4

Manipulation in Human Environments

Aaron Edsinger, Charles Kemp
2006 2006 6th IEEE-RAS International Conference on Humanoid Robots  
It can use its body to reduce its perceptual uncertainty about the world. In this thesis we present advances in robot manipulation that address the unique challenges of human environments.  ...  Pia Lindman and her double, and Jonathan Bachrach, the 300lb gorilla-artist in the room, get much respect as well...Also, thank you to all in the Living Breathing Robots  ...  lighting and polyhedral objects.  ... 
doi:10.1109/ichr.2006.321370 dblp:conf/humanoids/EdsingerK06 fatcat:i5tunfqrrfdenh6k2vos5mhsby