|
|
| 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 |