转载

Java:手写线程安全LRU缓存X探究影响命中率的因素

最近遇到一个需求,需要频繁访问数据库,但是访问的内容只是 id + 名称 这样的简单键值对。

频繁的访问数据库,网络上和内存上都会给数据库服务器带来不小负担。

于是打算写一个简单的LRU缓存来缓存这样的键值对。考虑到tomcat的用户办法访问是多线程进行的。

所以还要保证cache是线程安全的。避免在用户操作的时候修改了cache导致其他用户读到不合法的信息。

构思

一, 数据结构选取

思路:

1.最简单的是用链表,最新访问的元素所在节点插入到头节点的后面,当要回收的时候就去释放链表尾部节点。

问题 : 如果数据量巨大,那么这条链表就会十分长,即使是线性时间复杂度的查找,也会耗掉不少时间。

2.打散链表,采用散列法,将节点散列到散列表中,这样,我们一长条的链表就会被打散成若干长度更小的链表。

Java:手写线程安全LRU缓存X探究影响命中率的因素

假如我们的散列算法设计得当,让整个链表均匀的洒在散列表上,那么所用时间最坏情况可以 变成原本的 1/m , m是散列表的大小。

3.在2中,虽然我们使用了散列表来打散,但是如果散列算法不当,或者正好碰到最坏情况,还是有可能节点集中在一条链上。

Java:手写线程安全LRU缓存X探究影响命中率的因素

所以我们可以把链表设计成树,这样我们就保证了最坏时的logN级的查找复杂度。

Java:手写线程安全LRU缓存X探究影响命中率的因素

总体上方法3会比2高效,但是实现起来复杂得多,所以我们采用方法2。

二, 回收策略

回收的时候需要考虑到

1.怎么样让回收的内容在最近尽可能不被访问到,这可能需要结合自己的程序业务来决定,一般的做法是回收最近最少使用的内容,不可能准确预测某内容在不久

的将来不被访问。

2.回收内容之后需要让整个存储结构尽可能均匀,尽可能不出现

Java:手写线程安全LRU缓存X探究影响命中率的因素

这种情况。

于是采取策略,回收最长的那个链表的末尾节点,这种做法不能说百分百可靠,

可能因为散列算法设计不合理,导致节点都聚集在某个槽中,这样的话那个槽的链表就会特别长。

这时这个链表上的节点总是要访问的,但是我们回收的是最长的链表,那么我们总是在回收最近要访问的内容

就很不合理,但是如果我们的散列算法得当,那么我们就能回收的同时保持整个散列表结构逻辑上均匀。

绝对均匀也不好,因为如果绝对均匀,那么就没有一个较长的链表,可以缓存尽可能多,最近被频繁访问的内容。

所以,散列算法的设计十分重要。

三, 线程安全

线程安全,这里是简单地采用  ReentrantReadWriteLock,分为读写两把锁,在读取缓存但不写的时候,占用读锁。

如果没命中,需要向散列表中写新内容,或修改,则占用写锁。

注意点:

并发编程使用 ReentrantReadWriteLock 无法做到锁升级,需要释放读锁之后再获取写锁。

在释放读锁到获取写锁之间,需要考虑到所有其他线程获取写锁修改某些我们需要的量的情况。

比如我们对A访问用读写锁R

R.readLock().lock();

M = null;

//0

if(A != null){

M = A;

}

R.readLock().unlock();

//1

R.writeLock().lock();

//2

function(M);

A = new XX();

在1处,可能有其他线程先占有了写锁,并且执行完了2之后的代码,所以我们在0处的判断就失效了。

所以在2之后还需要判断

//2

if(A != null){

M = A;

}

也就是要考虑释放读锁与获取写锁之间,其他线程可能获取写锁修改某些共享量。

在下面的代码注释中有详细说明

开始编写

首先,我们要实现我们选取的数据结构,这里选的是2中的数据结构。

3中的数据结构读者可以自行实现,需要注意的是,树如果旋转,则需要把旋转后的根节点挂到散列表上

1.链表设计

我们知道,链表的脱链和挂入有时候需要检查前驱后继节点是否非空。这使得我们的代码实现起来很复杂,而且维护的时候阅读也不方便。

