W-TinyLFU 算法实现

前言

不同于常见的 LRU 或 LFU，Window TinyLFU 是一种非常高效的缓存设计方案。先来看下 LRU 和 LFU 算法的缺点：

LFU 缺点：

  • 需要为每个记录项维护频率信息，这将消耗大量的内存空间
  • 可能存在旧数据长期不被淘汰（一开始频繁访问该数据，后来不访问了，也不被淘汰占用缓存）

LRU 缺点：

  • 不能反馈访问频率，对热点数据的命中率不如 LFU

W-TinyLFU 综合了两者的长处：高命令率、低内存占用。

参考链接：

  • Caffeine 详解 —— Caffeine 的 Window TinyLfu
  • 论文《TinyLFU: A Highly Ecient Cache Admission Policy》阅读笔记

W-TinyLFU 的基础 TinyLFU

TinyLFU 是一种空间利用率很高的数据结构，可以在较大访问量的场景下近似的替代 LFU 的频率统计信息。

它的原理与 BloomFilter 类似，把多个 bit 位看作一个整体，用来统计一个 key 的使用频率，TinyLFU 中的 key 通过多次不同的 hash 计算映射到多个 bit 组。在读取时，取映射的所有值中的最小的值作为 key 的使用频率。

在 Caffeine 中，维护了一个 4-bit CountMinSketch 来记录 key 的使用频率，这意味着 key 最大使用频率为 15。

为了可以移除旧事件，TinyLFU 还采用一种衰减机制，借助 reset 操作：每次 get 数据时都会给计数器加上 1，当计数器到达一个尺寸 W 时，把所有记录的 Sketch 数值都除以 2。

W-TinyLFU 的窗口设计

然而在对同一对象的「稀疏突发」的场景下，TinyLFU 会出现问题。在这种情况下，突发的 key 无法建立足够的频率以保存在缓存中，从而导致不断的 cache miss。Caffeine 通过设计 W-TinyLFU 的策略（包含两个缓存区域）解决了这个问题。

主缓存（main cache）使用 SLRU 逐出策略和 TinyLFU 准入策略（TinyLFU 的准入和淘汰策略是：新增一个元素时，判断使用该元素替换一个旧元素，是否可以提升缓存命中率），而窗口缓存（window cache）采用 LRU 逐出策略而没有任何准入策略。

主缓存根据 SLRU 策略静态划分为 A1 和 A2 两个区域，80% 的空间分配给热门项目（A2），并从 20% 非热门项目中挑选 victim。所有请求的 key 都会被允许进入窗口缓存，而窗口缓存的 victim 则有机会进入主缓存（主缓存没满直接进入；满了的话，比较窗口缓存的 victim 和非热门项目的 victim 的出现频率，留下较高的内个）。

窗口缓存的大小初始为总缓存大小的 1%，主缓存的大小为 99%。

W-TinyLFU 方案如下所示：

W-TinyLFU

具体实现

LRU

以下是代码实现，只有重要部分：

这就是传统的 LRU，需要注意的是当满了再 add 时，没有直接将链表末尾元素删除，再将新元素添加到链表头部，而是采用了交换的方式，减少了内存的申请次数。

type windowLRU struct {data map[uint64]*list.Element // key 到相应元素的映射cap  int                      // lru 容量list *list.List
}type storeItem struct {stage    intkey      uint64value    interface{}
}// 向窗口 LRU 添加数据
func (lru *windowLRU) add(newitem storeItem) (eitem storeItem, evicted bool) {// 没满直接插入if lru.list.Len() < lru.cap {lru.data[newitem.key] = lru.list.PushFront(&newitem)return storeItem{}, false}// 满了的话需要淘汰链表最后一个evictItem := lru.list.Back()item := evictItem.Value.(*storeItem)// 在哈希表中删除淘汰的元素delete(lru.data, item.key)// 通过交换，链表最后一个元素内容变为要插入的 newitemeitem, *item = *item, newitemlru.data[item.key] = evictItemlru.list.MoveToFront(evictItem)return eitem, true
}func (lru *windowLRU) get(v *list.Element) {lru.list.MoveToFront(v)
}

