关闭

Dalvik VM Hash - implementation

标签: nullstructure数据结构虚拟机扩展
2094人阅读 评论(1) 收藏 举报
分类:

Dalvik虚拟机 之 哈希表实现篇

前面两篇分别介绍了dvm里哈希表的接口和使用。下面我们来看看dvm里哈希表是怎么实现的。

 

数据结构

/*

* One entry in the hash table. "data" values are expected to be (or have

* the same characteristics as) valid pointers. In particular, a NULL

* value for "data" indicates an empty slot, and HASH_TOMBSTONE indicates

* a no-longer-used slot that must be stepped over during probing.

*

* Attempting to add a NULL or tombstone value is an error.

*

* When an entry is released, we will call (HashFreeFunc)(entry->data).

*/

struct HashEntry {

u4 hashValue;

void* data;

};

该结构表示一个哈希单元。它由两部分,一个四字节空间的哈希值和一个不定长的真正的数据部分。在该单元被清理时,该数据部分所占据的内存会被函数调用(HashFreeFunc)(entry->data)清理掉。该清理函数是在哈希表创建时传入的(dvmHashTableCreate()的第二个参数)。

/*

* Expandable hash table.

*

* This structure should be considered opaque.

*/

struct HashTable {

int tableSize; /* must be power of 2 */

int numEntries; /* current #of "live" entries */

int numDeadEntries; /* current #of tombstone entries */

HashEntry* pEntries; /* array on heap */

HashFreeFunc freeFunc;

pthread_mutex_t lock;

};

该结构表示一个哈希表。其成员变量分别是

tableSize: 哈希表的大小,必须是2的幂次。

numEntries: 当前哈希表用于的有效单元数量

numDeadEntries: 改哈希表拥有的无效单元数量。

pEntries: 表示指向该哈希表单元数据的指针

freeFunc: 哈希表单元释放函数

lock:用于同步访问该哈希表的锁。

 

我们后面会看到,哈希表实现中对于无效单元只是简单的将其哈希值表示为一个常量,而没有调用释放函数:

#define HASH_TOMBSTONE ((void*) 0xcbcacccd) // invalid ptr value

哈希表创建

/*

* Create and initialize a hash table.

*/

HashTable* dvmHashTableCreate(size_t initialSize, HashFreeFunc freeFunc)

{

HashTable* pHashTable;

 

assert(initialSize > 0);

 

pHashTable = (HashTable*) malloc(sizeof(*pHashTable));

if (pHashTable == NULL)

return NULL;

 

dvmInitMutex(&pHashTable->lock);

 

pHashTable->tableSize = dexRoundUpPower2(initialSize);

pHashTable->numEntries = pHashTable->numDeadEntries = 0;

pHashTable->freeFunc = freeFunc;

pHashTable->pEntries =

(HashEntry*) malloc(pHashTable->tableSize * sizeof(HashEntry));

if (pHashTable->pEntries == NULL) {

free(pHashTable);

return NULL;

}

 

memset(pHashTable->pEntries, 0, pHashTable->tableSize * sizeof(HashEntry));

return pHashTable;

}

 

首先用断言检查传入的初始大小必须大于0。然后用malloc分配本地内存最为哈希表的空间。由于分配的是本地内存,该哈希表不会被垃圾收集,并且需要在不使用时调用free()来显式的释放空间,否则将引起内存泄露。接下来初始化访问锁。随后调用dexRoundUpPower2来保证初始大小为2幂次方对齐。将有效单元数量和无效单元数量初始化为0。将参数传入的释放函数存放在freeFunc变量里。接着调用malloc为单元指针分配空间。 最后memset整个单元后返回改哈希表结构指针。

 

 

哈希表清理

 

/*

* Clear out all entries.

*/

void dvmHashTableClear(HashTable* pHashTable)

{

HashEntry* pEnt;

int i;

 

pEnt = pHashTable->pEntries;

for (i = 0; i < pHashTable->tableSize; i++, pEnt++) {

if (pEnt->data == HASH_TOMBSTONE) {

// nuke entry

pEnt->data = NULL;

} else if (pEnt->data != NULL) {

// call free func then nuke entry

if (pHashTable->freeFunc != NULL)

(*pHashTable->freeFunc)(pEnt->data);

pEnt->data = NULL;

}

}

 

pHashTable->numEntries = 0;

pHashTable->numDeadEntries = 0;

}

dvmHashTableClear实现。它遍历每个单元,对于无效的单元,简单的将该单元数据区置为NULL。对有效单元调用释放函数后将数据区置为NULL。

 

 

哈希表释放

/*

* Free the table.

*/

void dvmHashTableFree(HashTable* pHashTable)

{

if (pHashTable == NULL)

return;

dvmHashTableClear(pHashTable);

free(pHashTable->pEntries);

free(pHashTable);

}

首先调用dvmHashTableClear清理多有单元数据,然后free掉哈希表结构中为单元指针分配的内存,最后free掉该哈希表本身占据的内存。

 

 

哈希表查找和插入单元

哈希表查找,插入新单元是被放到同一个函数dvmHashTableLookup里实现的。用最后一个参数doAdd来区分开来。

首次是查找的实现,它从第一个单元开始遍历,如果该单元满足下面的条件

“pEntry->data != HASH_TOMBSTONE  && pEntry->hashValue == itemHash && (*cmpFunc)(pEntry->data, item) == 0”

也就是说必须 不能使无效单元,而且哈希值相等,并且调用比较函数的结果相符(返回值为0)。

如果doAdd为1,则进行插入操作。再插入之前,需要判断当前表示空间是否足够容纳新插入一个单元,不够的话需要扩展空间。

 

哈希表删除

和查找类似,也是根据哈希值找到第一个单元后,比较该单元的数值指针的值和带比较的是否一致。一致的话就表示该单元哈希值为常量HASH_TOMBSTONE。

 

 

 

 

 

 

 

 

 

0
0

查看评论
* 以上用户言论只代表其个人观点,不代表CSDN网站的观点或立场
    个人资料
    • 访问:109016次
    • 积分:1294
    • 等级:
    • 排名:千里之外
    • 原创:17篇
    • 转载:0篇
    • 译文:0篇
    • 评论:52条
    文章分类
    最新评论