Redis基础 -事务和乐观锁的实现

事务：

①原子性（atomicity）。一个事务是一个不可分割的工作单位，事务中包括的操作要么都做，要么都不做。
②一致性（consistency）。事务必须是使数据库从一个一致性状态变到另一个一致性状态。一致性与原子性是密切相关的。
③隔离性（isolation）。一个事务的执行不能被其他事务干扰。即一个事务内部的操作及使用的数据对并发的其他事务是隔离的，并发执行的各个事务之间不能互相干扰。
④持久性（durability）。持久性也称永久性（permanence），指一个事务一旦提交，它对数据库中数据的改变就应该是永久性的。接下来的其他操作或故障不应该对其有任何影响。
在Redis事务没有没有隔离级别的概念！
在Redis单条命令式保证原子性的，但是事务不保证原子性！

乐观锁
一个事务对数据库中数据进行修改时，总是乐观的认为没有其他事务同时对他要操作的数据进行操作，也就是认为不会有并发事务线程安全的问题。

乐观锁一般不会加锁，乐观锁有两种实现方式，一种是CAS操作，一种是加版本号。

悲观锁

一个事务对数据库中数据进行修改时，总是悲观的认为有其他事务同时对他要操作的数据进行操作，也就是说认为存在有并发事务线程安全的问题。

所以说他在对共享数据进行操作时，首先要获得某个对象的锁，且在操作完成之前一直持有锁，以此保证在这段时间内只有他自己能够对数据进行操作，从而保证线程安全性。

悲观锁的方式一般会给对象的锁，如synchronized，reentrantlock，只有获得了对象的锁之后才有权利访问同步代码块。

redis中的事务

开启一个事务multi

提交一个事务exec

回滚一个事务discard

注：

        编译时异常，代码有问题，或者命令有问题，所有的命令都不会被执行

        运行时异常，除了语法错误不会被执行且抛出异常后，其他的正确命令可以正常执行

redis中乐观锁的实现：

        watch监视某个变量，如果变量的值被修改了，那么则会执行失败

注意：

        watch 指令只能在事务之外执行，在事务内部执行的话，redis会报错