我有一个AzureRedis缓存，多个客户端正在使用它。缓存中的共享资源(键)很少需要互斥。我正在使用提议的红锁算法here.我的要求是每个客户端都需要以互斥的方式访问共享资源。如果客户端无法获取资源上的锁，那么它应该以30秒的间隔继续尝试获取锁，直到它获取了锁。为防止死锁，以防进程崩溃，锁应在5分钟后过期。我已经从github查看了redock.net的文档，但我不确定如何正确使用重试、等待和过期参数来达到上述标准。谁能指导我朝那个方向发展？或者是否有任何其他详细文档可用？代码是用.NET编写的，所以我使用StackExchange.Redis和Redlock.net