session_id_coroutine 表中出现同一协程映射到多个会话ID的问题

[fantasytm]

问题描述

在调试游戏服务器时，我们发现 session_id_coroutine 表中有时会出现同一个协程对象被映射到多个不同的会话ID的情况。这似乎是一个问题，因为每个协程在任意时刻应该只与一个会话ID关联。

问题影响

由于发生冲突的是协程是循环定时器协程，在定时器内发生的挂起行为，似乎会被提前唤醒，猜测是coroutine 被提前 resume，出现状态错乱

确认已排除的因素

• 项目中未直接访问或修改 session_id_coroutine
• 所有调用均使用 Skynet 提供的标准接口（如 skynet.sleep, skynet.call, skynet.timeout 等）
• 问题并非频繁发生

现场截图

[cloudwu]

目前的信息，我认为无助于找到问题。

但我认为，如果重复 sleep 应该首先触发 https://github.com/cloudwu/skynet/blob/master/lualib/skynet.lua#L509 这里的 assert 。
而且应该查一下，重复 session 时， sleep_session[token] 指向的是哪一个？此处的 token 默认就应该是 thread object 。

session_id_coroutine[] 读出 coroutine 并 resume 这个操作，前面必定会重置 session_id_coroutine[] ，我不认为有什么分支可以做到 resume 这个 sleep thread ，而不清除 session_id_coroutine[] 里的对应项目。这点你可以检查代码确认：

• 错误处理：https://github.com/cloudwu/skynet/blob/master/lualib/skynet.lua#L340
• 正常回应：https://github.com/cloudwu/skynet/blob/master/lualib/skynet.lua#L912

我建议你继续调试找到真正的问题所在。

[cloudwu]

比较有可能出错的地方是：

在 suspend_sleep() 函数中设置 session_id_coroutine[session] = running_thread 时，这个 running_thead 不对。此处本应使用 coroutine.running() ，但优化为一个 local 变量 running_thead。而这个 running_thead 会在 coroutine_resume() 函数中设置。而 skynet.lua 所有的 thread 都是使用该函数 resume 的，所以可以简单排除是 skynet.lua 内部代码实现的疏漏。

但如果外部代码直接使用 coroutine.resume 操作过 skynet 管理的 thread (coroutine) 那么就有可能导致 running_thead 的状态不正确。