双向链表做为在平常开发中最经常使用的数据结构之一,应用十分普遍,在诸多著名开源项目中如redis的list结构, groupcache的lru中均是核心实现。在设计此类数据集合的时候,外面看上去链表彷佛与数组类似,但链表是一个非连续性内存的存储方案,提供了高效的节点重排能力与顺序访问方式,对比与操做数组,只需知道给定项的地址和位置的连接就能在内存中找到它,而且能够经过增减节点的方式来灵活的调整长度。反而数组,好比插入一个新的元素,那么该位置后的元素都要日后移动一位。git
redis 中的双向链表
golang 中的双向链表github
其结构如图golang
在双向链表中头结点的前指针为空,尾节点的后指针为空, 对头尾的操做十分简单, 插入头节点只须要将新节点的next设置为当前链表的头节点, 当前列表的prev为新节点, 并与之交换位置便可, 插入尾部反之redis
在节点中间按游标插入的话则须要考虑正向反向的问题, 下图当i 为正数表示正向插入,负数反向插入, 其实无论是只操做头尾节点仍是中间节点,其核心就是交换当前节点与前一个和后一个节点之间的连接数组
将某个节点移动至头部跟插入头部动做多了一步交换当前节点先后节点连接的操做缓存
而删除某个节点就只须要将其先后节点的连接互相相连,使其不被引用,它会自动被回收掉安全
LRU全称Least Recently Used, 直译为“最近最少使用”, 其对于内存管理方面十分有效,好比容量只有十的一个集合,当写入第十一条数据时候,最少使用的那个数据将会被淘汰,故此方法很适用于对有给定容量限制的热数据作缓存管理数据结构
在开源项目groupcache中, 缓存的过时没有设置过时时间而是依赖于LRU淘汰机制,那么其用来实现LRU的核心就是一个双向链表, 为了保证效率, 缓存数据被保存在一个Map中使每次缓存的存取时间复杂度为O(1), 而双向链表则负责管理内存的容量以及实现淘汰机制并发
在写入新的缓存项时,会把其插入至链表的头部, 而且判断若是当前链表长度大于给定长度时,删除链表尾部的元素,同时删除其在map中的keyspa
每当有访问命中缓存时, 会将命中的缓存移至链表头部
上述插入和命中时将其放到链表头部的策略,使得链表尾部的元素永远是使用得最少的那个缓存,故新缓存进来时就将其淘汰。
本文说明了双向链表的实现以及其实际应用,可是在真实应用中,golang 的双向链表是非线程安全的,如遇到并发状况操做链表则会由于找不到地址而报错, 因此groupcache项目在从LRU策略中获取缓存的时候,在外部包了一个带读写锁的结构体来保证其并发安全