oracle 事务原子性

事务会把数据库从一种一致状态转变为另一种一致状态。事务主要有ACID特性，其具体的内容如下：

原子性（atomicity)：事务中的所有动作要么都发生，要么都不发生。

一致性(consistency): 事务将数据库从一种一致性状态转变为下一种一致状态。

隔离性(isolation): 事务之间不会相互影响，事务之间是不可见的。

持久性(durability):事务一旦提交，其结果是永久的。

oracle 事务控制语句：

commit: commit操作可以结束事务，并且使任何操作都持久化。

rollback: rollback操作可以结束事务，并且回滚任何你没有提交的操作。

savepoint: savepoint 可以建立一个‘marked point’在一个事务中，你可以在一个事务中设置多个savepoint。

rollback to savepoint: 回滚savepoint之后的操作。

oracle事务的原子性：oracle的原子性分为语句级原子性，过程级原子性，事务级原子性。

语句级原子性： 先看kyte的例子

SQL> create table t2(cnt int);

表已创建。

SQL> insert into t2 values(0);

已创建 1 行。

SQL> create table t( x int check(x>0));

表已创建。

create or replace trigger t_trigger
before INSERT OR DELETE on t
for each row
declare
begin
IF inserting THEN
UPDATE t2 SET cnt=cnt+1;
ELSE
UPDATE t2 SET cnt=cnt-1;
END IF;
dbms_output.put_line(' I fired and update '|| SQL%ROWCOUNT || 'rows');
end t_trigger;

SQL> insert into t values(1);
I fired and update 1rows

已创建 1 行。

SQL> insert into t values(-1);
I fired and update 1rows
insert into t values(-1)
*
第 1 行出现错误:
ORA-02290: 违反检查约束条件 (SCOTT.SYS_C0015680)

可以看到插入时触发了触发器，在第二个语法中，即使插入错误，也触发了触发器，那么t2 表中是不是应该有两条数据，但是，在oracle看来，从insert语句开始，就是一个事务，事务要么全做，要么不做，所以在oracle中，当插入失败时，触发器中语句也会回滚。结果如下，可以看到，t2表中的数据是1。

SQL> select *from t2;

CNT
----------
1

以上语句oracle的过程如下：oracle 在每个语句外面加了一个savepoint，当事务出错时，oracle就会回滚到事务的开始点。

SAVEPOINT statement1:
INSERT INTO VALUES(1);
IF ERROR THEN ROLLBACK TO statment1;
SAVEPOINT statement2;
INSERT INTO VALUES(-1);
IF ERROR THEN ROLLBACK TO statment2;

过程级原子性
在oracle中pl/sql块被看做一个事务，也就是说被看做一个语句。看以下的例子

SQL> CREATE OR REPLACE PROCEDURE p
2  AS
3  BEGIN
4    INSERT INTO t VALUES(1);
5    INSERT INTO t VALUES(-1);
6  END;
7  /

过程已创建。

SQL> select *from t;

未选定行

SQL> select * from t2;

CNT
----------
0

下面我们执行这个存储过程，我们使用匿名块的执行方法

SQL> begin
2  p;
3  end;
4  /
I fired and update 1rows
I fired and update 1rows
begin
*
第 1 行出现错误:
ORA-02290: 违反检查约束条件 (SCOTT.SYS_C0015680)
ORA-06512: 在 "SCOTT.P", line 5
ORA-06512: 在 line 2

SQL> select *from t;

未选定行

SQL> select *from t2;

CNT
----------
0

可以看到oracle把这个存储过程调用作为一个原子语句。相当于在begin前面加了savepoint，当失败时，oracle恢复到开始的那个savepoint。
现在我们对过程做以下处理

SQL> begin
2  p;
3  exception
4  when others then null;
5  end;
6  /
I fired and update 1rows
I fired and update 1rows

PL/SQL 过程已成功完成。

SQL> select *from t;

X
----------
1
SQL> select *from t2;

CNT
----------
1

可以看到，当我们忽略所有的错误时，这两个代码块的输出结果又显著的差别。 ，造成这个的原因就是，我们忽略了错误，所以if error then rollback 没有起作用，而过程中语句有原子性，所以oracle会执行成功其中一条语句。要恢复原子性，可以使用以下语句。

SQL> BEGIN
2    SAVEPOINT SP;
3    P;
4  EXCEPTION
5    WHEN OTHERS THEN
6      ROLLBACK TO SP;
7  END;
8  /
I fired and update 1rows
I fired and update 1rows

PL/SQL 过程已成功完成。

SQL> select * from t;

未选定行

SQL> select * from t2;

CNT
----------
0

事务级原子性
事务是数据库从一种一致性状态转变为另一种一致状态，为了实现这个目标，事务也有原子性，事务完成的所有工作要么完全提交并成为永久性，要么完全回滚。像语句一样，事务是一个原子性的工作单元。
关于事务的原子性的学习总结到此为止，oracle如何在并发环境中提供隔离性，以后再做总结。

参照 Thomas kyte Orace 9i&10g编程艺术。。。