于是我们打算让一根链表生来就有头和尾节点,这两个节点存放的值是无用的,这两个节点是闲置的,这样我们删除链表中的某个节点时

就不用检查他的前驱后继是否非空,因为有一开始的两个头尾节点,前驱后继肯定非空。

我们回收的时候回收的是尾节点的前一个节点。有一种特殊情况,如果头节点和尾节点之间没有其他节点呢?回收的不就是头节点?

我们的回收策略是回收长度最长的链表中的节点,并且当整个散列表的大小到达了特定值才会回收,所以一般不会回收头节点。

虽然多了头和尾两个节点,但是相比于我们成千上万的数据,微不足道。

  private class Node{

        /**
         * 当前节点的id
         */
        long now;

        /**
         * id - 名称键值对中的名称
         */
        String name;

        /**
         * 前驱
         */
        Node pre;

        /**
         * 后继
         */
        Node next;
    }

2.每条链表的管理结构

为了管理每个链表,比如记录链表的长度信息,保存链表的头尾指针(引用)。我们需要用一个数据结构管理链表

 private class HeadManager{

        /**
         * 链接前一个管理结构(链表长度小于等于当前链表)和后一个管理结构(链表长度大于等于当前链表)
         */
        HeadManager pre, next;

        /**
         * 当前链表的长度
         */
        int size = 0;
        
        /**
         * 链表中闲置的头节点
        * */
        Node head = new Node();

        /**
         * 链表中闲置的尾节点
         */
        Node tail = new Node();
        
        {
            /*
             * 一开始让首尾相连
             */
            head.next = tail;
            tail.pre = head;
        }
    }

这些管理结构是按照各自的链表长度大小组织成一条链表的,我们暂且称之为管理链表。当我们要回收节点的时候,就去找管理链表末尾的管理结构,把他的倒数第二个节点释放(尾节点闲置)。同样我们也需要闲置的管理结构头节点和尾节点来简化我们的代码。

总体框架:

public class PlatformCache {

    /**
     * 当整个散列表中的值超过这个大小,就会开始回收
     */
    private static final int MAX_SIZE = 1024;

    /**
     * 散列表所在数组的初始大小
     */
    private static final int INIT_SIZE = 64;

    private static Double rate = 0.0;

    private static Double time = 0.0;

    /**
     * 读写锁
     */
    private ReentrantReadWriteLock reentrantReadWriteLock;

    /**
     * 整个散列表中的节点数
     */
    private int size;

    /**
     * 散列表
     */
    private HeadManager[] tables;

    /**
     * 管理结构链表中的闲置头
     */
    private HeadManager inOrderHead;

    /**
     * 管理结构链表中的闲置尾
     */
    private HeadManager inOrderTail;

    /**
     * 单例
     */
    private static PlatformCache instance;

}
 
