Algorithmische lineare Algebra für Polynommatrizen

In dieser Arbeit werden Algorithmen innerhalb der linearen Algebra zur Behandlung von Polynommatrizen (Matrizen über Integritätsbereichen) in einheitlicher Form vorgestellt und miteinander verglichen. Im einzelnen werden Verfahren von Bareiss, Malashonok sowie Sasaki und Murao präsentiert und variiert, um Matrizen effizient auf Zeilenstufen- bzw. Diagonalform zu bringen. Dabei wird das Wachstum der Koeffizienten durch eine bruchfreie Division bzw. durch eine spezielle Multiplikation (Sasaki-Murao) beschränkt. Diese Algorithmen lassen sich auf die Standardprobleme der linearen Algebra anwenden (Determinantenberechnung, Lösung linearer Gleichungssysteme, etc.). Darüberhinaus wird ein neues Verfahren vorgestellt, um sämtliche Minoren beliebiger Ordnung zu bestimmen

MPI I/O Analysis and Error Detection with MARMOT

Abstract. The most frequently used part of MPI-2 is MPI I/O. Due to the complexity of parallel programming in general, and of handling parallel I/O in particular, there is a need for tools that support the application development process. There are many situations where incorrect usage of MPI by the application programmer can be automatically detected. In this paper we describe the MARMOT tool that uncovers some of these errors and we also analyze to what extent it is possible to do so for MPI I/O

MPI Application Development Using the Analysis Tool MARMOT

The Message Passing Interface (MPI) is widely used to write parallel programs using message passing. Due to the complexity of parallel programming there is a need for tools supporting the development process. There are many situations where incorrect usage of MPI by the application programmer can automatically be detected. Examples are the introduction of irreproducibility, deadlocks and incorrect management of resources like communicators, groups, datatypes and operators

Coupling DDT and Marmot for Debugging of MPI Applications

Parallel programming is a complex, and, since the multi-core era has dawned, also a more common task that can be alleviated considerably by tools supporting the application development and porting process. Existing tools, namely the MPI correctness checker Marmot and the parallel debugger DDT, have so far been used on a wide range of platforms as stand-alone tools to cover different aspects of correctness debugging. In this paper we will describe first steps towards coupling these two tools to provide application developers with a powerful and user-friendly environment.

Topic 1: Support Tools and Environments - (Introduction).: Euro-Par 2013 Parallel Processing - 19th International Conference

Networks have always been a central component in the realization of parallel processing. Having multiple processors working concurrently to solve a problem inherently means that there has to be a reliable and well-performing network over which the processors can communicate. Ever since the first parallel machines we have therefore seen research on topics like topologies, switches, links, routing, device drivers, traffic control, fault tolerance, and congestion control specialized for parallel machines

MARMOT: An MPI Analysis and Checking Tool

The Message Passing Interface (MPI) is widely used to write parallel programs using message passing. MARMOT is a tool to aid in the development and debugging of MPI programs. This paper presents the situations where incorrect usage of MPI by the application programmer is automatically detected. Examples are the introduction of irreproducibility, deadlocks and incorrect management of resources like communicators, groups, datatypes and operators.