diva-notes
  • README
  • Ads
    • 定价策略
    • 广告层级
    • 归因模型
    • 买量
    • Chat GPT
    • Google
  • AI
    • 参考资料
    • Chat GPT
    • stable-diffusion-webui安装
  • Algorithm
    • 倍增
    • 并查集
    • 参考
    • 环的判断
    • 凸包
    • 蓄水池抽样
    • 最短路径
    • 最小生成树
    • KMP算法
    • Rabin-Karp算法
    • Tarjan桥算法
  • Architecture
    • Serverless
  • Career
  • CICD
    • 代码质量
    • CICD实践
  • Data Structure
    • 布谷鸟过滤器
    • 布隆过滤器
    • 浮点
    • 红黑树
    • 锁
    • LSM树
  • DB
    • My SQL
      • 隔离级别
      • 架构
      • 索引
      • 锁
      • 页结构
      • 主从同步
      • ACID
      • Log
      • MVCC
      • Questions
    • Postgres
      • 持久化
      • 对比MySQL
      • 隔离级别
      • 索引
      • Greenpulm
      • MVCC
    • 倒排索引
    • 列式存储
    • H Base
    • HDFS
    • MPP数据库选型
    • Questions
  • Distributed System
    • 分布式事务
    • 服务网格
    • BASE理论
    • CAP
    • Etcd
    • Raft协议
    • ZAB协议
  • Go
    • 1.语言基础
      • 1.CPU寄存器
      • 2-1.函数调用
      • 2-2.函数调用栈
      • 2.接口
      • 3.汇编
      • 4.调试
    • 2.编译
      • 1.编译
      • 2.词法与语法分析
      • 3.类型检查
      • 4.中间代码生成
      • 5.机器码生成
    • 3.数据结构
      • 1.数组array
      • 2.切片slice
      • 3.哈希表map
      • 4.字符串
    • 4.常用关键字
      • 1.循环
      • 2.defer
      • 3.panic和recover
      • 4.make和new
    • 5.并发编程
      • 1.上下文Context的实现
      • 2-1.runtime.sema信号量
      • 2-2.sync.Mutex的实现
      • 2-3.sync.WaitGroup
      • 2-4.sync.Once的实现
      • 2-5.sync.Map的实现
      • 2-6.sync.Cond
      • 2-7.sync.Pool的实现
      • 2-8.sync.Semaphore的实现
      • 2-9.sync.ErrGroup
      • 3.定时器Timer的实现
      • 4.Channel的实现
      • 5-1.调度-线程
      • 5-2.调度-MPG
      • 5-3.调度-程序及调度启动
      • 5-4.调度-调度策略
      • 5-5.调度-抢占
      • 6.netpoll实现
      • 7.atomic
    • 6.内存管理
      • 1-1.内存分配基础-TCmalloc
      • 1-2.内存分配
      • 2.垃圾回收
      • 3.栈内存管理
    • 参考
    • 各版本特性
    • 坑
    • Go程序性能优化
    • http.Client
    • net.http路由
    • profile采样的实现
    • Questions
    • time的设计
  • Kafka
    • 高可用
    • 架构
    • 消息队列选型
    • ISR
    • Questions
  • Network
    • ARP
    • DNS
    • DPVS
    • GET和POST
    • HTTP 2
    • HTTP 3
    • HTTPS
    • LVS的转发模式
    • NAT
    • Nginx
    • OSI七层模型
    • Protobuf
    • Questions
    • REST Ful
    • RPC
    • socket缓冲区
    • socket详解
    • TCP滑动窗口
    • TCP连接建立源码
    • TCP连接四元组
    • TCP三次握手
    • TCP数据结构
    • TCP四次挥手
    • TCP拥塞控制
    • TCP重传机制
    • UDP
  • OS
    • 磁盘IO
    • 调度
    • 进程VS线程
    • 零拷贝
    • 内存-虚拟内存
    • 内存分配
    • 用户态VS内核态
    • 中断
    • COW写时复制
    • IO多路复用
    • Questions
  • Redis
    • 安装
    • 参考
    • 高可用-持久化
    • 高可用-主从同步
    • 高可用-Cluster
    • 高可用-Sentinel
    • 缓存一致性
    • 事务
    • 数据结构-SDS
    • 数据结构-Skiplist
    • 数据结构-Ziplist
    • 数据结构
    • 数据类型-Hashtable
    • 数据类型-List
    • 数据类型-Set
    • 数据类型-Zset
    • 数据淘汰机制
    • 通信协议-RESP
    • Questions
    • Redis6.0多线程
    • Redis分布式锁
    • Redis分片
  • System Design
    • 本地缓存
    • 错误处理
    • 大文件处理
    • 点赞收藏关注
    • 短链接生成系统
    • 负载均衡
    • 高并发高可用
    • 规则引擎
    • 集卡活动
    • 秒杀系统
    • 评论系统
    • 熔断
    • 限流
    • 延迟队列
    • Docker
    • ES
    • K 8 S
    • Node.js
    • Questions
  • Work
    • Bash
    • Charles
    • Code Review
    • Ffmpeg
    • Git
    • intellij插件
    • I Term 2
    • Mac
    • mysql命令
    • Nginx
    • postgresql命令
    • Protoc
    • Ssh
    • Systemd
    • Tcp相关命令
    • Vim
