CAS（比较并交换）主要使用了 Redis 的哪些基础命令？

回答思路

1. 指出 CAS 通常依赖 WATCH、MULTI、EXEC 实现事务性比较与交换
2. 说明 WATCH 用于监视键，EXEC 前若键被修改则事务失败
3. 可提及 SETNX 或 Lua 脚本作为替代原子方案，并说明各自优缺点