目录
本文档是为 C 程序员编写的。由于您正在阅读本文,您很可能知道哈希用于使用键查找项目。在脚本语言中,哈希或“字典”一直在使用。在 C 语言中,哈希值不存在于语言本身中。该软件为 C 结构提供了一个哈希表。
添加、查找和删除通常是恒定时间操作。这受您的关键域和散列函数的影响。
此哈希旨在简约和高效。它大约有 1000 行 C。它自动内联,因为它是作为宏实现的。只要哈希函数适合您的密钥,它就会很快。您可以使用默认散列函数,或轻松比较性能并从其他几个 内置散列函数中进行选择。
不,它只是一个头文件:uthash.h
. 您需要做的就是将头文件复制到您的项目中,并且:
#include "uthash.h"
由于 uthash 只是一个头文件,因此没有可链接的库代码。
该软件可用于 C 和 C++ 程序。它已经过测试:
Linux
使用 Visual Studio 2008 和 2010 的 Windows
索拉里斯
OpenBSD
自由BSD
安卓
测试套件
要运行测试套件,请输入tests
目录。然后,
在 Unix 平台上,运行make
在 Windows 上,运行“do_tests_win32.cmd”批处理文件。(如果您的 Visual Studio 安装在非标准位置,您可以编辑批处理文件)。
该软件是在 修订后的 BSD 许可下提供的。它是免费和开源的。
按照GitHub - troydhanson/uthash: C macros for hash tables and more上的链接克隆 uthash 或获取 zip 文件。
请使用uthash Google Group提问。您可以通过utash@googlegroups.com发送电子邮件。
uthash 附带了三个“附加功能”。这些提供列表、动态数组和字符串:
utlist.h为 C 结构提供链表宏。
utarray.h使用宏实现动态数组。
utstring.h实现了一个基本的动态字符串。
在 utash 中,哈希表由结构组成。每个结构代表一个键值关联。一个或多个结构字段构成密钥。结构指针本身就是值。
- #include "uthash.h"
-
- struct my_struct {
- int id; /* key */
- char name[10];
- UT_hash_handle hh; /* makes this structure hashable */
- };
请注意,在 uthash 中,当您将其添加到哈希表时,您的结构将永远不会被移动或复制到另一个位置。这意味着您可以保留其他安全指向您的结构的数据结构——无论您是在程序的生命周期中从哈希表中添加还是删除它。
对关键字段的数据类型或名称没有限制。该键还可以包括多个连续的字段,具有任何名称和数据类型。
是的,您的键和结构可以具有任何数据类型。与具有固定原型的函数调用不同,uthash 由宏组成——其参数是无类型的——因此能够处理任何类型的结构或键。
唯一键
与任何散列一样,每个项目都必须有一个唯一的键。您的应用程序必须强制执行密钥唯一性。在将项目添加到哈希表之前,您必须首先知道(如果有疑问,请检查!)该密钥尚未使用。您可以使用 . 检查哈希表中是否已存在键HASH_FIND
。
该UT_hash_handle
字段必须存在于您的结构中。它用于使散列起作用的内部簿记。它不需要初始化。它可以命名任何东西,但您可以通过命名来简化问题hh
。这允许您使用更简单的“便利”宏来添加、查找和删除项目。
高架
散列句柄在 32 位系统上每个项目消耗大约 32 个字节,或在 64 位系统上每个项目消耗 56 个字节。相比之下,其他间接成本——存储桶和桌子——可以忽略不计。您可以使用HASH_OVERHEAD
来获取哈希表的开销大小(以字节为单位)。请参阅宏参考。
清理是如何发生的
有人问 uthash 如何清理其内部存储器。答案很简单: 当您从哈希表中删除最后一项时,uthash 会释放与该哈希表关联的所有内部内存,并将其指针设置为 NULL。
本节通过示例介绍 uthash 宏。有关更简洁的列表,请参阅宏参考。
uthash 宏分为两类。便利宏可以与整数、指针或字符串键一起使用(并要求您为字段选择常规名称hh
)UT_hash_handle
。与通用宏相比,便利宏使用的参数更少,这使得它们对这些常见类型的键的使用更加简单。
通用宏可用于任何类型的键,或用于多字段键,或者当.UT_hash_handle
被命名为hh
. 这些宏接受更多参数并提供更大的灵活性作为回报。但是,如果便利宏满足您的需要,请使用它们——您的代码将更具可读性。
您的哈希必须声明为NULL
指向您的结构的 -initialized 指针。
struct my_struct *users = NULL; /* important! initialize to NULL */
按照您认为合适的方式分配和初始化您的结构。对 uthash 重要的唯一方面是您的密钥必须初始化为唯一值。然后调用HASH_ADD
。(这里我们使用便利宏 HASH_ADD_INT
,它为 type 的键提供了简化的用法int
)。
- void add_user(int user_id, char *name) {
- struct my_struct *s;
-
- s = malloc(sizeof *s);
- s->id = user_id;
- strcpy(s->name, name);
- HASH_ADD_INT(users, id, s); /* id: name of key field */
- }
第一个参数HASH_ADD_INT
是哈希表,第二个参数是关键字段的名称。在这里,这是id
。最后一个参数是指向要添加的结构的指针。
如果您觉得奇怪的是id
,结构中的字段名称可以作为参数传递……欢迎来到宏的世界。不用担心; C 预处理器将其扩展为有效的 C 代码。
密钥在使用时不得修改
将结构添加到散列后,不要更改其键的值。相反,从哈希中删除该项目,更改密钥,然后重新添加它。
检查唯一性
在上面的示例中,我们没有检查是否user_id
已经是哈希中某个现有项的键。如果您的程序有可能生成重复键,则必须 在将键添加到散列之前明确检查唯一性。如果键已经在散列中,您可以简单地修改散列中的现有结构,而不是添加项。 将具有相同键的两个项目添加到哈希表是错误的。
让我们重写add_user
函数来检查 id 是否在哈希中。只有当 id 不存在于散列中时,我们才创建项目并添加它。否则我们只是修改已经存在的结构。
- void add_user(int user_id, char *name) {
- struct my_struct *s;
- HASH_FIND_INT(users, &user_id, s); /* id already in the hash? */
- if (s == NULL) {
- s = (struct my_struct *)malloc(sizeof *s);
- s->id = user_id;
- HASH_ADD_INT(users, id, s); /* id: name of key field */
- }
- strcpy(s->name, name);
- }
为什么 uthash 不为您检查密钥的唯一性?它为那些不需要它的程序节省了哈希查找的成本 - 例如,其密钥由递增的非重复计数器生成的程序。
但是,如果替换是常见操作,则可以使用 HASH_REPLACE
宏。这个宏,在添加item之前,会先尝试找到一个key相同的item,然后先删除。它还返回一个指向被替换项的指针,因此用户有机会释放其内存。
将哈希指针传递给函数
在上面的例子users
中是一个全局变量,但是如果调用者想要将哈希指针传递给函数呢add_user
?乍一看,您似乎可以简单地将users
其作为参数传递,但这是行不通的。
- /* bad */
- void add_user(struct my_struct *users, int user_id, char *name) {
- ...
- HASH_ADD_INT(users, id, s);
- }
您确实需要将指针传递给哈希指针:
- /* good */
- void add_user(struct my_struct **users, int user_id, char *name) { ...
- ...
- HASH_ADD_INT(*users, id, s);
- }
请注意,我们在HASH_ADD
也取消引用了指针。
必须处理指向散列指针的指针的原因很简单:散列宏修改它(换句话说,它们修改指针本身而不仅仅是它指向的内容)。
要在哈希中查找结构,您需要它的键。然后调用HASH_FIND
。(这里我们HASH_FIND_INT
对 type 的键使用便利宏int
)。
- struct my_struct *find_user(int user_id) {
- struct my_struct *s;
-
- HASH_FIND_INT(users, &user_id, s); /* s: output pointer */
- return s;
- }
在这里,哈希表是users
,并且&user_id
指向键(在这种情况下是整数)。最后,s
是 的输出变量HASH_FIND_INT
。最终结果是s
指向具有给定键的结构,或者NULL
如果在散列中找不到键。
笔记
| 中间参数是指向键的指针。您不能将文字键值传递给HASH_FIND . 而是将文字值分配给变量,并将指针传递给变量。 |
要从哈希中删除结构,您必须有一个指向它的指针。(如果您只有密钥,请先执行 aHASH_FIND
以获取结构指针)。
- void delete_user(struct my_struct *user) {
- HASH_DEL(users, user); /* user: pointer to deletee */
- free(user); /* optional; it's up to you! */
- }
这里又users
是哈希表,user
是指向我们要从哈希中删除的结构的指针。
uthash 永远不会释放你的结构
删除一个结构只是将它从哈希表中删除——它不是free
。何时释放结构完全取决于您的选择;uthash 永远不会释放你的结构。例如,当使用HASH_REPLACE
宏时,会返回一个替换的输出参数,以便用户可以取消分配它。
删除可以改变指针
哈希表指针(最初指向添加到哈希中的第一项)可以响应更改HASH_DEL
(即,如果您删除哈希表中的第一项)。
迭代删除
该HASH_ITER
宏是一个删除安全的迭代构造,它扩展为一个简单的 for循环。
- void delete_all() {
- struct my_struct *current_user, *tmp;
-
- HASH_ITER(hh, users, current_user, tmp) {
- HASH_DEL(users, current_user); /* delete; users advances to next */
- free(current_user); /* optional- if you want to free */
- }
- }
一次性删除
如果您只想删除所有项目,而不是释放它们或对每个元素进行任何清理,您可以在单个操作中更有效地执行此操作:
HASH_CLEAR(hh, users);
之后,列表头(此处为users
)将设置为NULL
。
可以使用以下方法获得哈希表中的项目数HASH_COUNT
:
- unsigned int num_users;
- num_users = HASH_COUNT(users);
- printf("there are %u users\n", num_users);
顺便说一句,即使列表头(这里,users
)是NULL
,这也有效,在这种情况下计数为 0。
您可以通过从头开始并跟随hh.next
指针来遍历散列中的项目。
- void print_users() {
- struct my_struct *s;
-
- for (s = users; s != NULL; s = s->hh.next) {
- printf("user id %d: name %s\n", s->id, s->name);
- }
- }
还有一个hh.prev
指针可用于从任何已知项目开始向后迭代散列。
删除安全迭代
在上面的示例中,在fors
循环的主体中删除和释放是不安全的(因为每次循环迭代时都会取消引用)。这很容易正确重写(通过在释放之前将指针复制到临时变量),但它经常出现,包括删除安全迭代宏 , 。它扩展为 -loop 标头。以下是如何使用它来重写最后一个示例:s
s->hh.next
s
HASH_ITER
for
struct my_struct *s, *tmp;
- HASH_ITER(hh, users, s, tmp) {
- printf("user id %d: name %s\n", s->id, s->name);
- /* ... it is safe to delete and free s here */
- }
hh.prev
由于andhh.next
字段,可以在哈希中的项目中前后迭代。哈希中的所有项都可以通过重复跟随这些指针到达,因此哈希也是一个双向链表。
如果您在 C++ 程序中使用 uthash,则需要对for
迭代器进行额外转换,例如s = static_cast
.
排序
当您跟随 hh.next
指针时,以“插入顺序”访问散列中的项目。您可以使用 将项目排序为新顺序HASH_SORT
。
HASH_SORT(users, name_sort);
第二个参数是一个指向比较函数的指针。它必须接受两个指针参数(要比较的项目),并且int
如果第一项分别排在第二项之前、等于或之后,则必须返回一个小于零、零或大于零的值。strcmp
(这与qsort
标准 C 库中使用的约定相同)。
- int sort_function(void *a, void *b) {
- /* compare a to b (cast a and b appropriately)
- * return (int) -1 if (a < b)
- * return (int) 0 if (a == b)
- * return (int) 1 if (a > b)
- */
- }
下面是排序函数name_sort
的id_sort
两个示例。
- int by_name(const struct my_struct *a, const struct my_struct *b) {
- return strcmp(a->name, b->name);
- }
-
- int by_id(const struct my_struct *a, const struct my_struct *b) {
- return (a->id - b->id);
- }
-
- void sort_by_name() {
- HASH_SORT(users, by_name);
- }
-
- void sort_by_id() {
- HASH_SORT(users, by_id);
- }
当哈希中的项目被排序时,第一个项目可能会改变位置。在上面的例子中,users
调用后可能会指向不同的结构HASH_SORT
。
我们将重复所有代码并用main()
函数修饰它以形成一个工作示例。
如果将此代码放在example.c
与 相同目录 中的文件中uthash.h
,则可以像这样编译和运行它:
- cc -o example example.c
- ./example
按照提示尝试该程序。
- #include
/* printf */ - #include
/* atoi, malloc */ - #include
/* strcpy */ - #include "uthash.h"
-
- struct my_struct {
- int id; /* key */
- char name[21];
- UT_hash_handle hh; /* makes this structure hashable */
- };
-
- struct my_struct *users = NULL;
-
- void add_user(int user_id, const char *name)
- {
- struct my_struct *s;
-
- HASH_FIND_INT(users, &user_id, s); /* id already in the hash? */
- if (s == NULL) {
- s = (struct my_struct*)malloc(sizeof *s);
- s->id = user_id;
- HASH_ADD_INT(users, id, s); /* id is the key field */
- }
- strcpy(s->name, name);
- }
-
- struct my_struct *find_user(int user_id)
- {
- struct my_struct *s;
-
- HASH_FIND_INT(users, &user_id, s); /* s: output pointer */
- return s;
- }
-
- void delete_user(struct my_struct *user)
- {
- HASH_DEL(users, user); /* user: pointer to deletee */
- free(user);
- }
-
- void delete_all()
- {
- struct my_struct *current_user;
- struct my_struct *tmp;
-
- HASH_ITER(hh, users, current_user, tmp) {
- HASH_DEL(users, current_user); /* delete it (users advances to next) */
- free(current_user); /* free it */
- }
- }
-
- void print_users()
- {
- struct my_struct *s;
-
- for (s = users; s != NULL; s = (struct my_struct*)(s->hh.next)) {
- printf("user id %d: name %s\n", s->id, s->name);
- }
- }
-
- int by_name(const struct my_struct *a, const struct my_struct *b)
- {
- return strcmp(a->name, b->name);
- }
-
- int by_id(const struct my_struct *a, const struct my_struct *b)
- {
- return (a->id - b->id);
- }
-
- const char *getl(const char *prompt)
- {
- static char buf[21];
- char *p;
- printf("%s? ", prompt); fflush(stdout);
- p = fgets(buf, sizeof(buf), stdin);
- if (p == NULL || (p = strchr(buf, '\n')) == NULL) {
- puts("Invalid input!");
- exit(EXIT_FAILURE);
- }
- *p = '\0';
- return buf;
- }
-
- int main()
- {
- int id = 1;
- int running = 1;
- struct my_struct *s;
- int temp;
-
- while (running) {
- printf(" 1. add user\n");
- printf(" 2. add or rename user by id\n");
- printf(" 3. find user\n");
- printf(" 4. delete user\n");
- printf(" 5. delete all users\n");
- printf(" 6. sort items by name\n");
- printf(" 7. sort items by id\n");
- printf(" 8. print users\n");
- printf(" 9. count users\n");
- printf("10. quit\n");
- switch (atoi(getl("Command"))) {
- case 1:
- add_user(id++, getl("Name (20 char max)"));
- break;
- case 2:
- temp = atoi(getl("ID"));
- add_user(temp, getl("Name (20 char max)"));
- break;
- case 3:
- s = find_user(atoi(getl("ID to find")));
- printf("user: %s\n", s ? s->name : "unknown");
- break;
- case 4:
- s = find_user(atoi(getl("ID to delete")));
- if (s) {
- delete_user(s);
- } else {
- printf("id unknown\n");
- }
- break;
- case 5:
- delete_all();
- break;
- case 6:
- HASH_SORT(users, by_name);
- break;
- case 7:
- HASH_SORT(users, by_id);
- break;
- case 8:
- print_users();
- break;
- case 9:
- temp = HASH_COUNT(users);
- printf("there are %d users\n", temp);
- break;
- case 10:
- running = 0;
- break;
- }
- }
-
- delete_all(); /* free any structures */
- return 0;
- }
该程序包含在tests/example.c
. 您可以 make example
在该目录中运行以轻松编译它。
本节详细介绍如何使用不同类型的键。您可以使用几乎任何类型的键——整数、字符串、指针、结构等。
笔记
|
关于浮动的说明
您可以使用浮点键。这与任何测试浮点相等性的程序都有相同的警告。换句话说,即使是两个浮点数中最微小的差异也会使它们成为不同的键。 |
前面的示例演示了整数键的使用。回顾一下,使用便利宏HASH_ADD_INT
和HASH_FIND_INT
带有整数键的结构。(其他操作如HASH_DELETE
和HASH_SORT
对所有类型的键都是相同的)。
如果您的结构具有字符串键,则要使用的操作取决于您的结构是指向键 ( char *
) 还是字符串驻留within
在结构 ( char a[10]
) 中。 这种区别很重要。HASH_ADD_KEYPTR
正如我们将在下面看到的,当你的结构指向一个键(即键本身在结构之外)时,你需要使用;相反,HASH_ADD_STR
用于结构中包含的字符串键。
笔记
|
char[ ] 与 char*
该字符串在下面第一个示例中的结构内 |
结构内的字符串
- #include
/* strcpy */ - #include
/* malloc */ - #include
/* printf */ - #include "uthash.h"
-
- struct my_struct {
- char name[10]; /* key (string is WITHIN the structure) */
- int id;
- UT_hash_handle hh; /* makes this structure hashable */
- };
-
-
- int main(int argc, char *argv[]) {
- const char *names[] = { "joe", "bob", "betty", NULL };
- struct my_struct *s, *tmp, *users = NULL;
-
- for (int i = 0; names[i]; ++i) {
- s = (struct my_struct *)malloc(sizeof *s);
- strcpy(s->name, names[i]);
- s->id = i;
- HASH_ADD_STR(users, name, s);
- }
-
- HASH_FIND_STR(users, "betty", s);
- if (s) printf("betty's id is %d\n", s->id);
-
- /* free the hash table contents */
- HASH_ITER(hh, users, s, tmp) {
- HASH_DEL(users, s);
- free(s);
- }
- return 0;
- }
此示例包含在tests/test15.c
. 它打印:
betty's id is 2
结构中的字符串指针
现在,这是相同的示例,但使用的是char *
键而不是char [ ]
:
- #include
/* strcpy */ - #include
/* malloc */ - #include
/* printf */ - #include "uthash.h"
-
- struct my_struct {
- const char *name; /* key */
- int id;
- UT_hash_handle hh; /* makes this structure hashable */
- };
-
-
- int main(int argc, char *argv[]) {
- const char *names[] = { "joe", "bob", "betty", NULL };
- struct my_struct *s, *tmp, *users = NULL;
-
- for (int i = 0; names[i]; ++i) {
- s = (struct my_struct *)malloc(sizeof *s);
- s->name = names[i];
- s->id = i;
- HASH_ADD_KEYPTR(hh, users, s->name, strlen(s->name), s);
- }
-
- HASH_FIND_STR(users, "betty", s);
- if (s) printf("betty's id is %d\n", s->id);
-
- /* free the hash table contents */
- HASH_ITER(hh, users, s, tmp) {
- HASH_DEL(users, s);
- free(s);
- }
- return 0;
- }
此示例包含在tests/test40.c
.
你的钥匙可以是一个指针。很清楚,这意味着指针本身 可以是键(相反,如果指向的东西是键,这是由 处理的不同用例HASH_ADD_KEYPTR
)。
这是一个简单的例子,其中结构有一个指针成员,称为key
.
- #include
- #include
- #include "uthash.h"
-
- typedef struct {
- void *key;
- int i;
- UT_hash_handle hh;
- } el_t;
-
- el_t *hash = NULL;
- char *someaddr = NULL;
-
- int main() {
- el_t *d;
- el_t *e = (el_t *)malloc(sizeof *e);
- if (!e) return -1;
- e->key = (void*)someaddr;
- e->i = 1;
- HASH_ADD_PTR(hash, key, e);
- HASH_FIND_PTR(hash, &someaddr, d);
- if (d) printf("found\n");
-
- /* release memory */
- HASH_DEL(hash, e);
- free(e);
- return 0;
- }
此示例包含在tests/test57.c
. 请注意,程序的结尾会从散列中删除元素,(并且由于散列中不再有元素),uthash 会释放其内部存储器。
您的关键字段可以具有任何数据类型。对于 uthash,它只是一个字节序列。因此,即使是嵌套结构也可以用作键。我们将使用通用宏HASH_ADD
并HASH_FIND
进行演示。
笔记
| 结构包含填充(浪费的内部空间用于满足结构成员的对齐要求)。在将项目添加到散列或查找项目之前,必须将这些填充字节 清零。因此,在设置感兴趣的成员之前,始终将整个结构归零。下面的示例执行此操作 - 请参阅对memset . |
- #include
- #include
- #include "uthash.h"
-
- typedef struct {
- char a;
- int b;
- } record_key_t;
-
- typedef struct {
- record_key_t key;
- /* ... other data ... */
- UT_hash_handle hh;
- } record_t;
-
- int main(int argc, char *argv[]) {
- record_t l, *p, *r, *tmp, *records = NULL;
-
- r = (record_t *)malloc(sizeof *r);
- memset(r, 0, sizeof *r);
- r->key.a = 'a';
- r->key.b = 1;
- HASH_ADD(hh, records, key, sizeof(record_key_t), r);
-
- memset(&l, 0, sizeof(record_t));
- l.key.a = 'a';
- l.key.b = 1;
- HASH_FIND(hh, records, &l.key, sizeof(record_key_t), p);
-
- if (p) printf("found %c %d\n", p->key.a, p->key.b);
-
- HASH_ITER(hh, records, p, tmp) {
- HASH_DEL(records, p);
- free(p);
- }
- return 0;
- }
这种用法与下面解释的复合键的用法几乎相同。
请注意,一般宏需要将 的名称UT_hash_handle
作为第一个参数传递(这里是hh
)。通用宏记录在宏参考中。
您的密钥甚至可以包含多个连续字段。
- #include
/* malloc */ - #include
/* offsetof */ - #include
/* printf */ - #include
/* memset */ - #include "uthash.h"
-
- #define UTF32 1
-
- typedef struct {
- UT_hash_handle hh;
- int len;
- char encoding; /* these two fields */
- int text[]; /* comprise the key */
- } msg_t;
-
- typedef struct {
- char encoding;
- int text[];
- } lookup_key_t;
-
- int main(int argc, char *argv[]) {
- unsigned keylen;
- msg_t *msg, *tmp, *msgs = NULL;
- lookup_key_t *lookup_key;
-
- int beijing[] = {0x5317, 0x4eac}; /* UTF-32LE for 北京 */
-
- /* allocate and initialize our structure */
- msg = (msg_t *)malloc(sizeof(msg_t) + sizeof(beijing));
- memset(msg, 0, sizeof(msg_t)+sizeof(beijing)); /* zero fill */
- msg->len = sizeof(beijing);
- msg->encoding = UTF32;
- memcpy(msg->text, beijing, sizeof(beijing));
-
- /* calculate the key length including padding, using formula */
- keylen = offsetof(msg_t, text) /* offset of last key field */
- + sizeof(beijing) /* size of last key field */
- - offsetof(msg_t, encoding); /* offset of first key field */
-
- /* add our structure to the hash table */
- HASH_ADD(hh, msgs, encoding, keylen, msg);
-
- /* look it up to prove that it worked :-) */
- msg = NULL;
-
- lookup_key = (lookup_key_t *)malloc(sizeof(*lookup_key) + sizeof(beijing));
- memset(lookup_key, 0, sizeof(*lookup_key) + sizeof(beijing));
- lookup_key->encoding = UTF32;
- memcpy(lookup_key->text, beijing, sizeof(beijing));
- HASH_FIND(hh, msgs, &lookup_key->encoding, keylen, msg);
- if (msg) printf("found \n");
- free(lookup_key);
-
- HASH_ITER(hh, msgs, msg, tmp) {
- HASH_DEL(msgs, msg);
- free(msg);
- }
- return 0;
- }
此示例包含在tests/test22.c
.
如果您使用多字段键,请识别编译器填充相邻字段(通过在它们之间插入未使用的空间)以满足每个字段的对齐要求。例如,包含 achar
后跟 an的结构int
通常在 char 之后有 3 个“浪费”字节的填充,以使该int
字段从 4 的倍数地址开始(4 是 int 的长度)。
要在使用多字段键时确定键长度,您必须包括编译器为对齐目的添加的任何中间结构填充。
计算密钥长度的一种简单方法是使用offsetof
来自
. 公式为:
- key length = offsetof(last_key_field)
- + sizeof(last_key_field)
- - offsetof(first_key_field)
在上面的示例中,keylen
使用此公式设置变量。
在处理多字段键时,您必须在将结构 添加到哈希表或在键HASH_ADD
中使用其字段之前对其进行零填充。HASH_FIND
在前面的示例中,memset
用于通过零填充来初始化结构。这会将关键字段之间的任何填充清零。如果我们不对结构进行零填充,则此填充将包含随机值。随机值会导致HASH_FIND
失败;因为如果它们的填充有任何差异,两个“相同”的键将看起来不匹配。
当散列表的每个元素都包含自己的二级散列表时,就会出现多级散列表。可以有任意数量的级别。在脚本语言中,您可能会看到:
$items{bob}{age}=37
下面的 C 程序在 utash 中构建了这个示例:哈希表被称为 items
. 它包含一个元素 ( bob
),其自己的哈希表包含一个age
值为 37 的元素 ( )。构建多级哈希表不需要特殊函数。
虽然此示例使用相同的结构表示两个级别 (bob
和age
),但也可以使用两个不同的结构定义。如果有三个或更多级别而不是两个级别也可以。
- #include
- #include
- #include
- #include "uthash.h"
-
- /* hash of hashes */
- typedef struct item {
- char name[10];
- struct item *sub;
- int val;
- UT_hash_handle hh;
- } item_t;
-
- item_t *items = NULL;
-
- int main(int argc, char *argvp[]) {
- item_t *item1, *item2, *tmp1, *tmp2;
-
- /* make initial element */
- item_t *i = malloc(sizeof(*i));
- strcpy(i->name, "bob");
- i->sub = NULL;
- i->val = 0;
- HASH_ADD_STR(items, name, i);
-
- /* add a sub hash table off this element */
- item_t *s = malloc(sizeof(*s));
- strcpy(s->name, "age");
- s->sub = NULL;
- s->val = 37;
- HASH_ADD_STR(i->sub, name, s);
-
- /* iterate over hash elements */
- HASH_ITER(hh, items, item1, tmp1) {
- HASH_ITER(hh, item1->sub, item2, tmp2) {
- printf("$items{%s}{%s} = %d\n", item1->name, item2->name, item2->val);
- }
- }
-
- /* clean up both hash tables */
- HASH_ITER(hh, items, item1, tmp1) {
- HASH_ITER(hh, item1->sub, item2, tmp2) {
- HASH_DEL(item1->sub, item2);
- free(item2);
- }
- HASH_DEL(items, item1);
- free(item1);
- }
-
- return 0;
- }
上面的示例包含在tests/test59.c
.
一个结构可以添加到多个哈希表中。您可能会这样做的几个原因包括:
每个哈希表可能使用不同的键;
每个哈希表可能有自己的排序顺序;
或者您可以简单地使用多个哈希表进行分组。例如,您可以在一个admin_users
和一个users
哈希表中拥有用户。
您的结构需要UT_hash_handle
为每个可能添加到其中的哈希表提供一个字段。你可以给它们起任何名字。例如,
UT_hash_handle hh1, hh2;
您可以创建一个以 ID 字段为键的哈希表,以及另一个以用户名为键的哈希表(如果用户名是唯一的)。您可以将相同的用户结构添加到两个哈希表(无需重复结构),允许通过用户名或 ID 查找用户结构。实现这一点的方法是UT_hash_handle
为每个可以添加结构的散列设置一个单独的散列。
- struct my_struct {
- int id; /* first key */
- char username[10]; /* second key */
- UT_hash_handle hh1; /* handle for first hash table */
- UT_hash_handle hh2; /* handle for second hash table */
- };
在上面的示例中,现在可以将结构添加到两个单独的哈希表中。在一个散列中,id
是它的键,而在另一个散列中,username
是它的键。(不要求两个哈希具有不同的键字段。它们都可以使用相同的键,例如id
)。
请注意,该结构有两个哈希句柄(hh1
和hh2
)。在下面的代码中,请注意每个哈希句柄都专门用于特定的哈希表。(hh1
始终与users_by_id
哈希一起使用,而hh2
始终与users_by_name
哈希表一起使用)。
- struct my_struct *users_by_id = NULL, *users_by_name = NULL, *s;
- int i;
- char *name;
-
- s = malloc(sizeof *s);
- s->id = 1;
- strcpy(s->username, "thanson");
-
- /* add the structure to both hash tables */
- HASH_ADD(hh1, users_by_id, id, sizeof(int), s);
- HASH_ADD(hh2, users_by_name, username, strlen(s->username), s);
-
- /* find user by ID in the "users_by_id" hash table */
- i = 1;
- HASH_FIND(hh1, users_by_id, &i, sizeof(int), s);
- if (s) printf("found id %d: %s\n", i, s->username);
-
- /* find user by username in the "users_by_name" hash table */
- name = "thanson";
- HASH_FIND(hh2, users_by_name, name, strlen(name), s);
- if (s) printf("found user %s: %d\n", name, s->id);
如果您想维护已排序的散列,您有两个选择。第一个选项是使用 HASH_SRT() 宏,它将对 O(n log(n))中的任何无序列表进行排序。如果您只是在完成所有操作后使用单个最终 HASH_SRT() 操作以随机顺序填充哈希表,这是最佳策略。显然,如果您需要列表在插入项目之间有时处于有序状态,这不会满足您的要求。您可以在每次插入操作后使用 HASH_SRT() ,但这会产生O(n^2 log n)的计算复杂度。
您可以采取的第二条路线是通过按顺序添加和替换宏。HASH_ADD_INORDER*
宏的工作方式与对应的宏一样,HASH_ADD*
但带有一个额外的比较函数参数:
- int name_sort(struct my_struct *a, struct my_struct *b) {
- return strcmp(a->name, b->name);
- }
HASH_ADD_KEYPTR_INORDER(hh, items, &item->name, strlen(item->name), item, name_sort);
新项目在插入时在O(n)中排序,因此创建包含所有项目的哈希表的总计算复杂度为O(n^2)。为了按顺序添加工作,列表必须在插入新项目之前处于有序状态。
毫不奇怪,两个哈希表可以有不同的排序顺序,但是这一事实也可以有利地用于以多种方式对相同的项目进行排序。这是基于将结构存储在多个哈希表中的能力。
扩展前面的例子,假设我们有很多用户。我们已将每个用户结构添加到users_by_id
哈希表和users_by_name
哈希表中。(重申一下,这样做不需要每个结构有两个副本。)现在我们可以定义两个排序函数,然后使用HASH_SRT
.
- int sort_by_id(struct my_struct *a, struct my_struct *b) {
- if (a->id == b->id) return 0;
- return (a->id < b->id) ? -1 : 1;
- }
- int sort_by_name(struct my_struct *a, struct my_struct *b) {
- return strcmp(a->username, b->username);
- }
- HASH_SRT(hh1, users_by_id, sort_by_id);
- HASH_SRT(hh2, users_by_name, sort_by_name);
现在迭代 in 中的项目users_by_id
将按 id-order 遍历它们,而自然地,迭代users_by_name
将按 name-order 遍历它们。这些项目在每个订单中都是完全向前和向后链接的。因此,即使对于一组用户,我们也可以将它们存储在两个散列表中,以便以两种不同的排序顺序进行迭代。
产生公平未命中率(HASH_FIND
导致NULL
)的程序可能会受益于内置的布隆过滤器支持。默认情况下这是禁用的,因为只生成命中的程序会受到轻微的惩罚。此外,执行删除的程序不应使用布隆过滤器。虽然程序可以正常运行,但删除会降低过滤器的好处。要启用 Bloom 过滤器,只需编译-DHASH_BLOOM=n
如下:
-DHASH_BLOOM=27
其中数字可以是不超过 32 的任何值,它决定了过滤器使用的内存量,如下所示。使用更多内存可使过滤器更准确,并有可能通过更快地消除未命中来加速您的程序。
n | 布隆过滤器大小(每个哈希表) |
---|---|
| 8 KB |
| 128 KB |
| 2 兆字节 |
| 32 兆字节 |
| 512 兆字节 |
布隆过滤器只是一种性能特征;它们不会以任何方式改变哈希运算的结果。衡量布隆过滤器是否适合您的程序的唯一方法是对其进行测试。布隆过滤器大小的合理值是 16-32 位。
提供了一个实验性的选择操作,它将源散列中满足给定条件的那些项插入到目标散列中。与使用 相比,此插入的效率要高一些 HASH_ADD
,即因为不会为所选项目的键重新计算散列函数。此操作不会从源哈希中删除任何项目。相反,所选项目在两个哈希中都获得双重存在。目标哈希中可能已经有项目;所选项目被添加到其中。为了使结构可以与 一起使用HASH_SELECT
,它必须具有两个或多个散列句柄。(如此处所述,一个结构可以同时存在于多个哈希表中;每个哈希表必须有一个单独的哈希句柄)。
- user_t *users = NULL; /* hash table of users */
- user_t *admins = NULL; /* hash table of admins */
- typedef struct {
- int id;
- UT_hash_handle hh; /* handle for users hash */
- UT_hash_handle ah; /* handle for admins hash */
- } user_t;
现在假设我们添加了一些用户,并且只想选择 id 小于 1024 的管理员用户。
- #define is_admin(x) (((user_t*)x)->id < 1024)
- HASH_SELECT(ah, admins, hh, users, is_admin);
前两个参数是目标哈希句柄和哈希表,后两个参数是源哈希句柄和哈希表,最后一个参数是选择条件。这里我们使用了一个宏is_admin(x)
,但我们也可以使用一个函数。
- int is_admin(const void *userv) {
- user_t *user = (const user_t*)userv;
- return (user->id < 1024) ? 1 : 0;
- }
如果选择条件始终为真,则此操作本质上是将源散列合并到目标散列。
HASH_SELECT
将项目添加到目标而不将它们从源中删除;源哈希表保持不变。目标哈希表不能与源哈希表相同。
使用示例HASH_SELECT
包含在tests/test36.c
.
当您调用 时HASH_FIND(hh, head, intfield, sizeof(int), out)
,uthash 将首先调用以确定要在其中搜索的存储桶,然后,对于 存储桶的每个元素,uthash 将评估 。 应该返回来表明这是一个匹配并且应该被返回,并且任何非零值表明应该继续搜索匹配的元素。HASH_FUNCTION(intfield, sizeof(int), hashvalue)
b
elt
b
elt->hh.hashv == hashvalue && elt.hh.keylen == sizeof(int) && HASH_KEYCMP(intfield, elt->hh.key, sizeof(int)) == 0
HASH_KEYCMP
0
elt
默认情况下,uthash 定义HASH_KEYCMP
为memcmp
. 在不提供的平台上memcmp
,您可以替换自己的实现。
- #undef HASH_KEYCMP
- #define HASH_KEYCMP(a,b,len) bcmp(a, b, len)
替换您自己的密钥比较函数的另一个原因是,如果您的“密钥”不可比较。在这种情况下,您还需要替换自己的HASH_FUNCTION
.
- struct Key {
- short s;
- /* 2 bytes of padding */
- float f;
- };
- /* do not compare the padding bytes; do not use memcmp on floats */
- unsigned key_hash(struct Key *s) { return s + (unsigned)f; }
- bool key_equal(struct Key *a, struct Key *b) { return a.s == b.s && a.f == b.f; }
-
- #define HASH_FUNCTION(s,len,hashv) (hashv) = key_hash((struct Key *)s)
- #define HASH_KEYCMP(a,b,len) (!key_equal((struct Key *)a, (struct Key *)b))
替换您自己的密钥比较函数的另一个原因是为了权衡原始速度的正确性。在它对存储桶的线性搜索期间,uthash 总是首先比较 32 位,并且只有在 比较相等时才hashv
调用。这意味着每次成功查找至少调用一次。给定一个好的散列函数,我们预计比较只会在 40 亿次中产生一次“误报”相等。因此,我们预计大部分时间都会生产。如果我们期望有很多成功的发现,并且我们的应用程序不介意偶尔的误报,我们可能会替换一个无操作比较函数:HASH_KEYCMP
hashv
HASH_KEYCMP
hashv
HASH_KEYCMP
0
- #undef HASH_KEYCMP
- #define HASH_KEYCMP(a,b,len) 0 /* occasionally wrong, but very fast */
注意:全局相等比较函数HASH_KEYCMP
与作为参数传递给的小于比较函数完全没有关系HASH_ADD_INORDER
。
在内部,散列函数将键转换为桶号。您无需执行任何操作即可使用默认散列函数,目前是 Jenkins。
某些程序可能会受益于使用另一个内置散列函数。uthash 包含一个简单的分析实用程序,可帮助您确定另一个哈希函数是否会为您提供更好的性能。
您可以通过使用下面列出的符号名称之一来编译程序-DHASH_FUNCTION=HASH_xyz
来使用不同的哈希函数 。xyz
例如,
cc -DHASH_FUNCTION=HASH_BER -o program program.c
象征 | 姓名 |
---|---|
| 詹金斯(默认) |
| 伯恩斯坦 |
| Shift-Add-Xor |
| 一次一个 |
| 福勒/诺尔/Vo |
| 保罗·谢 |
哪个哈希函数最好?
您可以轻松确定关键域的最佳哈希函数。为此,您需要在数据收集过程中运行一次程序,然后通过包含的分析实用程序运行收集的数据。
首先,您必须构建分析实用程序。从顶级目录,
- cd tests/
- make
我们将用于test14.c
演示数据收集和分析步骤(这里使用sh
语法将文件描述符 3 重定向到文件):
- % cc -DHASH_EMIT_KEYS=3 -I../src -o test14 test14.c
- % ./test14 3>test14.keys
- % ./keystats test14.keys
- fcn ideal% #items #buckets dup% fl add_usec find_usec del-all usec
- --- ------ ---------- ---------- ----- -- ---------- ---------- ------------
- SFH 91.6% 1219 256 0% ok 92 131 25
- FNV 90.3% 1219 512 0% ok 107 97 31
- SAX 88.7% 1219 512 0% ok 111 109 32
- OAT 87.2% 1219 256 0% ok 99 138 26
- JEN 86.7% 1219 256 0% ok 87 130 27
- BER 86.2% 1219 256 0% ok 121 129 27
笔记
| 中的数字 3-DHASH_EMIT_KEYS=3 是文件描述符。您的程序不用于其自身目的的任何文件描述符都可以使用而不是 3。 启用的数据收集模式-DHASH_EMIT_KEYS=x 不应在生产代码中使用。 |
通常,您应该只选择列出的第一个哈希函数。在这里,这是SFH
。这是为您的密钥提供最均匀分布的功能。如果有几个相同ideal%
,则根据find_usec
列选择最快的一个。
keystats 列参考
fcn
哈希函数的符号名
理想的%
哈希表中可以在理想步数内查找的项目的百分比。(下面进一步解释)。
#项目
从发出的密钥文件中读取的密钥数
#buckets
添加所有键后哈希中的桶数
重复%
在发出的密钥文件中遇到的重复密钥的百分比。过滤掉重复的键以保持键的唯一性。(重复是正常的。例如,如果应用程序将一个项目添加到哈希中,将其删除,然后重新添加,则密钥将两次写入发出的文件。)
旗帜
如果设置了扩展禁止标志,则为ok
或nx
(noexpand),如扩展内部中所述。不建议使用noexpand
设置了标志的散列函数。
add_usec
将所有键添加到哈希所需的时钟时间(以微秒为单位)
find_usec
查找哈希中的每个键所需的时钟时间(以微秒为单位)
删除所有 usec
删除哈希中的每个项目所需的时钟时间(以微秒为单位)
理想的%
哈希中的n 个项目被分配到k个桶中。理想情况下,每个桶将包含相等份额(n/k)的项目。换句话说,如果每个桶都被平等地使用,桶链中任何项目的最大线性位置将为n/k 。如果一些桶被过度使用而其他桶未被充分利用,过度使用的桶将包含线性位置超过n/k的项目。这样的项目被认为是不理想的。
正如您可能猜到的那样,ideal%
是散列中理想项目的百分比。这些项目在其桶链中具有有利的线性位置。随着ideal%
接近 100%,哈希表接近恒定时间查找性能。
笔记
| 此实用程序仅在 Linux 和 FreeBSD(8.1 及更高版本)上可用。 |
hashscan
目录中包含一个名为的实用程序tests/
。make
当您在该目录中运行时,它会自动构建。该工具检查正在运行的进程并报告它在该程序的内存中找到的 uthash 表。它还可以以可以输入的格式保存每个表中的键keystats
。
下面是一个使用的例子hashscan
。首先确保它已构建:
- cd tests/
- make
由于hashscan
需要一个正在运行的程序来检查,我们将启动一个简单的程序来创建一个哈希表,然后作为我们的测试对象休眠:
- ./test_sleep &
- pid: 9711
现在我们有了一个测试程序,让我们运行hashscan
它:
- ./hashscan 9711
- Address ideal items buckets mc fl bloom/sat fcn keys saved to
- ------------------ ----- -------- -------- -- -- --------- --- -------------
- 0x862e038 81% 10000 4096 11 ok 16 14% JEN
如果我们想使用 复制其所有键以进行外部分析keystats
,请添加-k
标志:
- ./hashscan -k 9711
- Address ideal items buckets mc fl bloom/sat fcn keys saved to
- ------------------ ----- -------- -------- -- -- --------- --- -------------
- 0x862e038 81% 10000 4096 11 ok 16 14% JEN /tmp/9711-0.key
现在我们可以运行./keystats /tmp/9711-0.key
来分析哪个散列函数在这组键上具有最佳特性。
hashscan 列参考
地址
哈希表的虚拟地址
理想的
可以在理想步数内查找的表中项目的百分比。请参阅本节中的[理想]keystats
。
项目
哈希表中的项目数
水桶
哈希表中的桶数
麦克
在哈希表中找到的最大链长度(uthash 通常会尝试在每个存储桶中保留少于 10 个项目,或者在某些情况下是 10 的倍数)
佛罗里达州
标志(或者ok
,或者NX
如果设置了扩展禁止标志)
绽放/星期六
如果哈希表使用布隆过滤器,这是过滤器的大小(作为 2 的幂)(例如,16 表示过滤器的大小为 2^16 位)。第二个数字是以百分比表示的位的“饱和度”。百分比越低,快速识别缓存未命中的潜在好处就越大。
fcn
哈希函数的符号名
键保存到
保存密钥的文件(如果有)
当 hashscan 运行时,它会将自己附加到目标进程,从而暂时挂起目标进程。在这个短暂的暂停期间,它会扫描目标的虚拟内存以查找 uthash 哈希表的签名。然后它检查签名是否附带有效的哈希表结构并报告它发现的内容。当它分离时,目标进程恢复正常运行。哈希扫描是“只读”执行的——目标进程没有被修改。由于 hashscan 正在分析正在运行的进程的瞬时快照,因此它可能会从一次运行返回不同的结果。
在内部,此哈希管理存储桶的数量,目标是拥有足够的存储桶,以便每个存储桶仅包含少量项目。
当通过其键查找项目时,此哈希会线性扫描相应存储桶中的项目。为了使线性扫描在恒定时间内运行,每个桶中的项目数必须是有界的。这是通过根据需要增加存储桶的数量来实现的。
正常展开
此哈希尝试在每个存储桶中保留少于 10 个项目。当添加一个会导致存储桶超过此数量的项目时,哈希中的存储桶数量会加倍,并且项目会重新分配到新存储桶中。在理想的世界中,每个桶将包含以前一半的项目。
存储桶扩展会根据需要自动且不可见地发生。应用程序无需知道它何时发生。
每桶扩展阈值
通常,所有存储桶共享相同的阈值(10 个项目),此时存储桶扩展被触发。在桶扩容过程中,如果发现某些桶被过度使用,uthash可以逐桶调整这个扩容触发阈值。
调整此阈值后,它会从 10 变为 10 的倍数(对于该特定存储桶)。倍数基于实际链长度比理想长度大多少倍。在散列函数过度使用几个桶但总体分布良好的情况下,减少桶的过度扩展是一种实用的措施。但是,如果整体分布变得太糟糕,uthash 就会改变策略。
抑制膨胀
您通常不需要知道或担心这一点,特别是如果您keystats
在开发期间使用该实用程序为您的密钥选择一个好的散列。
散列函数可能会在桶中产生不均匀的项目分布。适度这不是问题。随着链条长度的增长,正常的铲斗膨胀发生。但是当出现严重的不平衡时(因为散列函数不太适合关键域),桶扩展可能无法有效减少链长度。
想象一个非常糟糕的哈希函数,它总是将每个项目放在桶 0 中。无论桶的数量翻倍多少倍,桶 0 的链长度保持不变。在这种情况下,最好的行为是停止扩展,并接受O(n)的查找性能。这就是 uthash 所做的。如果散列函数不适合键,它会优雅地降级。
如果两个连续的桶扩展产生ideal%
的值低于 50%,则 uthash 禁止该哈希表的扩展。一旦设置,桶扩展禁止标志保持有效,只要散列中有项目。抑制膨胀可能会导致HASH_FIND
表现出比恒定时间性能更差的情况。
诊断挂钩
如果 uthash 正在扩展存储桶或设置存储桶扩展禁止标志,则会执行两个“通知”挂钩。应用程序无需设置这些挂钩或采取行动来响应这些事件。它们主要用于诊断目的。通常这两个钩子都是未定义的,因此编译为空。
uthash_expand_fyi
挂钩可以定义为在 utash 执行存储桶扩展时执行代码。
- #undef uthash_expand_fyi
- #define uthash_expand_fyi(tbl) printf("expanded to %u buckets\n", tbl->num_buckets)
每当 uthash 设置存储桶扩展禁止标志时,uthash_noexpand_fyi
可以定义挂钩以执行代码。
- #undef uthash_noexpand_fyi
- #define uthash_noexpand_fyi(tbl) printf("warning: bucket expansion inhibited\n")
你不需要使用这些钩子——它们只有在你想修改 uthash 的行为时才会出现。Hooks 可用于替换某些平台上可能不可用的标准库函数,更改 uthash 分配内存的方式,或运行代码以响应某些内部事件。
标uthash.h
头会将这些钩子定义为默认值,除非它们已经定义。#undef
在include 之后重新定义它们是安全的uthash.h
,或者在包含之前定义它们是安全的;例如,通过-Duthash_malloc=my_malloc
命令行传递。
指定备用内存管理功能
默认情况下,uthash 使用malloc
andfree
来管理内存。如果您的应用程序使用自己的自定义分配器,uthash 也可以使用它们。
- #include "uthash.h"
-
- /* undefine the defaults */
- #undef uthash_malloc
- #undef uthash_free
-
- /* re-define, specifying alternate functions */
- #define uthash_malloc(sz) my_malloc(sz)
- #define uthash_free(ptr, sz) my_free(ptr)
-
- ...
注意uthash_free
接收两个参数。该sz
参数是为了方便管理自己的内存的嵌入式平台。
指定备用标准库函数
Uthash 还使用strlen
(例如在HASH_FIND_STR
便利宏中)和memset
(仅用于归零内存)。在不提供这些功能的平台上,您可以替换自己的实现。
- #undef uthash_bzero
- #define uthash_bzero(a, len) my_bzero(a, len)
-
- #undef uthash_strlen
- #define uthash_strlen(s) my_strlen(s)
记不清
如果内存分配失败(即uthash_malloc
函数返回NULL
),默认行为是通过调用来终止进程exit(-1)
。这可以通过重新定义uthash_fatal
宏来修改。
- #undef uthash_fatal
- #define uthash_fatal(msg) my_fatal_function(msg)
致命功能应终止进程或longjmp
返回安全位置。请注意,分配失败可能会导致分配的内存无法恢复。之后uthash_fatal
,哈希表对象应该被认为是不可用的;HASH_CLEAR
当哈希表处于这种状态时,即使在哈希表上运行也可能不安全。
要在无法分配内存时启用“返回失败”,请HASH_NONFATAL_OOM
在包含uthash.h
头文件之前定义宏。在这种情况下,uthash_fatal
不使用;相反,每次分配失败都会导致一次调用uthash_nonfatal_oom(elt)
whereelt
是其插入触发失败的元素的地址。的默认行为 uthash_nonfatal_oom
是无操作。
- #undef uthash_nonfatal_oom
- #define uthash_nonfatal_oom(elt) perhaps_recover((element_t *) elt)
在调用 之前uthash_nonfatal_oom
,哈希表回滚到有问题的插入之前的状态;没有内存泄漏。throw
进出处理程序是安全longjmp
的uthash_nonfatal_oom
。
参数将elt
是正确的指向元素的类型,除非 uthash_nonfatal_oom
从 调用HASH_SELECT
,在这种情况下,它将是void*
类型并且必须在使用之前进行强制转换。无论如何,elt->hh.tbl
都会NULL
。
ADD
只有在向哈希表添加元素时(包括、REPLACE
和SELECT
操作) ,分配失败才可能发生。uthash_free
不允许失败。
如果使用此哈希的程序使用 编译-DHASH_DEBUG=1
,则会激活特殊的内部一致性检查模式。在这种模式下,每次添加或删除操作后都会检查整个哈希的完整性。这仅用于调试 uthash 软件,不用于生产代码。
在tests/
目录中,runningmake debug
将运行此模式下的所有测试。
在这种模式下,散列数据结构中的任何内部错误都会导致打印消息stderr
并退出程序。
UT_hash_handle
数据结构next
包括、prev
和hh_next
字段 hh_prev
。前两个字段决定了“应用程序”的顺序(即插入顺序——添加项目的顺序)。后两个字段确定“桶链”顺序。它们UT_hash_handles
在一个双向链表中链接在一起,这是一个桶链。
在模式下执行的检查-DHASH_DEBUG=1
:
哈希被完整遍历两次:一次按桶顺序,第二次按应用程序顺序
将两次行走中遇到的项目总数与存储的数量进行检查
在遍历桶顺序期间,将每个项目的hh_prev
指针与最后访问的项目进行比较
在遍历应用程序顺序期间,将每个项目的prev
指针与最后访问的项目进行比较
有时很难解释包含宏调用的行上的编译器警告。在 uthash 的情况下,一个宏可以扩展到几十行。在这种情况下,扩展宏然后重新编译会很有帮助。通过这样做,警告消息将引用宏中的确切行。
这是一个如何扩展宏然后重新编译的示例。这将使用 子目录test1.c
中的程序。tests/
- gcc -E -I../src test1.c > /tmp/a.c
- egrep -v '^#' /tmp/a.c > /tmp/b.c
- indent /tmp/b.c
- gcc -o /tmp/b /tmp/b.c
最后一行编译原始程序 (test1.c) 并展开所有宏。如果有警告,可以签入引用的行号/tmp/b.c
。
您可以在线程程序中使用 uthash。但是您必须进行锁定。使用读写锁来防止并发写入。可以有并发阅读器(从 uthash 1.5 开始)。
例如,使用 pthreads 你可以像这样创建一个 rwlock:
- pthread_rwlock_t lock;
- if (pthread_rwlock_init(&lock, NULL) != 0) fatal("can't create rwlock");
然后,读者必须在进行任何HASH_FIND
调用或迭代散列元素之前获取读锁:
- if (pthread_rwlock_rdlock(&lock) != 0) fatal("can't get rdlock");
- HASH_FIND_INT(elts, &i, e);
- pthread_rwlock_unlock(&lock);
写入者在进行任何更新之前必须获得排他写入锁。添加、删除和排序都是必须锁定的更新。
- if (pthread_rwlock_wrlock(&lock) != 0) fatal("can't get wrlock");
- HASH_DEL(elts, e);
- pthread_rwlock_unlock(&lock);
如果您愿意,您可以使用互斥锁而不是读写锁,但这会将读取器的并发性减少为一次单个线程。
使用带有读写锁的 uthash 的示例程序包含在 tests/threads/test1.c
.
便利宏与通用宏做同样的事情,但需要更少的参数。
为了使用方便的宏,
结构的UT_hash_handle
字段必须命名为hh
,并且
对于添加或查找,关键字段必须是类型int
或char[]
或指针
宏 | 论据 |
---|---|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
这些宏在散列中添加、查找、删除和排序项目。如果您UT_hash_handle
的名称不是hh
,或者您的键的数据类型不是int
or ,则需要使用通用宏char[]
。
宏 | 论据 |
---|---|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
笔记
| HASH_ADD_KEYPTR 当结构包含指向键的指针而不是键本身时使用。 |
和宏是一种性能机制HASH_VALUE
,..._BYHASHVALUE
主要针对具有不同结构、不同哈希表、具有相同键的特殊情况。它允许一次获取哈希值,然后将其传递给..._BYHASHVALUE
宏,从而节省了重新计算哈希值的费用。