A large-scale framework for symbolic implementations of seismic inversion algorithms in Julia
File(s)witte2018alf.pdf (2.71 MB)
Accepted version
Author(s)
Type
Journal Article
Abstract
Writing software packages for seismic inversion is a very challenging task because problems such as full-waveform inversion or least-squares imaging are algorithmically and computationally demanding due to the large number of unknown parameters and the fact that waves are propagated over many wavelengths. Therefore, software frameworks need to combine versatility and performance to provide geophysicists with the means and flexibility to implement complex algorithms that scale to exceedingly large 3D problems. Following these principles, we have developed the Julia Devito Inversion framework, an open-source software package in Julia for large-scale seismic modeling and inversion based on Devito, a domain-specific language compiler for automatic code generation. The framework consists of matrix-free linear operators for implementing seismic inversion algorithms that closely resemble the mathematical notation, a flexible resilient parallelization, and an interface to Devito for generating optimized stencil code to solve the underlying wave equations. In comparison with many manually optimized industry codes written in low-level languages, our software is built on the idea of independent layers of abstractions and user interfaces with symbolic operators. Through a series of numerical examples, we determined that this allows users to implement a series of increasingly complex algorithms for waveform inversion and imaging as simple Julia scripts that scale to large-scale 3D problems. This illustrates that software based on the paradigms of abstract user interfaces and automatic code generation and makes it possible to manage the complexity of the algorithms and performance optimizations, thus providing a high-performance research and production framework.
Date Issued
2019-05-01
Date Acceptance
2018-11-25
Citation
Geophysics, 2019, 84 (3), pp.F57-F71
ISSN
0016-8033
Publisher
Society of Exploration Geophysicists
Start Page
F57
End Page
F71
Journal / Book Title
Geophysics
Volume
84
Issue
3
Copyright Statement
Copyright © 2018 Society of Exploration Geophysicists. This is the accepted version of the article presented without modification. This version can only be used for non-commercial purposes. The final version is available Witte, Philipp A., et al. "A large-scale framework for symbolic implementations of seismic inversion algorithms in Julia." Geophysics 84.3 (2019): F57-F71. at https://doi.org/10.1190/geo2018-0174.1
Identifier
http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000468946700026&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=1ba7043ffcc86c417c072aa74d649202
Subjects
Geochemistry & Geophysics
MIGRATION
Physical Sciences
REVERSE
Science & Technology
WAVE-FORM INVERSION
Publication Status
Published
Date Publish Online
2019-03-11