Redis是一种高性能的内存数据库，它可以提供一些数据结构和命令来实现分布式锁的功能。分布式锁是一种在分布式系统中协调多个进程或线程的同步机制，它可以保证在同一时刻只有一个客户端可以访问或修改共享资源。
Redis分布式锁用的是什么类型呢？其实，Redis没有提供专门的分布式锁类型，而是利用了它的字符串类型和一些特殊的命令来实现分布式锁的逻辑。具体来说，Redis分布式锁主要有以下几种类型：
1.基于setnx命令的简单锁。setnx命令可以设置一个字符串键值对，如果键不存在则返回1，如果键已存在则返回0。这样，客户端可以通过setnx命令尝试获取一个锁，如果返回1则表示成功，如果返回0则表示失败。为了防止死锁，客户端还需要给锁设置一个过期时间，这可以通过expire命令或者在setnx命令中使用ex选项来实现。释放锁时，客户端只需要删除对应的键即可。
2.基于lua脚本的原子锁。由于setnx命令和expire命令不是原子操作，有可能在执行过程中发生网络故障或者服务器宕机，导致锁没有正确设置过期时间或者没有正确释放。为了解决这个问题，可以使用lua脚本来将获取锁和释放锁的逻辑封装成一个原子操作，然后通过eval命令执行。lua脚本可以访问Redis的数据结构和命令，并且保证在执行过程中不会被其他客户端打断。
3.基于redlock算法的高可用锁。由于Redis是一个单点服务，如果Redis服务器出现故障或者网络分区，那么分布式锁就无法正常工作。为了提高可用性和容错性，可以使用redlock算法来实现一个基于多个Redis节点的分布式锁。redlock算法的核心思想是：客户端同时向N个Redis节点发送获取锁的请求，如果大多数节点返回成功，则认为获取锁成功；客户端同时向N个Redis节点发送释放锁的请求，无论返回结果如何都认为释放锁成功。redlock算法需要满足一些条件和假设才能保证正确性和安全性，具体可以参考论文《Distributed locks with Redis》。