RandomGenerator.st
author Claus Gittinger <cg@exept.de>
Thu, 09 Jun 2016 12:33:06 +0200
changeset 3897 b3b62b67d0a7
parent 3854 746533c3d2ae
child 4025 7d6791051cb5
permissions -rw-r--r--
removed container
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:''
746533c3d2ae #REFACTORING by stefan
Stefan Vogel <sv@exept.de>
parents: 3777
diff changeset
    18
	classVariableNames:'HasOSRandom RandFile SharedRandomGenerator RandomDevicePathes'
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.
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   100
     Try to get system random numbers from device (e.g. in LINUX).
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   101
     If no system random nubers are available, fall back to
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   102
     a cryptographic secure PRNG (part of the extra libcrypt package). 
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   103
     As last resort fallback to the cryptographic insecure linear builtin PRNG"
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   104
2439
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   105
    |result|
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   106
3193
2b95268110a2 class: RandomGenerator
Stefan Vogel <sv@exept.de>
parents: 3133
diff changeset
   107
    SharedRandomGenerator notNil ifTrue:[
2432
77c3b2c22e9c Keep a shared RandomGenerator.
Stefan Vogel <sv@exept.de>
parents: 1925
diff changeset
   108
        "each time, we do an new, add some entropy to the SharedGenerator"
3193
2b95268110a2 class: RandomGenerator
Stefan Vogel <sv@exept.de>
parents: 3133
diff changeset
   109
        SharedRandomGenerator addEntropy:OperatingSystem getMicrosecondTime.
2b95268110a2 class: RandomGenerator
Stefan Vogel <sv@exept.de>
parents: 3133
diff changeset
   110
        ^ SharedRandomGenerator.
2432
77c3b2c22e9c Keep a shared RandomGenerator.
Stefan Vogel <sv@exept.de>
parents: 1925
diff changeset
   111
    ].
77c3b2c22e9c Keep a shared RandomGenerator.
Stefan Vogel <sv@exept.de>
parents: 1925
diff changeset
   112
3854
746533c3d2ae #REFACTORING by stefan
Stefan Vogel <sv@exept.de>
parents: 3777
diff changeset
   113
    HasOSRandom isNil ifTrue:[
3777
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   114
        "/ see if there is an OS or CPU-random generator
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   115
        [
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   116
            "fetch a random byte - and check if the OS generator works"
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   117
            result := OperatingSystem randomBytesInto:1.
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   118
        ] on:PrimitiveFailure do:[:ex| ].
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   119
        HasOSRandom := result notNil.
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   120
    ].
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   121
    
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   122
    HasOSRandom ifTrue:[
2439
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   123
        "OperatingSystem knows how to get random bytes"
3193
2b95268110a2 class: RandomGenerator
Stefan Vogel <sv@exept.de>
parents: 3133
diff changeset
   124
        SharedRandomGenerator := self basicNew.
3203
7692576826d1 class: RandomGenerator
Stefan Vogel <sv@exept.de>
parents: 3193
diff changeset
   125
        ^ SharedRandomGenerator.
3777
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   126
    ].
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   127
    
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   128
    RandFile isNil ifTrue:[
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   129
        self openRandFile.
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   130
    ].
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   131
    RandFile notNil ifTrue:[
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   132
        SharedRandomGenerator := self basicNew.
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   133
        ^ SharedRandomGenerator.
1606
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   134
    ].
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   135
3777
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   136
    "/ fallback    
2432
77c3b2c22e9c Keep a shared RandomGenerator.
Stefan Vogel <sv@exept.de>
parents: 1925
diff changeset
   137
    Rc4Cipher notNil ifTrue:[
3193
2b95268110a2 class: RandomGenerator
Stefan Vogel <sv@exept.de>
parents: 3133
diff changeset
   138
        SharedRandomGenerator := Rc4Cipher random.
2b95268110a2 class: RandomGenerator
Stefan Vogel <sv@exept.de>
parents: 3133
diff changeset
   139
        ^ SharedRandomGenerator.
2432
77c3b2c22e9c Keep a shared RandomGenerator.
Stefan Vogel <sv@exept.de>
parents: 1925
diff changeset
   140
    ].
