基本应用
在Redis的事务里面，采用的是乐观锁，主要是为了提高性能，减少客户端的等待。由几个命令构成：WATCH, UNWATCH, MULTI, EXEC, DISCARD。
通过WATCH，可以实现CAS操作。使用WATCH监听一些键，然后去检查键的值，然后根据键的值来决定是否还需要进行MULTI，如果键的值被改了，则重新。（因为有可能在执行WATCH前，键的值被改了，所以需要先WATCH，然后再作判断）。在执行MULTI命令后，如果中途WATCH的键的值被修改了，后续再执行EXEC时，整个事务都会被终止。
CAS使用示例：
假设存在一个String类型的状态值,state，需要对其进行CAS操作：
WATCH state value = GET state; if value == 1 UNWATCH state Return false; MULTI SET state 1 result = EXEC if result == success return true; return false;
原理
Redis事务实现原理
通过上述的基本应用可以知道，Redis是通过WATCH命令，来保证当前事务的数据是否被修改过，如果被修改了，则整个事务会中止，不再执行。那么，Redis在实现的时候，会保存对应的watch key，然后中途如果该Key被修改了，则会将对应的所有客户端的标志位都置为CLIENT_DIRTY_CAS，表示数据被修改，后续执行EXEC的时候则会被中断，从而实现事务。而UNWATCH命令则是从保存的watch_keys里面移除。MULTI命令仅仅将客户端的标志位flags置为CLIENT_MULTI，表示处于MULTI状态，该状态下，后续的命令（除了MULTI/WATCH/DISCARD/EXEC）外，其它命令都会被保存到一个列表里面，直到EXEC或者DISCARD命令执行。如果中途出现了语法错误之类的命令，则会将flags置为CLIENT_DIRTY_EXEC。后续执行EXEC时，如果flags存在CLIENT_DIRTY_CAS或者CLIENT_DIRTY_EXEC，则整个事务会被中止，不执行任何命令。
ACID分析
针对Redis的事务实现，对于ACID，个人认为，对于Atomicity和Durability以及Consistency，Redis是不满足的。为什么会对ACID进行分析呢，一部分原因是为了作对比学习，另一部分是因为《Redis设计与实现》19章事务ACID性质里面提到了一些观点，个人不太认同，所以进行了一些对比。
Atomicity
指的是要么不执行，要么全部执行。当其中一部分执行了，但是另外一部分没有执行，那么作为整个事务，是全部要回滚，都不执行的，而Redis在执行过程中，如果出现操作和类型不一致，则会导致一部分执行，而一部分错误的情况，即不满足原子性。当然，除去部分失误外，还是能够保证原子性的，但是这并不是严格的原子性要求。Durability
持久性，事务提交后，无论出现任何情况，包括系统断电之类的，重启后都是可以恢复的。对于Redis来说，即使开启了AOF以及设置为always，也存在命令执行一部分后，系统宕机而导致数据不一致的情况，不能恢复。一般都是通过write-ahead-logging来实现的，即事先写日志，而Redis是边执行边写日志。Consistency
