PHP内核中的哈希表结构
https://github.com/HonestQiao/tipi/commit/17ca680289e490763a6a402f79afa2a13802bb36
下載:https://github.com/HonestQiao/tipi/tree/master/book/sample/chapt03
原文地址:http://www.nowamagic.net/librarys/veda/detail/1344
PHP中使用最為頻繁的數(shù)據(jù)類型非字符串和數(shù)組莫屬,PHP比較容易上手也得益于非常靈活的數(shù)組類型。 在開始詳細(xì)介紹這些數(shù)據(jù)類型之前有必要介紹一下哈希表(HashTable)。 哈希表是PHP實(shí)現(xiàn)中尤為關(guān)鍵的數(shù)據(jù)結(jié)構(gòu)。
哈希表在實(shí)踐中使用的非常廣泛,例如編譯器通常會(huì)維護(hù)的一個(gè)符號(hào)表來保存標(biāo)記,很多高級(jí)語言中也顯式的支持哈希表。 哈希表通常提供查找(Search),插入(Insert),刪除(Delete)等操作,這些操作在最壞的情況下和鏈表的性能一樣為O(n)。 不過通常并不會(huì)這么壞,合理設(shè)計(jì)的哈希算法能有效的避免這類情況,通常哈希表的這些操作時(shí)間復(fù)雜度為O(1)。 這也是它被鐘愛的原因。
正是因?yàn)楣1碓谑褂蒙系谋憷约靶噬系谋憩F(xiàn),目前大部分動(dòng)態(tài)語言的實(shí)現(xiàn)中都使用了哈希表。
為了方便讀者閱讀后面的內(nèi)容,這里提前列舉一下HashTable實(shí)現(xiàn)中出現(xiàn)的基本概念。 哈希表是一種通過哈希函數(shù),將特定的鍵映射到特定值的一種數(shù)據(jù)結(jié)構(gòu),它維護(hù)鍵和值之間一一對(duì)應(yīng)關(guān)系。
- 鍵(key):用于操作數(shù)據(jù)的標(biāo)示,例如PHP數(shù)組中的索引,或者字符串鍵等等。
- 槽(slot/bucket):哈希表中用于保存數(shù)據(jù)的一個(gè)單元,也就是數(shù)據(jù)真正存放的容器。
- 哈希函數(shù)(hash function):將key映射(map)到數(shù)據(jù)應(yīng)該存放的slot所在位置的函數(shù)。
- 哈希沖突(hash collision):哈希函數(shù)將兩個(gè)不同的key映射到同一個(gè)索引的情況。
哈希表可以理解為數(shù)組的擴(kuò)展或者關(guān)聯(lián)數(shù)組,數(shù)組使用數(shù)字下標(biāo)來尋址,如果關(guān)鍵字(key)的范圍較小且是數(shù)字的話, 我們可以直接使用數(shù)組來完成哈希表,而如果關(guān)鍵字范圍太大,如果直接使用數(shù)組我們需要為所有可能的key申請(qǐng)空間。 很多情況下這是不現(xiàn)實(shí)的。即使空間足夠,空間利用率也會(huì)很低,這并不理想。同時(shí)鍵也可能并不是數(shù)字, 在PHP中尤為如此,所以人們使用一種映射函數(shù)(哈希函數(shù))來將key映射到特定的域中:
h(key) -> index
通過合理設(shè)計(jì)的哈希函數(shù),我們就能將key映射到合適的范圍,因?yàn)槲覀兊膋ey空間可以很大(例如字符串key), 在映射到一個(gè)較小的空間中時(shí)可能會(huì)出現(xiàn)兩個(gè)不同的key映射被到同一個(gè)index上的情況, 這就是我們所說的出現(xiàn)了沖突。 目前解決hash沖突的方法主要有兩種:鏈接法和開放尋址法。
沖突解決
鏈接法:鏈接法通過使用一個(gè)鏈表來保存slot值的方式來解決沖突,也就是當(dāng)不同的key映射到一個(gè)槽中的時(shí)候使用鏈表來保存這些值。 所以使用鏈接法是在最壞的情況下,也就是所有的key都映射到同一個(gè)槽中了,操作鏈表的時(shí)間復(fù)雜度為O(n)。 所以選擇一個(gè)合適的哈希函數(shù)是最為關(guān)鍵的。目前PHP中HashTable的實(shí)現(xiàn)就是采用這種方式來解決沖突的。
開放尋址法:通常還有另外一種解決沖突的方法:開放尋址法。使用開放尋址法是槽本身直接存放數(shù)據(jù), 在插入數(shù)據(jù)時(shí)如果key所映射到的索引已經(jīng)有數(shù)據(jù)了,這說明發(fā)生了沖突,這是會(huì)尋找下一個(gè)槽, 如果該槽也被占用了則繼續(xù)尋找下一個(gè)槽,直到尋找到?jīng)]有被占用的槽,在查找時(shí)也使用同樣的策律來進(jìn)行。
哈希表的實(shí)現(xiàn)
在了解到哈希表的原理之后要實(shí)現(xiàn)一個(gè)哈希表也很容易,主要需要完成的工作只有三點(diǎn):
- 實(shí)現(xiàn)哈希函數(shù)
- 沖突的解決
- 操作接口的實(shí)現(xiàn)
首先我們需要一個(gè)容器來保存我們的哈希表,哈希表需要保存的內(nèi)容主要是保存進(jìn)來的的數(shù)據(jù), 同時(shí)為了方便的得知哈希表中存儲(chǔ)的元素個(gè)數(shù),需要保存一個(gè)大小字段, 第二個(gè)需要的就是保存數(shù)據(jù)的容器了。作為實(shí)例,下面將實(shí)現(xiàn)一個(gè)簡易的哈希表。基本的數(shù)據(jù)結(jié)構(gòu)主要有兩個(gè), 一個(gè)用于保存哈希表本身,另外一個(gè)就是用于實(shí)際保存數(shù)據(jù)的單鏈表了,定義如下:
typedef struct _Bucket
{char *key;void *value;struct _Bucket *next;} Bucket;typedef struct _HashTable
{int size;Bucket* buckets;
} HashTable;
上面的定義和PHP中的實(shí)現(xiàn)類似,為了便于理解裁剪了大部分無關(guān)的細(xì)節(jié),在本節(jié)中為了簡化, key的數(shù)據(jù)類型為字符串,而存儲(chǔ)的數(shù)據(jù)類型可以為任意類型。
Bucket結(jié)構(gòu)體是一個(gè)單鏈表,這是為了解決多個(gè)key哈希沖突的問題,也就是前面所提到的的鏈接法。 當(dāng)多個(gè)key映射到同一個(gè)index的時(shí)候?qū)_突的元素鏈接起來。
哈希函數(shù)需要盡可能的將不同的key映射到不同的槽(slot或者bucket)中,首先我們采用一種最為簡單的哈希算法實(shí)現(xiàn): 將key字符串的所有字符加起來,然后以結(jié)果對(duì)哈希表的大小取模,這樣索引就能落在數(shù)組索引的范圍之內(nèi)了。
static int hash_str(char *key)
{int hash = 0;char *cur = key;while(*(cur++) != '\0') {hash += *cur;}return hash;
}// 使用這個(gè)宏來求得key在哈希表中的索引
#define HASH_INDEX(ht, key) (hash_str((key)) % (ht)->size)
這個(gè)哈希算法比較簡單,它的效果并不好,在實(shí)際場(chǎng)景下不會(huì)使用這種哈希算法, 例如PHP中使用的是稱為DJBX33A算法, 這里列舉了Mysql,OpenSSL等開源軟件使用的哈希算法, 有興趣的讀者可以前往參考。
操作接口的實(shí)現(xiàn)
為了操作哈希表,實(shí)現(xiàn)了如下幾個(gè)操作函數(shù):
int hash_init(HashTable *ht); // 初始化哈希表
int hash_lookup(HashTable *ht, char *key, void **result); // 根據(jù)key查找內(nèi)容
int hash_insert(HashTable *ht, char *key, void *value); // 將內(nèi)容插入到哈希表中
int hash_remove(HashTable *ht, char *key); // 刪除key所指向的內(nèi)容
int hash_destroy(HashTable *ht);
下面以插入和獲取操作函數(shù)為例:
int hash_insert(HashTable *ht, char *key, void *value)
{// check if we need to resize the hashtableresize_hash_table_if_needed(ht); // 哈希表不固定大小,當(dāng)插入的內(nèi)容快占滿哈表的存儲(chǔ)空間// 將對(duì)哈希表進(jìn)行擴(kuò)容, 以便容納所有的元素int index = HASH_INDEX(ht, key); // 找到key所映射到的索引Bucket *org_bucket = ht->buckets[index];Bucket *bucket = (Bucket *)malloc(sizeof(Bucket)); // 為新元素申請(qǐng)空間bucket->key = strdup(key);// 將值內(nèi)容保存進(jìn)來, 這里只是簡單的將指針指向要存儲(chǔ)的內(nèi)容,而沒有將內(nèi)容復(fù)制。bucket->value = value; LOG_MSG("Insert data p: %p\n", value);ht->elem_num += 1; // 記錄一下現(xiàn)在哈希表中的元素個(gè)數(shù)if(org_bucket != NULL) { // 發(fā)生了碰撞,將新元素放置在鏈表的頭部LOG_MSG("Index collision found with org hashtable: %p\n", org_bucket);bucket->next = org_bucket;}ht->buckets[index]= bucket;LOG_MSG("Element inserted at index %i, now we have: %i elements\n",index, ht->elem_num);return SUCCESS;
}
上面這個(gè)哈希表的插入操作比較簡單,簡單的以key做哈希,找到元素應(yīng)該存儲(chǔ)的位置,并檢查該位置是否已經(jīng)有了內(nèi)容, 如果發(fā)生碰撞則將新元素鏈接到原有元素鏈表頭部。在查找時(shí)也按照同樣的策略,找到元素所在的位置,如果存在元素, 則將該鏈表的所有元素的key和要查找的key依次對(duì)比, 直到找到一致的元素,否則說明該值沒有匹配的內(nèi)容。
int hash_lookup(HashTable *ht, char *key, void **result)
{int index = HASH_INDEX(ht, key);Bucket *bucket = ht->buckets[index];if(bucket == NULL) return FAILED;// 查找這個(gè)鏈表以便找到正確的元素,通常這個(gè)鏈表應(yīng)該是只有一個(gè)元素的,也就不用多次// 循環(huán)。要保證這一點(diǎn)需要有一個(gè)合適的哈希算法,見前面相關(guān)哈希函數(shù)的鏈接。while(bucket){if(strcmp(bucket->key, key) == 0){LOG_MSG("HashTable found key in index: %i with key: %s value: %p\n",index, key, bucket->value);*result = bucket->value; return SUCCESS;}bucket = bucket->next;}LOG_MSG("HashTable lookup missed the key: %s\n", key);return FAILED;
}
PHP中數(shù)組是基于哈希表實(shí)現(xiàn)的,依次給數(shù)組添加元素時(shí),元素之間是有先后順序的,而這里的哈希表在物理位置上顯然是接近平均分布的, 這樣是無法根據(jù)插入的先后順序獲取到這些元素的,在PHP的實(shí)現(xiàn)中Bucket結(jié)構(gòu)體還維護(hù)了另一個(gè)指針字段來維護(hù)元素之間的關(guān)系。 具體內(nèi)容在后一小節(jié)PHP中的HashTable中進(jìn)行詳細(xì)說明。上面的例子就是PHP中實(shí)現(xiàn)的一個(gè)精簡版。
延伸閱讀
此文章所在專題列表如下:
- PHP內(nèi)核探索:從SAPI接口開始
- PHP內(nèi)核探索:一次請(qǐng)求的開始與結(jié)束
- PHP內(nèi)核探索:一次請(qǐng)求生命周期
- PHP內(nèi)核探索:單進(jìn)程SAPI生命周期
- PHP內(nèi)核探索:多進(jìn)程/線程的SAPI生命周期
- PHP內(nèi)核探索:Zend引擎
- PHP內(nèi)核探索:再次探討SAPI
- PHP內(nèi)核探索:Apache模塊介紹
- PHP內(nèi)核探索:通過mod_php5支持PHP
- PHP內(nèi)核探索:Apache運(yùn)行與鉤子函數(shù)
- PHP內(nèi)核探索:嵌入式PHP
- PHP內(nèi)核探索:PHP的FastCGI
- PHP內(nèi)核探索:如何執(zhí)行PHP腳本
- PHP內(nèi)核探索:PHP腳本的執(zhí)行細(xì)節(jié)
- PHP內(nèi)核探索:操作碼OpCode
- PHP內(nèi)核探索:PHP里的opcode
- PHP內(nèi)核探索:解釋器的執(zhí)行過程
- PHP內(nèi)核探索:變量概述
- PHP內(nèi)核探索:變量存儲(chǔ)與類型
- PHP內(nèi)核探索:PHP中的哈希表
- PHP內(nèi)核探索:理解Zend里的哈希表
- PHP內(nèi)核探索:PHP哈希算法設(shè)計(jì)
- PHP內(nèi)核探索:翻譯一篇HashTables文章
- PHP內(nèi)核探索:哈希碰撞攻擊是什么?
- PHP內(nèi)核探索:常量的實(shí)現(xiàn)
- PHP內(nèi)核探索:變量的存儲(chǔ)
- PHP內(nèi)核探索:變量的類型
- PHP內(nèi)核探索:變量的值操作
- PHP內(nèi)核探索:變量的創(chuàng)建
- PHP內(nèi)核探索:預(yù)定義變量
- PHP內(nèi)核探索:變量的檢索
- PHP內(nèi)核探索:變量的類型轉(zhuǎn)換
- PHP內(nèi)核探索:弱類型變量的實(shí)現(xiàn)
- PHP內(nèi)核探索:靜態(tài)變量的實(shí)現(xiàn)
- PHP內(nèi)核探索:變量類型提示
- PHP內(nèi)核探索:變量的生命周期
- PHP內(nèi)核探索:變量賦值與銷毀
- PHP內(nèi)核探索:變量作用域
- PHP內(nèi)核探索:詭異的變量名
- PHP內(nèi)核探索:變量的value和type存儲(chǔ)
- PHP內(nèi)核探索:全局變量Global
- PHP內(nèi)核探索:變量類型的轉(zhuǎn)換
- PHP內(nèi)核探索:內(nèi)存管理開篇
- PHP內(nèi)核探索:Zend內(nèi)存管理器
- PHP內(nèi)核探索:PHP的內(nèi)存管理
- PHP內(nèi)核探索:內(nèi)存的申請(qǐng)與銷毀
- PHP內(nèi)核探索:引用計(jì)數(shù)與寫時(shí)復(fù)制
- PHP內(nèi)核探索:PHP5.3的垃圾回收機(jī)制
- PHP內(nèi)核探索:內(nèi)存管理中的cache
- PHP內(nèi)核探索:寫時(shí)復(fù)制COW機(jī)制
- PHP內(nèi)核探索:數(shù)組與鏈表
- PHP內(nèi)核探索:使用哈希表API
- PHP內(nèi)核探索:數(shù)組操作
- PHP內(nèi)核探索:數(shù)組源碼分析
- PHP內(nèi)核探索:函數(shù)的分類
- PHP內(nèi)核探索:函數(shù)的內(nèi)部結(jié)構(gòu)
- PHP內(nèi)核探索:函數(shù)結(jié)構(gòu)轉(zhuǎn)換
- PHP內(nèi)核探索:定義函數(shù)的過程
- PHP內(nèi)核探索:函數(shù)的參數(shù)
- PHP內(nèi)核探索:zend_parse_parameters函數(shù)
- PHP內(nèi)核探索:函數(shù)返回值
- PHP內(nèi)核探索:形參return value
- PHP內(nèi)核探索:函數(shù)調(diào)用與執(zhí)行
- PHP內(nèi)核探索:引用與函數(shù)執(zhí)行
- PHP內(nèi)核探索:匿名函數(shù)及閉包
- PHP內(nèi)核探索:面向?qū)ο箝_篇
- PHP內(nèi)核探索:類的結(jié)構(gòu)和實(shí)現(xiàn)
- PHP內(nèi)核探索:類的成員變量
- PHP內(nèi)核探索:類的成員方法
- PHP內(nèi)核探索:類的原型zend_class_entry
- PHP內(nèi)核探索:類的定義
- PHP內(nèi)核探索:訪問控制
- PHP內(nèi)核探索:繼承,多態(tài)與抽象類
- PHP內(nèi)核探索:魔術(shù)函數(shù)與延遲綁定
- PHP內(nèi)核探索:保留類與特殊類
- PHP內(nèi)核探索:對(duì)象
- PHP內(nèi)核探索:創(chuàng)建對(duì)象實(shí)例
- PHP內(nèi)核探索:對(duì)象屬性讀寫
- PHP內(nèi)核探索:命名空間
- PHP內(nèi)核探索:定義接口
- PHP內(nèi)核探索:繼承與實(shí)現(xiàn)接口
- PHP內(nèi)核探索:資源resource類型
- PHP內(nèi)核探索:Zend虛擬機(jī)
- PHP內(nèi)核探索:虛擬機(jī)的詞法解析
- PHP內(nèi)核探索:虛擬機(jī)的語法分析
- PHP內(nèi)核探索:中間代碼opcode的執(zhí)行
- PHP內(nèi)核探索:代碼的加密與解密
- PHP內(nèi)核探索:zend_execute的具體執(zhí)行過程
- PHP內(nèi)核探索:變量的引用與計(jì)數(shù)規(guī)則
- PHP內(nèi)核探索:新垃圾回收機(jī)制說明
總結(jié)
以上是生活随笔為你收集整理的PHP内核中的哈希表结构的全部內(nèi)容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: HashTable原理与实现
- 下一篇: 利用Apache的ab命令做Benchm