| 116 | } |
| 117 | |
| 118 | Reference<IRandom> nondeterministicRandom() { |
| 119 | static thread_local Reference<IRandom> random; |
| 120 | if (!random) { |
| 121 | random = Reference<IRandom>(new DeterministicRandom(platform::getRandomSeed())); |
| 122 | } |
| 123 | return random; |
| 124 | } |
| 125 | |
| 126 | std::string UID::toString() const { |
| 127 | return format("%016llx%016llx", part[0], part[1]); |