/ Hex Artifact Content
Login

Artifact a6b0ef0f9e678aea5a649c78efee284516abaf83:


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 64 6f 5f 66 61  se file..#.do_fa
3880: 75 6c 74 73 69 6d 5f 74 65 73 74 20 70 61 67 65  ultsim_test page
3890: 72 66 61 75 6c 74 2d 31 30 20 2d 70 72 65 70 20  rfault-10 -prep 
38a0: 7b 0a 20 20 73 71 6c 69 74 65 33 20 64 62 20 22  {.  sqlite3 db "
38b0: 22 0a 20 20 64 62 20 66 75 6e 63 20 61 5f 73 74  ".  db func a_st
38c0: 72 69 6e 67 20 61 5f 73 74 72 69 6e 67 3b 0a 20  ring a_string;. 
38d0: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 50   execsql {.    P
38e0: 52 41 47 4d 41 20 63 61 63 68 65 5f 73 69 7a 65  RAGMA cache_size
38f0: 20 3d 20 31 30 3b 0a 20 20 20 20 42 45 47 49 4e   = 10;.    BEGIN
3900: 3b 0a 20 20 20 20 20 20 43 52 45 41 54 45 20 54  ;.      CREATE T
3910: 41 42 4c 45 20 78 78 28 61 2c 20 62 2c 20 55 4e  ABLE xx(a, b, UN
3920: 49 51 55 45 28 61 2c 20 62 29 29 3b 0a 20 20 20  IQUE(a, b));.   
3930: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 78     INSERT INTO x
3940: 78 20 56 41 4c 55 45 53 28 61 5f 73 74 72 69 6e  x VALUES(a_strin
3950: 67 28 32 30 30 29 2c 20 61 5f 73 74 72 69 6e 67  g(200), a_string
3960: 28 32 30 30 29 29 3b 0a 20 20 20 20 20 20 49 4e  (200));.      IN
3970: 53 45 52 54 20 49 4e 54 4f 20 78 78 20 53 45 4c  SERT INTO xx SEL
3980: 45 43 54 20 61 5f 73 74 72 69 6e 67 28 32 30 30  ECT a_string(200
3990: 29 2c 20 61 5f 73 74 72 69 6e 67 28 32 30 30 29  ), a_string(200)
39a0: 20 46 52 4f 4d 20 78 78 3b 0a 20 20 20 20 20 20   FROM xx;.      
39b0: 49 4e 53 45 52 54 20 49 4e 54 4f 20 78 78 20 53  INSERT INTO xx S
39c0: 45 4c 45 43 54 20 61 5f 73 74 72 69 6e 67 28 32  ELECT a_string(2
39d0: 30 30 29 2c 20 61 5f 73 74 72 69 6e 67 28 32 30  00), a_string(20
39e0: 30 29 20 46 52 4f 4d 20 78 78 3b 0a 20 20 20 20  0) FROM xx;.    
39f0: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 78 78    INSERT INTO xx
3a00: 20 53 45 4c 45 43 54 20 61 5f 73 74 72 69 6e 67   SELECT a_string
3a10: 28 32 30 30 29 2c 20 61 5f 73 74 72 69 6e 67 28  (200), a_string(
3a20: 32 30 30 29 20 46 52 4f 4d 20 78 78 3b 0a 20 20  200) FROM xx;.  
3a30: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
3a40: 78 78 20 53 45 4c 45 43 54 20 61 5f 73 74 72 69  xx SELECT a_stri
3a50: 6e 67 28 32 30 30 29 2c 20 61 5f 73 74 72 69 6e  ng(200), a_strin
3a60: 67 28 32 30 30 29 20 46 52 4f 4d 20 78 78 3b 0a  g(200) FROM xx;.
3a70: 20 20 20 20 43 4f 4d 4d 49 54 3b 0a 20 20 7d 0a      COMMIT;.  }.
3a80: 7d 20 2d 62 6f 64 79 20 7b 0a 20 20 65 78 65 63  } -body {.  exec
3a90: 73 71 6c 20 7b 20 55 50 44 41 54 45 20 78 78 20  sql { UPDATE xx 
3aa0: 53 45 54 20 61 20 3d 20 61 5f 73 74 72 69 6e 67  SET a = a_string
3ab0: 28 33 30 30 29 20 7d 0a 7d 20 2d 74 65 73 74 20  (300) }.} -test 
3ac0: 7b 0a 20 20 66 61 75 6c 74 73 69 6d 5f 74 65 73  {.  faultsim_tes
3ad0: 74 5f 72 65 73 75 6c 74 20 7b 30 20 7b 7d 7d 0a  t_result {0 {}}.
3ae0: 20 20 66 61 75 6c 74 73 69 6d 5f 69 6e 74 65 67    faultsim_integ
3af0: 72 69 74 79 5f 63 68 65 63 6b 0a 20 20 66 61 75  rity_check.  fau
3b00: 6c 74 73 69 6d 5f 69 6e 74 65 67 72 69 74 79 5f  ltsim_integrity_
3b10: 63 68 65 63 6b 0a 7d 0a 0a 7d 0a 0a 23 2d 2d 2d  check.}..}..#---
3b20: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
3b30: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
3b40: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
3b50: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
3b60: 2d 2d 2d 2d 2d 2d 0a 23 20 54 65 73 74 20 66 61  ------.# Test fa
3b70: 75 6c 74 20 69 6e 6a 65 63 74 69 6f 6e 20 77 69  ult injection wi
3b80: 74 68 20 74 72 61 6e 73 61 63 74 69 6f 6e 20 73  th transaction s
3b90: 61 76 65 70 6f 69 6e 74 73 20 28 73 61 76 65 70  avepoints (savep
3ba0: 6f 69 6e 74 73 20 63 72 65 61 74 65 64 0a 23 20  oints created.# 
3bb0: 77 68 65 6e 20 61 20 53 41 56 45 50 4f 49 4e 54  when a SAVEPOINT
3bc0: 20 63 6f 6d 6d 61 6e 64 20 69 73 20 65 78 65 63   command is exec
3bd0: 75 74 65 64 20 6f 75 74 73 69 64 65 20 6f 66 20  uted outside of 
3be0: 61 6e 79 20 6f 74 68 65 72 20 73 61 76 65 70 6f  any other savepo
3bf0: 69 6e 74 0a 23 20 6f 72 20 74 72 61 6e 73 61 63  int.# or transac
3c00: 74 69 6f 6e 20 63 6f 6e 74 65 78 74 29 2e 0a 23  tion context)..#
3c10: 0a 64 6f 5f 74 65 73 74 20 70 61 67 65 72 66 61  .do_test pagerfa
3c20: 75 6c 74 2d 39 2d 70 72 65 31 20 7b 0a 20 20 66  ult-9-pre1 {.  f
3c30: 61 75 6c 74 73 69 6d 5f 64 65 6c 65 74 65 5f 61  aultsim_delete_a
3c40: 6e 64 5f 72 65 6f 70 65 6e 0a 20 20 64 62 20 66  nd_reopen.  db f
3c50: 75 6e 63 20 61 5f 73 74 72 69 6e 67 20 61 5f 73  unc a_string a_s
3c60: 74 72 69 6e 67 3b 0a 20 20 65 78 65 63 73 71 6c  tring;.  execsql
3c70: 20 7b 0a 20 20 20 20 50 52 41 47 4d 41 20 61 75   {.    PRAGMA au
3c80: 74 6f 5f 76 61 63 75 75 6d 20 3d 20 6f 6e 3b 0a  to_vacuum = on;.
3c90: 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45      CREATE TABLE
3ca0: 20 74 31 28 78 20 55 4e 49 51 55 45 29 3b 0a 20   t1(x UNIQUE);. 
3cb0: 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20     CREATE TABLE 
3cc0: 74 32 28 79 20 55 4e 49 51 55 45 29 3b 0a 20 20  t2(y UNIQUE);.  
3cd0: 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74    CREATE TABLE t
3ce0: 33 28 7a 20 55 4e 49 51 55 45 29 3b 0a 20 20 20  3(z UNIQUE);.   
3cf0: 20 42 45 47 49 4e 3b 0a 20 20 20 20 20 20 49 4e   BEGIN;.      IN
3d00: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c  SERT INTO t1 VAL
3d10: 55 45 53 28 61 5f 73 74 72 69 6e 67 28 32 30 32  UES(a_string(202
3d20: 29 29 3b 0a 20 20 20 20 20 20 49 4e 53 45 52 54  ));.      INSERT
3d30: 20 49 4e 54 4f 20 74 32 20 56 41 4c 55 45 53 28   INTO t2 VALUES(
3d40: 61 5f 73 74 72 69 6e 67 28 32 30 33 29 29 3b 0a  a_string(203));.
3d50: 20 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54        INSERT INT
3d60: 4f 20 74 33 20 56 41 4c 55 45 53 28 61 5f 73 74  O t3 VALUES(a_st
3d70: 72 69 6e 67 28 32 30 34 29 29 3b 0a 20 20 20 20  ring(204));.    
3d80: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31    INSERT INTO t1
3d90: 20 53 45 4c 45 43 54 20 61 5f 73 74 72 69 6e 67   SELECT a_string
3da0: 28 32 30 32 29 20 46 52 4f 4d 20 74 31 3b 0a 20  (202) FROM t1;. 
3db0: 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f       INSERT INTO
3dc0: 20 74 31 20 53 45 4c 45 43 54 20 61 5f 73 74 72   t1 SELECT a_str
3dd0: 69 6e 67 28 32 30 33 29 20 46 52 4f 4d 20 74 31  ing(203) FROM t1
3de0: 3b 0a 20 20 20 20 20 20 49 4e 53 45 52 54 20 49  ;.      INSERT I
3df0: 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20 61 5f  NTO t1 SELECT a_
3e00: 73 74 72 69 6e 67 28 32 30 34 29 20 46 52 4f 4d  string(204) FROM
3e10: 20 74 31 3b 0a 20 20 20 20 20 20 49 4e 53 45 52   t1;.      INSER
3e20: 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54  T INTO t1 SELECT
3e30: 20 61 5f 73 74 72 69 6e 67 28 32 30 35 29 20 46   a_string(205) F
3e40: 52 4f 4d 20 74 31 3b 0a 20 20 20 20 20 20 49 4e  ROM t1;.      IN
3e50: 53 45 52 54 20 49 4e 54 4f 20 74 32 20 53 45 4c  SERT INTO t2 SEL
3e60: 45 43 54 20 61 5f 73 74 72 69 6e 67 28 6c 65 6e  ECT a_string(len
3e70: 67 74 68 28 78 29 29 20 46 52 4f 4d 20 74 31 3b  gth(x)) FROM t1;
3e80: 0a 20 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e  .      INSERT IN
3e90: 54 4f 20 74 33 20 53 45 4c 45 43 54 20 61 5f 73  TO t3 SELECT a_s
3ea0: 74 72 69 6e 67 28 6c 65 6e 67 74 68 28 78 29 29  tring(length(x))
3eb0: 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 43 4f   FROM t1;.    CO
3ec0: 4d 4d 49 54 3b 0a 20 20 7d 0a 20 20 66 61 75 6c  MMIT;.  }.  faul
3ed0: 74 73 69 6d 5f 73 61 76 65 5f 61 6e 64 5f 63 6c  tsim_save_and_cl
3ee0: 6f 73 65 0a 7d 20 7b 7d 0a 64 6f 5f 66 61 75 6c  ose.} {}.do_faul
3ef0: 74 73 69 6d 5f 74 65 73 74 20 70 61 67 65 72 66  tsim_test pagerf
3f00: 61 75 6c 74 2d 31 31 20 2d 70 72 65 70 20 7b 0a  ault-11 -prep {.
3f10: 20 20 66 61 75 6c 74 73 69 6d 5f 72 65 73 74 6f    faultsim_resto
3f20: 72 65 5f 61 6e 64 5f 72 65 6f 70 65 6e 0a 20 20  re_and_reopen.  
3f30: 65 78 65 63 73 71 6c 20 7b 20 50 52 41 47 4d 41  execsql { PRAGMA
3f40: 20 63 61 63 68 65 5f 73 69 7a 65 20 3d 20 31 30   cache_size = 10
3f50: 20 7d 0a 7d 20 2d 62 6f 64 79 20 7b 0a 20 20 65   }.} -body {.  e
3f60: 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 41 56  xecsql {.    SAV
3f70: 45 50 4f 49 4e 54 20 74 72 61 6e 73 3b 0a 20 20  EPOINT trans;.  
3f80: 20 20 20 20 55 50 44 41 54 45 20 74 32 20 53 45      UPDATE t2 SE
3f90: 54 20 79 20 3d 20 79 7c 7c 27 32 27 3b 0a 20 20  T y = y||'2';.  
3fa0: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
3fb0: 74 33 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d  t3 SELECT * FROM
3fc0: 20 74 32 3b 0a 20 20 20 20 20 20 44 45 4c 45 54   t2;.      DELET
3fd0: 45 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 52  E FROM t1;.    R
3fe0: 4f 4c 4c 42 41 43 4b 20 54 4f 20 74 72 61 6e 73  OLLBACK TO trans
3ff0: 3b 0a 20 20 20 20 55 50 44 41 54 45 20 74 31 20  ;.    UPDATE t1 
4000: 53 45 54 20 78 20 3d 20 78 7c 7c 27 33 27 3b 0a  SET x = x||'3';.
4010: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
4020: 74 32 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d  t2 SELECT * FROM
4030: 20 74 31 3b 0a 20 20 20 20 44 45 4c 45 54 45 20   t1;.    DELETE 
4040: 46 52 4f 4d 20 74 33 3b 0a 20 20 20 20 52 45 4c  FROM t3;.    REL
4050: 45 41 53 45 20 74 72 61 6e 73 3b 0a 20 20 7d 0a  EASE trans;.  }.
4060: 7d 20 2d 74 65 73 74 20 7b 0a 20 20 66 61 75 6c  } -test {.  faul
4070: 74 73 69 6d 5f 74 65 73 74 5f 72 65 73 75 6c 74  tsim_test_result
4080: 20 7b 30 20 7b 7d 7d 0a 20 20 66 61 75 6c 74 73   {0 {}}.  faults
4090: 69 6d 5f 69 6e 74 65 67 72 69 74 79 5f 63 68 65  im_integrity_che
40a0: 63 6b 0a 7d 0a 0a 0a 66 69 6e 69 73 68 5f 74 65  ck.}...finish_te
40b0: 73 74 0a                                         st.