[crac] Integrated: 8370888: [CRaC] Use better source of random for UUID generation in checkpoint path

[Radim Vansa]

On Thu, 30 Oct 2025 11:38:54 GMT, Radim Vansa <rvansa at openjdk.org> wrote:

> When `-XX:CRaCCheckpointTo` contains the `%u` placeholder to generate random UUID, it should use a different source than `os::random()` which provides not-seeded, deterministic values.

This pull request has now been integrated.

Changeset: ba48c708
Author:    Radim Vansa <rvansa at openjdk.org>
URL:       https://git.openjdk.org/crac/commit/ba48c7080737a73d94a0f55d25d922880954edce
Stats:     64 lines in 6 files changed: 53 ins; 2 del; 9 mod

8370888: [CRaC] Use better source of random for UUID generation in checkpoint path

Reviewed-by: tpushkin

-------------

PR: https://git.openjdk.org/crac/pull/271