public interface PersistentRandomSource
RandomSource
which supports writing a seed to disk, and bootstrapping future instances
of it by reading the seed file from disk.write_seed(boolean)
during shutdown to store the seed to disk.Yarrow
to this as well.Modifier and Type | Method and Description |
---|---|
void |
write_seed(boolean force)
Explanation of the purpose of this mechanism is at its interface
PersistentRandomSource . |
void write_seed(boolean force)
PersistentRandomSource
.force
- If false, the implementation might decide to ignore this function call if the seed file
was written to disk a short time ago already.