CasADi 3.6.6在macOS上的签名验证问题分析与解决方案

问题背景

CasADi是一个广泛使用的开源优化框架，主要用于数值优化和最优控制问题的求解。近期发布的3.6.6版本在macOS系统上出现了严重的运行问题，导致用户无法正常使用该软件包。

问题现象

在macOS 14.1系统上，特别是搭载M3芯片的MacBook Pro设备上，当用户尝试运行任何使用CasADi 3.6.6版本的Python脚本时，系统会立即崩溃并抛出"EXC_BAD_ACCESS (SIGKILL)"错误。错误信息明确指出这是由于代码签名无效导致的。

技术分析

经过深入调查，发现问题主要源于两个关键组件：

1. IPOPT求解器：这是一个非线性优化求解器，CasADi通过它来解决优化问题
2. BLASFEO库：用于高效线性代数运算的基础库

macOS的安全机制Gatekeeper会对所有动态链接库(dylib)进行严格的代码签名验证。当系统检测到签名无效时，会立即终止进程以保护系统安全。

通过命令行工具验证签名状态时，可以明确看到错误信息：

invalid signature (code or signature have been modified)
In architecture: arm64

系统日志进一步揭示了问题的细节：

CODE SIGNING: cs_invalid_page(0x117438000): p=46800[python3.12] final status 0x23000200, denying page sending SIGKILL

影响范围

此问题主要影响：

• 使用Apple Silicon芯片(M1/M2/M3)的Mac设备
• 运行macOS 14.1及以上版本的系统
• 通过conda或pip安装的CasADi 3.6.6版本

临时解决方案

对于急需使用CasADi的用户，可以采用以下临时解决方案：

1. 降级到3.6.5版本：

pip install casadi==3.6.5

2. 手动重新签名（仅建议高级用户尝试）：

codesign -f -s - /path/to/libipopt.3.dylib

官方修复

开发团队已经确认了这个问题，并在内部编号为3788的修复中解决了此问题。建议用户关注官方更新，及时升级到修复后的版本。

技术启示

这个案例展示了macOS安全机制在实际开发中的重要性，特别是对于科学计算软件：

1. 跨平台兼容性挑战：开发者需要特别注意不同操作系统对二进制文件的验证机制
2. 代码签名的重要性：在macOS上，正确的代码签名是保证软件正常运行的必要条件
3. 持续集成测试：需要在各种硬件架构和操作系统版本上进行充分测试

结论

CasADi 3.6.6在macOS上的崩溃问题源于代码签名验证失败，开发团队已经定位并修复了这个问题。在此期间，用户可以通过降级到3.6.5版本来保证正常使用。这个案例也提醒我们，在跨平台软件开发中，需要特别关注不同操作系统的安全机制差异。