RandomGenerator.st
author Stefan Vogel <sv@exept.de>
Wed, 22 Feb 2017 15:33:50 +0100
changeset 4346 7a4c996ac8f0
parent 4250 c21944d9e5d7
child 4482 6a22682659e2
permissions -rw-r--r--
#BUGFIX by stefan class: SharedQueue fix bug in #nextIfEmpty: if exceptionblock returns. add missing methods added: #remove:ifAbsent: #reverseDo: comment/format in: #commonWriteWith: changed: #do: #next #nextIfEmpty: #nextPut: #nextPutFirst: #nextWithTimeout: #removeIdentical:ifAbsent: #removeLast
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1925
1db437e31d6e copyright
Claus Gittinger <cg@exept.de>
parents: 1840
diff changeset
     1
"
1db437e31d6e copyright
Claus Gittinger <cg@exept.de>
parents: 1840
diff changeset
     2
 COPYRIGHT (c) 2007 by eXept Software AG
1db437e31d6e copyright
Claus Gittinger <cg@exept.de>
parents: 1840
diff changeset
     3
              All Rights Reserved
1db437e31d6e copyright
Claus Gittinger <cg@exept.de>
parents: 1840
diff changeset
     4
1db437e31d6e copyright
Claus Gittinger <cg@exept.de>
parents: 1840
diff changeset
     5
 This software is furnished under a license and may be used
1db437e31d6e copyright
Claus Gittinger <cg@exept.de>
parents: 1840
diff changeset
     6
 only in accordance with the terms of that license and with the
1db437e31d6e copyright
Claus Gittinger <cg@exept.de>
parents: 1840
diff changeset
     7
 inclusion of the above copyright notice.   This software may not
1db437e31d6e copyright
Claus Gittinger <cg@exept.de>
parents: 1840
diff changeset
     8
 be provided or otherwise made available to, or used by, any
1db437e31d6e copyright
Claus Gittinger <cg@exept.de>
parents: 1840
diff changeset
     9
 other person.  No title to or ownership of the software is
1db437e31d6e copyright
Claus Gittinger <cg@exept.de>
parents: 1840
diff changeset
    10
 hereby transferred.
1db437e31d6e copyright
Claus Gittinger <cg@exept.de>
parents: 1840
diff changeset
    11
"
1606
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    12
"{ Package: 'stx:libbasic2' }"
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    13
3632
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
    14
"{ NameSpace: Smalltalk }"
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
    15
3193
2b95268110a2 class: RandomGenerator
Stefan Vogel <sv@exept.de>
parents: 3133
diff changeset
    16
Random subclass:#RandomGenerator
3854
746533c3d2ae #REFACTORING by stefan
Stefan Vogel <sv@exept.de>
parents: 3777
diff changeset
    17
	instanceVariableNames:''
4250
c21944d9e5d7 #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 4041
diff changeset
    18
	classVariableNames:'HasOSRandom RandFile RandomDevicePathes SharedRandomGenerator'
3854
746533c3d2ae #REFACTORING by stefan
Stefan Vogel <sv@exept.de>
parents: 3777
diff changeset
    19
	poolDictionaries:''
746533c3d2ae #REFACTORING by stefan
Stefan Vogel <sv@exept.de>
parents: 3777
diff changeset
    20
	category:'Magnitude-Numbers'
1606
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    21
!
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    22
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    23
!RandomGenerator class methodsFor:'documentation'!
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    24
1925
1db437e31d6e copyright
Claus Gittinger <cg@exept.de>
parents: 1840
diff changeset
    25
copyright
1db437e31d6e copyright
Claus Gittinger <cg@exept.de>
parents: 1840
diff changeset
    26
"
1db437e31d6e copyright
Claus Gittinger <cg@exept.de>
parents: 1840
diff changeset
    27
 COPYRIGHT (c) 2007 by eXept Software AG
1db437e31d6e copyright
Claus Gittinger <cg@exept.de>
parents: 1840
diff changeset
    28
              All Rights Reserved
1db437e31d6e copyright
Claus Gittinger <cg@exept.de>
parents: 1840
diff changeset
    29
1db437e31d6e copyright
Claus Gittinger <cg@exept.de>
parents: 1840
diff changeset
    30
 This software is furnished under a license and may be used
