當Redis宕機時，分布式鎖的解決方案可以考慮以下幾種方式：
設置鎖的過期時間：在獲取鎖時，可以為鎖設置一個過期時間，在Redis宕機后，鎖會自動過期釋放，其他線程可以重新獲取鎖。
使用Redis的持久化機制：可以將Redis的數據進行持久化，當Redis宕機后重新啟動時，可以將之前的鎖狀態恢復，保證鎖的一致性。
使用Redis的主從復制：將Redis設置為主從復制模式，當主節點宕機時，可以將從節點提升為主節點，保證鎖的可用性。
引入高可用的Redis集群：搭建Redis集群，將數據分散存儲在多個節點上，當某個節點宕機時，其他節點可以繼續提供服務，確保鎖的可用性。
使用分布式鎖的框架：可以使用一些成熟的分布式鎖框架，如ZooKeeper、etcd等，這些框架本身就具備高可用和容錯能力，可以更好地保證分布式鎖的可用性。
需要根據具體的應用場景和需求選擇合適的解決方案，綜合考慮可用性、性能、成本等因素。