77c3b2c22e9c Keep a shared RandomGenerator.
Stefan Vogel <sv@exept.de>
parents: 1925
diff changeset
   141
3777
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   142
    "/ last fallback - not very good   
3193
2b95268110a2 class: RandomGenerator
Stefan Vogel <sv@exept.de>
parents: 3133
diff changeset
   143
    SharedRandomGenerator := Random sharedGenerator.
2b95268110a2 class: RandomGenerator
Stefan Vogel <sv@exept.de>
parents: 3133
diff changeset
   144
    ^ SharedRandomGenerator.
1606
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   145
! !
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   146
2432
77c3b2c22e9c Keep a shared RandomGenerator.
Stefan Vogel <sv@exept.de>
parents: 1925
diff changeset
   147
!RandomGenerator class methodsFor:'adding entropy'!
77c3b2c22e9c Keep a shared RandomGenerator.
Stefan Vogel <sv@exept.de>
parents: 1925
diff changeset
   148
77c3b2c22e9c Keep a shared RandomGenerator.
Stefan Vogel <sv@exept.de>
parents: 1925
diff changeset
   149
addEntropy:entropyBytes
3193
2b95268110a2 class: RandomGenerator
Stefan Vogel <sv@exept.de>
parents: 3133
diff changeset
   150
    SharedRandomGenerator notNil ifTrue:[
2b95268110a2 class: RandomGenerator
Stefan Vogel <sv@exept.de>
parents: 3133
diff changeset
   151
        SharedRandomGenerator addEntropy:entropyBytes
2432
77c3b2c22e9c Keep a shared RandomGenerator.
Stefan Vogel <sv@exept.de>
parents: 1925
diff changeset
   152
    ].
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
1606
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   155
!RandomGenerator class methodsFor:'change & update'!
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   156
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   157
update:something with:aParameter from:changedObject
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   158
    "handle image restarts and flush any device resource handles"
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   159
3777
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   160
    (changedObject == ObjectMemory) ifTrue:[
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   161
        (something == #returnFromSnapshot) ifTrue:[
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   162
            SharedRandomGenerator notNil ifTrue:[
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   163
                SharedRandomGenerator := nil.
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   164
                HasOSRandom := RandFile := nil.
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   165
                self new. "/ opens a new sharedGenerator
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   166
            ]
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   167
        ]
1606
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   168
    ].
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
!RandomGenerator class methodsFor:'queries'!
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   172
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   173
randPath
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   174
    "path to a file/device that is a source or random numbers"
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   175
3777
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   176
    |pathesOrNil|
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   177
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   178
    pathesOrNil := self randomDevicePathes.
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   179
    pathesOrNil notNil ifTrue:[
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   180
        pathesOrNil do:[:triedRandom |
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   181
            triedRandom asFilename exists ifTrue:[
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   182
                ^ triedRandom
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   183
            ]
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   184
        ].    
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   185
    ].
1606
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   186
    ^ nil.
3777
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   187
!
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   188
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   189
randomDevicePathes
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   190
    "pathes to look for OS sources of random numbers"
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   191
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   192
    RandomDevicePathes notNil ifTrue:[^ RandomDevicePathes].
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   193
    OperatingSystem isUNIXlike ifTrue:[
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   194
        ^ #( '/dev/urandom' '/dev/random' )
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   195
    ].
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   196
    ^ nil.
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   197
!
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   198
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   199
randomDevicePathes:aCollectionOfpathesOrNil
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   200
    "configurable pathes to look for OS sources of random numbers.
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   201
     (can be set during early startup in an rc-file)"
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   202
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   203
    RandomDevicePathes := aCollectionOfpathesOrNil.
1606
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   204
! !
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   205
2439
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   206
!RandomGenerator methodsFor:'basic reading'!
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   207
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   208
nextByte
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   209
    "get the next random byte"
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   210
3777
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   211
    HasOSRandom == true ifTrue:[
2439
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   212
        ^ OperatingSystem randomBytesInto:1.
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   213
    ].
