Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[RUNTIME] Replace random number with UUID (#3544)
On a distributed setting, processes from different nodes may have the same PID. If the seed for `random` is also set, the random number is also the same, which may finally lead to collision (actually happened on my cluster). Changing the random number to `uuid` avoids such collision.
- Loading branch information