Diff for /parser3/src/include/pa_hash.h between versions 1.2 and 1.64

version 1.2, 2001/01/27 12:04:53 version 1.64, 2005/07/27 06:15:34
Line 1 Line 1
 /*  /** @file
   $Id$          Parser: hash class decl.
 */  
   
 /*          Copyright (c) 2001-2004 ArtLebedev Group (http://www.artlebedev.com)
   
           Author: Alexandr Petrosian <paf@design.ru> (http://paf.design.ru)
   */
   
   /*
           The prime numbers used from zend_hash.c,
           the part of Zend scripting engine library,
           Copyrighted (C) 1999-2000    Zend Technologies Ltd.
           http://www.zend.com/license/0_92.txt
           For more information about Zend please visit http://www.zend.com/
 */  */
   
 #ifndef PA_HASH_H  #ifndef PA_HASH_H
 #define PA_HASH_H  #define PA_HASH_H
   
 #include <stddef.h>  static const char * const IDENT_HASH_H="$Date$";
   
   #include "pa_memory.h"
 #include "pa_types.h"  #include "pa_types.h"
 #include "pa_string.h"  
   
 class Pool;  const int HASH_ALLOCATES_COUNT=29;
   
 typedef String Key;  /** Zend comment: Generated on an Octa-ALPHA 300MHz CPU & 2.5GB RAM monster 
 typedef void Value;  
   
 class Hash {          paf: HPUX ld could not handle static member: unsatisfied symbols
   */
   static uint Hash_allocates[HASH_ALLOCATES_COUNT]={
           5, 11, 19, 53, 107, 223, 463, 983, 1979, 3907, 7963, 
           16229, 32531, 65407, 130987, 262237, 524521, 1048793, 
           2097397, 4194103, 8388857, 16777447, 33554201, 67108961, 
           134217487, 268435697, 536870683, 1073741621, 2147483399};
   
   /** 
           Simple hash.
   
           Automatically rehashed when almost is_full.
           Contains no 0 values. 
                   get returning 0 means there were no such.
                   "put value 0" means "remove"
   */
   template<typename K, typename V> class Hash: public PA_Object {
 public:  public:
   
           typedef K key_type;
           typedef V value_type;
   
           Hash() { 
                   allocated=Hash_allocates[allocates_index=0];
                   threshold=allocated*THRESHOLD_PERCENT/100;
                   fpairs_count=fused_refs=0;
                   refs=new(UseGC) Pair*[allocated];
           }
   
           Hash(const Hash& source) {
                   allocates_index=source.allocates_index;
                   allocated=source.allocated;
                   threshold=source.threshold;
                   fused_refs=source.fused_refs;
                   fpairs_count=source.fpairs_count;
                   refs=new(UseGC) Pair*[allocated];
   
                   // clone & rehash
                   Pair **old_ref=source.refs;
                   for(int index=0; index<allocated; index++)
                           for(Pair *pair=*old_ref++; pair; ) {
                                   Pair *next=pair->link;
   
                                   Pair **new_ref=&refs[index];
                                   *new_ref=new Pair(pair->code, pair->key, pair->value, *new_ref);
   
                                   pair=next;
                           }
           }
   
           /// put a [value] under the [key] @returns existed or not
           bool put(K key, V value) {
                   if(!value) {
                           remove(key);
                           return false;
                   }
                   if(is_full()) 
                           expand();
   
                   uint code=hash_code(key);
                   uint index=code%allocated;
                   Pair **ref=&refs[index];
                   for(Pair *pair=*ref; pair; pair=pair->link)
                           if(pair->code==code && pair->key==key) {
                                   // found a pair with the same key
                                   pair->value=value;
                                   return true;
                           }
                   
                   // proper pair not found -- create&link_in new pair
                   if(!*ref) // root cell were fused_refs?
                           fused_refs++; // not, we'll use it and record the fact
                   *ref=new Pair(code, key, value, *ref);
                   fpairs_count++;
                   return false;
           }
   
           /// put a [value] under the [key] @returns existed or not
           template<typename R, typename F> R maybe_put(K key, V value, F prevent) {
                   assert(value);
   
                   if(is_full()) 
                           expand();
   
                   uint code=hash_code(key);
                   uint index=code%allocated;
                   Pair **ref=&refs[index];
                   for(Pair *pair=*ref; pair; pair=pair->link)
                           if(pair->code==code && pair->key==key) {
                                   // found a pair with the same key
   
                                   // prevent-function intercepted put?
                                   if(R result=prevent(pair->value))
                                           return result;
                                   
                                   pair->value=value;
                                   return reinterpret_cast<R>(1);
                           }
                   
                   // proper pair not found -- create&link_in new pair
                   if(!*ref) // root cell were fused_refs?
                           fused_refs++; // not, we'll use it and record the fact
                   *ref=new Pair(code, key, value, *ref);
                   fpairs_count++;
                   return 0;
           }
   
           /// remove the [key] @returns existed or not
           bool remove(K key) {
                   uint code=hash_code(key);
                   uint index=code%allocated;
                   for(Pair **ref=&refs[index]; *ref; ref=&(*ref)->link)
                           if((*ref)->code==code && (*ref)->key==key) {
                                   // found a pair with the same key
                                   Pair *next=(*ref)->link;
                                   delete *ref;
                                   *ref=next;
                                   --fpairs_count;
                                   return true;
                           }
   
                   return false;
           }
   
           /// get associated [value] by the [key]
           V get(K key) const {
                   uint code=hash_code(key);
                   uint index=code%allocated;
                   for(Pair *pair=refs[index]; pair; pair=pair->link)
                           if(pair->code==code && pair->key==key)
                                   return pair->value;
                   
                   return V(0);
           }
   
           /// put a [value] under the [key] if that [key] existed @returns existed or not
           bool put_replaced(K key, V value) {
                   if(!value) {
                           remove(key);
                           return false;
                   }
                   uint code=hash_code(key);
                   uint index=code%allocated;
                   for(Pair *pair=refs[index]; pair; pair=pair->link)
                           if(pair->code==code && pair->key==key) {
                                   // found a pair with the same key, replacing
                                   pair->value=value;
                                   return true;
                           }
   
                   // proper pair not found 
                   return false;
           }
   
           /// put a [value] under the [key] if that [key] existed @returns existed or not
           template<typename R, typename F> R maybe_put_replaced(K key, V value, F prevent) {
                   assert(value);
   
                   uint code=hash_code(key);
                   uint index=code%allocated;
                   for(Pair *pair=refs[index]; pair; pair=pair->link)
                           if(pair->code==code && pair->key==key) {
                                   // found a pair with the same key, replacing
   
                                   // prevent-function intercepted put?
                                   if(R result=prevent(pair->value))
                                           return result;
                                   
                                   pair->value=value;
                                   return reinterpret_cast<R>(1);
                           }
   
                   // proper pair not found 
                   return 0;
           }
   
           /// put a [value] under the [key] if that [key] NOT existed @returns existed or not
           bool put_dont_replace(K key, V value) {
                   if(!value) {
                           remove(key);
                           return false;
                   }
                   if(is_full()) 
                           expand();
   
                   uint code=hash_code(key);
                   uint index=code%allocated;
                   Pair **ref=&refs[index];
                   for(Pair *pair=*ref; pair; pair=pair->link)
                           if(pair->code==code && pair->key==key) {
                                   // found a pair with the same key, NOT replacing
                                   return true;
                           }
   
                   // proper pair not found -- create&link_in new pair
                   if(!*ref) // root cell were fused_refs?
                           fused_refs++; // not, we'll use it and record the fact
                   *ref=new Pair(code, key, value, *ref);
                   fpairs_count++;
                   return false;
           }
   
           /** put all 'src' values if NO with same key existed
                   @todo optimize this.allocated==src.allocated case
           */
           void merge_dont_replace(const Hash& src) {
                   for(int i=0; i<src.allocated; i++)
                           for(Pair *pair=src.refs[i]; pair; pair=pair->link)
                                   put_dont_replace(pair->key, pair->value);
           }
   
           /// number of elements in hash
           int count() const { return fpairs_count; }
   
           /// iterate over all pairs
           template<typename I> void for_each(void callback(K, V, I), I info) const {
                   Pair **ref=refs;
                   for(int index=0; index<allocated; index++)
                           for(Pair *pair=*ref++; pair; pair=pair->link)
                                   callback(pair->key, pair->value, info);
           }
   
           /// iterate over all pairs
           template<typename I> void for_each_ref(void callback(K, V&, I), I info) const {
                   Pair **ref=refs;
                   for(int index=0; index<allocated; index++)
                           for(Pair *pair=*ref++; pair; pair=pair->link)
                                   callback(pair->key, pair->value, info);
           }
   
           /// iterate over all pairs until condition becomes true, return that element
           template<typename I> V first_that(bool callback(K, V, I), I info) const {
                   Pair **ref=refs;
                   for(int index=0; index<allocated; index++)
                           for(Pair *pair=*ref++; pair; pair=pair->link)
                                   if(callback(pair->key, pair->value, info))
                                           return pair->value;
                   
                   return V(0);
           }
   
           /// remove all elements
           void clear() {
                   memset(refs, 0, sizeof(*refs)*allocated);
                   fpairs_count=fused_refs=0;      
           }
   
 private:  private:
         friend Pool;  
   
         // expand when there would be used this %% of size          /// expand when these %% of allocated exausted
         enum {          enum {
                 THRESHOLD_PERCENT=75                  THRESHOLD_PERCENT=75
         };          };
   
         // the pool I'm allocated on          /// the index of [allocated] in [Hash_allocates]
         Pool *pool;          int allocates_index;
   
         // the index of size in sizes          /// number of allocated pairs
         int size_index;          int allocated;
   
         // possible sizes. prime numbers          /// helper: expanding when fused_refs == threshold
         static uint sizes[];  
         static int sizes_count;  
   
         // number of allocated pairs  
         int size;  
   
         // helper: expanding when used == threshold  
         int threshold;          int threshold;
   
         // used pairs          /// used pairs
         int used;          int fused_refs;
   
         // main storage          /// stored pairs total (including those by links)
         class Pair {          int fpairs_count;
                 friend Hash;  
   
           /// pair storage
           class Pair: public PA_Allocated {
           public:
                 uint code;                  uint code;
                 Key key;                  K key;
                 Value *value;                  V value;
                 Pair *link;                  Pair *link;
                                   
                 void *operator new(size_t size, Pool *apool);                  Pair(uint acode, K akey, V avalue, Pair *alink) :
   
                 Pair(uint acode, Key& akey, Value *avalue, Pair *alink) :  
                         code(acode),                          code(acode),
                         key(akey),                          key(akey),
                         value(avalue),                          value(avalue),
                         link(alink) {}                          link(alink) {}
         } **refs;          } **refs;
   
         // new&constructors made private to enforce factory manufacturing at pool          /// filled to threshold: needs expanding
         void *operator new(size_t size, Pool *apool);          bool is_full() { return fused_refs==threshold; }
   
           /// allocate larger buffer & rehash
           void expand() {
                   int old_allocated=allocated;
                   Pair **old_refs=refs;
   
                   allocates_index=allocates_index+1<HASH_ALLOCATES_COUNT?allocates_index+1:HASH_ALLOCATES_COUNT-1;
                   // allocated bigger refs array
                   allocated=Hash_allocates[allocates_index];
                   threshold=allocated*THRESHOLD_PERCENT/100;
                   refs=new(UseGC) Pair*[allocated];
   
                   // rehash
                   Pair **old_ref=old_refs;
                   for(int old_index=0; old_index<old_allocated; old_index++)
                           for(Pair *pair=*old_ref++; pair; ) {
                                   Pair *next=pair->link;
   
                                   uint new_index=pair->code%allocated;
                                   Pair **new_ref=&refs[new_index];
                                   pair->link=*new_ref;
                                   *new_ref=pair;
   
         Hash(Pool *apool);                                  pair=next;
                           }
   
         bool full() {                  delete[] old_refs;
                 return used==threshold;  
         }          }
         void expand();  
   
 public:  private: //disabled
   
           Hash& operator = (const Hash&) { return *this; }
   };
   
         static uint generic_code(uint aresult, char *start, uint size);  /// useful generic hash function
         void put(Key& key, Value *value);  inline void generic_hash_code(uint& result, char c) {
         Value* get(Key& key);          result=(result<<4)+c;
           if(uint g=(result&0xF0000000)) {
                   result=result^(g>>24);
                   result=result^g;
           }
   }
   /// useful generic hash function
   inline void generic_hash_code(uint& result, const char* s) {
           while(char c=*s++) {
                   result=(result<<4)+c;
                   if(uint g=(result&0xF0000000)) {
                           result=result^(g>>24);
                           result=result^g;
                   }
           }
   }
   
   /// useful generic hash function
   inline void generic_hash_code(uint& result, const char* buf, size_t size) {
           const char* end=buf+size;
           while(buf<end) {
                   result=(result<<4)+*buf++;
                   if(uint g=(result&0xF0000000)) {
                           result=result^(g>>24);
                           result=result^g;
                   }
           }
   }
   
   /// simple hash code of int. used by EXIF mapping
   inline uint hash_code(int self) {
           uint result=0;
           generic_hash_code(result, (const char*)&self, sizeof(self));
           return result;
   }
   
   ///     Auto-object used to temporarily substituting/removing hash values
   template <typename K, typename V>
   class Temp_hash_value {
           Hash<K, V>& fhash;
           K fname;
           V saved_value;
   public:
           Temp_hash_value(Hash<K, V>& ahash, K aname, V avalue) : 
                   fhash(ahash),
                   fname(aname),
                   saved_value(ahash.get(aname)) {
                   fhash.put(aname, avalue);
           }
           ~Temp_hash_value() { 
                   fhash.put(fname, saved_value);
           }
 };  };
   
 #endif  #endif

Removed from v.1.2  
changed lines
  Added in v.1.64


E-mail: