Summer School Accelerated Geophysic Solutions über Devito

Devito ist eine domänenspezifische Sprache (DSL) und ein Compiler zur Lösung von PDE-Randwertproblemen mithilfe der Finite-Differenzen-Methode. Mit der High-Level-API im SymPy-Stil können Benutzer Modelle und ihre diskretisierten Lösungen auf ähnliche Weise erstellen, wie sie es mit „Stift und Papier“ tun würden. Devito verarbeitet dann diese High-Level-Spezifikation, um einen hochoptimierten C-Code für die Zielarchitektur zu generieren. Mit der Beherrschung des DSL können Benutzer eine Reihe von PDE-Randwertproblemen effizient lösen, insbesondere solche im Zusammenhang mit geophysikalischen Bildgebungsproblemen, einer Zielanwendung des Frameworks.

Die Sommerschule wird die hochproduktiven und leistungsstarken Aspekte von Devito im Bereich der seismischen Bildgebung präsentieren. Für neue Benutzer wird ein Rundgang durch den Prozess der Erstellung und Lösung einer Reihe von Modellen bereitgestellt. Die grundlegende API und die verschiedenen verfügbaren Optionen werden im Zusammenhang mit der Lösung der Wellengleichung veranschaulicht.

Benutzer mit mehr Erfahrung haben die Möglichkeit, durch eine Reihe von geführten Übungen entsprechend ihren Interessen komplexere Modelle zu erkunden, sei es durch die Erkundung von Funktionen wie Unterdomänen zur Implementierung komplexerer Randbedingungen oder durch die Nutzung verteilter Speicherparallelität zur Lösung größerer Probleme Probleme. Sobald neuere Benutzer mit den Grundlagen von DSL vertraut sind, werden sie diese zusätzlichen Funktionen erkunden.

Ziel

Die Sommerschule soll Geophysiker mit wenig oder keiner Vorerfahrung mit Devito auf ein Niveau bringen, auf dem sie sich bei der Lösung relevanter Probleme damit wohl fühlen.

Nach Abschluss der Summer School werden die Benutzer

• In der Lage sein, PDE-Randwertprobleme und ihre Lösungen im DSL auszudrücken
• Verstehen Sie, wie sich High-Level-API-Optionen auf den zugrunde liegenden erzeugten C-Code auswirken
• Sie verfügen über Erfahrung in der Ausführung relevanter Modelle, z. B. Wellengleichungssimulationen, und im Umgang mit deren Ausgabe
• Haben sich je nach Interesse mit einigen fortgeschritteneren Funktionen von Devito befasst (z. B. Vektor- und Tensorfunktionen, Subdomains, MPI-Unterstützung, Compiler-Optimierungen usw.).

• Doktoranden, Nachwuchsforscher, Berufstätige.
• Studierende im Grundstudium sind willkommen (begrenzte Plätze).

Die Sommerschule soll Geophysiker mit wenig oder keiner Vorerfahrung mit Devito auf ein Niveau bringen, auf dem sie sich bei der Lösung relevanter Probleme damit wohl fühlen.

Nach Abschluss der Summer School werden die Benutzer

• In der Lage sein, PDE-Randwertprobleme und ihre Lösungen im DSL auszudrücken
• Verstehen Sie, wie sich High-Level-API-Optionen auf den zugrunde liegenden erstellten C-Code auswirken
• Sie verfügen über Erfahrung in der Ausführung relevanter Modelle, z. B. Wellengleichungssimulationen, und im Umgang mit deren Ausgabe
• Haben sich je nach Interesse mit einigen fortgeschritteneren Funktionen von Devito befasst (z. B. Vektor- und Tensorfunktionen, Subdomains, MPI-Unterstützung, Compiler-Optimierungen usw.).