/ Hex Artifact Content
Login

Artifact 508ae6f211d4991e9ff3b5080aeb0a179bf6755138aabeac4bca8083044d895a:


0000: 23 20 32 30 31 35 20 44 65 63 65 6d 62 65 72 20  # 2015 December 
0010: 31 30 0a 23 0a 23 20 54 68 65 20 61 75 74 68 6f  10.#.# The autho
0020: 72 20 64 69 73 63 6c 61 69 6d 73 20 63 6f 70 79  r disclaims copy
0030: 72 69 67 68 74 20 74 6f 20 74 68 69 73 20 73 6f  right to this so
0040: 75 72 63 65 20 63 6f 64 65 2e 20 20 49 6e 20 70  urce code.  In p
0050: 6c 61 63 65 20 6f 66 0a 23 20 61 20 6c 65 67 61  lace of.# a lega
0060: 6c 20 6e 6f 74 69 63 65 2c 20 68 65 72 65 20 69  l notice, here i
0070: 73 20 61 20 62 6c 65 73 73 69 6e 67 3a 0a 23 0a  s a blessing:.#.
0080: 23 20 20 20 20 4d 61 79 20 79 6f 75 20 64 6f 20  #    May you do 
0090: 67 6f 6f 64 20 61 6e 64 20 6e 6f 74 20 65 76 69  good and not evi
00a0: 6c 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20  l..#    May you 
00b0: 66 69 6e 64 20 66 6f 72 67 69 76 65 6e 65 73 73  find forgiveness
00c0: 20 66 6f 72 20 79 6f 75 72 73 65 6c 66 20 61 6e   for yourself an
00d0: 64 20 66 6f 72 67 69 76 65 20 6f 74 68 65 72 73  d forgive others
00e0: 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20 73  ..#    May you s
00f0: 68 61 72 65 20 66 72 65 65 6c 79 2c 20 6e 65 76  hare freely, nev
0100: 65 72 20 74 61 6b 69 6e 67 20 6d 6f 72 65 20 74  er taking more t
0110: 68 61 6e 20 79 6f 75 20 67 69 76 65 2e 0a 23 0a  han you give..#.
0120: 23 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  #***************
0130: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0140: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0150: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0160: 2a 2a 2a 2a 2a 2a 2a 2a 0a 23 20 54 68 69 73 20  ********.# This 
0170: 66 69 6c 65 20 69 6d 70 6c 65 6d 65 6e 74 73 20  file implements 
0180: 72 65 67 72 65 73 73 69 6f 6e 20 74 65 73 74 73  regression tests
0190: 20 66 6f 72 20 53 51 4c 69 74 65 20 6c 69 62 72   for SQLite libr
01a0: 61 72 79 2e 20 54 68 65 20 66 6f 63 75 73 0a 23  ary. The focus.#
01b0: 20 6f 66 20 74 68 69 73 20 66 69 6c 65 20 69 73   of this file is
01c0: 20 74 68 65 20 73 71 6c 69 74 65 33 5f 73 6e 61   the sqlite3_sna
01d0: 70 73 68 6f 74 5f 78 78 78 28 29 20 41 50 49 73  pshot_xxx() APIs
01e0: 2e 0a 23 0a 0a 73 65 74 20 74 65 73 74 64 69 72  ..#..set testdir
01f0: 20 5b 66 69 6c 65 20 64 69 72 6e 61 6d 65 20 24   [file dirname $
0200: 61 72 67 76 30 5d 0a 73 6f 75 72 63 65 20 24 74  argv0].source $t
0210: 65 73 74 64 69 72 2f 74 65 73 74 65 72 2e 74 63  estdir/tester.tc
0220: 6c 0a 69 66 63 61 70 61 62 6c 65 20 21 73 6e 61  l.ifcapable !sna
0230: 70 73 68 6f 74 20 7b 66 69 6e 69 73 68 5f 74 65  pshot {finish_te
0240: 73 74 3b 20 72 65 74 75 72 6e 7d 0a 73 65 74 20  st; return}.set 
0250: 74 65 73 74 70 72 65 66 69 78 20 73 6e 61 70 73  testprefix snaps
0260: 68 6f 74 5f 66 61 75 6c 74 0a 0a 23 2d 2d 2d 2d  hot_fault..#----
0270: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0280: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0290: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
02a0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
02b0: 2d 2d 2d 2d 2d 0a 23 20 43 68 65 63 6b 20 74 68  -----.# Check th
02c0: 61 74 20 61 6e 20 73 71 6c 69 74 65 33 5f 73 6e  at an sqlite3_sn
02d0: 61 70 73 68 6f 74 5f 6f 70 65 6e 28 29 20 63 6c  apshot_open() cl
02e0: 69 65 6e 74 20 63 61 6e 6e 6f 74 20 62 65 20 74  ient cannot be t
02f0: 72 69 63 6b 65 64 20 69 6e 74 6f 0a 23 20 72 65  ricked into.# re
0300: 61 64 69 6e 67 20 61 20 63 6f 72 72 75 70 74 20  ading a corrupt 
0310: 73 6e 61 70 73 68 6f 74 20 65 76 65 6e 20 69 66  snapshot even if
0320: 20 61 20 73 65 63 6f 6e 64 20 63 6c 69 65 6e 74   a second client
0330: 20 66 61 69 6c 73 20 77 68 69 6c 65 20 0a 23 20   fails while .# 
0340: 63 68 65 63 6b 70 6f 69 6e 74 69 6e 67 20 74 68  checkpointing th
0350: 65 20 64 62 2e 0a 23 0a 64 6f 5f 66 61 75 6c 74  e db..#.do_fault
0360: 73 69 6d 5f 74 65 73 74 20 31 2e 30 20 2d 70 72  sim_test 1.0 -pr
0370: 65 70 20 7b 0a 20 20 66 61 75 6c 74 73 69 6d 5f  ep {.  faultsim_
0380: 64 65 6c 65 74 65 5f 61 6e 64 5f 72 65 6f 70 65  delete_and_reope
0390: 6e 0a 20 20 73 71 6c 69 74 65 33 20 64 62 32 20  n.  sqlite3 db2 
03a0: 74 65 73 74 2e 64 62 0a 20 20 64 62 32 20 65 76  test.db.  db2 ev
03b0: 61 6c 20 7b 20 0a 20 20 20 20 43 52 45 41 54 45  al { .    CREATE
03c0: 20 54 41 42 4c 45 20 74 31 28 61 2c 20 62 20 55   TABLE t1(a, b U
03d0: 4e 49 51 55 45 2c 20 63 20 55 4e 49 51 55 45 29  NIQUE, c UNIQUE)
03e0: 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  ;.    INSERT INT
03f0: 4f 20 74 31 20 56 41 4c 55 45 53 28 31 2c 20 72  O t1 VALUES(1, r
0400: 61 6e 64 6f 6d 62 6c 6f 62 28 35 30 30 29 2c 20  andomblob(500), 
0410: 72 61 6e 64 6f 6d 62 6c 6f 62 28 35 30 30 29 29  randomblob(500))
0420: 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  ;.    INSERT INT
0430: 4f 20 74 31 20 56 41 4c 55 45 53 28 32 2c 20 72  O t1 VALUES(2, r
0440: 61 6e 64 6f 6d 62 6c 6f 62 28 35 30 30 29 2c 20  andomblob(500), 
0450: 72 61 6e 64 6f 6d 62 6c 6f 62 28 35 30 30 29 29  randomblob(500))
0460: 3b 0a 20 20 20 20 50 52 41 47 4d 41 20 6a 6f 75  ;.    PRAGMA jou
0470: 72 6e 61 6c 5f 6d 6f 64 65 20 3d 20 77 61 6c 3b  rnal_mode = wal;
0480: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
0490: 20 74 31 20 56 41 4c 55 45 53 28 33 2c 20 72 61   t1 VALUES(3, ra
04a0: 6e 64 6f 6d 62 6c 6f 62 28 35 30 30 29 2c 20 72  ndomblob(500), r
04b0: 61 6e 64 6f 6d 62 6c 6f 62 28 35 30 30 29 29 3b  andomblob(500));
04c0: 0a 20 20 20 20 42 45 47 49 4e 3b 0a 20 20 20 20  .    BEGIN;.    
04d0: 20 20 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20    SELECT a FROM 
04e0: 74 31 3b 0a 20 20 7d 0a 20 20 73 65 74 20 3a 3a  t1;.  }.  set ::
04f0: 73 6e 61 70 73 68 6f 74 20 5b 73 71 6c 69 74 65  snapshot [sqlite
0500: 33 5f 73 6e 61 70 73 68 6f 74 5f 67 65 74 20 64  3_snapshot_get d
0510: 62 32 20 6d 61 69 6e 5d 20 0a 20 20 64 62 32 20  b2 main] .  db2 
0520: 65 76 61 6c 20 43 4f 4d 4d 49 54 0a 20 20 64 62  eval COMMIT.  db
0530: 32 20 65 76 61 6c 20 7b 0a 20 20 20 20 55 50 44  2 eval {.    UPD
0540: 41 54 45 20 74 31 20 53 45 54 20 62 3d 72 61 6e  ATE t1 SET b=ran
0550: 64 6f 6d 62 6c 6f 62 28 35 30 31 29 2c 20 63 3d  domblob(501), c=
0560: 72 61 6e 64 6f 6d 62 6c 6f 62 28 35 30 31 29 20  randomblob(501) 
0570: 57 48 45 52 45 20 61 3d 31 3b 0a 20 20 20 20 49  WHERE a=1;.    I
0580: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41  NSERT INTO t1 VA
0590: 4c 55 45 53 28 34 2c 20 72 61 6e 64 6f 6d 62 6c  LUES(4, randombl
05a0: 6f 62 28 35 30 30 29 2c 20 72 61 6e 64 6f 6d 62  ob(500), randomb
05b0: 6c 6f 62 28 35 30 30 29 29 3b 0a 20 20 20 20 49  lob(500));.    I
05c0: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41  NSERT INTO t1 VA
05d0: 4c 55 45 53 28 35 2c 20 72 61 6e 64 6f 6d 62 6c  LUES(5, randombl
05e0: 6f 62 28 35 30 30 29 2c 20 72 61 6e 64 6f 6d 62  ob(500), randomb
05f0: 6c 6f 62 28 35 30 30 29 29 3b 0a 20 20 20 20 49  lob(500));.    I
0600: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41  NSERT INTO t1 VA
0610: 4c 55 45 53 28 36 2c 20 72 61 6e 64 6f 6d 62 6c  LUES(6, randombl
0620: 6f 62 28 35 30 30 29 2c 20 72 61 6e 64 6f 6d 62  ob(500), randomb
0630: 6c 6f 62 28 35 30 30 29 29 3b 0a 20 20 7d 0a 7d  lob(500));.  }.}
0640: 20 2d 62 6f 64 79 20 7b 0a 20 20 64 62 20 65 76   -body {.  db ev
0650: 61 6c 20 7b 20 50 52 41 47 4d 41 20 77 61 6c 5f  al { PRAGMA wal_
0660: 63 68 65 63 6b 70 6f 69 6e 74 20 7d 0a 7d 20 2d  checkpoint }.} -
0670: 74 65 73 74 20 7b 0a 20 20 64 62 32 20 65 76 61  test {.  db2 eva
0680: 6c 20 42 45 47 49 4e 0a 20 20 69 66 20 7b 5b 63  l BEGIN.  if {[c
0690: 61 74 63 68 20 7b 20 73 71 6c 69 74 65 33 5f 73  atch { sqlite3_s
06a0: 6e 61 70 73 68 6f 74 5f 6f 70 65 6e 20 64 62 32  napshot_open db2
06b0: 20 6d 61 69 6e 20 24 3a 3a 73 6e 61 70 73 68 6f   main $::snapsho
06c0: 74 20 7d 20 6d 73 67 5d 7d 20 7b 0a 20 20 20 20  t } msg]} {.    
06d0: 69 66 20 7b 24 6d 73 67 20 21 3d 20 22 53 51 4c  if {$msg != "SQL
06e0: 49 54 45 5f 45 52 52 4f 52 5f 53 4e 41 50 53 48  ITE_ERROR_SNAPSH
06f0: 4f 54 22 20 26 26 20 24 6d 73 67 20 21 3d 20 22  OT" && $msg != "
0700: 53 51 4c 49 54 45 5f 42 55 53 59 22 7d 20 7b 0a  SQLITE_BUSY"} {.
0710: 20 20 20 20 20 20 65 72 72 6f 72 20 22 65 72 72        error "err
0720: 6f 72 20 69 73 20 24 6d 73 67 22 20 0a 20 20 20  or is $msg" .   
0730: 20 7d 0a 20 20 7d 20 65 6c 73 65 20 7b 0a 20 20   }.  } else {.  
0740: 20 20 73 65 74 20 72 65 73 20 5b 64 62 32 20 65    set res [db2 e
0750: 76 61 6c 20 7b 20 0a 20 20 20 20 20 20 53 45 4c  val { .      SEL
0760: 45 43 54 20 61 20 46 52 4f 4d 20 74 31 3b 0a 20  ECT a FROM t1;. 
0770: 20 20 20 20 20 50 52 41 47 4d 41 20 69 6e 74 65       PRAGMA inte
0780: 67 72 69 74 79 5f 63 68 65 63 6b 3b 0a 20 20 20  grity_check;.   
0790: 20 7d 5d 0a 20 20 20 20 69 66 20 7b 24 72 65 73   }].    if {$res
07a0: 20 21 3d 20 22 31 20 32 20 33 20 6f 6b 22 7d 20   != "1 2 3 ok"} 
07b0: 7b 20 65 72 72 6f 72 20 22 72 65 73 20 69 73 20  { error "res is 
07c0: 24 72 65 73 22 20 7d 0a 20 20 7d 0a 0a 20 20 73  $res" }.  }..  s
07d0: 71 6c 69 74 65 33 5f 73 6e 61 70 73 68 6f 74 5f  qlite3_snapshot_
07e0: 66 72 65 65 20 24 3a 3a 73 6e 61 70 73 68 6f 74  free $::snapshot
07f0: 0a 7d 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  .}..#-----------
0800: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0810: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0820: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0830: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23  --------------.#
0840: 20 54 68 69 73 20 74 65 73 74 20 69 73 20 73 69   This test is si
0850: 6d 69 6c 61 72 20 74 6f 20 74 68 65 20 70 72 65  milar to the pre
0860: 76 69 6f 75 73 20 6f 6e 65 2e 20 45 78 63 65 70  vious one. Excep
0870: 74 2c 20 61 66 74 65 72 20 74 68 65 20 0a 23 20  t, after the .# 
0880: 22 50 52 41 47 4d 41 20 77 61 6c 5f 63 68 65 63  "PRAGMA wal_chec
0890: 6b 70 6f 69 6e 74 22 20 63 6f 6d 6d 61 6e 64 20  kpoint" command 
08a0: 66 61 69 6c 73 20 74 68 65 20 64 62 20 69 73 20  fails the db is 
08b0: 63 6c 6f 73 65 64 20 61 6e 64 20 72 65 6f 70 65  closed and reope
08c0: 6e 65 64 0a 23 20 73 6f 20 61 73 20 74 6f 20 72  ned.# so as to r
08d0: 65 71 75 69 72 65 20 77 61 6c 20 66 69 6c 65 20  equire wal file 
08e0: 72 65 63 6f 76 65 72 79 2e 20 49 74 20 73 68 6f  recovery. It sho
08f0: 75 6c 64 20 6e 6f 74 20 62 65 20 70 6f 73 73 69  uld not be possi
0900: 62 6c 65 20 74 6f 20 6f 70 65 6e 0a 23 20 61 20  ble to open.# a 
0910: 73 6e 61 70 73 68 6f 74 20 74 68 61 74 20 69 73  snapshot that is
0920: 20 70 61 72 74 20 6f 66 20 74 68 65 20 62 6f 64   part of the bod
0930: 79 20 6f 66 20 61 20 72 65 63 6f 76 65 72 65 64  y of a recovered
0940: 20 77 61 6c 20 66 69 6c 65 2e 0a 23 0a 64 6f 5f   wal file..#.do_
0950: 66 61 75 6c 74 73 69 6d 5f 74 65 73 74 20 32 2e  faultsim_test 2.
0960: 30 20 2d 70 72 65 70 20 7b 0a 20 20 66 61 75 6c  0 -prep {.  faul
0970: 74 73 69 6d 5f 64 65 6c 65 74 65 5f 61 6e 64 5f  tsim_delete_and_
0980: 72 65 6f 70 65 6e 0a 20 20 64 62 20 65 76 61 6c  reopen.  db eval
0990: 20 7b 20 0a 20 20 20 20 43 52 45 41 54 45 20 54   { .    CREATE T
09a0: 41 42 4c 45 20 74 31 28 61 2c 20 62 20 55 4e 49  ABLE t1(a, b UNI
09b0: 51 55 45 2c 20 63 20 55 4e 49 51 55 45 29 3b 0a  QUE, c UNIQUE);.
09c0: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
09d0: 74 31 20 56 41 4c 55 45 53 28 31 2c 20 72 61 6e  t1 VALUES(1, ran
09e0: 64 6f 6d 62 6c 6f 62 28 35 30 30 29 2c 20 72 61  domblob(500), ra
09f0: 6e 64 6f 6d 62 6c 6f 62 28 35 30 30 29 29 3b 0a  ndomblob(500));.
0a00: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
0a10: 74 31 20 56 41 4c 55 45 53 28 32 2c 20 72 61 6e  t1 VALUES(2, ran
0a20: 64 6f 6d 62 6c 6f 62 28 35 30 30 29 2c 20 72 61  domblob(500), ra
0a30: 6e 64 6f 6d 62 6c 6f 62 28 35 30 30 29 29 3b 0a  ndomblob(500));.
0a40: 20 20 20 20 50 52 41 47 4d 41 20 6a 6f 75 72 6e      PRAGMA journ
0a50: 61 6c 5f 6d 6f 64 65 20 3d 20 77 61 6c 3b 0a 20  al_mode = wal;. 
0a60: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
0a70: 31 20 56 41 4c 55 45 53 28 33 2c 20 72 61 6e 64  1 VALUES(3, rand
0a80: 6f 6d 62 6c 6f 62 28 35 30 30 29 2c 20 72 61 6e  omblob(500), ran
0a90: 64 6f 6d 62 6c 6f 62 28 35 30 30 29 29 3b 0a 20  domblob(500));. 
0aa0: 20 20 20 42 45 47 49 4e 3b 0a 20 20 20 20 20 20     BEGIN;.      
0ab0: 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 31  SELECT a FROM t1
0ac0: 3b 0a 20 20 7d 0a 20 20 73 65 74 20 3a 3a 73 6e  ;.  }.  set ::sn
0ad0: 61 70 73 68 6f 74 20 5b 73 71 6c 69 74 65 33 5f  apshot [sqlite3_
0ae0: 73 6e 61 70 73 68 6f 74 5f 67 65 74 20 64 62 20  snapshot_get db 
0af0: 6d 61 69 6e 5d 20 0a 20 20 64 62 20 65 76 61 6c  main] .  db eval
0b00: 20 43 4f 4d 4d 49 54 0a 0a 20 20 64 62 20 65 76   COMMIT..  db ev
0b10: 61 6c 20 7b 0a 20 20 20 20 55 50 44 41 54 45 20  al {.    UPDATE 
0b20: 74 31 20 53 45 54 20 62 3d 72 61 6e 64 6f 6d 62  t1 SET b=randomb
0b30: 6c 6f 62 28 35 30 31 29 2c 20 63 3d 72 61 6e 64  lob(501), c=rand
0b40: 6f 6d 62 6c 6f 62 28 35 30 31 29 20 57 48 45 52  omblob(501) WHER
0b50: 45 20 61 3d 31 3b 0a 20 20 20 20 49 4e 53 45 52  E a=1;.    INSER
0b60: 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53  T INTO t1 VALUES
0b70: 28 34 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 35  (4, randomblob(5
0b80: 30 30 29 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62 28  00), randomblob(
0b90: 35 30 30 29 29 3b 0a 20 20 20 20 49 4e 53 45 52  500));.    INSER
0ba0: 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53  T INTO t1 VALUES
0bb0: 28 35 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 35  (5, randomblob(5
0bc0: 30 30 29 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62 28  00), randomblob(
0bd0: 35 30 30 29 29 3b 0a 20 20 20 20 49 4e 53 45 52  500));.    INSER
0be0: 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53  T INTO t1 VALUES
0bf0: 28 36 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 35  (6, randomblob(5
0c00: 30 30 29 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62 28  00), randomblob(
0c10: 35 30 30 29 29 3b 0a 20 20 7d 0a 7d 20 2d 62 6f  500));.  }.} -bo
0c20: 64 79 20 7b 0a 20 20 64 62 20 65 76 61 6c 20 7b  dy {.  db eval {
0c30: 20 50 52 41 47 4d 41 20 77 61 6c 5f 63 68 65 63   PRAGMA wal_chec
0c40: 6b 70 6f 69 6e 74 20 7d 0a 7d 20 2d 74 65 73 74  kpoint }.} -test
0c50: 20 7b 0a 0a 20 20 64 62 5f 73 61 76 65 0a 20 20   {..  db_save.  
0c60: 64 62 20 63 6c 6f 73 65 0a 20 20 64 62 5f 72 65  db close.  db_re
0c70: 73 74 6f 72 65 5f 61 6e 64 5f 72 65 6f 70 65 6e  store_and_reopen
0c80: 0a 20 20 64 62 20 65 76 61 6c 20 7b 20 53 45 4c  .  db eval { SEL
0c90: 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 7d 0a  ECT * FROM t1 }.
0ca0: 20 20 0a 20 20 64 62 20 65 76 61 6c 20 42 45 47    .  db eval BEG
0cb0: 49 4e 0a 20 20 69 66 20 7b 5b 63 61 74 63 68 20  IN.  if {[catch 
0cc0: 7b 20 73 71 6c 69 74 65 33 5f 73 6e 61 70 73 68  { sqlite3_snapsh
0cd0: 6f 74 5f 6f 70 65 6e 20 64 62 20 6d 61 69 6e 20  ot_open db main 
0ce0: 24 3a 3a 73 6e 61 70 73 68 6f 74 20 7d 20 6d 73  $::snapshot } ms
0cf0: 67 5d 7d 20 7b 0a 20 20 20 20 69 66 20 7b 24 6d  g]} {.    if {$m
0d00: 73 67 20 21 3d 20 22 53 51 4c 49 54 45 5f 45 52  sg != "SQLITE_ER
0d10: 52 4f 52 5f 53 4e 41 50 53 48 4f 54 22 20 26 26  ROR_SNAPSHOT" &&
0d20: 20 24 6d 73 67 20 21 3d 20 22 53 51 4c 49 54 45   $msg != "SQLITE
0d30: 5f 42 55 53 59 22 7d 20 7b 0a 20 20 20 20 20 20  _BUSY"} {.      
0d40: 65 72 72 6f 72 20 22 65 72 72 6f 72 20 69 73 20  error "error is 
0d50: 24 6d 73 67 22 20 0a 20 20 20 20 7d 0a 20 20 7d  $msg" .    }.  }
0d60: 20 65 6c 73 65 20 7b 0a 20 20 20 20 23 20 54 68   else {.    # Th
0d70: 69 73 20 62 72 61 6e 63 68 20 73 68 6f 75 6c 64  is branch should
0d80: 20 61 63 74 75 61 6c 6c 79 20 6e 65 76 65 72 20   actually never 
0d90: 62 65 20 74 61 6b 65 6e 2e 20 42 75 74 20 69 74  be taken. But it
0da0: 20 77 61 73 20 75 73 65 66 75 6c 20 69 6e 0a 20   was useful in. 
0db0: 20 20 20 23 20 64 65 74 65 72 6d 69 6e 69 6e 67     # determining
0dc0: 20 77 68 65 74 68 65 72 20 6f 72 20 6e 6f 74 20   whether or not 
0dd0: 74 68 69 73 20 74 65 73 74 20 77 61 73 20 61 63  this test was ac
0de0: 74 75 61 6c 6c 79 20 77 6f 72 6b 69 6e 67 20 28  tually working (
0df0: 62 79 20 0a 20 20 20 20 23 20 72 75 6e 6e 69 6e  by .    # runnin
0e00: 67 20 61 20 6d 6f 64 69 66 69 65 64 20 76 65 72  g a modified ver
0e10: 73 69 6f 6e 20 6f 66 20 53 51 4c 69 74 65 20 74  sion of SQLite t
0e20: 68 61 74 20 61 6c 6c 6f 77 65 64 20 73 6e 61 70  hat allowed snap
0e30: 73 68 6f 74 73 20 74 6f 20 62 65 0a 20 20 20 20  shots to be.    
0e40: 23 20 6f 70 65 6e 65 64 20 66 6f 6c 6c 6f 77 69  # opened followi
0e50: 6e 67 20 61 20 72 65 63 6f 76 65 72 79 29 2e 0a  ng a recovery)..
0e60: 20 20 20 20 65 72 72 6f 72 20 22 54 45 53 54 20      error "TEST 
0e70: 48 41 53 20 46 41 49 4c 45 44 22 0a 0a 20 20 20  HAS FAILED"..   
0e80: 20 73 65 74 20 72 65 73 20 5b 64 62 20 65 76 61   set res [db eva
0e90: 6c 20 7b 20 0a 20 20 20 20 20 20 53 45 4c 45 43  l { .      SELEC
0ea0: 54 20 61 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20  T a FROM t1;.   
0eb0: 20 20 20 50 52 41 47 4d 41 20 69 6e 74 65 67 72     PRAGMA integr
0ec0: 69 74 79 5f 63 68 65 63 6b 3b 0a 20 20 20 20 7d  ity_check;.    }
0ed0: 5d 0a 20 20 20 20 69 66 20 7b 24 72 65 73 20 21  ].    if {$res !
0ee0: 3d 20 22 31 20 32 20 33 20 6f 6b 22 7d 20 7b 20  = "1 2 3 ok"} { 
0ef0: 65 72 72 6f 72 20 22 72 65 73 20 69 73 20 24 72  error "res is $r
0f00: 65 73 22 20 7d 0a 20 20 7d 0a 0a 20 20 73 71 6c  es" }.  }..  sql
0f10: 69 74 65 33 5f 73 6e 61 70 73 68 6f 74 5f 66 72  ite3_snapshot_fr
0f20: 65 65 20 24 3a 3a 73 6e 61 70 73 68 6f 74 0a 7d  ee $::snapshot.}
0f30: 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ..#-------------
0f40: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0f50: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0f60: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0f70: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 54  ------------.# T
0f80: 65 73 74 20 74 68 65 20 68 61 6e 64 6c 69 6e 67  est the handling
0f90: 20 6f 66 20 66 61 75 6c 74 73 20 74 68 61 74 20   of faults that 
0fa0: 6f 63 63 75 72 20 77 69 74 68 69 6e 20 73 71 6c  occur within sql
0fb0: 69 74 65 33 5f 73 6e 61 70 73 68 6f 74 5f 6f 70  ite3_snapshot_op
0fc0: 65 6e 28 29 2e 0a 23 0a 64 6f 5f 66 61 75 6c 74  en()..#.do_fault
0fd0: 73 69 6d 5f 74 65 73 74 20 33 2e 30 20 2d 70 72  sim_test 3.0 -pr
0fe0: 65 70 20 7b 0a 20 20 66 61 75 6c 74 73 69 6d 5f  ep {.  faultsim_
0ff0: 64 65 6c 65 74 65 5f 61 6e 64 5f 72 65 6f 70 65  delete_and_reope
1000: 6e 0a 20 20 64 62 20 65 76 61 6c 20 7b 20 0a 20  n.  db eval { . 
1010: 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20     CREATE TABLE 
1020: 74 31 28 61 2c 20 62 20 55 4e 49 51 55 45 2c 20  t1(a, b UNIQUE, 
1030: 63 20 55 4e 49 51 55 45 29 3b 0a 20 20 20 20 49  c UNIQUE);.    I
1040: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41  NSERT INTO t1 VA
1050: 4c 55 45 53 28 31 2c 20 72 61 6e 64 6f 6d 62 6c  LUES(1, randombl
1060: 6f 62 28 35 30 30 29 2c 20 72 61 6e 64 6f 6d 62  ob(500), randomb
1070: 6c 6f 62 28 35 30 30 29 29 3b 0a 20 20 20 20 49  lob(500));.    I
1080: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41  NSERT INTO t1 VA
1090: 4c 55 45 53 28 32 2c 20 72 61 6e 64 6f 6d 62 6c  LUES(2, randombl
10a0: 6f 62 28 35 30 30 29 2c 20 72 61 6e 64 6f 6d 62  ob(500), randomb
10b0: 6c 6f 62 28 35 30 30 29 29 3b 0a 20 20 20 20 50  lob(500));.    P
10c0: 52 41 47 4d 41 20 6a 6f 75 72 6e 61 6c 5f 6d 6f  RAGMA journal_mo
10d0: 64 65 20 3d 20 77 61 6c 3b 0a 20 20 20 20 49 4e  de = wal;.    IN
10e0: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c  SERT INTO t1 VAL
10f0: 55 45 53 28 33 2c 20 72 61 6e 64 6f 6d 62 6c 6f  UES(3, randomblo
1100: 62 28 35 30 30 29 2c 20 72 61 6e 64 6f 6d 62 6c  b(500), randombl
1110: 6f 62 28 35 30 30 29 29 3b 0a 20 20 20 20 42 45  ob(500));.    BE
1120: 47 49 4e 3b 0a 20 20 20 20 20 20 53 45 4c 45 43  GIN;.      SELEC
1130: 54 20 61 20 46 52 4f 4d 20 74 31 3b 0a 20 20 7d  T a FROM t1;.  }
1140: 0a 20 20 73 65 74 20 3a 3a 73 6e 61 70 73 68 6f  .  set ::snapsho
1150: 74 20 5b 73 71 6c 69 74 65 33 5f 73 6e 61 70 73  t [sqlite3_snaps
1160: 68 6f 74 5f 67 65 74 20 64 62 20 6d 61 69 6e 5d  hot_get db main]
1170: 20 0a 20 20 64 62 20 65 76 61 6c 20 43 4f 4d 4d   .  db eval COMM
1180: 49 54 0a 20 20 64 62 20 65 76 61 6c 20 7b 0a 20  IT.  db eval {. 
1190: 20 20 20 55 50 44 41 54 45 20 74 31 20 53 45 54     UPDATE t1 SET
11a0: 20 62 3d 72 61 6e 64 6f 6d 62 6c 6f 62 28 35 30   b=randomblob(50
11b0: 31 29 2c 20 63 3d 72 61 6e 64 6f 6d 62 6c 6f 62  1), c=randomblob
11c0: 28 35 30 31 29 20 57 48 45 52 45 20 61 3d 31 3b  (501) WHERE a=1;
11d0: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
11e0: 20 74 31 20 56 41 4c 55 45 53 28 34 2c 20 72 61   t1 VALUES(4, ra
11f0: 6e 64 6f 6d 62 6c 6f 62 28 35 30 30 29 2c 20 72  ndomblob(500), r
1200: 61 6e 64 6f 6d 62 6c 6f 62 28 35 30 30 29 29 3b  andomblob(500));
1210: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
1220: 20 74 31 20 56 41 4c 55 45 53 28 35 2c 20 72 61   t1 VALUES(5, ra
1230: 6e 64 6f 6d 62 6c 6f 62 28 35 30 30 29 2c 20 72  ndomblob(500), r
1240: 61 6e 64 6f 6d 62 6c 6f 62 28 35 30 30 29 29 3b  andomblob(500));
1250: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
1260: 20 74 31 20 56 41 4c 55 45 53 28 36 2c 20 72 61   t1 VALUES(6, ra
1270: 6e 64 6f 6d 62 6c 6f 62 28 35 30 30 29 2c 20 72  ndomblob(500), r
1280: 61 6e 64 6f 6d 62 6c 6f 62 28 35 30 30 29 29 3b  andomblob(500));
1290: 0a 20 20 20 20 42 45 47 49 4e 3b 0a 20 20 7d 0a  .    BEGIN;.  }.
12a0: 7d 20 2d 62 6f 64 79 20 7b 0a 20 20 69 66 20 7b  } -body {.  if {
12b0: 20 5b 63 61 74 63 68 20 7b 20 73 71 6c 69 74 65   [catch { sqlite
12c0: 33 5f 73 6e 61 70 73 68 6f 74 5f 6f 70 65 6e 20  3_snapshot_open 
12d0: 64 62 20 6d 61 69 6e 20 24 3a 3a 73 6e 61 70 73  db main $::snaps
12e0: 68 6f 74 20 7d 20 6d 73 67 5d 20 7d 20 7b 0a 20  hot } msg] } {. 
12f0: 20 20 20 65 72 72 6f 72 20 24 6d 73 67 0a 20 20     error $msg.  
1300: 7d 0a 7d 20 2d 74 65 73 74 20 7b 0a 20 20 66 61  }.} -test {.  fa
1310: 75 6c 74 73 69 6d 5f 74 65 73 74 5f 72 65 73 75  ultsim_test_resu
1320: 6c 74 20 7b 30 20 7b 7d 7d 20 7b 31 20 53 51 4c  lt {0 {}} {1 SQL
1330: 49 54 45 5f 49 4f 45 52 52 7d 20 7b 31 20 53 51  ITE_IOERR} {1 SQ
1340: 4c 49 54 45 5f 4e 4f 4d 45 4d 7d 20 5c 0a 20 20  LITE_NOMEM} \.  
1350: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1360: 20 20 20 20 20 20 20 20 20 20 20 20 7b 31 20 53              {1 S
1370: 51 4c 49 54 45 5f 49 4f 45 52 52 5f 4e 4f 4d 45  QLITE_IOERR_NOME
1380: 4d 7d 20 7b 31 20 53 51 4c 49 54 45 5f 49 4f 45  M} {1 SQLITE_IOE
1390: 52 52 5f 52 45 41 44 7d 0a 20 20 69 66 20 7b 24  RR_READ}.  if {$
13a0: 74 65 73 74 72 63 3d 3d 30 7d 20 7b 0a 20 20 20  testrc==0} {.   
13b0: 20 73 65 74 20 72 65 73 20 5b 64 62 20 65 76 61   set res [db eva
13c0: 6c 20 7b 20 0a 20 20 20 20 20 20 53 45 4c 45 43  l { .      SELEC
13d0: 54 20 61 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20  T a FROM t1;.   
13e0: 20 20 20 50 52 41 47 4d 41 20 69 6e 74 65 67 72     PRAGMA integr
13f0: 69 74 79 5f 63 68 65 63 6b 3b 0a 20 20 20 20 7d  ity_check;.    }
1400: 5d 0a 20 20 20 20 69 66 20 7b 24 72 65 73 20 21  ].    if {$res !
1410: 3d 20 22 31 20 32 20 33 20 6f 6b 22 7d 20 7b 20  = "1 2 3 ok"} { 
1420: 65 72 72 6f 72 20 22 72 65 73 20 69 73 20 24 72  error "res is $r
1430: 65 73 22 20 7d 0a 20 20 7d 0a 0a 20 20 73 71 6c  es" }.  }..  sql
1440: 69 74 65 33 5f 73 6e 61 70 73 68 6f 74 5f 66 72  ite3_snapshot_fr
1450: 65 65 20 24 3a 3a 73 6e 61 70 73 68 6f 74 0a 7d  ee $::snapshot.}
1460: 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ..#-------------
1470: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1480: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1490: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
14a0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 54  ------------.# T
14b0: 65 73 74 20 74 68 65 20 68 61 6e 64 6c 69 6e 67  est the handling
14c0: 20 6f 66 20 66 61 75 6c 74 73 20 74 68 61 74 20   of faults that 
14d0: 6f 63 63 75 72 20 77 69 74 68 69 6e 20 73 71 6c  occur within sql
14e0: 69 74 65 33 5f 73 6e 61 70 73 68 6f 74 5f 72 65  ite3_snapshot_re
14f0: 63 6f 76 65 72 28 29 2e 0a 23 0a 72 65 73 65 74  cover()..#.reset
1500: 5f 64 62 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74  _db.do_execsql_t
1510: 65 73 74 20 34 2e 30 20 7b 0a 20 20 50 52 41 47  est 4.0 {.  PRAG
1520: 4d 41 20 6a 6f 75 72 6e 61 6c 5f 6d 6f 64 65 20  MA journal_mode 
1530: 3d 20 77 61 6c 3b 0a 20 20 43 52 45 41 54 45 20  = wal;.  CREATE 
1540: 54 41 42 4c 45 20 74 31 28 7a 7a 7a 29 3b 0a 20  TABLE t1(zzz);. 
1550: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
1560: 56 41 4c 55 45 53 28 27 61 62 63 27 29 3b 0a 20  VALUES('abc');. 
1570: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
1580: 56 41 4c 55 45 53 28 27 64 65 66 27 29 3b 0a 7d  VALUES('def');.}
1590: 20 7b 77 61 6c 7d 0a 66 61 75 6c 74 73 69 6d 5f   {wal}.faultsim_
15a0: 73 61 76 65 5f 61 6e 64 5f 63 6c 6f 73 65 0a 0a  save_and_close..
15b0: 64 6f 5f 74 65 73 74 20 34 2e 30 2e 31 20 7b 0a  do_test 4.0.1 {.
15c0: 20 20 66 61 75 6c 74 73 69 6d 5f 72 65 73 74 6f    faultsim_resto
15d0: 72 65 5f 61 6e 64 5f 72 65 6f 70 65 6e 0a 20 20  re_and_reopen.  
15e0: 64 62 20 65 76 61 6c 20 7b 20 53 45 4c 45 43 54  db eval { SELECT
15f0: 20 2a 20 46 52 4f 4d 20 73 71 6c 69 74 65 5f 6d   * FROM sqlite_m
1600: 61 73 74 65 72 20 7d 20 0a 20 20 73 71 6c 69 74  aster } .  sqlit
1610: 65 33 5f 73 6e 61 70 73 68 6f 74 5f 72 65 63 6f  e3_snapshot_reco
1620: 76 65 72 20 64 62 20 6d 61 69 6e 0a 7d 20 7b 7d  ver db main.} {}
1630: 0a 64 62 20 63 6c 6f 73 65 0a 0a 64 6f 5f 66 61  .db close..do_fa
1640: 75 6c 74 73 69 6d 5f 74 65 73 74 20 34 2e 30 20  ultsim_test 4.0 
1650: 2d 66 61 75 6c 74 73 20 6f 6f 6d 2a 20 2d 70 72  -faults oom* -pr
1660: 65 70 20 7b 0a 20 20 66 61 75 6c 74 73 69 6d 5f  ep {.  faultsim_
1670: 72 65 73 74 6f 72 65 5f 61 6e 64 5f 72 65 6f 70  restore_and_reop
1680: 65 6e 0a 20 20 64 62 20 65 76 61 6c 20 7b 20 53  en.  db eval { S
1690: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 73 71 6c  ELECT * FROM sql
16a0: 69 74 65 5f 6d 61 73 74 65 72 20 7d 20 0a 7d 20  ite_master } .} 
16b0: 2d 62 6f 64 79 20 7b 0a 20 20 73 71 6c 69 74 65  -body {.  sqlite
16c0: 33 5f 73 6e 61 70 73 68 6f 74 5f 72 65 63 6f 76  3_snapshot_recov
16d0: 65 72 20 64 62 20 6d 61 69 6e 0a 7d 20 2d 74 65  er db main.} -te
16e0: 73 74 20 7b 0a 20 20 66 61 75 6c 74 73 69 6d 5f  st {.  faultsim_
16f0: 74 65 73 74 5f 72 65 73 75 6c 74 20 7b 30 20 7b  test_result {0 {
1700: 7d 7d 20 7b 31 20 53 51 4c 49 54 45 5f 4e 4f 4d  }} {1 SQLITE_NOM
1710: 45 4d 7d 20 7b 31 20 53 51 4c 49 54 45 5f 49 4f  EM} {1 SQLITE_IO
1720: 45 52 52 5f 4e 4f 4d 45 4d 7d 0a 7d 0a 0a 23 20  ERR_NOMEM}.}..# 
1730: 54 68 65 20 66 6f 6c 6c 6f 77 69 6e 67 20 74 65  The following te
1740: 73 74 20 63 61 73 65 73 20 63 6f 6e 74 72 69 76  st cases contriv
1750: 65 20 74 6f 20 63 61 6c 6c 20 73 71 6c 69 74 65  e to call sqlite
1760: 33 5f 73 6e 61 70 73 68 6f 74 5f 72 65 63 6f 76  3_snapshot_recov
1770: 65 72 28 29 0a 23 20 62 65 66 6f 72 65 20 61 6c  er().# before al
1780: 6c 20 70 61 67 65 73 20 6f 66 20 74 68 65 20 2a  l pages of the *
1790: 2d 73 68 6d 20 66 69 6c 65 20 68 61 76 65 20 62  -shm file have b
17a0: 65 65 6e 20 6d 61 70 70 65 64 2e 20 54 68 69 73  een mapped. This
17b0: 20 74 65 73 74 73 20 61 6e 0a 23 20 65 78 74 72   tests an.# extr
17c0: 61 20 62 72 61 6e 63 68 20 6f 66 20 65 72 72 6f  a branch of erro
17d0: 72 20 68 61 6e 64 6c 69 6e 67 20 6c 6f 67 69 63  r handling logic
17e0: 20 69 6e 20 73 6e 61 70 73 68 6f 74 5f 72 65 63   in snapshot_rec
17f0: 6f 76 65 72 28 29 2e 0a 23 0a 72 65 73 65 74 5f  over()..#.reset_
1800: 64 62 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65  db.do_execsql_te
1810: 73 74 20 34 2e 31 2e 30 20 7b 0a 20 20 50 52 41  st 4.1.0 {.  PRA
1820: 47 4d 41 20 70 61 67 65 5f 73 69 7a 65 20 3d 20  GMA page_size = 
1830: 35 31 32 3b 0a 20 20 50 52 41 47 4d 41 20 6a 6f  512;.  PRAGMA jo
1840: 75 72 6e 61 6c 5f 6d 6f 64 65 20 3d 20 77 61 6c  urnal_mode = wal
1850: 3b 0a 20 20 50 52 41 47 4d 41 20 77 61 6c 5f 61  ;.  PRAGMA wal_a
1860: 75 74 6f 63 68 65 63 6b 70 6f 69 6e 74 20 3d 20  utocheckpoint = 
1870: 30 3b 0a 20 20 43 52 45 41 54 45 20 54 41 42 4c  0;.  CREATE TABL
1880: 45 20 74 31 28 7a 7a 7a 29 3b 0a 20 20 49 4e 53  E t1(zzz);.  INS
1890: 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55  ERT INTO t1 VALU
18a0: 45 53 28 72 61 6e 64 6f 6d 62 6c 6f 62 28 20 35  ES(randomblob( 5
18b0: 30 30 20 2a 20 39 35 30 30 20 29 29 3b 0a 20 20  00 * 9500 ));.  
18c0: 50 52 41 47 4d 41 20 75 73 65 72 5f 76 65 72 73  PRAGMA user_vers
18d0: 69 6f 6e 20 3d 20 32 31 31 3b 0a 7d 20 7b 77 61  ion = 211;.} {wa
18e0: 6c 20 30 7d 0a 0a 64 6f 5f 74 65 73 74 20 34 2e  l 0}..do_test 4.
18f0: 31 2e 31 20 7b 0a 20 20 6c 69 73 74 20 5b 66 69  1.1 {.  list [fi
1900: 6c 65 20 73 69 7a 65 20 74 65 73 74 2e 64 62 2d  le size test.db-
1910: 73 68 6d 5d 20 5b 66 69 6c 65 20 73 69 7a 65 20  shm] [file size 
1920: 74 65 73 74 2e 64 62 5d 0a 7d 20 7b 39 38 33 30  test.db].} {9830
1930: 34 20 35 31 32 7d 0a 0a 66 61 75 6c 74 73 69 6d  4 512}..faultsim
1940: 5f 73 61 76 65 5f 61 6e 64 5f 63 6c 6f 73 65 0a  _save_and_close.
1950: 64 6f 5f 66 61 75 6c 74 73 69 6d 5f 74 65 73 74  do_faultsim_test
1960: 20 34 2e 31 20 2d 66 61 75 6c 74 73 20 73 68 6d   4.1 -faults shm
1970: 2a 20 2d 70 72 65 70 20 7b 0a 20 20 63 61 74 63  * -prep {.  catc
1980: 68 20 7b 20 64 62 32 20 63 6c 6f 73 65 20 7d 20  h { db2 close } 
1990: 0a 20 20 63 61 74 63 68 20 7b 20 64 62 20 63 6c  .  catch { db cl
19a0: 6f 73 65 20 7d 20 0a 20 20 66 61 75 6c 74 73 69  ose } .  faultsi
19b0: 6d 5f 72 65 73 74 6f 72 65 5f 61 6e 64 5f 72 65  m_restore_and_re
19c0: 6f 70 65 6e 0a 20 20 73 71 6c 69 74 65 33 20 64  open.  sqlite3 d
19d0: 62 32 20 74 65 73 74 2e 64 62 0a 20 20 64 62 32  b2 test.db.  db2
19e0: 20 65 76 61 6c 20 7b 20 53 45 4c 45 43 54 20 2a   eval { SELECT *
19f0: 20 46 52 4f 4d 20 73 71 6c 69 74 65 5f 6d 61 73   FROM sqlite_mas
1a00: 74 65 72 20 7d 20 0a 20 20 64 62 20 65 76 61 6c  ter } .  db eval
1a10: 20 42 45 47 49 4e 0a 20 20 73 71 6c 69 74 65 33   BEGIN.  sqlite3
1a20: 5f 73 6e 61 70 73 68 6f 74 5f 67 65 74 5f 62 6c  _snapshot_get_bl
1a30: 6f 62 20 64 62 20 6d 61 69 6e 0a 20 20 64 62 20  ob db main.  db 
1a40: 65 76 61 6c 20 43 4f 4d 4d 49 54 0a 7d 20 2d 62  eval COMMIT.} -b
1a50: 6f 64 79 20 7b 0a 20 20 73 71 6c 69 74 65 33 5f  ody {.  sqlite3_
1a60: 73 6e 61 70 73 68 6f 74 5f 72 65 63 6f 76 65 72  snapshot_recover
1a70: 20 64 62 20 6d 61 69 6e 0a 7d 20 2d 74 65 73 74   db main.} -test
1a80: 20 7b 0a 20 20 66 61 75 6c 74 73 69 6d 5f 74 65   {.  faultsim_te
1a90: 73 74 5f 72 65 73 75 6c 74 20 7b 30 20 7b 7d 7d  st_result {0 {}}
1aa0: 20 7b 31 20 53 51 4c 49 54 45 5f 49 4f 45 52 52   {1 SQLITE_IOERR
1ab0: 7d 0a 7d 0a 0a 0a 0a 66 69 6e 69 73 68 5f 74 65  }.}....finish_te
1ac0: 73 74 0a                                         st.