SLRU

以下是代码实现，只有重要部分：

这是一个分段 LRU 实现，添加元素时先添加到非热门区域，当被 get 时再提升到热门区域。

type segmentedLRU struct {data                      map[uint64]*list.ElementstageColdCap, stageHotCap intstageCold, stageHot       *list.List
}const (STAGE_COLD = iotaSTAGE_HOTSTAGE_WINDOW
)func (slru *segmentedLRU) add(newitem storeItem) {// 默认插入到非热门区域newitem.stage = STAGE_COLD// 主缓存还没满，直接插入if slru.stageCold.Len() < slru.stageColdCap || slru.Len() < slru.stageColdCap+slru.stageHotCap {slru.data[newitem.key] = slru.stageCold.PushFront(&newitem)return}// 满了的话需要淘汰非热门链表的最后一个e := slru.stageCold.Back()item := e.Value.(*storeItem)// 在哈希表中删除淘汰的元素delete(slru.data, item.key)// 直接覆盖链表中的元素*item = newitemslru.data[item.key] = eslru.stageCold.MoveToFront(e)
}func (slru *segmentedLRU) get(v *list.Element) {item := v.Value.(*storeItem)// 已经在热门区域了，提到链表头部即可if item.stage == STAGE_HOT {slru.stageHot.MoveToFront(v)return}// 不在热门区域，但热门区域还有空间if slru.stageHot.Len() < slru.stageHotCap {slru.stageCold.Remove(v)item.stage = STAGE_HOTslru.data[item.key] = slru.stageHot.PushFront(item)return}// 此时，既不在热门区域，热门区域也没空间了// 需要将热门链表最后一个下放到非热门区域back := slru.stageHot.Back()bitem := back.Value.(*storeItem)*bitem, *item = *item, *bitembitem.stage = STAGE_HOTitem.stage = STAGE_COLDslru.data[item.key] = vslru.data[bitem.key] = backslru.stageCold.MoveToFront(v)slru.stageHot.MoveToFront(back)
}// 获取将淘汰的元素
func (slru *segmentedLRU) victim() *storeItem {if slru.Len() < slru.stageColdCap+slru.stageHotCap {return nil}v := slru.stageCold.Back()return v.Value.(*storeItem)
}

Count-Min Sketch

以下是代码实现，只有重要部分：

const (cmWidth = 4
)type cmSketch struct {rows [cmWidth]cmRowseed [cmWidth]uint64mask uint64
}func newCmSketch(numCounters int64) *cmSketch {// next2Power 获取最接近 numCounters 的 2 的幂numCounters = next2Power(numCounters)sketch := &cmSketch{mask: uint64(numCounters - 1)}source := rand.New(rand.NewSource(time.Now().UnixNano()))for i := 0; i < cmWidth; i++ {sketch.seed[i] = source.Uint64()sketch.rows[i] = newCmRow(numCounters)}return sketch
}func (s *cmSketch) Increment(hashed uint64) {for i := range s.rows {s.rows[i].increment((hashed ^ s.seed[i]) & s.mask)}
}// 获取出现次数近似值
func (s *cmSketch) Estimate(hashed uint64) int64 {min := byte(255)for i := range s.rows {val := s.rows[i].get((hashed ^ s.seed[i]) & s.mask)if val < min {min = val}}return int64(min)
}func (s *cmSketch) Reset() {for _, r := range s.rows {r.reset()}
}func (s *cmSketch) Clear() {for _, r := range s.rows {r.clear()}
}type cmRow []byte// 为每个计数分配 4 位
func newCmRow(numCounters int64) cmRow {return make(cmRow, numCounters/2)
}// 获取指定位置计数
func (r cmRow) get(n uint64) byte {// n/2 定位到相应字节// (n & 1) * 4 奇数为 4 偶数为 0return r[n/2] >> ((n & 1) * 4) & 0x0f
}// 增加指定位置计数
func (r cmRow) increment(n uint64) {i := n / 2s := (n & 1) * 4v := (r[i] >> s) & 0x0fif v < 15 {r[i] += 1 << s}
}// 减少为原来一半
func (r cmRow) reset() {for i := range r {r[i] = (r[i] >> 1) & 0x77}
}// 全部清空
func (r cmRow) clear() {for i := range r {r[i] = 0}
}