3632
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   214
    RandFile isOpen ifFalse:[
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   215
        self class openRandFile.
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   216
    ].
2439
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   217
    ^ RandFile nextByte
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   218
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   219
    "
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   220
      RandomGenerator new nextByte
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   221
    "
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   222
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
     Distribution should be equal:
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   225
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   226
     |r bag|
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   227
     r := RandomGenerator new.
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   228
     bag := Bag new.
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   229
     1000000 timesRepeat:[
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   230
         bag add:(r nextByte).
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   231
     ].
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   232
     bag.
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   233
     Transcript showCR:bag contents
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   234
    "
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   235
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   236
    "Created: / 11.11.1999 / 09:25:39 / stefan"
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   237
!
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   238
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   239
nextBytes:cnt
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   240
    "get the next cnt random bytes"
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   241
3777
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   242
    HasOSRandom == true ifTrue:[
2439
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   243
        ^ OperatingSystem randomBytesInto:(ByteArray new:cnt).
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   244
    ].
3632
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   245
    RandFile isOpen ifFalse:[
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   246
        self class openRandFile.
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   247
    ].
2439
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   248
    ^ RandFile nextBytes:cnt.
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   249
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   250
    "
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   251
      RandomGenerator new nextBytes:4
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   252
    "
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   253
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   254
    "Created: / 11.11.1999 / 09:25:39 / stefan"
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   255
    "Modified: / 11.11.1999 / 09:52:26 / stefan"
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   256
! !
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   257
1606
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   258
!RandomGenerator methodsFor:'reading'!
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   259
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   260
next
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   261
    "return the next random number in the range 0..1"
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   262
3751
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   263
    ^ self nextInteger / Float maxSmallInteger
1606
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   264
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   265
    "
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   266
     |r|
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   267
     r := RandomGenerator new.
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   268
     Transcript showCR:r next.
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   269
     Transcript showCR:r next.
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   270
     Transcript showCR:r next.
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   271
     Transcript showCR:r next.
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   272
    "
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   273
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   274
    "Modified: / 11.11.1999 / 10:31:35 / stefan"
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   275
!
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   276
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   277
nextBoolean
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   278
    "return true or false by random"
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   279
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   280
    ^ self nextByte <= 127
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   281
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   282
    "
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   283
     |r|
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   284
     r := RandomGenerator new.
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   285
     Transcript showCR:r nextBoolean.
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   286
     Transcript showCR:r nextBoolean.
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   287
     Transcript showCR:r nextBoolean.
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   288
     Transcript showCR:r nextBoolean.
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   289
    "
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   290
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   291
    "
2439
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   292
     Distribution should approach 50/50:
8ef4ad63fb9b comment/format in: #nextBoolean
Stefan Vogel <sv@exept.de>
parents: 2438
diff changeset
   293
1606
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   294
     |r bag|
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   295
     r := RandomGenerator new.
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   296
     bag := Bag new.
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   297
     1000000 timesRepeat:[
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   298
         bag add:(r nextBoolean).
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   299
     ].
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   300
     Transcript showCR:bag contents
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   301
    "
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   302
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   303
    "Created: / 11.11.1999 / 09:25:39 / stefan"
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   304
    "Modified: / 12.11.1999 / 17:22:01 / stefan"
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   305
!
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   306
3751
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   307
nextCharacters:count
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   308
    "get the next count printable characters.
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   309
     We answer printable characters in the ascii range (codepoints 32 - 126)"
1640
2c08e5efee48 new: #nextCharacters:
Stefan Vogel <sv@exept.de>
parents: 1606
diff changeset
   310
3751
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   311
    |bytes string cnt "{ Class:SmallInteger }"|
1640
2c08e5efee48 new: #nextCharacters:
Stefan Vogel <sv@exept.de>
parents: 1606
diff changeset
   312
3751
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   313
    cnt := count.
1640
2c08e5efee48 new: #nextCharacters:
Stefan Vogel <sv@exept.de>
parents: 1606
diff changeset
   314
    bytes := self nextBytes:cnt.
