/ Hex Artifact Content
Login

Artifact a395a6ab144b26a9e3e21059a1ab6a7149cca65b:


0000: 23 20 32 30 31 32 20 44 65 63 65 6d 62 65 72 20  # 2012 December 
0010: 31 38 0a 23 0a 23 20 54 68 65 20 61 75 74 68 6f  18.#.# The autho
0020: 72 20 64 69 73 63 6c 61 69 6d 73 20 63 6f 70 79  r disclaims copy
0030: 72 69 67 68 74 20 74 6f 20 74 68 69 73 20 73 6f  right to this so
0040: 75 72 63 65 20 63 6f 64 65 2e 20 20 49 6e 20 70  urce code.  In p
0050: 6c 61 63 65 20 6f 66 0a 23 20 61 20 6c 65 67 61  lace of.# a lega
0060: 6c 20 6e 6f 74 69 63 65 2c 20 68 65 72 65 20 69  l notice, here i
0070: 73 20 61 20 62 6c 65 73 73 69 6e 67 3a 0a 23 0a  s a blessing:.#.
0080: 23 20 20 20 20 4d 61 79 20 79 6f 75 20 64 6f 20  #    May you do 
0090: 67 6f 6f 64 20 61 6e 64 20 6e 6f 74 20 65 76 69  good and not evi
00a0: 6c 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20  l..#    May you 
00b0: 66 69 6e 64 20 66 6f 72 67 69 76 65 6e 65 73 73  find forgiveness
00c0: 20 66 6f 72 20 79 6f 75 72 73 65 6c 66 20 61 6e   for yourself an
00d0: 64 20 66 6f 72 67 69 76 65 20 6f 74 68 65 72 73  d forgive others
00e0: 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20 73  ..#    May you s
00f0: 68 61 72 65 20 66 72 65 65 6c 79 2c 20 6e 65 76  hare freely, nev
0100: 65 72 20 74 61 6b 69 6e 67 20 6d 6f 72 65 20 74  er taking more t
0110: 68 61 6e 20 79 6f 75 20 67 69 76 65 2e 0a 23 0a  han you give..#.
0120: 23 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  #***************
0130: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0140: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0150: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0160: 2a 2a 2a 2a 2a 2a 2a 2a 0a 23 0a 0a 73 65 74 20  ********.#..set 
0170: 74 65 73 74 64 69 72 20 5b 66 69 6c 65 20 64 69  testdir [file di
0180: 72 6e 61 6d 65 20 24 61 72 67 76 30 5d 0a 73 6f  rname $argv0].so
0190: 75 72 63 65 20 24 74 65 73 74 64 69 72 2f 74 65  urce $testdir/te
01a0: 73 74 65 72 2e 74 63 6c 0a 73 6f 75 72 63 65 20  ster.tcl.source 
01b0: 24 74 65 73 74 64 69 72 2f 6d 61 6c 6c 6f 63 5f  $testdir/malloc_
01c0: 63 6f 6d 6d 6f 6e 2e 74 63 6c 0a 73 65 74 20 3a  common.tcl.set :
01d0: 3a 74 65 73 74 70 72 65 66 69 78 20 69 6f 65 72  :testprefix ioer
01e0: 72 36 0a 0a 69 66 63 61 70 61 62 6c 65 20 21 61  r6..ifcapable !a
01f0: 74 6f 6d 69 63 77 72 69 74 65 20 7b 0a 20 20 70  tomicwrite {.  p
0200: 75 74 73 20 22 73 6b 69 70 70 69 6e 67 20 74 65  uts "skipping te
0210: 73 74 73 20 2d 20 6e 6f 74 20 63 6f 6d 70 69 6c  sts - not compil
0220: 65 64 20 77 69 74 68 20 53 51 4c 49 54 45 5f 45  ed with SQLITE_E
0230: 4e 41 42 4c 45 5f 41 54 4f 4d 49 43 5f 57 52 49  NABLE_ATOMIC_WRI
0240: 54 45 2e 2e 2e 22 0a 20 20 66 69 6e 69 73 68 5f  TE...".  finish_
0250: 74 65 73 74 0a 20 20 72 65 74 75 72 6e 0a 7d 0a  test.  return.}.
0260: 0a 69 66 20 7b 5b 70 65 72 6d 75 74 61 74 69 6f  .if {[permutatio
0270: 6e 5d 3d 3d 22 69 6e 6d 65 6d 6f 72 79 5f 6a 6f  n]=="inmemory_jo
0280: 75 72 6e 61 6c 22 7d 20 7b 0a 20 20 23 20 54 68  urnal"} {.  # Th
0290: 65 73 65 20 74 65 73 74 73 20 77 69 6c 6c 20 6e  ese tests will n
02a0: 6f 74 20 77 6f 72 6b 20 77 69 74 68 20 69 6e 2d  ot work with in-
02b0: 6d 65 6d 6f 72 79 20 6a 6f 75 72 6e 61 6c 73 20  memory journals 
02c0: 28 61 73 20 70 65 72 73 69 73 74 65 6e 74 20 56  (as persistent V
02d0: 46 53 0a 20 20 23 20 65 72 72 6f 72 73 20 63 6f  FS.  # errors co
02e0: 6d 6d 65 6e 63 69 6e 67 20 61 66 74 65 72 20 61  mmencing after a
02f0: 20 74 72 61 6e 73 61 63 74 69 6f 6e 20 68 61 73   transaction has
0300: 20 73 74 61 72 74 65 64 20 74 6f 20 77 72 69 74   started to writ
0310: 65 20 74 6f 20 74 68 65 20 64 62 0a 20 20 23 20  e to the db.  # 
0320: 63 61 6e 6e 6f 74 20 62 65 20 72 65 63 6f 76 65  cannot be recove
0330: 72 65 64 20 66 72 6f 6d 29 2e 0a 20 20 66 69 6e  red from)..  fin
0340: 69 73 68 5f 74 65 73 74 0a 20 20 72 65 74 75 72  ish_test.  retur
0350: 6e 0a 7d 0a 0a 66 61 75 6c 74 73 69 6d 5f 73 61  n.}..faultsim_sa
0360: 76 65 5f 61 6e 64 5f 63 6c 6f 73 65 0a 0a 64 6f  ve_and_close..do
0370: 5f 74 65 73 74 20 31 2e 31 20 7b 0a 20 20 74 65  _test 1.1 {.  te
0380: 73 74 76 66 73 20 73 68 6d 66 61 75 6c 74 20 2d  stvfs shmfault -
0390: 64 65 66 61 75 6c 74 20 74 72 75 65 0a 20 20 73  default true.  s
03a0: 68 6d 66 61 75 6c 74 20 64 65 76 63 68 61 72 20  hmfault devchar 
03b0: 61 74 6f 6d 69 63 0a 20 20 73 71 6c 69 74 65 33  atomic.  sqlite3
03c0: 20 64 62 20 74 65 73 74 2e 64 62 0a 20 20 65 78   db test.db.  ex
03d0: 65 63 73 71 6c 20 7b 0a 20 20 20 20 43 52 45 41  ecsql {.    CREA
03e0: 54 45 20 54 41 42 4c 45 20 74 31 28 61 2c 20 62  TE TABLE t1(a, b
03f0: 29 3b 0a 20 20 20 20 43 52 45 41 54 45 20 49 4e  );.    CREATE IN
0400: 44 45 58 20 69 31 20 4f 4e 20 74 31 28 61 2c 20  DEX i1 ON t1(a, 
0410: 62 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49  b);.    INSERT I
0420: 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 31 2c  NTO t1 VALUES(1,
0430: 20 32 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20   2);.    INSERT 
0440: 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 32  INTO t1 VALUES(2
0450: 2c 20 34 29 3b 0a 20 20 20 20 49 4e 53 45 52 54  , 4);.    INSERT
0460: 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28   INTO t1 VALUES(
0470: 33 2c 20 36 29 3b 0a 20 20 20 20 49 4e 53 45 52  3, 6);.    INSER
0480: 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53  T INTO t1 VALUES
0490: 28 34 2c 20 38 29 3b 0a 20 20 7d 0a 0a 20 20 23  (4, 8);.  }..  #
04a0: 20 43 61 75 73 65 20 74 68 65 20 66 69 72 73 74   Cause the first
04b0: 20 63 61 6c 6c 20 74 6f 20 78 57 72 69 74 65 28   call to xWrite(
04c0: 29 20 74 6f 20 66 61 69 6c 20 77 69 74 68 20 53  ) to fail with S
04d0: 51 4c 49 54 45 5f 46 55 4c 4c 2e 0a 20 20 73 68  QLITE_FULL..  sh
04e0: 6d 66 61 75 6c 74 20 66 75 6c 6c 20 32 20 31 0a  mfault full 2 1.
04f0: 20 20 63 61 74 63 68 73 71 6c 20 7b 20 49 4e 53    catchsql { INS
0500: 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55  ERT INTO t1 VALU
0510: 45 53 28 35 2c 20 31 30 29 20 7d 0a 7d 20 7b 31  ES(5, 10) }.} {1
0520: 20 7b 64 61 74 61 62 61 73 65 20 6f 72 20 64 69   {database or di
0530: 73 6b 20 69 73 20 66 75 6c 6c 7d 7d 0a 0a 64 6f  sk is full}}..do
0540: 5f 74 65 73 74 20 31 2e 32 20 7b 0a 20 20 65 78  _test 1.2 {.  ex
0550: 65 63 73 71 6c 20 7b 20 50 52 41 47 4d 41 20 69  ecsql { PRAGMA i
0560: 6e 74 65 67 72 69 74 79 5f 63 68 65 63 6b 20 7d  ntegrity_check }
0570: 0a 7d 20 7b 6f 6b 7d 0a 0a 64 62 20 63 6c 6f 73  .} {ok}..db clos
0580: 65 0a 73 68 6d 66 61 75 6c 74 20 64 65 6c 65 74  e.shmfault delet
0590: 65 0a 0a 64 6f 5f 66 61 75 6c 74 73 69 6d 5f 74  e..do_faultsim_t
05a0: 65 73 74 20 32 20 2d 66 61 75 6c 74 73 20 66 75  est 2 -faults fu
05b0: 6c 6c 2a 20 2d 70 72 65 70 20 7b 0a 20 20 73 68  ll* -prep {.  sh
05c0: 6d 66 61 75 6c 74 20 64 65 76 63 68 61 72 20 61  mfault devchar a
05d0: 74 6f 6d 69 63 0a 20 20 66 61 75 6c 74 73 69 6d  tomic.  faultsim
05e0: 5f 72 65 73 74 6f 72 65 0a 20 20 73 71 6c 69 74  _restore.  sqlit
05f0: 65 33 20 64 62 20 74 65 73 74 2e 64 62 0a 7d 20  e3 db test.db.} 
0600: 2d 62 6f 64 79 20 7b 0a 20 20 64 62 20 65 76 61  -body {.  db eva
0610: 6c 20 7b 0a 20 20 20 20 43 52 45 41 54 45 20 54  l {.    CREATE T
0620: 41 42 4c 45 20 74 31 28 78 20 50 52 49 4d 41 52  ABLE t1(x PRIMAR
0630: 59 20 4b 45 59 29 3b 0a 20 20 20 20 49 4e 53 45  Y KEY);.    INSE
0640: 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45  RT INTO t1 VALUE
0650: 53 28 27 61 62 63 27 29 3b 0a 20 20 7d 0a 7d 20  S('abc');.  }.} 
0660: 2d 74 65 73 74 20 7b 0a 20 20 73 65 74 20 72 65  -test {.  set re
0670: 73 20 5b 64 62 20 6f 6e 65 20 7b 20 50 52 41 47  s [db one { PRAG
0680: 4d 41 20 69 6e 74 65 67 72 69 74 79 5f 63 68 65  MA integrity_che
0690: 63 6b 20 7d 5d 0a 20 20 69 66 20 7b 24 72 65 73  ck }].  if {$res
06a0: 20 21 3d 20 22 6f 6b 22 7d 20 7b 0a 20 20 20 20   != "ok"} {.    
06b0: 65 72 72 6f 72 20 22 69 6e 74 65 67 72 69 74 79  error "integrity
06c0: 20 63 68 65 63 6b 3a 20 24 72 65 73 22 0a 20 20   check: $res".  
06d0: 7d 0a 7d 0a 0a 64 6f 5f 66 61 75 6c 74 73 69 6d  }.}..do_faultsim
06e0: 5f 74 65 73 74 20 33 20 2d 66 61 75 6c 74 73 20  _test 3 -faults 
06f0: 66 75 6c 6c 2a 20 2d 70 72 65 70 20 7b 0a 20 20  full* -prep {.  
0700: 73 68 6d 66 61 75 6c 74 20 64 65 76 63 68 61 72  shmfault devchar
0710: 20 61 74 6f 6d 69 63 0a 20 20 66 61 75 6c 74 73   atomic.  faults
0720: 69 6d 5f 72 65 73 74 6f 72 65 0a 20 20 73 71 6c  im_restore.  sql
0730: 69 74 65 33 20 64 62 20 74 65 73 74 2e 64 62 0a  ite3 db test.db.
0740: 7d 20 2d 62 6f 64 79 20 7b 0a 20 20 64 62 20 65  } -body {.  db e
0750: 76 61 6c 20 7b 0a 20 20 20 20 43 52 45 41 54 45  val {.    CREATE
0760: 20 54 41 42 4c 45 20 74 31 28 78 29 3b 0a 20 20   TABLE t1(x);.  
0770: 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74    CREATE TABLE t
0780: 32 28 78 29 3b 0a 20 20 7d 0a 7d 20 2d 74 65 73  2(x);.  }.} -tes
0790: 74 20 7b 0a 20 20 64 62 20 65 76 61 6c 20 7b 20  t {.  db eval { 
07a0: 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 33 28  CREATE TABLE t3(
07b0: 78 29 20 7d 0a 20 20 69 66 20 7b 5b 64 62 20 6f  x) }.  if {[db o
07c0: 6e 65 20 7b 20 50 52 41 47 4d 41 20 69 6e 74 65  ne { PRAGMA inte
07d0: 67 72 69 74 79 5f 63 68 65 63 6b 20 7d 5d 20 21  grity_check }] !
07e0: 3d 20 22 6f 6b 22 7d 20 7b 0a 20 20 20 20 65 72  = "ok"} {.    er
07f0: 72 6f 72 20 22 69 6e 74 65 67 72 69 74 79 20 63  ror "integrity c
0800: 68 65 63 6b 20 66 61 69 6c 65 64 22 0a 20 20 7d  heck failed".  }
0810: 0a 7d 0a 0a 66 69 6e 69 73 68 5f 74 65 73 74 0a  .}..finish_test.