IREE项目中静态库加载器的多实例使用问题分析

问题背景

在IREE运行时系统中，静态库加载器(static library loader)是一个关键组件，负责加载和执行预编译的机器学习模型。开发者发现当尝试同时使用两个静态库加载器实例时，系统无法正确识别已注册的库模块，导致模块加载失败。

问题现象

开发者通过多次调用iree_hal_static_library_loader_create()函数注册了两个不同的静态库加载器。然而，当尝试注册一个引用其中某个库的模块时，系统返回了"NOT_FOUND"错误，提示无法找到名为'my_module_linked'的静态库。

技术分析

预期行为

根据函数注释，iree_hal_static_library_loader_create()应该支持通过多次调用注册多个库。这意味着系统应该能够维护多个静态库加载器实例，并能正确识别每个实例中注册的库模块。

实际行为

系统在查找库模块时，如果在前几个加载器实例中未找到目标模块，会直接返回NOT_FOUND错误，而不是继续在其他加载器实例中查找。这与IREE运行时系统中其他组件(如loader module和local executable cache)的处理逻辑不一致，这些组件会同时检查CANCELLED和NOT_FOUND状态。

根本原因

问题出在iree_hal_static_library_loader_try_load()函数的错误处理逻辑上。该函数在找不到匹配的库模块时返回NOT_FOUND状态，而调用链上层的组件只处理CANCELLED状态，导致查找过程提前终止。

解决方案

通过修改iree_hal_static_library_loader_try_load()函数的返回值，将NOT_FOUND改为CANCELLED，可以使系统行为符合预期。这一修改使得：

1. 上层组件能够正确识别"未找到"状态
2. 系统可以继续在其他加载器实例中查找目标模块
3. 保持了与现有错误处理逻辑的一致性

技术影响

这一修复对于IREE的模块加载系统具有重要意义：

1. 增强了系统的灵活性，支持更复杂的库管理场景
2. 保持了错误处理的一致性，减少潜在的边界情况
3. 为未来可能的多加载器协作机制奠定了基础

最佳实践建议

对于使用IREE静态库加载器的开发者，建议：

1. 明确每个加载器实例的职责范围
2. 注意模块命名的唯一性，避免冲突
3. 在复杂场景中合理规划加载器的使用策略
4. 关注错误处理逻辑，确保能够捕获所有可能的错误状态

这一问题的解决体现了IREE项目对运行时系统健壮性的持续改进，也为开发者提供了更灵活的模块加载方案。