当前位置:首页 > 文章列表 > Golang > Go问答 > 定时器竞态

定时器竞态

来源:17golang原创 2026-11-11 16:17:34 0浏览 收藏

使用 time.AfterFunc 时,最容易误解的是把 Timer.Stop 当成“等待回调结束”。实际上,AfterFunc 会在自己的 goroutine 中调用回调;Stop() 返回 false 时,只能说明定时器已经到期或已经停止,不能说明回调已经执行完。只要取消动作和到期时刻可能同时发生,就必须把“阻止启动”和“等待收尾”分开处理。

判断规则很简单:Stop() == true 表示回调还没有启动并且被成功阻止;Stop() == false 表示不能再取消,回调可能已经启动。若调用方要释放回调使用的资源,就要额外等待一个完成信号。
AfterFunc 定时器与独立回调 goroutine 的关系说明图
图1:AfterFunc 执行关系说明图,展示回调与 Timer.C 的边界,不是运行截图。

AfterFunc 到底在哪里执行回调

time.AfterFunc(d, f) 创建的是函数型定时器。等待时长结束后,Go 会在独立 goroutine 中调用 f,返回的 *time.Timer 只用于控制这个调用。它的 C 字段不用于接收通知,因此不能用读取 timer.C 的方式等待回调。

下面的写法可以展示生命周期,但最后的 Stop 只负责尝试取消,不能替代回调内部的完成同步:

package main

import (
	"fmt"
	"time"
)

func main() {
	timer := time.AfterFunc(200*time.Millisecond, func() {
		// 回调由独立 goroutine 执行;这里的工作可能与 Stop 并发。
		fmt.Println("callback running")
	})

	if timer.Stop() {
		// true 表示回调尚未启动,本次调用已被阻止。
		fmt.Println("callback cancelled")
		return
	}

	// false 只表示不能再取消,不代表回调已经执行完。
	fmt.Println("callback may be running")
}

Stop 返回值应该怎样解释

对 AfterFunc 返回的函数型定时器,Stop 有两个关键信息:

返回值能确定的事实不能据此推断
true定时器仍可停止,回调没有被启动不需要等待另一个已经启动的回调
false定时器已经到期或已经停止回调已经结束,或一定正在执行

竞态发生在两个动作靠近时:计时器线程准备启动回调,取消方同时调用 Stop。如果 Stop 抢先成功,返回 true;如果回调启动已经不可逆,返回 false。即使回调只执行了很短时间,Stop 也不会为调用方等待它返回。

Timer Stop 返回值与回调完成同步边界说明图
图2:Timer.Stop 返回值分支说明图,展示取消成功与回调已启动后的同步边界。

需要等待时,为回调补一个完成信号

如果回调会访问连接、文件、缓存对象或其他需要在取消路径中释放的资源,不能写成“Stop 返回 false 就立即释放”。更稳妥的方式是让回调在退出时关闭一个完成 channel,取消方在无法阻止回调时等待它。

package main

import (
	"sync"
	"time"
)

type Delayed struct {
	timer      *time.Timer
	done       chan struct{}
	finishOnce sync.Once
}

func NewDelayed(delay time.Duration, work func()) *Delayed {
	d := &Delayed{done: make(chan struct{})}
	d.timer = time.AfterFunc(delay, func() {
		defer d.finishOnce.Do(func() { close(d.done) })
		// work 可能与 StopAndWait 并发,内部共享状态仍要自行加锁或使用原子操作。
		work()
	})
	return d
}

