Erlang Map源码初探

2019独角兽企业重金招聘Python工程师标准>>>

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时

1. 先尝试分配一个原来大小一致的内存（不包含tuple-key数组），mp->keys指向原来的tuple-key数组 （重用），遍历keys，复制原来的values数组，如果跟insert的key一致的，就赋值在新的value。
2. 步骤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的来实现持久化数据的共享。

转载于:https://my.oschina.net/rongtou/blog/865900