Skip to main content
SpringerLink
Log in

Supporting SELL for High-Performance Computing

  • Conference paper
Languages and Compilers for Parallel Computing (LCPC 2005)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 4339))

Abstract

We briefly introduce the notion of Semantically Enhanced Library Languages, SELL, as a practical and economical alternative to special-purpose programming languages for high-performance computing. Then we describe the Pivot infrastructure for program analysis and transformation that is our main tool for supporting SELL. Finally, we outline how the IPR (The Pivot’s Internal Program Representation) can be used to represent central notions of high-performance computing, such as parallelizable array operations. Our focus is on a broad exposition of ideas, rather than technical details.

This is the “cut” or “abbreviated” version of this paper. For a full version, see http://www.research.att.com/~bs/papers.html

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. An, P., Jula, A., Rus, S., Saunders, S., Smith, T., Tanase, G., Thomas, N., Amato, N., Rauchwerger, L.: STAPL: An Adaptive, Generic Parallel C++ Library. In: Dietz, H.G. (ed.) LCPC 2001. LNCS, vol. 2624, pp. 193–208. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  2. Bagge, O., Kalleberg, K., Haveraaen, M., Visser, E.: Design of the CodeBoost transformation system for domain-specific optimisation of C++ programs. In: Binkley, D., Tonella, P. (eds.) Third International Workshop on Source Code Analysis and Manipulation (SCAM 2003), Amsterdam, The Netherlands, pp. 65–75. IEEE Computer Society Press, Los Alamitos (2003)

    Chapter  Google Scholar 

  3. Reis, G.D., Stroustrup, B.: Specifying C++ concepts. In: Conference Record of POPL 2006: The 33th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Charleston (South Carolina), USA, January 2006, pp. 295–308 (2006)

    Google Scholar 

  4. Gamma, E., Helm, R., Johson, R., Vlissides, J.: Design Patterns. Addison-Wesley, Reading (1994)

    Google Scholar 

  5. International Organization for Standards. International Standard ISO/IEC 14882. Programming Languages — C++, 2nd edn. (2003)

    Google Scholar 

  6. Necula, G.C., McPeak, S., Rahul, S.P., Weimer, W.: CIL: Intermediate Language and Tools for Analysis and Tranformations of C Programs. In: Horspool, R.N. (ed.) CC 2002. LNCS, vol. 2304, pp. 213–228. Springer, Heidelberg (2002), http://manju.cs.berkeley.edu/cil/

    Chapter  Google Scholar 

  7. Schordan, M., Quinlan, D.: A Source-to-Source Architecture for User-Defined Optimizations. In: Böszörményi, L., Schojer, P. (eds.) JMLC 2003. LNCS, vol. 2789, pp. 214–223. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  8. Schupp, S., Gregor, D., Musser, D., Liu, S.-M.: Semantic and behavioral library transformations. Information and Software Technology 44(13), 797–810 (2002)

    Article  Google Scholar 

  9. Siek, J., Gregor, D., Garcia, R., Willcock, J., Järvi, J., Lumsdaine, A.: Concept for C++0x. Technical Report N1758=05-0018, ISO/IEC SC22/JTC1/WG21 (January 2005)

    Google Scholar 

  10. Stepanov, A., Lee, M.: The Standard Template Library. Technical Report N0482=94-0095, ISO/IEC SC22/JTC1/WG21 (May 1994)

    Google Scholar 

  11. Stroustrup, B.: The C++ Programming Language. Addison-Wesley, Reading (2000) (special edition)

    Google Scholar 

  12. Stroustrup, B.: A rationale for semantically enhanced library languages. In: Proceedings of LCSD 2005 (October 2005)

    Google Scholar 

  13. Stroustrup, B., Reis, G.D.: Concepts — Design choices for template argument checking. Technical Report N1522, ISO/IEC SC22/JTC1/WG21 (September 2003)

    Google Scholar 

  14. Stroustrup, B., Reis, G.D.: A Concept Design (rev.1). Technical Report N1782=05-0042, ISO/IEC SC22/JTC1/WG21 (April 2005)

    Google Scholar 

  15. Wilson, G.V., Lu, P. (eds.): Parallel Programming using C++. Scientific and Engineering Computation. MIT Press, Cambridge (1996)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Texas A&M University, College Station, TX, 77843-3112, USA

    Bjarne Stroustrup & Gabriel Dos Reis

Authors
  1. Bjarne Stroustrup
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gabriel Dos Reis
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. BSC-UPC,  

    Eduard Ayguadé

  2. Department of Computer Science, Louisiana State University, 70803, Baton Rouge, LA, USA

    Gerald Baumgartner

  3. Dept. of Electrical and Computer Engg., Louisiana State University, Baton Rouge, LA, USA

    J. Ramanujam

  4. Department of Computer Science and Engineering, The Ohio State University, 2015 Neil Avenue, 43210, Columbus, OH, USA

    P. Sadayappan

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Stroustrup, B., Dos Reis, G. (2006). Supporting SELL for High-Performance Computing. In: Ayguadé, E., Baumgartner, G., Ramanujam, J., Sadayappan, P. (eds) Languages and Compilers for Parallel Computing. LCPC 2005. Lecture Notes in Computer Science, vol 4339. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69330-7_33

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-69330-7_33

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-69329-1

  • Online ISBN: 978-3-540-69330-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation