/ Hex Artifact Content
Login

Artifact fbf319a7b2dda089ec5be30a424a0e95f121d423:


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 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32    INSERT INTO t2
03b0: 20 56 41 4c 55 45 53 28 24 61 2c 24 62 2c 24 63   VALUES($a,$b,$c
03c0: 29 3b 0a 20 20 20 20 20 20 52 45 4c 45 41 53 45  );.      RELEASE
03d0: 20 78 32 3b 0a 20 20 20 20 7d 0a 20 20 7d 0a 20   x2;.    }.  }. 
03e0: 20 64 62 20 65 76 61 6c 20 7b 53 45 4c 45 43 54   db eval {SELECT
03f0: 20 2a 20 46 52 4f 4d 20 74 32 3b 20 52 45 4c 45   * FROM t2; RELE
0400: 41 53 45 20 78 31 7d 0a 7d 20 7b 31 20 32 20 33  ASE x1}.} {1 2 3
0410: 20 34 20 35 20 36 20 37 20 38 20 39 7d 0a 0a 64   4 5 6 7 8 9}..d
0420: 6f 5f 74 65 73 74 20 73 61 76 65 70 6f 69 6e 74  o_test savepoint
0430: 37 2d 31 2e 32 20 7b 0a 20 20 64 62 20 65 76 61  7-1.2 {.  db eva
0440: 6c 20 7b 44 45 4c 45 54 45 20 46 52 4f 4d 20 74  l {DELETE FROM t
0450: 32 3b 7d 0a 20 20 64 62 20 65 76 61 6c 20 7b 53  2;}.  db eval {S
0460: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 7d  ELECT * FROM t1}
0470: 20 7b 0a 20 20 20 20 64 62 20 65 76 61 6c 20 7b   {.    db eval {
0480: 0a 20 20 20 20 20 20 53 41 56 45 50 4f 49 4e 54  .      SAVEPOINT
0490: 20 78 32 3b 0a 20 20 20 20 20 20 49 4e 53 45 52   x2;.      INSER
04a0: 54 20 49 4e 54 4f 20 74 32 20 56 41 4c 55 45 53  T INTO t2 VALUES
04b0: 28 24 61 2c 24 62 2c 24 63 29 3b 0a 20 20 20 20  ($a,$b,$c);.    
04c0: 20 20 52 45 4c 45 41 53 45 20 78 32 3b 0a 20 20    RELEASE x2;.  
04d0: 20 20 7d 0a 20 20 7d 0a 20 20 64 62 20 65 76 61    }.  }.  db eva
04e0: 6c 20 7b 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d  l {SELECT * FROM
04f0: 20 74 32 7d 0a 7d 20 7b 31 20 32 20 33 20 34 20   t2}.} {1 2 3 4 
0500: 35 20 36 20 37 20 38 20 39 7d 0a 0a 64 6f 5f 74  5 6 7 8 9}..do_t
0510: 65 73 74 20 73 61 76 65 70 6f 69 6e 74 37 2d 31  est savepoint7-1
0520: 2e 33 20 7b 0a 20 20 64 62 20 65 76 61 6c 20 7b  .3 {.  db eval {
0530: 44 45 4c 45 54 45 20 46 52 4f 4d 20 74 32 3b 20  DELETE FROM t2; 
0540: 42 45 47 49 4e 3b 7d 0a 20 20 64 62 20 65 76 61  BEGIN;}.  db eva
0550: 6c 20 7b 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d  l {SELECT * FROM
0560: 20 74 31 7d 20 7b 0a 20 20 20 20 64 62 20 65 76   t1} {.    db ev
0570: 61 6c 20 7b 0a 20 20 20 20 20 20 53 41 56 45 50  al {.      SAVEP
0580: 4f 49 4e 54 20 78 32 3b 0a 20 20 20 20 20 20 49  OINT x2;.      I
0590: 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 20 56 41  NSERT INTO t2 VA
05a0: 4c 55 45 53 28 24 61 2c 24 62 2c 24 63 29 3b 0a  LUES($a,$b,$c);.
05b0: 20 20 20 20 20 20 52 45 4c 45 41 53 45 20 78 32        RELEASE x2
05c0: 3b 0a 20 20 20 20 7d 0a 20 20 7d 0a 20 20 64 62  ;.    }.  }.  db
05d0: 20 65 76 61 6c 20 7b 53 45 4c 45 43 54 20 2a 20   eval {SELECT * 
05e0: 46 52 4f 4d 20 74 32 3b 20 52 4f 4c 4c 42 41 43  FROM t2; ROLLBAC
05f0: 4b 3b 7d 0a 7d 20 7b 31 20 32 20 33 20 34 20 35  K;}.} {1 2 3 4 5
0600: 20 36 20 37 20 38 20 39 7d 0a 0a 23 20 48 6f 77   6 7 8 9}..# How
0610: 65 76 65 72 2c 20 61 20 52 4f 4c 4c 42 41 43 4b  ever, a ROLLBACK
0620: 20 6f 66 20 61 6e 20 69 6e 6e 65 72 20 73 61 76   of an inner sav
0630: 65 70 6f 69 6e 74 20 77 69 6c 6c 20 61 62 6f 72  epoint will abor
0640: 74 20 61 6c 6c 20 71 75 65 72 69 65 73 2c 20 69  t all queries, i
0650: 6e 63 6c 75 64 69 6e 67 0a 23 20 71 75 65 72 69  ncluding.# queri
0660: 65 73 20 69 6e 20 6f 75 74 65 72 20 63 6f 6e 74  es in outer cont
0670: 65 78 74 73 2e 0a 23 0a 64 6f 5f 74 65 73 74 20  exts..#.do_test 
0680: 73 61 76 65 70 6f 69 6e 74 37 2d 32 2e 31 20 7b  savepoint7-2.1 {
0690: 0a 20 20 64 62 20 65 76 61 6c 20 7b 44 45 4c 45  .  db eval {DELE
06a0: 54 45 20 46 52 4f 4d 20 74 32 3b 20 53 41 56 45  TE FROM t2; SAVE
06b0: 50 4f 49 4e 54 20 78 31 3b 7d 0a 20 20 73 65 74  POINT x1;}.  set
06c0: 20 72 63 20 5b 63 61 74 63 68 20 7b 0a 20 20 20   rc [catch {.   
06d0: 20 64 62 20 65 76 61 6c 20 7b 53 45 4c 45 43 54   db eval {SELECT
06e0: 20 2a 20 46 52 4f 4d 20 74 31 7d 20 7b 0a 20 20   * FROM t1} {.  
06f0: 20 20 20 20 64 62 20 65 76 61 6c 20 7b 0a 20 20      db eval {.  
0700: 20 20 20 20 20 20 53 41 56 45 50 4f 49 4e 54 20        SAVEPOINT 
0710: 78 32 3b 0a 20 20 20 20 20 20 20 20 49 4e 53 45  x2;.        INSE
0720: 52 54 20 49 4e 54 4f 20 74 32 20 56 41 4c 55 45  RT INTO t2 VALUE
0730: 53 28 24 61 2c 24 62 2c 24 63 29 3b 0a 20 20 20  S($a,$b,$c);.   
0740: 20 20 20 20 20 52 4f 4c 4c 42 41 43 4b 20 54 4f       ROLLBACK TO
0750: 20 78 32 3b 0a 20 20 20 20 20 20 7d 0a 20 20 20   x2;.      }.   
0760: 20 7d 0a 20 20 7d 20 6d 73 67 5d 0a 20 20 64 62   }.  } msg].  db
0770: 20 65 76 61 6c 20 7b 52 45 4c 45 41 53 45 20 78   eval {RELEASE x
0780: 31 7d 0a 20 20 6c 69 73 74 20 24 72 63 20 24 6d  1}.  list $rc $m
0790: 73 67 20 5b 64 62 20 65 76 61 6c 20 7b 53 45 4c  sg [db eval {SEL
07a0: 45 43 54 20 2a 20 46 52 4f 4d 20 74 32 7d 5d 0a  ECT * FROM t2}].
07b0: 7d 20 7b 31 20 7b 63 61 6c 6c 62 61 63 6b 20 72  } {1 {callback r
07c0: 65 71 75 65 73 74 65 64 20 71 75 65 72 79 20 61  equested query a
07d0: 62 6f 72 74 7d 20 7b 7d 7d 0a 0a 64 6f 5f 74 65  bort} {}}..do_te
07e0: 73 74 20 73 61 76 65 70 6f 69 6e 74 37 2d 32 2e  st savepoint7-2.
07f0: 32 20 7b 0a 20 20 64 62 20 65 76 61 6c 20 7b 44  2 {.  db eval {D
0800: 45 4c 45 54 45 20 46 52 4f 4d 20 74 32 3b 7d 0a  ELETE FROM t2;}.
0810: 20 20 73 65 74 20 72 63 20 5b 63 61 74 63 68 20    set rc [catch 
0820: 7b 0a 20 20 20 20 64 62 20 65 76 61 6c 20 7b 53  {.    db eval {S
0830: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 7d  ELECT * FROM t1}
0840: 20 7b 0a 20 20 20 20 20 20 64 62 20 65 76 61 6c   {.      db eval
0850: 20 7b 0a 20 20 20 20 20 20 20 20 53 41 56 45 50   {.        SAVEP
0860: 4f 49 4e 54 20 78 32 3b 0a 20 20 20 20 20 20 20  OINT x2;.       
0870: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 20   INSERT INTO t2 
0880: 56 41 4c 55 45 53 28 24 61 2c 24 62 2c 24 63 29  VALUES($a,$b,$c)
0890: 3b 0a 20 20 20 20 20 20 20 20 52 4f 4c 4c 42 41  ;.        ROLLBA
08a0: 43 4b 20 54 4f 20 78 32 3b 0a 20 20 20 20 20 20  CK TO x2;.      
08b0: 7d 0a 20 20 20 20 7d 0a 20 20 7d 20 6d 73 67 5d  }.    }.  } msg]
08c0: 0a 20 20 6c 69 73 74 20 24 72 63 20 24 6d 73 67  .  list $rc $msg
08d0: 20 5b 64 62 20 65 76 61 6c 20 7b 53 45 4c 45 43   [db eval {SELEC
08e0: 54 20 2a 20 46 52 4f 4d 20 74 32 7d 5d 0a 7d 20  T * FROM t2}].} 
08f0: 7b 31 20 7b 63 61 6c 6c 62 61 63 6b 20 72 65 71  {1 {callback req
0900: 75 65 73 74 65 64 20 71 75 65 72 79 20 61 62 6f  uested query abo
0910: 72 74 7d 20 7b 7d 7d 0a 0a 66 69 6e 69 73 68 5f  rt} {}}..finish_
0920: 74 65 73 74 0a                                   test.