Omnia vincit amor
Home -> Publications
Home
  Publications
    
all years
    2017
    2016
    2015
    2014
    2013
    2012
    2011
    2010
    2009
    2008
    2007
    2006
    2005
    2004
    theses
    techreports
    presentations
    edited volumes
    conferences
  Awards
  Research
  Teaching
  BLOG
  Miscellaneous
  Full CV [pdf]






  Events








  Past Events





Publications of Torsten Hoefler
Copyright Notice:

The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

T. Hoefler, G. Kwasniewski:

 Automatic Complexity Analysis of Explicitly Parallel Programs

(In Proceedings of the 26th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA'14), presented in Prague, Czech Republic, ACM, Jun. 2014)

Abstract

The doubling of cores every two years requires programmers to expose maximum parallelism. Applications that are developed on today’s machines will often be required to run on many more cores. Thus, it is necessary to understand how much parallelism codes can expose. The work and depth model provides a convenient mental framework to assess the required work and the maximum parallelism of algorithms and their parallel efficiency. We propose an automatic analysis to extract work and depth from a source-code. We do this by statically counting the number of loop iterations depending on the set of input parameters. The resulting ex- pression can be used to assess work and depth with regards to the program inputs. Our method supports the large class of practically relevant loops with affine update functions and generates additional parameters for other expressions. We demonstrate how this method can be used to determine work and depth of several real-world applications. Our technique enables us to prove if the theoretically maximum parallelism is exposed in a practical implementation of a problem. This will be most important for future-proof software development.

Documents

download article:
 

BibTeX

@inproceedings{hoefler-kwasniewski-complexity,
  author={T. Hoefler and G. Kwasniewski},
  title={{Automatic Complexity Analysis of Explicitly Parallel Programs}},
  year={2014},
  month={Jun.},
  booktitle={Proceedings of the 26th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA'14)},
  location={Prague, Czech Republic},
  publisher={ACM},
  source={http://www.unixer.de/~htor/publications/},
}

serving: 54.81.82.181:50636© Torsten Hoefler