Artifact a09f9574e839baa03acad5936fb110c976b196bb:
- File kregion.fs — part of check-in [56ac3d1f48] at 2014-06-12 00:06:23 on branch trunk — locked memory for secrets (user: bernd size: 2022)
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 33 32 27 20 5c 20 able kfree32' \ 0320: 66 72 65 65 20 6c 69 73 74 20 66 6f 72 20 33 32 free list for 32 0330: 20 62 79 74 65 73 20 6b 65 79 73 0a 56 61 72 69 bytes keys.Vari 0340: 61 62 6c 65 20 6b 66 72 65 65 36 34 27 20 5c 20 able kfree64' \ 0350: 66 72 65 65 20 6c 69 73 74 20 66 6f 72 20 36 34 free list for 64 0360: 20 62 79 74 65 73 20 6b 65 79 73 0a 0a 24 34 30 bytes keys..$40 0370: 30 30 20 43 6f 6e 73 74 61 6e 74 20 2f 6b 72 65 00 Constant /kre 0380: 67 69 6f 6e 0a 0a 3a 20 6b 61 6c 6c 6f 63 20 28 gion..: kalloc ( 0390: 20 6c 65 6e 20 2d 2d 20 61 64 64 72 20 29 20 3e len -- addr ) > 03a0: 72 0a 20 20 20 20 5c 47 20 61 6c 6c 6f 63 61 74 r. \G allocat 03b0: 65 20 61 20 6c 65 6e 20 62 79 74 65 20 62 6c 6f e a len byte blo 03c0: 63 6b 20 6f 66 20 6e 6f 6e 2d 73 77 61 70 70 61 ck of non-swappa 03d0: 62 6c 65 20 73 74 75 66 66 0a 20 20 20 20 72 40 ble stuff. r@ 03e0: 20 2f 6b 72 65 67 69 6f 6e 20 75 3e 20 21 21 6b /kregion u> !!k 03f0: 72 2d 73 69 7a 65 21 21 0a 20 20 20 20 6b 72 65 r-size!!. kre 0400: 67 69 6f 6e 20 32 40 20 64 75 70 20 72 40 20 75 gion 2@ dup r@ u 0410: 3c 20 49 46 0a 09 32 64 72 6f 70 20 2f 6b 72 65 < IF..2drop /kre 0420: 67 69 6f 6e 20 61 6c 6c 6f 63 2b 6c 6f 63 6b 20 gion alloc+lock 0430: 2f 6b 72 65 67 69 6f 6e 20 32 64 75 70 20 6b 72 /kregion 2dup kr 0440: 65 67 69 6f 6e 20 32 21 20 20 54 48 45 4e 0a 20 egion 2! THEN. 0450: 20 20 20 6f 76 65 72 20 73 77 61 70 20 72 3e 20 over swap r> 0460: 73 61 66 65 2f 73 74 72 69 6e 67 20 6b 72 65 67 safe/string kreg 0470: 69 6f 6e 20 32 21 20 3b 0a 0a 3a 20 6b 61 6c 6c ion 2! ;..: kall 0480: 6f 63 33 32 20 28 20 2d 2d 20 61 64 64 72 20 29 oc32 ( -- addr ) 0490: 0a 20 20 20 20 6b 66 72 65 65 33 32 27 20 40 20 . kfree32' @ 04a0: 3f 64 75 70 2d 69 66 20 20 64 75 70 20 40 20 6b ?dup-if dup @ k 04b0: 66 72 65 65 33 32 27 20 21 20 64 75 70 20 6f 66 free32' ! dup of 04c0: 66 20 20 65 78 69 74 20 20 74 68 65 6e 0a 20 20 f exit then. 04d0: 20 20 33 32 20 6b 61 6c 6c 6f 63 20 3b 0a 3a 20 32 kalloc ;.: 04e0: 6b 66 72 65 65 33 32 20 28 20 61 64 64 72 20 2d kfree32 ( addr - 04f0: 2d 20 29 0a 20 20 20 20 64 75 70 20 33 32 20 65 - ). dup 32 e 0500: 72 61 73 65 20 6b 66 72 65 65 33 32 27 20 40 20 rase kfree32' @ 0510: 6f 76 65 72 20 21 20 6b 66 72 65 65 33 32 27 20 over ! kfree32' 0520: 21 20 3b 0a 0a 3a 20 6b 61 6c 6c 6f 63 36 34 20 ! ;..: kalloc64 0530: 28 20 2d 2d 20 61 64 64 72 20 29 0a 20 20 20 20 ( -- addr ). 0540: 6b 66 72 65 65 36 34 27 20 40 20 3f 64 75 70 2d kfree64' @ ?dup- 0550: 69 66 20 20 64 75 70 20 40 20 6b 66 72 65 65 36 if dup @ kfree6 0560: 34 27 20 21 20 64 75 70 20 6f 66 66 20 20 65 78 4' ! dup off ex 0570: 69 74 20 20 74 68 65 6e 0a 20 20 20 20 36 34 20 it then. 64 0580: 6b 61 6c 6c 6f 63 20 3b 0a 3a 20 6b 66 72 65 65 kalloc ;.: kfree 0590: 36 34 20 28 20 61 64 64 72 20 2d 2d 20 29 0a 20 64 ( addr -- ). 05a0: 20 20 20 64 75 70 20 36 34 20 65 72 61 73 65 20 dup 64 erase 05b0: 6b 66 72 65 65 36 34 27 20 40 20 6f 76 65 72 20 kfree64' @ over 05c0: 21 20 6b 66 72 65 65 36 34 27 20 21 20 3b 0a 0a ! kfree64' ! ;.. 05d0: 3a 20 6b 61 6c 6c 6f 63 33 32 3f 20 28 20 61 64 : kalloc32? ( ad 05e0: 64 72 20 2d 2d 20 61 64 64 72 27 20 29 0a 20 20 dr -- addr' ). 05f0: 20 20 64 75 70 20 40 20 49 46 20 20 40 20 20 45 dup @ IF @ E 0600: 58 49 54 20 20 54 48 45 4e 20 20 64 72 6f 70 20 XIT THEN drop 0610: 6b 61 6c 6c 6f 63 33 32 20 3b 0a 3a 20 6b 61 6c kalloc32 ;.: kal 0620: 6c 6f 63 36 34 3f 20 28 20 61 64 64 72 20 2d 2d loc64? ( addr -- 0630: 20 61 64 64 72 27 20 29 0a 20 20 20 20 64 75 70 addr' ). dup 0640: 20 40 20 49 46 20 20 40 20 20 45 58 49 54 20 20 @ IF @ EXIT 0650: 54 48 45 4e 20 20 64 72 6f 70 20 6b 61 6c 6c 6f THEN drop kallo 0660: 63 36 34 20 3b 0a 0a 3a 20 73 65 63 21 20 28 20 c64 ;..: sec! ( 0670: 61 64 64 72 31 20 75 31 20 61 64 64 72 32 20 2d addr1 u1 addr2 - 0680: 2d 20 29 0a 20 20 20 20 3e 72 20 63 61 73 65 0a - ). >r case. 0690: 09 33 32 20 6f 66 20 20 72 40 20 6b 61 6c 6c 6f .32 of r@ kallo 06a0: 63 33 32 3f 20 64 75 70 20 72 40 20 21 20 33 32 c32? dup r@ ! 32 06b0: 20 6d 6f 76 65 20 65 6e 64 6f 66 0a 09 36 34 20 move endof..64 06c0: 6f 66 20 20 72 40 20 6b 61 6c 6c 6f 63 36 34 3f of r@ kalloc64? 06d0: 20 64 75 70 20 72 40 20 21 20 36 34 20 6d 6f 76 dup r@ ! 64 mov 06e0: 65 20 65 6e 64 6f 66 0a 20 20 20 20 6e 69 70 20 e endof. nip 06f0: 65 6e 64 63 61 73 65 20 72 64 72 6f 70 20 3b 0a endcase rdrop ;. 0700: 0a 73 74 6f 72 61 67 65 20 63 6c 61 73 73 20 65 .storage class e 0710: 6e 64 2d 63 6c 61 73 73 20 63 72 79 70 74 6f 2d nd-class crypto- 0720: 61 6c 6c 6f 63 0a 0a 3a 6e 6f 6e 61 6d 65 20 20 alloc..:noname 0730: 28 20 6c 65 6e 20 2d 2d 20 61 64 64 72 20 29 20 ( len -- addr ) 0740: 20 6b 61 6c 6c 6f 63 20 3b 20 63 72 79 70 74 6f kalloc ; crypto 0750: 2d 61 6c 6c 6f 63 20 74 6f 20 3a 61 6c 6c 6f 63 -alloc to :alloc 0760: 61 74 65 0a 5c 20 77 65 20 6e 65 76 65 72 20 66 ate.\ we never f 0770: 72 65 65 20 74 68 65 73 65 20 63 6c 61 73 73 65 ree these classe 0780: 73 2c 20 74 68 65 79 20 61 72 65 20 70 65 72 2d s, they are per- 0790: 74 61 73 6b 20 74 65 6d 70 6f 72 61 72 79 20 73 task temporary s 07a0: 74 6f 72 61 67 65 73 0a 0a 63 72 79 70 74 6f 2d torages..crypto- 07b0: 61 6c 6c 6f 63 20 27 20 6e 65 77 20 73 74 61 74 alloc ' new stat 07c0: 69 63 2d 61 20 77 69 74 68 2d 61 6c 6c 6f 63 61 ic-a with-alloca 07d0: 74 65 72 20 43 6f 6e 73 74 61 6e 74 20 63 72 79 ter Constant cry 07e0: 70 74 6f 2d 61 0a pto-a.