修复事件轮询器在自己线程上被析构导致的读已释放内存

[alexliyu7352]

依赖 #299,请先合它。合并前本 PR 的 diff 会连带显示 #299 的改动。

问题

EventPoller 的最后一个 shared_ptr 引用可能恰好在它自己的轮询线程上释放——典型情况是 Socket 的析构任务在该线程执行,而它持有最后一个引用。对象随即析构,但 runLoop 还在栈上,返回到循环条件时读到的已经是释放过的内存。哪个线程拿到最后一个引用是随机的,所以表现为偶发:Linux 上 ASAN 实测 master 40/40 报 heap-use-after-free,macOS 流水线裸跑 30 次段错误 3 次。

修法

只针对这一个成因。addPoller() 创建的 shared_ptr 挂一个删除器 EventPoller::destroy:发现最后一个引用是在本对象自己的轮询线程上释放的,就不在这里销毁,只置退出标志、写一字节管道让循环结束,由线程函数在 runLoop 返回之后再 delete this;在别的线程释放则照旧直接销毁。

轮询线程仍然活到最后一个引用释放,和 master 的生命周期模型完全一样。shutdown()、onPipeEvent()、async_l()、~TaskExecutorGetterImp() 都没动。60 行。

为什么不走 #300 那条路

#300 在池子析构时主动 shutdown 轮询线程,再用 drain/closed 状态处理残留任务。这造出一个 master 里没有的状态——线程停了、对象还活着、别的线程还在往里投——之后每一版都在给这个状态打补丁,三轮独立审查先后抓到跨线程 sync() 永久等待、任务被丢弃、队列排不空、delete _loop_thread 与其它线程读它竞争。不引入新状态,这些问题就都不存在。

验证(Linux,全部实测)

项	master	本分支
ASAN test_udpSocketBufferConfig ×150	145 次 UAF	0
ASAN 从 poller 自己线程释放池子 ×5	5 次 UAF	0(此前被当作既有问题,一并修掉)
最后引用在延时任务里释放 ×20	—	修前线程停在 epoll_wait 永久残留,修后 20/20 正常回收
三轮独立审查共 47 个探针	—	零 UAF、零挂死,行为与 master 逐项一致
门禁	—	8/8(RelWithDebInfo 与 ASAN 各一套)

对下游

EventPoller 只有 TaskExecutorGetterImp::addPoller 一个创建点,EventPollerPool、WorkThreadPool 和 ZLMediaKit api/source/mk_thread.cpp 里运行期 new/delete 的 WorkThreadPoolForC 全经它创建,一并覆盖。

ZLMediaKit 端到端(ASAN 全量编译,子模块指向本分支):MediaServer 空载 ×3 与有负载 ×5 → SIGINT,Sanitizer 0、退出码 0、16 个 poller 全在主线程析构,和 master 一样——它退出时先清 session/socket 再析构池子,根本不走推迟路径。C API mk_thread_pool_release 主线程调 ×5、在池内自己线程的任务里调 ×5,全部 0 Sanitizer、进程正常继续;后者在 master 上是直接 UAF。

升级注意:EventPoller 新增一个 bool 成员,类布局变了。以子模块源码方式编译的下游跟着重编即可;动态链接旧二进制配新 .so 会崩。

回归用例

新增门禁用例 tests/test_pollerDeferredDelete,守的就是这个缺陷:让延时任务的闭包持有 poller 的最后一个引用,运行期释放池子后检查三点——两秒内销毁了;销毁发生在轮询线程自己身上(经释放前记下的线程 id 比对);释放引用的当场对象仍活着(经成员逆序析构的 Guard 观察析构日志是否已出现)。

对照(同一文件):master 5/5 退出码 3(当场销毁、未推迟);去掉唤醒的库 3/3 退出码 1(两秒内未销毁);本分支 20/20 通过。负载压测:正常 / 满负载 / 单核 / 单核+64 busy loop 各 100 次零非零,ASan 200 次无报告。三平台流水线各跑通。

已知边界(都写在代码注释里)

• 进程退出期若恰在此刻于自己线程析构,exit() 不等这个脱离的线程,析构可能被截断,那条析构日志可能丢或模块名字段为乱码。退出码不受影响(1400 余次实测),运行期不存在。
• 在池内自己的轮询线程上释放池子,该线程会活到当前批次结束才销毁。master 同序列是 UAF。
• fork 子进程 exit 时 pthread_join 段错误、静态析构期在 poller 任务里再取池子:master 既有,没动。

Windows 路径本机无法运行,合并前请让 Windows 流水线跑一次。