test/savepoint2.test

   1 # 2008 December 15
   2 #
   3 # The author disclaims copyright to this source code.  In place of
   4 # a legal notice, here is a blessing:
   5 #
   6 #    May you do good and not evil.
   7 #    May you find forgiveness for yourself and forgive others.
   8 #    May you share freely, never taking more than you give.
   9 #
  10 #***********************************************************************
  11 #
  12 # $Id: savepoint2.test,v 1.5 2009/06/05 17:09:12 drh Exp $
  13
  14 set testdir [file dirname $argv0]
  15 source $testdir/tester.tcl
  16
  17
  18 # Tests in this file are quite similar to those run by trans.test and
  19 # avtrans.test.
  20 #
  21
  22 proc signature {} {
  23   return [db eval {SELECT count(*), md5sum(x) FROM t3}]
  24 }
  25
  26 do_test savepoint2-1 {
  27   wal_set_journal_mode
  28   execsql {
  29     PRAGMA cache_size=10;
  30     BEGIN;
  31     CREATE TABLE t3(x TEXT);
  32     INSERT INTO t3 VALUES(randstr(10,400));
  33     INSERT INTO t3 VALUES(randstr(10,400));
  34     INSERT INTO t3 SELECT randstr(10,400) FROM t3;
  35     INSERT INTO t3 SELECT randstr(10,400) FROM t3;
  36     INSERT INTO t3 SELECT randstr(10,400) FROM t3;
  37     INSERT INTO t3 SELECT randstr(10,400) FROM t3;
  38     INSERT INTO t3 SELECT randstr(10,400) FROM t3;
  39     INSERT INTO t3 SELECT randstr(10,400) FROM t3;
  40     INSERT INTO t3 SELECT randstr(10,400) FROM t3;
  41     INSERT INTO t3 SELECT randstr(10,400) FROM t3;
  42     INSERT INTO t3 SELECT randstr(10,400) FROM t3;
  43     COMMIT;
  44     SELECT count(*) FROM t3;
  45   }
  46 } {1024}
  47 wal_check_journal_mode savepoint2-1.1
  48
  49 unset -nocomplain ::sig
  50 unset -nocomplain SQL
  51
  52 set iterations 20
  53
  54 set SQL(1) {
  55   DELETE FROM t3 WHERE random()%10!=0;
  56   INSERT INTO t3 SELECT randstr(10,10)||x FROM t3;
  57   INSERT INTO t3 SELECT randstr(10,10)||x FROM t3;
  58 }
  59 set SQL(2) {
  60   DELETE FROM t3 WHERE random()%10!=0;
  61   INSERT INTO t3 SELECT randstr(10,10)||x FROM t3;
  62   DELETE FROM t3 WHERE random()%10!=0;
  63   INSERT INTO t3 SELECT randstr(10,10)||x FROM t3;
  64 }
  65 set SQL(3) {
  66   UPDATE t3 SET x = randstr(10, 400) WHERE random()%10;
  67   INSERT INTO t3 SELECT x FROM t3 WHERE random()%10;
  68   DELETE FROM t3 WHERE random()%10;
  69 }
  70 set SQL(4) {
  71   INSERT INTO t3 SELECT randstr(10,400) FROM t3 WHERE (random()%10 == 0);
  72 }
  73
  74
  75
  76 for {set ii 2} {$ii < ($iterations+2)} {incr ii} {
  77
  78   # Record the database signature. Optionally (every second run) open a
  79   # transaction. In all cases open savepoint "one", which may or may
  80   # not be a transaction savepoint, depending on whether or not a real
  81   # transaction has been opened.
  82   #
  83   do_test savepoint2-$ii.1 {
  84     if {$ii % 2} { execsql BEGIN }
  85     set ::sig(one) [signature]
  86     execsql "SAVEPOINT one"
  87   } {}
  88
  89   # Execute some SQL on the database. Then rollback to savepoint "one".
  90   # Check that the database signature is as it was when "one" was opened.
  91   #
  92   do_test savepoint2-$ii.2 {
  93     execsql $SQL(1)
  94     execsql "ROLLBACK to one"
  95     signature
  96   } $::sig(one)
  97   integrity_check savepoint2-$ii.2.1
  98
  99   # Execute some SQL. Then open savepoint "two". Savepoint "two" is therefore
 100   # nested in savepoint "one".
 101   #
 102   do_test savepoint2-$ii.3 {
 103     execsql $SQL(1)
 104     set ::sig(two) [signature]
 105     execsql "SAVEPOINT two"
 106   } {}
 107
 108   # More SQL changes. The rollback to savepoint "two". Check that the
 109   # signature is as it was when savepoint "two" was opened.
 110   #
 111   do_test savepoint2-$ii.4 {
 112     execsql $SQL(2)
 113     execsql "ROLLBACK to two"
 114     signature
 115   } $::sig(two)
 116   integrity_check savepoint2-$ii.4.1
 117
 118   # More SQL changes. The rollback to savepoint "two". Check that the
 119   # signature is as it was when savepoint "two" was opened.
 120   #
 121   do_test savepoint2-$ii.5 {
 122     execsql $SQL(2)
 123     execsql "SAVEPOINT three"
 124     execsql $SQL(3)
 125     execsql "RELEASE three"
 126     execsql "ROLLBACK to one"
 127     signature
 128   } $::sig(one)
 129
 130   # By this point the database is in the same state as it was at the
 131   # top of the for{} loop (everything having been rolled back by the
 132   # "ROLLBACK TO one" command above). So make a few changes to the
 133   # database and COMMIT the open transaction, so that the next iteration
 134   # of the for{} loop works on a different dataset.
 135   #
 136   # The transaction being committed here may have been opened normally using
 137   # "BEGIN", or may have been opened using a transaction savepoint created
 138   # by the "SAVEPOINT one" statement.
 139   #
 140   do_test savepoint2-$ii.6 {
 141     execsql $SQL(4)
 142     execsql COMMIT
 143     sqlite3_get_autocommit db
 144   } {1}
 145   integrity_check savepoint2-$ii.6.1
 146
 147   # Check that the connection is still running in WAL mode.
 148   wal_check_journal_mode savepoint2-$ii.7
 149 }
 150
 151 unset -nocomplain ::sig
 152 unset -nocomplain SQL
 153
 154 finish_test