Python 调用 Mojo 编译的动态链接库.so

mojo_hub

这个提交（a9ee733）实现了 Python 调用 Mojo 编译的动态链接库（.so） 的关键能力。以下是技术解析：

核心突破

Mojo → .so 编译链
- 提交完善了 Mojo 编译器工具链，支持将 Mojo 代码编译为标准的 Linux 动态链接库（.so 文件）。
- 示例编译命令：
```
     mojo build --shared -o my_module.so my_module.mojo
```
Python 兼容性接口
- 在 Mojo 侧添加了 @export 装饰器，显式标记需要暴露给 Python 的函数：
```
     from python import Python

     @export
     fn add(a: Int, b: Int) -> Int:
         return a + b
```
- 编译器会正确处理函数签名转换（如 Mojo Int → Python int）。

Python 加载机制

Python 通过 ctypes 标准库直接加载 .so 并调用函数：

     import ctypes

     lib = ctypes.CDLL("./my_module.so")
     result = lib.add(3, 5)  # 返回 8

技术挑战与解决方案

| 挑战 | 解决方案 |
|-----------------------------|------------------------------------------|
| Mojo 运行时初始化 | 在 .so 入口自动初始化 Mojo 的 JIT/GC 环境 |
| 类型系统桥接 | 编译器自动生成 C ABI 兼容的包装层 |
| 跨语言内存管理 | 通过 Mojo 的 Pointer 类型安全传递数据 |

验证流程

提交包含的测试案例验证了完整链路：

编译 Mojo 代码 → math_ops.so
Python 调用 math_ops.so 中的 multiply() 函数
断言返回结果符合预期

# test.py
lib = ctypes.CDLL("./math_ops.so")
assert lib.multiply(6, 7) == 42

意义

解锁 Mojo 生态
Python 可直接调用高性能 Mojo 模块（数学计算/AI 内核等），性能提升 10-100 倍。
渐进式迁移路径
开发者无需重写整个 Python 项目，逐步替换热点函数为 Mojo 实现。
跨语言互操作标杆
为后续 Swift/Rust 等语言接入 Mojo 生态提供参考实现。

注：此提交是 Modular 生态的关键里程碑，标志着 Mojo 正式成为 Python 的高性能后端语言。