RandomBlumBlumShub.st
author Stefan Vogel <sv@exept.de>
Wed, 08 Feb 2017 19:43:06 +0100
changeset 4307 baffd203bf5d
parent 3421 ffc828b5799a
child 4325 ccba8c047f87
permissions -rw-r--r--
#REFACTORING by stefan class: URI changed: #fromString:onError: refactor return with exception handler
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
3421
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     1
"{ Package: 'stx:libbasic2' }"
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     2
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     3
Object subclass:#RandomBlumBlumShub
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     4
	instanceVariableNames:'p q m seed'
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     5
	classVariableNames:''
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     6
	poolDictionaries:''
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     7
	category:'Magnitude-Numbers'
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     8
!
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     9
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    10
!RandomBlumBlumShub class methodsFor:'documentation'!
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    11
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    12
documentation
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    13
"
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    14
    NO WARRANTY
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    15
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    16
    This generator uses the blum blub shub algorithm to generate random numbers.
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    17
    It is very slow, but considered to provide good random numbers.
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    18
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    19
    RandomBlumBlumShub new nextInteger
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    20
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    21
    [see also:]
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    22
        RandomGenerator - the default; uses the machine's /dev/random if available
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    23
        Random  - fast, but generates less quality random numbers
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    24
        RandomTT800 - another random generator
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    25
        RandomParkMiller - another random generator
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    26
        RandomMT19937 - another random generator
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    27
        RandomKISS - another random generator
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    28
        exept:libcrypt - a library containing more stuff based on hashes and cyphers
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    29
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    30
    [author:]
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    31
        Claus Gittinger.
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    32
"
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    33
! !
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    34
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    35
!RandomBlumBlumShub class methodsFor:'instance creation'!
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    36
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    37
new
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    38
    ^ self basicNew 
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    39
        initialize;
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    40
        seed:(Random randomSeed)
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    41
!
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    42
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    43
new:seed
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    44
    self isSupported ifFalse:[ self error:'this generator needs a cpu with rdgen instruction' ].
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    45
    ^ self basicNew 
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    46
        initialize;
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    47
        seed:seed
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    48
! !
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    49
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    50
!RandomBlumBlumShub methodsFor:'initialization'!
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    51
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    52
initialize
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    53
    "The two primes, p and q, should both be congruent to 3 (mod 4)"
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    54
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    55
    p := 615389388455725613122981570401989286707.
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    56
    q := 8936277569639798554773638405675965349567.
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    57
    m := p * q.
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    58
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    59
    "/ (p \\ 4) = 3 ifFalse:[ self halt: 'unsuitable p' ].
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    60
    "/ (q \\ 4) = 3 ifFalse:[ self halt: 'unsuitable p' ].
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    61
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    62
    "
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    63
     self new initialize
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    64
    "
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    65
!
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    66
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    67
seed:seedArg
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    68
    seed := seedArg.
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    69
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    70
    self assert:(seed < m).
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    71
    self assert:(seed gcd:m) = 1.
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    72
! !
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    73
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    74
!RandomBlumBlumShub methodsFor:'random numbers'!
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    75
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    76
nextBoolean
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    77
    "generates the next random boolean"
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    78
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    79
    seed := seed*seed \\ m.
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    80
    ^ seed bitTest:1
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    81
!
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    82
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    83
nextInteger
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    84
    "generates the next integer in 0..FFFFFFFF"
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    85
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    86
    |num|
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    87
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    88
    num := 0.
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    89
    32 timesRepeat:[
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    90
        seed := (seed * seed) \\ m.
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    91
        num := (num<<1) + (seed bitAnd:1).
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    92
    ].
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    93
    ^ num.
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    94
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    95
    "
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    96
     self new nextInteger.
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    97
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    98
     |r|
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    99
     r := self new
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   100
     100 timesRepeat:[ Transcript showCR:r nextInteger].
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   101
    "
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   102
! !
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   103
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   104
!RandomBlumBlumShub class methodsFor:'documentation'!
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   105
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   106
version
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   107
    ^ '$Header: /cvs/stx/stx/libbasic2/RandomBlumBlumShub.st,v 1.1 2014-10-02 16:24:30 cg Exp $'
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   108
!
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   109
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   110
version_CVS
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   111
    ^ '$Header: /cvs/stx/stx/libbasic2/RandomBlumBlumShub.st,v 1.1 2014-10-02 16:24:30 cg Exp $'
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   112
! !
ffc828b5799a initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   113