![JAR search and dependency download from the Maven repository](/logo.png)
org.uncommons.maths.random.DevRandomSeedGenerator Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of uncommons-maths Show documentation
Show all versions of uncommons-maths Show documentation
Random number generators, probability distributions, combinatorics and statistics for Java.
The newest version!
// ============================================================================
// Copyright 2006-2012 Daniel W. Dyer
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
// http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.
// ============================================================================
package org.uncommons.maths.random;
import java.io.File;
import java.io.FileInputStream;
import java.io.IOException;
/**
* RNG seed strategy that gets data from {@literal /dev/random} on systems
* that provide it (e.g. Solaris/Linux). If {@literal /dev/random} does not
* exist or is not accessible, a {@link SeedException} is thrown.
* @author Daniel Dyer
*/
public class DevRandomSeedGenerator implements SeedGenerator
{
private static final File DEV_RANDOM = new File("/dev/random");
/**
* {@inheritDoc}
* @return The requested number of random bytes, read directly from
* {@literal /dev/random}.
* @throws SeedException If {@literal /dev/random} does not exist or is
* not accessible
*/
public byte[] generateSeed(int length) throws SeedException
{
FileInputStream file = null;
try
{
file = new FileInputStream(DEV_RANDOM);
byte[] randomSeed = new byte[length];
int count = 0;
while (count < length)
{
int bytesRead = file.read(randomSeed, count, length - count);
if (bytesRead == -1)
{
throw new SeedException("EOF encountered reading random data.");
}
count += bytesRead;
}
return randomSeed;
}
catch (IOException ex)
{
throw new SeedException("Failed reading from " + DEV_RANDOM.getName(), ex);
}
catch (SecurityException ex)
{
// Might be thrown if resource access is restricted (such as in
// an applet sandbox).
throw new SeedException("SecurityManager prevented access to " + DEV_RANDOM.getName(), ex);
}
finally
{
if (file != null)
{
try
{
file.close();
}
catch (IOException ex)
{
// Ignore.
}
}
}
}
@Override
public String toString()
{
return "/dev/random";
}
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy