线程安全的可控制最大容量且带有过期时间的本地缓存
作者|buren
编辑|包包
最近在公司优化一个接口的时候打算使用一个key-value结构的本地缓存。
需要实现的功能非常简单:
1、可以控制本地缓存的最大对象数量。
2、线程安全,防止发生OOM。
3、同时支持设置单个对象的过期时间。
面对这个需求,我的选择很多,有很多框架都做的非常好,但大多数框架对我来说都太重量级了,我希望一个简单高效的实现,所以我开发了一个简单的小工具,在这里可以分享下实现思路和开发当中遇到的问题以及解决办法。
首先是key-value的结构,我底层封装了一个Map来保存数据。然后要解决线程安全问题,所以我使用了
ConcurrentHashMap这个Map的实现,关于ConcurrentHashMap这个类网上有很多介绍,我在这里就不多说了。
接下来就是需要控制最多存储的对象数量,防止本地缓存太多对象(而且对象一直都被引用,还无法被GC)造成OOM,一开始我只是简单的使用比较size和最大值来判断是否还能添加对象,但是在后来的测试发现并发量非常高的时候会多存几倍的对象,为了保证性能我还不希望加锁或使用synchronized关键字,所以我选择了AtomicInteger这个原子类巧妙的处理添加和删除方法。这个问题的解决我会在代码里详细解释。
对于过期时间实现,我参考了Redis底层对于过期部分的实现,它分为主动和被动过期,前者更节约空间后者性能更好,为此我兼容了两者的优势,采取了主动+被动的方式,在查询时判断是否过期,如果过期,清除对象同时返回null(被动)。在添加元素时判断是否还有空间,如果有正常添加,如果没有触发全量过期,之后再判断是否有空间,有就添加,没有就返回添加失败(主动)。
具体代码如下
import org.apache.commons.lang3.StringUtils;
import org.slf4j.Logger;
import org.slf4j.LoggerFactory;
import java.util.Map;
import java.util.concurrent.ConcurrentHashMap;
import java.util.concurrent.atomic.AtomicInteger;
/**
* 本地缓存
* 采用懒过期模式 在查询时才判断是否过期
* 在缓存满了的时候触发主动过期过期
*
* @author zhangmingxu ON 17:52 2019-05-20
**/
public class LocalCache {
private static final Logger logger = LoggerFactory.getLogger(LocalCache.class);
private static final int DEFAULT_MAX_NUMBER = 100; //默认最大缓存对象数
private final Map<String, Value> cache; //真正存储数据的Map,使用ConcurrentHashMap
private final int maxNumber; //最大对象数
//并发控制器,很重要,防止高并发下本地缓存对象个数超过maxNumber
private final AtomicInteger cur = new AtomicInteger(0);
/**
* 使用默认最大对象数100
*/
public LocalCache() {
this(DEFAULT_MAX_NUMBER);
}
public LocalCache(int maxNumber) {
this.maxNumber = maxNumber;
this.cache = new ConcurrentHashMap<>(maxNumber);
}
/**
* 添加
* 判断是否超过最大限制 如果超过触发一次全量过期
* 如果全量过期后还不够返回false
* 由于1 2 不是原子的所以需要使用单独的AtomicInteger来控制
*
* @param key 对应的key
* @param value 值
* @param expire 过期时间 单位毫秒
*/
public boolean put(String key, Object value, long expire) {
if (StringUtils.isBlank(key) || value == null || expire < 0) {
logger.error("本地缓存put参数异常");
return false;
}
if (!incr()) { //如果CAS增加失败直接返回添加失败
return false;
}
if (isOver()) { //判断是否需要过期
expireAll(); //触发一次全量过期
if (isOver()) { //二次检查
logger.error("本地缓存put时全量过期后还没有空间");
decr();
return false;
}
}
putValue(key, value, expire);
return true;
}
/**
* 获取时判断过期时间
* 在这里实现懒过期
*/
public Object get(String key) {
Value v = cache.get(key);
if (v == null) {
return null;
}
if (isExpired(v)) {
logger.info("本地缓存key={}已经过期", key);
removeValue(key);
return null;
}
return v.value;
}
/**
* 判断是否过期,实现很简单
*/
private boolean isExpired(Value v) {
long current = System.currentTimeMillis();
return current - v.updateTime > v.expire;
}
/**
* 扫描所有的对象对需要过期的过期
*/
private void expireAll() {
logger.info("开始过期本地缓存");
for (Map.Entry<String, Value> entry : cache.entrySet()) {
if (isExpired(entry.getValue())) {
removeValue(entry.getKey());
}
}
}
/**
* 为了保证cur和Map的size时刻保持一致这里我查询了put的注释及ConcurrentHashMap底层关于put的实现。
* 发现如果put方法返回的不是null说明存在覆盖操作,如果是覆盖那么Map的size其实没有变,因为我们添加之前把cur的值增加
* 上去了所以要在这里减下来。
*/
private void putValue(String key, Object value, long expire) {
Value v = new Value(System.currentTimeMillis(), expire, value);
if (cache.put(key, v) != null) {//存在覆盖 使得cur和map的size统一
decr();
}
}
/**
* 这里也是为了保证cur和Map的size时刻保持一致只有在remove方法返回的不是null时才证明真正有对象被删除了,才需要把
* cur减下来。这里出现remove返回为null是因为可能存在并发删除,两个线程删除同一个对象只能有一个删除成功(返回不是
* null),另一个(返回null)如果也减小了cur的值,会造成cur和Map的size不一致。
private void removeValue(String key) {
if (cache.remove(key) != null) { //真正删除成功了 使得cur和map的size统一
decr();
}
}
/**
* 这里很重要,原来我使用的是cache.size() >= maxNumber;
* 但是如果使用map本身的size方法会存在获取size和putValue方法不是原子的,
* 可能多个线程同时都判断那时候还没执行putValue方法,线程都认为还没有满,大家都执行了putValue方法造成数据太多
*/
private boolean isOver() {
return cur.get() > maxNumber;
}
private boolean incr() {
int c = cur.get();
return cur.compareAndSet(c, ++c);
}
/**
* 因为CAS不一定是一定成功的
* 所以这里通过循环保证成功
*/
private void decr() {
for (; ; ) {
int c = cur.get();
if (c == 0) {
logger.error("LocalCache decr cur is 0");
return;
}
if (cur.compareAndSet(c, --c)) {
return;
}
}
}
private static class Value {
private long updateTime; //更新时间
private long expire; //有效期
private Object value; //真正的对象
private Value(long updateTime, long expire, Object value) {
this.updateTime = updateTime;
this.expire = expire;
this.value = value;
}
}
}
这里面最关键的就是AtomicInteger cur这个对象,它在put方法参数校验通过之后就加1(虽然当时还没有putValue),使用这个操作让其他线程在后面的isOver方法中马上感知到数量变化,不会添加过多的对象。
保证cur的值和Map的Size时刻一致也很重要,并不是只要putValue了就加一(覆盖时虽然put进去了对象但是size不变),remove了就减一(并发删除同一个对象只能有一个成功,可能多减了),平常我们在使用Map的put和remove方法时往往忽略了它们的返回值,所以我建议大家仔细阅读源代码,加深理解。
并发测试代码如下:
public static void main(String[] args) throws InterruptedException {
long start = System.currentTimeMillis();
LocalCache localCache = new LocalCache();
int n = 500; //线程数
int m = 100000; //每个线程put个数
CountDownLatch count = new CountDownLatch(n);
for (int i = 0; i < n; i++) {
new Thread(() -> {
for (int j = 0; j < m; j++) {
localCache.put(j + "", new Object(), 10);
}
count.countDown();
}).start();
}
count.await();
System.out.println("size:" + localCache.cache.size());
System.out.println("cur:" + localCache.cur);
System.out.println("耗时 " + (System.currentTimeMillis() - start));
}