Class RngManager

java.lang.Object

com.knezevic.edaf.v3.core.rng.RngManager

public final class RngManager
extends Object

Deterministic RNG stream manager. Streams are derived from a master seed and a component key to ensure independent and reproducible random flows.

Constructor Summary

Constructors

Constructor	Description
RngManager(long masterSeed)

Method Summary

Modifier and Type	Method	Description
static long	deriveSeed(long masterSeed, String component)	Stable seed derivation for component streams using SplitMix64 style mixing.
RngStream	ephemeralStream(String component)	Returns a deterministic but detached stream that is not tracked in checkpoints.
long	masterSeed()
void	restore(RngSnapshot snapshot)	Restores stream states from checkpoint.
RngSnapshot	snapshot()	Captures complete RNG state for checkpoint/resume.
RngStream	stream(String component)	Returns (or lazily creates) a deterministic named stream.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

RngManager

public RngManager(long masterSeed)

Method Details

stream

public RngStream stream(String component)

Returns (or lazily creates) a deterministic named stream.

ephemeralStream

public RngStream ephemeralStream(String component)

Returns a deterministic but detached stream that is not tracked in checkpoints.

This is useful for per-item parallel tasks where each task can derive a stable stream name (for example generation/index), avoiding shared mutable RNG state.

snapshot

public RngSnapshot snapshot()

Captures complete RNG state for checkpoint/resume.

restore

public void restore(RngSnapshot snapshot)

Restores stream states from checkpoint.

masterSeed

public long masterSeed()

deriveSeed

public static long deriveSeed(long masterSeed,
 String component)

Stable seed derivation for component streams using SplitMix64 style mixing.