/ Hex Artifact Content
Login

Artifact 6d5bf244d171e808e3b642ab830f5cd159af8f7b:


0000: 23 20 32 30 31 30 20 4a 75 6e 65 20 31 35 0a 23  # 2010 June 15.#
0010: 0a 23 20 54 68 65 20 61 75 74 68 6f 72 20 64 69  .# The author di
0020: 73 63 6c 61 69 6d 73 20 63 6f 70 79 72 69 67 68  sclaims copyrigh
0030: 74 20 74 6f 20 74 68 69 73 20 73 6f 75 72 63 65  t to this source
0040: 20 63 6f 64 65 2e 20 20 49 6e 20 70 6c 61 63 65   code.  In place
0050: 20 6f 66 0a 23 20 61 20 6c 65 67 61 6c 20 6e 6f   of.# a legal no
0060: 74 69 63 65 2c 20 68 65 72 65 20 69 73 20 61 20  tice, here is a 
0070: 62 6c 65 73 73 69 6e 67 3a 0a 23 0a 23 20 20 20  blessing:.#.#   
0080: 20 4d 61 79 20 79 6f 75 20 64 6f 20 67 6f 6f 64   May you do good
0090: 20 61 6e 64 20 6e 6f 74 20 65 76 69 6c 2e 0a 23   and not evil..#
00a0: 20 20 20 20 4d 61 79 20 79 6f 75 20 66 69 6e 64      May you find
00b0: 20 66 6f 72 67 69 76 65 6e 65 73 73 20 66 6f 72   forgiveness for
00c0: 20 79 6f 75 72 73 65 6c 66 20 61 6e 64 20 66 6f   yourself and fo
00d0: 72 67 69 76 65 20 6f 74 68 65 72 73 2e 0a 23 20  rgive others..# 
00e0: 20 20 20 4d 61 79 20 79 6f 75 20 73 68 61 72 65     May you share
00f0: 20 66 72 65 65 6c 79 2c 20 6e 65 76 65 72 20 74   freely, never t
0100: 61 6b 69 6e 67 20 6d 6f 72 65 20 74 68 61 6e 20  aking more than 
0110: 79 6f 75 20 67 69 76 65 2e 0a 23 0a 23 2a 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 0a 23 0a 0a 73 65 74 20 74 65 73 74  ****.#..set test
0170: 64 69 72 20 5b 66 69 6c 65 20 64 69 72 6e 61 6d  dir [file dirnam
0180: 65 20 24 61 72 67 76 30 5d 0a 73 6f 75 72 63 65  e $argv0].source
0190: 20 24 74 65 73 74 64 69 72 2f 74 65 73 74 65 72   $testdir/tester
01a0: 2e 74 63 6c 0a 73 6f 75 72 63 65 20 24 74 65 73  .tcl.source $tes
01b0: 74 64 69 72 2f 6c 6f 63 6b 5f 63 6f 6d 6d 6f 6e  tdir/lock_common
01c0: 2e 74 63 6c 0a 73 6f 75 72 63 65 20 24 74 65 73  .tcl.source $tes
01d0: 74 64 69 72 2f 6d 61 6c 6c 6f 63 5f 63 6f 6d 6d  tdir/malloc_comm
01e0: 6f 6e 2e 74 63 6c 0a 0a 73 65 74 20 61 5f 73 74  on.tcl..set a_st
01f0: 72 69 6e 67 5f 63 6f 75 6e 74 65 72 20 31 0a 70  ring_counter 1.p
0200: 72 6f 63 20 61 5f 73 74 72 69 6e 67 20 7b 6e 7d  roc a_string {n}
0210: 20 7b 0a 20 20 67 6c 6f 62 61 6c 20 61 5f 73 74   {.  global a_st
0220: 72 69 6e 67 5f 63 6f 75 6e 74 65 72 0a 20 20 69  ring_counter.  i
0230: 6e 63 72 20 61 5f 73 74 72 69 6e 67 5f 63 6f 75  ncr a_string_cou
0240: 6e 74 65 72 0a 20 20 73 74 72 69 6e 67 20 72 61  nter.  string ra
0250: 6e 67 65 20 5b 73 74 72 69 6e 67 20 72 65 70 65  nge [string repe
0260: 61 74 20 22 24 7b 61 5f 73 74 72 69 6e 67 5f 63  at "${a_string_c
0270: 6f 75 6e 74 65 72 7d 2e 22 20 24 6e 5d 20 31 20  ounter}." $n] 1 
0280: 24 6e 0a 7d 0a 64 62 20 66 75 6e 63 20 61 5f 73  $n.}.db func a_s
0290: 74 72 69 6e 67 20 61 5f 73 74 72 69 6e 67 0a 0a  tring a_string..
02a0: 69 66 20 31 20 7b 0a 0a 23 2d 2d 2d 2d 2d 2d 2d  if 1 {..#-------
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: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
02f0: 2d 2d 0a 23 20 54 65 73 74 20 66 61 75 6c 74 2d  --.# Test fault-
0300: 69 6e 6a 65 63 74 69 6f 6e 20 77 68 69 6c 65 20  injection while 
0310: 72 6f 6c 6c 69 6e 67 20 62 61 63 6b 20 61 20 68  rolling back a h
0320: 6f 74 2d 6a 6f 75 72 6e 61 6c 20 66 69 6c 65 2e  ot-journal file.
0330: 0a 23 0a 64 6f 5f 74 65 73 74 20 70 61 67 65 72  .#.do_test pager
0340: 66 61 75 6c 74 2d 31 2d 70 72 65 31 20 7b 0a 20  fault-1-pre1 {. 
0350: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 50   execsql {.    P
0360: 52 41 47 4d 41 20 6a 6f 75 72 6e 61 6c 5f 6d 6f  RAGMA journal_mo
0370: 64 65 20 3d 20 44 45 4c 45 54 45 3b 0a 20 20 20  de = DELETE;.   
0380: 20 50 52 41 47 4d 41 20 63 61 63 68 65 5f 73 69   PRAGMA cache_si
0390: 7a 65 20 3d 20 31 30 3b 0a 20 20 20 20 43 52 45  ze = 10;.    CRE
03a0: 41 54 45 20 54 41 42 4c 45 20 74 31 28 61 20 55  ATE TABLE t1(a U
03b0: 4e 49 51 55 45 2c 20 62 20 55 4e 49 51 55 45 29  NIQUE, b UNIQUE)
03c0: 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  ;.    INSERT INT
03d0: 4f 20 74 31 20 56 41 4c 55 45 53 28 61 5f 73 74  O t1 VALUES(a_st
03e0: 72 69 6e 67 28 32 30 30 29 2c 20 61 5f 73 74 72  ring(200), a_str
03f0: 69 6e 67 28 33 30 30 29 29 3b 0a 20 20 20 20 49  ing(300));.    I
0400: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45  NSERT INTO t1 SE
0410: 4c 45 43 54 20 61 5f 73 74 72 69 6e 67 28 32 30  LECT a_string(20
0420: 30 29 2c 20 61 5f 73 74 72 69 6e 67 28 33 30 30  0), a_string(300
0430: 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 49  ) FROM t1;.    I
0440: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45  NSERT INTO t1 SE
0450: 4c 45 43 54 20 61 5f 73 74 72 69 6e 67 28 32 30  LECT a_string(20
0460: 30 29 2c 20 61 5f 73 74 72 69 6e 67 28 33 30 30  0), a_string(300
0470: 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 42  ) FROM t1;.    B
0480: 45 47 49 4e 3b 0a 20 20 20 20 20 20 49 4e 53 45  EGIN;.      INSE
0490: 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 43  RT INTO t1 SELEC
04a0: 54 20 61 5f 73 74 72 69 6e 67 28 32 30 31 29 2c  T a_string(201),
04b0: 20 61 5f 73 74 72 69 6e 67 28 33 30 31 29 20 46   a_string(301) F
04c0: 52 4f 4d 20 74 31 3b 0a 20 20 20 20 20 20 49 4e  ROM t1;.      IN
04d0: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c  SERT INTO t1 SEL
04e0: 45 43 54 20 61 5f 73 74 72 69 6e 67 28 32 30 32  ECT a_string(202
04f0: 29 2c 20 61 5f 73 74 72 69 6e 67 28 33 30 32 29  ), a_string(302)
0500: 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 20 20   FROM t1;.      
0510: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53  INSERT INTO t1 S
0520: 45 4c 45 43 54 20 61 5f 73 74 72 69 6e 67 28 32  ELECT a_string(2
0530: 30 33 29 2c 20 61 5f 73 74 72 69 6e 67 28 33 30  03), a_string(30
0540: 33 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20  3) FROM t1;.    
0550: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31    INSERT INTO t1
0560: 20 53 45 4c 45 43 54 20 61 5f 73 74 72 69 6e 67   SELECT a_string
0570: 28 32 30 34 29 2c 20 61 5f 73 74 72 69 6e 67 28  (204), a_string(
0580: 33 30 34 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20  304) FROM t1;.  
0590: 7d 0a 20 20 66 61 75 6c 74 73 69 6d 5f 73 61 76  }.  faultsim_sav
05a0: 65 5f 61 6e 64 5f 63 6c 6f 73 65 0a 7d 20 7b 7d  e_and_close.} {}
05b0: 0a 64 6f 5f 66 61 75 6c 74 73 69 6d 5f 74 65 73  .do_faultsim_tes
05c0: 74 20 70 61 67 65 72 66 61 75 6c 74 2d 31 20 2d  t pagerfault-1 -
05d0: 70 72 65 70 20 7b 0a 20 20 66 61 75 6c 74 73 69  prep {.  faultsi
05e0: 6d 5f 72 65 73 74 6f 72 65 5f 61 6e 64 5f 72 65  m_restore_and_re
05f0: 6f 70 65 6e 0a 7d 20 2d 62 6f 64 79 20 7b 0a 20  open.} -body {. 
0600: 20 65 78 65 63 73 71 6c 20 7b 20 53 45 4c 45 43   execsql { SELEC
0610: 54 20 63 6f 75 6e 74 28 2a 29 20 46 52 4f 4d 20  T count(*) FROM 
0620: 74 31 20 7d 0a 7d 20 2d 74 65 73 74 20 7b 0a 20  t1 }.} -test {. 
0630: 20 66 61 75 6c 74 73 69 6d 5f 74 65 73 74 5f 72   faultsim_test_r
0640: 65 73 75 6c 74 20 7b 30 20 34 7d 0a 20 20 66 61  esult {0 4}.  fa
0650: 75 6c 74 73 69 6d 5f 69 6e 74 65 67 72 69 74 79  ultsim_integrity
0660: 5f 63 68 65 63 6b 0a 20 20 69 66 20 7b 5b 64 62  _check.  if {[db
0670: 20 6f 6e 65 20 7b 20 53 45 4c 45 43 54 20 63 6f   one { SELECT co
0680: 75 6e 74 28 2a 29 20 46 52 4f 4d 20 74 31 20 7d  unt(*) FROM t1 }
0690: 5d 20 21 3d 20 34 7d 20 7b 0a 20 20 20 20 65 72  ] != 4} {.    er
06a0: 72 6f 72 20 22 44 61 74 61 62 61 73 65 20 63 6f  ror "Database co
06b0: 6e 74 65 6e 74 20 61 70 70 65 61 72 73 20 69 6e  ntent appears in
06c0: 63 6f 72 72 65 63 74 22 0a 20 20 7d 0a 7d 0a 0a  correct".  }.}..
06d0: 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  #---------------
06e0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
06f0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0700: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0710: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 54 65 73  ----------.# Tes
0720: 74 20 66 61 75 6c 74 2d 69 6e 6a 65 63 74 69 6f  t fault-injectio
0730: 6e 20 77 68 69 6c 65 20 72 6f 6c 6c 69 6e 67 20  n while rolling 
0740: 62 61 63 6b 20 61 20 68 6f 74 2d 6a 6f 75 72 6e  back a hot-journ
0750: 61 6c 20 66 69 6c 65 20 77 69 74 68 20 61 20 0a  al file with a .
0760: 23 20 70 61 67 65 2d 73 69 7a 65 20 64 69 66 66  # page-size diff
0770: 65 72 65 6e 74 20 66 72 6f 6d 20 74 68 65 20 63  erent from the c
0780: 75 72 72 65 6e 74 20 76 61 6c 75 65 20 73 74 6f  urrent value sto
0790: 72 65 64 20 6f 6e 20 70 61 67 65 20 31 20 6f 66  red on page 1 of
07a0: 20 74 68 65 0a 23 20 64 61 74 61 62 61 73 65 20   the.# database 
07b0: 66 69 6c 65 2e 0a 23 0a 64 6f 5f 74 65 73 74 20  file..#.do_test 
07c0: 70 61 67 65 72 66 61 75 6c 74 2d 32 2d 70 72 65  pagerfault-2-pre
07d0: 31 20 7b 0a 20 20 74 65 73 74 76 66 73 20 74 76  1 {.  testvfs tv
07e0: 20 2d 64 65 66 61 75 6c 74 20 31 0a 20 20 74 76   -default 1.  tv
07f0: 20 66 69 6c 74 65 72 20 78 53 79 6e 63 0a 20 20   filter xSync.  
0800: 74 76 20 73 63 72 69 70 74 20 78 53 79 6e 63 43  tv script xSyncC
0810: 62 0a 20 20 70 72 6f 63 20 78 53 79 6e 63 43 62  b.  proc xSyncCb
0820: 20 7b 66 69 6c 65 6e 61 6d 65 20 61 72 67 73 7d   {filename args}
0830: 20 7b 0a 20 20 20 20 69 66 20 7b 5b 73 74 72 69   {.    if {[stri
0840: 6e 67 20 6d 61 74 63 68 20 2a 6a 6f 75 72 6e 61  ng match *journa
0850: 6c 20 66 69 6c 65 6e 61 6d 65 5d 3d 3d 30 7d 20  l filename]==0} 
0860: 66 61 75 6c 74 73 69 6d 5f 73 61 76 65 0a 20 20  faultsim_save.  
0870: 7d 0a 20 20 66 61 75 6c 74 73 69 6d 5f 64 65 6c  }.  faultsim_del
0880: 65 74 65 5f 61 6e 64 5f 72 65 6f 70 65 6e 0a 20  ete_and_reopen. 
0890: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 50   execsql {.    P
08a0: 52 41 47 4d 41 20 70 61 67 65 5f 73 69 7a 65 20  RAGMA page_size 
08b0: 3d 20 34 30 39 36 3b 0a 20 20 20 20 42 45 47 49  = 4096;.    BEGI
08c0: 4e 3b 0a 20 20 20 20 20 20 43 52 45 41 54 45 20  N;.      CREATE 
08d0: 54 41 42 4c 45 20 61 62 63 28 61 2c 20 62 2c 20  TABLE abc(a, b, 
08e0: 63 29 3b 0a 20 20 20 20 20 20 49 4e 53 45 52 54  c);.      INSERT
08f0: 20 49 4e 54 4f 20 61 62 63 20 56 41 4c 55 45 53   INTO abc VALUES
0900: 28 27 6f 27 2c 20 27 74 27 2c 20 27 74 27 29 3b  ('o', 't', 't');
0910: 20 0a 20 20 20 20 20 20 49 4e 53 45 52 54 20 49   .      INSERT I
0920: 4e 54 4f 20 61 62 63 20 56 41 4c 55 45 53 28 27  NTO abc VALUES('
0930: 66 27 2c 20 27 66 27 2c 20 27 73 27 29 3b 20 0a  f', 'f', 's'); .
0940: 20 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54        INSERT INT
0950: 4f 20 61 62 63 20 53 45 4c 45 43 54 20 2a 20 46  O abc SELECT * F
0960: 52 4f 4d 20 61 62 63 3b 20 2d 2d 20 34 0a 20 20  ROM abc; -- 4.  
0970: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
0980: 61 62 63 20 53 45 4c 45 43 54 20 2a 20 46 52 4f  abc SELECT * FRO
0990: 4d 20 61 62 63 3b 20 2d 2d 20 38 0a 20 20 20 20  M abc; -- 8.    
09a0: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 61 62    INSERT INTO ab
09b0: 63 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20  c SELECT * FROM 
09c0: 61 62 63 3b 20 2d 2d 20 31 36 0a 20 20 20 20 20  abc; -- 16.     
09d0: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 61 62 63   INSERT INTO abc
09e0: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 61   SELECT * FROM a
09f0: 62 63 3b 20 2d 2d 20 33 32 0a 20 20 20 20 20 20  bc; -- 32.      
0a00: 49 4e 53 45 52 54 20 49 4e 54 4f 20 61 62 63 20  INSERT INTO abc 
0a10: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 61 62  SELECT * FROM ab
0a20: 63 3b 20 2d 2d 20 36 34 0a 20 20 20 20 20 20 49  c; -- 64.      I
0a30: 4e 53 45 52 54 20 49 4e 54 4f 20 61 62 63 20 53  NSERT INTO abc S
0a40: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 61 62 63  ELECT * FROM abc
0a50: 3b 20 2d 2d 20 31 32 38 0a 20 20 20 20 20 20 49  ; -- 128.      I
0a60: 4e 53 45 52 54 20 49 4e 54 4f 20 61 62 63 20 53  NSERT INTO abc S
0a70: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 61 62 63  ELECT * FROM abc
0a80: 3b 20 2d 2d 20 32 35 36 0a 20 20 20 20 43 4f 4d  ; -- 256.    COM
0a90: 4d 49 54 3b 0a 20 20 20 20 50 52 41 47 4d 41 20  MIT;.    PRAGMA 
0aa0: 70 61 67 65 5f 73 69 7a 65 20 3d 20 31 30 32 34  page_size = 1024
0ab0: 3b 0a 20 20 20 20 56 41 43 55 55 4d 3b 0a 20 20  ;.    VACUUM;.  
0ac0: 7d 0a 20 20 64 62 20 63 6c 6f 73 65 0a 20 20 74  }.  db close.  t
0ad0: 76 20 64 65 6c 65 74 65 0a 7d 20 7b 7d 0a 64 6f  v delete.} {}.do
0ae0: 5f 66 61 75 6c 74 73 69 6d 5f 74 65 73 74 20 70  _faultsim_test p
0af0: 61 67 65 72 66 61 75 6c 74 2d 32 20 2d 70 72 65  agerfault-2 -pre
0b00: 70 20 7b 0a 20 20 66 61 75 6c 74 73 69 6d 5f 72  p {.  faultsim_r
0b10: 65 73 74 6f 72 65 5f 61 6e 64 5f 72 65 6f 70 65  estore_and_reope
0b20: 6e 0a 7d 20 2d 62 6f 64 79 20 7b 0a 20 20 65 78  n.} -body {.  ex
0b30: 65 63 73 71 6c 20 7b 20 53 45 4c 45 43 54 20 2a  ecsql { SELECT *
0b40: 20 46 52 4f 4d 20 61 62 63 20 7d 0a 7d 20 2d 74   FROM abc }.} -t
0b50: 65 73 74 20 7b 0a 20 20 73 65 74 20 61 6e 73 77  est {.  set answ
0b60: 65 72 20 5b 73 70 6c 69 74 20 5b 73 74 72 69 6e  er [split [strin
0b70: 67 20 72 65 70 65 61 74 20 22 6f 74 74 66 66 73  g repeat "ottffs
0b80: 22 20 31 32 38 5d 20 22 22 5d 0a 20 20 66 61 75  " 128] ""].  fau
0b90: 6c 74 73 69 6d 5f 74 65 73 74 5f 72 65 73 75 6c  ltsim_test_resul
0ba0: 74 20 5b 6c 69 73 74 20 30 20 24 61 6e 73 77 65  t [list 0 $answe
0bb0: 72 5d 0a 20 20 66 61 75 6c 74 73 69 6d 5f 69 6e  r].  faultsim_in
0bc0: 74 65 67 72 69 74 79 5f 63 68 65 63 6b 0a 20 20  tegrity_check.  
0bd0: 73 65 74 20 72 65 73 20 5b 64 62 20 65 76 61 6c  set res [db eval
0be0: 20 7b 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d   { SELECT * FROM
0bf0: 20 61 62 63 20 7d 5d 0a 20 20 69 66 20 7b 24 72   abc }].  if {$r
0c00: 65 73 20 21 3d 20 24 61 6e 73 77 65 72 7d 20 7b  es != $answer} {
0c10: 20 65 72 72 6f 72 20 22 44 61 74 61 62 61 73 65   error "Database
0c20: 20 63 6f 6e 74 65 6e 74 20 61 70 70 65 61 72 73   content appears
0c30: 20 69 6e 63 6f 72 72 65 63 74 20 28 24 72 65 73   incorrect ($res
0c40: 29 22 20 7d 0a 7d 20 0a 0a 23 2d 2d 2d 2d 2d 2d  )" }.} ..#------
0c50: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0c60: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0c70: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0c80: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0c90: 2d 2d 2d 0a 23 20 54 65 73 74 20 66 61 75 6c 74  ---.# Test fault
0ca0: 2d 69 6e 6a 65 63 74 69 6f 6e 20 77 68 69 6c 65  -injection while
0cb0: 20 72 6f 6c 6c 69 6e 67 20 62 61 63 6b 20 68 6f   rolling back ho
0cc0: 74 2d 6a 6f 75 72 6e 61 6c 73 20 74 68 61 74 20  t-journals that 
0cd0: 77 65 72 65 20 63 72 65 61 74 65 64 0a 23 20 61  were created.# a
0ce0: 73 20 70 61 72 74 20 6f 66 20 61 20 6d 75 6c 74  s part of a mult
0cf0: 69 2d 66 69 6c 65 20 74 72 61 6e 73 61 63 74 69  i-file transacti
0d00: 6f 6e 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 70 61  on..#.do_test pa
0d10: 67 65 72 66 61 75 6c 74 2d 33 2d 70 72 65 31 20  gerfault-3-pre1 
0d20: 7b 0a 20 20 74 65 73 74 76 66 73 20 74 73 74 76  {.  testvfs tstv
0d30: 66 73 20 2d 64 65 66 61 75 6c 74 20 31 0a 20 20  fs -default 1.  
0d40: 74 73 74 76 66 73 20 66 69 6c 74 65 72 20 78 44  tstvfs filter xD
0d50: 65 6c 65 74 65 0a 20 20 74 73 74 76 66 73 20 73  elete.  tstvfs s
0d60: 63 72 69 70 74 20 78 44 65 6c 65 74 65 43 61 6c  cript xDeleteCal
0d70: 6c 62 61 63 6b 0a 0a 20 20 70 72 6f 63 20 78 44  lback..  proc xD
0d80: 65 6c 65 74 65 43 61 6c 6c 62 61 63 6b 20 7b 6d  eleteCallback {m
0d90: 65 74 68 6f 64 20 66 69 6c 65 20 61 72 67 73 7d  ethod file args}
0da0: 20 7b 0a 20 20 20 20 73 65 74 20 66 69 6c 65 20   {.    set file 
0db0: 5b 66 69 6c 65 20 74 61 69 6c 20 24 66 69 6c 65  [file tail $file
0dc0: 5d 0a 20 20 20 20 69 66 20 7b 20 5b 73 74 72 69  ].    if { [stri
0dd0: 6e 67 20 6d 61 74 63 68 20 2a 6d 6a 2a 20 24 66  ng match *mj* $f
0de0: 69 6c 65 5d 20 7d 20 7b 20 66 61 75 6c 74 73 69  ile] } { faultsi
0df0: 6d 5f 73 61 76 65 20 7d 0a 20 20 7d 0a 0a 20 20  m_save }.  }..  
0e00: 66 61 75 6c 74 73 69 6d 5f 64 65 6c 65 74 65 5f  faultsim_delete_
0e10: 61 6e 64 5f 72 65 6f 70 65 6e 0a 20 20 64 62 20  and_reopen.  db 
0e20: 66 75 6e 63 20 61 5f 73 74 72 69 6e 67 20 61 5f  func a_string a_
0e30: 73 74 72 69 6e 67 0a 0a 20 20 65 78 65 63 73 71  string..  execsq
0e40: 6c 20 7b 0a 20 20 20 20 41 54 54 41 43 48 20 27  l {.    ATTACH '
0e50: 74 65 73 74 2e 64 62 32 27 20 41 53 20 61 75 78  test.db2' AS aux
0e60: 3b 0a 20 20 20 20 50 52 41 47 4d 41 20 6a 6f 75  ;.    PRAGMA jou
0e70: 72 6e 61 6c 5f 6d 6f 64 65 20 3d 20 44 45 4c 45  rnal_mode = DELE
0e80: 54 45 3b 0a 20 20 20 20 50 52 41 47 4d 41 20 6d  TE;.    PRAGMA m
0e90: 61 69 6e 2e 63 61 63 68 65 5f 73 69 7a 65 20 3d  ain.cache_size =
0ea0: 20 31 30 3b 0a 20 20 20 20 50 52 41 47 4d 41 20   10;.    PRAGMA 
0eb0: 61 75 78 2e 63 61 63 68 65 5f 73 69 7a 65 20 3d  aux.cache_size =
0ec0: 20 31 30 3b 0a 0a 20 20 20 20 43 52 45 41 54 45   10;..    CREATE
0ed0: 20 54 41 42 4c 45 20 74 31 28 61 20 55 4e 49 51   TABLE t1(a UNIQ
0ee0: 55 45 2c 20 62 20 55 4e 49 51 55 45 29 3b 0a 20  UE, b UNIQUE);. 
0ef0: 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20     CREATE TABLE 
0f00: 61 75 78 2e 74 32 28 61 20 55 4e 49 51 55 45 2c  aux.t2(a UNIQUE,
0f10: 20 62 20 55 4e 49 51 55 45 29 3b 0a 20 20 20 20   b UNIQUE);.    
0f20: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56  INSERT INTO t1 V
0f30: 41 4c 55 45 53 28 61 5f 73 74 72 69 6e 67 28 32  ALUES(a_string(2
0f40: 30 30 29 2c 20 61 5f 73 74 72 69 6e 67 28 33 30  00), a_string(30
0f50: 30 29 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20  0));.    INSERT 
0f60: 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20 61  INTO t1 SELECT a
0f70: 5f 73 74 72 69 6e 67 28 32 30 30 29 2c 20 61 5f  _string(200), a_
0f80: 73 74 72 69 6e 67 28 33 30 30 29 20 46 52 4f 4d  string(300) FROM
0f90: 20 74 31 3b 0a 20 20 20 20 49 4e 53 45 52 54 20   t1;.    INSERT 
0fa0: 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20 61  INTO t1 SELECT a
0fb0: 5f 73 74 72 69 6e 67 28 32 30 30 29 2c 20 61 5f  _string(200), a_
0fc0: 73 74 72 69 6e 67 28 33 30 30 29 20 46 52 4f 4d  string(300) FROM
0fd0: 20 74 31 3b 0a 20 20 20 20 49 4e 53 45 52 54 20   t1;.    INSERT 
0fe0: 49 4e 54 4f 20 74 32 20 53 45 4c 45 43 54 20 2a  INTO t2 SELECT *
0ff0: 20 46 52 4f 4d 20 74 31 3b 0a 0a 20 20 20 20 42   FROM t1;..    B
1000: 45 47 49 4e 3b 0a 20 20 20 20 20 20 49 4e 53 45  EGIN;.      INSE
1010: 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 43  RT INTO t1 SELEC
1020: 54 20 61 5f 73 74 72 69 6e 67 28 32 30 31 29 2c  T a_string(201),
1030: 20 61 5f 73 74 72 69 6e 67 28 33 30 31 29 20 46   a_string(301) F
1040: 52 4f 4d 20 74 31 3b 0a 20 20 20 20 20 20 49 4e  ROM t1;.      IN
1050: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c  SERT INTO t1 SEL
1060: 45 43 54 20 61 5f 73 74 72 69 6e 67 28 32 30 32  ECT a_string(202
1070: 29 2c 20 61 5f 73 74 72 69 6e 67 28 33 30 32 29  ), a_string(302)
1080: 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 20 20   FROM t1;.      
1090: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53  INSERT INTO t1 S
10a0: 45 4c 45 43 54 20 61 5f 73 74 72 69 6e 67 28 32  ELECT a_string(2
10b0: 30 33 29 2c 20 61 5f 73 74 72 69 6e 67 28 33 30  03), a_string(30
10c0: 33 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20  3) FROM t1;.    
10d0: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31    INSERT INTO t1
10e0: 20 53 45 4c 45 43 54 20 61 5f 73 74 72 69 6e 67   SELECT a_string
10f0: 28 32 30 34 29 2c 20 61 5f 73 74 72 69 6e 67 28  (204), a_string(
1100: 33 30 34 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20  304) FROM t1;.  
1110: 20 20 20 20 52 45 50 4c 41 43 45 20 49 4e 54 4f      REPLACE INTO
1120: 20 74 32 20 53 45 4c 45 43 54 20 2a 20 46 52 4f   t2 SELECT * FRO
1130: 4d 20 74 31 3b 0a 20 20 20 20 43 4f 4d 4d 49 54  M t1;.    COMMIT
1140: 3b 0a 20 20 7d 0a 0a 20 20 64 62 20 63 6c 6f 73  ;.  }..  db clos
1150: 65 0a 20 20 74 73 74 76 66 73 20 64 65 6c 65 74  e.  tstvfs delet
1160: 65 0a 7d 20 7b 7d 0a 64 6f 5f 66 61 75 6c 74 73  e.} {}.do_faults
1170: 69 6d 5f 74 65 73 74 20 70 61 67 65 72 66 61 75  im_test pagerfau
1180: 6c 74 2d 33 20 2d 70 72 65 70 20 7b 0a 20 20 66  lt-3 -prep {.  f
1190: 61 75 6c 74 73 69 6d 5f 72 65 73 74 6f 72 65 5f  aultsim_restore_
11a0: 61 6e 64 5f 72 65 6f 70 65 6e 0a 7d 20 2d 62 6f  and_reopen.} -bo
11b0: 64 79 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b  dy {.  execsql {
11c0: 20 0a 20 20 20 20 41 54 54 41 43 48 20 27 74 65   .    ATTACH 'te
11d0: 73 74 2e 64 62 32 27 20 41 53 20 61 75 78 3b 0a  st.db2' AS aux;.
11e0: 20 20 20 20 53 45 4c 45 43 54 20 63 6f 75 6e 74      SELECT count
11f0: 28 2a 29 20 46 52 4f 4d 20 74 32 3b 0a 20 20 20  (*) FROM t2;.   
1200: 20 53 45 4c 45 43 54 20 63 6f 75 6e 74 28 2a 29   SELECT count(*)
1210: 20 46 52 4f 4d 20 74 31 3b 0a 20 20 7d 0a 7d 20   FROM t1;.  }.} 
1220: 2d 74 65 73 74 20 7b 0a 20 20 66 61 75 6c 74 73  -test {.  faults
1230: 69 6d 5f 74 65 73 74 5f 72 65 73 75 6c 74 20 7b  im_test_result {
1240: 30 20 7b 34 20 34 7d 7d 20 7b 31 20 7b 75 6e 61  0 {4 4}} {1 {una
1250: 62 6c 65 20 74 6f 20 6f 70 65 6e 20 64 61 74 61  ble to open data
1260: 62 61 73 65 3a 20 74 65 73 74 2e 64 62 32 7d 7d  base: test.db2}}
1270: 0a 20 20 66 61 75 6c 74 73 69 6d 5f 69 6e 74 65  .  faultsim_inte
1280: 67 72 69 74 79 5f 63 68 65 63 6b 0a 20 20 63 61  grity_check.  ca
1290: 74 63 68 73 71 6c 20 7b 20 41 54 54 41 43 48 20  tchsql { ATTACH 
12a0: 27 74 65 73 74 2e 64 62 32 27 20 41 53 20 61 75  'test.db2' AS au
12b0: 78 20 7d 0a 20 20 69 66 20 7b 5b 64 62 20 6f 6e  x }.  if {[db on
12c0: 65 20 7b 20 53 45 4c 45 43 54 20 63 6f 75 6e 74  e { SELECT count
12d0: 28 2a 29 20 46 52 4f 4d 20 74 31 20 7d 5d 20 21  (*) FROM t1 }] !
12e0: 3d 20 34 0a 20 20 20 7c 7c 20 5b 64 62 20 6f 6e  = 4.   || [db on
12f0: 65 20 7b 20 53 45 4c 45 43 54 20 63 6f 75 6e 74  e { SELECT count
1300: 28 2a 29 20 46 52 4f 4d 20 74 32 20 7d 5d 20 21  (*) FROM t2 }] !
1310: 3d 20 34 0a 20 20 7d 20 7b 0a 20 20 20 20 65 72  = 4.  } {.    er
1320: 72 6f 72 20 22 44 61 74 61 62 61 73 65 20 63 6f  ror "Database co
1330: 6e 74 65 6e 74 20 61 70 70 65 61 72 73 20 69 6e  ntent appears in
1340: 63 6f 72 72 65 63 74 22 0a 20 20 7d 0a 7d 0a 0a  correct".  }.}..
1350: 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  #---------------
1360: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1370: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1380: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1390: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 54 65 73  ----------.# Tes
13a0: 74 20 66 61 75 6c 74 2d 69 6e 6a 65 63 74 69 6f  t fault-injectio
13b0: 6e 20 61 73 20 70 61 72 74 20 6f 66 20 61 20 76  n as part of a v
13c0: 61 6e 69 6c 6c 61 2c 20 6e 6f 2d 74 72 61 6e 73  anilla, no-trans
13d0: 61 63 74 69 6f 6e 2c 20 49 4e 53 45 52 54 0a 23  action, INSERT.#
13e0: 20 73 74 61 74 65 6d 65 6e 74 2e 0a 23 0a 64 6f   statement..#.do
13f0: 5f 66 61 75 6c 74 73 69 6d 5f 74 65 73 74 20 70  _faultsim_test p
1400: 61 67 65 72 66 61 75 6c 74 2d 34 20 2d 70 72 65  agerfault-4 -pre
1410: 70 20 7b 0a 20 20 66 61 75 6c 74 73 69 6d 5f 64  p {.  faultsim_d
1420: 65 6c 65 74 65 5f 61 6e 64 5f 72 65 6f 70 65 6e  elete_and_reopen
1430: 0a 7d 20 2d 62 6f 64 79 20 7b 0a 20 20 65 78 65  .} -body {.  exe
1440: 63 73 71 6c 20 7b 20 0a 20 20 20 20 43 52 45 41  csql { .    CREA
1450: 54 45 20 54 41 42 4c 45 20 78 28 79 29 3b 0a 20  TE TABLE x(y);. 
1460: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 78     INSERT INTO x
1470: 20 56 41 4c 55 45 53 28 27 7a 27 29 3b 0a 20 20   VALUES('z');.  
1480: 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20    SELECT * FROM 
1490: 78 3b 0a 20 20 7d 0a 7d 20 2d 74 65 73 74 20 7b  x;.  }.} -test {
14a0: 0a 20 20 66 61 75 6c 74 73 69 6d 5f 74 65 73 74  .  faultsim_test
14b0: 5f 72 65 73 75 6c 74 20 7b 30 20 7a 7d 0a 20 20  _result {0 z}.  
14c0: 66 61 75 6c 74 73 69 6d 5f 69 6e 74 65 67 72 69  faultsim_integri
14d0: 74 79 5f 63 68 65 63 6b 0a 7d 0a 0a 23 2d 2d 2d  ty_check.}..#---
14e0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
14f0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1500: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1510: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1520: 2d 2d 2d 2d 2d 2d 0a 23 20 54 65 73 74 20 66 61  ------.# Test fa
1530: 75 6c 74 2d 69 6e 6a 65 63 74 69 6f 6e 20 61 73  ult-injection as
1540: 20 70 61 72 74 20 6f 66 20 61 20 63 6f 6d 6d 69   part of a commi
1550: 74 20 77 68 65 6e 20 75 73 69 6e 67 20 6a 6f 75  t when using jou
1560: 72 6e 61 6c 5f 6d 6f 64 65 3d 50 45 52 53 49 53  rnal_mode=PERSIS
1570: 54 2e 0a 23 20 54 68 72 65 65 20 64 69 66 66 65  T..# Three diffe
1580: 72 65 6e 74 20 63 61 73 65 73 3a 0a 23 0a 23 20  rent cases:.#.# 
1590: 20 20 20 70 61 67 65 72 66 61 75 6c 74 2d 35 2e     pagerfault-5.
15a0: 31 3a 20 57 69 74 68 20 6e 6f 20 6a 6f 75 72 6e  1: With no journ
15b0: 61 6c 5f 73 69 7a 65 5f 6c 69 6d 69 74 20 63 6f  al_size_limit co
15c0: 6e 66 69 67 75 72 65 64 2e 0a 23 20 20 20 20 70  nfigured..#    p
15d0: 61 67 65 72 66 61 75 6c 74 2d 35 2e 32 3a 20 57  agerfault-5.2: W
15e0: 69 74 68 20 61 20 6a 6f 75 72 6e 61 6c 5f 73 69  ith a journal_si
15f0: 7a 65 5f 6c 69 6d 69 74 20 63 6f 6e 66 69 67 75  ze_limit configu
1600: 72 65 64 2e 0a 23 20 20 20 20 70 61 67 65 72 66  red..#    pagerf
1610: 61 75 6c 74 2d 35 2e 34 3a 20 4d 75 6c 74 69 2d  ault-5.4: Multi-
1620: 66 69 6c 65 20 74 72 61 6e 73 61 63 74 69 6f 6e  file transaction
1630: 2e 20 4f 6e 65 20 63 6f 6e 6e 65 63 74 69 6f 6e  . One connection
1640: 20 68 61 73 20 61 20 0a 23 20 20 20 20 20 20 20   has a .#       
1650: 20 20 20 20 20 20 20 20 20 20 20 20 20 6a 6f 75               jou
1660: 72 6e 61 6c 5f 73 69 7a 65 5f 6c 69 6d 69 74 20  rnal_size_limit 
1670: 6f 66 20 30 2c 20 74 68 65 20 6f 74 68 65 72 20  of 0, the other 
1680: 68 61 73 20 6e 6f 20 6c 69 6d 69 74 2e 0a 23 0a  has no limit..#.
1690: 64 6f 5f 74 65 73 74 20 70 61 67 65 72 66 61 75  do_test pagerfau
16a0: 6c 74 2d 35 2d 70 72 65 31 20 7b 0a 20 20 66 61  lt-5-pre1 {.  fa
16b0: 75 6c 74 73 69 6d 5f 64 65 6c 65 74 65 5f 61 6e  ultsim_delete_an
16c0: 64 5f 72 65 6f 70 65 6e 0a 20 20 64 62 20 66 75  d_reopen.  db fu
16d0: 6e 63 20 61 5f 73 74 72 69 6e 67 20 61 5f 73 74  nc a_string a_st
16e0: 72 69 6e 67 0a 20 20 65 78 65 63 73 71 6c 20 7b  ring.  execsql {
16f0: 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c  .    CREATE TABL
1700: 45 20 74 31 28 61 20 55 4e 49 51 55 45 2c 20 62  E t1(a UNIQUE, b
1710: 20 55 4e 49 51 55 45 29 3b 0a 20 20 20 20 49 4e   UNIQUE);.    IN
1720: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c  SERT INTO t1 VAL
1730: 55 45 53 28 61 5f 73 74 72 69 6e 67 28 32 30 30  UES(a_string(200
1740: 29 2c 20 61 5f 73 74 72 69 6e 67 28 33 30 30 29  ), a_string(300)
1750: 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e  );.    INSERT IN
1760: 54 4f 20 74 31 20 53 45 4c 45 43 54 20 61 5f 73  TO t1 SELECT a_s
1770: 74 72 69 6e 67 28 32 30 30 29 2c 20 61 5f 73 74  tring(200), a_st
1780: 72 69 6e 67 28 33 30 30 29 20 46 52 4f 4d 20 74  ring(300) FROM t
1790: 31 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e  1;.    INSERT IN
17a0: 54 4f 20 74 31 20 53 45 4c 45 43 54 20 61 5f 73  TO t1 SELECT a_s
17b0: 74 72 69 6e 67 28 32 30 30 29 2c 20 61 5f 73 74  tring(200), a_st
17c0: 72 69 6e 67 28 33 30 30 29 20 46 52 4f 4d 20 74  ring(300) FROM t
17d0: 31 3b 0a 20 20 7d 0a 20 20 66 61 75 6c 74 73 69  1;.  }.  faultsi
17e0: 6d 5f 73 61 76 65 5f 61 6e 64 5f 63 6c 6f 73 65  m_save_and_close
17f0: 0a 7d 20 7b 7d 0a 64 6f 5f 66 61 75 6c 74 73 69  .} {}.do_faultsi
1800: 6d 5f 74 65 73 74 20 70 61 67 65 72 66 61 75 6c  m_test pagerfaul
1810: 74 2d 35 2e 31 20 2d 70 72 65 70 20 7b 0a 20 20  t-5.1 -prep {.  
1820: 66 61 75 6c 74 73 69 6d 5f 72 65 73 74 6f 72 65  faultsim_restore
1830: 5f 61 6e 64 5f 72 65 6f 70 65 6e 0a 20 20 64 62  _and_reopen.  db
1840: 20 66 75 6e 63 20 61 5f 73 74 72 69 6e 67 20 61   func a_string a
1850: 5f 73 74 72 69 6e 67 0a 20 20 65 78 65 63 73 71  _string.  execsq
1860: 6c 20 7b 20 50 52 41 47 4d 41 20 6a 6f 75 72 6e  l { PRAGMA journ
1870: 61 6c 5f 6d 6f 64 65 20 3d 20 50 45 52 53 49 53  al_mode = PERSIS
1880: 54 20 7d 0a 7d 20 2d 62 6f 64 79 20 7b 0a 20 20  T }.} -body {.  
1890: 65 78 65 63 73 71 6c 20 7b 20 49 4e 53 45 52 54  execsql { INSERT
18a0: 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20   INTO t1 SELECT 
18b0: 61 5f 73 74 72 69 6e 67 28 32 30 30 29 2c 20 61  a_string(200), a
18c0: 5f 73 74 72 69 6e 67 28 33 30 30 29 20 46 52 4f  _string(300) FRO
18d0: 4d 20 74 31 20 7d 0a 7d 20 2d 74 65 73 74 20 7b  M t1 }.} -test {
18e0: 0a 20 20 66 61 75 6c 74 73 69 6d 5f 74 65 73 74  .  faultsim_test
18f0: 5f 72 65 73 75 6c 74 20 7b 30 20 7b 7d 7d 0a 20  _result {0 {}}. 
1900: 20 66 61 75 6c 74 73 69 6d 5f 69 6e 74 65 67 72   faultsim_integr
1910: 69 74 79 5f 63 68 65 63 6b 0a 7d 0a 64 6f 5f 66  ity_check.}.do_f
1920: 61 75 6c 74 73 69 6d 5f 74 65 73 74 20 70 61 67  aultsim_test pag
1930: 65 72 66 61 75 6c 74 2d 35 2e 32 20 2d 70 72 65  erfault-5.2 -pre
1940: 70 20 7b 0a 20 20 66 61 75 6c 74 73 69 6d 5f 72  p {.  faultsim_r
1950: 65 73 74 6f 72 65 5f 61 6e 64 5f 72 65 6f 70 65  estore_and_reope
1960: 6e 0a 20 20 64 62 20 66 75 6e 63 20 61 5f 73 74  n.  db func a_st
1970: 72 69 6e 67 20 61 5f 73 74 72 69 6e 67 0a 20 20  ring a_string.  
1980: 65 78 65 63 73 71 6c 20 7b 20 0a 20 20 20 20 50  execsql { .    P
1990: 52 41 47 4d 41 20 6a 6f 75 72 6e 61 6c 5f 6d 6f  RAGMA journal_mo
19a0: 64 65 20 3d 20 50 45 52 53 49 53 54 3b 0a 20 20  de = PERSIST;.  
19b0: 20 20 50 52 41 47 4d 41 20 6a 6f 75 72 6e 61 6c    PRAGMA journal
19c0: 5f 73 69 7a 65 5f 6c 69 6d 69 74 20 3d 20 32 30  _size_limit = 20
19d0: 34 38 3b 0a 20 20 7d 0a 7d 20 2d 62 6f 64 79 20  48;.  }.} -body 
19e0: 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 49 4e  {.  execsql { IN
19f0: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c  SERT INTO t1 SEL
1a00: 45 43 54 20 61 5f 73 74 72 69 6e 67 28 32 30 30  ECT a_string(200
1a10: 29 2c 20 61 5f 73 74 72 69 6e 67 28 33 30 30 29  ), a_string(300)
1a20: 20 46 52 4f 4d 20 74 31 20 7d 0a 7d 20 2d 74 65   FROM t1 }.} -te
1a30: 73 74 20 7b 0a 20 20 66 61 75 6c 74 73 69 6d 5f  st {.  faultsim_
1a40: 74 65 73 74 5f 72 65 73 75 6c 74 20 7b 30 20 7b  test_result {0 {
1a50: 7d 7d 0a 20 20 66 61 75 6c 74 73 69 6d 5f 69 6e  }}.  faultsim_in
1a60: 74 65 67 72 69 74 79 5f 63 68 65 63 6b 0a 7d 0a  tegrity_check.}.
1a70: 64 6f 5f 66 61 75 6c 74 73 69 6d 5f 74 65 73 74  do_faultsim_test
1a80: 20 70 61 67 65 72 66 61 75 6c 74 2d 35 2e 33 20   pagerfault-5.3 
1a90: 2d 66 61 75 6c 74 73 20 6f 6f 6d 2d 74 72 61 6e  -faults oom-tran
1aa0: 73 69 65 6e 74 20 2d 70 72 65 70 20 7b 0a 20 20  sient -prep {.  
1ab0: 66 61 75 6c 74 73 69 6d 5f 72 65 73 74 6f 72 65  faultsim_restore
1ac0: 5f 61 6e 64 5f 72 65 6f 70 65 6e 0a 20 20 64 62  _and_reopen.  db
1ad0: 20 66 75 6e 63 20 61 5f 73 74 72 69 6e 67 20 61   func a_string a
1ae0: 5f 73 74 72 69 6e 67 0a 20 20 66 69 6c 65 20 64  _string.  file d
1af0: 65 6c 65 74 65 20 2d 66 6f 72 63 65 20 74 65 73  elete -force tes
1b00: 74 32 2e 64 62 20 74 65 73 74 32 2e 64 62 2d 6a  t2.db test2.db-j
1b10: 6f 75 72 6e 61 6c 20 74 65 73 74 32 2e 64 62 2d  ournal test2.db-
1b20: 77 61 6c 0a 20 20 65 78 65 63 73 71 6c 20 7b 20  wal.  execsql { 
1b30: 0a 20 20 20 20 50 52 41 47 4d 41 20 6a 6f 75 72  .    PRAGMA jour
1b40: 6e 61 6c 5f 6d 6f 64 65 20 3d 20 50 45 52 53 49  nal_mode = PERSI
1b50: 53 54 3b 0a 20 20 20 20 41 54 54 41 43 48 20 27  ST;.    ATTACH '
1b60: 74 65 73 74 32 2e 64 62 27 20 41 53 20 61 75 78  test2.db' AS aux
1b70: 3b 0a 20 20 20 20 50 52 41 47 4d 41 20 61 75 78  ;.    PRAGMA aux
1b80: 2e 6a 6f 75 72 6e 61 6c 5f 6d 6f 64 65 20 3d 20  .journal_mode = 
1b90: 50 45 52 53 49 53 54 3b 0a 20 20 20 20 50 52 41  PERSIST;.    PRA
1ba0: 47 4d 41 20 61 75 78 2e 6a 6f 75 72 6e 61 6c 5f  GMA aux.journal_
1bb0: 73 69 7a 65 5f 6c 69 6d 69 74 20 3d 20 30 3b 0a  size_limit = 0;.
1bc0: 20 20 7d 0a 7d 20 2d 62 6f 64 79 20 7b 0a 20 20    }.} -body {.  
1bd0: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 42 45  execsql {.    BE
1be0: 47 49 4e 3b 0a 20 20 20 20 20 20 49 4e 53 45 52  GIN;.      INSER
1bf0: 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54  T INTO t1 SELECT
1c00: 20 61 5f 73 74 72 69 6e 67 28 32 30 30 29 2c 20   a_string(200), 
1c10: 61 5f 73 74 72 69 6e 67 28 33 30 30 29 20 46 52  a_string(300) FR
1c20: 4f 4d 20 74 31 3b 0a 20 20 20 20 20 20 43 52 45  OM t1;.      CRE
1c30: 41 54 45 20 54 41 42 4c 45 20 61 75 78 2e 74 32  ATE TABLE aux.t2
1c40: 20 41 53 20 53 45 4c 45 43 54 20 2a 20 46 52 4f   AS SELECT * FRO
1c50: 4d 20 74 31 3b 0a 20 20 20 20 43 4f 4d 4d 49 54  M t1;.    COMMIT
1c60: 3b 0a 20 20 7d 0a 7d 20 2d 74 65 73 74 20 7b 0a  ;.  }.} -test {.
1c70: 20 20 66 61 75 6c 74 73 69 6d 5f 74 65 73 74 5f    faultsim_test_
1c80: 72 65 73 75 6c 74 20 7b 30 20 7b 7d 7d 0a 20 20  result {0 {}}.  
1c90: 66 61 75 6c 74 73 69 6d 5f 69 6e 74 65 67 72 69  faultsim_integri
1ca0: 74 79 5f 63 68 65 63 6b 0a 0a 20 20 73 65 74 20  ty_check..  set 
1cb0: 72 65 73 20 22 22 0a 20 20 73 65 74 20 72 63 20  res "".  set rc 
1cc0: 5b 63 61 74 63 68 20 7b 20 73 65 74 20 72 65 73  [catch { set res
1cd0: 20 5b 64 62 20 6f 6e 65 20 7b 20 50 52 41 47 4d   [db one { PRAGM
1ce0: 41 20 61 75 78 2e 69 6e 74 65 67 72 69 74 79 5f  A aux.integrity_
1cf0: 63 68 65 63 6b 20 7d 5d 20 7d 5d 0a 20 20 69 66  check }] }].  if
1d00: 20 7b 24 72 63 21 3d 30 20 7c 7c 20 24 72 65 73   {$rc!=0 || $res
1d10: 20 21 3d 20 22 6f 6b 22 7d 20 7b 65 72 72 6f 72   != "ok"} {error
1d20: 20 22 69 6e 74 65 67 72 69 74 79 2d 63 68 65 63   "integrity-chec
1d30: 6b 20 70 72 6f 62 6c 65 6d 3a 24 72 63 20 24 72  k problem:$rc $r
1d40: 65 73 22 7d 0a 7d 0a 0a 23 2d 2d 2d 2d 2d 2d 2d  es"}.}..#-------
1d50: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1d60: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1d70: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1d80: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1d90: 2d 2d 0a 23 20 54 65 73 74 20 66 61 75 6c 74 2d  --.# Test fault-
1da0: 69 6e 6a 65 63 74 69 6f 6e 20 61 73 20 70 61 72  injection as par
1db0: 74 20 6f 66 20 61 20 63 6f 6d 6d 69 74 20 77 68  t of a commit wh
1dc0: 65 6e 20 75 73 69 6e 67 20 0a 23 20 6a 6f 75 72  en using .# jour
1dd0: 6e 61 6c 5f 6d 6f 64 65 3d 54 52 55 4e 43 41 54  nal_mode=TRUNCAT
1de0: 45 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 70 61 67  E..#.do_test pag
1df0: 65 72 66 61 75 6c 74 2d 36 2d 70 72 65 31 20 7b  erfault-6-pre1 {
1e00: 0a 20 20 66 61 75 6c 74 73 69 6d 5f 64 65 6c 65  .  faultsim_dele
1e10: 74 65 5f 61 6e 64 5f 72 65 6f 70 65 6e 0a 20 20  te_and_reopen.  
1e20: 64 62 20 66 75 6e 63 20 61 5f 73 74 72 69 6e 67  db func a_string
1e30: 20 61 5f 73 74 72 69 6e 67 0a 20 20 65 78 65 63   a_string.  exec
1e40: 73 71 6c 20 7b 0a 20 20 20 20 43 52 45 41 54 45  sql {.    CREATE
1e50: 20 54 41 42 4c 45 20 74 31 28 61 20 55 4e 49 51   TABLE t1(a UNIQ
1e60: 55 45 2c 20 62 20 55 4e 49 51 55 45 29 3b 0a 20  UE, b UNIQUE);. 
1e70: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
1e80: 31 20 56 41 4c 55 45 53 28 61 5f 73 74 72 69 6e  1 VALUES(a_strin
1e90: 67 28 32 30 30 29 2c 20 61 5f 73 74 72 69 6e 67  g(200), a_string
1ea0: 28 33 30 30 29 29 3b 0a 20 20 7d 0a 20 20 66 61  (300));.  }.  fa
1eb0: 75 6c 74 73 69 6d 5f 73 61 76 65 5f 61 6e 64 5f  ultsim_save_and_
1ec0: 63 6c 6f 73 65 0a 7d 20 7b 7d 0a 0a 64 6f 5f 66  close.} {}..do_f
1ed0: 61 75 6c 74 73 69 6d 5f 74 65 73 74 20 70 61 67  aultsim_test pag
1ee0: 65 72 66 61 75 6c 74 2d 36 2e 31 20 2d 70 72 65  erfault-6.1 -pre
1ef0: 70 20 7b 0a 20 20 66 61 75 6c 74 73 69 6d 5f 72  p {.  faultsim_r
1f00: 65 73 74 6f 72 65 5f 61 6e 64 5f 72 65 6f 70 65  estore_and_reope
1f10: 6e 0a 20 20 64 62 20 66 75 6e 63 20 61 5f 73 74  n.  db func a_st
1f20: 72 69 6e 67 20 61 5f 73 74 72 69 6e 67 0a 20 20  ring a_string.  
1f30: 65 78 65 63 73 71 6c 20 7b 20 50 52 41 47 4d 41  execsql { PRAGMA
1f40: 20 6a 6f 75 72 6e 61 6c 5f 6d 6f 64 65 20 3d 20   journal_mode = 
1f50: 54 52 55 4e 43 41 54 45 20 7d 0a 7d 20 2d 62 6f  TRUNCATE }.} -bo
1f60: 64 79 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b  dy {.  execsql {
1f70: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
1f80: 53 45 4c 45 43 54 20 61 5f 73 74 72 69 6e 67 28  SELECT a_string(
1f90: 32 30 30 29 2c 20 61 5f 73 74 72 69 6e 67 28 33  200), a_string(3
1fa0: 30 30 29 20 46 52 4f 4d 20 74 31 20 7d 0a 20 20  00) FROM t1 }.  
1fb0: 65 78 65 63 73 71 6c 20 7b 20 49 4e 53 45 52 54  execsql { INSERT
1fc0: 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20   INTO t1 SELECT 
1fd0: 61 5f 73 74 72 69 6e 67 28 32 30 30 29 2c 20 61  a_string(200), a
1fe0: 5f 73 74 72 69 6e 67 28 33 30 30 29 20 46 52 4f  _string(300) FRO
1ff0: 4d 20 74 31 20 7d 0a 7d 20 2d 74 65 73 74 20 7b  M t1 }.} -test {
2000: 0a 20 20 66 61 75 6c 74 73 69 6d 5f 74 65 73 74  .  faultsim_test
2010: 5f 72 65 73 75 6c 74 20 7b 30 20 7b 7d 7d 0a 20  _result {0 {}}. 
2020: 20 66 61 75 6c 74 73 69 6d 5f 69 6e 74 65 67 72   faultsim_integr
2030: 69 74 79 5f 63 68 65 63 6b 0a 7d 0a 0a 23 20 54  ity_check.}..# T
2040: 68 65 20 75 6e 69 78 20 76 66 73 20 78 41 63 63  he unix vfs xAcc
2050: 65 73 73 28 29 20 6d 65 74 68 6f 64 20 63 6f 6e  ess() method con
2060: 73 69 64 65 72 73 20 61 20 66 69 6c 65 20 7a 65  siders a file ze
2070: 72 6f 20 62 79 74 65 73 20 69 6e 20 73 69 7a 65  ro bytes in size
2080: 20 74 6f 0a 23 20 22 6e 6f 74 20 65 78 69 73 74   to.# "not exist
2090: 22 2e 20 54 68 69 73 20 70 72 6f 63 20 6f 76 65  ". This proc ove
20a0: 72 72 69 64 65 73 20 74 68 61 74 20 62 65 68 61  rrides that beha
20b0: 76 69 6f 75 72 20 73 6f 20 74 68 61 74 20 61 20  viour so that a 
20c0: 7a 65 72 6f 20 6c 65 6e 67 74 68 0a 23 20 66 69  zero length.# fi
20d0: 6c 65 20 69 73 20 63 6f 6e 73 69 64 65 72 65 64  le is considered
20e0: 20 74 6f 20 65 78 69 73 74 2e 0a 23 0a 70 72 6f   to exist..#.pro
20f0: 63 20 78 41 63 63 65 73 73 20 7b 6d 65 74 68 6f  c xAccess {metho
2100: 64 20 66 69 6c 65 6e 61 6d 65 20 6f 70 20 61 72  d filename op ar
2110: 67 73 7d 20 7b 0a 20 20 69 66 20 7b 24 6f 70 20  gs} {.  if {$op 
2120: 21 3d 20 22 53 51 4c 49 54 45 5f 41 43 43 45 53  != "SQLITE_ACCES
2130: 53 5f 45 58 49 53 54 53 22 7d 20 7b 20 72 65 74  S_EXISTS"} { ret
2140: 75 72 6e 20 22 22 20 7d 0a 20 20 72 65 74 75 72  urn "" }.  retur
2150: 6e 20 5b 66 69 6c 65 20 65 78 69 73 74 73 20 24  n [file exists $
2160: 66 69 6c 65 6e 61 6d 65 5d 0a 7d 0a 64 6f 5f 66  filename].}.do_f
2170: 61 75 6c 74 73 69 6d 5f 74 65 73 74 20 70 61 67  aultsim_test pag
2180: 65 72 66 61 75 6c 74 2d 36 2e 32 20 2d 66 61 75  erfault-6.2 -fau
2190: 6c 74 73 20 63 61 6e 74 6f 70 65 6e 2d 2a 20 2d  lts cantopen-* -
21a0: 70 72 65 70 20 7b 0a 20 20 73 68 6d 66 61 75 6c  prep {.  shmfaul
21b0: 74 20 66 69 6c 74 65 72 20 78 41 63 63 65 73 73  t filter xAccess
21c0: 0a 20 20 73 68 6d 66 61 75 6c 74 20 73 63 72 69  .  shmfault scri
21d0: 70 74 20 78 41 63 63 65 73 73 0a 0a 20 20 66 61  pt xAccess..  fa
21e0: 75 6c 74 73 69 6d 5f 72 65 73 74 6f 72 65 5f 61  ultsim_restore_a
21f0: 6e 64 5f 72 65 6f 70 65 6e 0a 20 20 64 62 20 66  nd_reopen.  db f
2200: 75 6e 63 20 61 5f 73 74 72 69 6e 67 20 61 5f 73  unc a_string a_s
2210: 74 72 69 6e 67 0a 20 20 65 78 65 63 73 71 6c 20  tring.  execsql 
2220: 7b 20 50 52 41 47 4d 41 20 6a 6f 75 72 6e 61 6c  { PRAGMA journal
2230: 5f 6d 6f 64 65 20 3d 20 54 52 55 4e 43 41 54 45  _mode = TRUNCATE
2240: 20 7d 0a 7d 20 2d 62 6f 64 79 20 7b 0a 20 20 65   }.} -body {.  e
2250: 78 65 63 73 71 6c 20 7b 20 49 4e 53 45 52 54 20  xecsql { INSERT 
2260: 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20 61  INTO t1 SELECT a
2270: 5f 73 74 72 69 6e 67 28 32 30 30 29 2c 20 61 5f  _string(200), a_
2280: 73 74 72 69 6e 67 28 33 30 30 29 20 46 52 4f 4d  string(300) FROM
2290: 20 74 31 20 7d 0a 20 20 65 78 65 63 73 71 6c 20   t1 }.  execsql 
22a0: 7b 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31  { INSERT INTO t1
22b0: 20 53 45 4c 45 43 54 20 61 5f 73 74 72 69 6e 67   SELECT a_string
22c0: 28 32 30 30 29 2c 20 61 5f 73 74 72 69 6e 67 28  (200), a_string(
22d0: 33 30 30 29 20 46 52 4f 4d 20 74 31 20 7d 0a 7d  300) FROM t1 }.}
22e0: 20 2d 74 65 73 74 20 7b 0a 20 20 66 61 75 6c 74   -test {.  fault
22f0: 73 69 6d 5f 74 65 73 74 5f 72 65 73 75 6c 74 20  sim_test_result 
2300: 7b 30 20 7b 7d 7d 0a 20 20 66 61 75 6c 74 73 69  {0 {}}.  faultsi
2310: 6d 5f 69 6e 74 65 67 72 69 74 79 5f 63 68 65 63  m_integrity_chec
2320: 6b 0a 7d 0a 0a 23 20 54 68 65 20 66 6f 6c 6c 6f  k.}..# The follo
2330: 77 69 6e 67 20 77 61 73 20 61 6e 20 61 74 74 65  wing was an atte
2340: 6d 70 74 20 74 6f 20 67 65 74 20 61 20 62 69 74  mpt to get a bit
2350: 76 65 63 20 6d 61 6c 6c 6f 63 20 74 6f 20 66 61  vec malloc to fa
2360: 69 6c 2e 20 44 69 64 6e 27 74 20 77 6f 72 6b 2e  il. Didn't work.
2370: 0a 23 0a 23 20 64 6f 5f 74 65 73 74 20 70 61 67  .#.# do_test pag
2380: 65 72 66 61 75 6c 74 2d 36 2d 70 72 65 31 20 7b  erfault-6-pre1 {
2390: 0a 23 20 20 20 66 61 75 6c 74 73 69 6d 5f 64 65  .#   faultsim_de
23a0: 6c 65 74 65 5f 61 6e 64 5f 72 65 6f 70 65 6e 0a  lete_and_reopen.
23b0: 23 20 20 20 65 78 65 63 73 71 6c 20 7b 0a 23 20  #   execsql {.# 
23c0: 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45      CREATE TABLE
23d0: 20 74 31 28 78 2c 20 79 2c 20 55 4e 49 51 55 45   t1(x, y, UNIQUE
23e0: 28 78 2c 20 79 29 29 3b 0a 23 20 20 20 20 20 49  (x, y));.#     I
23f0: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41  NSERT INTO t1 VA
2400: 4c 55 45 53 28 31 2c 20 72 61 6e 64 6f 6d 62 6c  LUES(1, randombl
2410: 6f 62 28 31 35 30 31 29 29 3b 0a 23 20 20 20 20  ob(1501));.#    
2420: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
2430: 56 41 4c 55 45 53 28 32 2c 20 72 61 6e 64 6f 6d  VALUES(2, random
2440: 62 6c 6f 62 28 31 35 30 32 29 29 3b 0a 23 20 20  blob(1502));.#  
2450: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
2460: 31 20 56 41 4c 55 45 53 28 33 2c 20 72 61 6e 64  1 VALUES(3, rand
2470: 6f 6d 62 6c 6f 62 28 31 35 30 33 29 29 3b 0a 23  omblob(1503));.#
2480: 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f       INSERT INTO
2490: 20 74 31 20 56 41 4c 55 45 53 28 34 2c 20 72 61   t1 VALUES(4, ra
24a0: 6e 64 6f 6d 62 6c 6f 62 28 31 35 30 34 29 29 3b  ndomblob(1504));
24b0: 0a 23 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e  .#     INSERT IN
24c0: 54 4f 20 74 31 20 0a 23 20 20 20 20 20 20 20 53  TO t1 .#       S
24d0: 45 4c 45 43 54 20 78 2c 20 72 61 6e 64 6f 6d 62  ELECT x, randomb
24e0: 6c 6f 62 28 31 35 30 30 2b 6f 69 64 2b 28 53 45  lob(1500+oid+(SE
24f0: 4c 45 43 54 20 6d 61 78 28 6f 69 64 29 20 46 52  LECT max(oid) FR
2500: 4f 4d 20 74 31 29 29 20 46 52 4f 4d 20 74 31 3b  OM t1)) FROM t1;
2510: 0a 23 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e  .#     INSERT IN
2520: 54 4f 20 74 31 20 0a 23 20 20 20 20 20 20 20 53  TO t1 .#       S
2530: 45 4c 45 43 54 20 78 2c 20 72 61 6e 64 6f 6d 62  ELECT x, randomb
2540: 6c 6f 62 28 31 35 30 30 2b 6f 69 64 2b 28 53 45  lob(1500+oid+(SE
2550: 4c 45 43 54 20 6d 61 78 28 6f 69 64 29 20 46 52  LECT max(oid) FR
2560: 4f 4d 20 74 31 29 29 20 46 52 4f 4d 20 74 31 3b  OM t1)) FROM t1;
2570: 0a 23 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e  .#     INSERT IN
2580: 54 4f 20 74 31 20 0a 23 20 20 20 20 20 20 20 53  TO t1 .#       S
2590: 45 4c 45 43 54 20 78 2c 20 72 61 6e 64 6f 6d 62  ELECT x, randomb
25a0: 6c 6f 62 28 31 35 30 30 2b 6f 69 64 2b 28 53 45  lob(1500+oid+(SE
25b0: 4c 45 43 54 20 6d 61 78 28 6f 69 64 29 20 46 52  LECT max(oid) FR
25c0: 4f 4d 20 74 31 29 29 20 46 52 4f 4d 20 74 31 3b  OM t1)) FROM t1;
25d0: 0a 23 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e  .#     INSERT IN
25e0: 54 4f 20 74 31 20 0a 23 20 20 20 20 20 20 20 53  TO t1 .#       S
25f0: 45 4c 45 43 54 20 78 2c 20 72 61 6e 64 6f 6d 62  ELECT x, randomb
2600: 6c 6f 62 28 31 35 30 30 2b 6f 69 64 2b 28 53 45  lob(1500+oid+(SE
2610: 4c 45 43 54 20 6d 61 78 28 6f 69 64 29 20 46 52  LECT max(oid) FR
2620: 4f 4d 20 74 31 29 29 20 46 52 4f 4d 20 74 31 3b  OM t1)) FROM t1;
2630: 0a 23 20 20 20 7d 0a 23 20 20 20 66 61 75 6c 74  .#   }.#   fault
2640: 73 69 6d 5f 73 61 76 65 5f 61 6e 64 5f 63 6c 6f  sim_save_and_clo
2650: 73 65 0a 23 20 7d 20 7b 7d 0a 23 20 64 6f 5f 66  se.# } {}.# do_f
2660: 61 75 6c 74 73 69 6d 5f 74 65 73 74 20 70 61 67  aultsim_test pag
2670: 65 72 66 61 75 6c 74 2d 36 20 2d 70 72 65 70 20  erfault-6 -prep 
2680: 7b 0a 23 20 20 20 66 61 75 6c 74 73 69 6d 5f 72  {.#   faultsim_r
2690: 65 73 74 6f 72 65 5f 61 6e 64 5f 72 65 6f 70 65  estore_and_reope
26a0: 6e 0a 23 20 7d 20 2d 62 6f 64 79 20 7b 0a 23 20  n.# } -body {.# 
26b0: 20 20 65 78 65 63 73 71 6c 20 7b 20 0a 23 20 20    execsql { .#  
26c0: 20 20 20 42 45 47 49 4e 3b 0a 23 20 20 20 20 20     BEGIN;.#     
26d0: 20 20 55 50 44 41 54 45 20 74 31 20 53 45 54 20    UPDATE t1 SET 
26e0: 78 3d 78 2b 34 20 57 48 45 52 45 20 78 3d 31 3b  x=x+4 WHERE x=1;
26f0: 0a 23 20 20 20 20 20 20 20 53 41 56 45 50 4f 49  .#       SAVEPOI
2700: 4e 54 20 6f 6e 65 3b 0a 23 20 20 20 20 20 20 20  NT one;.#       
2710: 20 20 55 50 44 41 54 45 20 74 31 20 53 45 54 20    UPDATE t1 SET 
2720: 78 3d 78 2b 34 20 57 48 45 52 45 20 78 3d 32 3b  x=x+4 WHERE x=2;
2730: 0a 23 20 20 20 20 20 20 20 20 20 53 41 56 45 50  .#         SAVEP
2740: 4f 49 4e 54 20 74 68 72 65 65 3b 0a 23 20 20 20  OINT three;.#   
2750: 20 20 20 20 20 20 20 20 55 50 44 41 54 45 20 74          UPDATE t
2760: 31 20 53 45 54 20 78 3d 78 2b 34 20 57 48 45 52  1 SET x=x+4 WHER
2770: 45 20 78 3d 33 3b 0a 23 20 20 20 20 20 20 20 20  E x=3;.#        
2780: 20 20 20 53 41 56 45 50 4f 49 4e 54 20 66 6f 75     SAVEPOINT fou
2790: 72 3b 0a 23 20 20 20 20 20 20 20 20 20 20 20 20  r;.#            
27a0: 20 55 50 44 41 54 45 20 74 31 20 53 45 54 20 78   UPDATE t1 SET x
27b0: 3d 78 2b 34 20 57 48 45 52 45 20 78 3d 34 3b 0a  =x+4 WHERE x=4;.
27c0: 23 20 20 20 20 20 20 20 20 20 52 45 4c 45 41 53  #         RELEAS
27d0: 45 20 74 68 72 65 65 3b 0a 23 20 20 20 20 20 43  E three;.#     C
27e0: 4f 4d 4d 49 54 3b 0a 23 20 20 20 20 20 53 45 4c  OMMIT;.#     SEL
27f0: 45 43 54 20 44 49 53 54 49 4e 43 54 20 78 20 46  ECT DISTINCT x F
2800: 52 4f 4d 20 74 31 3b 0a 23 20 20 20 7d 0a 23 20  ROM t1;.#   }.# 
2810: 7d 20 2d 74 65 73 74 20 7b 0a 23 20 20 20 66 61  } -test {.#   fa
2820: 75 6c 74 73 69 6d 5f 74 65 73 74 5f 72 65 73 75  ultsim_test_resu
2830: 6c 74 20 7b 30 20 7b 35 20 36 20 37 20 38 7d 7d  lt {0 {5 6 7 8}}
2840: 0a 23 20 20 20 66 61 75 6c 74 73 69 6d 5f 69 6e  .#   faultsim_in
2850: 74 65 67 72 69 74 79 5f 63 68 65 63 6b 0a 23 20  tegrity_check.# 
2860: 7d 0a 23 0a 0a 23 20 54 68 69 73 20 69 73 20 64  }.#..# This is d
2870: 65 73 69 67 6e 65 64 20 74 6f 20 70 72 6f 76 6f  esigned to provo
2880: 6b 65 20 61 20 73 70 65 63 69 61 6c 20 63 61 73  ke a special cas
2890: 65 20 69 6e 20 74 68 65 20 70 61 67 65 72 20 63  e in the pager c
28a0: 6f 64 65 3a 0a 23 0a 23 20 49 66 20 61 6e 20 65  ode:.#.# If an e
28b0: 72 72 6f 72 20 28 73 70 65 63 69 66 69 63 61 6c  rror (specifical
28c0: 6c 79 2c 20 61 20 46 55 4c 4c 20 6f 72 20 49 4f  ly, a FULL or IO
28d0: 45 52 52 20 65 72 72 6f 72 29 20 6f 63 63 75 72  ERR error) occur
28e0: 73 20 77 68 69 6c 65 20 77 72 69 74 69 6e 67 20  s while writing 
28f0: 61 0a 23 20 64 69 72 74 79 20 70 61 67 65 20 74  a.# dirty page t
2900: 6f 20 74 68 65 20 66 69 6c 65 2d 73 79 73 74 65  o the file-syste
2910: 6d 20 69 6e 20 6f 72 64 65 72 20 74 6f 20 66 72  m in order to fr
2920: 65 65 20 75 70 20 6d 65 6d 6f 72 79 2c 20 74 68  ee up memory, th
2930: 65 20 70 61 67 65 72 20 65 6e 74 65 72 73 0a 23  e pager enters.#
2940: 20 74 68 65 20 22 65 72 72 6f 72 20 73 74 61 74   the "error stat
2950: 65 22 2e 20 41 6e 20 49 4f 20 65 72 72 6f 72 20  e". An IO error 
2960: 63 61 75 73 65 73 20 53 51 4c 69 74 65 20 74 6f  causes SQLite to
2970: 20 72 6f 6c 6c 20 62 61 63 6b 20 74 68 65 20 63   roll back the c
2980: 75 72 72 65 6e 74 0a 23 20 74 72 61 6e 73 61 63  urrent.# transac
2990: 74 69 6f 6e 20 28 65 78 69 74 69 6e 67 20 74 68  tion (exiting th
29a0: 65 20 65 72 72 6f 72 20 73 74 61 74 65 29 2e 20  e error state). 
29b0: 41 20 46 55 4c 4c 20 65 72 72 6f 72 2c 20 68 6f  A FULL error, ho
29c0: 77 65 76 65 72 2c 20 6d 61 79 20 6f 6e 6c 79 0a  wever, may only.
29d0: 23 20 72 6f 6c 6c 62 61 63 6b 20 74 68 65 20 63  # rollback the c
29e0: 75 72 72 65 6e 74 20 73 74 61 74 65 6d 65 6e 74  urrent statement
29f0: 2e 0a 23 0a 23 20 54 68 69 73 20 62 6c 6f 63 6b  ..#.# This block
2a00: 20 74 65 73 74 73 20 74 68 61 74 20 6e 6f 74 68   tests that noth
2a10: 69 6e 67 20 67 6f 65 73 20 77 72 6f 6e 67 20 69  ing goes wrong i
2a20: 66 20 61 20 46 55 4c 4c 20 65 72 72 6f 72 20 6f  f a FULL error o
2a30: 63 63 75 72 73 20 77 68 69 6c 65 0a 23 20 77 72  ccurs while.# wr
2a40: 69 74 69 6e 67 20 61 20 64 69 72 74 79 20 70 61  iting a dirty pa
2a50: 67 65 20 6f 75 74 20 74 6f 20 66 72 65 65 20 6d  ge out to free m
2a60: 65 6d 6f 72 79 20 66 72 6f 6d 20 77 69 74 68 69  emory from withi
2a70: 6e 20 61 20 73 74 61 74 65 6d 65 6e 74 20 74 68  n a statement th
2a80: 61 74 20 68 61 73 0a 23 20 6f 70 65 6e 65 64 20  at has.# opened 
2a90: 61 20 73 74 61 74 65 6d 65 6e 74 20 74 72 61 6e  a statement tran
2aa0: 73 61 63 74 69 6f 6e 2e 0a 23 0a 64 6f 5f 74 65  saction..#.do_te
2ab0: 73 74 20 70 61 67 65 72 66 61 75 6c 74 2d 37 2d  st pagerfault-7-
2ac0: 70 72 65 31 20 7b 0a 20 20 66 61 75 6c 74 73 69  pre1 {.  faultsi
2ad0: 6d 5f 64 65 6c 65 74 65 5f 61 6e 64 5f 72 65 6f  m_delete_and_reo
2ae0: 70 65 6e 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a  pen.  execsql {.
2af0: 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45      CREATE TABLE
2b00: 20 74 32 28 61 20 49 4e 54 45 47 45 52 20 50 52   t2(a INTEGER PR
2b10: 49 4d 41 52 59 20 4b 45 59 2c 20 62 29 3b 0a 20  IMARY KEY, b);. 
2b20: 20 20 20 42 45 47 49 4e 3b 0a 20 20 20 20 20 20     BEGIN;.      
2b30: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 20 56  INSERT INTO t2 V
2b40: 41 4c 55 45 53 28 4e 55 4c 4c 2c 20 72 61 6e 64  ALUES(NULL, rand
2b50: 6f 6d 62 6c 6f 62 28 31 35 30 30 29 29 3b 0a 20  omblob(1500));. 
2b60: 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f       INSERT INTO
2b70: 20 74 32 20 56 41 4c 55 45 53 28 4e 55 4c 4c 2c   t2 VALUES(NULL,
2b80: 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 31 35 30 30   randomblob(1500
2b90: 29 29 3b 0a 20 20 20 20 20 20 49 4e 53 45 52 54  ));.      INSERT
2ba0: 20 49 4e 54 4f 20 74 32 20 53 45 4c 45 43 54 20   INTO t2 SELECT 
2bb0: 4e 55 4c 4c 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62  NULL, randomblob
2bc0: 28 31 35 30 30 29 20 46 52 4f 4d 20 74 32 3b 20  (1500) FROM t2; 
2bd0: 20 20 20 2d 2d 20 20 34 0a 20 20 20 20 20 20 49     --  4.      I
2be0: 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 20 53 45  NSERT INTO t2 SE
2bf0: 4c 45 43 54 20 4e 55 4c 4c 2c 20 72 61 6e 64 6f  LECT NULL, rando
2c00: 6d 62 6c 6f 62 28 31 35 30 30 29 20 46 52 4f 4d  mblob(1500) FROM
2c10: 20 74 32 3b 20 20 20 20 2d 2d 20 20 38 0a 20 20   t2;    --  8.  
2c20: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
2c30: 74 32 20 53 45 4c 45 43 54 20 4e 55 4c 4c 2c 20  t2 SELECT NULL, 
2c40: 72 61 6e 64 6f 6d 62 6c 6f 62 28 31 35 30 30 29  randomblob(1500)
2c50: 20 46 52 4f 4d 20 74 32 3b 20 20 20 20 2d 2d 20   FROM t2;    -- 
2c60: 31 36 0a 20 20 20 20 20 20 49 4e 53 45 52 54 20  16.      INSERT 
2c70: 49 4e 54 4f 20 74 32 20 53 45 4c 45 43 54 20 4e  INTO t2 SELECT N
2c80: 55 4c 4c 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62 28  ULL, randomblob(
2c90: 31 35 30 30 29 20 46 52 4f 4d 20 74 32 3b 20 20  1500) FROM t2;  
2ca0: 20 20 2d 2d 20 33 32 0a 20 20 20 20 20 20 49 4e    -- 32.      IN
2cb0: 53 45 52 54 20 49 4e 54 4f 20 74 32 20 53 45 4c  SERT INTO t2 SEL
2cc0: 45 43 54 20 4e 55 4c 4c 2c 20 72 61 6e 64 6f 6d  ECT NULL, random
2cd0: 62 6c 6f 62 28 31 35 30 30 29 20 46 52 4f 4d 20  blob(1500) FROM 
2ce0: 74 32 3b 20 20 20 20 2d 2d 20 36 34 0a 20 20 20  t2;    -- 64.   
2cf0: 20 43 4f 4d 4d 49 54 3b 0a 20 20 20 20 43 52 45   COMMIT;.    CRE
2d00: 41 54 45 20 54 41 42 4c 45 20 74 31 28 61 20 50  ATE TABLE t1(a P
2d10: 52 49 4d 41 52 59 20 4b 45 59 2c 20 62 29 3b 0a  RIMARY KEY, b);.
2d20: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
2d30: 74 31 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d  t1 SELECT * FROM
2d40: 20 74 32 3b 0a 20 20 20 20 44 52 4f 50 20 54 41   t2;.    DROP TA
2d50: 42 4c 45 20 74 32 3b 0a 20 20 7d 0a 20 20 66 61  BLE t2;.  }.  fa
2d60: 75 6c 74 73 69 6d 5f 73 61 76 65 5f 61 6e 64 5f  ultsim_save_and_
2d70: 63 6c 6f 73 65 0a 7d 20 7b 7d 0a 64 6f 5f 66 61  close.} {}.do_fa
2d80: 75 6c 74 73 69 6d 5f 74 65 73 74 20 70 61 67 65  ultsim_test page
2d90: 72 66 61 75 6c 74 2d 37 20 2d 70 72 65 70 20 7b  rfault-7 -prep {
2da0: 0a 20 20 66 61 75 6c 74 73 69 6d 5f 72 65 73 74  .  faultsim_rest
2db0: 6f 72 65 5f 61 6e 64 5f 72 65 6f 70 65 6e 0a 20  ore_and_reopen. 
2dc0: 20 65 78 65 63 73 71 6c 20 7b 20 0a 20 20 20 20   execsql { .    
2dd0: 50 52 41 47 4d 41 20 63 61 63 68 65 5f 73 69 7a  PRAGMA cache_siz
2de0: 65 20 3d 20 31 30 3b 0a 20 20 20 20 42 45 47 49  e = 10;.    BEGI
2df0: 4e 3b 0a 20 20 20 20 20 20 55 50 44 41 54 45 20  N;.      UPDATE 
2e00: 74 31 20 53 45 54 20 62 20 3d 20 72 61 6e 64 6f  t1 SET b = rando
2e10: 6d 62 6c 6f 62 28 31 35 30 30 29 3b 0a 20 20 7d  mblob(1500);.  }
2e20: 0a 7d 20 2d 62 6f 64 79 20 7b 0a 20 20 65 78 65  .} -body {.  exe
2e30: 63 73 71 6c 20 7b 20 55 50 44 41 54 45 20 74 31  csql { UPDATE t1
2e40: 20 53 45 54 20 61 20 3d 20 36 35 2c 20 62 20 3d   SET a = 65, b =
2e50: 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 31 35 30 30   randomblob(1500
2e60: 29 20 57 48 45 52 45 20 28 61 2b 31 29 3e 32 30  ) WHERE (a+1)>20
2e70: 30 20 7d 0a 20 20 65 78 65 63 73 71 6c 20 43 4f  0 }.  execsql CO
2e80: 4d 4d 49 54 0a 7d 20 2d 74 65 73 74 20 7b 0a 20  MMIT.} -test {. 
2e90: 20 66 61 75 6c 74 73 69 6d 5f 74 65 73 74 5f 72   faultsim_test_r
2ea0: 65 73 75 6c 74 20 7b 30 20 7b 7d 7d 0a 20 20 66  esult {0 {}}.  f
2eb0: 61 75 6c 74 73 69 6d 5f 69 6e 74 65 67 72 69 74  aultsim_integrit
2ec0: 79 5f 63 68 65 63 6b 0a 7d 0a 0a 64 6f 5f 74 65  y_check.}..do_te
2ed0: 73 74 20 70 61 67 65 72 66 61 75 6c 74 2d 38 2d  st pagerfault-8-
2ee0: 70 72 65 31 20 7b 0a 20 20 66 61 75 6c 74 73 69  pre1 {.  faultsi
2ef0: 6d 5f 64 65 6c 65 74 65 5f 61 6e 64 5f 72 65 6f  m_delete_and_reo
2f00: 70 65 6e 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a  pen.  execsql {.
2f10: 20 20 20 20 50 52 41 47 4d 41 20 61 75 74 6f 5f      PRAGMA auto_
2f20: 76 61 63 75 75 6d 20 3d 20 31 3b 0a 20 20 20 20  vacuum = 1;.    
2f30: 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 31 28  CREATE TABLE t1(
2f40: 61 20 49 4e 54 45 47 45 52 20 50 52 49 4d 41 52  a INTEGER PRIMAR
2f50: 59 20 4b 45 59 2c 20 62 29 3b 0a 20 20 20 20 42  Y KEY, b);.    B
2f60: 45 47 49 4e 3b 0a 20 20 20 20 20 20 49 4e 53 45  EGIN;.      INSE
2f70: 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45  RT INTO t1 VALUE
2f80: 53 28 4e 55 4c 4c 2c 20 72 61 6e 64 6f 6d 62 6c  S(NULL, randombl
2f90: 6f 62 28 31 35 30 30 29 29 3b 0a 20 20 20 20 20  ob(1500));.     
2fa0: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
2fb0: 56 41 4c 55 45 53 28 4e 55 4c 4c 2c 20 72 61 6e  VALUES(NULL, ran
2fc0: 64 6f 6d 62 6c 6f 62 28 31 35 30 30 29 29 3b 0a  domblob(1500));.
2fd0: 20 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54        INSERT INT
2fe0: 4f 20 74 31 20 53 45 4c 45 43 54 20 4e 55 4c 4c  O t1 SELECT NULL
2ff0: 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 31 35 30  , randomblob(150
3000: 30 29 20 46 52 4f 4d 20 74 31 3b 20 20 20 20 2d  0) FROM t1;    -
3010: 2d 20 20 34 0a 20 20 20 20 20 20 49 4e 53 45 52  -  4.      INSER
3020: 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54  T INTO t1 SELECT
3030: 20 4e 55 4c 4c 2c 20 72 61 6e 64 6f 6d 62 6c 6f   NULL, randomblo
3040: 62 28 31 35 30 30 29 20 46 52 4f 4d 20 74 31 3b  b(1500) FROM t1;
3050: 20 20 20 20 2d 2d 20 20 38 0a 20 20 20 20 20 20      --  8.      
3060: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53  INSERT INTO t1 S
3070: 45 4c 45 43 54 20 4e 55 4c 4c 2c 20 72 61 6e 64  ELECT NULL, rand
3080: 6f 6d 62 6c 6f 62 28 31 35 30 30 29 20 46 52 4f  omblob(1500) FRO
3090: 4d 20 74 31 3b 20 20 20 20 2d 2d 20 31 36 0a 20  M t1;    -- 16. 
30a0: 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f       INSERT INTO
30b0: 20 74 31 20 53 45 4c 45 43 54 20 4e 55 4c 4c 2c   t1 SELECT NULL,
30c0: 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 31 35 30 30   randomblob(1500
30d0: 29 20 46 52 4f 4d 20 74 31 3b 20 20 20 20 2d 2d  ) FROM t1;    --
30e0: 20 33 32 0a 20 20 20 20 20 20 49 4e 53 45 52 54   32.      INSERT
30f0: 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20   INTO t1 SELECT 
3100: 4e 55 4c 4c 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62  NULL, randomblob
3110: 28 31 35 30 30 29 20 46 52 4f 4d 20 74 31 3b 20  (1500) FROM t1; 
3120: 20 20 20 2d 2d 20 36 34 0a 20 20 20 20 43 4f 4d     -- 64.    COM
3130: 4d 49 54 3b 0a 20 20 7d 0a 20 20 66 61 75 6c 74  MIT;.  }.  fault
3140: 73 69 6d 5f 73 61 76 65 5f 61 6e 64 5f 63 6c 6f  sim_save_and_clo
3150: 73 65 0a 20 20 73 65 74 20 66 69 6c 65 73 69 7a  se.  set filesiz
3160: 65 20 5b 66 69 6c 65 20 73 69 7a 65 20 74 65 73  e [file size tes
3170: 74 2e 64 62 5d 0a 20 20 73 65 74 20 7b 7d 20 7b  t.db].  set {} {
3180: 7d 0a 7d 20 7b 7d 0a 64 6f 5f 74 65 73 74 20 70  }.} {}.do_test p
3190: 61 67 65 72 66 61 75 6c 74 2d 38 2d 70 72 65 32  agerfault-8-pre2
31a0: 20 7b 0a 20 20 66 61 75 6c 74 73 69 6d 5f 72 65   {.  faultsim_re
31b0: 73 74 6f 72 65 5f 61 6e 64 5f 72 65 6f 70 65 6e  store_and_reopen
31c0: 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 44 45 4c  .  execsql { DEL
31d0: 45 54 45 20 46 52 4f 4d 20 74 31 20 57 48 45 52  ETE FROM t1 WHER
31e0: 45 20 61 3e 33 32 20 7d 0a 20 20 65 78 70 72 20  E a>32 }.  expr 
31f0: 7b 5b 66 69 6c 65 20 73 69 7a 65 20 74 65 73 74  {[file size test
3200: 2e 64 62 5d 20 3c 20 24 66 69 6c 65 73 69 7a 65  .db] < $filesize
3210: 7d 0a 7d 20 7b 31 7d 0a 64 6f 5f 66 61 75 6c 74  }.} {1}.do_fault
3220: 73 69 6d 5f 74 65 73 74 20 70 61 67 65 72 66 61  sim_test pagerfa
3230: 75 6c 74 2d 38 20 2d 70 72 65 70 20 7b 0a 20 20  ult-8 -prep {.  
3240: 66 61 75 6c 74 73 69 6d 5f 72 65 73 74 6f 72 65  faultsim_restore
3250: 5f 61 6e 64 5f 72 65 6f 70 65 6e 0a 20 20 65 78  _and_reopen.  ex
3260: 65 63 73 71 6c 20 7b 20 0a 20 20 20 20 42 45 47  ecsql { .    BEG
3270: 49 4e 3b 0a 20 20 20 20 44 45 4c 45 54 45 20 46  IN;.    DELETE F
3280: 52 4f 4d 20 74 31 20 57 48 45 52 45 20 61 3e 33  ROM t1 WHERE a>3
3290: 32 3b 0a 20 20 7d 0a 7d 20 2d 62 6f 64 79 20 7b  2;.  }.} -body {
32a0: 0a 20 20 65 78 65 63 73 71 6c 20 43 4f 4d 4d 49  .  execsql COMMI
32b0: 54 0a 7d 20 2d 74 65 73 74 20 7b 0a 20 20 66 61  T.} -test {.  fa
32c0: 75 6c 74 73 69 6d 5f 74 65 73 74 5f 72 65 73 75  ultsim_test_resu
32d0: 6c 74 20 7b 30 20 7b 7d 7d 0a 20 20 66 61 75 6c  lt {0 {}}.  faul
32e0: 74 73 69 6d 5f 69 6e 74 65 67 72 69 74 79 5f 63  tsim_integrity_c
32f0: 68 65 63 6b 0a 7d 0a 0a 23 2d 2d 2d 2d 2d 2d 2d  heck.}..#-------
3300: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
3310: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
3320: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
3330: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
3340: 2d 2d 0a 23 20 54 68 69 73 20 74 65 73 74 20 63  --.# This test c
3350: 61 73 65 20 69 73 20 73 70 65 63 69 61 6c 6c 79  ase is specially
3360: 20 64 65 73 69 67 6e 65 64 20 73 6f 20 74 68 61   designed so tha
3370: 74 20 64 75 72 69 6e 67 20 61 20 73 61 76 65 70  t during a savep
3380: 6f 69 6e 74 20 0a 23 20 72 6f 6c 6c 62 61 63 6b  oint .# rollback
3390: 2c 20 61 20 6e 65 77 20 63 61 63 68 65 20 65 6e  , a new cache en
33a0: 74 72 79 20 6d 75 73 74 20 62 65 20 61 6c 6c 6f  try must be allo
33b0: 63 61 74 65 64 20 28 73 65 65 20 63 6f 6d 6d 65  cated (see comme
33c0: 6e 74 73 20 73 75 72 72 6f 75 6e 64 69 6e 67 0a  nts surrounding.
33d0: 23 20 74 68 65 20 63 61 6c 6c 20 74 6f 20 73 71  # the call to sq
33e0: 6c 69 74 65 33 50 61 67 65 72 41 63 71 75 69 72  lite3PagerAcquir
33f0: 65 28 29 20 66 72 6f 6d 20 77 69 74 68 69 6e 20  e() from within 
3400: 70 61 67 65 72 5f 70 6c 61 79 62 61 63 6b 5f 6f  pager_playback_o
3410: 6e 65 5f 70 61 67 65 28 29 0a 23 20 66 6f 72 20  ne_page().# for 
3420: 64 65 74 61 69 6c 73 29 2e 20 54 65 73 74 20 74  details). Test t
3430: 68 65 20 65 66 66 65 63 74 73 20 6f 66 20 69 6e  he effects of in
3440: 6a 65 63 74 69 6e 67 20 61 6e 20 4f 4f 4d 20 61  jecting an OOM a
3450: 74 20 74 68 69 73 20 70 6f 69 6e 74 2e 0a 23 0a  t this point..#.
3460: 64 6f 5f 74 65 73 74 20 70 61 67 65 72 66 61 75  do_test pagerfau
3470: 6c 74 2d 39 2d 70 72 65 31 20 7b 0a 20 20 66 61  lt-9-pre1 {.  fa
3480: 75 6c 74 73 69 6d 5f 64 65 6c 65 74 65 5f 61 6e  ultsim_delete_an
3490: 64 5f 72 65 6f 70 65 6e 0a 20 20 65 78 65 63 73  d_reopen.  execs
34a0: 71 6c 20 7b 0a 20 20 20 20 50 52 41 47 4d 41 20  ql {.    PRAGMA 
34b0: 61 75 74 6f 5f 76 61 63 75 75 6d 20 3d 20 69 6e  auto_vacuum = in
34c0: 63 72 65 6d 65 6e 74 61 6c 3b 0a 20 20 20 20 43  cremental;.    C
34d0: 52 45 41 54 45 20 54 41 42 4c 45 20 74 31 28 78  REATE TABLE t1(x
34e0: 29 3b 0a 20 20 20 20 43 52 45 41 54 45 20 54 41  );.    CREATE TA
34f0: 42 4c 45 20 74 32 28 79 29 3b 0a 20 20 20 20 43  BLE t2(y);.    C
3500: 52 45 41 54 45 20 54 41 42 4c 45 20 74 33 28 7a  REATE TABLE t3(z
3510: 29 3b 0a 0a 20 20 20 20 49 4e 53 45 52 54 20 49  );..    INSERT I
3520: 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 72 61  NTO t1 VALUES(ra
3530: 6e 64 6f 6d 62 6c 6f 62 28 39 30 30 29 29 3b 0a  ndomblob(900));.
3540: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
3550: 74 31 20 56 41 4c 55 45 53 28 72 61 6e 64 6f 6d  t1 VALUES(random
3560: 62 6c 6f 62 28 39 30 30 29 29 3b 0a 20 20 20 20  blob(900));.    
3570: 44 45 4c 45 54 45 20 46 52 4f 4d 20 74 31 3b 0a  DELETE FROM t1;.
3580: 20 20 7d 0a 20 20 66 61 75 6c 74 73 69 6d 5f 73    }.  faultsim_s
3590: 61 76 65 5f 61 6e 64 5f 63 6c 6f 73 65 0a 7d 20  ave_and_close.} 
35a0: 7b 7d 0a 64 6f 5f 66 61 75 6c 74 73 69 6d 5f 74  {}.do_faultsim_t
35b0: 65 73 74 20 70 61 67 65 72 66 61 75 6c 74 2d 39  est pagerfault-9
35c0: 2e 31 20 2d 70 72 65 70 20 7b 0a 20 20 66 61 75  .1 -prep {.  fau
35d0: 6c 74 73 69 6d 5f 72 65 73 74 6f 72 65 5f 61 6e  ltsim_restore_an
35e0: 64 5f 72 65 6f 70 65 6e 0a 20 20 65 78 65 63 73  d_reopen.  execs
35f0: 71 6c 20 7b 20 0a 20 20 20 20 42 45 47 49 4e 3b  ql { .    BEGIN;
3600: 0a 20 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e  .      INSERT IN
3610: 54 4f 20 74 31 20 56 41 4c 55 45 53 28 72 61 6e  TO t1 VALUES(ran
3620: 64 6f 6d 62 6c 6f 62 28 39 30 30 29 29 3b 0a 20  domblob(900));. 
3630: 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f       INSERT INTO
3640: 20 74 31 20 56 41 4c 55 45 53 28 72 61 6e 64 6f   t1 VALUES(rando
3650: 6d 62 6c 6f 62 28 39 30 30 29 29 3b 0a 20 20 20  mblob(900));.   
3660: 20 20 20 44 52 4f 50 20 54 41 42 4c 45 20 74 33     DROP TABLE t3
3670: 3b 0a 20 20 20 20 20 20 44 52 4f 50 20 54 41 42  ;.      DROP TAB
3680: 4c 45 20 74 32 3b 0a 20 20 20 20 20 20 53 41 56  LE t2;.      SAV
3690: 45 50 4f 49 4e 54 20 61 62 63 3b 0a 20 20 20 20  EPOINT abc;.    
36a0: 20 20 20 20 50 52 41 47 4d 41 20 69 6e 63 72 65      PRAGMA incre
36b0: 6d 65 6e 74 61 6c 5f 76 61 63 75 75 6d 3b 0a 20  mental_vacuum;. 
36c0: 20 7d 0a 7d 20 2d 62 6f 64 79 20 7b 0a 20 20 65   }.} -body {.  e
36d0: 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 52 4f 4c  xecsql {.    ROL
36e0: 4c 42 41 43 4b 20 54 4f 20 61 62 63 3b 0a 20 20  LBACK TO abc;.  
36f0: 20 20 43 4f 4d 4d 49 54 3b 0a 20 20 20 20 50 52    COMMIT;.    PR
3700: 41 47 4d 41 20 66 72 65 65 6c 69 73 74 5f 63 6f  AGMA freelist_co
3710: 75 6e 74 0a 20 20 7d 0a 7d 20 2d 74 65 73 74 20  unt.  }.} -test 
3720: 7b 0a 20 20 66 61 75 6c 74 73 69 6d 5f 74 65 73  {.  faultsim_tes
3730: 74 5f 72 65 73 75 6c 74 20 7b 30 20 32 7d 0a 20  t_result {0 2}. 
3740: 20 66 61 75 6c 74 73 69 6d 5f 69 6e 74 65 67 72   faultsim_integr
3750: 69 74 79 5f 63 68 65 63 6b 0a 0a 20 20 73 65 74  ity_check..  set
3760: 20 73 6c 20 5b 64 62 20 6f 6e 65 20 7b 20 53 45   sl [db one { SE
3770: 4c 45 43 54 20 43 4f 41 4c 45 53 43 45 28 73 75  LECT COALESCE(su
3780: 6d 28 6c 65 6e 67 74 68 28 78 29 29 2c 20 27 6e  m(length(x)), 'n
3790: 75 6c 6c 27 29 20 46 52 4f 4d 20 74 31 20 7d 5d  ull') FROM t1 }]
37a0: 0a 20 20 69 66 20 7b 24 73 6c 21 3d 22 6e 75 6c  .  if {$sl!="nul
37b0: 6c 22 20 26 26 20 24 73 6c 21 3d 31 38 30 30 7d  l" && $sl!=1800}
37c0: 20 7b 20 0a 20 20 20 20 65 72 72 6f 72 20 22 43   { .    error "C
37d0: 6f 6e 74 65 6e 74 20 6c 6f 6f 6b 73 20 6e 6f 20  ontent looks no 
37e0: 67 6f 6f 64 2e 2e 2e 20 28 24 73 6c 29 22 20 0a  good... ($sl)" .
37f0: 20 20 7d 0a 7d 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d    }.}..#--------
3800: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
3810: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
3820: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
3830: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
3840: 2d 0a 23 20 54 65 73 74 20 66 61 75 6c 74 20 69  -.# Test fault i
3850: 6e 6a 65 63 74 69 6f 6e 20 77 69 74 68 20 61 20  njection with a 
3860: 74 65 6d 70 6f 72 61 72 79 20 64 61 74 61 62 61  temporary databa
3870: 73 65 20 66 69 6c 65 2e 0a 23 0a 66 6f 72 65 61  se file..#.forea
3880: 63 68 20 76 20 7b 61 20 62 7d 20 7b 0a 20 20 64  ch v {a b} {.  d
3890: 6f 5f 66 61 75 6c 74 73 69 6d 5f 74 65 73 74 20  o_faultsim_test 
38a0: 70 61 67 65 72 66 61 75 6c 74 2d 31 30 24 76 20  pagerfault-10$v 
38b0: 2d 70 72 65 70 20 7b 0a 20 20 20 20 73 71 6c 69  -prep {.    sqli
38c0: 74 65 33 20 64 62 20 22 22 0a 20 20 20 20 64 62  te3 db "".    db
38d0: 20 66 75 6e 63 20 61 5f 73 74 72 69 6e 67 20 61   func a_string a
38e0: 5f 73 74 72 69 6e 67 3b 0a 20 20 20 20 65 78 65  _string;.    exe
38f0: 63 73 71 6c 20 7b 0a 20 20 20 20 20 20 50 52 41  csql {.      PRA
3900: 47 4d 41 20 63 61 63 68 65 5f 73 69 7a 65 20 3d  GMA cache_size =
3910: 20 31 30 3b 0a 20 20 20 20 20 20 42 45 47 49 4e   10;.      BEGIN
3920: 3b 0a 20 20 20 20 20 20 20 20 43 52 45 41 54 45  ;.        CREATE
3930: 20 54 41 42 4c 45 20 78 78 28 61 2c 20 62 2c 20   TABLE xx(a, b, 
3940: 55 4e 49 51 55 45 28 61 2c 20 62 29 29 3b 0a 20  UNIQUE(a, b));. 
3950: 20 20 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e         INSERT IN
3960: 54 4f 20 78 78 20 56 41 4c 55 45 53 28 61 5f 73  TO xx VALUES(a_s
3970: 74 72 69 6e 67 28 32 30 30 29 2c 20 61 5f 73 74  tring(200), a_st
3980: 72 69 6e 67 28 32 30 30 29 29 3b 0a 20 20 20 20  ring(200));.    
3990: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
39a0: 78 78 20 53 45 4c 45 43 54 20 61 5f 73 74 72 69  xx SELECT a_stri
39b0: 6e 67 28 32 30 30 29 2c 20 61 5f 73 74 72 69 6e  ng(200), a_strin
39c0: 67 28 32 30 30 29 20 46 52 4f 4d 20 78 78 3b 0a  g(200) FROM xx;.
39d0: 20 20 20 20 20 20 20 20 49 4e 53 45 52 54 20 49          INSERT I
39e0: 4e 54 4f 20 78 78 20 53 45 4c 45 43 54 20 61 5f  NTO xx SELECT a_
39f0: 73 74 72 69 6e 67 28 32 30 30 29 2c 20 61 5f 73  string(200), a_s
3a00: 74 72 69 6e 67 28 32 30 30 29 20 46 52 4f 4d 20  tring(200) FROM 
3a10: 78 78 3b 0a 20 20 20 20 20 20 20 20 49 4e 53 45  xx;.        INSE
3a20: 52 54 20 49 4e 54 4f 20 78 78 20 53 45 4c 45 43  RT INTO xx SELEC
3a30: 54 20 61 5f 73 74 72 69 6e 67 28 32 30 30 29 2c  T a_string(200),
3a40: 20 61 5f 73 74 72 69 6e 67 28 32 30 30 29 20 46   a_string(200) F
3a50: 52 4f 4d 20 78 78 3b 0a 20 20 20 20 20 20 20 20  ROM xx;.        
3a60: 49 4e 53 45 52 54 20 49 4e 54 4f 20 78 78 20 53  INSERT INTO xx S
3a70: 45 4c 45 43 54 20 61 5f 73 74 72 69 6e 67 28 32  ELECT a_string(2
3a80: 30 30 29 2c 20 61 5f 73 74 72 69 6e 67 28 32 30  00), a_string(20
3a90: 30 29 20 46 52 4f 4d 20 78 78 3b 0a 20 20 20 20  0) FROM xx;.    
3aa0: 20 20 43 4f 4d 4d 49 54 3b 0a 20 20 20 20 7d 0a    COMMIT;.    }.
3ab0: 20 20 7d 20 2d 62 6f 64 79 20 7b 0a 20 20 20 20    } -body {.    
3ac0: 65 78 65 63 73 71 6c 20 7b 20 55 50 44 41 54 45  execsql { UPDATE
3ad0: 20 78 78 20 53 45 54 20 61 20 3d 20 61 5f 73 74   xx SET a = a_st
3ae0: 72 69 6e 67 28 33 30 30 29 20 7d 0a 20 20 7d 20  ring(300) }.  } 
3af0: 2d 74 65 73 74 20 7b 0a 20 20 20 20 66 61 75 6c  -test {.    faul
3b00: 74 73 69 6d 5f 74 65 73 74 5f 72 65 73 75 6c 74  tsim_test_result
3b10: 20 7b 30 20 7b 7d 7d 0a 20 20 20 20 69 66 20 7b   {0 {}}.    if {
3b20: 24 3a 3a 76 20 3d 3d 20 22 62 22 7d 20 7b 20 65  $::v == "b"} { e
3b30: 78 65 63 73 71 6c 20 7b 20 50 52 41 47 4d 41 20  xecsql { PRAGMA 
3b40: 6a 6f 75 72 6e 61 6c 5f 6d 6f 64 65 20 3d 20 54  journal_mode = T
3b50: 52 55 4e 43 41 54 45 20 7d 20 7d 0a 20 20 20 20  RUNCATE } }.    
3b60: 66 61 75 6c 74 73 69 6d 5f 69 6e 74 65 67 72 69  faultsim_integri
3b70: 74 79 5f 63 68 65 63 6b 0a 20 20 20 20 66 61 75  ty_check.    fau
3b80: 6c 74 73 69 6d 5f 69 6e 74 65 67 72 69 74 79 5f  ltsim_integrity_
3b90: 63 68 65 63 6b 0a 20 20 7d 0a 7d 0a 0a 23 2d 2d  check.  }.}..#--
3ba0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
3bb0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
3bc0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
3bd0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
3be0: 2d 2d 2d 2d 2d 2d 2d 0a 23 20 54 65 73 74 20 66  -------.# Test f
3bf0: 61 75 6c 74 20 69 6e 6a 65 63 74 69 6f 6e 20 77  ault injection w
3c00: 69 74 68 20 74 72 61 6e 73 61 63 74 69 6f 6e 20  ith transaction 
3c10: 73 61 76 65 70 6f 69 6e 74 73 20 28 73 61 76 65  savepoints (save
3c20: 70 6f 69 6e 74 73 20 63 72 65 61 74 65 64 0a 23  points created.#
3c30: 20 77 68 65 6e 20 61 20 53 41 56 45 50 4f 49 4e   when a SAVEPOIN
3c40: 54 20 63 6f 6d 6d 61 6e 64 20 69 73 20 65 78 65  T command is exe
3c50: 63 75 74 65 64 20 6f 75 74 73 69 64 65 20 6f 66  cuted outside of
3c60: 20 61 6e 79 20 6f 74 68 65 72 20 73 61 76 65 70   any other savep
3c70: 6f 69 6e 74 0a 23 20 6f 72 20 74 72 61 6e 73 61  oint.# or transa
3c80: 63 74 69 6f 6e 20 63 6f 6e 74 65 78 74 29 2e 0a  ction context)..
3c90: 23 0a 64 6f 5f 74 65 73 74 20 70 61 67 65 72 66  #.do_test pagerf
3ca0: 61 75 6c 74 2d 39 2d 70 72 65 31 20 7b 0a 20 20  ault-9-pre1 {.  
3cb0: 66 61 75 6c 74 73 69 6d 5f 64 65 6c 65 74 65 5f  faultsim_delete_
3cc0: 61 6e 64 5f 72 65 6f 70 65 6e 0a 20 20 64 62 20  and_reopen.  db 
3cd0: 66 75 6e 63 20 61 5f 73 74 72 69 6e 67 20 61 5f  func a_string a_
3ce0: 73 74 72 69 6e 67 3b 0a 20 20 65 78 65 63 73 71  string;.  execsq
3cf0: 6c 20 7b 0a 20 20 20 20 50 52 41 47 4d 41 20 61  l {.    PRAGMA a
3d00: 75 74 6f 5f 76 61 63 75 75 6d 20 3d 20 6f 6e 3b  uto_vacuum = on;
3d10: 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c  .    CREATE TABL
3d20: 45 20 74 31 28 78 20 55 4e 49 51 55 45 29 3b 0a  E t1(x UNIQUE);.
3d30: 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45      CREATE TABLE
3d40: 20 74 32 28 79 20 55 4e 49 51 55 45 29 3b 0a 20   t2(y UNIQUE);. 
3d50: 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20     CREATE TABLE 
3d60: 74 33 28 7a 20 55 4e 49 51 55 45 29 3b 0a 20 20  t3(z UNIQUE);.  
3d70: 20 20 42 45 47 49 4e 3b 0a 20 20 20 20 20 20 49    BEGIN;.      I
3d80: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41  NSERT INTO t1 VA
3d90: 4c 55 45 53 28 61 5f 73 74 72 69 6e 67 28 32 30  LUES(a_string(20
3da0: 32 29 29 3b 0a 20 20 20 20 20 20 49 4e 53 45 52  2));.      INSER
3db0: 54 20 49 4e 54 4f 20 74 32 20 56 41 4c 55 45 53  T INTO t2 VALUES
3dc0: 28 61 5f 73 74 72 69 6e 67 28 32 30 33 29 29 3b  (a_string(203));
3dd0: 0a 20 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e  .      INSERT IN
3de0: 54 4f 20 74 33 20 56 41 4c 55 45 53 28 61 5f 73  TO t3 VALUES(a_s
3df0: 74 72 69 6e 67 28 32 30 34 29 29 3b 0a 20 20 20  tring(204));.   
3e00: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
3e10: 31 20 53 45 4c 45 43 54 20 61 5f 73 74 72 69 6e  1 SELECT a_strin
3e20: 67 28 32 30 32 29 20 46 52 4f 4d 20 74 31 3b 0a  g(202) FROM t1;.
3e30: 20 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54        INSERT INT
3e40: 4f 20 74 31 20 53 45 4c 45 43 54 20 61 5f 73 74  O t1 SELECT a_st
3e50: 72 69 6e 67 28 32 30 33 29 20 46 52 4f 4d 20 74  ring(203) FROM t
3e60: 31 3b 0a 20 20 20 20 20 20 49 4e 53 45 52 54 20  1;.      INSERT 
3e70: 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20 61  INTO t1 SELECT a
3e80: 5f 73 74 72 69 6e 67 28 32 30 34 29 20 46 52 4f  _string(204) FRO
3e90: 4d 20 74 31 3b 0a 20 20 20 20 20 20 49 4e 53 45  M t1;.      INSE
3ea0: 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 43  RT INTO t1 SELEC
3eb0: 54 20 61 5f 73 74 72 69 6e 67 28 32 30 35 29 20  T a_string(205) 
3ec0: 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 20 20 49  FROM t1;.      I
3ed0: 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 20 53 45  NSERT INTO t2 SE
3ee0: 4c 45 43 54 20 61 5f 73 74 72 69 6e 67 28 6c 65  LECT a_string(le
3ef0: 6e 67 74 68 28 78 29 29 20 46 52 4f 4d 20 74 31  ngth(x)) FROM t1
3f00: 3b 0a 20 20 20 20 20 20 49 4e 53 45 52 54 20 49  ;.      INSERT I
3f10: 4e 54 4f 20 74 33 20 53 45 4c 45 43 54 20 61 5f  NTO t3 SELECT a_
3f20: 73 74 72 69 6e 67 28 6c 65 6e 67 74 68 28 78 29  string(length(x)
3f30: 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 43  ) FROM t1;.    C
3f40: 4f 4d 4d 49 54 3b 0a 20 20 7d 0a 20 20 66 61 75  OMMIT;.  }.  fau
3f50: 6c 74 73 69 6d 5f 73 61 76 65 5f 61 6e 64 5f 63  ltsim_save_and_c
3f60: 6c 6f 73 65 0a 7d 20 7b 7d 0a 64 6f 5f 66 61 75  lose.} {}.do_fau
3f70: 6c 74 73 69 6d 5f 74 65 73 74 20 70 61 67 65 72  ltsim_test pager
3f80: 66 61 75 6c 74 2d 31 31 20 2d 70 72 65 70 20 7b  fault-11 -prep {
3f90: 0a 20 20 66 61 75 6c 74 73 69 6d 5f 72 65 73 74  .  faultsim_rest
3fa0: 6f 72 65 5f 61 6e 64 5f 72 65 6f 70 65 6e 0a 20  ore_and_reopen. 
3fb0: 20 65 78 65 63 73 71 6c 20 7b 20 50 52 41 47 4d   execsql { PRAGM
3fc0: 41 20 63 61 63 68 65 5f 73 69 7a 65 20 3d 20 31  A cache_size = 1
3fd0: 30 20 7d 0a 7d 20 2d 62 6f 64 79 20 7b 0a 20 20  0 }.} -body {.  
3fe0: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 41  execsql {.    SA
3ff0: 56 45 50 4f 49 4e 54 20 74 72 61 6e 73 3b 0a 20  VEPOINT trans;. 
4000: 20 20 20 20 20 55 50 44 41 54 45 20 74 32 20 53       UPDATE t2 S
4010: 45 54 20 79 20 3d 20 79 7c 7c 27 32 27 3b 0a 20  ET y = y||'2';. 
4020: 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f       INSERT INTO
4030: 20 74 33 20 53 45 4c 45 43 54 20 2a 20 46 52 4f   t3 SELECT * FRO
4040: 4d 20 74 32 3b 0a 20 20 20 20 20 20 44 45 4c 45  M t2;.      DELE
4050: 54 45 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20  TE FROM t1;.    
4060: 52 4f 4c 4c 42 41 43 4b 20 54 4f 20 74 72 61 6e  ROLLBACK TO tran
4070: 73 3b 0a 20 20 20 20 55 50 44 41 54 45 20 74 31  s;.    UPDATE t1
4080: 20 53 45 54 20 78 20 3d 20 78 7c 7c 27 33 27 3b   SET x = x||'3';
4090: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
40a0: 20 74 32 20 53 45 4c 45 43 54 20 2a 20 46 52 4f   t2 SELECT * FRO
40b0: 4d 20 74 31 3b 0a 20 20 20 20 44 45 4c 45 54 45  M t1;.    DELETE
40c0: 20 46 52 4f 4d 20 74 33 3b 0a 20 20 20 20 52 45   FROM t3;.    RE
40d0: 4c 45 41 53 45 20 74 72 61 6e 73 3b 0a 20 20 7d  LEASE trans;.  }
40e0: 0a 7d 20 2d 74 65 73 74 20 7b 0a 20 20 66 61 75  .} -test {.  fau
40f0: 6c 74 73 69 6d 5f 74 65 73 74 5f 72 65 73 75 6c  ltsim_test_resul
4100: 74 20 7b 30 20 7b 7d 7d 0a 20 20 66 61 75 6c 74  t {0 {}}.  fault
4110: 73 69 6d 5f 69 6e 74 65 67 72 69 74 79 5f 63 68  sim_integrity_ch
4120: 65 63 6b 0a 7d 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d  eck.}..#--------
4130: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
4140: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
4150: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
4160: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
4170: 2d 0a 23 20 54 65 73 74 20 66 61 75 6c 74 20 69  -.# Test fault i
4180: 6e 6a 65 63 74 69 6f 6e 20 77 68 65 6e 20 77 72  njection when wr
4190: 69 74 69 6e 67 20 74 6f 20 61 20 64 61 74 61 62  iting to a datab
41a0: 61 73 65 20 66 69 6c 65 20 74 68 61 74 20 72 65  ase file that re
41b0: 73 69 64 65 73 20 6f 6e 0a 23 20 61 20 66 69 6c  sides on.# a fil
41c0: 65 2d 73 79 73 74 65 6d 20 77 69 74 68 20 61 20  e-system with a 
41d0: 73 65 63 74 6f 72 2d 73 69 7a 65 20 6c 61 72 67  sector-size larg
41e0: 65 72 20 74 68 61 6e 20 74 68 65 20 64 61 74 61  er than the data
41f0: 62 61 73 65 20 70 61 67 65 2d 73 69 7a 65 2e 0a  base page-size..
4200: 23 0a 64 6f 5f 74 65 73 74 20 70 61 67 65 72 66  #.do_test pagerf
4210: 61 75 6c 74 2d 31 32 2d 70 72 65 31 20 7b 0a 20  ault-12-pre1 {. 
4220: 20 74 65 73 74 76 66 73 20 73 73 5f 6c 61 79 65   testvfs ss_laye
4230: 72 20 2d 64 65 66 61 75 6c 74 20 31 0a 20 20 73  r -default 1.  s
4240: 73 5f 6c 61 79 65 72 20 73 65 63 74 6f 72 73 69  s_layer sectorsi
4250: 7a 65 20 34 30 39 36 0a 20 20 66 61 75 6c 74 73  ze 4096.  faults
4260: 69 6d 5f 64 65 6c 65 74 65 5f 61 6e 64 5f 72 65  im_delete_and_re
4270: 6f 70 65 6e 0a 20 20 64 62 20 66 75 6e 63 20 61  open.  db func a
4280: 5f 73 74 72 69 6e 67 20 61 5f 73 74 72 69 6e 67  _string a_string
4290: 3b 0a 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20  ;..  execsql {. 
42a0: 20 20 20 50 52 41 47 4d 41 20 70 61 67 65 5f 73     PRAGMA page_s
42b0: 69 7a 65 20 3d 20 31 30 32 34 3b 0a 20 20 20 20  ize = 1024;.    
42c0: 50 52 41 47 4d 41 20 6a 6f 75 72 6e 61 6c 5f 6d  PRAGMA journal_m
42d0: 6f 64 65 20 3d 20 50 45 52 53 49 53 54 3b 0a 20  ode = PERSIST;. 
42e0: 20 20 20 50 52 41 47 4d 41 20 63 61 63 68 65 5f     PRAGMA cache_
42f0: 73 69 7a 65 20 3d 20 31 30 3b 0a 20 20 20 20 42  size = 10;.    B
4300: 45 47 49 4e 3b 0a 20 20 20 20 20 20 43 52 45 41  EGIN;.      CREA
4310: 54 45 20 54 41 42 4c 45 20 74 31 28 78 2c 20 79  TE TABLE t1(x, y
4320: 20 55 4e 49 51 55 45 29 3b 0a 20 20 20 20 20 20   UNIQUE);.      
4330: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56  INSERT INTO t1 V
4340: 41 4c 55 45 53 28 61 5f 73 74 72 69 6e 67 28 33  ALUES(a_string(3
4350: 33 33 29 2c 20 61 5f 73 74 72 69 6e 67 28 34 34  33), a_string(44
4360: 34 29 29 3b 0a 20 20 20 20 20 20 49 4e 53 45 52  4));.      INSER
4370: 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54  T INTO t1 SELECT
4380: 20 61 5f 73 74 72 69 6e 67 28 33 33 33 2b 72 6f   a_string(333+ro
4390: 77 69 64 29 2c 20 61 5f 73 74 72 69 6e 67 28 34  wid), a_string(4
43a0: 34 34 2b 72 6f 77 69 64 29 20 46 52 4f 4d 20 74  44+rowid) FROM t
43b0: 31 3b 0a 20 20 20 20 20 20 49 4e 53 45 52 54 20  1;.      INSERT 
43c0: 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20 61  INTO t1 SELECT a
43d0: 5f 73 74 72 69 6e 67 28 33 33 33 2b 72 6f 77 69  _string(333+rowi
43e0: 64 29 2c 20 61 5f 73 74 72 69 6e 67 28 34 34 34  d), a_string(444
43f0: 2b 72 6f 77 69 64 29 20 46 52 4f 4d 20 74 31 3b  +rowid) FROM t1;
4400: 0a 20 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e  .      INSERT IN
4410: 54 4f 20 74 31 20 53 45 4c 45 43 54 20 61 5f 73  TO t1 SELECT a_s
4420: 74 72 69 6e 67 28 33 33 33 2b 72 6f 77 69 64 29  tring(333+rowid)
4430: 2c 20 61 5f 73 74 72 69 6e 67 28 34 34 34 2b 72  , a_string(444+r
4440: 6f 77 69 64 29 20 46 52 4f 4d 20 74 31 3b 0a 20  owid) FROM t1;. 
4450: 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f       INSERT INTO
4460: 20 74 31 20 53 45 4c 45 43 54 20 61 5f 73 74 72   t1 SELECT a_str
4470: 69 6e 67 28 33 33 33 2b 72 6f 77 69 64 29 2c 20  ing(333+rowid), 
4480: 61 5f 73 74 72 69 6e 67 28 34 34 34 2b 72 6f 77  a_string(444+row
4490: 69 64 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20  id) FROM t1;.   
44a0: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
44b0: 31 20 53 45 4c 45 43 54 20 61 5f 73 74 72 69 6e  1 SELECT a_strin
44c0: 67 28 34 34 29 2c 20 61 5f 73 74 72 69 6e 67 28  g(44), a_string(
44d0: 35 35 29 20 46 52 4f 4d 20 74 31 20 4c 49 4d 49  55) FROM t1 LIMI
44e0: 54 20 31 33 3b 0a 20 20 20 20 43 4f 4d 4d 49 54  T 13;.    COMMIT
44f0: 3b 0a 20 20 7d 0a 20 20 66 61 75 6c 74 73 69 6d  ;.  }.  faultsim
4500: 5f 73 61 76 65 5f 61 6e 64 5f 63 6c 6f 73 65 0a  _save_and_close.
4510: 7d 20 7b 7d 0a 64 6f 5f 66 61 75 6c 74 73 69 6d  } {}.do_faultsim
4520: 5f 74 65 73 74 20 70 61 67 65 72 66 61 75 6c 74  _test pagerfault
4530: 2d 31 32 20 2d 70 72 65 70 20 7b 0a 20 20 66 61  -12 -prep {.  fa
4540: 75 6c 74 73 69 6d 5f 72 65 73 74 6f 72 65 5f 61  ultsim_restore_a
4550: 6e 64 5f 72 65 6f 70 65 6e 0a 20 20 65 78 65 63  nd_reopen.  exec
4560: 73 71 6c 20 7b 20 50 52 41 47 4d 41 20 63 61 63  sql { PRAGMA cac
4570: 68 65 5f 73 69 7a 65 20 3d 20 31 30 20 7d 0a 20  he_size = 10 }. 
4580: 20 64 62 20 66 75 6e 63 20 61 5f 73 74 72 69 6e   db func a_strin
4590: 67 20 61 5f 73 74 72 69 6e 67 3b 0a 7d 20 2d 62  g a_string;.} -b
45a0: 6f 64 79 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  ody {.  execsql 
45b0: 7b 0a 20 20 20 20 55 50 44 41 54 45 20 74 31 20  {.    UPDATE t1 
45c0: 53 45 54 20 78 20 3d 20 61 5f 73 74 72 69 6e 67  SET x = a_string
45d0: 28 6c 65 6e 67 74 68 28 78 29 29 2c 20 79 20 3d  (length(x)), y =
45e0: 20 61 5f 73 74 72 69 6e 67 28 6c 65 6e 67 74 68   a_string(length
45f0: 28 79 29 29 3b 0a 20 20 7d 0a 7d 20 2d 74 65 73  (y));.  }.} -tes
4600: 74 20 7b 0a 20 20 66 61 75 6c 74 73 69 6d 5f 74  t {.  faultsim_t
4610: 65 73 74 5f 72 65 73 75 6c 74 20 7b 30 20 7b 7d  est_result {0 {}
4620: 7d 0a 20 20 66 61 75 6c 74 73 69 6d 5f 69 6e 74  }.  faultsim_int
4630: 65 67 72 69 74 79 5f 63 68 65 63 6b 0a 7d 0a 0a  egrity_check.}..
4640: 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  .#--------------
4650: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
4660: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
4670: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
4680: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 54 65  -----------.# Te
4690: 73 74 20 66 61 75 6c 74 20 69 6e 6a 65 63 74 69  st fault injecti
46a0: 6f 6e 20 77 68 65 6e 20 53 51 4c 69 74 65 20 6f  on when SQLite o
46b0: 70 65 6e 73 20 61 20 64 61 74 61 62 61 73 65 20  pens a database 
46c0: 77 68 65 72 65 20 74 68 65 20 73 69 7a 65 20 6f  where the size o
46d0: 66 20 74 68 65 0a 23 20 64 61 74 61 62 61 73 65  f the.# database
46e0: 20 66 69 6c 65 20 69 73 20 7a 65 72 6f 20 62 79   file is zero by
46f0: 74 65 73 20 62 75 74 20 74 68 65 20 61 63 63 6f  tes but the acco
4700: 6d 70 61 6e 79 69 6e 67 20 6a 6f 75 72 6e 61 6c  mpanying journal
4710: 20 66 69 6c 65 20 69 73 20 6c 61 72 67 65 72 0a   file is larger.
4720: 23 20 74 68 61 6e 20 74 68 61 74 2e 20 49 6e 20  # than that. In 
4730: 74 68 69 73 20 73 63 65 6e 61 72 69 6f 20 53 51  this scenario SQ
4740: 4c 69 74 65 20 73 68 6f 75 6c 64 20 64 65 6c 65  Lite should dele
4750: 74 65 20 74 68 65 20 6a 6f 75 72 6e 61 6c 20 66  te the journal f
4760: 69 6c 65 20 0a 23 20 77 69 74 68 6f 75 74 20 72  ile .# without r
4770: 6f 6c 6c 69 6e 67 20 69 74 20 62 61 63 6b 2c 20  olling it back, 
4780: 65 76 65 6e 20 69 66 20 69 74 20 69 73 20 69 6e  even if it is in
4790: 20 61 6c 6c 20 6f 74 68 65 72 20 72 65 73 70 65   all other respe
47a0: 63 74 73 20 61 20 76 61 6c 69 64 0a 23 20 68 6f  cts a valid.# ho
47b0: 74 2d 6a 6f 75 72 6e 61 6c 20 66 69 6c 65 2e 0a  t-journal file..
47c0: 23 0a 64 6f 5f 74 65 73 74 20 70 61 67 65 72 66  #.do_test pagerf
47d0: 61 75 6c 74 2d 31 33 2d 70 72 65 31 20 7b 0a 20  ault-13-pre1 {. 
47e0: 20 66 61 75 6c 74 73 69 6d 5f 64 65 6c 65 74 65   faultsim_delete
47f0: 5f 61 6e 64 5f 72 65 6f 70 65 6e 0a 20 20 64 62  _and_reopen.  db
4800: 20 66 75 6e 63 20 61 5f 73 74 72 69 6e 67 20 61   func a_string a
4810: 5f 73 74 72 69 6e 67 3b 0a 20 20 65 78 65 63 73  _string;.  execs
4820: 71 6c 20 7b 0a 20 20 20 20 50 52 41 47 4d 41 20  ql {.    PRAGMA 
4830: 6a 6f 75 72 6e 61 6c 5f 6d 6f 64 65 20 3d 20 50  journal_mode = P
4840: 45 52 53 49 53 54 3b 0a 20 20 20 20 42 45 47 49  ERSIST;.    BEGI
4850: 4e 3b 0a 20 20 20 20 20 20 43 52 45 41 54 45 20  N;.      CREATE 
4860: 54 41 42 4c 45 20 74 31 28 78 2c 20 79 20 55 4e  TABLE t1(x, y UN
4870: 49 51 55 45 29 3b 0a 20 20 20 20 20 20 49 4e 53  IQUE);.      INS
4880: 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55  ERT INTO t1 VALU
4890: 45 53 28 61 5f 73 74 72 69 6e 67 28 33 33 33 29  ES(a_string(333)
48a0: 2c 20 61 5f 73 74 72 69 6e 67 28 34 34 34 29 29  , a_string(444))
48b0: 3b 0a 20 20 20 20 43 4f 4d 4d 49 54 3b 0a 20 20  ;.    COMMIT;.  
48c0: 7d 0a 20 20 64 62 20 63 6c 6f 73 65 0a 20 20 66  }.  db close.  f
48d0: 69 6c 65 20 64 65 6c 65 74 65 20 2d 66 6f 72 63  ile delete -forc
48e0: 65 20 74 65 73 74 2e 64 62 0a 20 20 66 61 75 6c  e test.db.  faul
48f0: 74 73 69 6d 5f 73 61 76 65 0a 7d 20 7b 7d 0a 64  tsim_save.} {}.d
4900: 6f 5f 66 61 75 6c 74 73 69 6d 5f 74 65 73 74 20  o_faultsim_test 
4910: 70 61 67 65 72 66 61 75 6c 74 2d 31 33 20 2d 70  pagerfault-13 -p
4920: 72 65 70 20 7b 0a 20 20 66 61 75 6c 74 73 69 6d  rep {.  faultsim
4930: 5f 72 65 73 74 6f 72 65 5f 61 6e 64 5f 72 65 6f  _restore_and_reo
4940: 70 65 6e 0a 7d 20 2d 62 6f 64 79 20 7b 0a 20 20  pen.} -body {.  
4950: 65 78 65 63 73 71 6c 20 7b 20 43 52 45 41 54 45  execsql { CREATE
4960: 20 54 41 42 4c 45 20 78 78 28 61 2c 20 62 29 20   TABLE xx(a, b) 
4970: 7d 0a 7d 20 2d 74 65 73 74 20 7b 0a 20 20 66 61  }.} -test {.  fa
4980: 75 6c 74 73 69 6d 5f 74 65 73 74 5f 72 65 73 75  ultsim_test_resu
4990: 6c 74 20 7b 30 20 7b 7d 7d 0a 7d 0a 0a 0a 23 2d  lt {0 {}}.}...#-
49a0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
49b0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
49c0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
49d0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
49e0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 54 65 73  ----------.# Tes
49f0: 74 20 66 61 75 6c 74 20 69 6e 6a 65 63 74 69 6f  t fault injectio
4a00: 6e 20 69 6e 74 6f 20 61 20 73 6d 61 6c 6c 20 62  n into a small b
4a10: 61 63 6b 75 70 20 6f 70 65 72 61 74 69 6f 6e 2e  ackup operation.
4a20: 0a 23 0a 64 6f 5f 74 65 73 74 20 70 61 67 65 72  .#.do_test pager
4a30: 66 61 75 6c 74 2d 31 34 2d 70 72 65 31 20 7b 0a  fault-14-pre1 {.
4a40: 20 20 66 61 75 6c 74 73 69 6d 5f 64 65 6c 65 74    faultsim_delet
4a50: 65 5f 61 6e 64 5f 72 65 6f 70 65 6e 0a 20 20 64  e_and_reopen.  d
4a60: 62 20 66 75 6e 63 20 61 5f 73 74 72 69 6e 67 20  b func a_string 
4a70: 61 5f 73 74 72 69 6e 67 3b 0a 20 20 65 78 65 63  a_string;.  exec
4a80: 73 71 6c 20 7b 0a 20 20 20 20 50 52 41 47 4d 41  sql {.    PRAGMA
4a90: 20 6a 6f 75 72 6e 61 6c 5f 6d 6f 64 65 20 3d 20   journal_mode = 
4aa0: 50 45 52 53 49 53 54 3b 0a 20 20 20 20 41 54 54  PERSIST;.    ATT
4ab0: 41 43 48 20 27 74 65 73 74 2e 64 62 32 27 20 41  ACH 'test.db2' A
4ac0: 53 20 74 77 6f 3b 0a 20 20 20 20 42 45 47 49 4e  S two;.    BEGIN
4ad0: 3b 0a 20 20 20 20 20 20 43 52 45 41 54 45 20 54  ;.      CREATE T
4ae0: 41 42 4c 45 20 74 31 28 78 2c 20 79 20 55 4e 49  ABLE t1(x, y UNI
4af0: 51 55 45 29 3b 0a 20 20 20 20 20 20 43 52 45 41  QUE);.      CREA
4b00: 54 45 20 54 41 42 4c 45 20 74 77 6f 2e 74 32 28  TE TABLE two.t2(
4b10: 78 2c 20 79 20 55 4e 49 51 55 45 29 3b 0a 20 20  x, y UNIQUE);.  
4b20: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
4b30: 74 31 20 56 41 4c 55 45 53 28 61 5f 73 74 72 69  t1 VALUES(a_stri
4b40: 6e 67 28 33 33 33 29 2c 20 61 5f 73 74 72 69 6e  ng(333), a_strin
4b50: 67 28 34 34 34 29 29 3b 0a 20 20 20 20 20 20 49  g(444));.      I
4b60: 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 20 56 41  NSERT INTO t2 VA
4b70: 4c 55 45 53 28 61 5f 73 74 72 69 6e 67 28 33 33  LUES(a_string(33
4b80: 33 29 2c 20 61 5f 73 74 72 69 6e 67 28 34 34 34  3), a_string(444
4b90: 29 29 3b 0a 20 20 20 20 43 4f 4d 4d 49 54 3b 0a  ));.    COMMIT;.
4ba0: 20 20 7d 0a 20 20 66 61 75 6c 74 73 69 6d 5f 73    }.  faultsim_s
4bb0: 61 76 65 5f 61 6e 64 5f 63 6c 6f 73 65 0a 7d 20  ave_and_close.} 
4bc0: 7b 7d 0a 0a 64 6f 5f 66 61 75 6c 74 73 69 6d 5f  {}..do_faultsim_
4bd0: 74 65 73 74 20 70 61 67 65 72 66 61 75 6c 74 2d  test pagerfault-
4be0: 31 34 61 20 2d 70 72 65 70 20 7b 0a 20 20 66 61  14a -prep {.  fa
4bf0: 75 6c 74 73 69 6d 5f 72 65 73 74 6f 72 65 5f 61  ultsim_restore_a
4c00: 6e 64 5f 72 65 6f 70 65 6e 0a 7d 20 2d 62 6f 64  nd_reopen.} -bod
4c10: 79 20 7b 0a 20 20 69 66 20 7b 5b 63 61 74 63 68  y {.  if {[catch
4c20: 20 7b 64 62 20 62 61 63 6b 75 70 20 74 65 73 74   {db backup test
4c30: 2e 64 62 32 7d 20 6d 73 67 5d 7d 20 7b 20 65 72  .db2} msg]} { er
4c40: 72 6f 72 20 5b 72 65 67 73 75 62 20 7b 2e 2a 3a  ror [regsub {.*:
4c50: 20 7d 20 24 6d 73 67 20 7b 7d 5d 20 7d 0a 7d 20   } $msg {}] }.} 
4c60: 2d 74 65 73 74 20 7b 0a 20 20 66 61 75 6c 74 73  -test {.  faults
4c70: 69 6d 5f 74 65 73 74 5f 72 65 73 75 6c 74 20 7b  im_test_result {
4c80: 30 20 7b 7d 7d 20 7b 31 20 7b 7d 7d 20 7b 31 20  0 {}} {1 {}} {1 
4c90: 7b 53 51 4c 20 6c 6f 67 69 63 20 65 72 72 6f 72  {SQL logic error
4ca0: 20 6f 72 20 6d 69 73 73 69 6e 67 20 64 61 74 61   or missing data
4cb0: 62 61 73 65 7d 7d 0a 7d 0a 64 6f 5f 66 61 75 6c  base}}.}.do_faul
4cc0: 74 73 69 6d 5f 74 65 73 74 20 70 61 67 65 72 66  tsim_test pagerf
4cd0: 61 75 6c 74 2d 31 34 62 20 2d 70 72 65 70 20 7b  ault-14b -prep {
4ce0: 0a 20 20 66 61 75 6c 74 73 69 6d 5f 72 65 73 74  .  faultsim_rest
4cf0: 6f 72 65 5f 61 6e 64 5f 72 65 6f 70 65 6e 0a 20  ore_and_reopen. 
4d00: 20 73 71 6c 69 74 65 33 20 64 62 32 20 22 22 0a   sqlite3 db2 "".
4d10: 20 20 64 62 32 20 65 76 61 6c 20 7b 20 50 52 41    db2 eval { PRA
4d20: 47 4d 41 20 70 61 67 65 5f 73 69 7a 65 20 3d 20  GMA page_size = 
4d30: 34 30 39 36 3b 20 43 52 45 41 54 45 20 54 41 42  4096; CREATE TAB
4d40: 4c 45 20 78 78 28 61 29 20 7d 0a 7d 20 2d 62 6f  LE xx(a) }.} -bo
4d50: 64 79 20 7b 0a 20 20 73 71 6c 69 74 65 33 5f 62  dy {.  sqlite3_b
4d60: 61 63 6b 75 70 20 42 20 64 62 32 20 6d 61 69 6e  ackup B db2 main
4d70: 20 64 62 20 6d 61 69 6e 0a 20 20 42 20 73 74 65   db main.  B ste
4d80: 70 20 32 30 30 0a 20 20 73 65 74 20 72 63 20 5b  p 200.  set rc [
4d90: 42 20 66 69 6e 69 73 68 5d 0a 20 20 69 66 20 7b  B finish].  if {
4da0: 5b 73 74 72 69 6e 67 20 6d 61 74 63 68 20 53 51  [string match SQ
4db0: 4c 49 54 45 5f 49 4f 45 52 52 5f 2a 20 24 72 63  LITE_IOERR_* $rc
4dc0: 5d 7d 20 7b 73 65 74 20 72 63 20 53 51 4c 49 54  ]} {set rc SQLIT
4dd0: 45 5f 49 4f 45 52 52 7d 0a 20 20 69 66 20 7b 24  E_IOERR}.  if {$
4de0: 72 63 20 21 3d 20 22 53 51 4c 49 54 45 5f 4f 4b  rc != "SQLITE_OK
4df0: 22 7d 20 7b 20 65 72 72 6f 72 20 5b 73 71 6c 69  "} { error [sqli
4e00: 74 65 33 5f 74 65 73 74 5f 65 72 72 73 74 72 20  te3_test_errstr 
4e10: 24 72 63 5d 20 7d 0a 20 20 73 65 74 20 7b 7d 20  $rc] }.  set {} 
4e20: 7b 7d 0a 7d 20 2d 74 65 73 74 20 7b 0a 20 20 66  {}.} -test {.  f
4e30: 61 75 6c 74 73 69 6d 5f 74 65 73 74 5f 72 65 73  aultsim_test_res
4e40: 75 6c 74 20 7b 30 20 7b 7d 7d 0a 7d 0a 0a 64 6f  ult {0 {}}.}..do
4e50: 5f 74 65 73 74 20 70 61 67 65 72 66 61 75 6c 74  _test pagerfault
4e60: 2d 31 35 2d 70 72 65 31 20 7b 0a 20 20 66 61 75  -15-pre1 {.  fau
4e70: 6c 74 73 69 6d 5f 64 65 6c 65 74 65 5f 61 6e 64  ltsim_delete_and
4e80: 5f 72 65 6f 70 65 6e 0a 20 20 64 62 20 66 75 6e  _reopen.  db fun
4e90: 63 20 61 5f 73 74 72 69 6e 67 20 61 5f 73 74 72  c a_string a_str
4ea0: 69 6e 67 3b 0a 20 20 65 78 65 63 73 71 6c 20 7b  ing;.  execsql {
4eb0: 0a 20 20 20 20 42 45 47 49 4e 3b 0a 20 20 20 20  .    BEGIN;.    
4ec0: 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74    CREATE TABLE t
4ed0: 31 28 78 2c 20 79 20 55 4e 49 51 55 45 29 3b 0a  1(x, y UNIQUE);.
4ee0: 20 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54        INSERT INT
4ef0: 4f 20 74 31 20 56 41 4c 55 45 53 28 61 5f 73 74  O t1 VALUES(a_st
4f00: 72 69 6e 67 28 31 31 29 2c 20 61 5f 73 74 72 69  ring(11), a_stri
4f10: 6e 67 28 32 32 29 29 3b 0a 20 20 20 20 20 20 49  ng(22));.      I
4f20: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41  NSERT INTO t1 VA
4f30: 4c 55 45 53 28 61 5f 73 74 72 69 6e 67 28 31 31  LUES(a_string(11
4f40: 29 2c 20 61 5f 73 74 72 69 6e 67 28 32 32 29 29  ), a_string(22))
4f50: 3b 0a 20 20 20 20 43 4f 4d 4d 49 54 3b 0a 20 20  ;.    COMMIT;.  
4f60: 7d 0a 20 20 66 61 75 6c 74 73 69 6d 5f 73 61 76  }.  faultsim_sav
4f70: 65 5f 61 6e 64 5f 63 6c 6f 73 65 0a 7d 20 7b 7d  e_and_close.} {}
4f80: 0a 64 6f 5f 66 61 75 6c 74 73 69 6d 5f 74 65 73  .do_faultsim_tes
4f90: 74 20 70 61 67 65 72 66 61 75 6c 74 2d 31 35 20  t pagerfault-15 
4fa0: 2d 70 72 65 70 20 7b 0a 20 20 66 61 75 6c 74 73  -prep {.  faults
4fb0: 69 6d 5f 72 65 73 74 6f 72 65 5f 61 6e 64 5f 72  im_restore_and_r
4fc0: 65 6f 70 65 6e 0a 20 20 64 62 20 66 75 6e 63 20  eopen.  db func 
4fd0: 61 5f 73 74 72 69 6e 67 20 61 5f 73 74 72 69 6e  a_string a_strin
4fe0: 67 3b 0a 7d 20 2d 62 6f 64 79 20 7b 0a 20 20 64  g;.} -body {.  d
4ff0: 62 20 65 76 61 6c 20 7b 20 53 45 4c 45 43 54 20  b eval { SELECT 
5000: 2a 20 46 52 4f 4d 20 74 31 20 4c 49 4d 49 54 20  * FROM t1 LIMIT 
5010: 31 20 7d 20 7b 0a 20 20 20 20 65 78 65 63 73 71  1 } {.    execsq
5020: 6c 20 7b 0a 20 20 20 20 20 20 42 45 47 49 4e 3b  l {.      BEGIN;
5030: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
5040: 56 41 4c 55 45 53 28 61 5f 73 74 72 69 6e 67 28  VALUES(a_string(
5050: 33 33 33 29 2c 20 61 5f 73 74 72 69 6e 67 28 35  333), a_string(5
5060: 35 35 29 29 3b 20 43 4f 4d 4d 49 54 3b 0a 20 20  55)); COMMIT;.  
5070: 20 20 20 20 42 45 47 49 4e 3b 20 49 4e 53 45 52      BEGIN; INSER
5080: 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53  T INTO t1 VALUES
5090: 28 61 5f 73 74 72 69 6e 67 28 33 33 33 29 2c 20  (a_string(333), 
50a0: 61 5f 73 74 72 69 6e 67 28 35 35 35 29 29 3b 20  a_string(555)); 
50b0: 43 4f 4d 4d 49 54 3b 0a 20 20 20 20 7d 0a 20 20  COMMIT;.    }.  
50c0: 7d 0a 7d 20 2d 74 65 73 74 20 7b 0a 20 20 66 61  }.} -test {.  fa
50d0: 75 6c 74 73 69 6d 5f 74 65 73 74 5f 72 65 73 75  ultsim_test_resu
50e0: 6c 74 20 7b 30 20 7b 7d 7d 0a 20 20 66 61 75 6c  lt {0 {}}.  faul
50f0: 74 73 69 6d 5f 69 6e 74 65 67 72 69 74 79 5f 63  tsim_integrity_c
5100: 68 65 63 6b 0a 7d 0a 0a 0a 64 6f 5f 74 65 73 74  heck.}...do_test
5110: 20 70 61 67 65 72 66 61 75 6c 74 2d 31 36 2d 70   pagerfault-16-p
5120: 72 65 31 20 7b 0a 20 20 66 61 75 6c 74 73 69 6d  re1 {.  faultsim
5130: 5f 64 65 6c 65 74 65 5f 61 6e 64 5f 72 65 6f 70  _delete_and_reop
5140: 65 6e 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 43  en.  execsql { C
5150: 52 45 41 54 45 20 54 41 42 4c 45 20 74 31 28 78  REATE TABLE t1(x
5160: 2c 20 79 20 55 4e 49 51 55 45 29 20 7d 0a 20 20  , y UNIQUE) }.  
5170: 66 61 75 6c 74 73 69 6d 5f 73 61 76 65 5f 61 6e  faultsim_save_an
5180: 64 5f 63 6c 6f 73 65 0a 7d 20 7b 7d 0a 64 6f 5f  d_close.} {}.do_
5190: 66 61 75 6c 74 73 69 6d 5f 74 65 73 74 20 70 61  faultsim_test pa
51a0: 67 65 72 66 61 75 6c 74 2d 31 36 20 2d 70 72 65  gerfault-16 -pre
51b0: 70 20 7b 0a 20 20 66 61 75 6c 74 73 69 6d 5f 72  p {.  faultsim_r
51c0: 65 73 74 6f 72 65 5f 61 6e 64 5f 72 65 6f 70 65  estore_and_reope
51d0: 6e 0a 7d 20 2d 62 6f 64 79 20 7b 0a 20 20 65 78  n.} -body {.  ex
51e0: 65 63 73 71 6c 20 7b 0a 20 20 20 20 50 52 41 47  ecsql {.    PRAG
51f0: 4d 41 20 6c 6f 63 6b 69 6e 67 5f 6d 6f 64 65 20  MA locking_mode 
5200: 3d 20 65 78 63 6c 75 73 69 76 65 3b 0a 20 20 20  = exclusive;.   
5210: 20 50 52 41 47 4d 41 20 6a 6f 75 72 6e 61 6c 5f   PRAGMA journal_
5220: 6d 6f 64 65 20 3d 20 77 61 6c 3b 0a 20 20 20 20  mode = wal;.    
5230: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56  INSERT INTO t1 V
5240: 41 4c 55 45 53 28 31 2c 20 32 29 3b 0a 20 20 20  ALUES(1, 2);.   
5250: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
5260: 56 41 4c 55 45 53 28 33 2c 20 34 29 3b 0a 20 20  VALUES(3, 4);.  
5270: 20 20 50 52 41 47 4d 41 20 6a 6f 75 72 6e 61 6c    PRAGMA journal
5280: 5f 6d 6f 64 65 20 3d 20 64 65 6c 65 74 65 3b 0a  _mode = delete;.
5290: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
52a0: 74 31 20 56 41 4c 55 45 53 28 34 2c 20 35 29 3b  t1 VALUES(4, 5);
52b0: 0a 20 20 20 20 50 52 41 47 4d 41 20 6a 6f 75 72  .    PRAGMA jour
52c0: 6e 61 6c 5f 6d 6f 64 65 20 3d 20 77 61 6c 3b 0a  nal_mode = wal;.
52d0: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
52e0: 74 31 20 56 41 4c 55 45 53 28 36 2c 20 37 29 3b  t1 VALUES(6, 7);
52f0: 0a 20 20 20 20 50 52 41 47 4d 41 20 6a 6f 75 72  .    PRAGMA jour
5300: 6e 61 6c 5f 6d 6f 64 65 20 3d 20 70 65 72 73 69  nal_mode = persi
5310: 73 74 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49  st;.    INSERT I
5320: 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 38 2c  NTO t1 VALUES(8,
5330: 20 39 29 3b 0a 20 20 7d 0a 7d 20 2d 74 65 73 74   9);.  }.} -test
5340: 20 7b 0a 20 20 66 61 75 6c 74 73 69 6d 5f 74 65   {.  faultsim_te
5350: 73 74 5f 72 65 73 75 6c 74 20 7b 30 20 7b 65 78  st_result {0 {ex
5360: 63 6c 75 73 69 76 65 20 77 61 6c 20 64 65 6c 65  clusive wal dele
5370: 74 65 20 77 61 6c 20 70 65 72 73 69 73 74 7d 7d  te wal persist}}
5380: 0a 20 20 66 61 75 6c 74 73 69 6d 5f 69 6e 74 65  .  faultsim_inte
5390: 67 72 69 74 79 5f 63 68 65 63 6b 0a 7d 0a 0a 0a  grity_check.}...
53a0: 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  #---------------
53b0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
53c0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
53d0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
53e0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 54 65 73  ----------.# Tes
53f0: 74 20 66 61 75 6c 74 20 69 6e 6a 65 63 74 69 6f  t fault injectio
5400: 6e 20 77 68 69 6c 65 20 63 68 61 6e 67 69 6e 67  n while changing
5410: 20 69 6e 74 6f 20 61 6e 64 20 6f 75 74 20 6f 66   into and out of
5420: 20 57 41 4c 20 6d 6f 64 65 2e 0a 23 0a 64 6f 5f   WAL mode..#.do_
5430: 74 65 73 74 20 70 61 67 65 72 66 61 75 6c 74 2d  test pagerfault-
5440: 31 37 2d 70 72 65 31 20 7b 0a 20 20 66 61 75 6c  17-pre1 {.  faul
5450: 74 73 69 6d 5f 64 65 6c 65 74 65 5f 61 6e 64 5f  tsim_delete_and_
5460: 72 65 6f 70 65 6e 0a 20 20 65 78 65 63 73 71 6c  reopen.  execsql
5470: 20 7b 0a 20 20 20 20 43 52 45 41 54 45 20 54 41   {.    CREATE TA
5480: 42 4c 45 20 74 31 28 61 20 50 52 49 4d 41 52 59  BLE t1(a PRIMARY
5490: 20 4b 45 59 2c 20 62 29 3b 0a 20 20 20 20 49 4e   KEY, b);.    IN
54a0: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c  SERT INTO t1 VAL
54b0: 55 45 53 28 31 38 36 32 2c 20 27 42 6f 74 68 61  UES(1862, 'Botha
54c0: 27 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49  ');.    INSERT I
54d0: 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 31 38  NTO t1 VALUES(18
54e0: 37 30 2c 20 27 53 6d 75 74 73 27 29 3b 0a 20 20  70, 'Smuts');.  
54f0: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31    INSERT INTO t1
5500: 20 56 41 4c 55 45 53 28 31 38 36 36 2c 20 27 48   VALUES(1866, 'H
5510: 65 72 74 7a 6f 67 27 29 3b 0a 20 20 7d 0a 20 20  ertzog');.  }.  
5520: 66 61 75 6c 74 73 69 6d 5f 73 61 76 65 5f 61 6e  faultsim_save_an
5530: 64 5f 63 6c 6f 73 65 0a 7d 20 7b 7d 0a 64 6f 5f  d_close.} {}.do_
5540: 66 61 75 6c 74 73 69 6d 5f 74 65 73 74 20 70 61  faultsim_test pa
5550: 67 65 72 66 61 75 6c 74 2d 31 37 61 20 2d 70 72  gerfault-17a -pr
5560: 65 70 20 7b 0a 20 20 66 61 75 6c 74 73 69 6d 5f  ep {.  faultsim_
5570: 72 65 73 74 6f 72 65 5f 61 6e 64 5f 72 65 6f 70  restore_and_reop
5580: 65 6e 0a 7d 20 2d 62 6f 64 79 20 7b 0a 20 20 65  en.} -body {.  e
5590: 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 50 52 41  xecsql {.    PRA
55a0: 47 4d 41 20 6a 6f 75 72 6e 61 6c 5f 6d 6f 64 65  GMA journal_mode
55b0: 20 3d 20 77 61 6c 3b 0a 20 20 20 20 50 52 41 47   = wal;.    PRAG
55c0: 4d 41 20 6a 6f 75 72 6e 61 6c 5f 6d 6f 64 65 20  MA journal_mode 
55d0: 3d 20 64 65 6c 65 74 65 3b 0a 20 20 7d 0a 7d 20  = delete;.  }.} 
55e0: 2d 74 65 73 74 20 7b 0a 20 20 66 61 75 6c 74 73  -test {.  faults
55f0: 69 6d 5f 74 65 73 74 5f 72 65 73 75 6c 74 20 7b  im_test_result {
5600: 30 20 7b 77 61 6c 20 64 65 6c 65 74 65 7d 7d 0a  0 {wal delete}}.
5610: 20 20 66 61 75 6c 74 73 69 6d 5f 69 6e 74 65 67    faultsim_integ
5620: 72 69 74 79 5f 63 68 65 63 6b 0a 7d 0a 64 6f 5f  rity_check.}.do_
5630: 66 61 75 6c 74 73 69 6d 5f 74 65 73 74 20 70 61  faultsim_test pa
5640: 67 65 72 66 61 75 6c 74 2d 31 37 62 20 2d 70 72  gerfault-17b -pr
5650: 65 70 20 7b 0a 20 20 66 61 75 6c 74 73 69 6d 5f  ep {.  faultsim_
5660: 72 65 73 74 6f 72 65 5f 61 6e 64 5f 72 65 6f 70  restore_and_reop
5670: 65 6e 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 50  en.  execsql { P
5680: 52 41 47 4d 41 20 73 79 6e 63 68 72 6f 6e 6f 75  RAGMA synchronou
5690: 73 20 3d 20 4f 46 46 20 7d 0a 7d 20 2d 62 6f 64  s = OFF }.} -bod
56a0: 79 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a  y {.  execsql {.
56b0: 20 20 20 20 50 52 41 47 4d 41 20 6a 6f 75 72 6e      PRAGMA journ
56c0: 61 6c 5f 6d 6f 64 65 20 3d 20 77 61 6c 3b 0a 20  al_mode = wal;. 
56d0: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
56e0: 31 20 56 41 4c 55 45 53 28 32 32 2c 20 27 43 6c  1 VALUES(22, 'Cl
56f0: 61 72 6b 65 27 29 3b 0a 20 20 20 20 50 52 41 47  arke');.    PRAG
5700: 4d 41 20 6a 6f 75 72 6e 61 6c 5f 6d 6f 64 65 20  MA journal_mode 
5710: 3d 20 64 65 6c 65 74 65 3b 0a 20 20 7d 0a 7d 20  = delete;.  }.} 
5720: 2d 74 65 73 74 20 7b 0a 20 20 66 61 75 6c 74 73  -test {.  faults
5730: 69 6d 5f 74 65 73 74 5f 72 65 73 75 6c 74 20 7b  im_test_result {
5740: 30 20 7b 77 61 6c 20 64 65 6c 65 74 65 7d 7d 0a  0 {wal delete}}.
5750: 20 20 66 61 75 6c 74 73 69 6d 5f 69 6e 74 65 67    faultsim_integ
5760: 72 69 74 79 5f 63 68 65 63 6b 0a 7d 0a 64 6f 5f  rity_check.}.do_
5770: 66 61 75 6c 74 73 69 6d 5f 74 65 73 74 20 70 61  faultsim_test pa
5780: 67 65 72 66 61 75 6c 74 2d 31 37 63 20 2d 70 72  gerfault-17c -pr
5790: 65 70 20 7b 0a 20 20 66 61 75 6c 74 73 69 6d 5f  ep {.  faultsim_
57a0: 72 65 73 74 6f 72 65 5f 61 6e 64 5f 72 65 6f 70  restore_and_reop
57b0: 65 6e 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 0a  en.  execsql { .
57c0: 20 20 20 20 50 52 41 47 4d 41 20 6c 6f 63 6b 69      PRAGMA locki
57d0: 6e 67 5f 6d 6f 64 65 20 3d 20 65 78 63 6c 75 73  ng_mode = exclus
57e0: 69 76 65 3b 0a 20 20 20 20 50 52 41 47 4d 41 20  ive;.    PRAGMA 
57f0: 6a 6f 75 72 6e 61 6c 5f 6d 6f 64 65 20 3d 20 77  journal_mode = w
5800: 61 6c 3b 0a 20 20 7d 0a 7d 20 2d 62 6f 64 79 20  al;.  }.} -body 
5810: 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 50 52  {.  execsql { PR
5820: 41 47 4d 41 20 6a 6f 75 72 6e 61 6c 5f 6d 6f 64  AGMA journal_mod
5830: 65 20 3d 20 64 65 6c 65 74 65 20 7d 0a 7d 20 2d  e = delete }.} -
5840: 74 65 73 74 20 7b 0a 20 20 66 61 75 6c 74 73 69  test {.  faultsi
5850: 6d 5f 74 65 73 74 5f 72 65 73 75 6c 74 20 7b 30  m_test_result {0
5860: 20 64 65 6c 65 74 65 7d 0a 20 20 66 61 75 6c 74   delete}.  fault
5870: 73 69 6d 5f 69 6e 74 65 67 72 69 74 79 5f 63 68  sim_integrity_ch
5880: 65 63 6b 0a 7d 0a 64 6f 5f 66 61 75 6c 74 73 69  eck.}.do_faultsi
5890: 6d 5f 74 65 73 74 20 70 61 67 65 72 66 61 75 6c  m_test pagerfaul
58a0: 74 2d 31 37 64 20 2d 70 72 65 70 20 7b 0a 20 20  t-17d -prep {.  
58b0: 66 61 75 6c 74 73 69 6d 5f 72 65 73 74 6f 72 65  faultsim_restore
58c0: 5f 61 6e 64 5f 72 65 6f 70 65 6e 0a 20 20 73 71  _and_reopen.  sq
58d0: 6c 69 74 65 33 20 64 62 32 20 74 65 73 74 2e 64  lite3 db2 test.d
58e0: 62 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 50 52  b.  execsql { PR
58f0: 41 47 4d 41 20 6a 6f 75 72 6e 61 6c 5f 6d 6f 64  AGMA journal_mod
5900: 65 20 3d 20 64 65 6c 65 74 65 20 7d 0a 20 20 65  e = delete }.  e
5910: 78 65 63 73 71 6c 20 7b 20 50 52 41 47 4d 41 20  xecsql { PRAGMA 
5920: 6a 6f 75 72 6e 61 6c 5f 6d 6f 64 65 20 3d 20 77  journal_mode = w
5930: 61 6c 20 7d 0a 20 20 65 78 65 63 73 71 6c 20 7b  al }.  execsql {
5940: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
5950: 56 41 4c 55 45 53 28 39 39 2c 20 27 42 72 61 64  VALUES(99, 'Brad
5960: 6d 61 6e 27 29 20 7d 20 64 62 32 0a 7d 20 2d 62  man') } db2.} -b
5970: 6f 64 79 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  ody {.  execsql 
5980: 7b 20 50 52 41 47 4d 41 20 6a 6f 75 72 6e 61 6c  { PRAGMA journal
5990: 5f 6d 6f 64 65 20 3d 20 64 65 6c 65 74 65 20 7d  _mode = delete }
59a0: 0a 7d 20 2d 74 65 73 74 20 7b 0a 20 20 66 61 75  .} -test {.  fau
59b0: 6c 74 73 69 6d 5f 74 65 73 74 5f 72 65 73 75 6c  ltsim_test_resul
59c0: 74 20 7b 31 20 7b 64 61 74 61 62 61 73 65 20 69  t {1 {database i
59d0: 73 20 6c 6f 63 6b 65 64 7d 7d 0a 20 20 66 61 75  s locked}}.  fau
59e0: 6c 74 73 69 6d 5f 69 6e 74 65 67 72 69 74 79 5f  ltsim_integrity_
59f0: 63 68 65 63 6b 0a 7d 0a 64 6f 5f 66 61 75 6c 74  check.}.do_fault
5a00: 73 69 6d 5f 74 65 73 74 20 70 61 67 65 72 66 61  sim_test pagerfa
5a10: 75 6c 74 2d 31 37 65 20 2d 70 72 65 70 20 7b 0a  ult-17e -prep {.
5a20: 20 20 66 61 75 6c 74 73 69 6d 5f 72 65 73 74 6f    faultsim_resto
5a30: 72 65 5f 61 6e 64 5f 72 65 6f 70 65 6e 0a 20 20  re_and_reopen.  
5a40: 73 71 6c 69 74 65 33 20 64 62 32 20 74 65 73 74  sqlite3 db2 test
5a50: 2e 64 62 0a 20 20 65 78 65 63 73 71 6c 20 7b 20  .db.  execsql { 
5a60: 50 52 41 47 4d 41 20 6a 6f 75 72 6e 61 6c 5f 6d  PRAGMA journal_m
5a70: 6f 64 65 20 3d 20 64 65 6c 65 74 65 20 7d 0a 20  ode = delete }. 
5a80: 20 65 78 65 63 73 71 6c 20 7b 20 50 52 41 47 4d   execsql { PRAGM
5a90: 41 20 6a 6f 75 72 6e 61 6c 5f 6d 6f 64 65 20 3d  A journal_mode =
5aa0: 20 77 61 6c 20 7d 0a 20 20 73 65 74 20 3a 3a 63   wal }.  set ::c
5ab0: 68 61 6e 20 5b 6c 61 75 6e 63 68 5f 74 65 73 74  han [launch_test
5ac0: 66 69 78 74 75 72 65 5d 0a 20 20 74 65 73 74 66  fixture].  testf
5ad0: 69 78 74 75 72 65 20 24 3a 3a 63 68 61 6e 20 7b  ixture $::chan {
5ae0: 0a 20 20 20 20 73 71 6c 69 74 65 33 20 64 62 20  .    sqlite3 db 
5af0: 74 65 73 74 2e 64 62 0a 20 20 20 20 64 62 20 65  test.db.    db e
5b00: 76 61 6c 20 7b 20 49 4e 53 45 52 54 20 49 4e 54  val { INSERT INT
5b10: 4f 20 74 31 20 56 41 4c 55 45 53 28 31 30 31 2c  O t1 VALUES(101,
5b20: 20 27 4c 61 74 68 61 6d 27 29 20 7d 0a 20 20 7d   'Latham') }.  }
5b30: 0a 20 20 63 61 74 63 68 20 7b 20 74 65 73 74 66  .  catch { testf
5b40: 69 78 74 75 72 65 20 24 3a 3a 63 68 61 6e 20 73  ixture $::chan s
5b50: 71 6c 69 74 65 5f 61 62 6f 72 74 20 7d 0a 20 20  qlite_abort }.  
5b60: 63 61 74 63 68 20 7b 20 63 6c 6f 73 65 20 24 3a  catch { close $:
5b70: 3a 63 68 61 6e 20 7d 0a 7d 20 2d 62 6f 64 79 20  :chan }.} -body 
5b80: 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 50 52  {.  execsql { PR
5b90: 41 47 4d 41 20 6a 6f 75 72 6e 61 6c 5f 6d 6f 64  AGMA journal_mod
5ba0: 65 20 3d 20 64 65 6c 65 74 65 20 7d 0a 7d 20 2d  e = delete }.} -
5bb0: 74 65 73 74 20 7b 0a 20 20 66 61 75 6c 74 73 69  test {.  faultsi
5bc0: 6d 5f 74 65 73 74 5f 72 65 73 75 6c 74 20 7b 30  m_test_result {0
5bd0: 20 64 65 6c 65 74 65 7d 0a 20 20 66 61 75 6c 74   delete}.  fault
5be0: 73 69 6d 5f 69 6e 74 65 67 72 69 74 79 5f 63 68  sim_integrity_ch
5bf0: 65 63 6b 0a 7d 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d  eck.}..#--------
5c00: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
5c10: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
5c20: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
5c30: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
5c40: 2d 0a 23 20 54 65 73 74 20 66 61 75 6c 74 2d 69  -.# Test fault-i
5c50: 6e 6a 65 63 74 69 6f 6e 20 77 68 65 6e 20 63 68  njection when ch
5c60: 61 6e 67 69 6e 67 20 66 72 6f 6d 20 6a 6f 75 72  anging from jour
5c70: 6e 61 6c 5f 6d 6f 64 65 3d 70 65 72 73 69 73 74  nal_mode=persist
5c80: 20 74 6f 20 0a 23 20 6a 6f 75 72 6e 61 6c 5f 6d   to .# journal_m
5c90: 6f 64 65 3d 64 65 6c 65 74 65 20 28 74 68 69 73  ode=delete (this
5ca0: 20 69 6e 76 6f 6c 76 65 73 20 64 65 6c 65 74 69   involves deleti
5cb0: 6e 67 20 74 68 65 20 6a 6f 75 72 6e 61 6c 20 66  ng the journal f
5cc0: 69 6c 65 29 2e 0a 23 0a 64 6f 5f 74 65 73 74 20  ile)..#.do_test 
5cd0: 70 61 67 65 72 66 61 75 6c 74 2d 31 38 2d 70 72  pagerfault-18-pr
5ce0: 65 31 20 7b 0a 20 20 66 61 75 6c 74 73 69 6d 5f  e1 {.  faultsim_
5cf0: 64 65 6c 65 74 65 5f 61 6e 64 5f 72 65 6f 70 65  delete_and_reope
5d00: 6e 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20  n.  execsql {.  
5d10: 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 71    CREATE TABLE q
5d20: 71 28 78 29 3b 0a 20 20 20 20 49 4e 53 45 52 54  q(x);.    INSERT
5d30: 20 49 4e 54 4f 20 71 71 20 56 41 4c 55 45 53 28   INTO qq VALUES(
5d40: 27 48 65 72 62 65 72 74 27 29 3b 0a 20 20 20 20  'Herbert');.    
5d50: 49 4e 53 45 52 54 20 49 4e 54 4f 20 71 71 20 56  INSERT INTO qq V
5d60: 41 4c 55 45 53 28 27 4d 61 63 61 6c 69 73 74 65  ALUES('Macaliste
5d70: 72 27 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20  r');.    INSERT 
5d80: 49 4e 54 4f 20 71 71 20 56 41 4c 55 45 53 28 27  INTO qq VALUES('
5d90: 4d 61 63 6b 65 6e 7a 69 65 27 29 3b 0a 20 20 20  Mackenzie');.   
5da0: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 71 71 20   INSERT INTO qq 
5db0: 56 41 4c 55 45 53 28 27 4c 69 6c 6c 65 79 27 29  VALUES('Lilley')
5dc0: 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  ;.    INSERT INT
5dd0: 4f 20 71 71 20 56 41 4c 55 45 53 28 27 50 61 6c  O qq VALUES('Pal
5de0: 6d 65 72 27 29 3b 0a 20 20 7d 0a 20 20 66 61 75  mer');.  }.  fau
5df0: 6c 74 73 69 6d 5f 73 61 76 65 5f 61 6e 64 5f 63  ltsim_save_and_c
5e00: 6c 6f 73 65 0a 7d 20 7b 7d 0a 64 6f 5f 66 61 75  lose.} {}.do_fau
5e10: 6c 74 73 69 6d 5f 74 65 73 74 20 70 61 67 65 72  ltsim_test pager
5e20: 66 61 75 6c 74 2d 31 38 20 2d 70 72 65 70 20 7b  fault-18 -prep {
5e30: 0a 20 20 66 61 75 6c 74 73 69 6d 5f 72 65 73 74  .  faultsim_rest
5e40: 6f 72 65 5f 61 6e 64 5f 72 65 6f 70 65 6e 0a 20  ore_and_reopen. 
5e50: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 50   execsql {.    P
5e60: 52 41 47 4d 41 20 6a 6f 75 72 6e 61 6c 5f 6d 6f  RAGMA journal_mo
5e70: 64 65 20 3d 20 50 45 52 53 49 53 54 3b 0a 20 20  de = PERSIST;.  
5e80: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 71 71    INSERT INTO qq
5e90: 20 56 41 4c 55 45 53 28 27 42 65 61 74 74 79 27   VALUES('Beatty'
5ea0: 29 3b 0a 20 20 7d 0a 7d 20 2d 62 6f 64 79 20 7b  );.  }.} -body {
5eb0: 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 50 52 41  .  execsql { PRA
5ec0: 47 4d 41 20 6a 6f 75 72 6e 61 6c 5f 6d 6f 64 65  GMA journal_mode
5ed0: 20 3d 20 64 65 6c 65 74 65 20 7d 0a 7d 20 2d 74   = delete }.} -t
5ee0: 65 73 74 20 7b 0a 20 20 66 61 75 6c 74 73 69 6d  est {.  faultsim
5ef0: 5f 74 65 73 74 5f 72 65 73 75 6c 74 20 7b 30 20  _test_result {0 
5f00: 64 65 6c 65 74 65 7d 0a 20 20 66 61 75 6c 74 73  delete}.  faults
5f10: 69 6d 5f 69 6e 74 65 67 72 69 74 79 5f 63 68 65  im_integrity_che
5f20: 63 6b 0a 7d 0a 0a 7d 0a 0a 64 6f 5f 66 61 75 6c  ck.}..}..do_faul
5f30: 74 73 69 6d 5f 74 65 73 74 20 70 61 67 65 72 66  tsim_test pagerf
5f40: 61 75 6c 74 2d 31 39 61 20 2d 70 72 65 70 20 7b  ault-19a -prep {
5f50: 0a 20 20 73 71 6c 69 74 65 33 20 64 62 20 3a 6d  .  sqlite3 db :m
5f60: 65 6d 6f 72 79 3a 0a 20 20 64 62 20 66 75 6e 63  emory:.  db func
5f70: 20 61 5f 73 74 72 69 6e 67 20 61 5f 73 74 72 69   a_string a_stri
5f80: 6e 67 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20  ng.  execsql {. 
5f90: 20 20 20 50 52 41 47 4d 41 20 61 75 74 6f 5f 76     PRAGMA auto_v
5fa0: 61 63 75 75 6d 20 3d 20 46 55 4c 4c 3b 0a 20 20  acuum = FULL;.  
5fb0: 20 20 42 45 47 49 4e 3b 0a 20 20 20 20 20 20 43    BEGIN;.      C
5fc0: 52 45 41 54 45 20 54 41 42 4c 45 20 74 31 28 61  REATE TABLE t1(a
5fd0: 2c 20 62 29 3b 0a 20 20 20 20 20 20 49 4e 53 45  , b);.      INSE
5fe0: 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45  RT INTO t1 VALUE
5ff0: 53 28 61 5f 73 74 72 69 6e 67 28 35 30 30 30 29  S(a_string(5000)
6000: 2c 20 61 5f 73 74 72 69 6e 67 28 36 30 30 30 29  , a_string(6000)
6010: 29 3b 0a 20 20 20 20 43 4f 4d 4d 49 54 3b 0a 20  );.    COMMIT;. 
6020: 20 7d 0a 7d 20 2d 62 6f 64 79 20 7b 0a 20 20 65   }.} -body {.  e
6030: 78 65 63 73 71 6c 20 7b 20 0a 20 20 20 20 43 52  xecsql { .    CR
6040: 45 41 54 45 20 54 41 42 4c 45 20 74 32 28 61 2c  EATE TABLE t2(a,
6050: 20 62 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20   b);.    INSERT 
6060: 49 4e 54 4f 20 74 32 20 53 45 4c 45 43 54 20 2a  INTO t2 SELECT *
6070: 20 46 52 4f 4d 20 74 31 3b 20 0a 20 20 20 20 44   FROM t1; .    D
6080: 45 4c 45 54 45 20 46 52 4f 4d 20 74 31 3b 0a 20  ELETE FROM t1;. 
6090: 20 7d 0a 7d 20 2d 74 65 73 74 20 7b 0a 20 20 66   }.} -test {.  f
60a0: 61 75 6c 74 73 69 6d 5f 74 65 73 74 5f 72 65 73  aultsim_test_res
60b0: 75 6c 74 20 7b 30 20 7b 7d 7d 0a 7d 0a 0a 64 6f  ult {0 {}}.}..do
60c0: 5f 74 65 73 74 20 70 61 67 65 72 66 61 75 6c 74  _test pagerfault
60d0: 2d 31 39 2d 70 72 65 31 20 7b 0a 20 20 66 61 75  -19-pre1 {.  fau
60e0: 6c 74 73 69 6d 5f 64 65 6c 65 74 65 5f 61 6e 64  ltsim_delete_and
60f0: 5f 72 65 6f 70 65 6e 0a 20 20 65 78 65 63 73 71  _reopen.  execsq
6100: 6c 20 7b 0a 20 20 20 20 50 52 41 47 4d 41 20 61  l {.    PRAGMA a
6110: 75 74 6f 5f 76 61 63 75 75 6d 20 3d 20 46 55 4c  uto_vacuum = FUL
6120: 4c 3b 0a 20 20 20 20 43 52 45 41 54 45 20 54 41  L;.    CREATE TA
6130: 42 4c 45 20 74 31 28 78 29 3b 20 49 4e 53 45 52  BLE t1(x); INSER
6140: 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53  T INTO t1 VALUES
6150: 28 31 29 3b 0a 20 20 20 20 43 52 45 41 54 45 20  (1);.    CREATE 
6160: 54 41 42 4c 45 20 74 32 28 78 29 3b 20 49 4e 53  TABLE t2(x); INS
6170: 45 52 54 20 49 4e 54 4f 20 74 32 20 56 41 4c 55  ERT INTO t2 VALU
6180: 45 53 28 32 29 3b 0a 20 20 20 20 43 52 45 41 54  ES(2);.    CREAT
6190: 45 20 54 41 42 4c 45 20 74 33 28 78 29 3b 20 49  E TABLE t3(x); I
61a0: 4e 53 45 52 54 20 49 4e 54 4f 20 74 33 20 56 41  NSERT INTO t3 VA
61b0: 4c 55 45 53 28 33 29 3b 0a 20 20 20 20 43 52 45  LUES(3);.    CRE
61c0: 41 54 45 20 54 41 42 4c 45 20 74 34 28 78 29 3b  ATE TABLE t4(x);
61d0: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 34 20   INSERT INTO t4 
61e0: 56 41 4c 55 45 53 28 34 29 3b 0a 20 20 20 20 43  VALUES(4);.    C
61f0: 52 45 41 54 45 20 54 41 42 4c 45 20 74 35 28 78  REATE TABLE t5(x
6200: 29 3b 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74  ); INSERT INTO t
6210: 35 20 56 41 4c 55 45 53 28 35 29 3b 0a 20 20 20  5 VALUES(5);.   
6220: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 36   CREATE TABLE t6
6230: 28 78 29 3b 20 49 4e 53 45 52 54 20 49 4e 54 4f  (x); INSERT INTO
6240: 20 74 36 20 56 41 4c 55 45 53 28 36 29 3b 0a 20   t6 VALUES(6);. 
6250: 20 7d 0a 20 20 66 61 75 6c 74 73 69 6d 5f 73 61   }.  faultsim_sa
6260: 76 65 5f 61 6e 64 5f 63 6c 6f 73 65 0a 7d 20 7b  ve_and_close.} {
6270: 7d 0a 64 6f 5f 66 61 75 6c 74 73 69 6d 5f 74 65  }.do_faultsim_te
6280: 73 74 20 70 61 67 65 72 66 61 75 6c 74 2d 31 39  st pagerfault-19
6290: 62 20 2d 70 72 65 70 20 7b 0a 20 20 66 61 75 6c  b -prep {.  faul
62a0: 74 73 69 6d 5f 72 65 73 74 6f 72 65 5f 61 6e 64  tsim_restore_and
62b0: 5f 72 65 6f 70 65 6e 0a 7d 20 2d 62 6f 64 79 20  _reopen.} -body 
62c0: 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 0a 20  {.  execsql { . 
62d0: 20 20 20 42 45 47 49 4e 3b 0a 20 20 20 20 20 20     BEGIN;.      
62e0: 55 50 44 41 54 45 20 74 34 20 53 45 54 20 78 20  UPDATE t4 SET x 
62f0: 3d 20 78 2b 31 3b 0a 20 20 20 20 20 20 55 50 44  = x+1;.      UPD
6300: 41 54 45 20 74 36 20 53 45 54 20 78 20 3d 20 78  ATE t6 SET x = x
6310: 2b 31 3b 0a 20 20 20 20 20 20 53 41 56 45 50 4f  +1;.      SAVEPO
6320: 49 4e 54 20 6f 6e 65 3b 0a 20 20 20 20 20 20 20  INT one;.       
6330: 20 55 50 44 41 54 45 20 74 33 20 53 45 54 20 78   UPDATE t3 SET x
6340: 20 3d 20 78 2b 31 3b 0a 20 20 20 20 20 20 20 20   = x+1;.        
6350: 53 41 56 45 50 4f 49 4e 54 20 74 77 6f 3b 0a 20  SAVEPOINT two;. 
6360: 20 20 20 20 20 20 20 20 20 44 52 4f 50 20 54 41           DROP TA
6370: 42 4c 45 20 74 32 3b 0a 20 20 20 20 20 20 52 4f  BLE t2;.      RO
6380: 4c 4c 42 41 43 4b 20 54 4f 20 6f 6e 65 3b 0a 20  LLBACK TO one;. 
6390: 20 20 20 43 4f 4d 4d 49 54 3b 0a 20 20 20 20 53     COMMIT;.    S
63a0: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 33 3b  ELECT * FROM t3;
63b0: 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52  .    SELECT * FR
63c0: 4f 4d 20 74 34 3b 0a 20 20 20 20 53 45 4c 45 43  OM t4;.    SELEC
63d0: 54 20 2a 20 46 52 4f 4d 20 74 36 3b 0a 20 20 7d  T * FROM t6;.  }
63e0: 0a 7d 20 2d 74 65 73 74 20 7b 0a 20 20 66 61 75  .} -test {.  fau
63f0: 6c 74 73 69 6d 5f 74 65 73 74 5f 72 65 73 75 6c  ltsim_test_resul
6400: 74 20 7b 30 20 7b 33 20 35 20 37 7d 7d 0a 7d 0a  t {0 {3 5 7}}.}.
6410: 0a 64 6f 5f 74 65 73 74 20 70 61 67 65 72 66 61  .do_test pagerfa
6420: 75 6c 74 2d 32 30 2d 70 72 65 31 20 7b 0a 20 20  ult-20-pre1 {.  
6430: 66 61 75 6c 74 73 69 6d 5f 64 65 6c 65 74 65 5f  faultsim_delete_
6440: 61 6e 64 5f 72 65 6f 70 65 6e 0a 20 20 64 62 20  and_reopen.  db 
6450: 66 75 6e 63 20 61 5f 73 74 72 69 6e 67 20 61 5f  func a_string a_
6460: 73 74 72 69 6e 67 0a 20 20 65 78 65 63 73 71 6c  string.  execsql
6470: 20 7b 0a 20 20 20 20 43 52 45 41 54 45 20 54 41   {.    CREATE TA
6480: 42 4c 45 20 78 31 28 78 2c 20 79 2c 20 7a 2c 20  BLE x1(x, y, z, 
6490: 50 52 49 4d 41 52 59 20 4b 45 59 28 79 2c 20 7a  PRIMARY KEY(y, z
64a0: 29 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49  ));.    INSERT I
64b0: 4e 54 4f 20 78 31 20 56 41 4c 55 45 53 28 61 5f  NTO x1 VALUES(a_
64c0: 73 74 72 69 6e 67 28 34 30 30 29 2c 20 61 5f 73  string(400), a_s
64d0: 74 72 69 6e 67 28 35 30 30 29 2c 20 61 5f 73 74  tring(500), a_st
64e0: 72 69 6e 67 28 36 30 30 29 29 3b 0a 20 20 20 20  ring(600));.    
64f0: 49 4e 53 45 52 54 20 49 4e 54 4f 20 78 31 20 53  INSERT INTO x1 S
6500: 45 4c 45 43 54 20 61 5f 73 74 72 69 6e 67 28 36  ELECT a_string(6
6510: 30 30 29 2c 20 61 5f 73 74 72 69 6e 67 28 34 30  00), a_string(40
6520: 30 29 2c 20 61 5f 73 74 72 69 6e 67 28 35 30 30  0), a_string(500
6530: 29 20 46 52 4f 4d 20 78 31 3b 0a 20 20 20 20 49  ) FROM x1;.    I
6540: 4e 53 45 52 54 20 49 4e 54 4f 20 78 31 20 53 45  NSERT INTO x1 SE
6550: 4c 45 43 54 20 61 5f 73 74 72 69 6e 67 28 35 30  LECT a_string(50
6560: 30 29 2c 20 61 5f 73 74 72 69 6e 67 28 36 30 30  0), a_string(600
6570: 29 2c 20 61 5f 73 74 72 69 6e 67 28 34 30 30 29  ), a_string(400)
6580: 20 46 52 4f 4d 20 78 31 3b 0a 20 20 20 20 49 4e   FROM x1;.    IN
6590: 53 45 52 54 20 49 4e 54 4f 20 78 31 20 53 45 4c  SERT INTO x1 SEL
65a0: 45 43 54 20 61 5f 73 74 72 69 6e 67 28 34 30 30  ECT a_string(400
65b0: 29 2c 20 61 5f 73 74 72 69 6e 67 28 35 30 30 29  ), a_string(500)
65c0: 2c 20 61 5f 73 74 72 69 6e 67 28 36 30 30 29 20  , a_string(600) 
65d0: 46 52 4f 4d 20 78 31 3b 0a 20 20 20 20 49 4e 53  FROM x1;.    INS
65e0: 45 52 54 20 49 4e 54 4f 20 78 31 20 53 45 4c 45  ERT INTO x1 SELE
65f0: 43 54 20 61 5f 73 74 72 69 6e 67 28 36 30 30 29  CT a_string(600)
6600: 2c 20 61 5f 73 74 72 69 6e 67 28 34 30 30 29 2c  , a_string(400),
6610: 20 61 5f 73 74 72 69 6e 67 28 35 30 30 29 20 46   a_string(500) F
6620: 52 4f 4d 20 78 31 3b 0a 20 20 20 20 49 4e 53 45  ROM x1;.    INSE
6630: 52 54 20 49 4e 54 4f 20 78 31 20 53 45 4c 45 43  RT INTO x1 SELEC
6640: 54 20 61 5f 73 74 72 69 6e 67 28 35 30 30 29 2c  T a_string(500),
6650: 20 61 5f 73 74 72 69 6e 67 28 36 30 30 29 2c 20   a_string(600), 
6660: 61 5f 73 74 72 69 6e 67 28 34 30 30 29 20 46 52  a_string(400) FR
6670: 4f 4d 20 78 31 3b 0a 20 20 20 20 49 4e 53 45 52  OM x1;.    INSER
6680: 54 20 49 4e 54 4f 20 78 31 20 53 45 4c 45 43 54  T INTO x1 SELECT
6690: 20 61 5f 73 74 72 69 6e 67 28 34 30 30 29 2c 20   a_string(400), 
66a0: 61 5f 73 74 72 69 6e 67 28 35 30 30 29 2c 20 61  a_string(500), a
66b0: 5f 73 74 72 69 6e 67 28 36 30 30 29 20 46 52 4f  _string(600) FRO
66c0: 4d 20 78 31 3b 0a 20 20 7d 0a 20 20 66 61 75 6c  M x1;.  }.  faul
66d0: 74 73 69 6d 5f 73 61 76 65 5f 61 6e 64 5f 63 6c  tsim_save_and_cl
66e0: 6f 73 65 0a 7d 20 7b 7d 0a 64 6f 5f 66 61 75 6c  ose.} {}.do_faul
66f0: 74 73 69 6d 5f 74 65 73 74 20 70 61 67 65 72 66  tsim_test pagerf
6700: 61 75 6c 74 2d 32 30 20 2d 70 72 65 70 20 7b 0a  ault-20 -prep {.
6710: 20 20 66 61 75 6c 74 73 69 6d 5f 72 65 73 74 6f    faultsim_resto
6720: 72 65 5f 61 6e 64 5f 72 65 6f 70 65 6e 0a 20 20  re_and_reopen.  
6730: 64 62 20 66 75 6e 63 20 61 5f 73 74 72 69 6e 67  db func a_string
6740: 20 61 5f 73 74 72 69 6e 67 0a 7d 20 2d 62 6f 64   a_string.} -bod
6750: 79 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 20  y {.  execsql { 
6760: 0a 20 20 20 20 42 45 47 49 4e 3b 0a 20 20 20 20  .    BEGIN;.    
6770: 55 50 44 41 54 45 20 78 31 20 53 45 54 20 7a 20  UPDATE x1 SET z 
6780: 3d 20 61 5f 73 74 72 69 6e 67 28 33 30 30 29 3b  = a_string(300);
6790: 0a 20 20 20 20 44 45 4c 45 54 45 20 46 52 4f 4d  .    DELETE FROM
67a0: 20 78 31 20 57 48 45 52 45 20 72 6f 77 69 64 3c   x1 WHERE rowid<
67b0: 33 32 3b 0a 20 20 20 20 43 4f 4d 4d 49 54 3b 0a  32;.    COMMIT;.
67c0: 20 20 7d 0a 7d 20 2d 74 65 73 74 20 7b 0a 20 20    }.} -test {.  
67d0: 66 61 75 6c 74 73 69 6d 5f 74 65 73 74 5f 72 65  faultsim_test_re
67e0: 73 75 6c 74 20 7b 30 20 7b 7d 7d 0a 20 20 66 61  sult {0 {}}.  fa
67f0: 75 6c 74 73 69 6d 5f 69 6e 74 65 67 72 69 74 79  ultsim_integrity
6800: 5f 63 68 65 63 6b 0a 20 20 73 65 74 20 6e 52 6f  _check.  set nRo
6810: 77 20 5b 64 62 20 6f 6e 65 20 7b 53 45 4c 45 43  w [db one {SELEC
6820: 54 20 63 6f 75 6e 74 28 2a 29 20 46 52 4f 4d 20  T count(*) FROM 
6830: 78 31 7d 5d 0a 20 20 69 66 20 7b 24 6e 52 6f 77  x1}].  if {$nRow
6840: 21 3d 33 33 20 26 26 20 24 6e 52 6f 77 21 3d 36  !=33 && $nRow!=6
6850: 34 7d 20 7b 65 72 72 6f 72 20 22 57 72 6f 6e 67  4} {error "Wrong
6860: 20 6e 75 6d 62 65 72 20 6f 66 20 72 6f 77 73 20   number of rows 
6870: 24 6e 52 6f 77 22 7d 0a 7d 0a 0a 66 69 6e 69 73  $nRow"}.}..finis
6880: 68 5f 74 65 73 74 0a                             h_test.