1db437e31d6e copyright
Claus Gittinger <cg@exept.de>
parents: 1840
diff changeset
    31
 only in accordance with the terms of that license and with the
1db437e31d6e copyright
Claus Gittinger <cg@exept.de>
parents: 1840
diff changeset
    32
 inclusion of the above copyright notice.   This software may not
1db437e31d6e copyright
Claus Gittinger <cg@exept.de>
parents: 1840
diff changeset
    33
 be provided or otherwise made available to, or used by, any
1db437e31d6e copyright
Claus Gittinger <cg@exept.de>
parents: 1840
diff changeset
    34
 other person.  No title to or ownership of the software is
1db437e31d6e copyright
Claus Gittinger <cg@exept.de>
parents: 1840
diff changeset
    35
 hereby transferred.
1db437e31d6e copyright
Claus Gittinger <cg@exept.de>
parents: 1840
diff changeset
    36
"
1db437e31d6e copyright
Claus Gittinger <cg@exept.de>
parents: 1840
diff changeset
    37
!
1db437e31d6e copyright
Claus Gittinger <cg@exept.de>
parents: 1840
diff changeset
    38
1606
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    39
documentation
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    40
"
3777
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
    41
    This is a Random number generator, 
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
    42
    which uses either a OS random number generator or /dev/urandom,
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
    43
    or an ST/X internal random number generator.
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
    44
3351
a9ae920e4a1f comment/format in: #documentation
Claus Gittinger <cg@exept.de>
parents: 3339
diff changeset
    45
    Warning: this generator should not be used for cryptographic work 
3777
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
    46
    UNLESS: 
3351
a9ae920e4a1f comment/format in: #documentation
Claus Gittinger <cg@exept.de>
parents: 3339
diff changeset
    47
        1) you are running on linux, solaris or osx,
a9ae920e4a1f comment/format in: #documentation
Claus Gittinger <cg@exept.de>
parents: 3339
diff changeset
    48
        2) you have a working /dev/urandom.
