new()
put()
当map的size为0时,
if (n == 0) {
hp = HAlloc(p, MAP_HEADER_FLATMAP_SZ + 1 + 2);
tup = make_tuple(hp);
*hp++ = make_arityval(1);
*hp++ = key;
res = make_flatmap(hp);
*hp++ = MAP_HEADER_FLATMAP;
*hp++ = 1;
*hp++ = tup;
*hp++ = value;
return res;
}
在堆上重新分配一组内存,key存于tuples内,value在flatmap_t结构后面接上,可以看出key跟value都是一段连续内存存储。
size < 32时
先尝试分配一个原来大小一致的内存(不包含tuple-key数组),mp->keys指向原来的tuple-key数组 (重用),遍历keys,复制原来的values数组,如果跟insert的key一致的,就赋值在新的value。
步骤1中没找到对应的key,则为新增key-value。步骤1分配的内存用来作为新的tuple-key数组,再申请(3+n+1)大小的内存,复制原来的keys,values过来,再在尾部添加新的key-value
小数据量的实现就是双数组,通过查keys数组中k的索引,从values数组中直接读取对应的值,查找的算法复杂度为O(n) 。keys分配的内存并一定需要跟values的在一块连续内存上,因为更新values时可以共用已有的keys。
当map数据量大于32时,采用HAMT来存储
数据量小于32时,增删都是复制原有数据来修改的。大于32时,则利用HAMT的来实现持久化数据的共享。