Seismic inversion and imaging are adjoint-based optimization problems that process up to terabytes of data, regularly exceeding the memory capacity of available computers. Data compression is an effective strategy to reduce this memory requirement by a certain factor, particularly if some loss in accuracy is acceptable. A popular alternative is checkpointing, where data is stored at selected points in time, and values at other times are recomputed as needed from the last stored state. This allows arbitrarily large adjoint computations with limited memory, at the cost of additional recomputations. In this paper, we combine compression and checkpointing for the first time to compute a realistic seismic inversion. The combination of checkpointing and compression allows larger adjoint computations compared to using only compression, and reduces the recomputation overhead significantly compared to using only checkpointing.
翻译:地震转换和成像是联合为基础的优化问题,可处理多达兆字节的数据,经常超过现有计算机的记忆能力。数据压缩是将这一记忆要求减少一个特定因素的有效战略,特别是如果某些准确性损失可以接受的话。一个流行的替代办法是检查站,在特定时间储存数据,其他时间的数值根据需要从最后储存的状态进行重新计算。这样就可以任意用有限的内存进行大量联合计算,而费用则增加。在本文中,我们首次将压缩和检查结合起来,以计算现实的地震转换。检查站和压缩相结合,可以进行比仅使用压缩的更大程度的联合计算,并显著减少与仅使用检查站相比的重新计算间接费用。