Cache

以下是代码实现，只有重要部分：

type Cache struct {lru       *windowLRUslru      *segmentedLRUc         *cmSketcht         int32 // 计数器threshold int32 // 用来记录临界值，当计数器等于临界值时调用 resetdata      map[uint64]*list.Element
}func NewCache(size int) *Cache {const lruPct = 1lruSz := (lruPct * size) / 100slruSz := int(float64(size) * ((100 - lruPct) / 100.0))slruO := int(0.2 * float64(slruSz))data := make(map[uint64]*list.Element, size)return &Cache{lru:  newWindowLRU(lruSz, data),slru: newSLRU(data, slruO, slruSz-slruO),c:    newCmSketch(int64(size)),data: data,}
}func (c *Cache) set(key, value interface{}) bool {keyHash := c.keyToHash(key)i := storeItem{stage:    STAGE_COLD,key:      keyHash,value:    value,}// 先向窗口 LRU 中插入eitem, evicted := c.lru.add(i)// 没有数据被淘汰，插入完成if !evicted {return true}// 有数据被淘汰，看主缓存中是否有数据被淘汰victim := c.slru.victim()// 没有的话，直接插入主缓存if victim == nil {c.slru.add(eitem)return true}// 此时说明主缓存满了，也有数据被淘汰// 比较窗口 lru 和 slru 淘汰的数据的频率，保留频率多的vcount := c.c.Estimate(victim.key)ocount := c.c.Estimate(eitem.key)if ocount < vcount {return true}c.slru.add(eitem)return true
}func (c *Cache) get(key interface{}) (interface{}, bool) {c.t++// 计数器到达临界时后，调用 Reset()if c.t == c.threshold {c.c.Reset()c.t = 0}keyHash := c.keyToHash(key)val, _ := c.data[keyHash]item := val.Value.(*storeItem)c.c.Increment(item.key)v := item.value// 调用相应部分的 get，提到链表的头部if item.stage == STAGE_WINDOW {c.lru.get(val)} else {c.slru.get(val)}return v, true
}

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若转载，请注明出处：http://www.mzph.cn/news/707673.shtml

如若内容造成侵权/违法违规/事实不符，请联系多彩编程网进行投诉反馈email:809451989@qq.com，一经查实，立即删除！

相关文章

快速卷积介绍

快速卷积介绍

快速卷积是一种使用快速傅里叶变换&#xff08;FFT&#xff09;来有效计算两个序列&#xff08;信号、函数等&#xff09;卷积的方法。快速卷积对于数字信号处理、图像处理、音频处理等领域至关重要&#xff0c;因为它大大提高了计算卷积的效率。 卷积的概念 卷积是一种数学运…
阅读更多...
让AI给你写代码，初体验（二）-写一个flask应用

让AI给你写代码，初体验（二）-写一个flask应用

这里我们准备让AI做一个稍微复杂一点任务&#xff0c;写一个前后应用&#xff0c;具体&#xff1a; 前台用html输入股票代码&#xff0c;后台通过akshare的接口程序获取该股票的实时价格&#xff0c;然后返回显示在html 我们先用AI对话看一下&#xff0c;AI会给我们什么编码建…
阅读更多...
Flink Catalog

Flink Catalog

