Janet语言在musl环境下网络事件循环卡死问题分析

问题背景

Janet语言是一款轻量级的函数式编程语言，其内置了高效的事件循环机制用于处理网络I/O操作。近期在musl libc环境下发现了一个严重的网络事件循环卡死问题，当使用spork/http/server模块处理约20个并发连接时，服务器会在第二次请求时停止响应。

问题现象

该问题特定于使用ev/go协程方式处理网络连接的情况，而使用ev/call回调方式则不会出现。具体表现为：

1. 第一次负载测试时服务器能正常响应
2. 第二次负载测试时服务器完全停止响应
3. 仅在使用musl libc构建的Janet中出现
4. 影响所有基于ev/go的网络服务实现

技术分析

经过深入分析，发现问题根源在于事件循环对边缘触发(edge-trigger)模式的处理方式。Janet默认使用边缘触发模式来监控文件描述符，这种模式在大多数情况下工作良好，但在处理服务器套接字时存在缺陷。

边缘触发模式下，epoll/kqueue仅在文件描述符状态发生变化时通知应用程序。对于服务器套接字来说，当多个连接快速连续到达时，可能会错过某些连接事件，特别是在高并发微基准测试场景中。

解决方案

正确的处理方式是根据套接字类型采用不同的触发模式：

1. 普通套接字继续使用边缘触发模式(EPOLLET)
2. 服务器套接字改为使用水平触发模式(EPOLLIN)

核心修复包括修改epoll和kqueue的注册逻辑：

• 对于epoll：移除服务器套接字的EPOLLET标志
• 对于kqueue：为服务器套接字使用不同的EV_ADD标志组合

影响范围

该问题不仅影响musl环境，实际上在glibc环境下也存在类似问题。修复后验证了以下环境：

1. Alpine Linux (musl)
2. Void Linux (musl)
3. Debian (glibc)
4. Arch Linux (glibc)

技术建议

对于网络服务器开发，建议：

1. 理解边缘触发与水平触发的区别
2. 针对不同I/O类型选择合适的监控模式
3. 在高并发场景下充分测试事件循环行为
4. 考虑使用net/accept-loop等高级API而非手动实现

该修复已合并到Janet主分支，建议所有用户升级到包含此修复的版本以获得稳定的网络服务能力。