2c08e5efee48 new: #nextCharacters:
Stefan Vogel <sv@exept.de>
parents: 1606
diff changeset
   315
    string := String new:cnt.
2c08e5efee48 new: #nextCharacters:
Stefan Vogel <sv@exept.de>
parents: 1606
diff changeset
   316
3751
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   317
    1 to:cnt do:[:eachIndex|
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   318
        string at:eachIndex put:(Character value:((bytes at:eachIndex) \\ 94 + 32)).
1640
2c08e5efee48 new: #nextCharacters:
Stefan Vogel <sv@exept.de>
parents: 1606
diff changeset
   319
    ].
2c08e5efee48 new: #nextCharacters:
Stefan Vogel <sv@exept.de>
parents: 1606
diff changeset
   320
2c08e5efee48 new: #nextCharacters:
Stefan Vogel <sv@exept.de>
parents: 1606
diff changeset
   321
    ^ string
2c08e5efee48 new: #nextCharacters:
Stefan Vogel <sv@exept.de>
parents: 1606
diff changeset
   322
2c08e5efee48 new: #nextCharacters:
Stefan Vogel <sv@exept.de>
parents: 1606
diff changeset
   323
    "
2c08e5efee48 new: #nextCharacters:
Stefan Vogel <sv@exept.de>
parents: 1606
diff changeset
   324
      RandomGenerator new nextCharacters:8
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
!
2c08e5efee48 new: #nextCharacters:
Stefan Vogel <sv@exept.de>
parents: 1606
diff changeset
   327
3632
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   328
nextInteger
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   329
    "return the next integral random number,
3751
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   330
     in the range 0 .. 16r3FFFFFFF (32-bit)
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   331
     or 0 .. 16r3FFFFFFFFFFFFFFF (64-bit)."
3632
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   332
3751
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   333
    |res intSize|
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   334
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   335
    intSize := SmallInteger maxBytes.
3632
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   336
3777
5315f5caf69a #REFACTORING
Claus Gittinger <cg@exept.de>
parents: 3775
diff changeset
   337
    HasOSRandom == true ifTrue:[
3751
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   338
        ^ OperatingSystem randomBytesInto:intSize.
3632
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   339
    ].
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   340
3751
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   341
    res := self nextBytes:intSize.
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   342
    res at:intSize put:((res at:intSize) bitAnd:16r3F).
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   343
    ^ res asIntegerMSB:false.
3632
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   344
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   345
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   346
    "
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   347
     |r|
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   348
     r := RandomGenerator new.
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   349
     Transcript showCR:r nextInteger.
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   350
     Transcript showCR:r nextInteger.
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   351
     Transcript showCR:r nextInteger.
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   352
     Transcript showCR:r nextInteger.
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   353
    "
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   354
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   355
    "Modified: / 11.11.1999 / 10:08:10 / stefan"
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   356
!
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   357
1606
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   358
nextIntegerBetween:start and:stop
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   359
    "return an integral random number between start and stop"
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   360
3025
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   361
    |rnd range bytesNeeded|
1606
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   362
3025
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   363
    range := stop - start + 1.
3133
41d107fd44a6 class: RandomGenerator
Stefan Vogel <sv@exept.de>
parents: 3025
diff changeset
   364
    bytesNeeded := (range highBit + 15) // 8.
3025
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   365
    "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
   366
    rnd := (LargeInteger digitBytes:(self nextBytes:bytesNeeded)) compressed.
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   367
    rnd := rnd \\ range.
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   368
    ^ rnd + start
1606
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   369
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   370
    "
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   371
     |r|
3025
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   372
     r := self new.
1606
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   373
     Transcript showCR:(r nextIntegerBetween:1 and:10).
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   374
     Transcript showCR:(r nextIntegerBetween:1 and:10).
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   375
     Transcript showCR:(r nextIntegerBetween:1 and:10).
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   376
     Transcript showCR:(r nextIntegerBetween:1 and:10).
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   377
    "
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   378
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   379
    "
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   380
     |r bag|
3025
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   381
     r := self new.
