microPython的源码解析之 map.c

MicroPython 是一种适用于微控制器和其他受限环境的 Python 编程语言的实现。它旨在提供与 Python 3 语言的紧密兼容，同时考虑到内存和计算资源的限制。MicroPython 库是这门语言的核心组成部分，提供了一系列的模块和函数，使得开发者能够在硬件上执行各种任务。
下面将通过系列文章,逐一解读microPython,以便让读者了解掌握microPython的整个核心逻辑.,以便读者可以透过这个Python的最小内核,掌握Python解析器的核心实现逻辑,学习世界上最优秀的源码设计之一.

microPython Python最小内核源码解析

#include <stdint.h> // 包含标准整数类型定义
#include <stdlib.h> // 包含内存分配等函数
#include <string.h> // 包含字符串操作函数
#include <assert.h> // 包含断言宏

#include "py/mpconfig.h" // 包含MicroPython配置
#include "py/misc.h" // 包含MicroPython杂项定义
#include "py/runtime.h" // 包含MicroPython运行时环境定义

// 根据编译时的调试选项决定是否打印调试信息
#if MICROPY_DEBUG_VERBOSE // 如果定义了MICROPY_DEBUG_VERBOSE
#define DEBUG_PRINT (1)
#else // 否则
#define DEBUG_PRINT (0)
#define DEBUG_printf(...) (void)0 // 不打印调试信息
#endif

// 如果定义了MICROPY_OPT_MAP_LOOKUP_CACHE，则启用映射查找缓存
#if MICROPY_OPT_MAP_LOOKUP_CACHE
// 定义缓存索引计算宏，用于优化映射查找操作
#define MAP_CACHE_OFFSET(index) ((((uintptr_t)(index)) >> 2) % MICROPY_OPT_MAP_LOOKUP_CACHE_SIZE)
#define MAP_CACHE_ENTRY(index) (MP_STATE_VM(map_lookup_cache)[MAP_CACHE_OFFSET(index)])
#define MAP_CACHE_GET(map, index) (&(map)->table[MAP_CACHE_ENTRY(index) % (map)->alloc])
#define MAP_CACHE_SET(index, pos) MAP_CACHE_ENTRY(index) = (pos) & 0xff;
#else
#define MAP_CACHE_SET(index, pos)
#endif

// 哈希表大小增长的控制表，初始大小选择为适应4-word GC块，后面的大小为质数且增长速率递增
static const uint16_t hash_allocation_sizes[] = {
   
    0, 2, 4, 6, 8, 10, 12, // +2
    17, 23, 29, 37, 47, 59, 73, // *1.25
    97, 127, 167, 223, 293, 389, 521, 691, 919, 1223, 1627, 2161, // *1.33
    3229, 4831, 7243, 10861, 16273, 24407, 36607, 54907, // *1.5
};

// 根据给定的size找到一个大于或等于它的哈希表分配大小
static size_t get_hash_alloc_greater_or_equal_to(size_t x) {
   
    for (size_t i = 0; i < MP_ARRAY_SIZE(hash_allocation_sizes); i++) {
   
        if (hash_allocation_sizes[i] >= x) {
   
            return hash_allocation_sizes[i];
        }
    }
    // 如果表中的质数不足以满足需求，则返回一个合理的值
    return (x + x / 2) | 1;
}

// 以下是map（映射）相关的函数实现

// 初始化map，根据传入的元素数量n分配空间
void mp_map_init(mp_map_t *map, size_t n) {
   
    if (n == 0) {
   
        map->alloc = 0;
        map->table = NULL;
    } else {
   
        map->alloc = n;</