/ Hex Artifact Content
Login
SQLite training in Houston TX on 2019-11-05 (details)
Part of the 2019 Tcl Conference

Artifact d78f772dd71d632f3d3f6d3d588c3105b2ab1bb3:


0000: 23 20 32 30 31 30 20 53 65 70 74 65 6d 62 65 72  # 2010 September
0010: 20 32 30 0a 23 0a 23 20 54 68 65 20 61 75 74 68   20.#.# The auth
0020: 6f 72 20 64 69 73 63 6c 61 69 6d 73 20 63 6f 70  or disclaims cop
0030: 79 72 69 67 68 74 20 74 6f 20 74 68 69 73 20 73  yright to this s
0040: 6f 75 72 63 65 20 63 6f 64 65 2e 20 20 49 6e 20  ource code.  In 
0050: 70 6c 61 63 65 20 6f 66 0a 23 20 61 20 6c 65 67  place of.# a leg
0060: 61 6c 20 6e 6f 74 69 63 65 2c 20 68 65 72 65 20  al notice, here 
0070: 69 73 20 61 20 62 6c 65 73 73 69 6e 67 3a 0a 23  is a blessing:.#
0080: 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20 64 6f  .#    May you do
0090: 20 67 6f 6f 64 20 61 6e 64 20 6e 6f 74 20 65 76   good and not ev
00a0: 69 6c 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75  il..#    May you
00b0: 20 66 69 6e 64 20 66 6f 72 67 69 76 65 6e 65 73   find forgivenes
00c0: 73 20 66 6f 72 20 79 6f 75 72 73 65 6c 66 20 61  s for yourself a
00d0: 6e 64 20 66 6f 72 67 69 76 65 20 6f 74 68 65 72  nd forgive other
00e0: 73 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20  s..#    May you 
00f0: 73 68 61 72 65 20 66 72 65 65 6c 79 2c 20 6e 65  share freely, ne
0100: 76 65 72 20 74 61 6b 69 6e 67 20 6d 6f 72 65 20  ver taking more 
0110: 74 68 61 6e 20 79 6f 75 20 67 69 76 65 2e 0a 23  than you give..#
0120: 0a 23 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 2a 2a 2a 2a 0a 23 20 54 68 69 73  *********.# This
0170: 20 66 69 6c 65 20 69 6d 70 6c 65 6d 65 6e 74 73   file implements
0180: 20 72 65 67 72 65 73 73 69 6f 6e 20 74 65 73 74   regression test
0190: 73 20 66 6f 72 20 53 51 4c 69 74 65 20 6c 69 62  s for SQLite lib
01a0: 72 61 72 79 2e 0a 23 0a 23 20 54 68 69 73 20 66  rary..#.# This f
01b0: 69 6c 65 20 69 6d 70 6c 65 6d 65 6e 74 73 20 74  ile implements t
01c0: 65 73 74 73 20 74 6f 20 76 65 72 69 66 79 20 74  ests to verify t
01d0: 68 61 74 20 74 69 63 6b 65 74 20 5b 33 31 33 37  hat ticket [3137
01e0: 32 33 63 33 35 36 5d 20 68 61 73 20 62 65 65 6e  23c356] has been
01f0: 0a 23 20 66 69 78 65 64 2e 20 20 0a 23 0a 0a 73  .# fixed.  .#..s
0200: 65 74 20 74 65 73 74 64 69 72 20 5b 66 69 6c 65  et testdir [file
0210: 20 64 69 72 6e 61 6d 65 20 24 61 72 67 76 30 5d   dirname $argv0]
0220: 0a 73 6f 75 72 63 65 20 24 74 65 73 74 64 69 72  .source $testdir
0230: 2f 74 65 73 74 65 72 2e 74 63 6c 0a 73 6f 75 72  /tester.tcl.sour
0240: 63 65 20 24 74 65 73 74 64 69 72 2f 6d 61 6c 6c  ce $testdir/mall
0250: 6f 63 5f 63 6f 6d 6d 6f 6e 2e 74 63 6c 0a 0a 69  oc_common.tcl..i
0260: 66 20 7b 21 5b 77 61 6c 5f 69 73 5f 63 61 70 61  f {![wal_is_capa
0270: 62 6c 65 5d 7d 20 7b 20 66 69 6e 69 73 68 5f 74  ble]} { finish_t
0280: 65 73 74 20 3b 20 72 65 74 75 72 6e 20 7d 0a 69  est ; return }.i
0290: 66 20 21 5b 77 61 6c 5f 69 73 5f 6f 6b 5d 20 7b  f ![wal_is_ok] {
02a0: 20 66 69 6e 69 73 68 5f 74 65 73 74 3b 20 72 65   finish_test; re
02b0: 74 75 72 6e 20 7d 0a 0a 64 6f 5f 65 78 65 63 73  turn }..do_execs
02c0: 71 6c 5f 74 65 73 74 20 74 6b 74 2d 33 31 33 37  ql_test tkt-3137
02d0: 32 33 63 33 35 36 2e 31 20 7b 0a 20 20 50 52 41  23c356.1 {.  PRA
02e0: 47 4d 41 20 70 61 67 65 5f 73 69 7a 65 20 3d 20  GMA page_size = 
02f0: 31 30 32 34 3b 0a 20 20 50 52 41 47 4d 41 20 6a  1024;.  PRAGMA j
0300: 6f 75 72 6e 61 6c 5f 6d 6f 64 65 20 3d 20 57 41  ournal_mode = WA
0310: 4c 3b 0a 20 20 43 52 45 41 54 45 20 54 41 42 4c  L;.  CREATE TABL
0320: 45 20 74 31 28 61 2c 20 62 29 3b 0a 20 20 43 52  E t1(a, b);.  CR
0330: 45 41 54 45 20 49 4e 44 45 58 20 69 31 20 4f 4e  EATE INDEX i1 ON
0340: 20 74 31 28 61 2c 20 62 29 3b 0a 20 20 49 4e 53   t1(a, b);.  INS
0350: 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55  ERT INTO t1 VALU
0360: 45 53 28 72 61 6e 64 6f 6d 62 6c 6f 62 28 34 30  ES(randomblob(40
0370: 30 29 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 34  0), randomblob(4
0380: 30 30 29 29 3b 0a 20 20 49 4e 53 45 52 54 20 49  00));.  INSERT I
0390: 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20 72 61  NTO t1 SELECT ra
03a0: 6e 64 6f 6d 62 6c 6f 62 28 34 30 30 29 2c 20 72  ndomblob(400), r
03b0: 61 6e 64 6f 6d 62 6c 6f 62 28 34 30 30 29 20 46  andomblob(400) F
03c0: 52 4f 4d 20 74 31 3b 0a 20 20 49 4e 53 45 52 54  ROM t1;.  INSERT
03d0: 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20   INTO t1 SELECT 
03e0: 72 61 6e 64 6f 6d 62 6c 6f 62 28 34 30 30 29 2c  randomblob(400),
03f0: 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 34 30 30 29   randomblob(400)
0400: 20 46 52 4f 4d 20 74 31 3b 0a 20 20 49 4e 53 45   FROM t1;.  INSE
0410: 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 43  RT INTO t1 SELEC
0420: 54 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 34 30 30  T randomblob(400
0430: 29 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 34 30  ), randomblob(40
0440: 30 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20 49 4e  0) FROM t1;.  IN
0450: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c  SERT INTO t1 SEL
0460: 45 43 54 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 34  ECT randomblob(4
0470: 30 30 29 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62 28  00), randomblob(
0480: 34 30 30 29 20 46 52 4f 4d 20 74 31 3b 0a 7d 20  400) FROM t1;.} 
0490: 7b 77 61 6c 7d 0a 66 61 75 6c 74 73 69 6d 5f 73  {wal}.faultsim_s
04a0: 61 76 65 5f 61 6e 64 5f 63 6c 6f 73 65 0a 0a 64  ave_and_close..d
04b0: 6f 5f 66 61 75 6c 74 73 69 6d 5f 74 65 73 74 20  o_faultsim_test 
04c0: 74 6b 74 2d 33 31 33 37 32 33 63 33 35 36 2e 32  tkt-313723c356.2
04d0: 20 2d 66 61 75 6c 74 73 20 73 68 6d 65 72 72 2a   -faults shmerr*
04e0: 20 2d 70 72 65 70 20 7b 0a 20 20 66 61 75 6c 74   -prep {.  fault
04f0: 73 69 6d 5f 72 65 73 74 6f 72 65 5f 61 6e 64 5f  sim_restore_and_
0500: 72 65 6f 70 65 6e 0a 20 20 73 71 6c 69 74 65 33  reopen.  sqlite3
0510: 20 64 62 32 20 74 65 73 74 2e 64 62 0a 20 20 64   db2 test.db.  d
0520: 62 20 65 76 61 6c 20 20 7b 20 53 45 4c 45 43 54  b eval  { SELECT
0530: 20 2a 20 46 52 4f 4d 20 74 31 20 7d 0a 20 20 64   * FROM t1 }.  d
0540: 62 32 20 65 76 61 6c 20 7b 20 55 50 44 41 54 45  b2 eval { UPDATE
0550: 20 74 31 20 53 45 54 20 61 20 3d 20 72 61 6e 64   t1 SET a = rand
0560: 6f 6d 62 6c 6f 62 28 33 39 39 29 20 7d 0a 20 20  omblob(399) }.  
0570: 64 62 32 20 63 6c 6f 73 65 0a 7d 20 2d 62 6f 64  db2 close.} -bod
0580: 79 20 7b 0a 20 20 23 20 41 74 20 74 68 69 73 20  y {.  # At this 
0590: 70 6f 69 6e 74 2c 20 74 68 65 20 63 61 63 68 65  point, the cache
05a0: 20 63 6f 6e 74 61 69 6e 73 20 61 6c 6c 20 6f 66   contains all of
05b0: 20 74 61 62 6c 65 20 74 31 20 61 6e 64 20 6e 6f   table t1 and no
05c0: 6e 65 20 6f 66 20 69 6e 64 65 78 20 69 31 2e 20  ne of index i1. 
05d0: 54 68 65 0a 20 20 23 20 63 61 63 68 65 20 69 73  The.  # cache is
05e0: 20 6f 75 74 20 6f 66 20 64 61 74 65 2e 20 57 68   out of date. Wh
05f0: 65 6e 20 74 68 65 20 62 75 67 20 65 78 69 73 74  en the bug exist
0600: 65 64 20 61 6e 64 20 74 68 65 20 72 69 67 68 74  ed and the right
0610: 20 78 53 68 6d 4c 6f 63 6b 28 29 20 66 61 69 6c   xShmLock() fail
0620: 73 0a 20 20 23 20 69 6e 20 74 68 65 20 66 6f 6c  s.  # in the fol
0630: 6c 6f 77 69 6e 67 20 73 74 61 74 65 6d 65 6e 74  lowing statement
0640: 2c 20 74 68 65 20 69 6e 74 65 72 6e 61 6c 20 63  , the internal c
0650: 61 63 68 65 20 6f 66 20 74 68 65 20 57 41 4c 20  ache of the WAL 
0660: 68 65 61 64 65 72 20 77 61 73 0a 20 20 23 20 62  header was.  # b
0670: 65 69 6e 67 20 75 70 64 61 74 65 64 2c 20 62 75  eing updated, bu
0680: 74 20 74 68 65 20 63 6f 6e 74 65 6e 74 73 20 6f  t the contents o
0690: 66 20 74 68 65 20 70 61 67 65 2d 63 61 63 68 65  f the page-cache
06a0: 20 6e 6f 74 20 66 6c 75 73 68 65 64 2e 20 54 68   not flushed. Th
06b0: 69 73 20 63 61 75 73 65 73 0a 20 20 23 20 74 68  is causes.  # th
06c0: 65 20 69 6e 74 65 67 72 69 74 79 2d 63 68 65 63  e integrity-chec
06d0: 6b 20 69 6e 20 74 68 65 20 22 2d 74 65 73 74 22  k in the "-test"
06e0: 20 63 6f 64 65 20 74 6f 20 66 61 69 6c 2c 20 61   code to fail, a
06f0: 73 20 69 74 20 69 73 20 63 6f 6d 70 61 72 69 6e  s it is comparin
0700: 67 20 74 68 65 0a 20 20 23 20 63 61 63 68 65 64  g the.  # cached
0710: 20 28 6f 75 74 2d 6f 66 2d 64 61 74 65 29 20 76   (out-of-date) v
0720: 65 72 73 69 6f 6e 20 6f 66 20 74 61 62 6c 65 20  ersion of table 
0730: 74 31 20 77 69 74 68 20 74 68 65 20 6f 6e 20 64  t1 with the on d
0740: 69 73 6b 20 28 75 70 2d 74 6f 2d 64 61 74 65 29  isk (up-to-date)
0750: 0a 20 20 23 20 76 65 72 73 69 6f 6e 20 6f 66 20  .  # version of 
0760: 69 6e 64 65 78 20 69 31 2e 0a 20 20 23 0a 20 20  index i1..  #.  
0770: 65 78 65 63 73 71 6c 20 7b 20 53 45 4c 45 43 54  execsql { SELECT
0780: 20 6d 69 6e 28 72 6f 77 69 64 29 20 46 52 4f 4d   min(rowid) FROM
0790: 20 74 31 20 7d 0a 7d 20 2d 74 65 73 74 20 7b 0a   t1 }.} -test {.
07a0: 20 20 66 61 75 6c 74 73 69 6d 5f 74 65 73 74 5f    faultsim_test_
07b0: 72 65 73 75 6c 74 20 7b 30 20 31 7d 0a 20 20 66  result {0 1}.  f
07c0: 61 75 6c 74 73 69 6d 5f 69 6e 74 65 67 72 69 74  aultsim_integrit
07d0: 79 5f 63 68 65 63 6b 0a 7d 0a 0a 66 69 6e 69 73  y_check.}..finis
07e0: 68 5f 74 65 73 74 0a                             h_test.