1606
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   382
     bag := Bag new.
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   383
     1000000 timesRepeat:[
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   384
         bag add:(r nextIntegerBetween:-1 and:1).
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   385
     ].
3133
41d107fd44a6 class: RandomGenerator
Stefan Vogel <sv@exept.de>
parents: 3025
diff changeset
   386
     Transcript showCR:bag sortedCounts.
3025
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   387
    "
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   388
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   389
    "
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   390
     |r bag|
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   391
     r := self new.
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   392
     bag := Bag new.
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   393
     1000000 timesRepeat:[
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   394
         bag add:(r nextIntegerBetween:1 and:3).
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   395
     ].
3133
41d107fd44a6 class: RandomGenerator
Stefan Vogel <sv@exept.de>
parents: 3025
diff changeset
   396
     Transcript showCR:bag sortedCounts.
3025
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   397
     TestCase assert:(bag standardDeviation closeTo:(((3 squared - 1)/12) sqrt)).
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   398
    "
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   399
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   400
    "
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   401
     |r bag|
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   402
     r := self new.
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   403
     bag := Bag new.
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   404
     1000000 timesRepeat:[
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   405
         bag add:(r nextIntegerBetween:1 and:10).
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   406
     ].
3133
41d107fd44a6 class: RandomGenerator
Stefan Vogel <sv@exept.de>
parents: 3025
diff changeset
   407
     Transcript showCR:bag sortedCounts.
3025
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   408
     TestCase assert:(bag standardDeviation closeTo:(((10 squared - 1)/12) sqrt)).
1606
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   409
    "
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   410
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   411
    "Created: / 11.11.1999 / 10:28:36 / stefan"
3751
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   412
!
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   413
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   414
nextLettersOrDigits:count
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   415
    "get the next count printable letters or digits [0-9A-Za-z]."
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   416
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   417
    |bytes string cnt "{ Class:SmallInteger }"|
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   418
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   419
    cnt := count.
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   420
    bytes := self nextBytes:cnt.
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   421
    string := String new:cnt.
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   422
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   423
    1 to:cnt do:[:eachIndex|
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   424
        string 
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   425
            at:eachIndex 
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   426
            put:('1234567890ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz' at:((bytes at:eachIndex) \\ 62 + 1)).
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   427
    ].
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   428
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
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   431
    "
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   432
      RandomGenerator new nextLettersOrDigits:40
56b00c8eea80 #FEATURE
Stefan Vogel <sv@exept.de>
parents: 3632
diff changeset
   433
    "
1606
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   434
! !
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   435
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   436
!RandomGenerator methodsFor:'writing'!
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   437
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   438
nextPut:something
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   439
    "change the random pool by feeding in something.
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   440
     Something should be some unpredictable, random event.
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   441
     Ignored here"
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   442
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   443
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   444
!
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   445
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   446
nextPutAll:something
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   447
    "change the random pool by feeding in something.
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   448
     Something should be some unpredictable, random event.
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   449
     Ignored here"
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   450
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   451
! !
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   452
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   453
!RandomGenerator class methodsFor:'documentation'!
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   454
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   455
version
3632
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   456
    ^ '$Header$'
2432
77c3b2c22e9c Keep a shared RandomGenerator.
Stefan Vogel <sv@exept.de>
parents: 1925
diff changeset
   457
!
77c3b2c22e9c Keep a shared RandomGenerator.
Stefan Vogel <sv@exept.de>
parents: 1925
diff changeset
   458
77c3b2c22e9c Keep a shared RandomGenerator.
Stefan Vogel <sv@exept.de>
parents: 1925
diff changeset
   459
version_CVS
3632
Stefan Vogel <sv@exept.de>
parents: 3391
diff changeset
   460
    ^ '$Header$'
1606
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   461
! !
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   462
3025
a8fbc477b131 #nextIntegerBetween:and:
Stefan Vogel <sv@exept.de>
parents: 2440
diff changeset
   463
1606
ad25ac239337 initial checkin
Stefan Vogel <sv@exept.de>
parents:
diff changeset
   464
RandomGenerator initialize!