Respondendo minha própria pergunta para referência futura. Nós decidimos ir com os cartões GTX 1080. Na versão do driver 367.57
, eles relatam os seguintes recursos de DMA:
$ grep DMA /proc/driver/nvidia/gpus/0000\:04\:00.0/information
DMA Size: 47 bits
DMA Mask: 0x7fffffffffff
Como tal, eles devem ser capazes de endereçar até cerca de 140 terabytes de RAM do sistema host - mais do que suficiente para nosso caso de uso.