newrandom/LeapableRng.java
author briangoetz
Thu, 23 May 2019 16:45:56 -0400
branchbriangoetz-test-branch
changeset 57369 6d87e9f7a1ec
permissions -rwxr-xr-x
Initial comment in newrandom/
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
57369
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
     1
/*
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
     2
 * Copyright (c) 2016, 2019, Oracle and/or its affiliates. All rights reserved.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
     3
 * ORACLE PROPRIETARY/CONFIDENTIAL. Use is subject to license terms.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
     4
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
     5
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
     6
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
     7
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
     8
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
     9
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    10
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    11
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    12
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    13
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    14
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    15
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    16
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    17
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    18
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    19
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    20
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    21
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    22
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    23
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    24
 */
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    25
// package java.util;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    26
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    27
import java.math.BigInteger;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    28
import java.util.stream.Stream;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    29
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    30
/**
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    31
 * This interface is designed to provide a common protocol for objects
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    32
 * that generate sequences of pseudorandom numbers (or Boolean values)
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    33
 * and furthermore can easily not only jump but also <it>leap</it> to
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    34
 * a very distant point in the state cycle.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    35
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    36
 * Typically one will construct a series of {@code LeapableRng} objects
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    37
 * by iterative leaping from a single original {@code LeapableRng}
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    38
 * object, and then for each such object produce a subseries of objects
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    39
 * by iterative jumping.  There is little conceptual difference between
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    40
 * leaping and jumping, but typically a leap will be a very long jump
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    41
 * in the state cycle (perhaps distance 2<sup>128</sup> or so).
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    42
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    43
 * <p>Ideally, all {@code LeapableRng} objects produced by iterative
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    44
 * leaping and jumping from a single original {@code LeapableRng} object
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    45
 * are statistically independent of one another and individually uniform.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    46
 * In practice, one must settle for some approximation to independence
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    47
 * and uniformity.  In particular, a specific implementation may
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    48
 * assume that each generator in a stream produced by the {@code leaps}
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    49
 * method is used to produce (by jumping) a number of objects no larger
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    50
 * than 2<sup>64</sup>.  Implementors are advised to use algorithms
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    51
 * whose period is at least 2<sup>191</sup>.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    52
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    53
 * <p>Methods are provided to perform a single leap operation and also
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    54
 * to produce a stream of generators produced from the original by
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    55
 * iterative copying and leaping of internal state.  The generators
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    56
 * produced must implement the {@code JumpableRng} interface but need
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    57
 * not also implement the {@code LeapableRng} interface.  A typical
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    58
 * strategy for a multithreaded application is to create a single
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    59
 * {@code LeapableRng} object, calls its {@code leaps} method exactly
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    60
 * once, and then parcel out generators from the resulting stream, one
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    61
 * to each thread.  Then the {@code jumps} method of each such generator
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    62
 * be called to produce a substream of generator objects.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    63
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    64
 * <p>An implementation of the {@code LeapableRng} interface must provide
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    65
 * concrete definitions for the methods {@code nextInt()}, {@code nextLong},
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    66
 * {@code period()}, {@code copy()}, {@code jump()}, {@code defaultJumpDistance()},
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    67
 * {@code leap()}, and {@code defaultLeapDistance()}.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    68
 * Default implementations are provided for all other methods.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    69
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    70
 * <p>Objects that implement {@code java.util.LeapableRng} are
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    71
 * typically not cryptographically secure.  Consider instead using
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    72
 * {@link java.security.SecureRandom} to get a cryptographically
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    73
 * secure pseudo-random number generator for use by
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    74
 * security-sensitive applications.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    75
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    76
 * @author  Guy Steele
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    77
 * @since   1.9
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    78
 */
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    79
interface LeapableRng extends JumpableRng {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    80
    /**
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    81
     * Returns a new generator whose internal state is an exact copy
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    82
     * of this generator (therefore their future behavior should be
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    83
     * identical if subjected to the same series of operations).
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    84
     *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    85
     * @return a new object that is a copy of this generator
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    86
     */
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    87
    LeapableRng copy();
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    88
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    89
    /**
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    90
     * Alter the state of this pseudorandom number generator so as to
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    91
     * leap forward a large, fixed distance (typically 2<sup>96</sup>
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    92
     * or more) within its state cycle.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    93
     */
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    94
    void leap();
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    95
    
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    96
    /**
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    97
     * Returns the distance by which the {@code leap()} method will leap
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    98
     * forward within the state cycle of this generator object.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    99
     *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   100
     * @return the default leap distance (as a {@code double} value)
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   101
     */
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   102
    double defaultLeapDistance();
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   103
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   104
    /**
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   105
     * Returns an effectively unlimited stream of new pseudorandom
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   106
     * number generators, each of which implements the {@code JumpableRng}
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   107
     * interface.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   108
     *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   109
     * @implNote It is permitted to implement this method in a manner
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   110
     * equivalent to {@code leaps(Long.MAX_VALUE)}.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   111
     *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   112
     * @implNote The default implementation produces a sequential stream
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   113
     * that  repeatedly calls {@code copy()} and {@code leap()} on this generator,
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   114
     * and the copies become the generators produced by the stream.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   115
     *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   116
     * @return a stream of objects that implement the {@code JumpableRng} interface
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   117
     */
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   118
    default Stream<JumpableRng> leaps() {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   119
	return Stream.generate(this::copyAndLeap).sequential();
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   120
    }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   121
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   122
    /**
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   123
     * Returns a stream producing the given {@code streamSize} number of
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   124
     * new pseudorandom number generators, each of which implements the
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   125
     * {@code JumpableRng} interface.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   126
     *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   127
     * @implNote The default implementation produces a sequential stream
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   128
     * that  repeatedly calls {@code copy()} and {@code leap()} on this generator,
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   129
     * and the copies become the generators produced by the stream.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   130
     *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   131
     * @param streamSize the number of generators to generate
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   132
     * @return a stream of objects that implement the {@code JumpableRng} interface
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   133
     * @throws IllegalArgumentException if {@code streamSize} is
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   134
     *         less than zero
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   135
     */
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   136
    default Stream<JumpableRng> leaps(long streamSize) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   137
        return leaps().limit(streamSize);
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   138
    }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   139
        
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   140
    /**
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   141
     * Copy this generator, leap this generator forward, then return the copy.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   142
     */
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   143
    default JumpableRng copyAndLeap() {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   144
	JumpableRng result = copy();
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   145
	leap();
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   146
	return result;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   147
    }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   148
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   149
}