/**
* 获取单例
*/
public static PlatformCache getInstance(){
        if(instance == null){
            synchronized (PlatformCache.class){
                if(instance == null){
                    instance = new PlatformCache();
                }
            }
        }
        return instance;
}
public String getName(long id){
        try {//锁读锁 防止读入时修改
            reentrantReadWriteLock.readLock().lock();

            //简单散列
            int index = hash(id);
            HeadManager manager = tables[index];

            //如果管理结构不在散列表中 就让fresh = true
            boolean fresh = false;

            if(manager != null){
                Node head = manager.head.next;
                while(head != null && head != manager.tail){

                    //命中
                    if(id == head.now){
                        reentrantReadWriteLock.readLock().unlock();
                        reentrantReadWriteLock.writeLock().lock();
                        //到这里的时候,可能有其他线程操作过我们命中了的节点
                        //所以需要看一下我们的节点有没有被删除(前驱后继为空)
                        if(head.pre == null || head.next == null){
                            //如果删除了,就跳出循环,和没命中合并成同一种情况
                            reentrantReadWriteLock.readLock().lock();
                            reentrantReadWriteLock.writeLock().unlock();
                            break;
                        }
                        //移到前面 表示最近访问过
                        moveForward(manager, head);return head.name;
                    }
                    head = head.next;
                }
            }else{
                fresh = true;
            }

            //访问数据库
            Platform platform = mapper.selectByPrimaryKey(id);
            if(platform != null){
                    reentrantReadWriteLock.readLock().unlock();
                    //1
                    reentrantReadWriteLock.writeLock().lock();
                    //这里的检查很重要 因为在1处可能别的线程获得了锁
                    //修改了我们要访问的index下标处的内容
                    if(tables[index] == null){
                        //创建新的 管理结构 并挂到散列表上
                        manager = new HeadManager();
                        tables[index] = manager;
                    }else{
                        //如果其他线程创建了管理结构
                        //那么他们可能把我们想要的节点放到链表中了
                        //所以再次遍历节点,看看能否找到
                        manager = tables[index];
                        fresh = false;
                        Node head = manager.head.next;
                        while(head != null && head != manager.tail){
                            //命中
                            if(id == head.now){
                                //下面不用加写锁因为当前已经获得写锁
                                //移到前面 表示最近访问过
                                moveForward(manager, head);
                                return head.name;
                            }
                            head = head.next;
                        }
                    }

                //新建一个Node
                Node more = new Node();
                more.name = platform.getPlatformName();
                more.now = platform.getPlatformId();

                //插入到链表中闲置头节点的下一位
                Node now = manager.head.next;
                manager.head.next = more;
                more.next = now;
                now.pre = more;
                more.pre = manager.head;

                //更改管理结构管理的链表大小和总大小
                manager.size ++;
                size ++;

                if(fresh){
                    //如果新建了管理结构 就把管理结构挂入到大小队列
                    insertBeforeHead(manager);
                }

                //管理结构的链表大小增加时排序管理结构队列
                whenInc(manager);

                //超出了我们的预算,则进行回收
                if(size > MAX_SIZE){

                    if(inOrderTail.pre == inOrderHead){
                        logger.error("缓存中头和尾之间没有缓存节点!");
                        throw new ServiceException("缓存错误已经记录日志");
                    }

                    //删除链表长度最大的管理结构的链表尾节点的前一个节点
                    //inOrderTail是闲置的管理结构尾节点
                    //inOrderTail.pre是链表长度最大的管理结构
                    //inOrderTail.pre.tail是链表闲置的尾节点
                    //inOrderTail.pre.tail.pre真正需要回收的节点
                    deleteNode(inOrderTail.pre.tail.pre);

                    //管理结构的链表长度和散列表总大小均-1
                    inOrderTail.pre.size --;
                    size --;
                    whenDec(inOrderTail.pre);
                }

                return platform.getPlatformName();
            }
            return null;
        }finally {
            //释放所有锁
            try {
                //保险起见 固定释放读写锁
                try {
                    if(reentrantReadWriteLock.writeLock().isHeldByCurrentThread()){
                        reentrantReadWriteLock.writeLock().unlock();
                    }
                }catch (Exception e){
                }
                try {
                    reentrantReadWriteLock.readLock().unlock();
                }catch (Exception e){
                }
            }catch (Exception e){
                //可以写入日志
            }
        }

    }

辅助性方法外提:

  private void deleteNode(Node node){
        Node next = node.next;
        node.pre.next = next;
        next.pre = node.pre;
        node.pre = node.next = null;
    }

    /**
     * 往后找,找到链表长度比自己小的管理结构,并且插到他后面
     */
    private void whenInc(HeadManager manager){
        HeadManager back = manager.next;

        while(back.size < manager.size && back != inOrderTail){

            back = back.next;
        }

        manager.pre.next = manager.next;
        manager.next.pre = manager.pre;

        HeadManager pre = back.pre;
        pre.next = manager;
        manager.pre = pre;

        back.pre = manager;
        manager.next = back;

    }

    private void insertBeforeHead(HeadManager manager) {
        HeadManager now = inOrderHead.next;

        inOrderHead.next = manager;
        manager.next = now;

        now.pre = manager;
        manager.pre = inOrderHead;
    }

    private int hash(Long id){
        Long tmp = id;
        id ^= tmp >>> 32;
        id ^= tmp >>> 16;
        id ^= tmp >>> 8;
        id ^= tmp >>> 4;
        return Math.toIntExact(id & (tables.length - 1));
    }

    /**
     * 往前找,找到链表长度比自己大的管理结构,并且插到他前面
     */
    private void whenDec(HeadManager manager){
        HeadManager front = manager.pre;

        while(front.size > manager.size && front != inOrderHead){
            front = front.pre;
        }
        manager.pre.next = manager.next;
        manager.next.pre = manager.pre;

        HeadManager next = front.next;
        front.next = manager;
        next.pre = manager;

        manager.pre = front;
        manager.next = next;
    }

   //被访问的节点放在链表头部
    private void moveForward(HeadManager manager, Node head){
        Node now = manager.head;

        Node next = head.next;
        head.pre.next = next;
        next.pre = head.pre;

        head.pre = now;
        head.next = now.next;
        now.next.pre = head;
        now.next = head;
    }

