Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
gpu-setup: Don't unlock to early during release
Currently, the gpu lock file `pid` is released (removed) to early, so that there is a small race condition with a new GPU allocation: ``` MXQ job1 job2 * fork job1 * other initialization * reserve gpu: * * find slot without pid * * change access to UID * run user program * exit * fork job2 * other initialization * cleanup job 1: * * rm .../pid * reserve gpu: * * find slot without pid * * change access to UID * * change access to root ``` On release, keep the `pid` file until after the access mode has been changed back to root.
- Loading branch information