/ Hex Artifact Content
Login

Artifact 0c16cbf7446af162a14e6def30445e94016064eb994e5aa4ebb2bebc59554176:


0000: 23 20 32 30 31 37 20 4d 61 79 20 32 36 0a 23 0a  # 2017 May 26.#.
0010: 23 20 54 68 65 20 61 75 74 68 6f 72 20 64 69 73  # The author dis
0020: 63 6c 61 69 6d 73 20 63 6f 70 79 72 69 67 68 74  claims copyright
0030: 20 74 6f 20 74 68 69 73 20 73 6f 75 72 63 65 20   to this source 
0040: 63 6f 64 65 2e 20 20 49 6e 20 70 6c 61 63 65 20  code.  In place 
0050: 6f 66 0a 23 20 61 20 6c 65 67 61 6c 20 6e 6f 74  of.# a legal not
0060: 69 63 65 2c 20 68 65 72 65 20 69 73 20 61 20 62  ice, here is a b
0070: 6c 65 73 73 69 6e 67 3a 0a 23 0a 23 20 20 20 20  lessing:.#.#    
0080: 4d 61 79 20 79 6f 75 20 64 6f 20 67 6f 6f 64 20  May you do good 
0090: 61 6e 64 20 6e 6f 74 20 65 76 69 6c 2e 0a 23 20  and not evil..# 
00a0: 20 20 20 4d 61 79 20 79 6f 75 20 66 69 6e 64 20     May you find 
00b0: 66 6f 72 67 69 76 65 6e 65 73 73 20 66 6f 72 20  forgiveness for 
00c0: 79 6f 75 72 73 65 6c 66 20 61 6e 64 20 66 6f 72  yourself and for
00d0: 67 69 76 65 20 6f 74 68 65 72 73 2e 0a 23 20 20  give others..#  
00e0: 20 20 4d 61 79 20 79 6f 75 20 73 68 61 72 65 20    May you share 
00f0: 66 72 65 65 6c 79 2c 20 6e 65 76 65 72 20 74 61  freely, never ta
0100: 6b 69 6e 67 20 6d 6f 72 65 20 74 68 61 6e 20 79  king more than y
0110: 6f 75 20 67 69 76 65 2e 0a 23 0a 23 2a 2a 2a 2a  ou 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 0a 23 0a 23 0a 0a 73 65 74 20 74 65 73  ***.#.#..set tes
0170: 74 64 69 72 20 5b 66 69 6c 65 20 64 69 72 6e 61  tdir [file dirna
0180: 6d 65 20 24 61 72 67 76 30 5d 0a 73 6f 75 72 63  me $argv0].sourc
0190: 65 20 24 74 65 73 74 64 69 72 2f 74 65 73 74 65  e $testdir/teste
01a0: 72 2e 74 63 6c 0a 73 6f 75 72 63 65 20 24 74 65  r.tcl.source $te
01b0: 73 74 64 69 72 2f 6c 6f 63 6b 5f 63 6f 6d 6d 6f  stdir/lock_commo
01c0: 6e 2e 74 63 6c 0a 73 6f 75 72 63 65 20 24 74 65  n.tcl.source $te
01d0: 73 74 64 69 72 2f 77 61 6c 5f 63 6f 6d 6d 6f 6e  stdir/wal_common
01e0: 2e 74 63 6c 0a 73 65 74 20 3a 3a 74 65 73 74 70  .tcl.set ::testp
01f0: 72 65 66 69 78 20 63 6f 6e 63 75 72 72 65 6e 74  refix concurrent
0200: 35 0a 0a 69 66 63 61 70 61 62 6c 65 20 21 63 6f  5..ifcapable !co
0210: 6e 63 75 72 72 65 6e 74 20 7b 0a 20 20 66 69 6e  ncurrent {.  fin
0220: 69 73 68 5f 74 65 73 74 0a 20 20 72 65 74 75 72  ish_test.  retur
0230: 6e 0a 7d 0a 0a 64 62 20 63 6c 6f 73 65 0a 73 71  n.}..db close.sq
0240: 6c 69 74 65 33 5f 73 68 75 74 64 6f 77 6e 0a 74  lite3_shutdown.t
0250: 65 73 74 5f 73 71 6c 69 74 65 33 5f 6c 6f 67 20  est_sqlite3_log 
0260: 5b 6c 69 73 74 20 6c 61 70 70 65 6e 64 20 3a 3a  [list lappend ::
0270: 6c 6f 67 5d 0a 73 65 74 20 3a 3a 6c 6f 67 20 5b  log].set ::log [
0280: 6c 69 73 74 5d 0a 0a 73 71 6c 69 74 65 33 20 64  list]..sqlite3 d
0290: 62 20 74 65 73 74 2e 64 62 0a 0a 70 72 6f 63 20  b test.db..proc 
02a0: 64 6f 5f 74 65 73 74 5f 63 6f 6e 66 6c 69 63 74  do_test_conflict
02b0: 5f 6d 73 67 20 7b 74 6e 20 6d 73 67 7d 20 7b 0a  _msg {tn msg} {.
02c0: 20 20 73 65 74 20 6d 73 67 20 22 63 61 6e 6e 6f    set msg "canno
02d0: 74 20 63 6f 6d 6d 69 74 20 43 4f 4e 43 55 52 52  t commit CONCURR
02e0: 45 4e 54 20 74 72 61 6e 73 61 63 74 69 6f 6e 20  ENT transaction 
02f0: 2d 20 5b 73 74 72 69 6e 67 20 74 72 69 6d 20 24  - [string trim $
0300: 6d 73 67 5d 22 0a 20 20 75 70 6c 65 76 65 6c 20  msg]".  uplevel 
0310: 5b 6c 69 73 74 20 64 6f 5f 74 65 73 74 20 24 74  [list do_test $t
0320: 6e 20 7b 6c 69 6e 64 65 78 20 24 3a 3a 6c 6f 67  n {lindex $::log
0330: 20 65 6e 64 7d 20 24 6d 73 67 5d 0a 7d 0a 0a 64   end} $msg].}..d
0340: 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 31  o_execsql_test 1
0350: 2e 30 20 7b 0a 20 20 50 52 41 47 4d 41 20 6a 6f  .0 {.  PRAGMA jo
0360: 75 72 6e 61 6c 5f 6d 6f 64 65 20 3d 20 77 61 6c  urnal_mode = wal
0370: 3b 0a 20 20 43 52 45 41 54 45 20 54 41 42 4c 45  ;.  CREATE TABLE
0380: 20 74 31 28 78 2c 20 79 29 3b 0a 20 20 43 52 45   t1(x, y);.  CRE
0390: 41 54 45 20 54 41 42 4c 45 20 74 32 28 63 29 3b  ATE TABLE t2(c);
03a0: 0a 20 20 57 49 54 48 20 73 28 69 29 20 41 53 20  .  WITH s(i) AS 
03b0: 28 53 45 4c 45 43 54 20 31 20 55 4e 49 4f 4e 20  (SELECT 1 UNION 
03c0: 41 4c 4c 20 53 45 4c 45 43 54 20 69 2b 31 20 46  ALL SELECT i+1 F
03d0: 52 4f 4d 20 73 20 57 48 45 52 45 20 69 3c 31 30  ROM s WHERE i<10
03e0: 30 29 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  0).  INSERT INTO
03f0: 20 74 31 20 53 45 4c 45 43 54 20 72 61 6e 64 6f   t1 SELECT rando
0400: 6d 62 6c 6f 62 28 34 30 30 29 2c 20 72 61 6e 64  mblob(400), rand
0410: 6f 6d 62 6c 6f 62 28 34 30 30 29 20 46 52 4f 4d  omblob(400) FROM
0420: 20 73 3b 0a 7d 20 7b 77 61 6c 7d 0a 0a 73 71 6c   s;.} {wal}..sql
0430: 69 74 65 33 20 64 62 32 20 74 65 73 74 2e 64 62  ite3 db2 test.db
0440: 0a 0a 64 6f 5f 74 65 73 74 20 31 2e 31 2e 31 20  ..do_test 1.1.1 
0450: 7b 0a 20 20 73 65 74 20 3a 3a 6c 6f 67 20 5b 6c  {.  set ::log [l
0460: 69 73 74 5d 0a 20 20 64 62 32 20 65 76 61 6c 20  ist].  db2 eval 
0470: 7b 0a 20 20 20 20 42 45 47 49 4e 20 43 4f 4e 43  {.    BEGIN CONC
0480: 55 52 52 45 4e 54 3b 0a 20 20 20 20 20 20 53 45  URRENT;.      SE
0490: 4c 45 43 54 20 63 6f 75 6e 74 28 2a 29 20 46 52  LECT count(*) FR
04a0: 4f 4d 20 74 31 3b 0a 20 20 20 20 20 20 49 4e 53  OM t1;.      INS
04b0: 45 52 54 20 49 4e 54 4f 20 74 32 20 56 41 4c 55  ERT INTO t2 VALU
04c0: 45 53 28 31 30 29 3b 0a 20 20 7d 0a 0a 20 20 64  ES(10);.  }..  d
04d0: 62 20 65 76 61 6c 20 7b 0a 20 20 20 20 49 4e 53  b eval {.    INS
04e0: 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55  ERT INTO t1 VALU
04f0: 45 53 28 72 61 6e 64 6f 6d 62 6c 6f 62 28 32 30  ES(randomblob(20
0500: 30 29 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 32  0), randomblob(2
0510: 30 30 29 29 3b 0a 20 20 7d 0a 0a 20 20 63 61 74  00));.  }..  cat
0520: 63 68 73 71 6c 20 43 4f 4d 4d 49 54 20 64 62 32  chsql COMMIT db2
0530: 0a 7d 20 7b 31 20 7b 64 61 74 61 62 61 73 65 20  .} {1 {database 
0540: 69 73 20 6c 6f 63 6b 65 64 7d 7d 0a 64 6f 5f 74  is locked}}.do_t
0550: 65 73 74 5f 63 6f 6e 66 6c 69 63 74 5f 6d 73 67  est_conflict_msg
0560: 20 31 2e 31 2e 32 20 7b 0a 20 20 63 6f 6e 66 6c   1.1.2 {.  confl
0570: 69 63 74 20 61 74 20 70 61 67 65 20 32 20 28 72  ict at page 2 (r
0580: 65 61 64 2d 6f 6e 6c 79 20 70 61 67 65 3b 20 70  ead-only page; p
0590: 61 72 74 20 6f 66 20 64 62 20 74 61 62 6c 65 20  art of db table 
05a0: 74 31 3b 20 63 6f 6e 74 65 6e 74 3d 30 35 30 30  t1; content=0500
05b0: 30 30 30 30 36 33 30 32 31 31 30 30 2e 2e 2e 29  000063021100...)
05c0: 0a 7d 0a 0a 64 6f 5f 74 65 73 74 20 31 2e 32 2e  .}..do_test 1.2.
05d0: 31 20 7b 0a 20 20 73 65 74 20 3a 3a 6c 6f 67 20  1 {.  set ::log 
05e0: 5b 6c 69 73 74 5d 0a 20 20 64 62 32 20 65 76 61  [list].  db2 eva
05f0: 6c 20 7b 0a 20 20 20 20 52 4f 4c 4c 42 41 43 4b  l {.    ROLLBACK
0600: 3b 0a 20 20 20 20 42 45 47 49 4e 20 43 4f 4e 43  ;.    BEGIN CONC
0610: 55 52 52 45 4e 54 3b 0a 20 20 20 20 20 20 49 4e  URRENT;.      IN
0620: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c  SERT INTO t1 VAL
0630: 55 45 53 28 31 31 2c 20 31 32 29 3b 0a 20 20 7d  UES(11, 12);.  }
0640: 0a 0a 20 20 64 62 20 65 76 61 6c 20 7b 0a 20 20  ..  db eval {.  
0650: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31    INSERT INTO t1
0660: 20 56 41 4c 55 45 53 28 31 32 2c 20 31 31 29 3b   VALUES(12, 11);
0670: 0a 20 20 7d 0a 0a 20 20 63 61 74 63 68 73 71 6c  .  }..  catchsql
0680: 20 43 4f 4d 4d 49 54 20 64 62 32 0a 7d 20 7b 31   COMMIT db2.} {1
0690: 20 7b 64 61 74 61 62 61 73 65 20 69 73 20 6c 6f   {database is lo
06a0: 63 6b 65 64 7d 7d 0a 0a 64 6f 5f 74 65 73 74 5f  cked}}..do_test_
06b0: 63 6f 6e 66 6c 69 63 74 5f 6d 73 67 20 31 2e 32  conflict_msg 1.2
06c0: 2e 32 20 7b 0a 20 20 63 6f 6e 66 6c 69 63 74 20  .2 {.  conflict 
06d0: 61 74 20 70 61 67 65 20 31 30 35 20 28 72 65 61  at page 105 (rea
06e0: 64 2f 77 72 69 74 65 20 70 61 67 65 3b 20 70 61  d/write page; pa
06f0: 72 74 20 6f 66 20 64 62 20 74 61 62 6c 65 20 74  rt of db table t
0700: 31 3b 20 63 6f 6e 74 65 6e 74 3d 30 44 30 30 30  1; content=0D000
0710: 30 30 30 30 32 30 32 36 31 30 30 2e 2e 2e 29 0a  00002026100...).
0720: 7d 0a 0a 64 6f 5f 74 65 73 74 20 31 2e 33 2e 31  }..do_test 1.3.1
0730: 20 7b 0a 20 20 73 65 74 20 3a 3a 6c 6f 67 20 5b   {.  set ::log [
0740: 6c 69 73 74 5d 0a 20 20 64 62 32 20 65 76 61 6c  list].  db2 eval
0750: 20 7b 0a 20 20 20 20 52 4f 4c 4c 42 41 43 4b 3b   {.    ROLLBACK;
0760: 0a 20 20 20 20 42 45 47 49 4e 20 43 4f 4e 43 55  .    BEGIN CONCU
0770: 52 52 45 4e 54 3b 0a 20 20 20 20 20 20 49 4e 53  RRENT;.      INS
0780: 45 52 54 20 49 4e 54 4f 20 74 32 20 56 41 4c 55  ERT INTO t2 VALU
0790: 45 53 28 27 78 27 29 3b 0a 20 20 7d 0a 0a 20 20  ES('x');.  }..  
07a0: 64 62 20 65 76 61 6c 20 7b 0a 20 20 20 20 49 4e  db eval {.    IN
07b0: 53 45 52 54 20 49 4e 54 4f 20 74 32 20 56 41 4c  SERT INTO t2 VAL
07c0: 55 45 53 28 27 79 27 29 3b 0a 20 20 7d 0a 0a 20  UES('y');.  }.. 
07d0: 20 63 61 74 63 68 73 71 6c 20 43 4f 4d 4d 49 54   catchsql COMMIT
07e0: 20 64 62 32 0a 7d 20 7b 31 20 7b 64 61 74 61 62   db2.} {1 {datab
07f0: 61 73 65 20 69 73 20 6c 6f 63 6b 65 64 7d 7d 0a  ase is locked}}.
0800: 0a 64 6f 5f 74 65 73 74 5f 63 6f 6e 66 6c 69 63  .do_test_conflic
0810: 74 5f 6d 73 67 20 31 2e 33 2e 32 20 7b 0a 20 20  t_msg 1.3.2 {.  
0820: 63 6f 6e 66 6c 69 63 74 20 61 74 20 70 61 67 65  conflict at page
0830: 20 33 20 28 72 65 61 64 2f 77 72 69 74 65 20 70   3 (read/write p
0840: 61 67 65 3b 20 70 61 72 74 20 6f 66 20 64 62 20  age; part of db 
0850: 74 61 62 6c 65 20 74 32 3b 20 63 6f 6e 74 65 6e  table t2; conten
0860: 74 3d 30 44 30 30 30 30 30 30 30 31 30 33 46 42  t=0D0000000103FB
0870: 30 30 2e 2e 2e 29 0a 7d 0a 0a 64 6f 5f 74 65 73  00...).}..do_tes
0880: 74 20 31 2e 34 2e 31 20 7b 0a 20 20 73 65 74 20  t 1.4.1 {.  set 
0890: 3a 3a 6c 6f 67 20 5b 6c 69 73 74 5d 0a 0a 20 20  ::log [list]..  
08a0: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 52 4f  execsql {.    RO
08b0: 4c 4c 42 41 43 4b 3b 0a 20 20 20 20 43 52 45 41  LLBACK;.    CREA
08c0: 54 45 20 54 41 42 4c 45 20 74 33 28 61 20 49 4e  TE TABLE t3(a IN
08d0: 54 45 47 45 52 20 50 52 49 4d 41 52 59 20 4b 45  TEGER PRIMARY KE
08e0: 59 2c 20 62 20 49 4e 54 45 47 45 52 29 3b 0a 20  Y, b INTEGER);. 
08f0: 20 20 20 43 52 45 41 54 45 20 49 4e 44 45 58 20     CREATE INDEX 
0900: 69 33 20 4f 4e 20 74 33 28 62 29 3b 0a 0a 20 20  i3 ON t3(b);..  
0910: 20 20 57 49 54 48 20 73 28 69 29 20 41 53 20 28    WITH s(i) AS (
0920: 0a 20 20 20 20 20 20 53 45 4c 45 43 54 20 31 20  .      SELECT 1 
0930: 55 4e 49 4f 4e 20 41 4c 4c 20 53 45 4c 45 43 54  UNION ALL SELECT
0940: 20 69 2b 31 20 46 52 4f 4d 20 73 20 57 48 45 52   i+1 FROM s WHER
0950: 45 20 69 3c 35 30 30 30 0a 20 20 20 20 29 20 49  E i<5000.    ) I
0960: 4e 53 45 52 54 20 49 4e 54 4f 20 74 33 20 53 45  NSERT INTO t3 SE
0970: 4c 45 43 54 20 69 2c 20 69 20 46 52 4f 4d 20 73  LECT i, i FROM s
0980: 3b 0a 0a 20 20 20 20 42 45 47 49 4e 20 43 4f 4e  ;..    BEGIN CON
0990: 43 55 52 52 45 4e 54 3b 0a 20 20 20 20 20 20 49  CURRENT;.      I
09a0: 4e 53 45 52 54 20 49 4e 54 4f 20 74 33 20 56 41  NSERT INTO t3 VA
09b0: 4c 55 45 53 28 30 2c 20 35 30 30 31 29 3b 0a 20  LUES(0, 5001);. 
09c0: 20 7d 20 64 62 32 0a 0a 20 20 65 78 65 63 73 71   } db2..  execsq
09d0: 6c 20 7b 20 49 4e 53 45 52 54 20 49 4e 54 4f 20  l { INSERT INTO 
09e0: 74 33 20 56 41 4c 55 45 53 28 4e 55 4c 4c 2c 20  t3 VALUES(NULL, 
09f0: 35 30 30 32 29 20 7d 20 64 62 0a 20 20 63 61 74  5002) } db.  cat
0a00: 63 68 73 71 6c 20 43 4f 4d 4d 49 54 20 64 62 32  chsql COMMIT db2
0a10: 0a 7d 20 7b 31 20 7b 64 61 74 61 62 61 73 65 20  .} {1 {database 
0a20: 69 73 20 6c 6f 63 6b 65 64 7d 7d 0a 0a 64 6f 5f  is locked}}..do_
0a30: 74 65 73 74 5f 63 6f 6e 66 6c 69 63 74 5f 6d 73  test_conflict_ms
0a40: 67 20 31 2e 33 2e 32 20 7b 0a 20 20 63 6f 6e 66  g 1.3.2 {.  conf
0a50: 6c 69 63 74 20 61 74 20 70 61 67 65 20 32 31 31  lict at page 211
0a60: 20 28 72 65 61 64 2f 77 72 69 74 65 20 70 61 67   (read/write pag
0a70: 65 3b 20 70 61 72 74 20 6f 66 20 64 62 20 69 6e  e; part of db in
0a80: 64 65 78 20 74 33 2e 69 33 3b 20 63 6f 6e 74 65  dex t3.i3; conte
0a90: 6e 74 3d 30 41 30 33 31 30 30 30 36 33 30 30 44  nt=0A0310006300D
0aa0: 38 30 30 2e 2e 2e 29 0a 7d 0a 0a 64 62 20 63 6c  800...).}..db cl
0ab0: 6f 73 65 0a 64 62 32 20 63 6c 6f 73 65 0a 73 71  ose.db2 close.sq
0ac0: 6c 69 74 65 33 5f 73 68 75 74 64 6f 77 6e 0a 74  lite3_shutdown.t
0ad0: 65 73 74 5f 73 71 6c 69 74 65 33 5f 6c 6f 67 20  est_sqlite3_log 
0ae0: 0a 73 71 6c 69 74 65 33 5f 69 6e 69 74 69 61 6c  .sqlite3_initial
0af0: 69 7a 65 0a 66 69 6e 69 73 68 5f 74 65 73 74 0a  ize.finish_test.
0b00: 0a                                               .