测试

测试了一下,不是很OK。

测试环境:

硬件: i5 4核CPU 内存8G

软件: Jmeter 300线程,每次请求使用limit 随机数,50 请求50条数据,数据库表中总共有3300条数据

tomcat7.0

JDK8.0

散列表的大小是64

最大容纳Node个数是1024

系统跑到稳定的时候,命中率平均大概只有40%

其中稳定后的一组:

命中率: 0.3817002017558209

各个链表长度:

0 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 0

Manager总数: 64
Node总数: 1024.0
方差: 8.0
散列表大小:64

可以看出我们每个管理结构的链表长度都相等,整个散列表均匀,但是命中率实在太低。

我们改变一些量来尝试提高命中率。

尝试1.改变散列算法

原本的散列法:

散列算法1:

int index = Math.toIntExact((id & (tables.length - 1)));

直接用以散列表长度-1 做为掩码取后几位做为下标。

我们采用新的散列算法:

将id每一位的特征都用上。

散列算法2:

private int hash(Long id){
        id |= id >> 8;
        id |= id >> 8;
        id |= id >> 8;
        id |= id >> 8;
        return Math.toIntExact(id & (tables.length - 1));
 }

看看命中率会不会提高。

运行稳定后,命中率上升到50%左右。

运行稳定后的一组数据:

命中率: 0.5101351858242434

各个链表长度:

0 1 2 3 6 7 7 7 8 8 9 9 9 9 9 10 10 11 11 12 14 16 16 16 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 21 21 21 21 21 21 21 21 21 21 21 21 21 21 0

Manager总数: 63

Node总数: 1024.0

方差: 43.465388506960714

散列表大小 : 64

我们发现,虽然均匀程度下降,但是命中率有所上升,因为充分利用了元素标识id的特征。元素散列到散列表中的位置更有独特性。

当然,因为我们用的是按位或,所以元素会往数组下标大的方向聚集。

所以进一步改进我们的hash算法

散列算法3:

  private int hash(Long id){
        Long tmp = id;
        id ^= tmp >>> 32;
        id ^= tmp >>> 16;
        id ^= tmp >>> 8;
        id ^= tmp >>> 4;
        return Math.toIntExact(id & (tables.length - 1));
    }

我们让每一位都参与到特征值的生成中,但是减少了往下标大的地方聚集的趋势

稳定后结果:

命中率: 0.561265216523648

各个链表长度:

0 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 0

Manager总数: 64
Node总数: 1024.0
方差: 8.0
散列表大小 : 64

我们发现散列表变得均匀,命中率相应也上升了不少。

与散列算法1比起来,散列表都是均匀的,为什么命中率高了接近20%呢?

原因可能是因为 :算法1的散列表均匀是回收算法造成的,算法1散列的结果仍然很不均匀,导致散列出的下标集中在某些地方。

频繁地对这些地方进行访问,可能频繁的在这些地方插入节点,所以这些活跃区域,也是长度增长最快的区域,而回收的时候又

总是回收这些活跃区域,导致我们不久之前刚刚创建的节点总是被回收,导致命中率下降。

算法2虽然也是保持散列表均匀,但是对散列表的访问因为散列算法散列得得当,所以分散得比较开,所以是

