Artifact
8a17899cb254bdb3ce8515d8e1502153b76e2402:
- File
kregion.fs
— part of check-in
[c50e5d02db]
at
2019-03-19 22:48:59
on branch trunk
— Added avatar display
(user:
bernd
size: 2969)
0000: 5c 20 63 72 79 70 74 6f 20 72 65 67 69 6f 6e 20 \ crypto region
0010: 62 61 73 65 64 20 61 6c 6c 6f 63 61 74 69 6f 6e based allocation
0020: 0a 0a 5c 20 43 6f 70 79 72 69 67 68 74 20 28 43 ..\ Copyright (C
0030: 29 20 32 30 31 34 20 20 20 42 65 72 6e 64 20 50 ) 2014 Bernd P
0040: 61 79 73 61 6e 0a 0a 5c 20 54 68 69 73 20 70 72 aysan..\ This pr
0050: 6f 67 72 61 6d 20 69 73 20 66 72 65 65 20 73 6f ogram is free so
0060: 66 74 77 61 72 65 3a 20 79 6f 75 20 63 61 6e 20 ftware: you can
0070: 72 65 64 69 73 74 72 69 62 75 74 65 20 69 74 20 redistribute it
0080: 61 6e 64 2f 6f 72 20 6d 6f 64 69 66 79 0a 5c 20 and/or modify.\
0090: 69 74 20 75 6e 64 65 72 20 74 68 65 20 74 65 72 it under the ter
00a0: 6d 73 20 6f 66 20 74 68 65 20 47 4e 55 20 41 66 ms of the GNU Af
00b0: 66 65 72 6f 20 47 65 6e 65 72 61 6c 20 50 75 62 fero General Pub
00c0: 6c 69 63 20 4c 69 63 65 6e 73 65 20 61 73 20 70 lic License as p
00d0: 75 62 6c 69 73 68 65 64 20 62 79 0a 5c 20 74 68 ublished by.\ th
00e0: 65 20 46 72 65 65 20 53 6f 66 74 77 61 72 65 20 e Free Software
00f0: 46 6f 75 6e 64 61 74 69 6f 6e 2c 20 65 69 74 68 Foundation, eith
0100: 65 72 20 76 65 72 73 69 6f 6e 20 33 20 6f 66 20 er version 3 of
0110: 74 68 65 20 4c 69 63 65 6e 73 65 2c 20 6f 72 0a the License, or.
0120: 5c 20 28 61 74 20 79 6f 75 72 20 6f 70 74 69 6f \ (at your optio
0130: 6e 29 20 61 6e 79 20 6c 61 74 65 72 20 76 65 72 n) any later ver
0140: 73 69 6f 6e 2e 0a 0a 5c 20 54 68 69 73 20 70 72 sion...\ This pr
0150: 6f 67 72 61 6d 20 69 73 20 64 69 73 74 72 69 62 ogram is distrib
0160: 75 74 65 64 20 69 6e 20 74 68 65 20 68 6f 70 65 uted in the hope
0170: 20 74 68 61 74 20 69 74 20 77 69 6c 6c 20 62 65 that it will be
0180: 20 75 73 65 66 75 6c 2c 0a 5c 20 62 75 74 20 57 useful,.\ but W
0190: 49 54 48 4f 55 54 20 41 4e 59 20 57 41 52 52 41 ITHOUT ANY WARRA
01a0: 4e 54 59 3b 20 77 69 74 68 6f 75 74 20 65 76 65 NTY; without eve
01b0: 6e 20 74 68 65 20 69 6d 70 6c 69 65 64 20 77 61 n the implied wa
01c0: 72 72 61 6e 74 79 20 6f 66 0a 5c 20 4d 45 52 43 rranty of.\ MERC
01d0: 48 41 4e 54 41 42 49 4c 49 54 59 20 6f 72 20 46 HANTABILITY or F
01e0: 49 54 4e 45 53 53 20 46 4f 52 20 41 20 50 41 52 ITNESS FOR A PAR
01f0: 54 49 43 55 4c 41 52 20 50 55 52 50 4f 53 45 2e TICULAR PURPOSE.
0200: 20 20 53 65 65 20 74 68 65 0a 5c 20 47 4e 55 20 See the.\ GNU
0210: 41 66 66 65 72 6f 20 47 65 6e 65 72 61 6c 20 50 Affero General P
0220: 75 62 6c 69 63 20 4c 69 63 65 6e 73 65 20 66 6f ublic License fo
0230: 72 20 6d 6f 72 65 20 64 65 74 61 69 6c 73 2e 0a r more details..
0240: 0a 5c 20 59 6f 75 20 73 68 6f 75 6c 64 20 68 61 .\ You should ha
0250: 76 65 20 72 65 63 65 69 76 65 64 20 61 20 63 6f ve received a co
0260: 70 79 20 6f 66 20 74 68 65 20 47 4e 55 20 41 66 py of the GNU Af
0270: 66 65 72 6f 20 47 65 6e 65 72 61 6c 20 50 75 62 fero General Pub
0280: 6c 69 63 20 4c 69 63 65 6e 73 65 0a 5c 20 61 6c lic License.\ al
0290: 6f 6e 67 20 77 69 74 68 20 74 68 69 73 20 70 72 ong with this pr
02a0: 6f 67 72 61 6d 2e 20 20 49 66 20 6e 6f 74 2c 20 ogram. If not,
02b0: 73 65 65 20 3c 68 74 74 70 3a 2f 2f 77 77 77 2e see <http://www.
02c0: 67 6e 75 2e 6f 72 67 2f 6c 69 63 65 6e 73 65 73 gnu.org/licenses
02d0: 2f 3e 2e 0a 0a 32 56 61 72 69 61 62 6c 65 20 6b />...2Variable k
02e0: 72 65 67 69 6f 6e 20 5c 20 63 75 72 72 65 6e 74 region \ current
02f0: 20 72 65 67 69 6f 6e 20 70 6f 69 6e 74 65 72 20 region pointer
0300: 2b 20 72 65 6d 61 69 6e 64 65 72 0a 56 61 72 69 + remainder.Vari
0310: 61 62 6c 65 20 6b 66 72 65 65 36 34 27 20 5c 20 able kfree64' \
0320: 66 72 65 65 20 6c 69 73 74 20 66 6f 72 20 36 34 free list for 64
0330: 20 62 79 74 65 73 20 6b 65 79 73 0a 0a 24 34 30 bytes keys..$40
0340: 30 30 20 43 6f 6e 73 74 61 6e 74 20 2f 6b 72 65 00 Constant /kre
0350: 67 69 6f 6e 0a 24 31 30 30 30 30 20 43 6f 6e 73 gion.$10000 Cons
0360: 74 61 6e 74 20 2f 6b 72 65 67 69 6f 6e 2d 6d 61 tant /kregion-ma
0370: 78 20 5c 20 74 68 65 20 75 73 75 61 6c 20 6d 61 x \ the usual ma
0380: 78 69 6d 75 6d 20 6c 6f 63 6b 65 64 20 6d 65 6d ximum locked mem
0390: 6f 72 79 20 69 73 20 70 61 74 68 65 74 69 63 0a ory is pathetic.
03a0: 0a 24 32 30 20 43 6f 6e 73 74 61 6e 74 20 63 72 .$20 Constant cr
03b0: 79 70 74 2d 61 6c 69 67 6e 0a 0a 30 20 56 61 6c ypt-align..0 Val
03c0: 75 65 20 2f 6b 72 65 67 69 6f 6e 23 0a 0a 3a 20 ue /kregion#..:
03d0: 6b 61 6c 69 67 6e 20 28 20 61 64 64 72 20 2d 2d kalign ( addr --
03e0: 20 61 64 64 72 27 20 29 0a 20 20 20 20 5b 20 63 addr' ). [ c
03f0: 72 79 70 74 2d 61 6c 69 67 6e 20 31 2d 20 5d 4c rypt-align 1- ]L
0400: 20 2b 20 5b 20 63 72 79 70 74 2d 61 6c 69 67 6e + [ crypt-align
0410: 20 6e 65 67 61 74 65 20 5d 4c 20 61 6e 64 20 3b negate ]L and ;
0420: 0a 0a 3a 20 6b 61 6c 6c 6f 63 20 28 20 6c 65 6e ..: kalloc ( len
0430: 20 2d 2d 20 61 64 64 72 20 29 0a 20 20 20 20 5c -- addr ). \
0440: 47 20 61 6c 6c 6f 63 61 74 65 20 61 20 6c 65 6e G allocate a len
0450: 20 62 79 74 65 20 62 6c 6f 63 6b 20 6f 66 20 6e byte block of n
0460: 6f 6e 2d 73 77 61 70 70 61 62 6c 65 20 73 74 75 on-swappable stu
0470: 66 66 0a 20 20 20 20 6b 61 6c 69 67 6e 20 3e 72 ff. kalign >r
0480: 0a 20 20 20 20 72 40 20 2f 6b 72 65 67 69 6f 6e . r@ /kregion
0490: 20 75 3e 20 21 21 6b 72 2d 73 69 7a 65 21 21 0a u> !!kr-size!!.
04a0: 20 20 20 20 6b 72 65 67 69 6f 6e 20 32 40 20 64 kregion 2@ d
04b0: 75 70 20 72 40 20 75 3c 20 49 46 0a 09 2f 6b 72 up r@ u< IF../kr
04c0: 65 67 69 6f 6e 20 2b 74 6f 20 2f 6b 72 65 67 69 egion +to /kregi
04d0: 6f 6e 23 20 20 32 64 72 6f 70 20 2f 6b 72 65 67 on# 2drop /kreg
04e0: 69 6f 6e 0a 09 5c 20 77 65 20 68 61 76 65 20 74 ion..\ we have t
04f0: 6f 20 66 61 6c 6c 20 62 61 63 6b 20 74 6f 20 61 o fall back to a
0500: 6c 6c 6f 63 2b 67 75 61 72 64 20 69 66 20 77 65 lloc+guard if we
0510: 20 77 61 6e 74 20 6d 6f 72 65 20 74 68 61 6e 20 want more than
0520: 36 34 6b 0a 09 2f 6b 72 65 67 69 6f 6e 23 20 2f 64k../kregion# /
0530: 6b 72 65 67 69 6f 6e 2d 6d 61 78 20 75 3e 20 49 kregion-max u> I
0540: 46 20 20 61 6c 6c 6f 63 2b 67 75 61 72 64 20 20 F alloc+guard
0550: 45 4c 53 45 20 20 61 6c 6c 6f 63 2b 6c 6f 63 6b ELSE alloc+lock
0560: 20 20 54 48 45 4e 0a 09 2f 6b 72 65 67 69 6f 6e THEN../kregion
0570: 20 32 64 75 70 20 6b 72 65 67 69 6f 6e 20 32 21 2dup kregion 2!
0580: 20 20 54 48 45 4e 0a 20 20 20 20 6f 76 65 72 20 THEN. over
0590: 73 77 61 70 20 72 3e 20 73 61 66 65 2f 73 74 72 swap r> safe/str
05a0: 69 6e 67 20 6b 72 65 67 69 6f 6e 20 32 21 20 28 ing kregion 2! (
05b0: 20 6b 61 6c 6c 6f 63 28 20 2e 22 20 6b 61 6c 6c kalloc( ." kall
05c0: 6f 63 3a 20 22 20 64 75 70 20 68 65 78 2e 20 63 oc: " dup hex. c
05d0: 72 20 29 20 3b 0a 0a 3a 6e 6f 6e 61 6d 65 20 64 r ) ;..:noname d
05e0: 65 66 65 72 73 20 27 69 6d 61 67 65 20 20 23 30 efers 'image #0
05f0: 2e 20 6b 72 65 67 69 6f 6e 20 32 21 20 20 30 20 . kregion 2! 0
0600: 74 6f 20 2f 6b 72 65 67 69 6f 6e 23 20 6b 66 72 to /kregion# kfr
0610: 65 65 36 34 27 20 6f 66 66 20 3b 20 69 73 20 27 ee64' off ; is '
0620: 69 6d 61 67 65 0a 0a 5c 20 66 69 78 65 64 20 73 image..\ fixed s
0630: 69 7a 65 20 73 65 63 72 65 74 73 20 61 72 65 20 ize secrets are
0640: 61 73 73 75 6d 65 64 20 74 6f 20 62 65 20 61 6c assumed to be al
0650: 6c 20 36 34 20 62 79 74 65 73 20 6c 6f 6e 67 0a l 64 bytes long.
0660: 5c 20 69 66 20 74 68 65 79 20 61 72 65 20 6a 75 \ if they are ju
0670: 73 74 20 33 32 20 62 79 74 65 73 2c 20 74 68 65 st 32 bytes, the
0680: 20 73 65 63 6f 6e 64 20 68 61 6c 66 20 69 73 20 second half is
0690: 61 6c 6c 20 7a 65 72 6f 0a 0a 3a 20 6b 61 6c 6c all zero..: kall
06a0: 6f 63 36 34 20 28 20 2d 2d 20 61 64 64 72 20 29 oc64 ( -- addr )
06b0: 0a 20 20 20 20 6b 66 72 65 65 36 34 27 20 40 20 . kfree64' @
06c0: 3f 64 75 70 2d 69 66 20 20 64 75 70 20 40 20 6b ?dup-if dup @ k
06d0: 66 72 65 65 36 34 27 20 21 20 64 75 70 20 6f 66 free64' ! dup of
06e0: 66 20 20 65 78 69 74 20 20 74 68 65 6e 0a 20 20 f exit then.
06f0: 20 20 36 34 20 6b 61 6c 6c 6f 63 20 3b 0a 3a 20 64 kalloc ;.:
0700: 6b 66 72 65 65 36 34 20 28 20 61 64 64 72 20 2d kfree64 ( addr -
0710: 2d 20 29 0a 20 20 20 20 64 75 70 20 36 34 20 65 - ). dup 64 e
0720: 72 61 73 65 20 6b 66 72 65 65 36 34 27 20 40 20 rase kfree64' @
0730: 6f 76 65 72 20 21 20 6b 66 72 65 65 36 34 27 20 over ! kfree64'
0740: 21 20 3b 0a 3a 20 6b 61 6c 6c 6f 63 36 34 3f 20 ! ;.: kalloc64?
0750: 28 20 61 64 64 72 20 2d 2d 20 61 64 64 72 27 20 ( addr -- addr'
0760: 29 0a 20 20 20 20 64 75 70 20 40 20 49 46 20 20 ). dup @ IF
0770: 40 20 20 45 58 49 54 20 20 54 48 45 4e 20 20 64 @ EXIT THEN d
0780: 72 6f 70 20 6b 61 6c 6c 6f 63 36 34 20 3b 0a 0a rop kalloc64 ;..
0790: 33 32 20 62 75 66 66 65 72 3a 20 7a 65 72 6f 33 32 buffer: zero3
07a0: 32 0a 0a 3a 20 73 65 63 2d 66 72 65 65 20 28 20 2..: sec-free (
07b0: 61 64 64 72 20 2d 2d 20 29 20 64 75 70 20 40 20 addr -- ) dup @
07c0: 64 75 70 20 20 49 46 20 20 6b 66 72 65 65 36 34 dup IF kfree64
07d0: 20 6f 66 66 20 45 58 49 54 20 20 54 48 45 4e 20 off EXIT THEN
07e0: 20 32 64 72 6f 70 20 3b 0a 3a 20 73 65 63 21 20 2drop ;.: sec!
07f0: 28 20 61 64 64 72 31 20 75 31 20 61 64 64 72 32 ( addr1 u1 addr2
0800: 20 2d 2d 20 29 0a 20 20 20 20 6f 76 65 72 20 30 -- ). over 0
0810: 3d 20 49 46 20 20 73 65 63 2d 66 72 65 65 20 32 = IF sec-free 2
0820: 64 72 6f 70 20 20 45 58 49 54 20 20 54 48 45 4e drop EXIT THEN
0830: 0a 20 20 20 20 3e 72 20 72 40 20 6b 61 6c 6c 6f . >r r@ kallo
0840: 63 36 34 3f 20 64 75 70 20 72 3e 20 21 20 24 34 c64? dup r> ! $4
0850: 30 20 73 6d 6f 76 65 20 3b 0a 3a 20 73 65 63 40 0 smove ;.: sec@
0860: 20 28 20 61 64 64 72 20 2d 2d 20 61 64 64 72 31 ( addr -- addr1
0870: 20 75 31 20 29 0a 20 20 20 20 40 20 64 75 70 20 u1 ). @ dup
0880: 49 46 20 20 24 34 30 0a 09 6f 76 65 72 20 24 32 IF $40..over $2
0890: 30 20 2b 20 24 32 30 20 7a 65 72 6f 33 32 20 6f 0 + $20 zero32 o
08a0: 76 65 72 20 73 74 72 3d 20 49 46 20 20 32 2f 0a ver str= IF 2/.
08b0: 09 20 20 20 20 6f 76 65 72 20 24 31 30 20 2b 20 . over $10 +
08c0: 24 31 30 20 7a 65 72 6f 33 32 20 6f 76 65 72 20 $10 zero32 over
08d0: 73 74 72 3d 20 49 46 20 20 32 2f 20 20 54 48 45 str= IF 2/ THE
08e0: 4e 0a 09 54 48 45 4e 0a 20 20 20 20 45 4c 53 45 N..THEN. ELSE
08f0: 20 30 20 54 48 45 4e 20 3b 0a 3a 20 73 65 63 2b 0 THEN ;.: sec+
0900: 21 20 28 20 61 64 64 72 31 20 75 31 20 61 64 64 ! ( addr1 u1 add
0910: 72 32 20 2d 2d 20 29 0a 20 20 20 20 64 75 70 20 r2 -- ). dup
0920: 40 20 30 3d 20 49 46 20 20 73 65 63 21 20 20 45 @ 0= IF sec! E
0930: 4c 53 45 20 20 73 65 63 40 20 64 75 70 20 3e 72 LSE sec@ dup >r
0940: 20 2b 20 24 34 30 20 72 3e 20 2d 20 73 6d 6f 76 + $40 r> - smov
0950: 65 20 20 54 48 45 4e 20 3b 0a 0a 3a 20 73 65 63 e THEN ;..: sec
0960: 2b 5b 5d 21 20 28 20 61 64 64 72 31 20 75 31 20 +[]! ( addr1 u1
0970: 61 64 64 72 32 20 2d 2d 20 29 20 3e 72 0a 20 20 addr2 -- ) >r.
0980: 20 20 7b 20 7c 20 77 5e 20 73 65 63 20 7d 20 73 { | w^ sec } s
0990: 65 63 20 73 65 63 21 20 73 65 63 20 63 65 6c 6c ec sec! sec cell
09a0: 20 72 3e 20 24 2b 21 20 3b 0a 0a 3a 20 73 65 63 r> $+! ;..: sec
09b0: 5b 5d 40 20 28 20 69 20 61 64 64 72 20 2d 2d 20 []@ ( i addr --
09c0: 61 64 64 72 20 75 20 29 20 20 24 5b 5d 20 73 65 addr u ) $[] se
09d0: 63 40 20 3b 0a 0a 3a 20 73 65 63 5b 5d 66 72 65 c@ ;..: sec[]fre
09e0: 65 20 28 20 61 64 64 72 20 2d 2d 20 29 20 3e 72 e ( addr -- ) >r
09f0: 0a 20 20 20 20 72 40 20 24 40 20 62 6f 75 6e 64 . r@ $@ bound
0a00: 73 20 3f 44 4f 0a 09 49 20 73 65 63 2d 66 72 65 s ?DO..I sec-fre
0a10: 65 0a 20 20 20 20 63 65 6c 6c 20 2b 4c 4f 4f 50 e. cell +LOOP
0a20: 0a 20 20 20 20 72 3e 20 24 66 72 65 65 20 3b 0a . r> $free ;.
0a30: 0a 73 74 6f 72 61 67 65 20 63 6c 61 73 73 20 65 .storage class e
0a40: 6e 64 2d 63 6c 61 73 73 20 63 72 79 70 74 6f 2d nd-class crypto-
0a50: 61 6c 6c 6f 63 0a 0a 3a 6e 6f 6e 61 6d 65 20 20 alloc..:noname
0a60: 28 20 6c 65 6e 20 2d 2d 20 61 64 64 72 20 29 0a ( len -- addr ).
0a70: 20 20 20 20 5b 20 63 72 79 70 74 2d 61 6c 69 67 [ crypt-alig
0a80: 6e 20 63 65 6c 6c 2d 20 63 72 79 70 74 2d 61 6c n cell- crypt-al
0a90: 69 67 6e 20 31 2d 20 2b 20 5d 4c 20 2b 0a 20 20 ign 1- + ]L +.
0aa0: 20 20 5b 20 63 72 79 70 74 2d 61 6c 69 67 6e 20 [ crypt-align
0ab0: 6e 65 67 61 74 65 20 5d 4c 20 61 6e 64 20 6b 61 negate ]L and ka
0ac0: 6c 6c 6f 63 20 5b 20 63 72 79 70 74 2d 61 6c 69 lloc [ crypt-ali
0ad0: 67 6e 20 63 65 6c 6c 2d 20 5d 4c 20 2b 0a 3b 20 gn cell- ]L +.;
0ae0: 63 72 79 70 74 6f 2d 61 6c 6c 6f 63 20 74 6f 20 crypto-alloc to
0af0: 3a 61 6c 6c 6f 63 61 74 65 0a 27 20 64 72 6f 70 :allocate.' drop
0b00: 20 63 72 79 70 74 6f 2d 61 6c 6c 6f 63 20 74 6f crypto-alloc to
0b10: 20 3a 66 72 65 65 0a 5c 20 77 65 20 6e 65 76 65 :free.\ we neve
0b20: 72 20 66 72 65 65 20 74 68 65 73 65 20 63 6c 61 r free these cla
0b30: 73 73 65 73 2c 20 74 68 65 79 20 61 72 65 20 70 sses, they are p
0b40: 65 72 2d 74 61 73 6b 20 74 65 6d 70 6f 72 61 72 er-task temporar
0b50: 79 20 73 74 6f 72 61 67 65 73 0a 0a 63 72 79 70 y storages..cryp
0b60: 74 6f 2d 61 6c 6c 6f 63 20 27 20 6e 65 77 20 73 to-alloc ' new s
0b70: 74 61 74 69 63 2d 61 20 77 69 74 68 2d 61 6c 6c tatic-a with-all
0b80: 6f 63 61 74 65 72 20 43 6f 6e 73 74 61 6e 74 20 ocater Constant
0b90: 63 72 79 70 74 6f 2d 61 0a crypto-a.