/ Hex Artifact Content
Login

Artifact 0c80f23c651cf6452c27cacf09f4c2ee9527a912:


0000: 23 20 32 30 31 36 20 41 70 72 69 6c 20 31 31 0a  # 2016 April 11.
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 54 68 69 73 20 66  *****.#.# This f
0170: 69 6c 65 20 63 6f 6e 74 61 69 6e 73 20 74 65 73  ile contains tes
0180: 74 73 20 66 6f 72 20 66 61 75 6c 74 2d 69 6e 6a  ts for fault-inj
0190: 65 63 74 69 6f 6e 20 77 68 65 6e 20 53 51 4c 69  ection when SQLi
01a0: 74 65 20 69 73 20 75 73 65 64 20 77 69 74 68 0a  te is used with.
01b0: 23 20 61 20 74 65 6d 70 20 66 69 6c 65 20 64 61  # a temp file da
01c0: 74 61 62 61 73 65 2e 0a 23 0a 0a 73 65 74 20 74  tabase..#..set t
01d0: 65 73 74 64 69 72 20 5b 66 69 6c 65 20 64 69 72  estdir [file dir
01e0: 6e 61 6d 65 20 24 61 72 67 76 30 5d 0a 73 6f 75  name $argv0].sou
01f0: 72 63 65 20 24 74 65 73 74 64 69 72 2f 74 65 73  rce $testdir/tes
0200: 74 65 72 2e 74 63 6c 0a 73 6f 75 72 63 65 20 24  ter.tcl.source $
0210: 74 65 73 74 64 69 72 2f 6d 61 6c 6c 6f 63 5f 63  testdir/malloc_c
0220: 6f 6d 6d 6f 6e 2e 74 63 6c 0a 73 65 74 20 74 65  ommon.tcl.set te
0230: 73 74 70 72 65 66 69 78 20 74 65 6d 70 66 61 75  stprefix tempfau
0240: 6c 74 0a 0a 73 71 6c 69 74 65 33 5f 6d 65 6d 64  lt..sqlite3_memd
0250: 65 62 75 67 5f 76 66 73 5f 6f 6f 6d 5f 74 65 73  ebug_vfs_oom_tes
0260: 74 20 30 0a 0a 64 6f 5f 66 61 75 6c 74 73 69 6d  t 0..do_faultsim
0270: 5f 74 65 73 74 20 31 20 2d 66 61 75 6c 74 73 20  _test 1 -faults 
0280: 6f 6f 6d 2a 20 2d 70 72 65 70 20 7b 0a 20 20 73  oom* -prep {.  s
0290: 71 6c 69 74 65 33 20 64 62 20 22 22 0a 20 20 64  qlite3 db "".  d
02a0: 62 20 65 76 61 6c 20 7b 0a 20 20 20 20 50 52 41  b eval {.    PRA
02b0: 47 4d 41 20 70 61 67 65 5f 73 69 7a 65 20 3d 20  GMA page_size = 
02c0: 31 30 32 34 3b 0a 20 20 20 20 43 52 45 41 54 45  1024;.    CREATE
02d0: 20 54 41 42 4c 45 20 74 31 28 61 2c 20 62 29 3b   TABLE t1(a, b);
02e0: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
02f0: 20 74 31 20 56 41 4c 55 45 53 28 31 2c 20 32 29   t1 VALUES(1, 2)
0300: 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  ;.    INSERT INT
0310: 4f 20 74 31 20 56 41 4c 55 45 53 28 33 2c 20 34  O t1 VALUES(3, 4
0320: 29 3b 0a 20 20 7d 0a 7d 20 2d 62 6f 64 79 20 7b  );.  }.} -body {
0330: 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 49 4e 53  .  execsql { INS
0340: 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55  ERT INTO t1 VALU
0350: 45 53 28 35 2c 20 36 29 20 7d 0a 7d 20 2d 74 65  ES(5, 6) }.} -te
0360: 73 74 20 7b 0a 20 20 66 61 75 6c 74 73 69 6d 5f  st {.  faultsim_
0370: 74 65 73 74 5f 72 65 73 75 6c 74 20 7b 30 20 7b  test_result {0 {
0380: 7d 7d 0a 20 20 73 65 74 20 72 63 20 5b 63 61 74  }}.  set rc [cat
0390: 63 68 20 7b 20 65 78 65 63 73 71 6c 20 7b 20 53  ch { execsql { S
03a0: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20  ELECT * FROM t1 
03b0: 7d 20 7d 20 6d 73 67 5d 0a 20 20 69 66 20 7b 24  } } msg].  if {$
03c0: 72 63 3d 3d 30 20 26 26 20 24 6d 73 67 20 21 3d  rc==0 && $msg !=
03d0: 20 22 31 20 32 20 33 20 34 20 35 20 36 22 20 26   "1 2 3 4 5 6" &
03e0: 26 20 24 6d 73 67 20 21 3d 20 22 31 20 32 20 33  & $msg != "1 2 3
03f0: 20 34 22 7d 20 7b 0a 20 20 20 20 65 72 72 6f 72   4"} {.    error
0400: 20 22 64 61 74 61 20 6d 69 73 6d 61 74 63 68 20   "data mismatch 
0410: 31 3a 20 24 6d 73 67 22 0a 20 20 7d 0a 20 20 69  1: $msg".  }.  i
0420: 66 20 7b 24 74 65 73 74 72 63 3d 3d 30 20 26 26  f {$testrc==0 &&
0430: 20 24 6d 73 67 20 21 3d 20 22 31 20 32 20 33 20   $msg != "1 2 3 
0440: 34 20 35 20 36 22 7d 20 7b 0a 20 20 20 20 65 72  4 5 6"} {.    er
0450: 72 6f 72 20 22 64 61 74 61 20 6d 69 73 6d 61 74  ror "data mismat
0460: 63 68 20 32 3a 20 24 6d 73 67 22 0a 20 20 7d 0a  ch 2: $msg".  }.
0470: 20 20 66 61 75 6c 74 73 69 6d 5f 69 6e 74 65 67    faultsim_integ
0480: 72 69 74 79 5f 63 68 65 63 6b 0a 7d 0a 0a 64 6f  rity_check.}..do
0490: 5f 66 61 75 6c 74 73 69 6d 5f 74 65 73 74 20 32  _faultsim_test 2
04a0: 20 2d 66 61 75 6c 74 73 20 6f 6f 6d 2a 20 2d 70   -faults oom* -p
04b0: 72 65 70 20 7b 0a 20 20 73 71 6c 69 74 65 33 20  rep {.  sqlite3 
04c0: 64 62 20 22 22 0a 20 20 64 62 20 65 76 61 6c 20  db "".  db eval 
04d0: 7b 0a 20 20 20 20 50 52 41 47 4d 41 20 70 61 67  {.    PRAGMA pag
04e0: 65 5f 73 69 7a 65 20 3d 20 31 30 32 34 3b 0a 20  e_size = 1024;. 
04f0: 20 20 20 50 52 41 47 4d 41 20 63 61 63 68 65 5f     PRAGMA cache_
0500: 73 69 7a 65 20 3d 20 31 30 3b 0a 20 20 20 20 43  size = 10;.    C
0510: 52 45 41 54 45 20 54 41 42 4c 45 20 74 31 28 61  REATE TABLE t1(a
0520: 2c 20 62 29 3b 0a 20 20 20 20 43 52 45 41 54 45  , b);.    CREATE
0530: 20 49 4e 44 45 58 20 69 31 20 4f 4e 20 74 31 28   INDEX i1 ON t1(
0540: 62 2c 20 61 29 3b 0a 20 20 20 20 57 49 54 48 20  b, a);.    WITH 
0550: 78 28 69 29 20 41 53 20 28 53 45 4c 45 43 54 20  x(i) AS (SELECT 
0560: 31 20 55 4e 49 4f 4e 20 41 4c 4c 20 53 45 4c 45  1 UNION ALL SELE
0570: 43 54 20 69 2b 31 20 46 52 4f 4d 20 78 20 57 48  CT i+1 FROM x WH
0580: 45 52 45 20 69 3c 35 30 29 0a 20 20 20 20 49 4e  ERE i<50).    IN
0590: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c  SERT INTO t1 SEL
05a0: 45 43 54 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 31  ECT randomblob(1
05b0: 30 30 29 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62 28  00), randomblob(
05c0: 31 30 30 29 20 46 52 4f 4d 20 78 3b 0a 20 20 7d  100) FROM x;.  }
05d0: 0a 7d 20 2d 62 6f 64 79 20 7b 0a 20 20 65 78 65  .} -body {.  exe
05e0: 63 73 71 6c 20 7b 20 55 50 44 41 54 45 20 74 31  csql { UPDATE t1
05f0: 20 53 45 54 20 61 20 3d 20 72 61 6e 64 6f 6d 62   SET a = randomb
0600: 6c 6f 62 28 39 39 29 20 7d 0a 7d 20 2d 74 65 73  lob(99) }.} -tes
0610: 74 20 7b 0a 20 20 66 61 75 6c 74 73 69 6d 5f 74  t {.  faultsim_t
0620: 65 73 74 5f 72 65 73 75 6c 74 20 7b 30 20 7b 7d  est_result {0 {}
0630: 7d 0a 20 20 66 61 75 6c 74 73 69 6d 5f 69 6e 74  }.  faultsim_int
0640: 65 67 72 69 74 79 5f 63 68 65 63 6b 20 64 62 0a  egrity_check db.
0650: 7d 0a 0a 64 6f 5f 66 61 75 6c 74 73 69 6d 5f 74  }..do_faultsim_t
0660: 65 73 74 20 33 20 2d 66 61 75 6c 74 73 20 6f 6f  est 3 -faults oo
0670: 6d 2a 20 2d 70 72 65 70 20 7b 0a 20 20 73 71 6c  m* -prep {.  sql
0680: 69 74 65 33 20 64 62 20 22 22 0a 20 20 64 62 20  ite3 db "".  db 
0690: 65 76 61 6c 20 7b 0a 20 20 20 20 50 52 41 47 4d  eval {.    PRAGM
06a0: 41 20 70 61 67 65 5f 73 69 7a 65 20 3d 20 31 30  A page_size = 10
06b0: 32 34 3b 0a 20 20 20 20 50 52 41 47 4d 41 20 63  24;.    PRAGMA c
06c0: 61 63 68 65 5f 73 69 7a 65 20 3d 20 31 30 3b 0a  ache_size = 10;.
06d0: 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45      CREATE TABLE
06e0: 20 74 31 28 61 2c 20 62 29 3b 0a 20 20 20 20 43   t1(a, b);.    C
06f0: 52 45 41 54 45 20 49 4e 44 45 58 20 69 31 20 4f  REATE INDEX i1 O
0700: 4e 20 74 31 28 62 2c 20 61 29 3b 0a 20 20 20 20  N t1(b, a);.    
0710: 57 49 54 48 20 78 28 69 29 20 41 53 20 28 53 45  WITH x(i) AS (SE
0720: 4c 45 43 54 20 31 20 55 4e 49 4f 4e 20 41 4c 4c  LECT 1 UNION ALL
0730: 20 53 45 4c 45 43 54 20 69 2b 31 20 46 52 4f 4d   SELECT i+1 FROM
0740: 20 78 20 57 48 45 52 45 20 69 3c 35 30 29 0a 20   x WHERE i<50). 
0750: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
0760: 31 20 53 45 4c 45 43 54 20 72 61 6e 64 6f 6d 62  1 SELECT randomb
0770: 6c 6f 62 28 31 30 30 29 2c 20 72 61 6e 64 6f 6d  lob(100), random
0780: 62 6c 6f 62 28 31 30 30 29 20 46 52 4f 4d 20 78  blob(100) FROM x
0790: 3b 0a 20 20 7d 0a 7d 20 2d 62 6f 64 79 20 7b 0a  ;.  }.} -body {.
07a0: 20 20 65 78 65 63 73 71 6c 20 7b 20 0a 20 20 20    execsql { .   
07b0: 20 42 45 47 49 4e 3b 0a 20 20 20 20 20 20 55 50   BEGIN;.      UP
07c0: 44 41 54 45 20 74 31 20 53 45 54 20 61 20 3d 20  DATE t1 SET a = 
07d0: 72 61 6e 64 6f 6d 62 6c 6f 62 28 39 39 29 3b 0a  randomblob(99);.
07e0: 20 20 20 20 20 20 53 41 56 45 50 4f 49 4e 54 20        SAVEPOINT 
07f0: 61 62 63 3b 0a 20 20 20 20 20 20 20 20 55 50 44  abc;.        UPD
0800: 41 54 45 20 74 31 20 53 45 54 20 61 20 3d 20 72  ATE t1 SET a = r
0810: 61 6e 64 6f 6d 62 6c 6f 62 28 39 38 29 20 57 48  andomblob(98) WH
0820: 45 52 45 20 28 72 6f 77 69 64 25 31 30 29 3d 3d  ERE (rowid%10)==
0830: 30 3b 0a 20 20 20 20 20 20 52 4f 4c 4c 42 41 43  0;.      ROLLBAC
0840: 4b 20 54 4f 20 61 62 63 3b 0a 20 20 20 20 20 20  K TO abc;.      
0850: 20 20 55 50 44 41 54 45 20 74 31 20 53 45 54 20    UPDATE t1 SET 
0860: 61 20 3d 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 39  a = randomblob(9
0870: 37 29 20 57 48 45 52 45 20 28 72 6f 77 69 64 25  7) WHERE (rowid%
0880: 35 29 3d 3d 30 3b 0a 20 20 20 20 20 20 52 4f 4c  5)==0;.      ROL
0890: 4c 42 41 43 4b 20 54 4f 20 61 62 63 3b 0a 20 20  LBACK TO abc;.  
08a0: 20 20 43 4f 4d 4d 49 54 3b 0a 20 20 7d 0a 7d 20    COMMIT;.  }.} 
08b0: 2d 74 65 73 74 20 7b 0a 20 20 66 61 75 6c 74 73  -test {.  faults
08c0: 69 6d 5f 74 65 73 74 5f 72 65 73 75 6c 74 20 7b  im_test_result {
08d0: 30 20 7b 7d 7d 0a 20 20 66 61 75 6c 74 73 69 6d  0 {}}.  faultsim
08e0: 5f 69 6e 74 65 67 72 69 74 79 5f 63 68 65 63 6b  _integrity_check
08f0: 20 64 62 0a 7d 0a 0a 64 6f 5f 66 61 75 6c 74 73   db.}..do_faults
0900: 69 6d 5f 74 65 73 74 20 34 20 2d 66 61 75 6c 74  im_test 4 -fault
0910: 73 20 2a 20 2d 70 72 65 70 20 7b 0a 20 20 73 71  s * -prep {.  sq
0920: 6c 69 74 65 33 20 64 62 20 22 22 0a 20 20 64 62  lite3 db "".  db
0930: 20 65 76 61 6c 20 7b 0a 20 20 20 20 50 52 41 47   eval {.    PRAG
0940: 4d 41 20 70 61 67 65 5f 73 69 7a 65 20 3d 20 31  MA page_size = 1
0950: 30 32 34 3b 0a 20 20 20 20 50 52 41 47 4d 41 20  024;.    PRAGMA 
0960: 63 61 63 68 65 5f 73 69 7a 65 20 3d 20 31 30 3b  cache_size = 10;
0970: 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c  .    CREATE TABL
0980: 45 20 74 31 28 61 2c 20 62 29 3b 0a 20 20 20 20  E t1(a, b);.    
0990: 43 52 45 41 54 45 20 49 4e 44 45 58 20 69 31 20  CREATE INDEX i1 
09a0: 4f 4e 20 74 31 28 62 2c 20 61 29 3b 0a 20 20 20  ON t1(b, a);.   
09b0: 20 57 49 54 48 20 78 28 69 29 20 41 53 20 28 53   WITH x(i) AS (S
09c0: 45 4c 45 43 54 20 31 20 55 4e 49 4f 4e 20 41 4c  ELECT 1 UNION AL
09d0: 4c 20 53 45 4c 45 43 54 20 69 2b 31 20 46 52 4f  L SELECT i+1 FRO
09e0: 4d 20 78 20 57 48 45 52 45 20 69 3c 35 30 29 0a  M x WHERE i<50).
09f0: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
0a00: 74 31 20 53 45 4c 45 43 54 20 72 61 6e 64 6f 6d  t1 SELECT random
0a10: 62 6c 6f 62 28 31 30 30 29 2c 20 72 61 6e 64 6f  blob(100), rando
0a20: 6d 62 6c 6f 62 28 31 30 30 29 20 46 52 4f 4d 20  mblob(100) FROM 
0a30: 78 3b 0a 20 20 7d 0a 7d 20 2d 62 6f 64 79 20 7b  x;.  }.} -body {
0a40: 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 0a 20 20  .  execsql { .  
0a50: 20 20 42 45 47 49 4e 3b 0a 20 20 20 20 20 20 55    BEGIN;.      U
0a60: 50 44 41 54 45 20 74 31 20 53 45 54 20 61 20 3d  PDATE t1 SET a =
0a70: 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 39 39 29 3b   randomblob(99);
0a80: 0a 20 20 20 20 20 20 53 41 56 45 50 4f 49 4e 54  .      SAVEPOINT
0a90: 20 61 62 63 3b 0a 20 20 20 20 20 20 20 20 55 50   abc;.        UP
0aa0: 44 41 54 45 20 74 31 20 53 45 54 20 61 20 3d 20  DATE t1 SET a = 
0ab0: 72 61 6e 64 6f 6d 62 6c 6f 62 28 39 38 29 20 57  randomblob(98) W
0ac0: 48 45 52 45 20 28 72 6f 77 69 64 25 31 30 29 3d  HERE (rowid%10)=
0ad0: 3d 30 3b 0a 20 20 20 20 20 20 52 4f 4c 4c 42 41  =0;.      ROLLBA
0ae0: 43 4b 20 54 4f 20 61 62 63 3b 0a 20 20 20 20 20  CK TO abc;.     
0af0: 20 20 20 55 50 44 41 54 45 20 74 31 20 53 45 54     UPDATE t1 SET
0b00: 20 61 20 3d 20 72 61 6e 64 6f 6d 62 6c 6f 62 28   a = randomblob(
0b10: 39 37 29 20 57 48 45 52 45 20 28 72 6f 77 69 64  97) WHERE (rowid
0b20: 25 35 29 3d 3d 30 3b 0a 20 20 20 20 20 20 52 4f  %5)==0;.      RO
0b30: 4c 4c 42 41 43 4b 20 54 4f 20 61 62 63 3b 0a 20  LLBACK TO abc;. 
0b40: 20 20 20 43 4f 4d 4d 49 54 3b 0a 20 20 7d 0a 7d     COMMIT;.  }.}
0b50: 20 2d 74 65 73 74 20 7b 0a 20 20 66 61 75 6c 74   -test {.  fault
0b60: 73 69 6d 5f 74 65 73 74 5f 72 65 73 75 6c 74 20  sim_test_result 
0b70: 7b 30 20 7b 7d 7d 0a 7d 0a 0a 73 71 6c 69 74 65  {0 {}}.}..sqlite
0b80: 33 5f 6d 65 6d 64 65 62 75 67 5f 76 66 73 5f 6f  3_memdebug_vfs_o
0b90: 6f 6d 5f 74 65 73 74 20 31 0a 66 69 6e 69 73 68  om_test 1.finish
0ba0: 5f 74 65 73 74 0a                                _test.