uhaiin 的微博

布隆过滤器由 Burton Howard Bloom 在 1970 年提出，它本质上是一个长度为m的位数组，初始值全部为 0。同时，它拥有k个相互独立的哈希函数，这些哈希函数能将任意输入元素均匀地映射到m个位置上。当向布隆过滤器中添加一个元素时，先使用k个哈希函数分别对该元素进行计算，得到k个哈希值，然后将位数组中对应这k个哈希值的位置置为 1。判断一个元素是否在布隆过滤器中时，同样用k个哈希函数计算得到k个哈希值，查看位数组中对应位置是否都为 1。若有一个位置为 0，则该元素一定不在；

Redis（Remote Dictionary Server）是一款开源的、基于内存的数据结构存储系统，它可以用作数据库、缓存和消息中间件。Redis 支持多种数据结构，如字符串、哈希、列表、集合、有序集合等，这使得它在处理各种复杂场景时游刃有余。其基于内存的特性保证了极高的数据读写速度，通常能达到毫秒级甚至微秒级别的响应，远快于传统关系型数据库基于磁盘的操作。

Redis 是一款开源的、基于内存的高性能 key-value 存储数据库，它支持多种数据结构，如字符串（String）、列表（List）、集合（Set）、有序集合（Sorted Set）等，这些特性使其在诸多应用场景中表现卓越。高速读写原子操作数据结构灵活适配。

在当今分布式系统架构广泛应用的时代，如何确保多个实例或线程在访问共享资源时的一致性和正确性，成为了开发人员面临的关键挑战之一。分布式锁作为解决这类问题的核心工具，在众多场景中发挥着不可或缺的作用。本文将深入探讨如何基于 Spring Boot 和 Redis 高效实现分布式锁，助力开发者构建更加健壮可靠的分布式应用。

Redis 是一个开源的、基于内存的键值存储数据库，可以用作数据库、缓存和消息代理中间件。它支持多种类型的数据结构，如字符串、列表、集合、散列表、有序集合以及地理空间索引数据。Jedis 是 Redis 的一个流行的 Java 客户端，用于通过 Java 程序与 Redis 服务进行交互。它提供了丰富的 API 来操作 Redis，是一个性能优秀的客户端。本文基于 SpringBoot 3 撰写。