Distributed-Shared CUDA: Virtualization of Large-Scale GPU Systems for Programmability and Reliability