https://hgpu.org/?p=7307
Globally scheduled real-time multiprocessor systems with GPUs