Artifact
002f210476e89c3ba6ebdfa3b866b8cafe019308:
- File
rng.fs
— part of check-in
[94988e190b]
at
2019-07-13 00:01:13
on branch trunk
— Locked down chat works
(user:
bernd
size: 7172)
0000: 5c 20 67 65 6e 65 72 69 63 20 72 6e 67 0a 0a 5c \ generic rng..\
0010: 20 43 6f 70 79 72 69 67 68 74 20 28 43 29 20 32 Copyright (C) 2
0020: 30 31 30 2d 32 30 31 34 20 20 20 42 65 72 6e 64 010-2014 Bernd
0030: 20 50 61 79 73 61 6e 0a 0a 5c 20 54 68 69 73 20 Paysan..\ This
0040: 70 72 6f 67 72 61 6d 20 69 73 20 66 72 65 65 20 program is free
0050: 73 6f 66 74 77 61 72 65 3a 20 79 6f 75 20 63 61 software: you ca
0060: 6e 20 72 65 64 69 73 74 72 69 62 75 74 65 20 69 n redistribute i
0070: 74 20 61 6e 64 2f 6f 72 20 6d 6f 64 69 66 79 0a t and/or modify.
0080: 5c 20 69 74 20 75 6e 64 65 72 20 74 68 65 20 74 \ it under the t
0090: 65 72 6d 73 20 6f 66 20 74 68 65 20 47 4e 55 20 erms of the GNU
00a0: 41 66 66 65 72 6f 20 47 65 6e 65 72 61 6c 20 50 Affero General P
00b0: 75 62 6c 69 63 20 4c 69 63 65 6e 73 65 20 61 73 ublic License as
00c0: 20 70 75 62 6c 69 73 68 65 64 20 62 79 0a 5c 20 published by.\
00d0: 74 68 65 20 46 72 65 65 20 53 6f 66 74 77 61 72 the Free Softwar
00e0: 65 20 46 6f 75 6e 64 61 74 69 6f 6e 2c 20 65 69 e Foundation, ei
00f0: 74 68 65 72 20 76 65 72 73 69 6f 6e 20 33 20 6f ther version 3 o
0100: 66 20 74 68 65 20 4c 69 63 65 6e 73 65 2c 20 6f f the License, o
0110: 72 0a 5c 20 28 61 74 20 79 6f 75 72 20 6f 70 74 r.\ (at your opt
0120: 69 6f 6e 29 20 61 6e 79 20 6c 61 74 65 72 20 76 ion) any later v
0130: 65 72 73 69 6f 6e 2e 0a 0a 5c 20 54 68 69 73 20 ersion...\ This
0140: 70 72 6f 67 72 61 6d 20 69 73 20 64 69 73 74 72 program is distr
0150: 69 62 75 74 65 64 20 69 6e 20 74 68 65 20 68 6f ibuted in the ho
0160: 70 65 20 74 68 61 74 20 69 74 20 77 69 6c 6c 20 pe that it will
0170: 62 65 20 75 73 65 66 75 6c 2c 0a 5c 20 62 75 74 be useful,.\ but
0180: 20 57 49 54 48 4f 55 54 20 41 4e 59 20 57 41 52 WITHOUT ANY WAR
0190: 52 41 4e 54 59 3b 20 77 69 74 68 6f 75 74 20 65 RANTY; without e
01a0: 76 65 6e 20 74 68 65 20 69 6d 70 6c 69 65 64 20 ven the implied
01b0: 77 61 72 72 61 6e 74 79 20 6f 66 0a 5c 20 4d 45 warranty of.\ ME
01c0: 52 43 48 41 4e 54 41 42 49 4c 49 54 59 20 6f 72 RCHANTABILITY or
01d0: 20 46 49 54 4e 45 53 53 20 46 4f 52 20 41 20 50 FITNESS FOR A P
01e0: 41 52 54 49 43 55 4c 41 52 20 50 55 52 50 4f 53 ARTICULAR PURPOS
01f0: 45 2e 20 20 53 65 65 20 74 68 65 0a 5c 20 47 4e E. See the.\ GN
0200: 55 20 41 66 66 65 72 6f 20 47 65 6e 65 72 61 6c U Affero General
0210: 20 50 75 62 6c 69 63 20 4c 69 63 65 6e 73 65 20 Public License
0220: 66 6f 72 20 6d 6f 72 65 20 64 65 74 61 69 6c 73 for more details
0230: 2e 0a 0a 5c 20 59 6f 75 20 73 68 6f 75 6c 64 20 ...\ You should
0240: 68 61 76 65 20 72 65 63 65 69 76 65 64 20 61 20 have received a
0250: 63 6f 70 79 20 6f 66 20 74 68 65 20 47 4e 55 20 copy of the GNU
0260: 41 66 66 65 72 6f 20 47 65 6e 65 72 61 6c 20 50 Affero General P
0270: 75 62 6c 69 63 20 4c 69 63 65 6e 73 65 0a 5c 20 ublic License.\
0280: 61 6c 6f 6e 67 20 77 69 74 68 20 74 68 69 73 20 along with this
0290: 70 72 6f 67 72 61 6d 2e 20 20 49 66 20 6e 6f 74 program. If not
02a0: 2c 20 73 65 65 20 3c 68 74 74 70 3a 2f 2f 77 77 , see <http://ww
02b0: 77 2e 67 6e 75 2e 6f 72 67 2f 6c 69 63 65 6e 73 w.gnu.org/licens
02c0: 65 73 2f 3e 2e 0a 0a 5c 20 54 68 65 20 67 65 6e es/>...\ The gen
02d0: 65 72 61 6c 20 69 64 65 61 20 68 65 72 65 20 69 eral idea here i
02e0: 73 3a 20 59 6f 75 20 75 73 65 20 61 6e 20 65 6e s: You use an en
02f0: 74 72 6f 70 79 20 73 6f 75 72 63 65 20 74 6f 20 tropy source to
0300: 69 6e 69 74 69 61 6c 69 7a 65 20 79 6f 75 72 20 initialize your
0310: 50 52 4e 47 2e 0a 5c 20 54 68 65 20 65 6e 74 72 PRNG..\ The entr
0320: 6f 70 79 20 73 6f 75 72 63 65 20 75 73 65 64 20 opy source used
0330: 68 65 72 65 20 69 73 20 2f 64 65 76 2f 75 72 61 here is /dev/ura
0340: 6e 64 6f 6d 2e 20 20 41 66 74 65 72 20 69 6e 69 ndom. After ini
0350: 74 69 61 6c 69 7a 69 6e 67 20 74 68 65 20 50 52 tializing the PR
0360: 4e 47 2c 0a 5c 20 79 6f 75 20 6d 61 6b 65 20 73 NG,.\ you make s
0370: 75 72 65 20 74 68 61 74 20 6e 6f 20 6f 62 73 65 ure that no obse
0380: 72 76 65 72 20 63 61 6e 20 69 6e 66 6c 75 65 6e rver can influen
0390: 63 65 20 79 6f 75 72 20 50 52 4e 47 2c 20 69 2e ce your PRNG, i.
03a0: 65 2e 20 79 6f 75 20 73 74 6f 70 0a 5c 20 72 65 e. you stop.\ re
03b0: 61 64 69 6e 67 20 65 6e 74 72 6f 70 79 2e 0a 0a ading entropy...
03c0: 5c 20 54 68 65 20 50 52 4e 47 20 69 74 73 65 6c \ The PRNG itsel
03d0: 66 20 77 6f 72 6b 73 20 62 79 20 72 65 70 65 61 f works by repea
03e0: 74 65 64 6c 79 20 65 6e 63 72 79 70 74 69 6e 67 tedly encrypting
03f0: 20 74 68 65 20 73 61 6d 65 20 62 6c 6f 63 6b 20 the same block
0400: 6f 66 20 6d 65 6d 6f 72 79 0a 5c 20 75 73 69 6e of memory.\ usin
0410: 67 20 4b 65 63 63 61 6b 20 69 6e 20 64 75 70 6c g Keccak in dupl
0420: 65 78 20 6d 6f 64 65 2e 20 20 54 68 69 73 20 69 ex mode. This i
0430: 73 20 61 20 68 75 67 65 20 61 6d 6f 75 6e 74 20 s a huge amount
0440: 6f 66 20 73 74 61 74 65 20 28 32 35 36 2b 32 30 of state (256+20
0450: 30 0a 5c 20 62 79 74 65 73 29 2c 20 6f 66 20 77 0.\ bytes), of w
0460: 68 69 63 68 20 74 68 65 20 32 30 30 20 62 79 74 hich the 200 byt
0470: 65 73 20 4b 65 63 63 61 6b 20 73 74 61 74 65 20 es Keccak state
0480: 69 73 20 6b 65 70 74 20 68 69 64 64 65 6e 2e 20 is kept hidden.
0490: 20 53 69 6e 63 65 20 65 61 63 68 0a 5c 20 72 6f Since each.\ ro
04a0: 75 6e 64 20 72 65 70 6c 61 63 65 73 20 74 68 65 und replaces the
04b0: 20 70 72 65 76 69 6f 75 73 20 4b 65 63 63 61 6b previous Keccak
04c0: 20 73 74 61 74 65 2c 20 74 68 69 73 20 69 73 20 state, this is
04d0: 28 6f 66 20 63 6f 75 72 73 65 21 29 20 61 20 6b (of course!) a k
04e0: 65 79 2d 65 72 61 73 69 6e 67 0a 5c 20 52 4e 47 ey-erasing.\ RNG
04f0: 2e 20 20 45 76 65 6e 20 74 68 65 20 73 61 76 65 . Even the save
0500: 64 20 2e 69 6e 69 74 72 6e 67 20 63 61 6e 6e 6f d .initrng canno
0510: 74 20 62 65 20 75 73 65 64 20 74 6f 20 72 65 63 t be used to rec
0520: 6f 6e 73 74 72 75 63 74 20 74 68 65 20 73 74 72 onstruct the str
0530: 65 61 6d 2c 20 61 73 0a 5c 20 69 74 20 69 73 20 eam, as.\ it is
0540: 6e 6f 74 20 74 68 65 20 61 63 74 75 61 6c 20 6b not the actual k
0550: 65 79 20 77 68 69 63 68 20 69 73 20 77 72 69 74 ey which is writ
0560: 74 65 6e 20 74 68 65 72 65 2c 20 62 75 74 20 67 ten there, but g
0570: 65 6e 65 72 61 74 65 64 20 72 61 6e 64 6f 6d 20 enerated random
0580: 64 61 74 61 2e 0a 5c 20 54 68 65 20 62 75 66 66 data..\ The buff
0590: 65 72 20 75 73 65 64 20 74 68 65 72 65 66 6f 72 er used therefor
05a0: 65 20 6d 75 73 74 20 62 65 20 62 69 67 67 65 72 e must be bigger
05b0: 20 74 68 61 6e 20 74 68 65 20 73 74 61 74 65 20 than the state
05c0: 6e 65 65 64 65 64 2e 0a 0a 72 65 71 75 69 72 65 needed...require
05d0: 20 75 6e 69 78 2f 70 74 68 72 65 61 64 2e 66 73 unix/pthread.fs
05e0: 0a 0a 24 31 30 30 20 43 6f 6e 73 74 61 6e 74 20 ..$100 Constant
05f0: 72 6e 67 62 75 66 23 0a 0a 75 73 65 72 2d 6f 20 rngbuf#..user-o
0600: 72 6e 67 2d 6f 0a 0a 6f 62 6a 65 63 74 20 75 63 rng-o..object uc
0610: 6c 61 73 73 20 72 6e 67 2d 6f 0a 20 20 20 20 72 lass rng-o. r
0620: 6e 67 62 75 66 23 20 75 76 61 72 20 72 6e 67 2d ngbuf# uvar rng-
0630: 62 75 66 66 65 72 0a 20 20 20 20 63 3a 6b 65 79 buffer. c:key
0640: 23 20 20 75 76 61 72 20 72 6e 67 2d 6b 65 79 0a # uvar rng-key.
0650: 20 20 20 20 63 65 6c 6c 20 75 76 61 72 20 72 6e cell uvar rn
0660: 67 2d 70 6f 73 0a 20 20 20 20 63 65 6c 6c 20 75 g-pos. cell u
0670: 76 61 72 20 72 6e 67 2d 70 69 64 0a 20 20 20 20 var rng-pid.
0680: 63 65 6c 6c 20 75 76 61 72 20 72 6e 67 2d 74 61 cell uvar rng-ta
0690: 73 6b 0a 65 6e 64 2d 63 6c 61 73 73 20 72 6e 67 sk.end-class rng
06a0: 2d 63 0a 0a 3a 20 72 6e 67 2d 65 78 65 63 20 28 -c..: rng-exec (
06b0: 20 78 74 20 2d 2d 20 29 0a 20 20 20 20 5c 47 20 xt -- ). \G
06c0: 72 75 6e 20 40 69 7b 78 74 7d 20 77 69 74 68 20 run @i{xt} with
06d0: 61 63 74 69 76 61 74 65 64 20 72 61 6e 64 6f 6d activated random
06e0: 20 6b 65 79 0a 20 20 20 20 63 3a 6b 65 79 40 20 key. c:key@
06f0: 3e 72 20 20 72 6e 67 2d 6b 65 79 20 63 3a 6b 65 >r rng-key c:ke
0700: 79 21 20 20 63 61 74 63 68 20 20 72 3e 20 63 3a y! catch r> c:
0710: 6b 65 79 21 20 20 74 68 72 6f 77 20 3b 0a 0a 3a key! throw ;..:
0720: 20 72 65 61 64 2d 75 72 6e 64 20 28 20 61 64 64 read-urnd ( add
0730: 72 20 75 20 2d 2d 20 29 0a 20 20 20 20 5c 47 20 r u -- ). \G
0740: 6c 65 67 61 63 79 20 76 65 72 73 69 6f 6e 20 6f legacy version o
0750: 66 20 72 65 61 64 2d 72 6e 64 0a 20 20 20 20 73 f read-rnd. s
0760: 22 20 2f 64 65 76 2f 75 72 61 6e 64 6f 6d 22 20 " /dev/urandom"
0770: 72 2f 6f 20 6f 70 65 6e 2d 66 69 6c 65 20 74 68 r/o open-file th
0780: 72 6f 77 20 3e 72 0a 20 20 20 20 74 75 63 6b 20 row >r. tuck
0790: 72 40 20 72 65 61 64 2d 66 69 6c 65 20 72 3e 20 r@ read-file r>
07a0: 63 6c 6f 73 65 2d 66 69 6c 65 20 74 68 72 6f 77 close-file throw
07b0: 0a 20 20 20 20 74 68 72 6f 77 20 3c 3e 20 21 21 . throw <> !!
07c0: 69 6e 73 75 66 66 2d 72 6e 64 21 21 20 3b 0a 0a insuff-rnd!! ;..
07d0: 3a 20 72 65 61 64 2d 72 6e 64 20 28 20 61 64 64 : read-rnd ( add
07e0: 72 20 75 20 2d 2d 20 29 0a 20 20 20 20 5c 47 20 r u -- ). \G
07f0: 72 65 61 64 20 69 6e 20 65 6e 74 72 6f 70 79 20 read in entropy
0800: 62 79 74 65 73 20 66 72 6f 6d 20 74 68 65 20 73 bytes from the s
0810: 79 73 74 65 6d 73 20 65 6e 74 72 6f 70 79 20 73 ystems entropy s
0820: 6f 75 72 63 65 0a 20 20 20 20 5b 20 5b 64 65 66 ource. [ [def
0830: 69 6e 65 64 5d 20 67 65 74 72 61 6e 64 6f 6d 20 ined] getrandom
0840: 5b 64 65 66 69 6e 65 64 5d 20 6c 69 6e 75 78 20 [defined] linux
0850: 61 6e 64 20 5b 49 46 5d 0a 09 22 67 65 74 72 61 and [IF].."getra
0860: 6e 64 6f 6d 22 20 22 6c 69 62 63 2e 73 6f 2e 36 ndom" "libc.so.6
0870: 22 20 6f 70 65 6e 2d 6c 69 62 20 6c 69 62 2d 73 " open-lib lib-s
0880: 79 6d 20 30 3c 3e 0a 20 20 20 20 5b 45 4c 53 45 ym 0<>. [ELSE
0890: 5d 20 66 61 6c 73 65 20 5b 54 48 45 4e 5d 20 5d ] false [THEN] ]
08a0: 0a 20 20 20 20 5b 49 46 5d 0a 09 62 6f 75 6e 64 . [IF]..bound
08b0: 73 20 55 2b 44 4f 20 5c 20 67 65 74 72 61 6e 64 s U+DO \ getrand
08c0: 6f 6d 20 72 65 61 64 73 20 24 31 30 30 20 62 79 om reads $100 by
08d0: 74 65 73 20 61 74 20 6d 61 78 69 6d 75 6d 0a 09 tes at maximum..
08e0: 20 20 20 20 49 20 49 27 20 6f 76 65 72 20 2d 20 I I' over -
08f0: 24 31 30 30 20 75 6d 69 6e 20 30 20 67 65 74 72 $100 umin 0 getr
0900: 61 6e 64 6f 6d 0a 09 20 20 20 20 64 75 70 20 2d andom.. dup -
0910: 31 20 3d 20 49 46 20 20 65 72 72 6e 6f 20 23 33 1 = IF errno #3
0920: 38 20 3d 20 49 46 20 20 64 72 6f 70 0a 09 09 20 8 = IF drop...
0930: 20 20 20 5c 20 6f 6f 70 73 2c 20 77 65 20 64 6f \ oops, we do
0940: 6e 27 74 20 68 61 76 65 20 67 65 74 65 6e 74 72 n't have getentr
0950: 6f 70 79 20 69 6e 20 74 68 65 20 6b 65 72 6e 65 opy in the kerne
0960: 6c 0a 09 09 20 20 20 20 49 20 49 27 20 6f 76 65 l... I I' ove
0970: 72 20 2d 20 24 31 30 30 20 75 6d 69 6e 20 72 65 r - $100 umin re
0980: 61 64 2d 75 72 6e 64 0a 09 09 45 4c 53 45 20 20 ad-urnd...ELSE
0990: 42 55 54 20 20 54 48 45 4e 20 5c 20 72 65 73 6f BUT THEN \ reso
09a0: 6c 76 65 20 74 68 65 20 6f 74 68 65 72 20 49 46 lve the other IF
09b0: 0a 09 09 3f 69 6f 72 20 20 54 48 45 4e 0a 09 24 ...?ior THEN..$
09c0: 31 30 30 20 2b 4c 4f 4f 50 0a 20 20 20 20 5b 45 100 +LOOP. [E
09d0: 4c 53 45 5d 0a 09 72 65 61 64 2d 75 72 6e 64 0a LSE]..read-urnd.
09e0: 20 20 20 20 5b 54 48 45 4e 5d 20 3b 0a 0a 3a 20 [THEN] ;..:
09f0: 72 6e 67 2d 69 6e 69 74 20 28 20 2d 2d 20 29 20 rng-init ( -- )
0a00: 5c 47 20 72 65 65 64 20 73 65 65 64 20 69 6e 74 \G reed seed int
0a10: 6f 20 74 68 65 20 62 75 66 66 65 72 0a 20 20 20 o the buffer.
0a20: 20 5c 20 6e 6f 74 65 20 74 68 61 74 20 72 65 61 \ note that rea
0a30: 64 69 6e 67 20 32 35 36 20 62 79 74 65 73 20 6f ding 256 bytes o
0a40: 66 20 2f 64 65 76 2f 75 72 61 6e 64 6f 6d 20 69 f /dev/urandom i
0a50: 73 20 75 6e 6e 65 63 65 73 73 61 72 79 20 6d 75 s unnecessary mu
0a60: 63 68 0a 20 20 20 20 5c 20 62 75 74 20 66 6f 72 ch. \ but for
0a70: 20 73 61 6b 65 20 6f 66 20 73 69 6d 70 6c 69 63 sake of simplic
0a80: 69 74 79 2c 20 6a 75 73 74 20 64 6f 20 69 74 2e ity, just do it.
0a90: 20 49 74 20 77 69 6c 6c 20 70 72 6f 64 75 63 65 It will produce
0aa0: 0a 20 20 20 20 5c 20 67 6f 6f 64 20 72 61 6e 64 . \ good rand
0ab0: 6f 6d 6e 65 73 73 20 65 76 65 6e 20 77 69 74 68 omness even with
0ac0: 20 61 20 6e 75 6d 62 65 72 20 6f 66 20 62 61 63 a number of bac
0ad0: 6b 64 6f 6f 72 20 70 6f 73 73 69 62 69 6c 69 74 kdoor possibilit
0ae0: 69 65 73 0a 20 20 20 20 72 6e 67 2d 62 75 66 66 ies. rng-buff
0af0: 65 72 20 72 6e 67 62 75 66 23 20 72 65 61 64 2d er rngbuf# read-
0b00: 72 6e 64 20 3b 0a 0a 3a 20 3e 72 6e 67 24 20 28 rnd ;..: >rng$ (
0b10: 20 61 64 64 72 20 75 20 2d 2d 20 29 0a 20 20 20 addr u -- ).
0b20: 20 5c 47 20 66 69 6c 6c 20 40 69 7b 61 64 64 72 \G fill @i{addr
0b30: 20 75 7d 20 77 69 74 68 20 72 61 6e 64 6f 6d 20 u} with random
0b40: 64 61 74 61 20 62 79 20 65 6e 63 72 79 70 74 69 data by encrypti
0b50: 6e 67 20 69 74 0a 20 20 20 20 5c 47 20 73 6f 20 ng it. \G so
0b60: 77 68 61 74 65 76 65 72 20 77 61 73 20 74 68 65 whatever was the
0b70: 72 65 20 62 65 66 6f 72 65 20 69 73 20 75 73 65 re before is use
0b80: 64 20 61 73 20 65 6e 74 72 6f 70 79 0a 20 20 20 d as entropy.
0b90: 20 5c 47 20 66 6f 72 20 74 68 65 20 50 52 4e 47 \G for the PRNG
0ba0: 2e 0a 20 20 20 20 5b 27 5d 20 63 3a 65 6e 63 72 .. ['] c:encr
0bb0: 79 70 74 20 72 6e 67 2d 65 78 65 63 20 3b 0a 0a ypt rng-exec ;..
0bc0: 3a 20 72 6e 67 2d 73 74 65 70 20 28 20 2d 2d 20 : rng-step ( --
0bd0: 29 0a 20 20 20 20 5c 47 20 6f 6e 65 20 73 74 65 ). \G one ste
0be0: 70 20 6f 66 20 72 61 6e 64 6f 6d 20 6e 75 6d 62 p of random numb
0bf0: 65 72 20 67 65 6e 65 72 61 74 69 6f 6e 20 0a 20 er generation .
0c00: 20 20 20 72 6e 67 2d 62 75 66 66 65 72 20 72 6e rng-buffer rn
0c10: 67 62 75 66 23 20 3e 72 6e 67 24 20 72 6e 67 2d gbuf# >rng$ rng-
0c20: 70 6f 73 20 6f 66 66 20 3b 0a 0a 5c 20 69 6e 69 pos off ;..\ ini
0c30: 74 20 72 6e 67 20 74 6f 20 62 65 20 61 63 74 75 t rng to be actu
0c40: 61 6c 6c 79 20 75 73 65 66 75 6c 0a 0a 24 56 61 ally useful..$Va
0c50: 72 69 61 62 6c 65 20 69 6e 69 74 2d 72 6e 67 24 riable init-rng$
0c60: 0a 22 69 6e 69 74 72 6e 67 22 20 2e 6e 65 74 32 ."initrng" .net2
0c70: 6f 2d 63 6f 6e 66 69 67 2f 20 69 6e 69 74 2d 72 o-config/ init-r
0c80: 6e 67 24 20 24 21 0a 0a 3a 20 72 61 6e 64 6f 6d ng$ $!..: random
0c90: 2d 69 6e 69 74 20 28 20 2d 2d 20 29 0a 20 20 20 -init ( -- ).
0ca0: 20 72 6e 67 2d 6b 65 79 20 63 3a 6b 65 79 23 20 rng-key c:key#
0cb0: 72 65 61 64 2d 72 6e 64 20 3b 0a 0a 3a 20 72 65 read-rnd ;..: re
0cc0: 61 64 2d 69 6e 69 74 72 6e 67 20 28 20 66 64 20 ad-initrng ( fd
0cd0: 2d 2d 20 66 6c 61 67 20 29 20 20 7b 20 66 64 20 -- flag ) { fd
0ce0: 7d 0a 20 20 20 20 23 30 2e 20 66 64 20 72 65 70 }. #0. fd rep
0cf0: 6f 73 69 74 69 6f 6e 2d 66 69 6c 65 20 74 68 72 osition-file thr
0d00: 6f 77 0a 20 20 20 20 72 6e 67 2d 6b 65 79 20 63 ow. rng-key c
0d10: 3a 6b 65 79 23 20 66 64 20 72 65 61 64 2d 66 69 :key# fd read-fi
0d20: 6c 65 20 74 68 72 6f 77 20 63 3a 6b 65 79 23 20 le throw c:key#
0d30: 3d 0a 20 20 20 20 5b 27 5d 20 63 3a 64 69 66 66 =. ['] c:diff
0d40: 75 73 65 20 72 6e 67 2d 65 78 65 63 20 20 66 64 use rng-exec fd
0d50: 20 63 6c 6f 73 65 2d 66 69 6c 65 20 74 68 72 6f close-file thro
0d60: 77 20 3b 0a 0a 3a 20 77 72 69 74 65 2d 69 6e 69 w ;..: write-ini
0d70: 74 72 6e 67 20 28 20 2d 2d 20 29 0a 20 20 20 20 trng ( -- ).
0d80: 69 6e 69 74 2d 72 6e 67 24 20 24 40 20 64 69 72 init-rng$ $@ dir
0d90: 6e 61 6d 65 20 27 2f 27 20 2d 73 6b 69 70 20 24 name '/' -skip $
0da0: 31 46 46 20 69 6e 69 74 2d 64 69 72 20 64 72 6f 1FF init-dir dro
0db0: 70 0a 20 20 20 20 69 6e 69 74 2d 72 6e 67 24 20 p. init-rng$
0dc0: 24 40 20 72 2f 77 20 63 72 65 61 74 65 2d 66 69 $@ r/w create-fi
0dd0: 6c 65 20 74 68 72 6f 77 20 3e 72 0a 20 20 20 20 le throw >r.
0de0: 72 6e 67 2d 62 75 66 66 65 72 20 63 3a 6b 65 79 rng-buffer c:key
0df0: 23 20 72 40 20 77 72 69 74 65 2d 66 69 6c 65 20 # r@ write-file
0e00: 74 68 72 6f 77 0a 20 20 20 20 72 3e 20 63 6c 6f throw. r> clo
0e10: 73 65 2d 66 69 6c 65 20 74 68 72 6f 77 20 20 72 se-file throw r
0e20: 6e 67 2d 73 74 65 70 20 3b 0a 0a 5c 20 53 61 6e ng-step ;..\ San
0e30: 69 74 79 20 63 68 65 63 6b 0a 0a 24 56 61 72 69 ity check..$Vari
0e40: 61 62 6c 65 20 63 68 65 63 6b 2d 72 6e 67 24 0a able check-rng$.
0e50: 56 61 72 69 61 62 6c 65 20 63 68 65 63 6b 2d 6f Variable check-o
0e60: 6c 64 24 0a 22 63 68 65 63 6b 72 6e 67 22 20 2e ld$."checkrng" .
0e70: 6e 65 74 32 6f 2d 63 6f 6e 66 69 67 2f 20 63 68 net2o-config/ ch
0e80: 65 63 6b 2d 72 6e 67 24 20 24 21 0a 24 31 30 20 eck-rng$ $!.$10
0e90: 63 65 6c 6c 73 20 62 75 66 66 65 72 3a 20 72 6e cells buffer: rn
0ea0: 67 73 74 61 74 2d 62 75 66 0a 0a 3a 20 72 6e 67 gstat-buf..: rng
0eb0: 73 74 61 74 20 28 20 61 64 64 72 20 75 20 2d 2d stat ( addr u --
0ec0: 20 66 6c 6f 61 74 20 29 0a 20 20 20 20 5c 47 20 float ). \G
0ed0: 70 72 6f 64 75 63 65 73 20 61 20 6e 6f 72 6d 61 produces a norma
0ee0: 6c 69 7a 65 64 20 6e 75 6d 62 65 72 2c 20 67 61 lized number, ga
0ef0: 75 73 73 20 64 69 73 74 72 69 62 75 74 65 64 20 uss distributed
0f00: 61 72 6f 75 6e 64 20 30 0a 20 20 20 20 72 6e 67 around 0. rng
0f10: 73 74 61 74 2d 62 75 66 20 24 31 30 20 63 65 6c stat-buf $10 cel
0f20: 6c 73 20 65 72 61 73 65 20 20 64 75 70 20 33 20 ls erase dup 3
0f30: 72 73 68 69 66 74 20 7b 20 65 20 7d 0a 20 20 20 rshift { e }.
0f40: 20 62 6f 75 6e 64 73 20 3f 44 4f 0a 09 31 20 49 bounds ?DO..1 I
0f50: 20 63 40 20 34 20 72 73 68 69 66 74 20 63 65 6c c@ 4 rshift cel
0f60: 6c 73 20 72 6e 67 73 74 61 74 2d 62 75 66 20 2b ls rngstat-buf +
0f70: 20 2b 21 0a 09 31 20 49 20 63 40 20 24 46 20 61 +!..1 I c@ $F a
0f80: 6e 64 20 20 20 63 65 6c 6c 73 20 72 6e 67 73 74 nd cells rngst
0f90: 61 74 2d 62 75 66 20 2b 20 2b 21 0a 20 20 20 20 at-buf + +!.
0fa0: 4c 4f 4f 50 0a 20 20 20 20 30 20 24 31 30 20 30 LOOP. 0 $10 0
0fb0: 20 44 4f 20 20 72 6e 67 73 74 61 74 2d 62 75 66 DO rngstat-buf
0fc0: 20 49 20 63 65 6c 6c 73 20 2b 20 40 20 65 20 2d I cells + @ e -
0fd0: 20 64 75 70 20 2a 20 2b 20 20 4c 4f 4f 50 0a 20 dup * + LOOP.
0fe0: 20 20 20 73 3e 66 20 65 20 66 6d 2f 20 30 2e 30 s>f e fm/ 0.0
0ff0: 36 32 35 65 20 66 2a 20 2d 31 65 20 66 65 78 70 625e f* -1e fexp
1000: 20 66 2a 2a 0a 20 20 20 20 5b 20 31 36 65 20 31 f**. [ 16e 1
1010: 65 20 66 65 78 70 20 66 2d 20 31 36 65 20 66 2f e fexp f- 16e f/
1020: 20 2d 31 65 20 66 65 78 70 20 66 2a 2a 20 5d 20 -1e fexp f** ]
1030: 46 4c 69 74 65 72 61 6c 20 66 2d 20 3b 0a 0a 3a FLiteral f- ;..:
1040: 20 3f 63 68 65 63 6b 2d 72 6e 67 20 28 20 2d 2d ?check-rng ( --
1050: 20 29 0a 20 20 20 20 5c 47 20 43 68 65 63 6b 20 ). \G Check
1060: 74 68 65 20 52 4e 47 20 73 74 61 74 65 20 66 6f the RNG state fo
1070: 72 20 62 65 69 6e 67 20 64 65 74 65 72 6d 69 6e r being determin
1080: 69 73 74 69 63 20 28 77 6f 75 6c 64 20 62 65 20 istic (would be
1090: 66 61 74 61 6c 29 2e 0a 20 20 20 20 5c 47 20 43 fatal).. \G C
10a0: 68 65 63 6b 20 77 68 65 6e 65 76 65 72 20 79 6f heck whenever yo
10b0: 75 20 66 65 65 6c 20 69 74 20 69 73 20 69 6d 70 u feel it is imp
10c0: 6f 72 74 61 6e 74 20 65 6e 6f 75 67 68 2c 20 6e ortant enough, n
10d0: 6f 74 20 6c 69 6d 69 74 65 64 20 74 6f 0a 20 20 ot limited to.
10e0: 20 20 5c 47 20 73 61 6c 74 20 73 65 74 75 70 2e \G salt setup.
10f0: 0a 20 20 20 20 63 68 65 63 6b 2d 6f 6c 64 24 20 . check-old$
1100: 24 66 72 65 65 0a 20 20 20 20 72 6e 67 2d 6b 65 $free. rng-ke
1110: 79 20 24 32 30 20 5c 20 63 68 65 63 6b 20 6f 6e y $20 \ check on
1120: 6c 79 20 66 69 72 73 74 20 32 35 36 20 62 69 74 ly first 256 bit
1130: 73 0a 20 20 20 20 63 68 65 63 6b 2d 72 6e 67 24 s. check-rng$
1140: 20 24 40 20 66 69 6c 65 2d 73 74 61 74 75 73 20 $@ file-status
1150: 6e 69 70 20 6e 6f 2d 66 69 6c 65 23 20 3c 3e 20 nip no-file# <>
1160: 49 46 0a 09 63 68 65 63 6b 2d 72 6e 67 24 20 24 IF..check-rng$ $
1170: 40 20 63 68 65 63 6b 2d 6f 6c 64 24 20 24 73 6c @ check-old$ $sl
1180: 75 72 70 2d 66 69 6c 65 0a 09 63 68 65 63 6b 2d urp-file..check-
1190: 6f 6c 64 24 20 24 40 20 32 6f 76 65 72 20 73 65 old$ $@ 2over se
11a0: 61 72 63 68 20 6e 69 70 20 6e 69 70 20 21 21 62 arch nip nip !!b
11b0: 61 64 2d 72 6e 67 21 21 0a 09 63 68 65 63 6b 2d ad-rng!!..check-
11c0: 72 6e 67 24 20 24 40 20 77 2f 6f 20 6f 70 65 6e rng$ $@ w/o open
11d0: 2d 66 69 6c 65 20 74 68 72 6f 77 20 3e 72 0a 09 -file throw >r..
11e0: 72 40 20 66 69 6c 65 2d 73 69 7a 65 20 74 68 72 r@ file-size thr
11f0: 6f 77 20 72 40 20 72 65 70 6f 73 69 74 69 6f 6e ow r@ reposition
1200: 2d 66 69 6c 65 20 74 68 72 6f 77 0a 20 20 20 20 -file throw.
1210: 45 4c 53 45 0a 09 63 68 65 63 6b 2d 72 6e 67 24 ELSE..check-rng$
1220: 20 24 40 20 64 69 72 6e 61 6d 65 20 27 2f 27 20 $@ dirname '/'
1230: 2d 73 6b 69 70 20 24 31 46 46 20 69 6e 69 74 2d -skip $1FF init-
1240: 64 69 72 20 64 72 6f 70 0a 09 63 68 65 63 6b 2d dir drop..check-
1250: 72 6e 67 24 20 24 40 20 77 2f 6f 20 63 72 65 61 rng$ $@ w/o crea
1260: 74 65 2d 66 69 6c 65 20 74 68 72 6f 77 20 3e 72 te-file throw >r
1270: 0a 20 20 20 20 54 48 45 4e 0a 20 20 20 20 32 64 . THEN. 2d
1280: 75 70 20 63 68 65 63 6b 2d 6f 6c 64 24 20 24 2b up check-old$ $+
1290: 21 0a 20 20 20 20 72 40 20 77 72 69 74 65 2d 66 !. r@ write-f
12a0: 69 6c 65 20 74 68 72 6f 77 20 20 72 3e 20 63 6c ile throw r> cl
12b0: 6f 73 65 2d 66 69 6c 65 20 74 68 72 6f 77 0a 20 ose-file throw.
12c0: 20 20 20 63 68 65 63 6b 2d 6f 6c 64 24 20 24 40 check-old$ $@
12d0: 20 72 6e 67 73 74 61 74 20 66 64 75 70 20 2e 39 rngstat fdup .9
12e0: 65 20 66 3e 0a 20 20 20 20 49 46 20 20 20 20 66 e f>. IF f
12f0: 2e 20 63 72 20 63 68 65 63 6b 2d 6f 6c 64 24 20 . cr check-old$
1300: 24 40 20 64 75 6d 70 20 74 72 75 65 20 21 21 62 $@ dump true !!b
1310: 61 64 2d 72 6e 67 21 21 0a 20 20 20 20 45 4c 53 ad-rng!!. ELS
1320: 45 20 20 68 65 61 6c 74 68 28 20 2e 22 20 52 4e E health( ." RN
1330: 47 20 73 65 65 64 65 64 2c 20 68 65 61 6c 74 68 G seeded, health
1340: 20 63 68 65 63 6b 20 70 61 73 73 65 64 20 22 20 check passed "
1350: 66 2e 20 63 72 20 29 65 6c 73 65 28 20 66 64 72 f. cr )else( fdr
1360: 6f 70 20 29 0a 20 20 20 20 54 48 45 4e 20 20 72 op ). THEN r
1370: 6e 67 2d 73 74 65 70 20 72 6e 67 2d 73 74 65 70 ng-step rng-step
1380: 20 3b 0a 5c 20 61 66 74 65 72 20 63 68 65 63 6b ;.\ after check
1390: 69 6e 67 2c 20 77 65 20 6e 65 65 64 20 74 6f 20 ing, we need to
13a0: 6d 61 6b 65 20 61 20 73 74 65 70 0a 5c 20 74 6f make a step.\ to
13b0: 20 6d 61 6b 65 20 73 75 72 65 20 74 68 65 20 6e make sure the n
13c0: 65 78 74 20 63 68 65 63 6b 20 63 61 6e 20 62 65 ext check can be
13d0: 20 64 6f 6e 65 0a 5c 20 61 6e 64 20 61 20 73 65 done.\ and a se
13e0: 63 6f 6e 64 20 6f 6e 65 2c 20 74 6f 20 6d 61 6b cond one, to mak
13f0: 65 20 73 75 72 65 20 74 68 65 20 73 61 76 65 64 e sure the saved
1400: 20 72 61 6e 64 6f 6d 6e 65 73 73 0a 5c 20 64 6f randomness.\ do
1410: 65 73 20 6e 6f 74 20 6c 65 61 6b 20 61 6e 79 74 es not leak anyt
1420: 68 69 6e 67 20 69 6d 70 6f 72 74 61 6e 74 0a 0a hing important..
1430: 3a 20 2e 72 6e 67 73 74 61 74 20 28 20 61 64 64 : .rngstat ( add
1440: 72 20 75 20 2d 2d 20 29 0a 20 20 20 20 5c 47 20 r u -- ). \G
1450: 70 72 69 6e 74 20 61 20 31 36 20 62 69 6e 73 20 print a 16 bins
1460: 68 69 73 74 6f 67 72 61 6d 20 63 68 69 73 71 20 histogram chisq
1470: 74 65 73 74 20 6f 66 20 74 68 65 20 72 61 6e 64 test of the rand
1480: 6f 6d 20 64 61 74 61 0a 20 20 20 20 72 6e 67 73 om data. rngs
1490: 74 61 74 0a 20 20 20 20 2e 22 20 68 65 61 6c 74 tat. ." healt
14a0: 68 20 2d 20 63 68 69 73 71 20 6e 6f 72 6d 61 6c h - chisq normal
14b0: 69 7a 65 64 20 28 7c 78 7c 3c 30 2e 39 29 3a 20 ized (|x|<0.9):
14c0: 22 0a 20 20 20 20 66 64 75 70 20 66 61 62 73 20 ". fdup fabs
14d0: 2e 39 65 20 66 3c 3d 20 49 46 20 20 3c 69 6e 66 .9e f<= IF <inf
14e0: 6f 3e 20 20 45 4c 53 45 20 20 3c 65 72 72 3e 20 o> ELSE <err>
14f0: 20 54 48 45 4e 0a 20 20 20 20 36 20 34 20 31 20 THEN. 6 4 1
1500: 66 2e 72 64 70 20 3c 64 65 66 61 75 6c 74 3e 20 f.rdp <default>
1510: 63 72 20 3b 0a 5c 20 20 20 20 24 31 30 20 30 20 cr ;.\ $10 0
1520: 44 4f 20 20 72 6e 67 73 74 61 74 20 49 20 63 65 DO rngstat I ce
1530: 6c 6c 73 20 2b 20 3f 20 20 4c 4f 4f 50 20 63 72 lls + ? LOOP cr
1540: 0a 0a 5c 20 69 6e 69 74 20 73 61 6c 74 0a 0a 53 ..\ init salt..S
1550: 65 6d 61 20 72 6e 67 2d 73 65 6d 61 0a 55 73 65 ema rng-sema.Use
1560: 72 20 3f 73 61 6c 74 2d 69 6e 69 74 20 20 3f 73 r ?salt-init ?s
1570: 61 6c 74 2d 69 6e 69 74 20 6f 66 66 0a 0a 3a 20 alt-init off..:
1580: 73 61 6c 74 2d 69 6e 69 74 20 28 20 2d 2d 20 29 salt-init ( -- )
1590: 0a 20 20 20 20 69 6e 69 74 2d 72 6e 67 24 20 24 . init-rng$ $
15a0: 40 20 72 2f 6f 20 6f 70 65 6e 2d 66 69 6c 65 20 @ r/o open-file
15b0: 49 46 20 20 64 72 6f 70 20 72 61 6e 64 6f 6d 2d IF drop random-
15c0: 69 6e 69 74 0a 20 20 20 20 45 4c 53 45 20 20 72 init. ELSE r
15d0: 65 61 64 2d 69 6e 69 74 72 6e 67 20 20 30 3d 20 ead-initrng 0=
15e0: 49 46 20 20 72 61 6e 64 6f 6d 2d 69 6e 69 74 20 IF random-init
15f0: 20 54 48 45 4e 20 20 54 48 45 4e 0a 20 20 20 20 THEN THEN.
1600: 72 6e 67 2d 69 6e 69 74 20 72 6e 67 2d 73 74 65 rng-init rng-ste
1610: 70 20 3f 63 68 65 63 6b 2d 72 6e 67 20 77 72 69 p ?check-rng wri
1620: 74 65 2d 69 6e 69 74 72 6e 67 0a 20 20 20 20 5c te-initrng. \
1630: 20 6e 65 76 65 72 20 64 6f 20 74 68 69 73 20 73 never do this s
1640: 74 75 66 66 20 62 65 6c 6f 77 20 77 69 74 68 6f tuff below witho
1650: 75 74 20 68 61 76 69 6e 67 20 63 68 65 63 6b 65 ut having checke
1660: 64 20 74 68 65 20 52 4e 47 3a 0a 20 20 20 20 3f d the RNG:. ?
1670: 73 61 6c 74 2d 69 6e 69 74 20 6f 6e 20 20 67 65 salt-init on ge
1680: 74 70 69 64 20 72 6e 67 2d 70 69 64 20 21 20 20 tpid rng-pid !
1690: 75 70 40 20 72 6e 67 2d 74 61 73 6b 20 21 20 3b up@ rng-task ! ;
16a0: 0a 0a 3a 20 72 6e 67 2d 61 6c 6c 6f 74 20 28 20 ..: rng-allot (
16b0: 2d 2d 20 29 0a 20 20 20 20 72 6e 67 2d 63 20 3e -- ). rng-c >
16c0: 6f 73 69 7a 65 20 40 20 6b 61 6c 6c 6f 63 20 72 osize @ kalloc r
16d0: 6e 67 2d 6f 20 21 0a 20 20 20 20 72 6e 67 62 75 ng-o !. rngbu
16e0: 66 23 20 72 6e 67 2d 70 6f 73 20 21 0a 20 20 20 f# rng-pos !.
16f0: 20 5b 27 5d 20 73 61 6c 74 2d 69 6e 69 74 20 72 ['] salt-init r
1700: 6e 67 2d 73 65 6d 61 20 63 2d 73 65 63 74 69 6f ng-sema c-sectio
1710: 6e 20 3b 0a 0a 5c 20 62 75 66 66 65 72 65 64 20 n ;..\ buffered
1720: 72 61 6e 64 6f 6d 20 6e 75 6d 62 65 72 73 20 74 random numbers t
1730: 6f 20 6f 75 74 70 75 74 20 36 34 20 62 69 74 20 o output 64 bit
1740: 61 74 20 61 20 74 69 6d 65 0a 0a 3a 20 3f 72 6e at a time..: ?rn
1750: 67 20 28 20 2d 2d 20 29 0a 20 20 20 20 5c 47 20 g ( -- ). \G
1760: 61 6c 6c 6f 63 20 72 6e 67 20 69 66 20 6e 6f 74 alloc rng if not
1770: 20 74 68 65 72 65 0a 20 20 20 20 72 6e 67 2d 6f there. rng-o
1780: 20 40 20 30 3d 20 49 46 20 20 72 6e 67 2d 61 6c @ 0= IF rng-al
1790: 6c 6f 74 0a 20 20 20 20 45 4c 53 45 20 20 75 70 lot. ELSE up
17a0: 40 20 72 6e 67 2d 74 61 73 6b 20 40 20 3c 3e 20 @ rng-task @ <>
17b0: 49 46 20 20 20 72 6e 67 2d 61 6c 6c 6f 74 20 20 IF rng-allot
17c0: 54 48 45 4e 20 20 54 48 45 4e 0a 20 20 20 20 67 THEN THEN. g
17d0: 65 74 70 69 64 20 72 6e 67 2d 70 69 64 20 40 20 etpid rng-pid @
17e0: 3c 3e 0a 20 20 20 20 49 46 20 20 5b 27 5d 20 73 <>. IF ['] s
17f0: 61 6c 74 2d 69 6e 69 74 20 72 6e 67 2d 73 65 6d alt-init rng-sem
1800: 61 20 63 2d 73 65 63 74 69 6f 6e 20 20 54 48 45 a c-section THE
1810: 4e 0a 20 20 20 20 3f 73 61 6c 74 2d 69 6e 69 74 N. ?salt-init
1820: 20 40 20 30 3d 20 21 21 6e 6f 2d 73 61 6c 74 21 @ 0= !!no-salt!
1830: 21 20 3b 20 5c 20 66 61 74 61 6c 0a 0a 3a 20 72 ! ; \ fatal..: r
1840: 6e 67 2d 73 74 65 70 3f 20 28 20 6e 20 2d 2d 20 ng-step? ( n --
1850: 29 0a 20 20 20 20 5c 47 20 63 68 65 63 6b 20 69 ). \G check i
1860: 66 20 6e 20 62 79 74 65 73 20 61 72 65 20 61 76 f n bytes are av
1870: 61 69 6c 61 62 6c 65 20 69 6e 20 74 68 65 20 62 ailable in the b
1880: 75 66 66 65 72 0a 20 20 20 20 5c 47 20 69 6e 20 uffer. \G in
1890: 63 61 73 65 20 74 68 65 20 52 4e 47 20 69 73 20 case the RNG is
18a0: 6e 6f 74 20 69 6e 69 74 69 61 6c 69 7a 65 64 2c not initialized,
18b0: 20 69 6e 69 74 20 69 74 2e 0a 20 20 20 20 5c 47 init it.. \G
18c0: 20 74 68 69 73 20 63 6f 76 65 72 73 20 66 6f 72 this covers for
18d0: 6b 73 20 61 6e 64 20 6e 65 77 20 74 68 72 65 61 ks and new threa
18e0: 64 73 2c 20 61 73 20 74 68 65 20 52 4e 47 20 6b ds, as the RNG k
18f0: 65 79 0a 20 20 20 20 5c 47 20 69 73 20 70 65 72 ey. \G is per
1900: 2d 74 68 72 65 61 64 2e 0a 20 20 20 20 72 6e 67 -thread.. rng
1910: 62 75 66 23 20 75 3e 20 49 46 20 20 72 6e 67 2d buf# u> IF rng-
1920: 73 74 65 70 20 20 54 48 45 4e 20 3b 0a 0a 3a 20 step THEN ;..:
1930: 72 6e 67 36 34 20 28 20 2d 2d 20 78 36 34 20 29 rng64 ( -- x64 )
1940: 0a 20 20 20 20 5c 47 20 72 65 74 75 72 6e 20 61 . \G return a
1950: 20 36 34 20 62 69 74 20 72 61 6e 64 6f 6d 20 6e 64 bit random n
1960: 75 6d 62 65 72 0a 20 20 20 20 3f 72 6e 67 0a 20 umber. ?rng.
1970: 20 20 20 72 6e 67 2d 70 6f 73 20 40 20 36 34 61 rng-pos @ 64a
1980: 6c 69 67 6e 65 64 20 36 34 27 2b 20 72 6e 67 2d ligned 64'+ rng-
1990: 73 74 65 70 3f 0a 20 20 20 20 72 6e 67 2d 70 6f step?. rng-po
19a0: 73 20 40 20 36 34 61 6c 69 67 6e 65 64 20 64 75 s @ 64aligned du
19b0: 70 20 36 34 27 2b 20 72 6e 67 2d 70 6f 73 20 21 p 64'+ rng-pos !
19c0: 0a 20 20 20 20 72 6e 67 2d 62 75 66 66 65 72 20 . rng-buffer
19d0: 2b 20 36 34 40 20 3b 0a 0a 3a 20 72 6e 67 24 20 + 64@ ;..: rng$
19e0: 28 20 75 20 2d 2d 20 61 64 64 72 20 75 20 29 20 ( u -- addr u )
19f0: 3e 72 0a 20 20 20 20 5c 47 20 72 65 74 75 72 6e >r. \G return
1a00: 20 61 20 40 69 7b 75 7d 20 62 79 74 65 73 20 73 a @i{u} bytes s
1a10: 74 72 65 61 6d 20 28 40 69 7b 75 7d 20 6d 75 73 tream (@i{u} mus
1a20: 74 20 62 65 20 73 6d 61 6c 6c 65 72 20 74 68 61 t be smaller tha
1a30: 6e 20 74 68 65 0a 20 20 20 20 5c 47 20 62 75 66 n the. \G buf
1a40: 66 65 72 20 73 69 7a 65 7d 0a 20 20 20 20 3f 72 fer size}. ?r
1a50: 6e 67 0a 20 20 20 20 72 6e 67 2d 70 6f 73 20 40 ng. rng-pos @
1a60: 20 72 40 20 2b 20 72 6e 67 2d 73 74 65 70 3f 0a r@ + rng-step?.
1a70: 20 20 20 20 72 6e 67 2d 62 75 66 66 65 72 20 72 rng-buffer r
1a80: 6e 67 2d 70 6f 73 20 40 20 2b 20 72 3e 20 64 75 ng-pos @ + r> du
1a90: 70 20 72 6e 67 2d 70 6f 73 20 2b 21 20 3b 0a 0a p rng-pos +! ;..
1aa0: 3a 20 72 6e 67 33 32 20 28 20 2d 2d 20 78 20 29 : rng32 ( -- x )
1ab0: 0a 20 20 20 20 5c 47 20 72 65 74 75 72 6e 20 61 . \G return a
1ac0: 20 33 32 20 62 69 74 20 72 61 6e 64 6f 6d 20 6e 32 bit random n
1ad0: 75 6d 62 65 72 0a 20 20 20 20 3f 72 6e 67 0a 20 umber. ?rng.
1ae0: 20 20 20 72 6e 67 2d 70 6f 73 20 40 20 34 20 2b rng-pos @ 4 +
1af0: 20 72 6e 67 2d 73 74 65 70 3f 0a 20 20 20 20 72 rng-step?. r
1b00: 6e 67 2d 70 6f 73 20 40 20 72 6e 67 2d 62 75 66 ng-pos @ rng-buf
1b10: 66 65 72 20 2b 20 6c 40 0a 20 20 20 20 34 20 72 fer + l@. 4 r
1b20: 6e 67 2d 70 6f 73 20 2b 21 20 3b 0a 0a 3a 20 72 ng-pos +! ;..: r
1b30: 6e 67 38 20 28 20 2d 2d 20 63 20 29 0a 20 20 20 ng8 ( -- c ).
1b40: 20 5c 47 20 72 65 74 75 72 6e 20 61 6e 20 38 20 \G return an 8
1b50: 62 69 74 20 72 61 6e 64 6f 6d 20 6e 75 6d 62 65 bit random numbe
1b60: 72 0a 20 20 20 20 3f 72 6e 67 0a 20 20 20 20 72 r. ?rng. r
1b70: 6e 67 2d 70 6f 73 20 40 20 31 2b 20 72 6e 67 2d ng-pos @ 1+ rng-
1b80: 73 74 65 70 3f 0a 20 20 20 20 72 6e 67 2d 70 6f step?. rng-po
1b90: 73 20 40 20 72 6e 67 2d 62 75 66 66 65 72 20 2b s @ rng-buffer +
1ba0: 20 63 40 0a 20 20 20 20 31 20 72 6e 67 2d 70 6f c@. 1 rng-po
1bb0: 73 20 2b 21 20 3b 0a 0a 3a 6e 6f 6e 61 6d 65 20 s +! ;..:noname
1bc0: 64 65 66 65 72 73 20 27 69 6d 61 67 65 20 63 68 defers 'image ch
1bd0: 65 63 6b 2d 6f 6c 64 24 20 24 66 72 65 65 20 3f eck-old$ $free ?
1be0: 73 61 6c 74 2d 69 6e 69 74 20 6f 66 66 20 72 6e salt-init off rn
1bf0: 67 2d 6f 20 6f 66 66 20 3b 20 69 73 20 27 69 6d g-o off ; is 'im
1c00: 61 67 65 0a age.