CUDA Memory Model

Cover CUDA visibility, ordering, synchronization scopes, atomics, and the conditions that make cross-thread communication correct.