Go组件学习——cron定时器
1 前言
转到Go已经将近三个月,写业务代码又找到了属于Go的条件反射了。
后置声明和多参数返回这些Go风格代码写起来也不会那么蹩脚,甚至还有点小适应~
反而,前几天在写Java的时候,发现Java怎么启动这么慢,Java怎么能够容忍这些用不到的代码还理直气壮的躺在那……等等,这些话在哪听过类似的???
“Go为什么要后置声明,多别扭啊”
“Go里面为啥要定义这么多的struct,看的头晕”
……
其实,没有最好的语言,只有最适合的。
前面《Go语言学习》系列主要介绍了一些Go的基础知识和相较于Java的一些新特性。后续如果有相关的体会和新的还会继续更新。
从这篇开始,开始学习Go的一些工具类库和开源组件,希望在学习这些优秀的开源项目过程中,更深入的了解Go,发现Go的威力。
2 cron简介
robfig/cron是一个第三方开源的任务调度库,也就是我们平时说的定时任务。
Github:https://github.com/robfig/cron
官方文档:https://godoc.org/github.com/robfig/cron
3 cron如何使用
1、新建文件cron-demo.go
package main import ( "fmt" "github.com/robfig/cron" "time" ) func main() { c := cron.New() c.AddFunc("*/3 * * * * *", func() { fmt.Println("every 3 seconds executing") }) go c.Start() defer c.Stop() select { case <-time.After(time.Second * 10): return } }
-
cron.New创建一个定时器管理器
-
c.AddFunc添加一个定时任务,第一个参数是cron时间表达式,第二个参数是要触发执行的函数
-
go c.Start()新启一个协程,运行定时任务
-
c.Stop是等待停止信号结束任务
2、在cron-demo.go文件下执行go build
本项目采用go mod进行包管理,所以执行go build命令后,会在go.mod文件中生成对应的依赖版本如图所示
3、运行cron-demo.go
可以看出每3秒执行一次,直到10秒后过期退出进程,任务结束。
代码参见项目:go-demo项目(https://github.com/DMinerJackie/go-demo/tree/master/main/src/cron)
看上去这个任务调度还是蛮好用的,那么具体是如何实现的呢,看了下源码,也是非常的短小精悍,目录结构如下。
下面通过几个问题一起看下cron是如何实现任务调度。
4 cron如何解析任务表达式
上例我们看到添加“*/3 * * * * *”这样的表达式,就能实现每3秒执行一次。
显然,这个表达式只是对人友好的一种约定表达形式,要真正在指定时间执行任务,cron肯定是要读取并解析这个c表达式,转化为具体的时间再执行。
那我们来看看,这个具体是如何执行的。
进入AddFunc函数实现
// AddFunc adds a func to the Cron to be run on the given schedule. func (c *Cron) AddFunc(spec string, cmd func()) error { return c.AddJob(spec, FuncJob(cmd)) }
这只是套了个壳,具体还要进入AddJob函数
// AddJob adds a Job to the Cron to be run on the given schedule. func (c *Cron) AddJob(spec string, cmd Job) error { schedule, err := Parse(spec) if err != nil { return err } c.Schedule(schedule, cmd) return nil }
该函数第一行就是解析cron表达式,顺藤摸瓜,我们看到具体实现如下
// Parse returns a new crontab schedule representing the given spec. // It returns a descriptive error if the spec is not valid. // It accepts crontab specs and features configured by NewParser. func (p Parser) Parse(spec string) (Schedule, error) { if len(spec) == 0 { return nil, fmt.Errorf("Empty spec string") } if spec[0] == '@' && p.options&Descriptor > 0 { return parseDescriptor(spec) } // Figure out how many fields we need max := 0 for _, place := range places { if p.options&place > 0 { max++ } } min := max - p.optionals // Split fields on whitespace fields := strings.Fields(spec) // 使用空白符拆分cron表达式 // Validate number of fields if count := len(fields); count < min || count > max { if min == max { return nil, fmt.Errorf("Expected exactly %d fields, found %d: %s", min, count, spec) } return nil, fmt.Errorf("Expected %d to %d fields, found %d: %s", min, max, count, spec) } // Fill in missing fields fields = expandFields(fields, p.options) var err error field := func(field string, r bounds) uint64 { // 抽象出filed函数,方便下面调用 if err != nil { return 0 } var bits uint64 bits, err = getField(field, r) return bits } var ( second = field(fields[0], seconds) minute = field(fields[1], minutes) hour = field(fields[2], hours) dayofmonth = field(fields[3], dom) month = field(fields[4], months) dayofweek = field(fields[5], dow) ) if err != nil { return nil, err } return &SpecSchedule{ Second: second, Minute: minute, Hour: hour, Dom: dayofmonth, Month: month, Dow: dayofweek, }, nil }
该函数主要是将cron表达式映射为“Second, Minute, Hour, Dom, Month, Dow”6个时间维度的结构体SpecSchedule。
SpecSchedule是实现了方法“Next(time.Time) time.Time”的结构体,而“Next(time.Time) time.Time”是定义在Schedule接口中的
// The Schedule describes a job's duty cycle. type Schedule interface { // Return the next activation time, later than the given time. // Next is invoked initially, and then each time the job is run. Next(time.Time) time.Time }
所以,最终可以理解是将cron解析后转换为下一次要执行的时刻,等待执行。
5 cron如何执行任务
我们知道通过parser.go可以将人很好理解的表达式转换为cron可以读懂的要执行的时间。
有了要执行的时间点,那么cron具体是如何执行这些任务的呢?
我们看下Start函数的具体实现
// Start the cron scheduler in its own go-routine, or no-op if already started. func (c *Cron) Start() { if c.running { return } c.running = true go c.run() }
这里会通过判定Cron的running字段是否在运行来巨额听是否要启动任务。
显然这里running是false,因为在调用c.New初始化的时候running被设置为false。
所以,这里新启一个协程用于执行定时任务,再次顺藤摸瓜,我们看到run函数的实现
// Run the scheduler. this is private just due to the need to synchronize // access to the 'running' state variable. func (c *Cron) run() { // Figure out the next activation times for each entry. now := c.now() for _, entry := range c.entries { entry.Next = entry.Schedule.Next(now) } for { // Determine the next entry to run. sort.Sort(byTime(c.entries)) var timer *time.Timer if len(c.entries) == 0 || c.entries[0].Next.IsZero() { // 如果没有要执行的任务或者第一个任务的待执行时间为空,则睡眠 // If there are no entries yet, just sleep - it still handles new entries // and stop requests. timer = time.NewTimer(100000 * time.Hour) } else { timer = time.NewTimer(c.entries[0].Next.Sub(now)) // 否则新建一个距离现在到下一个要触发执行的Timer } for { select { case now = <-timer.C: // 触发时间到,执行任务 now = now.In(c.location) // Run every entry whose next time was less than now for _, e := range c.entries { if e.Next.After(now) || e.Next.IsZero() { break } go c.runWithRecovery(e.Job) e.Prev = e.Next e.Next = e.Schedule.Next(now) } case newEntry := <-c.add: // 添加任务 timer.Stop() now = c.now() newEntry.Next = newEntry.Schedule.Next(now) c.entries = append(c.entries, newEntry) case <-c.snapshot: // 调用c.Entries()返回一个现有任务列表的snapshot c.snapshot <- c.entrySnapshot() continue case <-c.stop: // 任务结束,退出 timer.Stop() return } break } } }
-
进入该函数,首先遍历所以任务,找到所有任务下一个要执行的时间。
-
然后进入外层for循环,对于各个任务按照执行时间进行排序,保证离当前时间最近的先执行。
-
再对任务列表进行判定,是否有任务如果没有,则休眠,否则初始化一个timer。
里层的for循环才是重头戏,下面主要分析这个for循环里面的任务加入和执行。
在此之前,需要了解下go标准库的timer
timer用于指定在某个时间间隔后,调用函数或者表达式。
使用NewTimer就可以创建一个Timer,在指定时间间隔到达后,可以通过<-timer.C接收值。
package main import ( "fmt" "time" ) func main() { timer1 := time.NewTimer(2 * time.Second) <-timer1.C fmt.Println("Timer 1 expired") timer2 := time.NewTimer(time.Second) go func() { <-timer2.C fmt.Println("Timer 2 expired") }() stop2 := timer2.Stop() if stop2 { fmt.Println("Timer 2 stopped") } }
执行结果为
Timer 1 expired Timer 2 stopped
timer1表示2秒后到期,在此之前都是阻塞状态,2秒后<-timer1.C接收到信号,执行下面的打印语句。
timer2表示1秒后到期,但是中途被Stop掉了,相当于清除了定时功能。
有了这个背景之后,我们再来看run函数的里层for循环。
接收到c.add信道
case newEntry := <-c.add: // 添加任务 timer.Stop() now = c.now() newEntry.Next = newEntry.Schedule.Next(now) c.entries = append(c.entries, newEntry)
将timer停掉,清除设置的定时功能,并以当前时间点为起点,设置添加任务的下一次执行时间,并添加到entries任务队列中。
接收到timer.C信道
case now = <-timer.C: // 触发时间到,执行任务 now = now.In(c.location) // Run every entry whose next time was less than now for _, e := range c.entries { if e.Next.After(now) || e.Next.IsZero() { break } go c.runWithRecovery(e.Job) e.Prev = e.Next e.Next = e.Schedule.Next(now) }
当定任务到点后,time.C就会接收到值,并新开协程执行真正需要执行的Job,之后再更新下一个要执行的任务列表。
我们进入runWithRecovery函数,该函数从函数名就可以看出,即使出现panic也可以重新recovery,保证其他任务不受影响。
func (c *Cron) runWithRecovery(j Job) { defer func() { if r := recover(); r != nil { const size = 64 << 10 buf := make([]byte, size) buf = buf[:runtime.Stack(buf, false)] c.logf("cron: panic running job: %v\n%s", r, buf) } }() j.Run() }
追根溯源,我们发现真正执行Job的是j.Run()的执行。进入这个Run函数的实现,我们看到
func (f FuncJob) Run() { f() }
没错,我们要执行的任务一直从AddFunc一直往下传递,直到这里,我们通过调用Run函数,将包装的FuncJob类型的函数通过f()的形式进行执行。
这里说的可能比较模糊,举个例子,Go里面的闭包定义
func () { fmt.Println("test") }()
如果这里定义后面没有"()"该函数就不会执行,所以结合这个看上面的定时任务是如何执行就更容易理解了。
6 代码阅读体会
1、channel的奥妙
通过channel可以让感知变得轻而易举,比如timer.C就像是时间到了,自然会有人来敲门告诉你。而不需要我们自己主动去获取是否到期了。
2、常用类库的使用
比如在parser里面我们看到了"fields := strings.Fields(spec)",在日常开发中,我们可以灵活使用这些API,避免自己造轮子的情况。
3、多思考
之前做Java的时候,更多的是沉浸在各种工具和框架的使用,对于这些工具和框架的实现关注的不多。比如从Quartz到Spring Job,我们需要更新的是越来越好用的定时任务工具,而底层的实现升级Spring都帮我们考虑好了。这种对业务对项目有友好的,可以快速的实现业务功能开发,但是对于开发者并不友好,友好的设计麻痹了开发者对于底层原理的深究的欲望。