笔者课题组公用服务器,有时候遇到长时间训练占用GPU的情况,可以通过查看GPU的PID获取USER详细信息,从而沟通协商GPU的使用。
watch -n 1 nvidia-smi
上面这个指令在Linux下使用,可以实时监控GPU的使用情况。其中1是动态刷新的时间间隔。
ps -aux
上面这个指令可以看到当前服务器下的各种信息,如下图所示:
ll /proc/PID
上面这个指令将需要查看详情的PID输入即可,就能看到该PID的user,time等信息。
ll /proc/123456