串行化隔离级别是最严格的隔离级别,所谓串行话,指的是两个事务t1和t2,最终执行的结果与先执行t1在执行t2或者先执行t2再执行t1的结果一样。这个如何实现?最简单的方式叫做两段式锁。
定义了两种锁,读锁和写锁,只有读-读可以共享,其余的都阻塞。两段式锁指的是加锁和解锁不能交替,也就是在一个事务内,解锁操作之后不能再有任何的加锁操作,如果严格按照这个协议来操作数据,那么最终的执行一定是可串行话。
但是需要注意,这个方法并不是可串行化的充要条件,仅仅是一个必要条件,而且这种方法的缺点在于可能导致死锁。
那么为什么不能交替呢?交替就使得事务不是串行化了,下面是一个例子:
如果我们加完锁进行了数据的操作就直接释放锁,那么t1会先修改x,紧接着t2也会修改,导致t2覆盖了t1的修改值,所以显然不是可串行化了。如果使用了两段式加锁,那么首先t1会对x加读锁,然后t2也会对x加读锁,并且读完以后不能释放,接着t1的writeX操作就会发现X已经被t2加上了读锁,导致它无法获取到写锁必须等待t2释放,同时t2的writeX操作也因为t1掌握了x的读锁而无法进行,也被阻塞了,整个过程形成了死锁。虽然形成了死锁,但是并没有出现刚才的写覆盖问题,所以必须把加锁和解锁两个步骤严格分开。