SQLite4
Hex Artifact Content
Not logged in

Artifact 3f33fc8785e015636ae6a47068ec7a03d243a12b:


0000: 23 20 32 30 31 34 20 46 65 62 72 75 61 72 79 20  # 2014 February 
0010: 31 39 0a 23 0a 23 20 54 68 65 20 61 75 74 68 6f  19.#.# The autho
0020: 72 20 64 69 73 63 6c 61 69 6d 73 20 63 6f 70 79  r disclaims copy
0030: 72 69 67 68 74 20 74 6f 20 74 68 69 73 20 73 6f  right to this so
0040: 75 72 63 65 20 63 6f 64 65 2e 20 20 49 6e 20 70  urce code.  In p
0050: 6c 61 63 65 20 6f 66 0a 23 20 61 20 6c 65 67 61  lace of.# a lega
0060: 6c 20 6e 6f 74 69 63 65 2c 20 68 65 72 65 20 69  l notice, here i
0070: 73 20 61 20 62 6c 65 73 73 69 6e 67 3a 0a 23 0a  s a blessing:.#.
0080: 23 20 20 20 20 4d 61 79 20 79 6f 75 20 64 6f 20  #    May you do 
0090: 67 6f 6f 64 20 61 6e 64 20 6e 6f 74 20 65 76 69  good and not evi
00a0: 6c 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20  l..#    May you 
00b0: 66 69 6e 64 20 66 6f 72 67 69 76 65 6e 65 73 73  find forgiveness
00c0: 20 66 6f 72 20 79 6f 75 72 73 65 6c 66 20 61 6e   for yourself an
00d0: 64 20 66 6f 72 67 69 76 65 20 6f 74 68 65 72 73  d forgive others
00e0: 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20 73  ..#    May you s
00f0: 68 61 72 65 20 66 72 65 65 6c 79 2c 20 6e 65 76  hare freely, nev
0100: 65 72 20 74 61 6b 69 6e 67 20 6d 6f 72 65 20 74  er taking more t
0110: 68 61 6e 20 79 6f 75 20 67 69 76 65 2e 0a 23 0a  han you give..#.
0120: 23 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 2a 2a 2a 0a 23 0a 23 20 54 68 69  ********.#.# Thi
0170: 73 20 66 69 6c 65 20 63 6f 6e 74 61 69 6e 73 20  s file contains 
0180: 74 65 73 74 73 20 74 68 61 74 20 76 65 72 69 66  tests that verif
0190: 79 20 74 68 61 74 20 74 68 65 20 62 74 20 62 61  y that the bt ba
01a0: 63 6b 65 6e 64 20 63 61 6e 20 72 65 63 6f 76 65  ckend can recove
01b0: 72 0a 23 20 64 61 74 61 20 66 72 6f 6d 20 74 68  r.# data from th
01c0: 65 20 74 79 70 65 73 20 6f 66 20 6c 6f 67 20 66  e types of log f
01d0: 69 6c 65 73 20 74 68 61 74 20 6d 69 67 68 74 20  iles that might 
01e0: 62 65 20 6c 65 66 74 20 69 6e 20 74 68 65 20 66  be left in the f
01f0: 69 6c 65 2d 73 79 73 74 65 6d 0a 23 20 66 6f 6c  ile-system.# fol
0200: 6c 6f 77 69 6e 67 20 61 20 70 6f 77 65 72 20 66  lowing a power f
0210: 61 69 6c 75 72 65 2e 0a 23 0a 0a 73 65 74 20 74  ailure..#..set t
0220: 65 73 74 64 69 72 20 5b 66 69 6c 65 20 64 69 72  estdir [file dir
0230: 6e 61 6d 65 20 24 61 72 67 76 30 5d 0a 73 6f 75  name $argv0].sou
0240: 72 63 65 20 24 74 65 73 74 64 69 72 2f 74 65 73  rce $testdir/tes
0250: 74 65 72 2e 74 63 6c 0a 73 6f 75 72 63 65 20 24  ter.tcl.source $
0260: 74 65 73 74 64 69 72 2f 6d 61 6c 6c 6f 63 5f 63  testdir/malloc_c
0270: 6f 6d 6d 6f 6e 2e 74 63 6c 0a 73 65 74 20 3a 3a  ommon.tcl.set ::
0280: 74 65 73 74 70 72 65 66 69 78 20 72 65 63 6f 76  testprefix recov
0290: 65 72 31 0a 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d  er1...#---------
02a0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
02b0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
02c0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
02d0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
02e0: 0a 23 20 20 20 63 72 61 73 68 73 71 6c 32 20 3f  .#   crashsql2 ?
02f0: 2d 77 61 6c 3f 20 4e 20 53 51 4c 0a 23 0a 23 20  -wal? N SQL.#.# 
0300: 4f 70 65 6e 20 74 68 65 20 64 61 74 61 62 61 73  Open the databas
0310: 65 20 61 6e 64 20 65 78 65 63 75 74 65 20 74 68  e and execute th
0320: 65 20 53 51 4c 20 73 63 72 69 70 74 2c 20 77 69  e SQL script, wi
0330: 74 68 20 63 72 61 73 68 20 73 69 6d 75 6c 61 74  th crash simulat
0340: 69 6f 6e 20 6f 6e 0a 23 20 74 68 65 20 4e 27 74  ion on.# the N't
0350: 68 20 73 79 6e 63 20 6f 66 20 65 69 74 68 65 72  h sync of either
0360: 20 74 68 65 20 6c 6f 67 20 6f 72 20 64 61 74 61   the log or data
0370: 62 61 73 65 20 66 69 6c 65 2c 20 64 65 70 65 6e  base file, depen
0380: 64 69 6e 67 20 6f 6e 20 77 68 65 74 68 65 72 0a  ding on whether.
0390: 23 20 6f 72 20 6e 6f 74 20 74 68 65 20 22 2d 77  # or not the "-w
03a0: 61 6c 22 20 73 77 69 74 63 68 20 69 73 20 70 72  al" switch is pr
03b0: 65 73 65 6e 74 2e 0a 23 0a 70 72 6f 63 20 63 72  esent..#.proc cr
03c0: 61 73 68 73 71 6c 32 20 7b 61 72 67 73 7d 20 7b  ashsql2 {args} {
03d0: 0a 20 20 73 65 74 20 62 57 61 6c 20 30 0a 20 20  .  set bWal 0.  
03e0: 73 65 74 20 6e 53 79 6e 63 20 30 0a 0a 20 20 69  set nSync 0..  i
03f0: 66 20 7b 28 5b 6c 6c 65 6e 67 74 68 20 24 61 72  f {([llength $ar
0400: 67 73 5d 21 3d 32 29 0a 20 20 20 26 26 20 28 5b  gs]!=2).   && ([
0410: 6c 6c 65 6e 67 74 68 20 24 61 72 67 73 5d 21 3d  llength $args]!=
0420: 33 20 7c 7c 20 30 3d 3d 5b 73 74 72 69 6e 67 20  3 || 0==[string 
0430: 6d 61 74 63 68 20 5b 6c 69 6e 64 65 78 20 24 61  match [lindex $a
0440: 72 67 73 20 30 5d 2a 20 22 2d 77 61 6c 22 5d 29  rgs 0]* "-wal"])
0450: 0a 20 20 7d 20 7b 0a 20 20 20 20 65 72 72 6f 72  .  } {.    error
0460: 20 22 73 68 6f 75 6c 64 20 62 65 3a 20 63 72 61   "should be: cra
0470: 73 68 73 71 6c 32 20 3f 2d 77 61 6c 3f 20 4e 20  shsql2 ?-wal? N 
0480: 53 51 4c 22 0a 20 20 7d 0a 0a 20 20 73 65 74 20  SQL".  }..  set 
0490: 62 57 61 6c 20 5b 65 78 70 72 20 7b 5b 6c 6c 65  bWal [expr {[lle
04a0: 6e 67 74 68 20 24 61 72 67 73 5d 3d 3d 33 7d 5d  ngth $args]==3}]
04b0: 0a 20 20 73 65 74 20 6e 53 79 6e 63 20 5b 6c 69  .  set nSync [li
04c0: 6e 64 65 78 20 24 61 72 67 73 20 5b 65 78 70 72  ndex $args [expr
04d0: 20 5b 6c 6c 65 6e 67 74 68 20 24 61 72 67 73 5d   [llength $args]
04e0: 20 2d 20 32 5d 5d 0a 20 20 73 65 74 20 73 71 6c   - 2]].  set sql
04f0: 20 5b 6c 69 6e 64 65 78 20 24 61 72 67 73 20 5b   [lindex $args [
0500: 65 78 70 72 20 5b 6c 6c 65 6e 67 74 68 20 24 61  expr [llength $a
0510: 72 67 73 5d 20 2d 20 31 5d 5d 0a 0a 20 20 73 71  rgs] - 1]]..  sq
0520: 6c 69 74 65 34 20 64 62 63 20 74 65 73 74 2e 64  lite4 dbc test.d
0530: 62 0a 20 20 62 74 65 6e 76 20 63 72 61 73 68 65  b.  btenv crashe
0540: 6e 76 20 0a 20 20 63 72 61 73 68 65 6e 76 20 61  nv .  crashenv a
0550: 74 74 61 63 68 20 64 62 63 0a 20 20 63 72 61 73  ttach dbc.  cras
0560: 68 65 6e 76 20 63 72 61 73 68 20 24 6e 53 79 6e  henv crash $nSyn
0570: 63 20 24 62 57 61 6c 0a 0a 20 20 63 61 74 63 68  c $bWal..  catch
0580: 20 7b 20 64 62 63 20 65 76 61 6c 20 24 73 71 6c   { dbc eval $sql
0590: 20 7d 20 6d 73 67 0a 20 20 64 62 63 20 63 6c 6f   } msg.  dbc clo
05a0: 73 65 0a 20 20 73 65 74 20 72 65 74 20 5b 63 72  se.  set ret [cr
05b0: 61 73 68 65 6e 76 20 63 72 61 73 68 20 30 20 30  ashenv crash 0 0
05c0: 5d 0a 20 20 63 72 61 73 68 65 6e 76 20 64 65 6c  ].  crashenv del
05d0: 65 74 65 0a 20 20 72 65 74 75 72 6e 20 24 72 65  ete.  return $re
05e0: 74 0a 7d 0a 0a 70 72 6f 63 20 63 68 65 63 6b 64  t.}..proc checkd
05f0: 62 20 7b 7d 20 7b 0a 20 20 64 62 20 6f 6e 65 20  b {} {.  db one 
0600: 7b 20 53 45 4c 45 43 54 20 28 53 45 4c 45 43 54  { SELECT (SELECT
0610: 20 78 20 46 52 4f 4d 20 73 75 6d 29 3d 3d 28 53   x FROM sum)==(S
0620: 45 4c 45 43 54 20 6d 64 35 73 75 6d 28 61 2c 20  ELECT md5sum(a, 
0630: 62 29 20 46 52 4f 4d 20 74 31 29 3b 20 7d 0a 7d  b) FROM t1); }.}
0640: 0a 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73  ..do_execsql_tes
0650: 74 20 31 2e 30 20 7b 0a 20 20 43 52 45 41 54 45  t 1.0 {.  CREATE
0660: 20 54 41 42 4c 45 20 74 31 28 61 2c 20 62 29 3b   TABLE t1(a, b);
0670: 0a 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20  .  CREATE TABLE 
0680: 73 75 6d 28 78 29 3b 0a 0a 20 20 49 4e 53 45 52  sum(x);..  INSER
0690: 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53  T INTO t1 VALUES
06a0: 28 72 61 6e 64 6f 6d 62 6c 6f 62 28 32 30 30 29  (randomblob(200)
06b0: 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 32 30 30  , randomblob(200
06c0: 29 29 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54  ));.  INSERT INT
06d0: 4f 20 74 31 20 53 45 4c 45 43 54 20 72 61 6e 64  O t1 SELECT rand
06e0: 6f 6d 62 6c 6f 62 28 32 30 30 29 2c 20 72 61 6e  omblob(200), ran
06f0: 64 6f 6d 62 6c 6f 62 28 32 30 30 29 20 46 52 4f  domblob(200) FRO
0700: 4d 20 74 31 3b 0a 20 20 49 4e 53 45 52 54 20 49  M t1;.  INSERT I
0710: 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20 72 61  NTO t1 SELECT ra
0720: 6e 64 6f 6d 62 6c 6f 62 28 32 30 30 29 2c 20 72  ndomblob(200), r
0730: 61 6e 64 6f 6d 62 6c 6f 62 28 32 30 30 29 20 46  andomblob(200) F
0740: 52 4f 4d 20 74 31 3b 0a 20 20 49 4e 53 45 52 54  ROM t1;.  INSERT
0750: 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20   INTO t1 SELECT 
0760: 72 61 6e 64 6f 6d 62 6c 6f 62 28 32 30 30 29 2c  randomblob(200),
0770: 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 32 30 30 29   randomblob(200)
0780: 20 46 52 4f 4d 20 74 31 3b 0a 20 20 49 4e 53 45   FROM t1;.  INSE
0790: 52 54 20 49 4e 54 4f 20 73 75 6d 20 53 45 4c 45  RT INTO sum SELE
07a0: 43 54 20 6d 64 35 73 75 6d 28 61 2c 20 62 29 20  CT md5sum(a, b) 
07b0: 46 52 4f 4d 20 74 31 3b 0a 7d 0a 64 6f 5f 74 65  FROM t1;.}.do_te
07c0: 73 74 20 31 2e 31 20 7b 20 63 68 65 63 6b 64 62  st 1.1 { checkdb
07d0: 20 7d 20 31 0a 0a 66 6f 72 20 7b 73 65 74 20 69   } 1..for {set i
07e0: 20 31 7d 20 7b 24 69 3c 32 35 7d 20 7b 69 6e 63   1} {$i<25} {inc
07f0: 72 20 69 7d 20 7b 0a 20 20 73 65 74 20 6e 52 6f  r i} {.  set nRo
0800: 77 20 5b 64 62 20 6f 6e 65 20 7b 53 45 4c 45 43  w [db one {SELEC
0810: 54 20 63 6f 75 6e 74 28 2a 29 20 46 52 4f 4d 20  T count(*) FROM 
0820: 74 31 7d 5d 0a 20 20 64 62 20 63 6c 6f 73 65 0a  t1}].  db close.
0830: 0a 20 20 64 6f 5f 74 65 73 74 20 31 2e 32 2e 24  .  do_test 1.2.$
0840: 69 2e 31 20 7b 0a 20 20 20 20 63 72 61 73 68 73  i.1 {.    crashs
0850: 71 6c 32 20 31 20 7b 0a 20 20 20 20 20 20 42 45  ql2 1 {.      BE
0860: 47 49 4e 3b 0a 20 20 20 20 20 20 49 4e 53 45 52  GIN;.      INSER
0870: 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54  T INTO t1 SELECT
0880: 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 32 30 30 29   randomblob(200)
0890: 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 32 30 30  , randomblob(200
08a0: 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 20  ) FROM t1;.     
08b0: 20 55 50 44 41 54 45 20 73 75 6d 20 53 45 54 20   UPDATE sum SET 
08c0: 78 20 3d 20 28 53 45 4c 45 43 54 20 6d 64 35 73  x = (SELECT md5s
08d0: 75 6d 28 61 2c 20 62 29 20 46 52 4f 4d 20 74 31  um(a, b) FROM t1
08e0: 29 3b 0a 20 20 20 20 20 20 43 4f 4d 4d 49 54 3b  );.      COMMIT;
08f0: 0a 20 20 20 20 20 20 50 52 41 47 4d 41 20 6d 61  .      PRAGMA ma
0900: 69 6e 2e 63 68 65 63 6b 70 6f 69 6e 74 20 3d 20  in.checkpoint = 
0910: 31 3b 0a 20 20 20 20 7d 0a 20 20 7d 20 7b 31 7d  1;.    }.  } {1}
0920: 0a 0a 20 20 64 6f 5f 74 65 73 74 20 31 2e 32 2e  ..  do_test 1.2.
0930: 24 69 2e 32 20 7b 20 0a 20 20 20 20 73 71 6c 69  $i.2 { .    sqli
0940: 74 65 34 20 64 62 20 74 65 73 74 2e 64 62 0a 20  te4 db test.db. 
0950: 20 20 20 63 68 65 63 6b 64 62 20 0a 20 20 7d 20     checkdb .  } 
0960: 31 0a 0a 20 20 64 6f 5f 65 78 65 63 73 71 6c 5f  1..  do_execsql_
0970: 74 65 73 74 20 31 2e 32 2e 24 69 2e 33 20 7b 20  test 1.2.$i.3 { 
0980: 53 45 4c 45 43 54 20 63 6f 75 6e 74 28 2a 29 20  SELECT count(*) 
0990: 46 52 4f 4d 20 74 31 20 7d 20 5b 65 78 70 72 20  FROM t1 } [expr 
09a0: 24 6e 52 6f 77 2a 32 5d 0a 20 20 64 6f 5f 65 78  $nRow*2].  do_ex
09b0: 65 63 73 71 6c 5f 74 65 73 74 20 31 2e 32 2e 24  ecsql_test 1.2.$
09c0: 69 2e 34 20 7b 20 44 45 4c 45 54 45 20 46 52 4f  i.4 { DELETE FRO
09d0: 4d 20 74 31 20 57 48 45 52 45 20 72 6f 77 69 64  M t1 WHERE rowid
09e0: 3e 38 20 7d 0a 7d 0a 0a 66 69 6e 69 73 68 5f 74  >8 }.}..finish_t
09f0: 65 73 74 0a 0a 0a 0a 0a                          est.....