1.Flink侧创建 按照SQL的解析处理流程在Parse解析SQL以后&#xff0c;进入执行流程——executeInternal。   其中有个分支专门处理创建Catalog的SQL命令 } else if (operation instanceof CreateCatalogOperation) {return createCatalog((CreateCatalogOperation) operatio…
阅读更多...
[多进程] 进程间通信-笔记

[多进程] 进程间通信-笔记

文章目录 创建进程的方法Linuxforkexecsystem Windowscreateprocessshellexecutesystem 进程间通信方法管道&#xff08;Pipe&#xff09;管道的种类特点 通过文件通信内存映射&#xff08;文件映射&#xff09;匿名映射 共享内存 信号量(或者锁)消息队列Windows消息队列Linux…
阅读更多...
finedance 测试笔记

finedance 测试笔记

目录 依赖库&#xff1a; 预测流程&#xff1a; 音乐wav切割120帧 general_all.py改进 smplx 学习笔记&#xff1a; 依赖库&#xff1a; import pickle5 as picklepypi尚pickle5最高python版本3.7&#xff1a; pickle5 PyPI 解决方法&#xff0c;改为 import pickle …
阅读更多...
cpp基础学习笔记01

cpp基础学习笔记01

C和C的区别 1.语言类型&#xff1a;C 是一种过程性编程语言&#xff0c;着重于以函数为基础的结构化编程&#xff1b;而 C 是一种多范式编程语言&#xff0c;支持面向对象编程&#xff08;OOP&#xff09;和泛型编程等多种编程范式。 2.对象模型&#xff1a;C 支持类和对象的概…
阅读更多...
switch其他知识点

switch其他知识点

1.default的位置在整体输出语句中&#xff0c;放哪都可以&#xff1b; 省略的话结果会不显示&#xff1b; 2.case穿透&#xff0c;还是比较好理解的&#xff0c;因为缺少break导致会把下面的也打印&#xff0c;结果是输出多个 3.switch新特性&#xff1a;是用->减号和大于…
阅读更多...
Mysql ＜=＞ 安全等于

Mysql ＜=＞ 安全等于

<> 安全等于&#xff0c;为NULL安全的等值比较运算符&#xff08;NULL-safe equal&#xff09;&#xff0c;该操作符作用类似“”。 区别为当符号两边出现NULL值时&#xff0c;操作符会返回NULL&#xff0c;而<>会返回1&#xff08;两边操作数都为NULL时&#xff…
阅读更多...
柯桥会计培训学校，会计职称考试，考中级会计怎么证明工作年限？

柯桥会计培训学校，会计职称考试，考中级会计怎么证明工作年限？

中级会计考试是会计从业人员的重要考试之一&#xff0c;对于中级考生来说&#xff0c;工作年限证明是必不可少的一步。因此&#xff0c;在考中级会计之前&#xff0c;需要对如何证明工作年限进行了解和掌握。 为大家整理了工作年限证明相关信息&#xff0c;一起来看看吧~ 一、…
阅读更多...
Rocky Linux 运维工具 ls

Rocky Linux 运维工具 ls

一、ls 的简介 ​​ls​ 用于列出当前目录下的文件和目录&#xff0c;以及它们的属性信息。通过 ​ls​命令可以查看文件名、文件大小、创建时间等信息&#xff0c;并方便用户浏览和管理文件。 二、ls 的参数说明 序号参数描述1-a显示所有文件&#xff0c;包括以 ​.​开头的…
阅读更多...
java单元测试技巧

java单元测试技巧

Test装饰器指定断言类型 在JUnit 4中&#xff0c;你可以使用expected属性在Test注解中声明期望的异常类型。如&#xff1a; Test(expected Exception.class) public void testSqlSessionFactoryBeanWithNullDataSource() throws Exception {
阅读更多...
5G双域快网

5G双域快网

