Collective Operations: Formal Framework, Equalities, Efficiency (COFFEE)

Basic data for this project

Type of project: Individual project
Duration: 01/01/2003 - 01/01/2006

Description

Das Ziel von Projekt COFFEE war, eine solide formale Basis für kollektive Operationen in vernetzten und parallelen Umgebungen zu entwickeln, und somit den Weg zu einer mathematisch fundierten, praktisch anwendbaren Methodik des Programmentwurfs mit kollektiven Operationen zu ebnen. Im Projekt wurde ein Entwurfs- und Kostenkalkül entwickelt und damit eine methodische Alternative zur bis dato vorherrschenden ad hoc Programmierung mit den maschinennahen Kommunikationsprimitiven "Send" und "Receive" zur Verfügung gestellt: Programme mit kollektiven Operationen besitzen eine deutlich übersichtlichere Struktur, und ihre Effizienz ist im Entwurfsprozess besser vorhersagbar. Die Anwendbarkeit des Ansatzes wurde in repräsentativen Fallstudien untersucht, die ein breites Spektrum von Plattformen, Sprachen und Anwendungen abdecken. Wir haben betrachten: 1) Architekturen wie dedizierte Parallelrechner mit verteiltem Speicher und heterogene vernetzte Parallelsysteme, 2) Programmierumgebungen und Sprachen, sowohl maschinennahe, als auch implizit parallele und skelettbasierte, sowie 3) Anwendungsmethoden wie numerische Methoden und Sortieralgorithmen, und Anwendungsklassen wie verteiltes Data-Mining.

Keywords: collective operations; networked environments; distributed data mining