Escuela de verano Soluciones de geofísica acelerada a través de Devito

Devito es un lenguaje de dominio específico (DSL) y un compilador para resolver problemas de valores límite de PDE mediante el método de diferencias finitas. La API de alto nivel de estilo SymPy permite a los usuarios formar modelos y sus soluciones discretizadas de manera similar a como lo harían con "lápiz y papel". Luego, Devito procesa esta especificación de alto nivel para generar un código C altamente optimizado para la arquitectura de destino. Con un comando del DSL, los usuarios pueden resolver eficientemente una variedad de problemas de valores de límites de PDE, particularmente aquellos pertinentes a los problemas de imágenes geofísicas, una aplicación objetivo del marco.

La Escuela de Verano mostrará los aspectos de alta productividad y alto rendimiento de Devito en el ámbito de las imágenes sísmicas. Para los nuevos usuarios, se proporcionará un recorrido por el proceso de construcción y resolución de una variedad de modelos. La API básica y las diversas opciones disponibles se ejemplificarán en el contexto de la resolución de la ecuación de onda.

Los usuarios con más experiencia tendrán la oportunidad de ampliar y explorar modelos más complejos a través de una serie de ejercicios guiados de acuerdo con sus intereses, ya sea explorando características como subdominios para implementar condiciones de contorno más avanzadas o utilizando el paralelismo de memoria distribuida para resolver problemas más grandes. problemas. Una vez que los usuarios más nuevos se sientan cómodos con los fundamentos de DSL, se unirán a la exploración de estas características adicionales.

Objetivo

La Escuela de Verano tiene como objetivo llevar a los geofísicos con poca o ninguna experiencia previa con Devito a un nivel en el que se sientan cómodos resolviendo problemas relevantes usándolo.

Al finalizar la Escuela de Verano, los usuarios

• Ser capaz de expresar problemas de valores en la frontera PDE y sus soluciones en el DSL.
• Comprender cómo las opciones de API de alto nivel afectan el código C subyacente producido
• Tener experiencia en la ejecución de modelos relevantes, como simulaciones basadas en ecuaciones de ondas, y en el manejo de su salida.
• Han profundizado en algunas características más avanzadas de Devito (por ejemplo, funciones vectoriales y tensoriales, subdominios, soporte MPI, optimizaciones del compilador, etc.) según sus intereses.

• Estudiantes de Posgrado, Investigadores en etapa inicial, Profesionales.
• Los estudiantes de pregrado son bienvenidos (plazas limitadas).

La Escuela de Verano tiene como objetivo llevar a los geofísicos con poca o ninguna experiencia previa con Devito a un nivel en el que se sientan cómodos resolviendo problemas relevantes usándolo.

Al finalizar la Escuela de Verano, los usuarios

• Ser capaz de expresar problemas de valores en la frontera PDE y sus soluciones en el DSL.
• Comprender cómo las opciones de API de alto nivel afectan el código C subyacente producido
• Tener experiencia en la ejecución de modelos relevantes, como simulaciones basadas en ecuaciones de ondas, y en el manejo de su salida.
• Han profundizado en algunas características más avanzadas de Devito (por ejemplo, funciones vectoriales y tensoriales, subdominios, soporte MPI, optimizaciones del compilador, etc.) según sus intereses.