func (d *Delayed) StopAndWait() bool {
	stopped := d.timer.Stop()
	if stopped {
		// 回调没有启动,主动结束等待信号,避免调用方永久阻塞。
		d.finishOnce.Do(func() { close(d.done) })
		return true
	}

	// false 只说明不能再取消;这里等待已经启动的回调完成。
	

这里使用 sync.Once 是因为成功停止和回调收尾是两个竞争路径,都可能尝试关闭 done。它保证 channel 只关闭一次。调用方拿到 true 时,回调没有启动,可以直接结束;拿到 false 时,等待 done 才能把“定时器不可取消”推进到“回调已完成”。

共享状态仍然需要单独保护

完成信号只解决生命周期,不会自动消除数据竞争。如果 work 修改一个结构体,而取消路径同时读取它,应使用互斥锁或原子类型保护同一份状态;不要因为调用了 Stop 就默认回调不会再访问字段。

还要注意两类边界:

  • 只需要“尽量取消”时,可以只检查 Stop 的返回值,不必强行等待;但不要在 false 分支提前销毁回调仍会使用的资源。
  • 需要“取消后确认收尾”时,必须由回调发出完成信号,并把重复关闭、重复停止设计成幂等操作。

小结

AfterFunc 的回调与 Stop 之间存在天然竞态:true 只代表成功阻止启动,false 只代表已经无法取消;两者都不是“回调已经结束”的证明。把取消结果和完成结果拆成两个状态,再用 channel、sync.WaitGroup 或其他明确同步原语衔接,才能安全地完成资源清理。

常见问题

Stop 返回 false 后还要调用回调吗?

不需要手动调用。false 表示定时器已经到期或停止,回调可能已经由运行时启动;手动再调用会造成重复执行。

AfterFunc 的 Timer.C 能不能用来等待?

不能。函数型定时器的 C 不用于通知,应该由回调主动发送完成信号。

Stop 返回 true 后还需要等待 done 吗?

如果你的封装为“未启动回调”也关闭了 done,那么可以统一等待;示例中直接关闭 done 是为了避免等待者阻塞。

回调内部有共享变量怎么办?

完成信号只表示生命周期结束,访问共享变量仍需要互斥锁、原子操作或其他同步协议。

版本声明
本文转载于:17golang原创 如有侵犯,请联系study_golang@163.com删除
上下文取消树
下一篇
上下文取消树
查看更多
最新文章
查看更多
课程推荐
  • 前端进阶之JavaScript设计模式
    前端进阶之JavaScript设计模式
    设计模式是开发人员在软件开发过程中面临一般问题时的解决方案,代表了最佳的实践。本课程的主打内容包括JS常见设计模式以及具体应用场景,打造一站式知识长龙服务,适合有JS基础的同学学习。
    543次学习
  • GO语言核心编程课程
    GO语言核心编程课程
    本课程采用真实案例,全面具体可落地,从理论到实践,一步一步将GO核心编程技术、编程思想、底层实现融会贯通,使学习者贴近时代脉搏,做IT互联网时代的弄潮儿。
    516次学习
  • 简单聊聊mysql8与网络通信
    简单聊聊mysql8与网络通信
    如有问题加微信:Le-studyg;在课程中,我们将首先介绍MySQL8的新特性,包括性能优化、安全增强、新数据类型等,帮助学生快速熟悉MySQL8的最新功能。接着,我们将深入解析MySQL的网络通信机制,包括协议、连接管理、数据传输等,让
    500次学习
  • JavaScript正则表达式基础与实战
    JavaScript正则表达式基础与实战
    在任何一门编程语言中,正则表达式,都是一项重要的知识,它提供了高效的字符串匹配与捕获机制,可以极大的简化程序设计。
    487次学习
  • 从零制作响应式网站—Grid布局
    从零制作响应式网站—Grid布局
    本系列教程将展示从零制作一个假想的网络科技公司官网,分为导航,轮播,关于我们,成功案例,服务流程,团队介绍,数据部分,公司动态,底部信息等内容区块。网站整体采用CSSGrid布局,支持响应式,有流畅过渡和展现动画。
    485次学习
查看更多
AI推荐
  • PubMedQA数据集详解:生物医学问答基准、功能与应用指南
    PubMedQA
    深入了解PubMedQA生物医学问答数据集,涵盖其核心功能、使用方法及在临床决策、药物研发等场景的应用,助力提升NLP模型性能。
    982次使用
  • H2O EvalGPT:开源LLM大模型评估与排行榜工具
    H2O EvalGPT
    H2O EvalGPT是H2O.ai推出的开源LLM评估平台,提供详细的大模型性能排行榜、行业特定基准测试及A/B测试功能,助您快速选择最适合项目的高性能大语言模型。
    986次使用
  • LMArena是什么?伯克利AI模型评估平台使用指南与功能解析
    LMArena
    LMArena是加州大学伯克利分校推出的AI模型匿名评测平台。通过盲测投票机制,用户可对比不同大模型回答并生成实时排行榜,助力开发者优化模型及用户选择最佳AI工具。
    1105次使用
  • 斯坦福HELM:大语言模型Holistic Evaluation整体评估框架详解
    HELM
    深入了解斯坦福推出的HELM(Holistic Evaluation of Language Models)大模型评测体系。本文解析其核心功能、安装配置步骤及应用场景,涵盖准确性、公平性、鲁棒性等多维度指标,助力开发者全面优化语言模型性能。
    1075次使用
  • MMBench详解:多模态大模型基准测试、功能特点与使用指南
    MMBench
    MMBench是由上海人工智能实验室等机构联合推出的多模态基准测试平台,提供细粒度能力评估、大规模数据集及VLMEvalKit工具。本文详细介绍其核心功能、安装使用方法及应用场景,助力开发者全面评估多模态模型性能。
    916次使用
微信登录更方便
  • 密码登录
  • 注册账号
登录即同意 用户协议 和 隐私政策
返回登录
  • 重置密码