blob: c174c613f40c56cb6012f04b16dae82da3198a55 [file] [log] [blame]
Dave Bort33425742009-10-15 11:46:37 -07001// Copyright 2009 The Go Authors. All rights reserved.
2// Use of this source code is governed by a BSD-style
3// license that can be found in the LICENSE file.
4
5package rand
6
7import (
Russ Coxeb692922011-11-01 22:05:34 -04008 "errors"
Robert Griesemerd65a5cc2009-12-15 15:40:16 -08009 "fmt"
Russ Cox965845a2011-11-02 15:54:16 -040010 "math"
Robert Griesemerd65a5cc2009-12-15 15:40:16 -080011 "testing"
Dave Bort33425742009-10-15 11:46:37 -070012)
13
14const (
Robert Griesemerd65a5cc2009-12-15 15:40:16 -080015 numTestSamples = 10000
Dave Bort33425742009-10-15 11:46:37 -070016)
17
18type statsResults struct {
Robert Griesemerd65a5cc2009-12-15 15:40:16 -080019 mean float64
20 stddev float64
21 closeEnough float64
22 maxError float64
Dave Bort33425742009-10-15 11:46:37 -070023}
24
25func max(a, b float64) float64 {
26 if a > b {
Robert Griesemer40621d52009-11-09 12:07:39 -080027 return a
Dave Bort33425742009-10-15 11:46:37 -070028 }
Robert Griesemerd65a5cc2009-12-15 15:40:16 -080029 return b
Dave Bort33425742009-10-15 11:46:37 -070030}
31
32func nearEqual(a, b, closeEnough, maxError float64) bool {
Rob Pike1a13f9b2011-09-29 09:54:20 -070033 absDiff := math.Abs(a - b)
Robert Griesemerd65a5cc2009-12-15 15:40:16 -080034 if absDiff < closeEnough { // Necessary when one value is zero and one value is close to zero.
Robert Griesemer40621d52009-11-09 12:07:39 -080035 return true
Dave Bort33425742009-10-15 11:46:37 -070036 }
Rob Pike1a13f9b2011-09-29 09:54:20 -070037 return absDiff/max(math.Abs(a), math.Abs(b)) < maxError
Dave Bort33425742009-10-15 11:46:37 -070038}
39
40var testSeeds = []int64{1, 1754801282, 1698661970, 1550503961}
41
42// checkSimilarDistribution returns success if the mean and stddev of the
43// two statsResults are similar.
Russ Coxeb692922011-11-01 22:05:34 -040044func (this *statsResults) checkSimilarDistribution(expected *statsResults) error {
Dave Bort33425742009-10-15 11:46:37 -070045 if !nearEqual(this.mean, expected.mean, expected.closeEnough, expected.maxError) {
Robert Griesemerd65a5cc2009-12-15 15:40:16 -080046 s := fmt.Sprintf("mean %v != %v (allowed error %v, %v)", this.mean, expected.mean, expected.closeEnough, expected.maxError)
47 fmt.Println(s)
Russ Coxeb692922011-11-01 22:05:34 -040048 return errors.New(s)
Dave Bort33425742009-10-15 11:46:37 -070049 }
50 if !nearEqual(this.stddev, expected.stddev, 0, expected.maxError) {
Robert Griesemerd65a5cc2009-12-15 15:40:16 -080051 s := fmt.Sprintf("stddev %v != %v (allowed error %v, %v)", this.stddev, expected.stddev, expected.closeEnough, expected.maxError)
52 fmt.Println(s)
Russ Coxeb692922011-11-01 22:05:34 -040053 return errors.New(s)
Dave Bort33425742009-10-15 11:46:37 -070054 }
Robert Griesemerd65a5cc2009-12-15 15:40:16 -080055 return nil
Dave Bort33425742009-10-15 11:46:37 -070056}
57
58func getStatsResults(samples []float64) *statsResults {
Robert Griesemerd65a5cc2009-12-15 15:40:16 -080059 res := new(statsResults)
Rémy Oudompheng1a0a09d2012-07-04 00:38:01 +020060 var sum, squaresum float64
61 for _, s := range samples {
62 sum += s
63 squaresum += s * s
Dave Bort33425742009-10-15 11:46:37 -070064 }
Robert Griesemerd65a5cc2009-12-15 15:40:16 -080065 res.mean = sum / float64(len(samples))
Rémy Oudompheng1a0a09d2012-07-04 00:38:01 +020066 res.stddev = math.Sqrt(squaresum/float64(len(samples)) - res.mean*res.mean)
Robert Griesemerd65a5cc2009-12-15 15:40:16 -080067 return res
Dave Bort33425742009-10-15 11:46:37 -070068}
69
70func checkSampleDistribution(t *testing.T, samples []float64, expected *statsResults) {
Robert Griesemerd65a5cc2009-12-15 15:40:16 -080071 actual := getStatsResults(samples)
72 err := actual.checkSimilarDistribution(expected)
Dave Bort33425742009-10-15 11:46:37 -070073 if err != nil {
Russ Coxeb692922011-11-01 22:05:34 -040074 t.Errorf(err.Error())
Dave Bort33425742009-10-15 11:46:37 -070075 }
76}
77
78func checkSampleSliceDistributions(t *testing.T, samples []float64, nslices int, expected *statsResults) {
Robert Griesemerd65a5cc2009-12-15 15:40:16 -080079 chunk := len(samples) / nslices
Dave Bort33425742009-10-15 11:46:37 -070080 for i := 0; i < nslices; i++ {
Robert Griesemerd65a5cc2009-12-15 15:40:16 -080081 low := i * chunk
82 var high int
Dave Bort33425742009-10-15 11:46:37 -070083 if i == nslices-1 {
Robert Griesemer3bb00322009-11-09 21:23:52 -080084 high = len(samples) - 1
Dave Bort33425742009-10-15 11:46:37 -070085 } else {
Robert Griesemer3bb00322009-11-09 21:23:52 -080086 high = (i + 1) * chunk
Dave Bort33425742009-10-15 11:46:37 -070087 }
Robert Griesemerd65a5cc2009-12-15 15:40:16 -080088 checkSampleDistribution(t, samples[low:high], expected)
Dave Bort33425742009-10-15 11:46:37 -070089 }
90}
91
92//
93// Normal distribution tests
94//
95
96func generateNormalSamples(nsamples int, mean, stddev float64, seed int64) []float64 {
Robert Griesemerd65a5cc2009-12-15 15:40:16 -080097 r := New(NewSource(seed))
98 samples := make([]float64, nsamples)
Dave Bort33425742009-10-15 11:46:37 -070099 for i := range samples {
Robert Griesemer3bb00322009-11-09 21:23:52 -0800100 samples[i] = r.NormFloat64()*stddev + mean
Dave Bort33425742009-10-15 11:46:37 -0700101 }
Robert Griesemerd65a5cc2009-12-15 15:40:16 -0800102 return samples
Dave Bort33425742009-10-15 11:46:37 -0700103}
104
105func testNormalDistribution(t *testing.T, nsamples int, mean, stddev float64, seed int64) {
106 //fmt.Printf("testing nsamples=%v mean=%v stddev=%v seed=%v\n", nsamples, mean, stddev, seed);
107
Robert Griesemerd65a5cc2009-12-15 15:40:16 -0800108 samples := generateNormalSamples(nsamples, mean, stddev, seed)
109 errorScale := max(1.0, stddev) // Error scales with stddev
110 expected := &statsResults{mean, stddev, 0.10 * errorScale, 0.08 * errorScale}
Dave Bort33425742009-10-15 11:46:37 -0700111
112 // Make sure that the entire set matches the expected distribution.
Robert Griesemerd65a5cc2009-12-15 15:40:16 -0800113 checkSampleDistribution(t, samples, expected)
Dave Bort33425742009-10-15 11:46:37 -0700114
115 // Make sure that each half of the set matches the expected distribution.
Robert Griesemerd65a5cc2009-12-15 15:40:16 -0800116 checkSampleSliceDistributions(t, samples, 2, expected)
Dave Bort33425742009-10-15 11:46:37 -0700117
118 // Make sure that each 7th of the set matches the expected distribution.
Robert Griesemerd65a5cc2009-12-15 15:40:16 -0800119 checkSampleSliceDistributions(t, samples, 7, expected)
Dave Bort33425742009-10-15 11:46:37 -0700120}
121
122// Actual tests
123
124func TestStandardNormalValues(t *testing.T) {
125 for _, seed := range testSeeds {
Robert Griesemer40621d52009-11-09 12:07:39 -0800126 testNormalDistribution(t, numTestSamples, 0, 1, seed)
Dave Bort33425742009-10-15 11:46:37 -0700127 }
128}
129
130func TestNonStandardNormalValues(t *testing.T) {
Dmitriy Vyukovf2f00592012-01-19 16:17:44 +0400131 sdmax := 1000.0
132 mmax := 1000.0
133 if testing.Short() {
134 sdmax = 5
135 mmax = 5
136 }
137 for sd := 0.5; sd < sdmax; sd *= 2 {
138 for m := 0.5; m < mmax; m *= 2 {
Dave Bort33425742009-10-15 11:46:37 -0700139 for _, seed := range testSeeds {
Robert Griesemer40621d52009-11-09 12:07:39 -0800140 testNormalDistribution(t, numTestSamples, m, sd, seed)
Russ Cox0e70f272012-02-18 16:24:23 -0500141 if testing.Short() {
142 break
143 }
Dave Bort33425742009-10-15 11:46:37 -0700144 }
145 }
146 }
147}
148
149//
150// Exponential distribution tests
151//
152
153func generateExponentialSamples(nsamples int, rate float64, seed int64) []float64 {
Robert Griesemerd65a5cc2009-12-15 15:40:16 -0800154 r := New(NewSource(seed))
155 samples := make([]float64, nsamples)
Dave Bort33425742009-10-15 11:46:37 -0700156 for i := range samples {
Robert Griesemer40621d52009-11-09 12:07:39 -0800157 samples[i] = r.ExpFloat64() / rate
Dave Bort33425742009-10-15 11:46:37 -0700158 }
Robert Griesemerd65a5cc2009-12-15 15:40:16 -0800159 return samples
Dave Bort33425742009-10-15 11:46:37 -0700160}
161
162func testExponentialDistribution(t *testing.T, nsamples int, rate float64, seed int64) {
163 //fmt.Printf("testing nsamples=%v rate=%v seed=%v\n", nsamples, rate, seed);
164
Robert Griesemerd65a5cc2009-12-15 15:40:16 -0800165 mean := 1 / rate
166 stddev := mean
Dave Bort33425742009-10-15 11:46:37 -0700167
Robert Griesemerd65a5cc2009-12-15 15:40:16 -0800168 samples := generateExponentialSamples(nsamples, rate, seed)
169 errorScale := max(1.0, 1/rate) // Error scales with the inverse of the rate
170 expected := &statsResults{mean, stddev, 0.10 * errorScale, 0.20 * errorScale}
Dave Bort33425742009-10-15 11:46:37 -0700171
172 // Make sure that the entire set matches the expected distribution.
Robert Griesemerd65a5cc2009-12-15 15:40:16 -0800173 checkSampleDistribution(t, samples, expected)
Dave Bort33425742009-10-15 11:46:37 -0700174
175 // Make sure that each half of the set matches the expected distribution.
Robert Griesemerd65a5cc2009-12-15 15:40:16 -0800176 checkSampleSliceDistributions(t, samples, 2, expected)
Dave Bort33425742009-10-15 11:46:37 -0700177
178 // Make sure that each 7th of the set matches the expected distribution.
Robert Griesemerd65a5cc2009-12-15 15:40:16 -0800179 checkSampleSliceDistributions(t, samples, 7, expected)
Dave Bort33425742009-10-15 11:46:37 -0700180}
181
182// Actual tests
183
184func TestStandardExponentialValues(t *testing.T) {
185 for _, seed := range testSeeds {
Robert Griesemer40621d52009-11-09 12:07:39 -0800186 testExponentialDistribution(t, numTestSamples, 1, seed)
Dave Bort33425742009-10-15 11:46:37 -0700187 }
188}
189
190func TestNonStandardExponentialValues(t *testing.T) {
Russ Coxf2b5a072011-01-19 23:09:00 -0500191 for rate := 0.05; rate < 10; rate *= 2 {
Dave Bort33425742009-10-15 11:46:37 -0700192 for _, seed := range testSeeds {
Robert Griesemer40621d52009-11-09 12:07:39 -0800193 testExponentialDistribution(t, numTestSamples, rate, seed)
Russ Cox0e70f272012-02-18 16:24:23 -0500194 if testing.Short() {
195 break
196 }
Dave Bort33425742009-10-15 11:46:37 -0700197 }
198 }
199}
200
201//
202// Table generation tests
203//
204
205func initNorm() (testKn []uint32, testWn, testFn []float32) {
Robert Griesemerd65a5cc2009-12-15 15:40:16 -0800206 const m1 = 1 << 31
Dave Bort33425742009-10-15 11:46:37 -0700207 var (
Robert Griesemerd65a5cc2009-12-15 15:40:16 -0800208 dn float64 = rn
Robert Griesemer499ad942011-05-09 15:16:34 -0700209 tn = dn
Robert Griesemerd65a5cc2009-12-15 15:40:16 -0800210 vn float64 = 9.91256303526217e-3
Dave Bort33425742009-10-15 11:46:37 -0700211 )
212
Robert Griesemerd65a5cc2009-12-15 15:40:16 -0800213 testKn = make([]uint32, 128)
214 testWn = make([]float32, 128)
215 testFn = make([]float32, 128)
Dave Bort33425742009-10-15 11:46:37 -0700216
Robert Griesemerd65a5cc2009-12-15 15:40:16 -0800217 q := vn / math.Exp(-0.5*dn*dn)
218 testKn[0] = uint32((dn / q) * m1)
219 testKn[1] = 0
220 testWn[0] = float32(q / m1)
221 testWn[127] = float32(dn / m1)
222 testFn[0] = 1.0
223 testFn[127] = float32(math.Exp(-0.5 * dn * dn))
Dave Bort33425742009-10-15 11:46:37 -0700224 for i := 126; i >= 1; i-- {
Robert Griesemerd65a5cc2009-12-15 15:40:16 -0800225 dn = math.Sqrt(-2.0 * math.Log(vn/dn+math.Exp(-0.5*dn*dn)))
226 testKn[i+1] = uint32((dn / tn) * m1)
227 tn = dn
228 testFn[i] = float32(math.Exp(-0.5 * dn * dn))
229 testWn[i] = float32(dn / m1)
Dave Bort33425742009-10-15 11:46:37 -0700230 }
Robert Griesemerd65a5cc2009-12-15 15:40:16 -0800231 return
Dave Bort33425742009-10-15 11:46:37 -0700232}
233
234func initExp() (testKe []uint32, testWe, testFe []float32) {
Robert Griesemerd65a5cc2009-12-15 15:40:16 -0800235 const m2 = 1 << 32
Dave Bort33425742009-10-15 11:46:37 -0700236 var (
Robert Griesemerd65a5cc2009-12-15 15:40:16 -0800237 de float64 = re
Robert Griesemer499ad942011-05-09 15:16:34 -0700238 te = de
Robert Griesemerd65a5cc2009-12-15 15:40:16 -0800239 ve float64 = 3.9496598225815571993e-3
Dave Bort33425742009-10-15 11:46:37 -0700240 )
241
Robert Griesemerd65a5cc2009-12-15 15:40:16 -0800242 testKe = make([]uint32, 256)
243 testWe = make([]float32, 256)
244 testFe = make([]float32, 256)
Dave Bort33425742009-10-15 11:46:37 -0700245
Robert Griesemerd65a5cc2009-12-15 15:40:16 -0800246 q := ve / math.Exp(-de)
247 testKe[0] = uint32((de / q) * m2)
248 testKe[1] = 0
249 testWe[0] = float32(q / m2)
250 testWe[255] = float32(de / m2)
251 testFe[0] = 1.0
252 testFe[255] = float32(math.Exp(-de))
Dave Bort33425742009-10-15 11:46:37 -0700253 for i := 254; i >= 1; i-- {
Robert Griesemerd65a5cc2009-12-15 15:40:16 -0800254 de = -math.Log(ve/de + math.Exp(-de))
255 testKe[i+1] = uint32((de / te) * m2)
256 te = de
257 testFe[i] = float32(math.Exp(-de))
258 testWe[i] = float32(de / m2)
Dave Bort33425742009-10-15 11:46:37 -0700259 }
Robert Griesemerd65a5cc2009-12-15 15:40:16 -0800260 return
Dave Bort33425742009-10-15 11:46:37 -0700261}
262
263// compareUint32Slices returns the first index where the two slices
264// disagree, or <0 if the lengths are the same and all elements
265// are identical.
266func compareUint32Slices(s1, s2 []uint32) int {
267 if len(s1) != len(s2) {
268 if len(s1) > len(s2) {
Robert Griesemer3bb00322009-11-09 21:23:52 -0800269 return len(s2) + 1
Dave Bort33425742009-10-15 11:46:37 -0700270 }
Robert Griesemerd65a5cc2009-12-15 15:40:16 -0800271 return len(s1) + 1
Dave Bort33425742009-10-15 11:46:37 -0700272 }
273 for i := range s1 {
274 if s1[i] != s2[i] {
Robert Griesemer40621d52009-11-09 12:07:39 -0800275 return i
Dave Bort33425742009-10-15 11:46:37 -0700276 }
277 }
Robert Griesemerd65a5cc2009-12-15 15:40:16 -0800278 return -1
Dave Bort33425742009-10-15 11:46:37 -0700279}
280
281// compareFloat32Slices returns the first index where the two slices
282// disagree, or <0 if the lengths are the same and all elements
283// are identical.
284func compareFloat32Slices(s1, s2 []float32) int {
285 if len(s1) != len(s2) {
286 if len(s1) > len(s2) {
Robert Griesemer3bb00322009-11-09 21:23:52 -0800287 return len(s2) + 1
Dave Bort33425742009-10-15 11:46:37 -0700288 }
Robert Griesemerd65a5cc2009-12-15 15:40:16 -0800289 return len(s1) + 1
Dave Bort33425742009-10-15 11:46:37 -0700290 }
291 for i := range s1 {
292 if !nearEqual(float64(s1[i]), float64(s2[i]), 0, 1e-7) {
Robert Griesemer40621d52009-11-09 12:07:39 -0800293 return i
Dave Bort33425742009-10-15 11:46:37 -0700294 }
295 }
Robert Griesemerd65a5cc2009-12-15 15:40:16 -0800296 return -1
Dave Bort33425742009-10-15 11:46:37 -0700297}
298
299func TestNormTables(t *testing.T) {
Robert Griesemerd65a5cc2009-12-15 15:40:16 -0800300 testKn, testWn, testFn := initNorm()
Russ Cox9ac44492009-11-20 11:45:05 -0800301 if i := compareUint32Slices(kn[0:], testKn); i >= 0 {
Rob Pike1959c3a2010-09-23 13:48:56 +1000302 t.Errorf("kn disagrees at index %v; %v != %v", i, kn[i], testKn[i])
Dave Bort33425742009-10-15 11:46:37 -0700303 }
Russ Cox9ac44492009-11-20 11:45:05 -0800304 if i := compareFloat32Slices(wn[0:], testWn); i >= 0 {
Rob Pike1959c3a2010-09-23 13:48:56 +1000305 t.Errorf("wn disagrees at index %v; %v != %v", i, wn[i], testWn[i])
Dave Bort33425742009-10-15 11:46:37 -0700306 }
Russ Cox9ac44492009-11-20 11:45:05 -0800307 if i := compareFloat32Slices(fn[0:], testFn); i >= 0 {
Rob Pike1959c3a2010-09-23 13:48:56 +1000308 t.Errorf("fn disagrees at index %v; %v != %v", i, fn[i], testFn[i])
Dave Bort33425742009-10-15 11:46:37 -0700309 }
310}
311
312func TestExpTables(t *testing.T) {
Robert Griesemerd65a5cc2009-12-15 15:40:16 -0800313 testKe, testWe, testFe := initExp()
Russ Cox9ac44492009-11-20 11:45:05 -0800314 if i := compareUint32Slices(ke[0:], testKe); i >= 0 {
Rob Pike1959c3a2010-09-23 13:48:56 +1000315 t.Errorf("ke disagrees at index %v; %v != %v", i, ke[i], testKe[i])
Dave Bort33425742009-10-15 11:46:37 -0700316 }
Russ Cox9ac44492009-11-20 11:45:05 -0800317 if i := compareFloat32Slices(we[0:], testWe); i >= 0 {
Rob Pike1959c3a2010-09-23 13:48:56 +1000318 t.Errorf("we disagrees at index %v; %v != %v", i, we[i], testWe[i])
Dave Bort33425742009-10-15 11:46:37 -0700319 }
Russ Cox9ac44492009-11-20 11:45:05 -0800320 if i := compareFloat32Slices(fe[0:], testFe); i >= 0 {
Rob Pike1959c3a2010-09-23 13:48:56 +1000321 t.Errorf("fe disagrees at index %v; %v != %v", i, fe[i], testFe[i])
Dave Bort33425742009-10-15 11:46:37 -0700322 }
323}
Roger Peppea8ed75d2009-12-09 14:23:43 -0800324
Jeff R. Allen17dc7122013-12-18 15:38:53 -0500325// For issue 6721, the problem came after 7533753 calls, so check 10e6.
326func TestFloat32(t *testing.T) {
327 r := New(NewSource(1))
328 for ct := 0; ct < 10e6; ct++ {
329 f := r.Float32()
330 if f >= 1 {
331 t.Fatal("Float32() should be in range [0,1). ct:", ct, "f:", f)
332 }
333 }
334}
335
Roger Peppea8ed75d2009-12-09 14:23:43 -0800336// Benchmarks
337
338func BenchmarkInt63Threadsafe(b *testing.B) {
339 for n := b.N; n > 0; n-- {
340 Int63()
341 }
342}
343
344func BenchmarkInt63Unthreadsafe(b *testing.B) {
Robert Griesemerd65a5cc2009-12-15 15:40:16 -0800345 r := New(NewSource(1))
Roger Peppea8ed75d2009-12-09 14:23:43 -0800346 for n := b.N; n > 0; n-- {
347 r.Int63()
348 }
349}
Russ Coxf64bb562009-12-15 17:21:34 -0800350
351func BenchmarkIntn1000(b *testing.B) {
352 r := New(NewSource(1))
353 for n := b.N; n > 0; n-- {
354 r.Intn(1000)
355 }
356}
357
358func BenchmarkInt63n1000(b *testing.B) {
359 r := New(NewSource(1))
360 for n := b.N; n > 0; n-- {
361 r.Int63n(1000)
362 }
363}
364
365func BenchmarkInt31n1000(b *testing.B) {
366 r := New(NewSource(1))
367 for n := b.N; n > 0; n-- {
368 r.Int31n(1000)
369 }
370}
Josh Bleecher Snyder4a18e0e2013-12-17 13:49:34 +1100371
Jeff R. Allen17dc7122013-12-18 15:38:53 -0500372func BenchmarkFloat32(b *testing.B) {
373 r := New(NewSource(1))
374 for n := b.N; n > 0; n-- {
375 r.Float32()
376 }
377}
378
Josh Bleecher Snyder4a18e0e2013-12-17 13:49:34 +1100379func BenchmarkPerm3(b *testing.B) {
380 r := New(NewSource(1))
381 for n := b.N; n > 0; n-- {
382 r.Perm(3)
383 }
384}
385
386func BenchmarkPerm30(b *testing.B) {
387 r := New(NewSource(1))
388 for n := b.N; n > 0; n-- {
389 r.Perm(30)
390 }
391}