Commit e8e45a4
authored
[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.1 parent e14516a commit e8e45a4
1 file changed
+2
-2
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
3 | 3 | | |
4 | | - | |
| 4 | + | |
5 | 5 | | |
6 | 6 | | |
7 | 7 | | |
| |||
113 | 113 | | |
114 | 114 | | |
115 | 115 | | |
116 | | - | |
| 116 | + | |
117 | 117 | | |
118 | 118 | | |
119 | 119 | | |
| |||
0 commit comments