Powered by GitBook
On this page
  1. Go

time的设计

go 里使用了三个字段表示一个时间,wall,ext,和时区 loc

// src/time/time.go
type Time struct {
    wall uint64
    ext  int64
    loc *Location
}

初次看时比较奇怪,不是一个 int 类型的时间戳 + 时区就可以表示时间了吗,为什么用了 wall 和 ext 两个字段?

这里就需要了解下墙上时钟和单调时钟的概念

墙上时钟 和 单调时钟

墙上时钟即计算机系统的时钟,一般设成和NTP(Network Time Protocal,网络时间协议)同步,也可以人为修改,因此程序里如果依赖这个时间的话可能会出现时间倒退的现象。

单调时钟一般在程序开始时设为0、或在计算机启动后设为0。其绝对值没有意义,主要用于时间的比较。

go 里的 Time

再回来看 Time 的结构

// src/time/time.go
type Time struct {
    wall uint64
    ext  int64
    loc *Location
}

其中 wall 的最高位是个标记位,用于存储是否包含单调时钟的信息。1表示包含,0表示不包含。根据这个位的01值,wall 和 ext 存储的数字会有不同的含义。

hasMonotonic = 1 << 63 // as a mask

第一种情况:hasMonotonic = 1

这种情况下 wall 里存储1885年以后的墙上时间,ext 里存储单调时间。

第二种情况:hasMonotonic = 0

这时由于不存储单调时间了,空间比较富裕,可以存储公元 1年开始的时间。ext 用于存储秒级的墙上时间,wall 里存储纳秒部分

像通过 time.Parse 得到的时间,就没有单调时钟。time.Now() 就有

我们打印 Time 结构体时,根据是否有单调时钟,打印出的时间也会有不同的样式:

fmt.Println(time.Now())
// 2022-07-01 15:14:39.576193 +0800 CST m=+0.000061626
// 后面这个 m 就是单调时钟,表示离程序启动的时间

t, _ := time.Parse("2006-01-02", "2022-07-01")
fmt.Println(t)
// 2022-07-01 00:00:00 +0000 UTC
// 这个就没有单调时钟

为什么这么设计?

保持对时间的高精度表示,同时减少对内存的占用

通过这种设计,使用 2字节可存储2个时间(墙上和单调时间);在不需要单调时间时,还可将存储的时间范围拓展至公元 1年。

time.Since 的逻辑优化

在计算当前时间 now() 和上一个时间 t 的时间差时,可以用 time.Since(t),也可以用 time.Now().sub(t)

go1.12 之后 time.Since 对于有单调时钟的 time 对象有快速处理:直接使用 runtime 层的 nano time 计算,可减少一次系统调用,提升性能45%。Benchmark 见 https://github.com/golang/go/commit/fc3f8d43f1b7da3ee3fb9a5181f2a86841620273

// It is shorthand for time.Now().Sub(t).
func Since(t Time) Duration {
	var now Time
	if t.wall&hasMonotonic != 0 {
    // 快速路径:如果 t 包含单调时钟,则使用 runtime 层的 nano_time 来初始化 now,直接使用两个时间的 ext 字段进行相减
    // startNano 是程序启动时即初始化为 time.Now() 的时间
		now = Time{hasMonotonic,              // wall 值直接设为标记位,其余的位用不上
               runtimeNano() - startNano, // ext 使用 runtime 层的 nano_time,后续用这个字段相减来算差值
               nil}
	} else {
		now = Now()
	}
	return now.Sub(t)
}

参考

PreviousQuestionsNextKafka

Last updated 2 years ago

章鱼编程 - Golang Time 包源码分析1-Time & 时区类实现
time 存储格式-1
time 存储格式-2