Devito é uma linguagem específica de domínio (DSL) e um compilador para resolver problemas de valor limite PDE por meio do método de diferenças finitas. A API de alto nível no estilo SymPy permite que os usuários formem modelos e suas soluções discretizadas de maneira semelhante à que fariam em 'caneta e papel'. Devito então processa essa especificação de alto nível para gerar um código C altamente otimizado para a arquitetura de destino. Com o comando do DSL, os usuários podem resolver com eficiência uma série de problemas de valor de contorno PDE, particularmente aqueles pertinentes a problemas de imagem geofísica, uma aplicação alvo da estrutura.

A Escola de Verão apresentará os aspectos de alta produtividade e alto desempenho do Devito no domínio da imagem sísmica. Para novos usuários, será fornecido um passo a passo do processo de construção e resolução de uma série de modelos. A API básica e as diversas opções disponíveis serão exemplificadas no contexto da resolução da equação de onda.

Usuários com mais experiência terão a oportunidade de diversificar e explorar modelos mais complexos por meio de uma série de exercícios guiados de acordo com seus interesses, seja explorando recursos como subdomínios para implementar condições de contorno mais avançadas ou utilizando paralelismo de memória distribuída para resolver problemas maiores. problemas. Assim que os usuários mais novos estiverem familiarizados com os fundamentos da DSL, eles irão explorar esses recursos adicionais.

Alvo

A Escola de Verão tem como objetivo levar os geofísicos com pouca ou nenhuma experiência anterior com o Devito a um nível onde se sintam confortáveis para resolver problemas relevantes utilizando-o.

Após a conclusão da Escola de Verão, os usuários

• Ser capaz de expressar problemas de valor de contorno PDE e suas soluções na DSL
• Entenda como as opções de API de alto nível afetam o código C subjacente produzido
• Ter experiência na execução de modelos relevantes, como simulações baseadas em equações de ondas, e no manuseio de seus resultados
• Investigaram alguns recursos mais avançados do Devito (por exemplo, funções vetoriais e tensores, subdomínios, suporte MPI, otimizações de compilador, etc.) dependendo de seus interesses.