microPython的源码解析之 nlrx86.c

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

microPython Python最小内核源码解析

以下代码主要涉及到非局部跳转（Non-Local Return，NLR）的实现，这是在异常处理和协程等场景中常用的一种技术。代码中使用了内联汇编，这是因为在某些情况下，C语言无法直接表达所需的底层操作，需要直接控制硬件指令来实现特定的功能。

// 代码重新输出，并翻译注释为中文，同时补充一些注释

// 如果定义了MICROPY_NLR_X86，则执行以下代码
#if MICROPY_NLR_X86

// 取消原有的nlr_push函数定义
#undef nlr_push

// 参考信息：x86架构中调用者保存的寄存器包括：
//  ebx, esi, edi, ebp, esp, eip

// 如果定义了MICROPY_NLR_OS_WINDOWS，则使用内联汇编定义nlr_push_tail函数
#if MICROPY_NLR_OS_WINDOWS
unsigned int nlr_push_tail(nlr_buf_t *nlr) asm ("nlr_push_tail");
#else
// 否则，使用C语言定义nlr_push_tail函数，并标记为已使用，防止编译器优化掉
__attribute__((used)) unsigned int nlr_push_tail(nlr_buf_t *nlr);
#endif

// 根据编译器和操作系统的不同，定义USE_NAKED和UNDO_PRELUDE宏
#if !defined(__clang__) && defined(__GNUC__) && __GNUC__ >= 8
// 从gcc 8.0开始支持naked属性
#define USE_NAKED (1)
#define UNDO_PRELUDE (0)
#elif defined(__ZEPHYR__) || defined(__ANDROID__)
// Zephyr和Android默认使用不同的调用约定
#define USE_NAKED (0)
#define UNDO_PRELUDE (0)
#else
// 其他情况
#define USE_NAKED (0)
#define UNDO_PRELUDE (1)
#endif

// 如果USE_NAKED为1，则使用naked属性
#if USE_NAKED
__attribute__((naked))
#endif
// 定义nlr_push函数，用于保存当前函数的调用帧到nlr_buf结构体中
unsigned int nlr_push(nlr_buf_t *nlr) {
   
    // 传入的nlr参数被忽略
    (void)nlr;

    // 根据UNDO_PRELUDE宏的值，可能需要撤销函数的前导代码
    __asm volatile (
        #if UNDO_PRELUDE
        "pop    %ebp                \n" // 撤销函数的前导代码
        #endif
        // 从栈中加载nlr_buf指针，并保存到edx寄存器
        "mov    4(%esp), %edx       \n"
        // 从栈中加载返回地址(%eip)，并保存到eax寄存器
        "mov    (%esp), %eax        \n"
        // 将返回地址保存到nlr_buf结构体中
        "mov    %eax, 8(%edx)       \n"
        // 依次保存ebp, esp, ebx, edi, esi寄存器的值到nlr_buf结构体中
        "mov    %ebp, 12(%edx)      \n"
        "mov    %esp, 16(%edx)      \n"
        "mov    %ebx, 20(%edx)      \n"
        "mov    %edi, 24(%edx)      \n"
        "mov    %esi, 28(%edx)      \n"
        // 跳转到nlr_push_tail函数，完成剩余的工作
        "jmp    nlr_push_tail       \n"
        )</