a9ae920e4a1f comment/format in: #documentation
Claus Gittinger <cg@exept.de>
parents: 3339
diff changeset
    49
        3) you can trust your /dev/urandom (I don't really know if any/all of them are good)
a9ae920e4a1f comment/format in: #documentation
Claus Gittinger <cg@exept.de>
parents: 3339
diff changeset
    50
1606
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    51
    [author:]
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    52
        Stefan Vogel
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    53
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    54
    [see also:]
3391
2ca92dff09bb documentation link
Claus Gittinger <cg@exept.de>
parents: 3351
diff changeset
    55
        http://www0.cs.ucl.ac.uk/staff/d.jones/GoodPracticeRNG.pdf
1606
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    56
        Random HashRandom Rc4Stream
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    57
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    58
    [instance variables:]
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    59
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    60
    [class variables:]
3777
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
    61
        HasOSRandom     true if the operatingSystem supports random numbers
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
    62
        RandFile        (if HasOSRandom is false and non-nil) the FileStream (/dev/random),
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
    63
                        we get random numbers from
1606
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    64
"
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    65
! !
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    66
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    67
!RandomGenerator class methodsFor:'initialization'!
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    68
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    69
initialize
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    70
    "want to be informed when returning from snapshot"
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    71
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    72
    ObjectMemory addDependent:self.
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    73
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    74
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    75
!
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    76
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    77
openRandFile
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    78
    "try to open a random device"
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    79
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    80
    |randDevName|
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    81
3777
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
    82
    RandFile notNil ifTrue:[
1606
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    83
        RandFile close.
3777
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
    84
        RandFile := nil.            
1606
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    85
    ].
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    86
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    87
    randDevName := self randPath.
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    88
    randDevName notNil ifTrue:[
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    89
        randDevName := randDevName asFilename.
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    90
        randDevName isReadable ifTrue:[
3777
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
    91
            RandFile := randDevName readStream.
1606
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    92
        ].
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    93
    ].
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    94
! !
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    95
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    96
!RandomGenerator class methodsFor:'instance creation'!
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    97
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    98
new
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
    99
    "return a new random number generator.
4250
c21944d9e5d7 #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 4041
diff changeset
   100
     Try to get system random numbers from OS (e.g. in LINUX)
c21944d9e5d7 #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 4041
diff changeset
   101
     or device urandom (e.g. in Linux, OSX).
4025
7d6791051cb5 #OTHER by mawalch
mawalch
parents: 3854
diff changeset
   102
     If no system random numbers are available, fall back to
4250
c21944d9e5d7 #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 4041
diff changeset
   103
     a cryptographic secure PRNG (like RC4Random, part of the extra libcrypt package).
1606
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   104
     As last resort fallback to the cryptographic insecure linear builtin PRNG"
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   105
2439
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   106
    |result|
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   107
3193
2b95268110a2 class: RandomGenerator
Stefan Vogel <sv@exept.de>
parents: 3133
diff changeset
   108
    SharedRandomGenerator notNil ifTrue:[
4250
c21944d9e5d7 #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 4041
diff changeset
   109
        "each time, we do a new, add some entropy to the SharedGenerator"
3193
2b95268110a2 class: RandomGenerator
Stefan Vogel <sv@exept.de>
parents: 3133
diff changeset
   110
        SharedRandomGenerator addEntropy:OperatingSystem getMicrosecondTime.
2b95268110a2 class: RandomGenerator
Stefan Vogel <sv@exept.de>
parents: 3133
diff changeset
   111
        ^ SharedRandomGenerator.
2432
77c3b2c22e9c Keep a shared RandomGenerator.
Stefan Vogel <sv@exept.de>
parents: 1925
diff changeset
   112
    ].
77c3b2c22e9c Keep a shared RandomGenerator.
Stefan Vogel <sv@exept.de>
parents: 1925
diff changeset
   113
3854
746533c3d2ae #REFACTORING by stefan
Stefan Vogel <sv@exept.de>
parents: 3777
diff changeset
   114
    HasOSRandom isNil ifTrue:[
3777
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   115
        "/ see if there is an OS or CPU-random generator
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   116
        [
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   117
            "fetch a random byte - and check if the OS generator works"
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   118
            result := OperatingSystem randomBytesInto:1.
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   119
        ] on:PrimitiveFailure do:[:ex| ].
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   120
        HasOSRandom := result notNil.
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   121
    ].
4025
7d6791051cb5 #OTHER by mawalch
mawalch
parents: 3854
diff changeset
   122
3777
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   123
    HasOSRandom ifTrue:[
2439
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   124
        "OperatingSystem knows how to get random bytes"
3193
2b95268110a2 class: RandomGenerator
Stefan Vogel <sv@exept.de>
parents: 3133
diff changeset
   125
        SharedRandomGenerator := self basicNew.
3203
7692576826d1 class: RandomGenerator
Stefan Vogel <sv@exept.de>
parents: 3193
diff changeset
   126
        ^ SharedRandomGenerator.
3777
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   127
    ].
4025
7d6791051cb5 #OTHER by mawalch
mawalch
parents: 3854
diff changeset
   128
3777
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   129
    RandFile isNil ifTrue:[
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   130
        self openRandFile.
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   131
    ].
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   132
    RandFile notNil ifTrue:[
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   133
        SharedRandomGenerator := self basicNew.
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   134
        ^ SharedRandomGenerator.
1606
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   135
    ].
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   136
4025
7d6791051cb5 #OTHER by mawalch
mawalch
parents: 3854
diff changeset
   137
    "/ fallback
2432
77c3b2c22e9c Keep a shared RandomGenerator.
Stefan Vogel <sv@exept.de>
parents: 1925
diff changeset
   138
    Rc4Cipher notNil ifTrue:[
3193
2b95268110a2 class: RandomGenerator
Stefan Vogel <sv@exept.de>
parents: 3133
diff changeset
   139
        SharedRandomGenerator := Rc4Cipher random.
2b95268110a2 class: RandomGenerator
Stefan Vogel <sv@exept.de>
parents: 3133
diff changeset
   140
        ^ SharedRandomGenerator.
2432
77c3b2c22e9c Keep a shared RandomGenerator.
Stefan Vogel <sv@exept.de>
parents: 1925
diff changeset
   141
    ].
77c3b2c22e9c Keep a shared RandomGenerator.
Stefan Vogel <sv@exept.de>
parents: 1925
diff changeset
   142
4025
7d6791051cb5 #OTHER by mawalch
mawalch
parents: 3854
diff changeset
   143
    "/ last fallback - not very good
3193
2b95268110a2 class: RandomGenerator
Stefan Vogel <sv@exept.de>
parents: 3133
diff changeset
   144
    SharedRandomGenerator := Random sharedGenerator.
2b95268110a2 class: RandomGenerator
Stefan Vogel <sv@exept.de>
parents: 3133
diff changeset
   145
    ^ SharedRandomGenerator.
1606
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   146
! !
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   147
2432
77c3b2c22e9c Keep a shared RandomGenerator.
Stefan Vogel <sv@exept.de>
parents: 1925
diff changeset
   148
!RandomGenerator class methodsFor:'adding entropy'!
77c3b2c22e9c Keep a shared RandomGenerator.
Stefan Vogel <sv@exept.de>
parents: 1925
diff changeset
   149
77c3b2c22e9c Keep a shared RandomGenerator.
Stefan Vogel <sv@exept.de>
parents: 1925
diff changeset
   150
addEntropy:entropyBytes
3193
2b95268110a2 class: RandomGenerator
Stefan Vogel <sv@exept.de>
parents: 3133
diff changeset
   151
    SharedRandomGenerator notNil ifTrue:[
2b95268110a2 class: RandomGenerator
Stefan Vogel <sv@exept.de>
parents: 3133
diff changeset
   152
        SharedRandomGenerator addEntropy:entropyBytes
2432
77c3b2c22e9c Keep a shared RandomGenerator.
Stefan Vogel <sv@exept.de>
parents: 1925
diff changeset
   153
    ].
77c3b2c22e9c Keep a shared RandomGenerator.
Stefan Vogel <sv@exept.de>
parents: 1925
diff changeset
   154
! !
77c3b2c22e9c Keep a shared RandomGenerator.
Stefan Vogel <sv@exept.de>
parents: 1925
diff changeset
   155
1606
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   156
!RandomGenerator class methodsFor:'change & update'!
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   157
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   158
update:something with:aParameter from:changedObject
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   159
    "handle image restarts and flush any device resource handles"
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   160
3777
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   161
    (changedObject == ObjectMemory) ifTrue:[
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   162
        (something == #returnFromSnapshot) ifTrue:[
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   163
            SharedRandomGenerator notNil ifTrue:[
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   164
                SharedRandomGenerator := nil.
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   165
                HasOSRandom := RandFile := nil.
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   166
                self new. "/ opens a new sharedGenerator
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   167
            ]
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   168
        ]
1606
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   169
    ].
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   170
! !
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   171
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   172
!RandomGenerator class methodsFor:'queries'!
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   173
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   174
randPath
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   175
    "path to a file/device that is a source or random numbers"
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   176
4041
ed60d9c91792 #OTHER by mawalch
mawalch
parents: 4025
diff changeset
   177
    |pathsOrNil|
3777
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   178
4041
ed60d9c91792 #OTHER by mawalch
mawalch
parents: 4025
diff changeset
   179
    pathsOrNil := self randomDevicePathes.
ed60d9c91792 #OTHER by mawalch
mawalch
parents: 4025
diff changeset
   180
    pathsOrNil notNil ifTrue:[
ed60d9c91792 #OTHER by mawalch
mawalch
parents: 4025
diff changeset
   181
        pathsOrNil do:[:triedRandom |
3777
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   182
            triedRandom asFilename exists ifTrue:[
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   183
                ^ triedRandom
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   184
            ]
4041
ed60d9c91792 #OTHER by mawalch
mawalch
parents: 4025
diff changeset
   185
        ].
3777
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   186
    ].
1606
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   187
    ^ nil.
3777
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   188
!
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   189
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   190
randomDevicePathes
4250
c21944d9e5d7 #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 4041
diff changeset
   191
    "paths to look for OS sources of random numbers.
c21944d9e5d7 #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 4041
diff changeset
   192
     Can be configured at early startup to use something special
c21944d9e5d7 #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 4041
diff changeset
   193
     (i.e. a special hardware random device)
c21944d9e5d7 #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 4041
diff changeset
   194
     If never set, the defaults /dev/random, /dev/urandom are used"
3777
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   195
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   196
    RandomDevicePathes notNil ifTrue:[^ RandomDevicePathes].
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   197
    OperatingSystem isUNIXlike ifTrue:[
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   198
        ^ #( '/dev/urandom' '/dev/random' )
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   199
    ].
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   200
    ^ nil.
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   201
!
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   202
4250
c21944d9e5d7 #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 4041
diff changeset
   203
randomDevicePathes:aCollectionOfPathesOrNil
4041
ed60d9c91792 #OTHER by mawalch
mawalch
parents: 4025
diff changeset
   204
    "configurable paths to look for OS sources of random numbers.
4250
c21944d9e5d7 #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 4041
diff changeset
   205
     (can be set during early startup in an rc-file).
c21944d9e5d7 #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 4041
diff changeset
   206
     If never set, the defaults /dev/random, /dev/urandom are used"
3777
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   207
4250
c21944d9e5d7 #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de>
parents: 4041
diff changeset
   208
    RandomDevicePathes := aCollectionOfPathesOrNil.
1606
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   209
! !
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   210
2439
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   211
!RandomGenerator methodsFor:'basic reading'!
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   212
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   213
nextByte
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   214
    "get the next random byte"
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   215
3777
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   216
    HasOSRandom == true ifTrue:[
2439
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   217
        ^ OperatingSystem randomBytesInto:1.
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   218
    ].
3632
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   219
    RandFile isOpen ifFalse:[
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   220
        self class openRandFile.
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   221
    ].
2439
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   222
    ^ RandFile nextByte
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   223
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   224
    "
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   225
      RandomGenerator new nextByte
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   226
    "
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   227
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   228
    "
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   229
     Distribution should be equal:
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   230
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   231
     |r bag|
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   232
     r := RandomGenerator new.
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   233
     bag := Bag new.
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   234
     1000000 timesRepeat:[
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   235
         bag add:(r nextByte).
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   236
     ].
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   237
     bag.
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   238
     Transcript showCR:bag contents
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   239
    "
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   240
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   241
    "Created: / 11.11.1999 / 09:25:39 / stefan"
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   242
!
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   243
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   244
nextBytes:cnt
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   245
    "get the next cnt random bytes"
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   246
3777
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   247
    HasOSRandom == true ifTrue:[
2439
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   248
        ^ OperatingSystem randomBytesInto:(ByteArray new:cnt).
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   249
    ].
3632
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   250
    RandFile isOpen ifFalse:[
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   251
        self class openRandFile.
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   252
    ].
2439
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   253
    ^ RandFile nextBytes:cnt.
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   254
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   255
    "
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   256
      RandomGenerator new nextBytes:4
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   257
    "
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   258
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   259
    "Created: / 11.11.1999 / 09:25:39 / stefan"
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   260
    "Modified: / 11.11.1999 / 09:52:26 / stefan"
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   261
! !
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   262
1606
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   263
!RandomGenerator methodsFor:'reading'!
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   264
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   265
next
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   266
    "return the next random number in the range 0..1"
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   267
3751
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   268
    ^ self nextInteger / Float maxSmallInteger
1606
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   269
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   270
    "
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   271
     |r|
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   272
     r := RandomGenerator new.
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   273
     Transcript showCR:r next.
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   274
     Transcript showCR:r next.
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   275
     Transcript showCR:r next.
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   276
     Transcript showCR:r next.
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   277
    "
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   278
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   279
    "Modified: / 11.11.1999 / 10:31:35 / stefan"
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   280
!
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   281
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   282
nextBoolean
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   283
    "return true or false by random"
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   284
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   285
    ^ self nextByte <= 127
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   286
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   287
    "
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   288
     |r|
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   289
     r := RandomGenerator new.
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   290
     Transcript showCR:r nextBoolean.
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   291
     Transcript showCR:r nextBoolean.
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   292
     Transcript showCR:r nextBoolean.
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   293
     Transcript showCR:r nextBoolean.
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   294
    "
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   295
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   296
    "
2439
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   297
     Distribution should approach 50/50:
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   298
1606
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   299
     |r bag|
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   300
     r := RandomGenerator new.
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   301
     bag := Bag new.
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   302
     1000000 timesRepeat:[
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   303
         bag add:(r nextBoolean).
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   304
     ].
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   305
     Transcript showCR:bag contents
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   306
    "
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   307
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   308
    "Created: / 11.11.1999 / 09:25:39 / stefan"
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   309
    "Modified: / 12.11.1999 / 17:22:01 / stefan"
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   310
!
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   311
3751
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   312
nextCharacters:count
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   313
    "get the next count printable characters.
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   314
     We answer printable characters in the ascii range (codepoints 32 - 126)"
1640
2c08e5efee48 new: #nextCharacters:
Stefan Vogel <sv@exept.de>
parents: 1606
diff changeset
   315
3751
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   316
    |bytes string cnt "{ Class:SmallInteger }"|
1640
2c08e5efee48 new: #nextCharacters:
Stefan Vogel <sv@exept.de>
parents: 1606
diff changeset
   317
3751
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   318
    cnt := count.
1640
2c08e5efee48 new: #nextCharacters:
Stefan Vogel <sv@exept.de>
parents: 1606
diff changeset
   319
    bytes := self nextBytes:cnt.
2c08e5efee48 new: #nextCharacters:
Stefan Vogel <sv@exept.de>
parents: 1606
diff changeset
   320
    string := String new:cnt.
2c08e5efee48 new: #nextCharacters:
Stefan Vogel <sv@exept.de>
parents: 1606
diff changeset
   321
3751
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   322
    1 to:cnt do:[:eachIndex|
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   323
        string at:eachIndex put:(Character value:((bytes at:eachIndex) \\ 94 + 32)).
1640
2c08e5efee48 new: #nextCharacters:
Stefan Vogel <sv@exept.de>
parents: 1606
diff changeset
   324
    ].
2c08e5efee48 new: #nextCharacters:
Stefan Vogel <sv@exept.de>
parents: 1606
diff changeset
   325
2c08e5efee48 new: #nextCharacters:
Stefan Vogel <sv@exept.de>
parents: 1606
diff changeset
   326
    ^ string
2c08e5efee48 new: #nextCharacters:
Stefan Vogel <sv@exept.de>
parents: 1606
diff changeset
   327
2c08e5efee48 new: #nextCharacters:
Stefan Vogel <sv@exept.de>
parents: 1606
diff changeset
   328
    "
2c08e5efee48 new: #nextCharacters:
Stefan Vogel <sv@exept.de>
parents: 1606
diff changeset
   329
      RandomGenerator new nextCharacters:8
2c08e5efee48 new: #nextCharacters:
Stefan Vogel <sv@exept.de>
parents: 1606
diff changeset
   330
    "
2c08e5efee48 new: #nextCharacters:
Stefan Vogel <sv@exept.de>
parents: 1606
diff changeset
   331
!
2c08e5efee48 new: #nextCharacters:
Stefan Vogel <sv@exept.de>
parents: 1606
diff changeset
   332
3632
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   333
nextInteger
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   334
    "return the next integral random number,
3751
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   335
     in the range 0 .. 16r3FFFFFFF (32-bit)
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   336
     or 0 .. 16r3FFFFFFFFFFFFFFF (64-bit)."
3632
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   337
3751
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   338
    |res intSize|
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   339
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   340
    intSize := SmallInteger maxBytes.
3632
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   341
3777
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   342
    HasOSRandom == true ifTrue:[
3751
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   343
        ^ OperatingSystem randomBytesInto:intSize.
3632
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   344
    ].
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   345
3751
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   346
    res := self nextBytes:intSize.
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   347
    res at:intSize put:((res at:intSize) bitAnd:16r3F).
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   348
    ^ res asIntegerMSB:false.
3632
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   349
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   350
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   351
    "
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   352
     |r|
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   353
     r := RandomGenerator new.
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   354
     Transcript showCR:r nextInteger.
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   355
     Transcript showCR:r nextInteger.
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   356
     Transcript showCR:r nextInteger.
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   357
     Transcript showCR:r nextInteger.
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   358
    "
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   359
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   360
    "Modified: / 11.11.1999 / 10:08:10 / stefan"
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   361
!
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   362
1606
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   363
nextIntegerBetween:start and:stop
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   364
    "return an integral random number between start and stop"
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   365
3025
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   366
    |rnd range bytesNeeded|
1606
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   367
3025
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   368
    range := stop - start + 1.
3133
41d107fd44a6 class: RandomGenerator
Stefan Vogel <sv@exept.de>
parents: 3025
diff changeset
   369
    bytesNeeded := (range highBit + 15) // 8.
3025
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   370
    "Fetch at least 2 bytes, otherwise we get some unbalanced distributions for small ranges"
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   371
    rnd := (LargeInteger digitBytes:(self nextBytes:bytesNeeded)) compressed.
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   372
    rnd := rnd \\ range.
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   373
    ^ rnd + start
1606
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   374
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   375
    "
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   376
     |r|
3025
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   377
     r := self new.
1606
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   378
     Transcript showCR:(r nextIntegerBetween:1 and:10).
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   379
     Transcript showCR:(r nextIntegerBetween:1 and:10).
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   380
     Transcript showCR:(r nextIntegerBetween:1 and:10).
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   381
     Transcript showCR:(r nextIntegerBetween:1 and:10).
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   382
    "
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   383
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   384
    "
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   385
     |r bag|
3025
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   386
     r := self new.
1606
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   387
     bag := Bag new.
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   388
     1000000 timesRepeat:[
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   389
         bag add:(r nextIntegerBetween:-1 and:1).
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   390
     ].
3133
41d107fd44a6 class: RandomGenerator
Stefan Vogel <sv@exept.de>
parents: 3025
diff changeset
   391
     Transcript showCR:bag sortedCounts.
3025
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   392
    "
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   393
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   394
    "
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   395
     |r bag|
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   396
     r := self new.
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   397
     bag := Bag new.
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   398
     1000000 timesRepeat:[
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   399
         bag add:(r nextIntegerBetween:1 and:3).
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   400
     ].
3133
41d107fd44a6 class: RandomGenerator
Stefan Vogel <sv@exept.de>
parents: 3025
diff changeset
   401
     Transcript showCR:bag sortedCounts.
3025
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   402
     TestCase assert:(bag standardDeviation closeTo:(((3 squared - 1)/12) sqrt)).
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   403
    "
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   404
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   405
    "
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   406
     |r bag|
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   407
     r := self new.
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   408
     bag := Bag new.
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   409
     1000000 timesRepeat:[
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   410
         bag add:(r nextIntegerBetween:1 and:10).
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   411
     ].
3133
41d107fd44a6 class: RandomGenerator
Stefan Vogel <sv@exept.de>
parents: 3025
diff changeset
   412
     Transcript showCR:bag sortedCounts.
3025
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   413
     TestCase assert:(bag standardDeviation closeTo:(((10 squared - 1)/12) sqrt)).
1606
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   414
    "
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   415
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   416
    "Created: / 11.11.1999 / 10:28:36 / stefan"
3751
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   417
!
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   418
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   419
nextLettersOrDigits:count
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   420
    "get the next count printable letters or digits [0-9A-Za-z]."
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   421
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   422
    |bytes string cnt "{ Class:SmallInteger }"|
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   423
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   424
    cnt := count.
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   425
    bytes := self nextBytes:cnt.
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   426
    string := String new:cnt.
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   427
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   428
    1 to:cnt do:[:eachIndex|
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   429
        string 
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   430
            at:eachIndex 
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   431
            put:('1234567890ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz' at:((bytes at:eachIndex) \\ 62 + 1)).
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   432
    ].
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   433
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   434
    ^ string
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   435
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   436
    "
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   437
      RandomGenerator new nextLettersOrDigits:40
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   438
    "
1606
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   439
! !
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   440
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   441
!RandomGenerator methodsFor:'writing'!
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   442
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   443
nextPut:something
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   444
    "change the random pool by feeding in something.
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   445
     Something should be some unpredictable, random event.
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   446
     Ignored here"
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   447
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   448
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   449
!
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   450
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   451
nextPutAll:something
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   452
    "change the random pool by feeding in something.
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   453
     Something should be some unpredictable, random event.
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   454
     Ignored here"
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   455
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   456
! !
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   457
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   458
!RandomGenerator class methodsFor:'documentation'!
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   459
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   460
version
3632
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   461
    ^ '$Header$'
2432
77c3b2c22e9c Keep a shared RandomGenerator.
Stefan Vogel <sv@exept.de>
parents: 1925
diff changeset
   462
!
77c3b2c22e9c Keep a shared RandomGenerator.
Stefan Vogel <sv@exept.de>
parents: 1925
diff changeset
   463
77c3b2c22e9c Keep a shared RandomGenerator.
Stefan Vogel <sv@exept.de>
parents: 1925
diff changeset
   464
version_CVS
3632
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   465
    ^ '$Header$'
1606
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   466
! !
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   467
3025
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   468
1606
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   469
RandomGenerator initialize!