microPython的源码解析之 nlrthumb.c

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

microPython Python最小内核源码解析
代码是针对 ARM/Thumb 架构的非局部跳转（Non-Local Return, NLR）的实现。代码分为两部分：nlr_push 函数用于保存当前函数的寄存器状态到一个结构体中，而 nlr_jump 函数则用于从这个结构体恢复寄存器状态，并执行跳转。
这种机制通常用于异常处理或者实现协作式多任务调度等场景。代码中的汇编部分直接操作 CPU 寄存器，因此需要根据具体的 CPU 架构和编译器进行适配。

#include "py/mpstate.h"

#if MICROPY_NLR_THUMB

// 取消定义 nlr_push 宏
#undef nlr_push

// 当我们在使用 ARM/Thumb 架构且不使用 setjmp/longjmp 时，才需要这里的函数。
//
// 参考信息：ARM/Thumb 调用者保存寄存器有：
//      r4-r11, r13=栈指针sp

// 标记该函数为 naked，即不包含函数调用的前缀和后缀代码
__attribute__((naked)) unsigned int nlr_push(nlr_buf_t *nlr) {
   
    // 以下为汇编代码，用于保存寄存器状态到 nlr_buf 结构体中

    __asm volatile (
        "str    r4, [r0, #12]       \n" // 将 r4 寄存器的值存储到 nlr_buf 结构体的偏移地址为 12 的位置
        "str    r5, [r0, #16]       \n" // 将 r5 寄存器的值存储到 nlr_buf 结构体的偏移地址为 16 的位置
        "str    r6, [r0, #20]       \n" // 将 r6 寄存器的值存储到 nlr_buf 结构体的偏移地址为 20 的位置
        "str    r7, [r0, #24]       \n" // 将 r7 寄存器的值存储到 nlr_buf 结构体的偏移地址为 24 的位置

        #if !defined(__thumb2__)
        // 如果不是 Thumb2 架构，则需要移动寄存器的值到 r1，然后再存储
        "mov    r1, r8              \n"
        "str    r1, [r0, #28]       \n" // 将 r8 寄存器的值存储到 nlr_buf 结构体的偏移地址为 28 的位置
        "mov    r1, r9              \n"
        "str    r1, [r0, #32]       \n" // 将 r9 寄存器的值存储到 nlr_buf 结构体的偏移地址为 32 的位置
        "mov    r1, r10             \n"
        "str    r1, [r0, #36]       \n" // 将 r10 寄存器的值存储到 nlr_buf 结构体的偏移地址为 36 的位置
        "mov    r1, r11             \n"
        "str    r1, [r0, #40]       \n" // 将 r11 寄存器的值存储到 nlr_buf 结构体的偏移地址为 40 的位置
        "mov    r1, r13             \n"
        "str    r1, [r0, #44]       \n" // 将 r13=栈指针sp的值存储到 nlr_buf 结构体的偏移地址为 44 的位置
        "mov    r1, lr              \n"
        "str    r1, [r0, #8]        \n" // 将 lr 寄存器的值存储到 nlr_buf 结构体的偏移地址为 8 的位置
        #else
        // 如果是 Thumb2 架构，则直接存储
        "str    r8, [r0, #28]       \n" // 存储 r8 寄存器的值
        "str    r9, [r0, #32]       \n" // 存储 r9 寄存器的值
        "str    r10, [r0, #36]      \n" // 存储 r10 寄存器的值
        "str    r11, [r0, #40]      \n" // 存储 r11 寄存器的值
        "str    r13, [r0, #44]      \n" // 存储 r13=栈指针sp的值
        #if MICROPY_NLR_NUM_REGS == 16
        // 如果定义了 MICROPY_NLR_NUM_REGS 为 16，则存储额外的寄存器
        "vstr   d8, [r0, #48]       \n" // 存储 s16-s17 寄存器的值
        "vstr   d9, [r0, #56]       \n" // 存储 s18-s19 寄存器的值
        "vstr   d10, [r0, #64]      \n" // 存储 s20-s21 寄存器的值
        #endif
        "str    lr, [r0, #8]        \n" // 存储 lr 寄存器的值
        #endif

        #if !defined(__thumb2__)
        // 如果不是 Thumb2 架构，使用标签跳转到 C 语言代码部分继续执行
        "ldr    r1, nlr_push_tail_var \n"
        "bx     r1                  \n" // 跳转到 C 语言代码部分
        ".align 2                   \n"
        "nlr_push_tail_var: .word nlr_push_tail \n"
        #else
        // 如果是 Thumb2 架构，直接跳转到 C 语言代码部分继续执行
        #if defined(__APPLE__) || defined(__MACH__)
        "b      _nlr_push_tail      \n" // 跳转到 C 语言代码部分
        #else
        "b      nlr_push_tail       \n" // 跳转到 C 语言代码部分
        #