我正在尝试理解和使用内核哈希表,并且我已经阅读了this和this链接,但我一个都不理解。我的第一个问题是:为什么我们的结构体内部必须有
struct h_list
?如果我们要通过 struct h_list
访问我们的结构,我们的结构不应该在 struct h_list
内,而不是相反?阅读完教程后,我尝试编写以下代码:
DECLARE_HASHTABLE(nodes_hash, 3)
hash_init(nodes_hash);
struct h_node{
int data;
char name[MAX_NAME_SIZE]; /*The key is the name of lua state*/
struct hlist_node node;
};
struct h_node a = {
.data = 3,
.name = "foo",
.node = 0
};
struct h_node b = {
.data = 7,
.name = "bar",
.node = 0
};
hash_add(nodes_hash,&a.node, "foo");
hash_add(nodes_hash,&b.node, "bar");
但这甚至无法编译。我做错了什么?我需要密钥与
struct h_node
中存在的名称相同。所以我希望我的哈希表是这样的:
PS:在我的哈希表中,它永远不会发生冲突(我会处理它永远不会发生),所以键可以是
struct h_node
中的名称
为什么我们的结构体内部必须有
?如果我们要通过struct h_list
访问我们的结构,我们的结构不应该在struct h_list
内,而不是相反?struct h_list
这是因为哈希表在 Linux 内核中的实现方式。哈希表只是一个固定大小为
struct hlist_head
的数组。其中每一个代表一个桶,并且是链表的头。哈希表只包含一堆struct hlist_node
的链表,没有别的。它并不真正“存储”整个用户定义的结构,它仅保存指向每个元素的 struct hlist_node
字段的指针。
向哈希表添加元素时,会选择一个存储桶,并将指向结构体
struct hlist_node
字段的指针插入到存储桶列表中。当您稍后检索元素时(例如通过 hash_for_each()
),container_of()
宏用于获取真实的结构,了解其类型以及用户定义结构内类型 struct hlist_node
的结构成员的名称。
这可以从源代码中看到。例如,对于
hash_for_each()
,我们有:
hash_for_each(name, bkt, obj, member)
确实:
for ((bkt) = 0, obj = NULL; obj == NULL && (bkt) < HASH_SIZE(name);\
(bkt)++)\
hlist_for_each_entry(obj, &name[bkt], member)
hlist_for_each_entry()
确实:
for (pos = hlist_entry_safe((head)->first, typeof(*(pos)), member);\
pos; \
pos = hlist_entry_safe((pos)->member.next, typeof(*(pos)), member))
hlist_entry_safe()
确实:
({ typeof(ptr) ____ptr = (ptr); \
____ptr ? hlist_entry(____ptr, type, member) : NULL; \
})
hlist_entry()
使用container_of()
来获取真正的结构:
#define hlist_entry(ptr, type, member) container_of(ptr,type,member)
我需要密钥与
中存在的名称相同。struct h_node
这在本质上是不可能的。 Linux 内核哈希表 API 仅处理整数键。如果你看一下
linux/hashtable.h
中的实现,你可以看到使用的哈希函数是 hash_32()
和 hash_64()
,它们都采用无符号整数值(u32
和 u64
)分别)。
Linux 内核哈希表 API 非常有限,并且它肯定不实现您在其他编程语言中习惯的相同类型的哈希表。它不能使用字符串作为键,并且它有固定的大小。
如果您想使用字符串,则必须对这些字符串进行哈希处理以生成无符号整数。为此,您可以使用
xxhash()
或编写自己的函数。 xxhash()
函数相对较新,似乎尚未在内核代码中使用,因此我认为您的内核很可能配置为没有它,并且您没有它可用。
无论如何,请注意,如果哈希函数将不同字符串转换为相同键,或者如果
hash_add()
最终在哈希表数组中选择相同的索引来插入元素,那么这两个元素将被放置在同一个哈希表桶中。因此,在检索任何元素时(例如使用 hash_for_each_possible()
),您需要考虑到这一点并正确检查其 name
。
这里有一个完整的工作示例,演示了内核哈希表的基本用法,在内核 v4.9 上进行了测试,但也应该适用于最新的 v5.7。请注意,在本示例中,为了简单起见,我在模块
_init
函数的堆栈上分配变量。这意味着除了该函数内部之外,我无法从代码中的其他任何地方执行 hash_for_each_possible()
操作。如果您想要一个能够保存稍后由不同函数访问的元素的全局哈希表,则需要使用 kmalloc()
动态分配它们。
// SPDX-License-Identifier: GPL-3.0
#include <linux/hashtable.h> // hashtable API
#include <linux/module.h> // module_{init,exit}, MODULE_*
#include <linux/string.h> // strcpy, strcmp
#include <linux/types.h> // u32 etc.
#define MAX 32
struct h_node {
int data;
char name[MAX];
struct hlist_node node;
};
DECLARE_HASHTABLE(tbl, 3);
// Just to demonstrate the behavior when two keys are equal.
static u32 myhash(const char *s) {
u32 key = 0;
char c;
while ((c = *s++))
key += c;
return key;
}
static int __init myhashtable_init(void)
{
struct h_node a, b, *cur;
u32 key_a, key_b;
unsigned bkt;
pr_info("myhashtable: module loaded\n");
a.data = 3;
strcpy(a.name, "foo");
b.data = 7;
strcpy(b.name, "oof");
/* Calculate key for each element.
* Since the above hash function only sums the characters, we will
* end up having two identical keys here.
*/
key_a = myhash(a.name);
key_b = myhash(b.name);
pr_info("myhashtable: key_a = %u, key_b = %u\n", key_a, key_b);
// Initialize the hashtable.
hash_init(tbl);
// Insert the elements.
hash_add(tbl, &a.node, key_a);
hash_add(tbl, &b.node, key_b);
// List all elements in the table.
hash_for_each(tbl, bkt, cur, node) {
pr_info("myhashtable: element: data = %d, name = %s\n",
cur->data, cur->name);
}
// Get the element with name = "foo".
hash_for_each_possible(tbl, cur, node, key_a) {
pr_info("myhashtable: match for key %u: data = %d, name = %s\n",
key_a, cur->data, cur->name);
// Check the name.
if (!strcmp(cur->name, "foo")) {
pr_info("myhashtable: element named \"foo\" found!\n");
break;
}
}
// Remove elements.
hash_del(&a.node);
hash_del(&b.node);
return 0;
}
static void __exit myhashtable_exit(void)
{
// Do nothing (needed to be able to unload the module).
pr_info("myhashtable: module unloaded\n");
}
module_init(myhashtable_init);
module_exit(myhashtable_exit);
MODULE_VERSION("0.1");
MODULE_DESCRIPTION("Silly kernel hashtable API example module.");
MODULE_AUTHOR("Marco Bonelli");
MODULE_LICENSE("GPL");
dmesg
在我的机器上输出:
[ 3174.567029] myhashtable: key_a = 324, key_b = 324
[ 3174.567030] myhashtable: element: data = 7, name = oof
[ 3174.567031] myhashtable: element: data = 3, name = foo
[ 3174.567032] myhashtable: match for key 324: data = 7, name = oof
[ 3174.567033] myhashtable: match for key 324: data = 3, name = foo
[ 3174.567033] myhashtable: element named "foo" found!