An optimal k-exclusion real-time locking protocol motivated by multi-GPU systems