设计模式-隔离与不变性

问题

• 更新丢失（Lost updates）

例如：Martin首先对文件中的内容A作修改，操作需要花费10分钟，此时David打开同一个文件修改内容B并保存，之后Martin开始保存。此时，Martin写入文件时机会覆盖David更新过的那个版本。

• 不一致读（Inconsistent read）

发生在读取两份各自正确而在某一时刻相互矛盾时。例如：Martin打开一个Java包中的两个子包A和B，其中A包中有7个类，B包有5个类，此时David也打开了这两个包，并在A包中增加了2个类，在B包上增加了3个类，并提交。此时Martin再查看时发现两个包共有15个类，但这并不是正确答案。
并发的两个重要解决方法就是：隔离（isolation）与不变性（immutability）

• 隔离

并发发生在多个执行单元（进程或线程）同时访问同一数据时。隔离就是划分数据，使得每一片数据都只能被一个执行单元访问。如可以给文件加锁，Martin打开的文件，其他人就无法打开。
好的设计：找到各种创建隔离区的方法，并且保证在每个隔离区里能够完成尽可能多的任务。

• 不变性

只有在共享数据可以修改的情况下，并发问题才会出现，而不变的数据无需考虑并发问题。因此，可以通过定义不变数据避免并发的产生。

两种形式的并发控制：乐观锁策略和悲观锁策略

• 乐观锁

如果Martin和David同时要编辑一个文件，使用乐观锁策略，两人各得到一份文件拷贝，同时编辑。对于后提交者，源代码控制系统会检测他的修改和先提交的修改是否存在冲突，从而作出拒绝提交或者其他处理的决定。
乐观锁可以看成是冲突检测的。
缺点：当冲突的时候作如何处理。

• 悲观锁

上例中，先打开文件者占用该文件，直到提交后才允许其他人打开。
悲观锁可以看成是冲突避免的。
缺点：减少了并发程度。

乐观锁策略和悲观锁策略的选择

选择标准：冲突的频率和严重性，若冲突很少后果也不严重，则选择乐观锁，否则选择悲观锁。