Generic Programming and High-Performance Libraries

Gregor, Douglas; Järvi, Jaakko; Kulkarni, Mayuresh; Lumsdaine, Andrew; Musser, David R.; Schupp, Sibylle

doi:10.1007/s10766-005-3580-8

Cited by 15 publications

(4 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…[6][7][8][9] and introduced three concepts Cell, Face and Node within the namespace Object in terms of three abstract types: Base, Topology, and Physics to achieve a better performance and maximal software reuse. These abstract types model the C++ concept of each grid entity, i.e.…”

Section: Inheritancementioning

confidence: 99%

C++ code design for multi-purpose explicit finite volume methods

Kirchner

Herzog

Knell

et al. 2009

Proceedings of the 8th Workshop on Parallel/High-Performance Object-Oriented Scientific Computing

View full text Add to dashboard Cite

The Ernst-Mach-Institute (EMI) of the Fraunhofer-Society is dealing with a wide spectrum of subjects in the fields of applied physics, mechanical and civil engineering. The EMI department for numerical simulation supports the institute and external customers with high-performance software applications in the fields of compressible flows, structural dynamics, electro dynamics and multi-disciplinary couplings of these applications. The majority of the in-house codes are written in FORTRAN 95. Earlier performance studies of numerical simulations in terms of explicit finite element methods have shown that FORTRAN provides much better efficiency than C++. Nevertheless, potential benefits of object-oriented programming in C++ were recognized. Here we analyze the factors contributing to the code performance for the explicit finite volume scheme and show that C++ provides at least the same efficiency as FORTRAN by application of the new techniques.

show abstract

Section: Inheritancementioning

confidence: 99%

C++ code design for multi-purpose explicit finite volume methods

Kirchner

Herzog

Knell

et al. 2009

Proceedings of the 8th Workshop on Parallel/High-Performance Object-Oriented Scientific Computing

View full text Add to dashboard Cite

show abstract

“…We can find a large literature on coding standards and software design references in (cf. [1,11,15,17,18]), and draw from many internet sources and experience acquired by/from free software projects. We describe advances in the design of LinBox in the next three sections.…”

Section: Introductionmentioning

confidence: 99%

Elements of Design for Containers and Solutions in the LinBox Library

Boyer

Dumas

Giorgi

et al. 2014

Mathematical Software – ICMS 2014

View full text Add to dashboard Cite

We describe in this paper new design techniques used in the C++ exact linear algebra library LinBox, intended to make the library safer and easier to use, while keeping it generic and efficient. First, we review the new simplified structure for containers, based on our founding scope allocation model. We explain design choices and their impact on coding: unification of our matrix classes, clearer model for matrices and submatrices, etc. Then we present a variation of the strategy design pattern that is comprised of a controller-plugin system: the controller (solution) chooses among plug-ins (algorithms) that always call back the controllers for subtasks. We give examples using the solution mul. Finally we present a benchmark architecture that serves two purposes: Providing the user with easier ways to produce graphs; Creating a framework for automatically tuning the library and supporting regression testing.

show abstract

“…The requirements in a concept can take several forms: they can require particular functions or operators to be defined (such as the increment operator in Forward Iterator), they can require certain semantic properties to be true of the functions and operators on the type (such as that incrementing two copies of the same iterator produces equal results), or they can require particular related types to exist and have certain properties (such as the value type of the iterator). The semantic properties, in particular, are interesting for the purposes of this thesis because they provide information about the behavior of particular objects that can be useful for software verification or optimization [57,126].…”

Section: Introductionmentioning

confidence: 99%

A Language for Specifying Compiler Optimizations for Generic Software

Lumsdaine

Willcock

2007

View full text Add to dashboard Cite

would not have been exposed to either generic programming or programming languages to the level that I have. He has also shown me in detail how to perform research and write high-quality papers, and I am grateful to be able to benefit from his experience in these areas.I am also grateful to my mentor at Lawrence Livermore National Laboratory, Daniel Quinlan, for aid in creating the thesis and support in both software development and writing the thesis. The ROSE framework, of which he is the main developer, was invaluable in applying the work in this thesis to commonly used programming languages. On the other hand, software libraries have also been recognized as potentially aiding in program optimization. One proposed implementation of library-based optimization is to allow the library author, or a library user, to define custom analyses and optimizations. Only limited systems have been created to take advantage of this potential, however. One problem in creating a framework for defining new optimizations and analyses is how users are to specify them: implementing them by hand inside a compiler is difficult and prone to errors. Thus, a domain-specific language for librarybased compiler optimizations would be beneficial. Many optimization specification languages have appeared in the literature, but they tend to be either limited in power or unnecessarily difficult to use. Therefore, I have designed, implemented, and evaluated the Pavilion language for specifying program analyses and optimizations, designed for library authors and users. These analyses and optimizations can be based on the implementation of a particular library, its use in a specific program, or on the properties of a broad range of types, expressed through concepts. The new system is intended to provide a high level of expressiveness, even though the intended users are unlikely to be compiler experts.viii

show abstract

Generic Programming and High-Performance Libraries

Cited by 15 publications

References 12 publications

C++ code design for multi-purpose explicit finite volume methods

C++ code design for multi-purpose explicit finite volume methods

Elements of Design for Containers and Solutions in the LinBox Library

A Language for Specifying Compiler Optimizations for Generic Software

Contact Info

Product

Resources

About