equal
deleted
inserted
replaced
329 private static class RandomIO { |
329 private static class RandomIO { |
330 |
330 |
331 // we buffer data we read from the "next" file for efficiency, |
331 // we buffer data we read from the "next" file for efficiency, |
332 // but we limit the lifetime to avoid using stale bits |
332 // but we limit the lifetime to avoid using stale bits |
333 // lifetime in ms, currently 100 ms (0.1 s) |
333 // lifetime in ms, currently 100 ms (0.1 s) |
334 private final static long MAX_BUFFER_TIME = 100; |
334 private static final long MAX_BUFFER_TIME = 100; |
335 |
335 |
336 // size of the "next" buffer |
336 // size of the "next" buffer |
337 private final static int BUFFER_SIZE = 32; |
337 private static final int BUFFER_SIZE = 32; |
338 |
338 |
339 // Holder for the seedFile. Used if we ever add seed material. |
339 // Holder for the seedFile. Used if we ever add seed material. |
340 File seedFile; |
340 File seedFile; |
341 |
341 |
342 // In/OutputStream for "seed" and "next" |
342 // In/OutputStream for "seed" and "next" |