Diff for /gforth/hash.fs between versions 1.16 and 1.18

version 1.16, 1996/10/20 20:35:24 version 1.18, 1997/07/06 15:55:24
Line 18 Line 18
 \ along with this program; if not, write to the Free Software  \ along with this program; if not, write to the Free Software
 \ Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.  \ Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
   
   [IFUNDEF] e? : e? name 2drop false ; [THEN]
   
   e? ec
   [IF]
   : reserve-mem here swap allot ;
   \ ToDo: check memory space with unused
   \ move to a kernel/memory.fs
   [ELSE]
   : reserve-mem allocate throw ;
   [THEN]
   
   [IFUNDEF] hashbits
 11 value hashbits  11 value hashbits
   [THEN]
 1 hashbits lshift Value Hashlen  1 hashbits lshift Value Hashlen
   
   \ compute hash key                                     15jul94py
   
   [IFUNDEF] hash
   : hash ( addr len -- key )
       hashbits (hashkey1) ;
   [THEN]
   
 Variable insRule        insRule on  Variable insRule        insRule on
 Variable revealed  Variable revealed
   
Line 30  Variable HashPointer Line 50  Variable HashPointer
 Variable HashIndex  Variable HashIndex
 0 Value HashTable  0 Value HashTable
   
   \ forward declarations
   0 Value hashsearch-map
   Defer hash-alloc
   
 \ DelFix and NewFix are from bigFORTH                  15jul94py  \ DelFix and NewFix are from bigFORTH                  15jul94py
   
 : DelFix ( addr root -- ) dup @ 2 pick ! ! ;  : DelFix ( addr root -- ) dup @ 2 pick ! ! ;
 : NewFix  ( root len # -- addr )  : NewFix  ( root len # -- addr )
   BEGIN  2 pick @ ?dup  0= WHILE  2dup * allocate throw    BEGIN  2 pick @ ?dup  0= WHILE  2dup * reserve-mem
          over 0 ?DO  dup 4 pick DelFix 2 pick +  LOOP  drop           over 0 ?DO  dup 4 pick DelFix 2 pick +  LOOP  drop
   REPEAT  >r drop r@ @ rot ! r@ swap erase r> ;    REPEAT  >r drop r@ @ rot ! r@ swap erase r> ;
   
 \ compute hash key                                     15jul94py  
   
 : hash ( addr len -- key )  
     hashbits (hashkey1) ;  
 \   (hashkey)  
 \   Hashlen 1- and ;  
   
 : bucket ( addr len wordlist -- bucket-addr )  : bucket ( addr len wordlist -- bucket-addr )
     \ @var{bucket-addr} is the address of a cell that points to the first      \ @var{bucket-addr} is the address of a cell that points to the first
     \ element in the list of the bucket for the string @var{addr len}      \ element in the list of the bucket for the string @var{addr len}
Line 60  Variable HashIndex Line 77  Variable HashIndex
   BEGIN  dup @ dup  WHILE  nip  REPEAT  drop ! ;    BEGIN  dup @ dup  WHILE  nip  REPEAT  drop ! ;
   
 : (reveal ( nfa wid -- )  : (reveal ( nfa wid -- )
     dup wordlist-extend @ 0<  
     IF  
         2drop EXIT  
     THEN  
     over name>string rot bucket >r      over name>string rot bucket >r
     HashPointer 2 Cells $400 NewFix      HashPointer 2 Cells $400 NewFix
     tuck cell+ ! r> insRule @      tuck cell+ ! r> insRule @
Line 77  Variable HashIndex Line 90  Variable HashIndex
 : hash-reveal ( nfa wid -- )  : hash-reveal ( nfa wid -- )
     2dup (reveal) (reveal ;      2dup (reveal) (reveal ;
   
   : inithash ( wid -- )
       wordlist-extend
       insRule @ >r  insRule off  hash-alloc 3 cells - dup
       BEGIN  @ dup  WHILE  2dup swap (reveal  REPEAT
       2drop  r> insRule ! ;
   
 : addall  ( -- )  : addall  ( -- )
     voclink      voclink
     BEGIN  @ dup @  WHILE  dup 'initvoc  REPEAT  drop ;      BEGIN  @ dup WHILE
              dup 0 wordlist-link -
              dup wordlist-map @ hashsearch-map = 
              IF  inithash ELSE drop THEN
       REPEAT  drop ;
   
 : clearhash  ( -- )  : clearhash  ( -- )
     HashTable Hashlen cells bounds      HashTable Hashlen cells bounds
Line 87  Variable HashIndex Line 110  Variable HashIndex
         BEGIN  dup  WHILE          BEGIN  dup  WHILE
                dup @ swap HashPointer DelFix                 dup @ swap HashPointer DelFix
         REPEAT  I !          REPEAT  I !
     cell +LOOP  HashIndex off ;      cell +LOOP  HashIndex off 
       voclink
 : re-hash  clearhash addall ;      BEGIN @ dup WHILE
 : (rehash) ( addr -- )            dup 0 wordlist-link -
   drop revealed @ IF  re-hash revealed off  THEN ;            dup wordlist-map @ hashsearch-map = 
             IF 0 swap wordlist-extend ! ELSE drop THEN
       REPEAT drop ;
   
   : rehashall  ( wid -- ) 
     drop revealed @ 
     IF    clearhash addall revealed off 
     THEN ;
   
 Create hashsearch-map ( -- wordlist-map )  : (rehash)   ( wid -- )
     ' hash-find A, ' hash-reveal A, ' (rehash) A,    dup wordlist-extend @ 0=
     IF   inithash
     ELSE rehashall THEN ;
   
   \ >rom ?!
   align here    ' hash-find A, ' hash-reveal A, ' (rehash) A, ' (rehash) A,
   to hashsearch-map
   
 \ hash allocate and vocabulary initialization          10oct94py  \ hash allocate and vocabulary initialization          10oct94py
   
 : hash-alloc ( addr -- addr )  HashTable 0= IF  :noname ( hash-alloc ) ( addr -- addr )  
   Hashlen cells allocate throw TO HashTable    HashTable 0= 
   HashTable Hashlen cells erase THEN    IF  Hashlen cells reserve-mem TO HashTable
         HashTable Hashlen cells erase THEN
   HashIndex @ over !  1 HashIndex +!    HashIndex @ over !  1 HashIndex +!
   HashIndex @ Hashlen >=    HashIndex @ Hashlen >=
   IF  clearhash    [ e? ec [IF] ]
     ABORT" no more space in hashtable"
     [ [ELSE] ]
     IF  HashTable >r clearhash
       1 hashbits 1+ dup  to hashbits  lshift  to hashlen        1 hashbits 1+ dup  to hashbits  lshift  to hashlen
       HashTable free        r> free >r  0 to HashTable
       addall        addall r> throw
   THEN ;    THEN 
     [ [THEN] ] ; is hash-alloc
 : (initvoc) ( addr -- )  
     cell+ dup @  0< IF  drop EXIT  THEN  
     dup 2 cells - @ hashsearch-map <> IF  drop EXIT  THEN  
     insRule @ >r  insRule off  hash-alloc 3 cells - dup  
     BEGIN  @ dup  WHILE  2dup swap (reveal  REPEAT  
     2drop  r> insRule ! ;  
   
 ' (initvoc) IS 'initvoc  
   
 \ Hash-Find                                            01jan93py  \ Hash-Find                                            01jan93py
   e? cross 0= 
   [IF]
 : make-hash  : make-hash
   Root   hashsearch-map context @ cell+ !    hashsearch-map forth-wordlist cell+ !
   Forth  hashsearch-map context @ cell+ !    addall ;
   addall          \ Baum aufbauen    make-hash \ Baumsuche ist installiert.
 ;  [ELSE]
     hashsearch-map forth-wordlist cell+ !
   [THEN]
   
 make-hash  \ Baumsuche ist installiert.  \ for ec version display that vocabulary goes hashed
   
 : hash-cold  ( -- ) Defers 'cold  : hash-cold  ( -- )
   [ e? ec [IF] ] ." Hashing..." [ [THEN] ]
   HashPointer off  0 TO HashTable  HashIndex off    HashPointer off  0 TO HashTable  HashIndex off
   voclink    addall
   BEGIN  @ dup @  WHILE  \  voclink
          dup cell - @ >r  \  BEGIN  @ dup WHILE
          dup 'initvoc  \         dup 0 wordlist-link - initvoc
          r> over cell - !  \  REPEAT  drop 
   REPEAT  drop ;  [ e? ec [IF] ] ." Done" cr [ [THEN] ] ;
 ' hash-cold ' 'cold >body !  
   ' hash-cold INIT8 chained
   
 : .words  ( -- )  : .words  ( -- )
   base @ >r hex HashTable  Hashlen 0    base @ >r hex HashTable  Hashlen 0
   DO  cr  i 2 .r ." : " dup i cells +    DO  cr  i 2 .r ." : " dup i cells +
       BEGIN  @ dup  WHILE        BEGIN  @ dup  WHILE
              dup cell+ @ .name  REPEAT  drop               dup cell+ @ head>string type space  REPEAT  drop
   LOOP  drop r> base ! ;    LOOP  drop r> base ! ;
   
 \ \ this stuff is for evaluating the hash function  \ \ this stuff is for evaluating the hash function

Removed from v.1.16  
changed lines
  Added in v.1.18


FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>