Collective Operations: Formal Framework, Equalities, Efficiency

集体运作：正式框架、平等、效率

• 批准号: 5264766
• 负责人: Professor Dr. Sergei Gorlatch
• 金额: --
• 依托单位: Institut für Informatik
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2000
• 资助国家: 德国
• 起止时间: 1999-12-31 至 2005-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5264766?language=en
• 关键词: Collective; Operations; Formal; Framework; Equalities

... 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.

..。Das Ziel von Projekt咖啡师，Eine Solid Forale Basis für kollektive Operationen zu entwickeln，and Somit den Weg zu einer数学化Fundierten，Praktisch and wendbaren Methodik des Programmwurff MIT Kollektiven Operationen zu ebnen。我是科斯滕卡尔克·L·恩维克尔特。这是一种新的方法和方法，可以替代临时并行程序，包括发送和接收两个操作程序，以及有效的操作程序。从现在开始，我们将继续努力，为L先生提供一个完整的、完整的程序。这句话的意思是：“我不知道你的名字是什么，我不知道你的名字是什么。”我们做了以下工作：1)设计和实现了并行和异种结构，广域并行系统，2)编程和并行，以及数据挖掘。