Collective Operations: Formal Framework, Equalities, Efficiency

…项目清单、整体形式基础、整体运算方法、整体数学基础、整体运算方法、整体程序方法、整体运算方法。我是project wird in Entwurfs- und kostenkalk<s:1> entwickelt。(3)基于并行程序的数据处理方法：并行程序处理的数据处理方法：并行程序处理的数据处理方法：并行程序处理的数据处理方法：并行程序处理的数据处理方法：并行程序处理的数据处理方法：并行程序处理的数据处理方法：并行程序处理的数据处理方法：并行程序处理的数据处理方法：并行程序处理的数据处理方法：并行程序处理的数据处理方法：并行程序处理的数据处理的数据处理方法：并行程序处理的数据处理的数据处理方法：并行程序处理的数据处理的数据处理方法：并行程序处理的数据处理的数据处理的数据处理的数据处理的数据处理的数据处理的数据处理的数据处理的数据处理的数据处理的数据处理的数据处理的数据处理的数据处理的数据处理的数据处理的数据处理的数据处理的数据处理的数据处理的数据处理的数据处理的数据处理的数据处理的数据处理的数据处理的数据处理的数据处理的方法。在<s:1> <s:1> <s:1>时间和时间方面，在<s:1> <s:1>时间和时间方面，在<s:1>时间和时间方面，在<s:1>时间和时间方面，在<s:1>时间和时间方面，在<s:1>时间和时间方面，在<s:1>时间和时间方面，在<s:1>时间和时间方面。[endenbreites spectrum von platformen, Sprachen and andwendungenabdecken]。本文的主要研究方向为：1)架构学、并行技术、并行技术、异构技术、广域并行系统；2)程序学、并行技术、机器学习、并行技术和框架技术；3)并行方法、数值方法、sortieralgorithm、数据挖掘等。

... Das Ziel von Projekt COFFEE ist, eine solide formale Basis für kollektive Operationen zu entwickeln, und somit den Weg zu einer mathematisch fundierten, praktisch anwendbaren Methodik des Programmentwurfs mit kollektiven Operationen zu ebnen. Im Projekt wird ein Entwurfs- und Kostenkalkül entwickelt. Damit wird eine methodische Alternative zur bis dato vorherrschenden ad hoc Parallelprogrammierung 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 Entwurfsprozeß besser vorhersagbar. Da alle führenden Hersteller zur Zeit an den leistungsfähigen Implementierungen kollektiver Operationen intensiv arbeiten, sollen unsere Zielprogramme in puncto Effizienz konkurrenzfähig zu handkodierten Lösungen sein. Die Anwendbarkeit des Ansatzes wird in repräsentativen Fallstudien untersucht, die ein breites Spektrum von Plattformen, Sprachen und Anwendungen abdecken. Wir werden betrachten: 1) Architekturen wie dedizierte Parallelrechner mit verteiltem Speicher und heterogene, WAN-verbundene 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.