jank语言模块系统优化方案解析

jank语言作为一门新兴的Lisp方言，其模块系统正在经历一系列重要的优化和改进。本文将深入分析jank模块系统的当前状态、存在的问题以及规划中的优化方案。

模块加载机制优化

jank计划引入两个关键动态变量来增强模块加载的健壮性：

1. 已加载模块跟踪：通过*loaded-libs*动态变量维护一个已加载模块的有序集合。与Clojure使用ref不同，jank选择使用atom来实现这一功能，简化了实现同时保证了线程安全。

2. 循环依赖检测：引入*pending-paths*动态变量来跟踪当前线程正在加载的模块路径栈，配合check-cyclic-dependency函数实现循环依赖检测。

事务性加载行为

测试表明，当模块加载过程中抛出异常时，Clojure仍会将该模块标记为已加载。jank将遵循这一行为模式，确保模块加载的事务性特性。通过使用atom来管理*loaded-libs*，jank能够在保证线程安全的同时实现与Clojure一致的行为。

模块查找机制增强

jank新增了origin枚举类型来明确指定模块加载来源（源码或二进制）。未来计划将部分load_module功能提取到find_module函数中，该函数将根据origin参数返回包含模块入口和应使用部分的信息结构。

重新加载支持

jank将实现:reload和:reload-all功能：

• :reload强制从最新来源重新加载指定模块
• :reload-all重新加载指定模块及其所有依赖项

AOT编译优化

依赖处理

确保模块AOT编译时正确处理其依赖项。例如，当编译模块a（依赖模块b）时，应生成两个独立的LLVM IR模块，并在加载a时自动加载b。

时间戳检查

引入基于时间戳的智能加载机制：

• 当origin为latest时，比较二进制和源码的时间戳
• 仅当二进制不存在或源码更新时才重新编译

二进制缓存管理

优化二进制缓存路径生成机制，考虑以下因素：

1. 优化级别（来自CLI参数）
2. 包含目录和预处理器定义（来自CLI参数）
3. 目标架构（未来支持）
4. 直接链接（未来支持）

符号处理

防止符号重复生成：

1. 完全限定生成符号（如foo_456_0变为clojure_core_foo_456_0）
2. 修改unique_{string,symbol}函数使用当前命名空间
3. 添加C API函数jank_set_module_symbol_counter
4. 在代码生成中调用新C API函数

原生模块支持

对于.cpp源文件的模块，jank计划支持直接AOT编译为.o文件。实现方案可能包括：

• 直接调用Clang进行编译（传统方式）
• 探索通过LLVM JIT获取IR模块并保存为对象文件（更优方案）

这些优化将使jank语言的模块系统更加健壮、高效，为开发者提供更可靠的依赖管理和编译体验。