实验数据库并发控制-Read.doc

曲阜师范大学计算机科学学院 PAGE  PAGE 6 实验8： 数据库并发控制 【实验目的】 了解并掌握数据库的保护措施——并发控制机制，重点以SOL Server2000为平台加以操作实践，要求认识典型并发问题的发生现象并掌握解决办法。 【实验背景】 并发操作是数据库共享特性的一个体现，但却对数据库德一致性和完整性形成了巨大的危机。事务是并发控制的基本单位。 SOL Server2000的事务一般分为2类，一种是系统提供的事务，是指在执行语句时，一条语句就是一个事务；另一种是用户定义的事务，即用户明确定义的事务。在实际应用中大多数事务需要由用户自己定义事务来出来。用BEGING TRANSACTION定义事务的开始；用COMMIT TRANSACTION来成功提交事务；用ROLLBACK TRANSACTION 将事务操作全部取消。 SOL Server2000采用加锁技术确保事务运行不会影响数据库的一致性和完整性。加锁技术可以防???用户读取正在由别的用户修改的数据，也可以防止两个用户同时修改同一个数据。如果没有锁，数据库中的数据可能出现丢失修改、脏读、不可重复读、幻影等并发问题。虽然SOL Server2000自动强制锁定，但是可以通过了解锁定并在应用程序中自定义锁来设计更有效的并发控制程序。 SOL Server2000提供了如下类型的锁：共享 (S)、更新 (U)、排它 (X)、意向锁、架构锁、大容量更新 (BU)，详见联机丛书《SQL Server 中的锁定介绍》。SQL Server 2000 具有多粒度锁定，允许一个事务锁定不同类型的资源。 隔离属性是 ACID 的四个属性之一，逻辑工作单元必须具备这四个属性才能称为事务。该属性能够使事务免受其它并发事务所执行的更新的影响。每个事务的隔离级别实际上都是可以自定义的。当锁定技术实施并发控制机制时，使所有事务得以在彼此完全隔离的环境中运行，但是任何时候都可以有多个正在运行的事务。可串行性保证一组并发事务运行后所达到的数据库状态，等同于这组事务按某种顺序连续执行时所达到的数据库状态。 隔离级别是一个事务必须与其它事务进行隔离的程度。较低的隔离级别可以增加并发，但代价是降低数据的正确性。相反，较高的隔离级别可以确保数据的正确性，但可能对并发产生负面影响。设置事务隔离级别虽然使程序员承担了某些完整性问题所带来的风险，但可以换取对数据更大的并发访问权。SQL-92 定义了使用SET TRANSACTION ISOLATION LEVEL语句定义时可以选择的四种隔离级别： READ UNCOMMITTED未提交读 READ COMMITTED 提交读（SQL Server 默认级别）。 REPEATABLE READ 可重复读。 SERIALIZABLE 可串行读（事务隔离的最高级别，事务之间完全隔离）。 SET TRANSACTION ISOLATION LEVEL 的设置是在执行或运行时设置，而不是在分析时设置。一次只能设置这些选项中的一个，而且设置的选项将一直对那个连接保持有效，直到显式更改该选项为止。这是默认行为，除非在语句的 FROM 子句中在表级上指定优化选项。如果事务在SERIALIZABLE隔离级别上运行，则可以保证任何并发重叠事务均是串行的。 【实验内容】 丢失修改(lost updates) 丢失修改直接影响数据库的正确性，是并发控制首要解决的问题。事务必须运行于可重复读(REPEATABLE READ)或者更高的隔离级别才防止丢失修改。当两个事务检索相同的行，然后基于原检索的值对行进行更新时，会发生丢失更新。如果两个事务使用一个 UPDATE 语句更新行，并且不基于以前检索的值进行更新，则在默认的READ COMMITTED隔离级别不会发生丢失修改。 步骤1：创建一个实验数据库TEST，并创建表sales。 步骤2：创建两个存储过程 modi_m和 modi_a，语句如图： 步骤3：打开两个查询分析器窗口，分别运行两个存储过程 modi_m和 modi_a。（也可以利用企业管理器的查询子窗体进行模拟，方法如图） 步骤4：可以看到同时运行两个存储过程，就可以实现对“数量”字段加1和减1各2000次操作，“数量”字段最后应该得到的值是0，但是运算结果不是0。这说明发生了丢失修改现象。 步骤5：修改存储过程modi_m为如图所示，而modi_a也作相应的修改。那么“数量”字段的值将一直为0。 结论：多个进程同时运行，会发生丢失修改的现象。解决的办法是：避免先SELECT后UPDATE的事务设计；如果必须这样安排事务，则可以指定更高的事务隔离级别，如：repeatable read 或serializable或在事务开始就对数据对象加