/ Hex Artifact Content
Login

Artifact 2593563599e2cc6b6b4fcf5878b177bdd5d8df26:


0000: 23 20 32 30 30 37 20 41 70 72 69 6c 20 32 0a 23  # 2007 April 2.#
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 20 54 68 69 73 20 66 69 6c 65  ****.# This file
0170: 20 69 6d 70 6c 65 6d 65 6e 74 73 20 72 65 67 72   implements regr
0180: 65 73 73 69 6f 6e 20 74 65 73 74 73 20 66 6f 72  ession tests for
0190: 20 53 51 4c 69 74 65 20 6c 69 62 72 61 72 79 2e   SQLite library.
01a0: 20 20 54 68 65 0a 23 20 66 6f 63 75 73 20 6f 66    The.# focus of
01b0: 20 74 68 69 73 20 66 69 6c 65 20 69 73 20 74 65   this file is te
01c0: 73 74 69 6e 67 20 66 6f 72 20 63 6f 72 72 65 63  sting for correc
01d0: 74 20 68 61 6e 64 6c 69 6e 67 20 6f 66 20 49 2f  t handling of I/
01e0: 4f 20 65 72 72 6f 72 73 0a 23 20 73 75 63 68 20  O errors.# such 
01f0: 61 73 20 77 72 69 74 65 73 20 66 61 69 6c 69 6e  as writes failin
0200: 67 20 62 65 63 61 75 73 65 20 74 68 65 20 64 69  g because the di
0210: 73 6b 20 69 73 20 66 75 6c 6c 2e 0a 23 20 0a 23  sk is full..# .#
0220: 20 54 68 65 20 74 65 73 74 73 20 69 6e 20 74 68   The tests in th
0230: 69 73 20 66 69 6c 65 20 75 73 65 20 73 70 65 63  is file use spec
0240: 69 61 6c 20 66 61 63 69 6c 69 74 69 65 73 20 74  ial facilities t
0250: 68 61 74 20 61 72 65 20 6f 6e 6c 79 0a 23 20 61  hat are only.# a
0260: 76 61 69 6c 61 62 6c 65 20 69 6e 20 74 68 65 20  vailable in the 
0270: 53 51 4c 69 74 65 20 74 65 73 74 20 66 69 78 74  SQLite test fixt
0280: 75 72 65 2e 0a 23 0a 23 20 24 49 64 3a 20 69 6f  ure..#.# $Id: io
0290: 65 72 72 32 2e 74 65 73 74 2c 76 20 31 2e 31 32  err2.test,v 1.12
02a0: 20 32 30 30 39 2f 30 36 2f 30 35 20 31 37 3a 30   2009/06/05 17:0
02b0: 39 3a 31 32 20 64 72 68 20 45 78 70 20 24 0a 0a  9:12 drh Exp $..
02c0: 73 65 74 20 74 65 73 74 64 69 72 20 5b 66 69 6c  set testdir [fil
02d0: 65 20 64 69 72 6e 61 6d 65 20 24 61 72 67 76 30  e dirname $argv0
02e0: 5d 0a 73 6f 75 72 63 65 20 24 74 65 73 74 64 69  ].source $testdi
02f0: 72 2f 74 65 73 74 65 72 2e 74 63 6c 0a 0a 69 66  r/tester.tcl..if
0300: 63 61 70 61 62 6c 65 20 21 69 6e 74 65 67 72 69  capable !integri
0310: 74 79 63 6b 20 7b 0a 20 20 66 69 6e 69 73 68 5f  tyck {.  finish_
0320: 74 65 73 74 0a 20 20 72 65 74 75 72 6e 0a 7d 0a  test.  return.}.
0330: 0a 64 6f 5f 74 65 73 74 20 69 6f 65 72 72 32 2d  .do_test ioerr2-
0340: 31 2e 31 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  1.1 {.  execsql 
0350: 7b 0a 20 20 20 20 50 52 41 47 4d 41 20 63 61 63  {.    PRAGMA cac
0360: 68 65 5f 73 69 7a 65 20 3d 20 31 30 3b 0a 20 20  he_size = 10;.  
0370: 20 20 50 52 41 47 4d 41 20 64 65 66 61 75 6c 74    PRAGMA default
0380: 5f 63 61 63 68 65 5f 73 69 7a 65 20 3d 20 31 30  _cache_size = 10
0390: 3b 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 42  ;.    CREATE TAB
03a0: 4c 45 20 74 31 28 61 2c 20 62 2c 20 50 52 49 4d  LE t1(a, b, PRIM
03b0: 41 52 59 20 4b 45 59 28 61 2c 20 62 29 29 3b 0a  ARY KEY(a, b));.
03c0: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
03d0: 74 31 20 56 41 4c 55 45 53 28 72 61 6e 64 73 74  t1 VALUES(randst
03e0: 72 28 34 30 30 2c 34 30 30 29 2c 72 61 6e 64 73  r(400,400),rands
03f0: 74 72 28 34 30 30 2c 34 30 30 29 29 3b 0a 20 20  tr(400,400));.  
0400: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31    INSERT INTO t1
0410: 20 53 45 4c 45 43 54 20 72 61 6e 64 73 74 72 28   SELECT randstr(
0420: 34 30 30 2c 34 30 30 29 2c 20 72 61 6e 64 73 74  400,400), randst
0430: 72 28 34 30 30 2c 34 30 30 29 20 46 52 4f 4d 20  r(400,400) FROM 
0440: 74 31 3b 20 2d 2d 20 32 0a 20 20 20 20 49 4e 53  t1; -- 2.    INS
0450: 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45  ERT INTO t1 SELE
0460: 43 54 20 72 61 6e 64 73 74 72 28 34 30 30 2c 34  CT randstr(400,4
0470: 30 30 29 2c 20 72 61 6e 64 73 74 72 28 34 30 30  00), randstr(400
0480: 2c 34 30 30 29 20 46 52 4f 4d 20 74 31 3b 20 2d  ,400) FROM t1; -
0490: 2d 20 34 0a 20 20 20 20 49 4e 53 45 52 54 20 49  - 4.    INSERT I
04a0: 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20 72 61  NTO t1 SELECT ra
04b0: 6e 64 73 74 72 28 34 30 30 2c 34 30 30 29 2c 20  ndstr(400,400), 
04c0: 72 61 6e 64 73 74 72 28 34 30 30 2c 34 30 30 29  randstr(400,400)
04d0: 20 46 52 4f 4d 20 74 31 3b 20 2d 2d 20 38 0a 20   FROM t1; -- 8. 
04e0: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
04f0: 31 20 53 45 4c 45 43 54 20 72 61 6e 64 73 74 72  1 SELECT randstr
0500: 28 34 30 30 2c 34 30 30 29 2c 20 72 61 6e 64 73  (400,400), rands
0510: 74 72 28 34 30 30 2c 34 30 30 29 20 46 52 4f 4d  tr(400,400) FROM
0520: 20 74 31 3b 20 2d 2d 20 31 36 0a 20 20 20 20 49   t1; -- 16.    I
0530: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45  NSERT INTO t1 SE
0540: 4c 45 43 54 20 72 61 6e 64 73 74 72 28 34 30 30  LECT randstr(400
0550: 2c 34 30 30 29 2c 20 72 61 6e 64 73 74 72 28 34  ,400), randstr(4
0560: 30 30 2c 34 30 30 29 20 46 52 4f 4d 20 74 31 3b  00,400) FROM t1;
0570: 20 2d 2d 20 33 32 0a 20 20 7d 0a 7d 20 7b 7d 0a   -- 32.  }.} {}.
0580: 0a 73 65 74 20 3a 3a 63 6b 73 75 6d 20 5b 65 78  .set ::cksum [ex
0590: 65 63 73 71 6c 20 7b 53 45 4c 45 43 54 20 6d 64  ecsql {SELECT md
05a0: 35 73 75 6d 28 61 2c 20 62 29 20 46 52 4f 4d 20  5sum(a, b) FROM 
05b0: 74 31 7d 5d 0a 70 72 6f 63 20 63 68 65 63 6b 5f  t1}].proc check_
05c0: 64 62 20 7b 74 65 73 74 6e 61 6d 65 7d 20 7b 0a  db {testname} {.
05d0: 0a 20 20 23 20 4d 61 6b 65 20 73 75 72 65 20 6e  .  # Make sure n
05e0: 6f 20 49 2f 4f 20 65 72 72 6f 72 73 20 61 72 65  o I/O errors are
05f0: 20 73 69 6d 75 6c 61 74 65 64 20 69 6e 20 74 68   simulated in th
0600: 69 73 20 70 72 6f 63 2e 0a 20 20 73 65 74 20 3a  is proc..  set :
0610: 3a 73 71 6c 69 74 65 5f 69 6f 5f 65 72 72 6f 72  :sqlite_io_error
0620: 5f 68 69 74 20 30 0a 20 20 73 65 74 20 3a 3a 73  _hit 0.  set ::s
0630: 71 6c 69 74 65 5f 69 6f 5f 65 72 72 6f 72 5f 70  qlite_io_error_p
0640: 65 72 73 69 73 74 20 30 0a 20 20 73 65 74 20 3a  ersist 0.  set :
0650: 3a 73 71 6c 69 74 65 5f 69 6f 5f 65 72 72 6f 72  :sqlite_io_error
0660: 5f 70 65 6e 64 69 6e 67 20 30 0a 0a 20 20 23 20  _pending 0..  # 
0670: 52 75 6e 20 61 6e 20 69 6e 74 65 67 72 69 74 79  Run an integrity
0680: 2d 63 68 65 63 6b 2e 20 49 66 20 22 64 69 73 6b  -check. If "disk
0690: 20 49 2f 4f 20 65 72 72 6f 72 22 20 69 73 20 72   I/O error" is r
06a0: 65 74 75 72 6e 65 64 2c 20 74 68 65 0a 20 20 23  eturned, the.  #
06b0: 20 70 61 67 65 72 20 6d 75 73 74 20 62 65 20 69   pager must be i
06c0: 6e 20 65 72 72 6f 72 20 73 74 61 74 65 2e 20 49  n error state. I
06d0: 6e 20 74 68 69 73 20 63 61 73 65 20 6f 70 65 6e  n this case open
06e0: 20 61 20 6e 65 77 20 64 61 74 61 62 61 73 65 0a   a new database.
06f0: 20 20 23 20 63 6f 6e 6e 65 63 74 69 6f 6e 2e 20    # connection. 
0700: 4f 74 68 65 72 77 69 73 65 2c 20 74 72 79 20 61  Otherwise, try a
0710: 20 52 4f 4c 4c 42 41 43 4b 2c 20 69 6e 20 63 61   ROLLBACK, in ca
0720: 73 65 20 61 20 74 72 61 6e 73 61 63 74 69 6f 6e  se a transaction
0730: 20 0a 20 20 23 20 69 73 20 73 74 69 6c 6c 20 61   .  # is still a
0740: 63 74 69 76 65 2e 0a 20 20 73 65 74 20 72 63 20  ctive..  set rc 
0750: 5b 63 61 74 63 68 20 7b 65 78 65 63 73 71 6c 20  [catch {execsql 
0760: 7b 50 52 41 47 4d 41 20 69 6e 74 65 67 72 69 74  {PRAGMA integrit
0770: 79 5f 63 68 65 63 6b 7d 7d 20 6d 73 67 5d 0a 20  y_check}} msg]. 
0780: 20 69 66 20 7b 24 72 63 20 26 26 20 28 24 6d 73   if {$rc && ($ms
0790: 67 20 65 71 20 22 64 69 73 6b 20 49 2f 4f 20 65  g eq "disk I/O e
07a0: 72 72 6f 72 22 20 7c 7c 20 24 6d 73 67 20 65 71  rror" || $msg eq
07b0: 20 22 64 61 74 61 62 61 73 65 20 69 73 20 6c 6f   "database is lo
07c0: 63 6b 65 64 22 29 7d 20 7b 0a 20 20 20 20 64 62  cked")} {.    db
07d0: 20 63 6c 6f 73 65 0a 20 20 20 20 73 71 6c 69 74   close.    sqlit
07e0: 65 33 20 64 62 20 74 65 73 74 2e 64 62 0a 20 20  e3 db test.db.  
07f0: 20 20 73 65 74 20 72 65 66 63 6e 74 20 30 0a 20    set refcnt 0. 
0800: 20 7d 20 65 6c 73 65 20 7b 0a 20 20 20 20 69 66   } else {.    if
0810: 20 7b 24 72 63 20 7c 7c 20 24 6d 73 67 20 6e 65   {$rc || $msg ne
0820: 20 22 6f 6b 22 7d 20 7b 0a 20 20 20 20 20 20 65   "ok"} {.      e
0830: 72 72 6f 72 20 24 6d 73 67 0a 20 20 20 20 7d 0a  rror $msg.    }.
0840: 20 20 20 20 63 61 74 63 68 20 7b 65 78 65 63 73      catch {execs
0850: 71 6c 20 52 4f 4c 4c 42 41 43 4b 7d 0a 20 20 7d  ql ROLLBACK}.  }
0860: 0a 0a 20 20 23 20 43 68 65 63 6b 20 74 68 61 74  ..  # Check that
0870: 20 74 68 65 20 64 61 74 61 62 61 73 65 20 63 68   the database ch
0880: 65 63 6b 73 75 6d 20 69 73 20 73 74 69 6c 6c 20  ecksum is still 
0890: 24 3a 3a 63 6b 73 75 6d 2c 20 61 6e 64 20 74 68  $::cksum, and th
08a0: 61 74 0a 20 20 23 20 74 68 65 20 69 6e 74 65 67  at.  # the integ
08b0: 72 69 74 79 2d 63 68 65 63 6b 20 70 61 73 73 65  rity-check passe
08c0: 73 2e 0a 20 20 73 65 74 20 63 6b 20 5b 65 78 65  s..  set ck [exe
08d0: 63 73 71 6c 20 7b 53 45 4c 45 43 54 20 6d 64 35  csql {SELECT md5
08e0: 73 75 6d 28 61 2c 20 62 29 20 46 52 4f 4d 20 74  sum(a, b) FROM t
08f0: 31 7d 5d 0a 20 20 64 6f 5f 74 65 73 74 20 24 7b  1}].  do_test ${
0900: 74 65 73 74 6e 61 6d 65 7d 2e 63 6b 73 75 6d 20  testname}.cksum 
0910: 5b 6c 69 73 74 20 73 65 74 20 63 6b 20 24 63 6b  [list set ck $ck
0920: 5d 20 24 3a 3a 63 6b 73 75 6d 0a 20 20 69 6e 74  ] $::cksum.  int
0930: 65 67 72 69 74 79 5f 63 68 65 63 6b 20 24 7b 74  egrity_check ${t
0940: 65 73 74 6e 61 6d 65 7d 2e 69 6e 74 65 67 72 69  estname}.integri
0950: 74 79 0a 20 20 64 6f 5f 74 65 73 74 20 24 7b 74  ty.  do_test ${t
0960: 65 73 74 6e 61 6d 65 7d 2e 72 65 66 63 6e 74 20  estname}.refcnt 
0970: 7b 0a 20 20 20 20 6c 69 6e 64 65 78 20 5b 73 71  {.    lindex [sq
0980: 6c 69 74 65 33 5f 70 61 67 65 72 5f 72 65 66 63  lite3_pager_refc
0990: 6f 75 6e 74 73 20 64 62 5d 20 30 0a 20 20 7d 20  ounts db] 0.  } 
09a0: 30 0a 7d 0a 0a 63 68 65 63 6b 5f 64 62 20 69 6f  0.}..check_db io
09b0: 65 72 72 32 2d 32 0a 0a 73 65 74 20 73 71 6c 20  err2-2..set sql 
09c0: 7b 0a 20 20 50 52 41 47 4d 41 20 63 61 63 68 65  {.  PRAGMA cache
09d0: 5f 73 69 7a 65 20 3d 20 31 30 3b 0a 20 20 50 52  _size = 10;.  PR
09e0: 41 47 4d 41 20 64 65 66 61 75 6c 74 5f 63 61 63  AGMA default_cac
09f0: 68 65 5f 73 69 7a 65 20 3d 20 31 30 3b 0a 20 20  he_size = 10;.  
0a00: 42 45 47 49 4e 3b 0a 20 20 44 45 4c 45 54 45 20  BEGIN;.  DELETE 
0a10: 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 28 6f  FROM t1 WHERE (o
0a20: 69 64 25 37 29 3d 3d 30 3b 0a 20 20 49 4e 53 45  id%7)==0;.  INSE
0a30: 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 43  RT INTO t1 SELEC
0a40: 54 20 72 61 6e 64 73 74 72 28 34 30 30 2c 34 30  T randstr(400,40
0a50: 30 29 2c 20 72 61 6e 64 73 74 72 28 34 30 30 2c  0), randstr(400,
0a60: 34 30 30 29 20 0a 20 20 20 20 57 48 45 52 45 20  400) .    WHERE 
0a70: 28 72 61 6e 64 6f 6d 28 29 25 37 29 3d 3d 30 3b  (random()%7)==0;
0a80: 0a 20 20 55 50 44 41 54 45 20 74 31 20 53 45 54  .  UPDATE t1 SET
0a90: 20 61 20 3d 20 72 61 6e 64 73 74 72 28 34 30 30   a = randstr(400
0aa0: 2c 34 30 30 29 2c 20 62 20 3d 20 72 61 6e 64 73  ,400), b = rands
0ab0: 74 72 28 34 30 30 2c 34 30 30 29 20 0a 20 20 20  tr(400,400) .   
0ac0: 20 57 48 45 52 45 20 28 72 61 6e 64 6f 6d 28 29   WHERE (random()
0ad0: 25 37 29 3d 3d 30 3b 0a 20 20 52 4f 4c 4c 42 41  %7)==0;.  ROLLBA
0ae0: 43 4b 3b 0a 7d 0a 0a 66 6f 72 65 61 63 68 20 62  CK;.}..foreach b
0af0: 50 65 72 73 69 73 74 20 5b 6c 69 73 74 20 30 20  Persist [list 0 
0b00: 31 5d 20 7b 0a 20 20 73 65 74 20 3a 3a 67 6f 20  1] {.  set ::go 
0b10: 31 0a 20 20 66 6f 72 20 7b 73 65 74 20 3a 3a 4e  1.  for {set ::N
0b20: 20 31 7d 20 7b 24 3a 3a 67 6f 7d 20 7b 69 6e 63   1} {$::go} {inc
0b30: 72 20 3a 3a 4e 7d 20 7b 0a 20 20 20 20 64 62 20  r ::N} {.    db 
0b40: 63 6c 6f 73 65 0a 20 20 20 20 73 71 6c 69 74 65  close.    sqlite
0b50: 33 20 64 62 20 74 65 73 74 2e 64 62 0a 20 20 20  3 db test.db.   
0b60: 20 73 65 74 20 3a 3a 73 71 6c 69 74 65 5f 69 6f   set ::sqlite_io
0b70: 5f 65 72 72 6f 72 5f 68 69 74 20 30 0a 20 20 20  _error_hit 0.   
0b80: 20 73 65 74 20 3a 3a 73 71 6c 69 74 65 5f 69 6f   set ::sqlite_io
0b90: 5f 65 72 72 6f 72 5f 70 65 72 73 69 73 74 20 24  _error_persist $
0ba0: 62 50 65 72 73 69 73 74 0a 20 20 20 20 73 65 74  bPersist.    set
0bb0: 20 3a 3a 73 71 6c 69 74 65 5f 69 6f 5f 65 72 72   ::sqlite_io_err
0bc0: 6f 72 5f 70 65 6e 64 69 6e 67 20 24 3a 3a 4e 0a  or_pending $::N.
0bd0: 0a 20 20 20 20 66 6f 72 65 61 63 68 20 7b 3a 3a  .    foreach {::
0be0: 67 6f 20 72 65 73 7d 20 5b 63 61 74 63 68 73 71  go res} [catchsq
0bf0: 6c 20 24 73 71 6c 5d 20 7b 7d 0a 20 20 20 20 63  l $sql] {}.    c
0c00: 68 65 63 6b 5f 64 62 20 69 6f 65 72 72 32 2d 33  heck_db ioerr2-3
0c10: 2e 24 62 50 65 72 73 69 73 74 2e 24 3a 3a 4e 0a  .$bPersist.$::N.
0c20: 20 20 7d 0a 7d 0a 66 6f 72 65 61 63 68 20 62 50    }.}.foreach bP
0c30: 65 72 73 69 73 74 20 5b 6c 69 73 74 20 30 20 31  ersist [list 0 1
0c40: 5d 20 7b 0a 20 20 73 65 74 20 3a 3a 67 6f 20 31  ] {.  set ::go 1
0c50: 0a 20 20 66 6f 72 20 7b 73 65 74 20 3a 3a 4e 20  .  for {set ::N 
0c60: 31 7d 20 7b 24 3a 3a 67 6f 7d 20 7b 69 6e 63 72  1} {$::go} {incr
0c70: 20 3a 3a 4e 7d 20 7b 0a 20 20 20 20 73 65 74 20   ::N} {.    set 
0c80: 3a 3a 73 71 6c 69 74 65 5f 69 6f 5f 65 72 72 6f  ::sqlite_io_erro
0c90: 72 5f 68 69 74 20 30 0a 20 20 20 20 73 65 74 20  r_hit 0.    set 
0ca0: 3a 3a 73 71 6c 69 74 65 5f 69 6f 5f 65 72 72 6f  ::sqlite_io_erro
0cb0: 72 5f 70 65 72 73 69 73 74 20 24 62 50 65 72 73  r_persist $bPers
0cc0: 69 73 74 0a 20 20 20 20 73 65 74 20 3a 3a 73 71  ist.    set ::sq
0cd0: 6c 69 74 65 5f 69 6f 5f 65 72 72 6f 72 5f 70 65  lite_io_error_pe
0ce0: 6e 64 69 6e 67 20 24 3a 3a 4e 0a 0a 20 20 20 20  nding $::N..    
0cf0: 66 6f 72 65 61 63 68 20 7b 3a 3a 67 6f 20 72 65  foreach {::go re
0d00: 73 7d 20 5b 63 61 74 63 68 73 71 6c 20 24 73 71  s} [catchsql $sq
0d10: 6c 5d 20 7b 7d 0a 20 20 20 20 63 68 65 63 6b 5f  l] {}.    check_
0d20: 64 62 20 69 6f 65 72 72 32 2d 34 2e 5b 65 78 70  db ioerr2-4.[exp
0d30: 72 20 7b 24 62 50 65 72 73 69 73 74 2b 32 7d 5d  r {$bPersist+2}]
0d40: 2e 24 3a 3a 4e 0a 20 20 7d 0a 7d 0a 0a 23 20 57  .$::N.  }.}..# W
0d50: 68 65 6e 20 74 68 69 73 20 74 65 73 74 20 77 61  hen this test wa
0d60: 73 20 77 72 69 74 74 65 6e 2c 20 61 6e 20 49 4f  s written, an IO
0d70: 20 65 72 72 6f 72 20 77 69 74 68 69 6e 20 74 68   error within th
0d80: 65 20 55 50 44 41 54 45 20 73 74 61 74 65 6d 65  e UPDATE stateme
0d90: 6e 74 20 63 61 75 73 65 64 0a 23 20 61 20 72 6f  nt caused.# a ro
0da0: 6c 6c 62 61 63 6b 2c 20 77 68 69 63 68 20 74 72  llback, which tr
0db0: 69 70 70 65 64 20 61 6c 6c 20 72 65 61 64 2d 63  ipped all read-c
0dc0: 75 72 73 6f 72 73 2c 20 63 61 75 73 69 6e 67 20  ursors, causing 
0dd0: 74 68 65 20 6f 75 74 65 72 20 53 45 4c 45 43 54  the outer SELECT
0de0: 20 74 6f 0a 23 20 66 61 69 6c 20 77 69 74 68 20   to.# fail with 
0df0: 22 61 62 6f 72 74 20 64 75 65 20 74 6f 20 52 4f  "abort due to RO
0e00: 4c 4c 42 41 43 4b 22 2e 20 4e 6f 77 2c 20 74 68  LLBACK". Now, th
0e10: 65 20 6c 6f 6f 70 20 63 6f 6e 74 69 6e 75 65 73  e loop continues
0e20: 20 75 6e 74 69 6c 20 74 68 65 20 55 50 44 41 54   until the UPDAT
0e30: 45 0a 23 20 69 73 20 72 75 6e 20 73 75 63 63 65  E.# is run succe
0e40: 73 73 66 75 6c 6c 79 2e 20 41 74 20 74 68 69 73  ssfully. At this
0e50: 20 70 6f 69 6e 74 20 74 68 65 20 6e 65 78 74 20   point the next 
0e60: 49 4f 20 65 72 72 6f 72 20 6f 63 63 75 72 73 20  IO error occurs 
0e70: 77 69 74 68 69 6e 20 74 68 65 20 0a 23 20 53 45  within the .# SE
0e80: 4c 45 43 54 20 2d 20 74 68 72 6f 77 69 6e 67 20  LECT - throwing 
0e90: 74 68 65 20 22 64 69 73 6b 20 49 2f 4f 20 65 72  the "disk I/O er
0ea0: 72 6f 72 22 20 74 68 61 74 20 74 68 65 20 74 65  ror" that the te
0eb0: 73 74 20 63 61 73 65 20 6e 6f 77 20 65 78 70 65  st case now expe
0ec0: 63 74 73 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 69  cts..#.do_test i
0ed0: 6f 65 72 72 32 2d 35 20 7b 0a 20 20 65 78 65 63  oerr2-5 {.  exec
0ee0: 73 71 6c 20 7b 0a 20 20 20 20 43 52 45 41 54 45  sql {.    CREATE
0ef0: 20 54 41 42 4c 45 20 74 32 20 41 53 20 53 45 4c   TABLE t2 AS SEL
0f00: 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 3b 0a 20  ECT * FROM t1;. 
0f10: 20 20 20 50 52 41 47 4d 41 20 74 65 6d 70 5f 73     PRAGMA temp_s
0f20: 74 6f 72 65 20 3d 20 6d 65 6d 6f 72 79 3b 0a 20  tore = memory;. 
0f30: 20 7d 0a 20 20 73 65 74 20 3a 3a 73 71 6c 69 74   }.  set ::sqlit
0f40: 65 5f 69 6f 5f 65 72 72 6f 72 5f 70 65 72 73 69  e_io_error_persi
0f50: 73 74 20 30 0a 20 20 73 65 74 20 3a 3a 67 6f 20  st 0.  set ::go 
0f60: 31 0a 20 20 73 65 74 20 72 63 20 5b 63 61 74 63  1.  set rc [catc
0f70: 68 20 7b 0a 20 20 20 20 66 6f 72 20 7b 73 65 74  h {.    for {set
0f80: 20 3a 3a 4e 20 32 7d 20 7b 24 3a 3a 4e 3c 32 30   ::N 2} {$::N<20
0f90: 30 7d 20 7b 69 6e 63 72 20 3a 3a 4e 7d 20 7b 0a  0} {incr ::N} {.
0fa0: 20 20 20 20 20 20 64 62 20 65 76 61 6c 20 7b 53        db eval {S
0fb0: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20  ELECT * FROM t1 
0fc0: 57 48 45 52 45 20 72 6f 77 69 64 20 49 4e 20 28  WHERE rowid IN (
0fd0: 31 2c 20 35 2c 20 31 30 2c 20 31 35 2c 20 32 30  1, 5, 10, 15, 20
0fe0: 29 7d 20 7b 0a 20 20 20 20 20 20 20 20 73 65 74  )} {.        set
0ff0: 20 3a 3a 73 71 6c 69 74 65 5f 69 6f 5f 65 72 72   ::sqlite_io_err
1000: 6f 72 5f 68 69 74 20 30 0a 20 20 20 20 20 20 20  or_hit 0.       
1010: 20 73 65 74 20 3a 3a 73 71 6c 69 74 65 5f 69 6f   set ::sqlite_io
1020: 5f 65 72 72 6f 72 5f 70 65 6e 64 69 6e 67 20 24  _error_pending $
1030: 3a 3a 4e 0a 20 20 20 20 20 20 20 20 73 65 74 20  ::N.        set 
1040: 73 71 6c 20 7b 55 50 44 41 54 45 20 74 32 20 53  sql {UPDATE t2 S
1050: 45 54 20 62 20 3d 20 72 61 6e 64 73 74 72 28 34  ET b = randstr(4
1060: 30 30 2c 34 30 30 29 7d 0a 20 20 20 20 20 20 20  00,400)}.       
1070: 20 66 6f 72 65 61 63 68 20 7b 3a 3a 67 6f 20 72   foreach {::go r
1080: 65 73 7d 20 5b 63 61 74 63 68 73 71 6c 20 24 73  es} [catchsql $s
1090: 71 6c 5d 20 7b 7d 0a 20 20 20 20 20 20 7d 0a 20  ql] {}.      }. 
10a0: 20 20 20 7d 0a 20 20 7d 20 6d 73 67 5d 0a 20 20     }.  } msg].  
10b0: 6c 69 73 74 20 24 72 63 20 24 6d 73 67 0a 7d 20  list $rc $msg.} 
10c0: 7b 31 20 7b 64 69 73 6b 20 49 2f 4f 20 65 72 72  {1 {disk I/O err
10d0: 6f 72 7d 7d 20 3b 23 20 75 73 65 64 20 74 6f 20  or}} ;# used to 
10e0: 62 65 20 22 7b 31 20 7b 61 62 6f 72 74 20 64 75  be "{1 {abort du
10f0: 65 20 74 6f 20 52 4f 4c 4c 42 41 43 4b 7d 7d 22  e to ROLLBACK}}"
1100: 0a 0a 69 66 20 7b 24 3a 3a 74 63 6c 5f 70 6c 61  ..if {$::tcl_pla
1110: 74 66 6f 72 6d 28 70 6c 61 74 66 6f 72 6d 29 20  tform(platform) 
1120: 3d 3d 20 22 75 6e 69 78 22 7d 20 7b 0a 20 20 23  == "unix"} {.  #
1130: 20 43 61 75 73 65 20 74 68 65 20 63 61 6c 6c 20   Cause the call 
1140: 74 6f 20 78 41 63 63 65 73 73 20 75 73 65 64 20  to xAccess used 
1150: 62 79 20 5b 70 72 61 67 6d 61 20 74 65 6d 70 5f  by [pragma temp_
1160: 73 74 6f 72 65 5f 64 69 72 65 63 74 6f 72 79 5d  store_directory]
1170: 20 74 6f 0a 20 20 23 20 64 65 74 65 72 6d 69 6e   to.  # determin
1180: 65 20 69 66 20 74 68 65 20 73 70 65 63 69 66 69  e if the specifi
1190: 65 64 20 64 69 72 65 63 74 6f 72 79 20 69 73 20  ed directory is 
11a0: 77 72 69 74 61 62 6c 65 20 74 6f 20 66 61 69 6c  writable to fail
11b0: 2e 20 54 68 69 73 20 63 61 75 73 65 73 0a 20 20  . This causes.  
11c0: 23 20 53 51 4c 69 74 65 20 74 6f 20 72 65 70 6f  # SQLite to repo
11d0: 72 74 20 22 6e 6f 74 20 61 20 77 72 69 74 61 62  rt "not a writab
11e0: 6c 65 20 64 69 72 65 63 74 6f 72 79 22 2c 20 77  le directory", w
11f0: 68 69 63 68 20 69 73 20 70 72 6f 62 61 62 6c 79  hich is probably
1200: 20 74 68 65 0a 20 20 23 20 72 69 67 68 74 20 61   the.  # right a
1210: 6e 73 77 65 72 2e 0a 20 20 23 0a 20 20 64 6f 5f  nswer..  #.  do_
1220: 74 65 73 74 20 69 6f 65 72 72 32 2d 36 20 7b 0a  test ioerr2-6 {.
1230: 20 20 20 20 73 65 74 20 3a 3a 73 71 6c 69 74 65      set ::sqlite
1240: 5f 69 6f 5f 65 72 72 6f 72 5f 68 69 74 20 30 0a  _io_error_hit 0.
1250: 20 20 20 20 73 65 74 20 3a 3a 73 71 6c 69 74 65      set ::sqlite
1260: 5f 69 6f 5f 65 72 72 6f 72 5f 70 65 6e 64 69 6e  _io_error_pendin
1270: 67 20 31 0a 20 20 20 20 63 61 74 63 68 73 71 6c  g 1.    catchsql
1280: 20 7b 50 52 41 47 4d 41 20 74 65 6d 70 5f 73 74   {PRAGMA temp_st
1290: 6f 72 65 5f 64 69 72 65 63 74 6f 72 79 20 3d 20  ore_directory = 
12a0: 27 2f 74 6d 70 2f 27 7d 0a 20 20 7d 20 7b 31 20  '/tmp/'}.  } {1 
12b0: 7b 6e 6f 74 20 61 20 77 72 69 74 61 62 6c 65 20  {not a writable 
12c0: 64 69 72 65 63 74 6f 72 79 7d 7d 0a 7d 0a 0a 64  directory}}.}..d
12d0: 6f 5f 69 6f 65 72 72 5f 74 65 73 74 20 69 6f 65  o_ioerr_test ioe
12e0: 72 72 32 2d 37 20 2d 70 65 72 73 69 73 74 20 30  rr2-7 -persist 0
12f0: 20 2d 73 71 6c 70 72 65 70 20 7b 0a 20 20 50 52   -sqlprep {.  PR
1300: 41 47 4d 41 20 63 61 63 68 65 5f 73 69 7a 65 20  AGMA cache_size 
1310: 3d 20 31 30 3b 0a 20 20 50 52 41 47 4d 41 20 61  = 10;.  PRAGMA a
1320: 75 74 6f 5f 76 61 63 75 75 6d 20 3d 20 31 3b 0a  uto_vacuum = 1;.
1330: 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 61    CREATE TABLE a
1340: 62 28 61 2c 20 62 29 3b 0a 20 20 43 52 45 41 54  b(a, b);.  CREAT
1350: 45 20 54 41 42 4c 45 20 64 65 28 64 2c 20 65 29  E TABLE de(d, e)
1360: 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20  ;.  INSERT INTO 
1370: 61 62 20 56 41 4c 55 45 53 28 31 2c 20 72 61 6e  ab VALUES(1, ran
1380: 64 73 74 72 28 32 30 30 2c 32 30 30 29 29 3b 0a  dstr(200,200));.
1390: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 61 62    INSERT INTO ab
13a0: 20 53 45 4c 45 43 54 20 61 2b 31 2c 20 72 61 6e   SELECT a+1, ran
13b0: 64 73 74 72 28 32 30 30 2c 32 30 30 29 20 46 52  dstr(200,200) FR
13c0: 4f 4d 20 61 62 3b 0a 20 20 49 4e 53 45 52 54 20  OM ab;.  INSERT 
13d0: 49 4e 54 4f 20 61 62 20 53 45 4c 45 43 54 20 61  INTO ab SELECT a
13e0: 2b 32 2c 20 72 61 6e 64 73 74 72 28 32 30 30 2c  +2, randstr(200,
13f0: 32 30 30 29 20 46 52 4f 4d 20 61 62 3b 0a 20 20  200) FROM ab;.  
1400: 49 4e 53 45 52 54 20 49 4e 54 4f 20 61 62 20 53  INSERT INTO ab S
1410: 45 4c 45 43 54 20 61 2b 34 2c 20 72 61 6e 64 73  ELECT a+4, rands
1420: 74 72 28 32 30 30 2c 32 30 30 29 20 46 52 4f 4d  tr(200,200) FROM
1430: 20 61 62 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e   ab;.  INSERT IN
1440: 54 4f 20 61 62 20 53 45 4c 45 43 54 20 61 2b 38  TO ab SELECT a+8
1450: 2c 20 72 61 6e 64 73 74 72 28 32 30 30 2c 32 30  , randstr(200,20
1460: 30 29 20 46 52 4f 4d 20 61 62 3b 0a 20 20 49 4e  0) FROM ab;.  IN
1470: 53 45 52 54 20 49 4e 54 4f 20 61 62 20 53 45 4c  SERT INTO ab SEL
1480: 45 43 54 20 61 2b 31 36 2c 20 72 61 6e 64 73 74  ECT a+16, randst
1490: 72 28 32 30 30 2c 32 30 30 29 20 46 52 4f 4d 20  r(200,200) FROM 
14a0: 61 62 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54  ab;.  INSERT INT
14b0: 4f 20 61 62 20 53 45 4c 45 43 54 20 61 2b 33 32  O ab SELECT a+32
14c0: 2c 20 72 61 6e 64 73 74 72 28 32 30 30 2c 32 30  , randstr(200,20
14d0: 30 29 20 46 52 4f 4d 20 61 62 3b 0a 20 20 49 4e  0) FROM ab;.  IN
14e0: 53 45 52 54 20 49 4e 54 4f 20 61 62 20 53 45 4c  SERT INTO ab SEL
14f0: 45 43 54 20 61 2b 36 34 2c 20 72 61 6e 64 73 74  ECT a+64, randst
1500: 72 28 32 30 30 2c 32 30 30 29 20 46 52 4f 4d 20  r(200,200) FROM 
1510: 61 62 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54  ab;.  INSERT INT
1520: 4f 20 64 65 20 53 45 4c 45 43 54 20 2a 20 46 52  O de SELECT * FR
1530: 4f 4d 20 61 62 3b 0a 7d 20 2d 73 71 6c 62 6f 64  OM ab;.} -sqlbod
1540: 79 20 7b 0a 20 20 42 45 47 49 4e 3b 0a 20 20 55  y {.  BEGIN;.  U
1550: 50 44 41 54 45 20 61 62 20 53 45 54 20 62 20 3d  PDATE ab SET b =
1560: 20 72 61 6e 64 73 74 72 28 32 30 30 2c 32 30 30   randstr(200,200
1570: 29 3b 0a 20 20 55 50 44 41 54 45 20 64 65 20 53  );.  UPDATE de S
1580: 45 54 20 65 20 3d 20 72 61 6e 64 73 74 72 28 32  ET e = randstr(2
1590: 30 30 2c 32 30 30 29 20 57 48 45 52 45 20 64 20  00,200) WHERE d 
15a0: 3d 20 28 53 45 4c 45 43 54 20 6d 61 78 28 64 29  = (SELECT max(d)
15b0: 20 46 52 4f 4d 20 64 65 29 3b 0a 20 20 44 45 4c   FROM de);.  DEL
15c0: 45 54 45 20 46 52 4f 4d 20 61 62 3b 0a 20 20 43  ETE FROM ab;.  C
15d0: 4f 4d 4d 49 54 3b 0a 7d 0a 0a 66 69 6e 69 73 68  OMMIT;.}..finish
15e0: 5f 74 65 73 74 0a                                _test.