SQLite: Hex Artifact Content

Artifact 1c8f26b1e2a4221b0214e222ce12a97a59918eb2:

File test/savepoint7.test — part of check-in [fa6e6a9a] at 2014-11-11 01:33:57 on branch read-after-rollback — Experimental changes that permit read operations to continue after a ROLLBACK, as long as the schema is unchanged. (user: drh size: 2436) [more...]
0000: 23 20 32 30 31 32 20 4d 61 72 63 68 20 33 31 0a  # 2012 March 31.
0010: 23 0a 23 20 54 68 65 20 61 75 74 68 6f 72 20 64  #.# The author d
0020: 69 73 63 6c 61 69 6d 73 20 63 6f 70 79 72 69 67  isclaims copyrig
0030: 68 74 20 74 6f 20 74 68 69 73 20 73 6f 75 72 63  ht to this sourc
0040: 65 20 63 6f 64 65 2e 20 20 49 6e 20 70 6c 61 63  e code.  In plac
0050: 65 20 6f 66 0a 23 20 61 20 6c 65 67 61 6c 20 6e  e of.# a legal n
0060: 6f 74 69 63 65 2c 20 68 65 72 65 20 69 73 20 61  otice, here is a
0070: 20 62 6c 65 73 73 69 6e 67 3a 0a 23 0a 23 20 20   blessing:.#.#  
0080: 20 20 4d 61 79 20 79 6f 75 20 64 6f 20 67 6f 6f    May you do goo
0090: 64 20 61 6e 64 20 6e 6f 74 20 65 76 69 6c 2e 0a  d and not evil..
00a0: 23 20 20 20 20 4d 61 79 20 79 6f 75 20 66 69 6e  #    May you fin
00b0: 64 20 66 6f 72 67 69 76 65 6e 65 73 73 20 66 6f  d forgiveness fo
00c0: 72 20 79 6f 75 72 73 65 6c 66 20 61 6e 64 20 66  r yourself and f
00d0: 6f 72 67 69 76 65 20 6f 74 68 65 72 73 2e 0a 23  orgive others..#
00e0: 20 20 20 20 4d 61 79 20 79 6f 75 20 73 68 61 72      May you shar
00f0: 65 20 66 72 65 65 6c 79 2c 20 6e 65 76 65 72 20  e freely, never 
0100: 74 61 6b 69 6e 67 20 6d 6f 72 65 20 74 68 61 6e  taking more than
0110: 20 79 6f 75 20 67 69 76 65 2e 0a 23 0a 23 2a 2a   you give..#.#**
0120: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0130: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0140: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0150: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0160: 2a 2a 2a 2a 2a 0a 23 0a 23 20 46 6f 63 75 73 20  *****.#.# Focus 
0170: 6f 6e 20 74 68 65 20 69 6e 74 65 72 61 63 74 69  on the interacti
0180: 6f 6e 20 62 65 74 77 65 65 6e 20 52 45 4c 45 41  on between RELEA
0190: 53 45 20 61 6e 64 20 52 4f 4c 4c 42 41 43 4b 20  SE and ROLLBACK 
01a0: 54 4f 20 77 69 74 68 0a 23 20 70 65 6e 64 69 6e  TO with.# pendin
01b0: 67 20 71 75 65 72 79 20 61 62 6f 72 74 73 2e 20  g query aborts. 
01c0: 20 53 65 65 20 74 69 63 6b 65 74 20 5b 32 37 63   See ticket [27c
01d0: 61 37 34 61 66 33 63 30 38 33 66 37 38 37 61 31  a74af3c083f787a1
01e0: 63 34 34 62 31 31 66 62 62 37 63 35 33 62 64 62  c44b11fbb7c53bdb
01f0: 62 63 66 31 65 5d 2e 0a 23 0a 0a 73 65 74 20 74  bcf1e]..#..set t
0200: 65 73 74 64 69 72 20 5b 66 69 6c 65 20 64 69 72  estdir [file dir
0210: 6e 61 6d 65 20 24 61 72 67 76 30 5d 0a 73 6f 75  name $argv0].sou
0220: 72 63 65 20 24 74 65 73 74 64 69 72 2f 74 65 73  rce $testdir/tes
0230: 74 65 72 2e 74 63 6c 0a 0a 23 20 54 68 65 20 52  ter.tcl..# The R
0240: 45 4c 45 41 53 45 20 6f 66 20 61 6e 20 69 6e 6e  ELEASE of an inn
0250: 65 72 20 73 61 76 65 70 6f 69 6e 74 20 73 68 6f  er savepoint sho
0260: 75 6c 64 20 6e 6f 74 20 65 66 66 65 63 74 20 70  uld not effect p
0270: 65 6e 64 69 6e 67 20 71 75 65 72 69 65 73 2e 0a  ending queries..
0280: 23 0a 64 6f 5f 74 65 73 74 20 73 61 76 65 70 6f  #.do_test savepo
0290: 69 6e 74 37 2d 31 2e 31 20 7b 0a 20 20 64 62 20  int7-1.1 {.  db 
02a0: 65 76 61 6c 20 7b 0a 20 20 20 20 43 52 45 41 54  eval {.    CREAT
02b0: 45 20 54 41 42 4c 45 20 74 31 28 61 2c 62 2c 63  E TABLE t1(a,b,c
02c0: 29 3b 0a 20 20 20 20 43 52 45 41 54 45 20 54 41  );.    CREATE TA
02d0: 42 4c 45 20 74 32 28 78 2c 79 2c 7a 29 3b 0a 20  BLE t2(x,y,z);. 
02e0: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
02f0: 31 20 56 41 4c 55 45 53 28 31 2c 32 2c 33 29 3b  1 VALUES(1,2,3);
0300: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
0310: 20 74 31 20 56 41 4c 55 45 53 28 34 2c 35 2c 36   t1 VALUES(4,5,6
0320: 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e  );.    INSERT IN
0330: 54 4f 20 74 31 20 56 41 4c 55 45 53 28 37 2c 38  TO t1 VALUES(7,8
0340: 2c 39 29 3b 0a 20 20 20 20 53 41 56 45 50 4f 49  ,9);.    SAVEPOI
0350: 4e 54 20 78 31 3b 0a 20 20 7d 0a 20 20 64 62 20  NT x1;.  }.  db 
0360: 65 76 61 6c 20 7b 53 45 4c 45 43 54 20 2a 20 46  eval {SELECT * F
0370: 52 4f 4d 20 74 31 7d 20 7b 0a 20 20 20 20 64 62  ROM t1} {.    db
0380: 20 65 76 61 6c 20 7b 0a 20 20 20 20 20 20 53 41   eval {.      SA
0390: 56 45 50 4f 49 4e 54 20 78 32 3b 0a 20 20 20 20  VEPOINT x2;.    
03a0: 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 49    CREATE TABLE I
03b0: 46 20 4e 4f 54 20 45 58 49 53 54 53 20 74 33 28  F NOT EXISTS t3(
03c0: 78 79 7a 29 3b 0a 20 20 20 20 20 20 49 4e 53 45  xyz);.      INSE
03d0: 52 54 20 49 4e 54 4f 20 74 32 20 56 41 4c 55 45  RT INTO t2 VALUE
03e0: 53 28 24 61 2c 24 62 2c 24 63 29 3b 0a 20 20 20  S($a,$b,$c);.   
03f0: 20 20 20 52 45 4c 45 41 53 45 20 78 32 3b 0a 20     RELEASE x2;. 
0400: 20 20 20 7d 0a 20 20 7d 0a 20 20 64 62 20 65 76     }.  }.  db ev
0410: 61 6c 20 7b 53 45 4c 45 43 54 20 2a 20 46 52 4f  al {SELECT * FRO
0420: 4d 20 74 32 3b 20 52 45 4c 45 41 53 45 20 78 31  M t2; RELEASE x1
0430: 7d 0a 7d 20 7b 31 20 32 20 33 20 34 20 35 20 36  }.} {1 2 3 4 5 6
0440: 20 37 20 38 20 39 7d 0a 0a 64 6f 5f 74 65 73 74   7 8 9}..do_test
0450: 20 73 61 76 65 70 6f 69 6e 74 37 2d 31 2e 32 20   savepoint7-1.2 
0460: 7b 0a 20 20 64 62 20 65 76 61 6c 20 7b 44 45 4c  {.  db eval {DEL
0470: 45 54 45 20 46 52 4f 4d 20 74 32 3b 7d 0a 20 20  ETE FROM t2;}.  
0480: 64 62 20 65 76 61 6c 20 7b 53 45 4c 45 43 54 20  db eval {SELECT 
0490: 2a 20 46 52 4f 4d 20 74 31 7d 20 7b 0a 20 20 20  * FROM t1} {.   
04a0: 20 64 62 20 65 76 61 6c 20 7b 0a 20 20 20 20 20   db eval {.     
04b0: 20 53 41 56 45 50 4f 49 4e 54 20 78 32 3b 0a 20   SAVEPOINT x2;. 
04c0: 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f       INSERT INTO
04d0: 20 74 32 20 56 41 4c 55 45 53 28 24 61 2c 24 62   t2 VALUES($a,$b
04e0: 2c 24 63 29 3b 0a 20 20 20 20 20 20 52 45 4c 45  ,$c);.      RELE
04f0: 41 53 45 20 78 32 3b 0a 20 20 20 20 7d 0a 20 20  ASE x2;.    }.  
0500: 7d 0a 20 20 64 62 20 65 76 61 6c 20 7b 53 45 4c  }.  db eval {SEL
0510: 45 43 54 20 2a 20 46 52 4f 4d 20 74 32 3b 7d 0a  ECT * FROM t2;}.
0520: 7d 20 7b 31 20 32 20 33 20 34 20 35 20 36 20 37  } {1 2 3 4 5 6 7
0530: 20 38 20 39 7d 0a 0a 64 6f 5f 74 65 73 74 20 73   8 9}..do_test s
0540: 61 76 65 70 6f 69 6e 74 37 2d 31 2e 33 20 7b 0a  avepoint7-1.3 {.
0550: 20 20 64 62 20 65 76 61 6c 20 7b 44 45 4c 45 54    db eval {DELET
0560: 45 20 46 52 4f 4d 20 74 32 3b 20 42 45 47 49 4e  E FROM t2; BEGIN
0570: 3b 7d 0a 20 20 64 62 20 65 76 61 6c 20 7b 53 45  ;}.  db eval {SE
0580: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 7d 20  LECT * FROM t1} 
0590: 7b 0a 20 20 20 20 64 62 20 65 76 61 6c 20 7b 0a  {.    db eval {.
05a0: 20 20 20 20 20 20 53 41 56 45 50 4f 49 4e 54 20        SAVEPOINT 
05b0: 78 32 3b 0a 20 20 20 20 20 20 49 4e 53 45 52 54  x2;.      INSERT
05c0: 20 49 4e 54 4f 20 74 32 20 56 41 4c 55 45 53 28   INTO t2 VALUES(
05d0: 24 61 2c 24 62 2c 24 63 29 3b 0a 20 20 20 20 20  $a,$b,$c);.     
05e0: 20 52 45 4c 45 41 53 45 20 78 32 3b 0a 20 20 20   RELEASE x2;.   
05f0: 20 7d 0a 20 20 7d 0a 20 20 64 62 20 65 76 61 6c   }.  }.  db eval
0600: 20 7b 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20   {SELECT * FROM 
0610: 74 32 3b 20 52 4f 4c 4c 42 41 43 4b 3b 7d 0a 7d  t2; ROLLBACK;}.}
0620: 20 7b 31 20 32 20 33 20 34 20 35 20 36 20 37 20   {1 2 3 4 5 6 7 
0630: 38 20 39 7d 0a 0a 23 20 48 6f 77 65 76 65 72 2c  8 9}..# However,
0640: 20 61 20 52 4f 4c 4c 42 41 43 4b 20 6f 66 20 61   a ROLLBACK of a
0650: 6e 20 69 6e 6e 65 72 20 73 61 76 65 70 6f 69 6e  n inner savepoin
0660: 74 20 77 69 6c 6c 20 61 62 6f 72 74 20 61 6c 6c  t will abort all
0670: 20 71 75 65 72 69 65 73 2c 20 69 6e 63 6c 75 64   queries, includ
0680: 69 6e 67 0a 23 20 71 75 65 72 69 65 73 20 69 6e  ing.# queries in
0690: 20 6f 75 74 65 72 20 63 6f 6e 74 65 78 74 73 2e   outer contexts.
06a0: 0a 23 0a 64 6f 5f 74 65 73 74 20 73 61 76 65 70  .#.do_test savep
06b0: 6f 69 6e 74 37 2d 32 2e 31 20 7b 0a 20 20 64 62  oint7-2.1 {.  db
06c0: 20 65 76 61 6c 20 7b 44 45 4c 45 54 45 20 46 52   eval {DELETE FR
06d0: 4f 4d 20 74 32 3b 20 53 41 56 45 50 4f 49 4e 54  OM t2; SAVEPOINT
06e0: 20 78 31 3b 20 43 52 45 41 54 45 20 54 41 42 4c   x1; CREATE TABL
06f0: 45 20 74 34 28 61 62 63 29 3b 7d 0a 20 20 73 65  E t4(abc);}.  se
0700: 74 20 72 63 20 5b 63 61 74 63 68 20 7b 0a 20 20  t rc [catch {.  
0710: 20 20 64 62 20 65 76 61 6c 20 7b 53 45 4c 45 43    db eval {SELEC
0720: 54 20 2a 20 46 52 4f 4d 20 74 31 7d 20 7b 0a 20  T * FROM t1} {. 
0730: 20 20 20 20 20 64 62 20 65 76 61 6c 20 7b 0a 20       db eval {. 
0740: 20 20 20 20 20 20 20 53 41 56 45 50 4f 49 4e 54         SAVEPOINT
0750: 20 78 32 3b 0a 20 20 20 20 20 20 20 20 49 4e 53   x2;.        INS
0760: 45 52 54 20 49 4e 54 4f 20 74 32 20 56 41 4c 55  ERT INTO t2 VALU
0770: 45 53 28 24 61 2c 24 62 2c 24 63 29 3b 0a 20 20  ES($a,$b,$c);.  
0780: 20 20 20 20 20 20 52 4f 4c 4c 42 41 43 4b 20 54        ROLLBACK T
0790: 4f 20 78 32 3b 0a 20 20 20 20 20 20 7d 0a 20 20  O x2;.      }.  
07a0: 20 20 7d 0a 20 20 7d 20 6d 73 67 5d 0a 20 20 64    }.  } msg].  d
07b0: 62 20 65 76 61 6c 20 7b 52 45 4c 45 41 53 45 20  b eval {RELEASE 
07c0: 78 31 7d 0a 20 20 6c 69 73 74 20 24 72 63 20 24  x1}.  list $rc $
07d0: 6d 73 67 20 5b 64 62 20 65 76 61 6c 20 7b 53 45  msg [db eval {SE
07e0: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 32 7d 5d  LECT * FROM t2}]
07f0: 0a 7d 20 7b 31 20 7b 63 61 6c 6c 62 61 63 6b 20  .} {1 {callback 
0800: 72 65 71 75 65 73 74 65 64 20 71 75 65 72 79 20  requested query 
0810: 61 62 6f 72 74 7d 20 7b 7d 7d 0a 0a 64 6f 5f 74  abort} {}}..do_t
0820: 65 73 74 20 73 61 76 65 70 6f 69 6e 74 37 2d 32  est savepoint7-2
0830: 2e 32 20 7b 0a 20 20 64 62 20 65 76 61 6c 20 7b  .2 {.  db eval {
0840: 44 45 4c 45 54 45 20 46 52 4f 4d 20 74 32 3b 7d  DELETE FROM t2;}
0850: 0a 20 20 73 65 74 20 72 63 20 5b 63 61 74 63 68  .  set rc [catch
0860: 20 7b 0a 20 20 20 20 64 62 20 65 76 61 6c 20 7b   {.    db eval {
0870: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31  SELECT * FROM t1
0880: 7d 20 7b 0a 20 20 20 20 20 20 64 62 20 65 76 61  } {.      db eva
0890: 6c 20 7b 0a 20 20 20 20 20 20 20 20 53 41 56 45  l {.        SAVE
08a0: 50 4f 49 4e 54 20 78 32 3b 0a 20 20 20 20 20 20  POINT x2;.      
08b0: 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74    CREATE TABLE t
08c0: 35 28 70 71 72 29 3b 0a 20 20 20 20 20 20 20 20  5(pqr);.        
08d0: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 20 56  INSERT INTO t2 V
08e0: 41 4c 55 45 53 28 24 61 2c 24 62 2c 24 63 29 3b  ALUES($a,$b,$c);
08f0: 0a 20 20 20 20 20 20 20 20 52 4f 4c 4c 42 41 43  .        ROLLBAC
0900: 4b 20 54 4f 20 78 32 3b 0a 20 20 20 20 20 20 7d  K TO x2;.      }
0910: 0a 20 20 20 20 7d 0a 20 20 7d 20 6d 73 67 5d 0a  .    }.  } msg].
0920: 20 20 6c 69 73 74 20 24 72 63 20 24 6d 73 67 20    list $rc $msg 
0930: 5b 64 62 20 65 76 61 6c 20 7b 53 45 4c 45 43 54  [db eval {SELECT
0940: 20 2a 20 46 52 4f 4d 20 74 32 7d 5d 0a 7d 20 7b   * FROM t2}].} {
0950: 31 20 7b 63 61 6c 6c 62 61 63 6b 20 72 65 71 75  1 {callback requ
0960: 65 73 74 65 64 20 71 75 65 72 79 20 61 62 6f 72  ested query abor
0970: 74 7d 20 7b 7d 7d 0a 0a 66 69 6e 69 73 68 5f 74  t} {}}..finish_t
0980: 65 73 74 0a                                      est.