Redisson中Reactive类型缓存同步问题的分析与解决

问题背景

在使用Redisson作为Spring缓存管理器时，开发人员发现当使用@Cacheable注解并设置sync=true参数时，如果方法返回的是Reactive类型(如Mono)或CompletableFuture，缓存同步机制会出现异常行为。

问题表现

具体表现为：

1. 当多个并发请求同时访问被@Cacheable(sync=true)注解修饰的返回Mono或CompletableFuture的方法时，所有请求都会被阻塞
2. 理想情况下，第一个请求应获取锁并执行方法，后续请求应直接使用缓存结果，但实际却出现了所有请求都被挂起的现象
3. 当方法返回普通String类型时，同步机制工作正常

技术分析

这个问题本质上源于Redisson对Reactive编程模型的支持不足。在传统的同步编程模型中，线程ID可以作为锁的标识符，因为每个请求都由独立的线程处理。但在Reactive编程模型中：

1. 同一个线程可能被多个请求共享使用
2. 响应式链的执行可能在不同线程间切换
3. 使用线程ID作为锁标识会导致锁竞争异常

解决方案

Redisson项目维护者mrniko在收到问题报告后迅速修复了这个问题。修复的核心思路是：

1. 不再依赖线程ID作为锁标识
2. 为每个Reactive操作生成唯一的随机标识符
3. 确保在Reactive环境下锁机制能正确工作

后续优化

虽然基本问题已解决，但在高并发场景下(如100个并行请求)仍存在优化空间：

1. 当前的实现在高并发下可能导致方法被多次调用
2. 可以考虑引入更精细的锁粒度控制
3. 可能需要优化标识符生成策略，确保在极高并发下的唯一性

最佳实践建议

对于使用Redisson进行Reactive缓存同步的开发人员，建议：

1. 确保使用最新版本的Redisson
2. 在高并发场景下进行充分测试
3. 考虑结合其他缓存策略(如提前加载)减少锁竞争
4. 监控缓存命中率和锁等待时间

这个问题的解决展示了开源社区对Reactive编程模型支持的持续改进，也为开发者提供了在响应式环境中使用分布式缓存的重要参考。