“在均匀情况下,增加一个,回收一个,而且大大减少了回收的是最近访问过的节点的概率”

尝试2.改变散列表的大小,但不改变最大Node数量

最大节点数还是1024,而散列表的槽数增加成128。

运行稳定后,命中率没有明显的上升。

原因可能是因为就算增加了槽数,但总的节点数不变,该回收还是回收,导致命中率没有明显上升。

但是链表的平均长度减小,在链表中遍历查询元素的时间减少。

使用散列算法2.

命中率: 0.5074192929043583

各个链表长度:

0 1 1 1 1 1 2 2 2 3 3 3 3 4 4 4 4 4 4 4 4 5 5 5 5 5 5 5 5 5 5 5 5 5 6 6 6 7 7 8 8 8 8 9 9 9 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 11 11 11 11 11 11 11 11 11 11 11 11 11 0

Manager总数: 125

Node总数: 1024.0

方差: 9.836877824000004

使用散列算法3.

命中率: 0.5587484035759898

各个链表长度:

0 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 0

Manager总数: 128
Node总数: 1024.0
方差: 1.0

尝试3.散列表大小不变,增加节点个数

这个方法大概率是会增加命中率的,因为减少了回收次数,而且节点数接近我们记录总数的时候,命中率甚至可能接近100%。

最大节点数增加成是2048,散列表的槽数为128。

运行稳定后: 命中率接近100%

使用散列算法2.

命中率: 0.9811895632415405

各个链表长度:

0 1 1 1 1 1 2 2 2 3 3 3 3 4 4 4 4 4 4 4 4 4 4 5 5 5 5 5 5 5 5 5 5 5 5 6 6 6 6 7 8 8 8 8 8 9 9 9 10 10 10 11 11 11 11 11 11 11 12 12 12 12 12 12 12 13 13 13 13 13 13 13 13 13 14 14 14 15 15 15 15 15 16 16 16 17 18 18 18 18 18 20 20 20 20 20 21 21 22 22 23 25 34 35 37 37 37 37 38 38 39 40 40 40 41 41 42 45 46 49 49 49 49 50 50 50 0

Manager总数: 125
Node总数: 2048.0
方差: 198.067511296

尝试4.改变回收策略

简单的采取回收当前位置的末尾节点。

比如我们在0号位置插入一个新增的Node,导致整个散列表节点数超过了最大值,那么就直接回收0号位置的末尾节点(不是真正的末尾节点,真正的末尾节点被闲置)

使用散列算法2

命中率: 0.5508982035928144

0 0 0 0 0 0 0 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3 3 3 3 3 3 3 4 4 4 4 4 4 4 4 4 4 5 5 5 5 5 5 5 5 5 5 5 5 6 6 6 6 6 6 6 6 6 6 6 6 6 6 7 7 7 7 7 7 7 8 8 8 8 9 9 10 10 10 10 10 10 11 11 11 11 12 12 12 13 13 14 15 16 16 17 18 19 20 20 20 20 21 21 22 23 23 24 25 28 29 29 31 34 0

Manager总数: 125

Node总数: 1024.0

方差: 57.676877824

散列表大小 : 128

使用散列算法3

命中率: 0.561866802451144

0 1 4 4 4 4 4 5 5 5 5 5 5 5 5 5 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 11 11 11 11 11 11 11 11 11 11 12 12 12 12 13 14 0

Manager总数: 128

Node总数: 1024.0

方差: 5.578125

散列表大小 : 128

命中率并没有多大的变化,但是散列表均匀程度下降。

扩容与重散列:

明天考试,以后再更

最终采用了:

1.散列算法3,保证散列的均匀性

2.回收最长链表

3.最大节点数 : 采用总数据量的45%。比如总共有1000条数据,则最多有450个节点。选取的理由是命中率可以达到80%,满足我的业务需求

Java:手写线程安全LRU缓存X探究影响命中率的因素

1500 / 3300 约等于 45%

当然,这是我的鸡肋业务,如果真的要用到海量数据的业务中去,则仅供参考。

有不妥之处,多谢指出。

原文  http://www.cnblogs.com/lqlqlq/p/12845291.html
正文到此结束
Loading...