Lagrange.Core项目中WebSocket连接未断开导致程序无法正常退出的问题分析

问题背景

在Lagrange.Core项目的OneBot实现中，当程序通过正向WebSocket方式运行时，如果存在未断开的WebSocket连接，程序将无法响应Ctrl+C信号正常退出。这一现象在Windows和Android Termux环境下均能复现，涉及x86和arm64架构。

问题现象

当程序启动WebSocket服务并建立连接后，用户尝试通过发送Ctrl+C信号终止程序时，程序会进入一种"冻结"状态，无法立即退出。只有在所有WebSocket客户端主动断开连接后，程序才能正常终止。从日志中可以观察到，虽然程序接收到了终止信号并打印了关闭信息，但实际上仍在等待WebSocket连接完全关闭。

技术分析

WebSocket关闭机制

WebSocket协议规定，关闭连接需要双方完成一个握手过程：当一方发送关闭帧(Close Frame)后，另一方应当回应一个关闭帧，然后才能安全地终止连接。在Lagrange.Core的实现中，当前版本缺少对WebSocket关闭过程的超时处理机制。

问题根源

1. 协议实现不完整：客户端在断开连接时没有按照WebSocket协议规范发送关闭帧，导致服务端一直等待协议规定的关闭握手完成。

2. 缺乏超时控制：服务端在等待WebSocket连接关闭时没有设置超时机制，当客户端异常断开或不规范断开时，服务端会无限期等待。

3. 信号处理不完善：程序对Ctrl+C信号的处理没有强制终止WebSocket服务的逻辑，导致主线程被阻塞。

解决方案建议

1. 实现完整的WebSocket关闭握手：确保客户端和服务端都按照RFC6455规范实现关闭流程。

2. 添加关闭超时机制：为WebSocket关闭过程设置合理的超时时间（如5-10秒），超时后强制断开连接。

3. 改进信号处理：在接收到终止信号时，主动关闭所有WebSocket连接并设置超时，确保程序能够及时退出。

4. 资源清理优化：确保所有网络资源、文件描述符等都能在程序退出时被正确释放。

影响与启示

这个问题虽然看似简单，但反映了网络编程中几个关键点：

1. 协议合规性的重要性：即使是看似简单的WebSocket协议，也必须完整实现其规范，否则可能导致各种边缘情况。

2. 资源管理的必要性：网络连接作为一种重要资源，必须有完善的生命周期管理机制。

3. 用户体验的考量：命令行工具应该对各种退出场景都有良好的处理，不能依赖用户手动干预。

对于开发者而言，这个案例提醒我们在实现网络服务时，需要特别注意连接关闭流程的健壮性，特别是在需要支持优雅退出的场景下。