目录 一、业务场景 二、三类技术方案 2.1、专用DNN方案 2.2、ULCL方案&#xff1a;通用/专用DNNULCL分流 2.3、 多DNN方案-定制终端无感分流方案 漫游场景 一、业务场景 初期双域专网业务可划分为三类业务场景&#xff0c;学校、政务、文旅等行业均已提出公/专网融合访问需…
阅读更多...
Spring MVC HandlerAdapter原理解析

Spring MVC HandlerAdapter原理解析

在Spring MVC框架中&#xff0c;HandlerAdapter&#xff08;处理器适配器&#xff09;是一个非常重要的组件&#xff0c;它负责调用处理器&#xff08;Handler&#xff09;来处理客户端的请求。HandlerAdapter在请求处理流程中起到了桥梁的作用&#xff0c;连接了DispatcherSer…
阅读更多...
【DDD】学习笔记-领域驱动设计对持久化的影响

【DDD】学习笔记-领域驱动设计对持久化的影响

资源库的实现 如何重用资源库的实现&#xff0c;以及如何隔离领域层与基础设施层的持久化实现机制&#xff0c;具体的实现还要取决于开发者对 ORM 框架的选择。Hibernate、MyBatis、jOOQ 或者 Spring Data JPA&#xff08;当然也包括基于 .NET 的 Entity Framework、NHibernat…
阅读更多...
Acwing周赛记录

Acwing周赛记录

很难得参加一次周赛hhhhh这次参加的是第144场周赛&#xff0c;一共有三道题 AcWing 5473. 简单数对推理 给定两个整数数对&#xff0c;每个数对都包含两个 1∼9 之间的不同整数。 这两个数对恰好包含一个公共数&#xff0c;即恰好有一个整数同时包含于这两个数对。 给定这两…
阅读更多...
选择排序，冒泡排序，插入排序，快速排序及其优化

选择排序，冒泡排序，插入排序，快速排序及其优化

目录 1 选择排序 1.1 原理 1.2 具体步骤 1.3 代码实现 1.4 优化 2 冒泡排序 2.1 原理 2.2 具体步骤 2.3 代码实现 2.4 优化 3 插入排序 3.1 原理 3.2 具体步骤 3.3 代码实现 3.4 优化 4. 快速排序 4.1 原理 4.2 具体步骤 4.3 代码实现 4.4 优化 为了讲…
阅读更多...
linux动态库加载相关

linux动态库加载相关

linux下动态库搜索规则 (1)编译目标代码时指定的动态库搜索路径,也就是RPATH&#xff1b; (2)环境变量LD_LIBRARY_PATH指定的动态库搜索路径&#xff1b; (3)配置文件/etc/ld.so.conf中指定的动态库搜索路径&#xff1b;配置完毕后需运行ldconfig命令生效&#xff1b; (4)默…
阅读更多...
Linux课程四课---Linux开发环境的使用（vim编辑器的相关）

Linux课程四课---Linux开发环境的使用（vim编辑器的相关）

作者前言 &#x1f382; ✨✨✨✨✨✨&#x1f367;&#x1f367;&#x1f367;&#x1f367;&#x1f367;&#x1f367;&#x1f367;&#x1f382; ​&#x1f382; 作者介绍&#xff1a; &#x1f382;&#x1f382; &#x1f382; &#x1f389;&#x1f389;&#x1f389…
阅读更多...
【MySQL】内置函数 -- 详解

【MySQL】内置函数 -- 详解

一、日期函数 日期&#xff1a;年月日时间&#xff1a;时分秒 1、获得年月日 2、获得时分秒 3、获得时间戳 4、在日期的基础上加日期 5、在日期的基础上减去时间 6、计算两个日期之间相差多少天 7、获得当前时间 ⚪练习 &#xff08;1&#xff09;记录生日 &#xff08;2&…
阅读更多...
视频监控简史

视频监控简史

安防系统中，视频监控始终是重头戏，是安防系统的核心。 目录 一、起步 二、模拟时代 三、数字时代 四、嵌入式存储 五、视频编码器 六、全数字化监控
阅读更多...
最新文章

Copyright @ 2022~2023