microPython的源码解析之 pairheap.c

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

---

microPython Python最小内核源码解析
NI-motion运动控制c语言示例代码解析
python编程示例系列 python编程示例系列二
python的Web神器Streamlit

---

代码是一个对偶堆（pairing heap）的实现，包括合并（meld）、配对（pairing）和删除（delete）操作。对偶堆是一种特殊的优先队列数据结构，它通过维护一组堆来实现高效的合并操作。每个堆都是一个最小堆，合并两个堆时，只需要将两个堆的子堆进行配对即可。
在这段代码中，使用了一些位操作的技巧来优化内存的使用和操作的速度。例如，通过设置next指针的最低位来判断一个节点是否是其父节点的最右边的子节点，这样可以在不增加额外空间的情况下维护父子关系。
合并操作 mp_pairheap_meld 用于将两个堆合并成一个堆，配对操作 mp_pairheap_pairing 用于将一系列没有父节点的子节点配对成一个堆，删除操作 mp_pairheap_delete 用于从堆中删除一个节点。这些操作的时间复杂度分别是 O(1)、摊销 O(log N) 和摊销 O(log N)，这使得对偶堆在需要频繁合并堆时非常高效。

#include "py/pairheap.h"

// mp_pairheap_t.next 指针可以取以下值之一：
//   - NULL：节点是堆的顶部
//   - 低位设置（LSB set）：节点是子节点中的最后一个，并且指向其父节点
//   - 其他：节点是子节点但不是最后一个子节点
// 下面的宏定义帮助管理这个指针。
#define NEXT_MAKE_RIGHTMOST_PARENT(parent) ((void *)((uintptr_t)(parent) | 1))
#define NEXT_IS_RIGHTMOST_PARENT(next) ((uintptr_t)(next) & 1)
#define NEXT_GET_RIGHTMOST_PARENT(next) ((void *)((uintptr_t)(next) & ~1))

// 时间复杂度为 O(1)，稳定的合并操作
mp_pairheap_t *mp_pairheap_meld(mp_pairheap_lt_t lt, mp_pairheap_t *heap1, mp_pairheap_t *heap2) {
   
    if (heap1 == NULL) {
   
        return heap2; // 如果第一个堆为空，返回第二个堆
    }
    if (heap2 == NULL) {
   
        return heap1; // 如果第二个堆为空，返回第一个堆
    }
    if (lt(heap1, heap2)) {
    // 如果第一个堆的值小于第二个堆的值
        if (heap1->child == NULL) {
    // 如果第一个堆没有子节点
            heap1->child = heap2; // 将第二个堆作为第一个堆的子节点
        } else {
    // 如果第一个堆有子节点
            heap1->child_last->next = heap2; // 将第二个堆链接到第一个堆的最后一个子节点的next指针
        }
        heap1->child_last = heap2; // 更新第一个堆的最后一个子节点
        heap2->next = NEXT_MAKE_RIGHTMOST_PARENT(heap1); // 设置第二个堆的next指针指向第一个堆的父节点
        return heap1; // 返回新的堆顶部
    } else {
    // 如果第二个堆的值不小于第一个堆的值
        heap1->next = heap2->child; // 将第一个堆的next指针指向第二个堆的子节点
        heap2->child = heap1; // 将第二个堆作为第一个堆的子节点
        if (heap1->next == NULL) {
    // 如果第一个堆的子节点为空
            heap2->child_last = heap1; // 更新第二个堆的最后一个子节点
            heap1->next = NEXT_MAKE_RIGHTMOST_PARENT(heap2); // 设置第一个堆的next指针指向第二个堆的父节点
        }
        return heap2; // 返回新的堆顶部
    }
}

// 时间复杂度为摊销 O(log N)，稳定的配对操作
mp_pairheap_t *mp_pairheap_pairing(mp_pairheap_lt_t lt, mp_pairheap_t *child) {
   
    if (child == NULL) {
   
        return NULL; // 如果子节点为空，返回空指针
    }
    mp_pairheap_t *heap = NULL; // 初始化堆指针为空
    while (!NEXT_IS_RIGHTMOST_PARENT(child)) {
    // 遍历子节点链表
        mp_pairheap_t *n1 = child; // 保存当前子节点
        child = child->next; // 移动到下一个子节点
        n1->next = NULL; // 断开当前子节点的链接
        if (!NEXT_IS_RIGHTMOST_PARENT(child)) {