/ Hex Artifact Content
Login

Artifact 32798111aae78a5deec980eee383213f189df308:


0000: 23 20 32 30 30 37 20 4d 61 72 63 68 20 32 34 0a  # 2007 March 24.
0010: 23 0a 23 20 54 68 65 20 61 75 74 68 6f 72 20 64  #.# The author d
0020: 69 73 63 6c 61 69 6d 73 20 63 6f 70 79 72 69 67  isclaims copyrig
0030: 68 74 20 74 6f 20 74 68 69 73 20 73 6f 75 72 63  ht to this sourc
0040: 65 20 63 6f 64 65 2e 20 20 49 6e 20 70 6c 61 63  e code.  In plac
0050: 65 20 6f 66 0a 23 20 61 20 6c 65 67 61 6c 20 6e  e of.# a legal n
0060: 6f 74 69 63 65 2c 20 68 65 72 65 20 69 73 20 61  otice, here is a
0070: 20 62 6c 65 73 73 69 6e 67 3a 0a 23 0a 23 20 20   blessing:.#.#  
0080: 20 20 4d 61 79 20 79 6f 75 20 64 6f 20 67 6f 6f    May you do goo
0090: 64 20 61 6e 64 20 6e 6f 74 20 65 76 69 6c 2e 0a  d and not evil..
00a0: 23 20 20 20 20 4d 61 79 20 79 6f 75 20 66 69 6e  #    May you fin
00b0: 64 20 66 6f 72 67 69 76 65 6e 65 73 73 20 66 6f  d forgiveness fo
00c0: 72 20 79 6f 75 72 73 65 6c 66 20 61 6e 64 20 66  r yourself and f
00d0: 6f 72 67 69 76 65 20 6f 74 68 65 72 73 2e 0a 23  orgive others..#
00e0: 20 20 20 20 4d 61 79 20 79 6f 75 20 73 68 61 72      May you shar
00f0: 65 20 66 72 65 65 6c 79 2c 20 6e 65 76 65 72 20  e freely, never 
0100: 74 61 6b 69 6e 67 20 6d 6f 72 65 20 74 68 61 6e  taking more than
0110: 20 79 6f 75 20 67 69 76 65 2e 0a 23 0a 23 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 2a 0a 23 20 54 68 69 73 20 66 69 6c  *****.# This fil
0170: 65 20 69 6d 70 6c 65 6d 65 6e 74 73 20 72 65 67  e implements reg
0180: 72 65 73 73 69 6f 6e 20 74 65 73 74 73 20 66 6f  ression tests fo
0190: 72 20 53 51 4c 69 74 65 20 6c 69 62 72 61 72 79  r SQLite library
01a0: 2e 0a 23 0a 23 20 24 49 64 3a 20 65 78 63 6c 75  ..#.# $Id: exclu
01b0: 73 69 76 65 32 2e 74 65 73 74 2c 76 20 31 2e 31  sive2.test,v 1.1
01c0: 30 20 32 30 30 38 2f 31 31 2f 32 37 20 30 32 3a  0 2008/11/27 02:
01d0: 32 32 3a 31 31 20 64 72 68 20 45 78 70 20 24 0a  22:11 drh Exp $.
01e0: 0a 73 65 74 20 74 65 73 74 64 69 72 20 5b 66 69  .set testdir [fi
01f0: 6c 65 20 64 69 72 6e 61 6d 65 20 24 61 72 67 76  le dirname $argv
0200: 30 5d 0a 73 6f 75 72 63 65 20 24 74 65 73 74 64  0].source $testd
0210: 69 72 2f 74 65 73 74 65 72 2e 74 63 6c 0a 0a 23  ir/tester.tcl..#
0220: 20 44 6f 20 6e 6f 74 20 75 73 65 20 61 20 63 6f   Do not use a co
0230: 64 65 63 20 66 6f 72 20 74 65 73 74 73 20 69 6e  dec for tests in
0240: 20 74 68 69 73 20 66 69 6c 65 2c 20 61 73 20 74   this file, as t
0250: 68 65 20 64 61 74 61 62 61 73 65 20 66 69 6c 65  he database file
0260: 20 69 73 0a 23 20 6d 61 6e 69 70 75 6c 61 74 65   is.# manipulate
0270: 64 20 64 69 72 65 63 74 6c 79 20 75 73 69 6e 67  d directly using
0280: 20 74 63 6c 20 73 63 72 69 70 74 73 20 28 75 73   tcl scripts (us
0290: 69 6e 67 20 74 68 65 20 5b 68 65 78 69 6f 5f 77  ing the [hexio_w
02a0: 72 69 74 65 5d 20 63 6f 6d 6d 61 6e 64 29 2e 0a  rite] command)..
02b0: 23 0a 64 6f 5f 6e 6f 74 5f 75 73 65 5f 63 6f 64  #.do_not_use_cod
02c0: 65 63 0a 0a 69 66 63 61 70 61 62 6c 65 20 7b 21  ec..ifcapable {!
02d0: 70 61 67 65 72 5f 70 72 61 67 6d 61 73 7d 20 7b  pager_pragmas} {
02e0: 0a 20 20 66 69 6e 69 73 68 5f 74 65 73 74 0a 20  .  finish_test. 
02f0: 20 72 65 74 75 72 6e 0a 7d 0a 0a 23 20 54 65 73   return.}..# Tes
0300: 74 73 20 69 6e 20 74 68 69 73 20 66 69 6c 65 20  ts in this file 
0310: 76 65 72 69 66 79 20 74 68 61 74 20 6c 6f 63 6b  verify that lock
0320: 69 6e 67 5f 6d 6f 64 65 3d 65 78 63 6c 75 73 69  ing_mode=exclusi
0330: 76 65 20 63 61 75 73 65 73 20 53 51 4c 69 74 65  ve causes SQLite
0340: 20 74 6f 0a 23 20 75 73 65 20 63 61 63 68 65 64   to.# use cached
0350: 20 70 61 67 65 73 20 65 76 65 6e 20 69 66 20 74   pages even if t
0360: 68 65 20 64 61 74 61 62 61 73 65 20 69 73 20 63  he database is c
0370: 68 61 6e 67 65 64 20 6f 6e 20 64 69 73 6b 2e 20  hanged on disk. 
0380: 54 68 69 73 20 64 6f 65 73 6e 27 74 0a 23 20 77  This doesn't.# w
0390: 6f 72 6b 20 77 69 74 68 20 6d 6d 61 70 2e 0a 69  ork with mmap..i
03a0: 66 20 7b 5b 70 65 72 6d 75 74 61 74 69 6f 6e 5d  f {[permutation]
03b0: 3d 3d 22 6d 6d 61 70 22 7d 20 7b 0a 20 20 66 69  =="mmap"} {.  fi
03c0: 6e 69 73 68 5f 74 65 73 74 0a 20 20 72 65 74 75  nish_test.  retu
03d0: 72 6e 0a 7d 0a 0a 23 20 54 68 69 73 20 6d 6f 64  rn.}..# This mod
03e0: 75 6c 65 20 64 6f 65 73 20 6e 6f 74 20 77 6f 72  ule does not wor
03f0: 6b 20 72 69 67 68 74 20 69 66 20 74 68 65 20 63  k right if the c
0400: 61 63 68 65 20 73 70 69 6c 6c 73 20 61 74 20 75  ache spills at u
0410: 6e 65 78 70 65 63 74 65 64 0a 23 20 6d 6f 6d 65  nexpected.# mome
0420: 6e 74 73 2e 20 20 53 6f 20 64 69 73 61 62 6c 65  nts.  So disable
0430: 20 74 68 65 20 73 6f 66 74 2d 68 65 61 70 2d 6c   the soft-heap-l
0440: 69 6d 69 74 2e 0a 23 0a 73 71 6c 69 74 65 33 5f  imit..#.sqlite3_
0450: 73 6f 66 74 5f 68 65 61 70 5f 6c 69 6d 69 74 20  soft_heap_limit 
0460: 30 0a 0a 70 72 6f 63 20 70 61 67 65 72 43 68 61  0..proc pagerCha
0470: 6e 67 65 43 6f 75 6e 74 65 72 20 7b 66 69 6c 65  ngeCounter {file
0480: 6e 61 6d 65 20 6e 65 77 20 7b 66 64 20 22 22 7d  name new {fd ""}
0490: 7d 20 7b 0a 20 20 69 66 20 7b 24 66 64 3d 3d 22  } {.  if {$fd=="
04a0: 22 7d 20 7b 0a 20 20 20 20 73 65 74 20 66 64 20  "} {.    set fd 
04b0: 5b 6f 70 65 6e 20 24 66 69 6c 65 6e 61 6d 65 20  [open $filename 
04c0: 52 44 57 52 5d 0a 20 20 20 20 66 63 6f 6e 66 69  RDWR].    fconfi
04d0: 67 75 72 65 20 24 66 64 20 2d 74 72 61 6e 73 6c  gure $fd -transl
04e0: 61 74 69 6f 6e 20 62 69 6e 61 72 79 20 2d 65 6e  ation binary -en
04f0: 63 6f 64 69 6e 67 20 62 69 6e 61 72 79 0a 20 20  coding binary.  
0500: 20 20 73 65 74 20 6e 65 65 64 43 6c 6f 73 65 20    set needClose 
0510: 31 0a 20 20 7d 20 65 6c 73 65 20 7b 0a 20 20 20  1.  } else {.   
0520: 20 73 65 74 20 6e 65 65 64 43 6c 6f 73 65 20 30   set needClose 0
0530: 0a 20 20 7d 0a 20 20 69 66 20 7b 24 6e 65 77 20  .  }.  if {$new 
0540: 6e 65 20 22 22 7d 20 7b 0a 20 20 20 20 73 65 65  ne ""} {.    see
0550: 6b 20 24 66 64 20 32 34 0a 20 20 20 20 73 65 74  k $fd 24.    set
0560: 20 61 20 5b 65 78 70 72 20 7b 28 24 6e 65 77 26   a [expr {($new&
0570: 30 78 46 46 30 30 30 30 30 30 29 3e 3e 32 34 7d  0xFF000000)>>24}
0580: 5d 0a 20 20 20 20 73 65 74 20 62 20 5b 65 78 70  ].    set b [exp
0590: 72 20 7b 28 24 6e 65 77 26 30 78 30 30 46 46 30  r {($new&0x00FF0
05a0: 30 30 30 29 3e 3e 31 36 7d 5d 0a 20 20 20 20 73  000)>>16}].    s
05b0: 65 74 20 63 20 5b 65 78 70 72 20 7b 28 24 6e 65  et c [expr {($ne
05c0: 77 26 30 78 30 30 30 30 46 46 30 30 29 3e 3e 38  w&0x0000FF00)>>8
05d0: 7d 5d 0a 20 20 20 20 73 65 74 20 64 20 5b 65 78  }].    set d [ex
05e0: 70 72 20 7b 28 24 6e 65 77 26 30 78 30 30 30 30  pr {($new&0x0000
05f0: 30 30 46 46 29 7d 5d 0a 20 20 20 20 70 75 74 73  00FF)}].    puts
0600: 20 2d 6e 6f 6e 65 77 6c 69 6e 65 20 24 66 64 20   -nonewline $fd 
0610: 5b 62 69 6e 61 72 79 20 66 6f 72 6d 61 74 20 63  [binary format c
0620: 63 63 63 20 24 61 20 24 62 20 24 63 20 24 64 5d  ccc $a $b $c $d]
0630: 0a 20 20 20 20 66 6c 75 73 68 20 24 66 64 0a 20  .    flush $fd. 
0640: 20 7d 0a 0a 20 20 73 65 65 6b 20 24 66 64 20 32   }..  seek $fd 2
0650: 34 0a 20 20 66 6f 72 65 61 63 68 20 7b 61 20 62  4.  foreach {a b
0660: 20 63 20 64 7d 20 5b 6c 69 73 74 20 30 20 30 20   c d} [list 0 0 
0670: 30 20 30 5d 20 7b 7d 0a 20 20 62 69 6e 61 72 79  0 0] {}.  binary
0680: 20 73 63 61 6e 20 5b 72 65 61 64 20 24 66 64 20   scan [read $fd 
0690: 34 5d 20 63 63 63 63 20 61 20 62 20 63 20 64 0a  4] cccc a b c d.
06a0: 20 20 73 65 74 20 20 72 65 74 20 5b 65 78 70 72    set  ret [expr
06b0: 20 28 24 61 26 30 78 30 30 30 30 30 30 46 46 29   ($a&0x000000FF)
06c0: 3c 3c 32 34 5d 0a 20 20 69 6e 63 72 20 72 65 74  <<24].  incr ret
06d0: 20 5b 65 78 70 72 20 28 24 62 26 30 78 30 30 30   [expr ($b&0x000
06e0: 30 30 30 46 46 29 3c 3c 31 36 5d 0a 20 20 69 6e  000FF)<<16].  in
06f0: 63 72 20 72 65 74 20 5b 65 78 70 72 20 28 24 63  cr ret [expr ($c
0700: 26 30 78 30 30 30 30 30 30 46 46 29 3c 3c 38 5d  &0x000000FF)<<8]
0710: 0a 20 20 69 6e 63 72 20 72 65 74 20 5b 65 78 70  .  incr ret [exp
0720: 72 20 28 24 64 26 30 78 30 30 30 30 30 30 46 46  r ($d&0x000000FF
0730: 29 3c 3c 30 5d 0a 0a 20 20 69 66 20 7b 24 6e 65  )<<0]..  if {$ne
0740: 65 64 43 6c 6f 73 65 7d 20 7b 63 6c 6f 73 65 20  edClose} {close 
0750: 24 66 64 7d 0a 20 20 72 65 74 75 72 6e 20 24 72  $fd}.  return $r
0760: 65 74 0a 7d 0a 0a 70 72 6f 63 20 72 65 61 64 50  et.}..proc readP
0770: 61 67 65 72 43 68 61 6e 67 65 43 6f 75 6e 74 65  agerChangeCounte
0780: 72 20 7b 66 69 6c 65 6e 61 6d 65 7d 20 7b 0a 20  r {filename} {. 
0790: 20 73 65 74 20 66 64 20 5b 6f 70 65 6e 20 24 66   set fd [open $f
07a0: 69 6c 65 6e 61 6d 65 20 52 44 4f 4e 4c 59 5d 0a  ilename RDONLY].
07b0: 20 20 66 63 6f 6e 66 69 67 75 72 65 20 24 66 64    fconfigure $fd
07c0: 20 2d 74 72 61 6e 73 6c 61 74 69 6f 6e 20 62 69   -translation bi
07d0: 6e 61 72 79 20 2d 65 6e 63 6f 64 69 6e 67 20 62  nary -encoding b
07e0: 69 6e 61 72 79 0a 0a 20 20 73 65 65 6b 20 24 66  inary..  seek $f
07f0: 64 20 32 34 0a 20 20 66 6f 72 65 61 63 68 20 7b  d 24.  foreach {
0800: 61 20 62 20 63 20 64 7d 20 5b 6c 69 73 74 20 30  a b c d} [list 0
0810: 20 30 20 30 20 30 5d 20 7b 7d 0a 20 20 62 69 6e   0 0 0] {}.  bin
0820: 61 72 79 20 73 63 61 6e 20 5b 72 65 61 64 20 24  ary scan [read $
0830: 66 64 20 34 5d 20 63 63 63 63 20 61 20 62 20 63  fd 4] cccc a b c
0840: 20 64 0a 20 20 73 65 74 20 20 72 65 74 20 5b 65   d.  set  ret [e
0850: 78 70 72 20 28 24 61 26 30 78 30 30 30 30 30 30  xpr ($a&0x000000
0860: 46 46 29 3c 3c 32 34 5d 0a 20 20 69 6e 63 72 20  FF)<<24].  incr 
0870: 72 65 74 20 5b 65 78 70 72 20 28 24 62 26 30 78  ret [expr ($b&0x
0880: 30 30 30 30 30 30 46 46 29 3c 3c 31 36 5d 0a 20  000000FF)<<16]. 
0890: 20 69 6e 63 72 20 72 65 74 20 5b 65 78 70 72 20   incr ret [expr 
08a0: 28 24 63 26 30 78 30 30 30 30 30 30 46 46 29 3c  ($c&0x000000FF)<
08b0: 3c 38 5d 0a 20 20 69 6e 63 72 20 72 65 74 20 5b  <8].  incr ret [
08c0: 65 78 70 72 20 28 24 64 26 30 78 30 30 30 30 30  expr ($d&0x00000
08d0: 30 46 46 29 3c 3c 30 5d 0a 0a 20 20 63 6c 6f 73  0FF)<<0]..  clos
08e0: 65 20 24 66 64 0a 20 20 72 65 74 75 72 6e 20 24  e $fd.  return $
08f0: 72 65 74 0a 7d 0a 0a 0a 70 72 6f 63 20 74 31 73  ret.}...proc t1s
0900: 69 67 20 7b 7b 64 62 20 64 62 7d 7d 20 7b 0a 20  ig {{db db}} {. 
0910: 20 65 78 65 63 73 71 6c 20 7b 53 45 4c 45 43 54   execsql {SELECT
0920: 20 63 6f 75 6e 74 28 2a 29 2c 20 6d 64 35 73 75   count(*), md5su
0930: 6d 28 61 29 20 46 52 4f 4d 20 74 31 7d 20 24 64  m(a) FROM t1} $d
0940: 62 0a 7d 0a 64 6f 5f 74 65 73 74 20 65 78 63 6c  b.}.do_test excl
0950: 75 73 69 76 65 32 2d 31 2e 30 20 7b 0a 20 20 72  usive2-1.0 {.  r
0960: 65 61 64 50 61 67 65 72 43 68 61 6e 67 65 43 6f  eadPagerChangeCo
0970: 75 6e 74 65 72 20 74 65 73 74 2e 64 62 0a 7d 20  unter test.db.} 
0980: 7b 30 7d 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  {0}..#----------
0990: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
09a0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
09b0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
09c0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20  -------------.# 
09d0: 54 68 65 20 66 6f 6c 6c 6f 77 69 6e 67 20 74 65  The following te
09e0: 73 74 73 20 2d 20 65 78 63 6c 75 73 69 76 65 32  sts - exclusive2
09f0: 2d 31 2e 58 20 2d 20 63 68 65 63 6b 20 74 68 61  -1.X - check tha
0a00: 74 3a 0a 23 0a 23 20 31 2d 33 3a 20 20 20 42 75  t:.#.# 1-3:   Bu
0a10: 69 6c 64 20 61 20 64 61 74 61 62 61 73 65 20 77  ild a database w
0a20: 69 74 68 20 63 6f 6e 6e 65 63 74 69 6f 6e 20 31  ith connection 1
0a30: 2c 20 63 61 6c 63 75 6c 61 74 65 20 61 20 73 69  , calculate a si
0a40: 67 6e 61 74 75 72 65 2e 0a 23 20 34 2d 37 3a 20  gnature..# 4-7: 
0a50: 20 20 4d 6f 64 69 66 79 20 74 68 65 20 64 61 74    Modify the dat
0a60: 61 62 61 73 65 20 75 73 69 6e 67 20 61 20 73 65  abase using a se
0a70: 63 6f 6e 64 20 63 6f 6e 6e 65 63 74 69 6f 6e 20  cond connection 
0a80: 69 6e 20 61 20 77 61 79 20 74 68 61 74 0a 23 20  in a way that.# 
0a90: 20 20 20 20 20 20 20 64 6f 65 73 20 6e 6f 74 20         does not 
0aa0: 6d 6f 64 69 66 79 20 74 68 65 20 66 72 65 65 6c  modify the freel
0ab0: 69 73 74 2c 20 74 68 65 6e 20 72 65 73 65 74 20  ist, then reset 
0ac0: 74 68 65 20 70 61 67 65 72 20 63 68 61 6e 67 65  the pager change
0ad0: 2d 63 6f 75 6e 74 65 72 0a 23 20 20 20 20 20 20  -counter.#      
0ae0: 20 20 74 6f 20 74 68 65 20 76 61 6c 75 65 20 69    to the value i
0af0: 74 20 68 61 64 20 62 65 66 6f 72 65 20 74 68 65  t had before the
0b00: 20 6d 6f 64 69 66 69 63 61 74 69 6f 6e 73 2e 0a   modifications..
0b10: 23 20 38 3a 20 20 20 20 20 43 68 65 63 6b 20 74  # 8:     Check t
0b20: 68 61 74 20 75 73 69 6e 67 20 74 68 65 20 66 69  hat using the fi
0b30: 72 73 74 20 63 6f 6e 6e 65 63 74 69 6f 6e 2c 20  rst connection, 
0b40: 74 68 65 20 64 61 74 61 62 61 73 65 20 73 69 67  the database sig
0b50: 6e 61 74 75 72 65 0a 23 20 20 20 20 20 20 20 20  nature.#        
0b60: 69 73 20 73 74 69 6c 6c 20 74 68 65 20 73 61 6d  is still the sam
0b70: 65 2e 20 54 68 69 73 20 69 73 20 62 65 63 61 75  e. This is becau
0b80: 73 65 20 69 74 20 75 73 65 73 20 74 68 65 20 69  se it uses the i
0b90: 6e 2d 6d 65 6d 6f 72 79 20 63 61 63 68 65 2e 0a  n-memory cache..
0ba0: 23 20 20 20 20 20 20 20 20 49 74 20 63 61 6e 27  #        It can'
0bb0: 74 20 74 65 6c 6c 20 74 68 65 20 64 62 20 68 61  t tell the db ha
0bc0: 73 20 63 68 61 6e 67 65 64 20 62 65 63 61 75 73  s changed becaus
0bd0: 65 20 77 65 20 72 65 73 65 74 20 74 68 65 20 63  e we reset the c
0be0: 68 61 6e 67 65 2d 63 6f 75 6e 74 65 72 2e 0a 23  hange-counter..#
0bf0: 20 39 3a 20 20 20 20 20 49 6e 63 72 65 6d 65 6e   9:     Incremen
0c00: 74 20 74 68 65 20 63 68 61 6e 67 65 2d 63 6f 75  t the change-cou
0c10: 6e 74 65 72 2e 0a 23 20 31 30 3a 20 20 20 20 45  nter..# 10:    E
0c20: 6e 73 75 72 65 20 74 68 61 74 20 74 68 65 20 66  nsure that the f
0c30: 69 72 73 74 20 63 6f 6e 6e 65 63 74 69 6f 6e 20  irst connection 
0c40: 6e 6f 77 20 73 65 65 73 20 74 68 65 20 75 70 64  now sees the upd
0c50: 61 74 65 64 20 64 61 74 61 62 61 73 65 2e 20 49  ated database. I
0c60: 74 0a 23 20 20 20 20 20 20 20 20 73 65 65 73 20  t.#        sees 
0c70: 74 68 65 20 63 68 61 6e 67 65 2d 63 6f 75 6e 74  the change-count
0c80: 65 72 20 68 61 73 20 62 65 65 6e 20 69 6e 63 72  er has been incr
0c90: 65 6d 65 6e 74 65 64 20 61 6e 64 20 64 69 73 63  emented and disc
0ca0: 61 72 64 73 20 74 68 65 20 0a 23 20 20 20 20 20  ards the .#     
0cb0: 20 20 20 69 6e 76 61 6c 69 64 20 69 6e 2d 6d 65     invalid in-me
0cc0: 6d 6f 72 79 20 63 61 63 68 65 2e 0a 23 0a 23 20  mory cache..#.# 
0cd0: 54 68 69 73 20 77 69 6c 6c 20 6f 6e 6c 79 20 77  This will only w
0ce0: 6f 72 6b 20 69 66 20 74 68 65 20 64 61 74 61 62  ork if the datab
0cf0: 61 73 65 20 63 61 63 68 65 20 69 73 20 6c 61 72  ase cache is lar
0d00: 67 65 20 65 6e 6f 75 67 68 20 74 6f 20 68 6f 6c  ge enough to hol
0d10: 64 20 0a 23 20 74 68 65 20 65 6e 74 69 72 65 20  d .# the entire 
0d20: 64 61 74 61 62 61 73 65 2e 20 49 6e 20 74 68 65  database. In the
0d30: 20 63 61 73 65 20 6f 66 20 31 30 32 34 20 62 79   case of 1024 by
0d40: 74 65 20 70 61 67 65 73 2c 20 74 68 69 73 20 6d  te pages, this m
0d50: 65 61 6e 73 0a 23 20 74 68 65 20 63 61 63 68 65  eans.# the cache
0d60: 20 73 69 7a 65 20 6d 75 73 74 20 62 65 20 61 74   size must be at
0d70: 20 6c 65 61 73 74 20 31 37 2e 20 4f 74 68 65 72   least 17. Other
0d80: 77 69 73 65 2c 20 73 6f 6d 65 20 70 61 67 65 73  wise, some pages
0d90: 20 77 69 6c 6c 20 62 65 0a 23 20 6c 6f 61 64 65   will be.# loade
0da0: 64 20 66 72 6f 6d 20 74 68 65 20 64 61 74 61 62  d from the datab
0db0: 61 73 65 20 66 69 6c 65 20 69 6e 20 73 74 65 70  ase file in step
0dc0: 20 38 2e 0a 23 0a 23 20 46 6f 72 20 73 69 6d 69   8..#.# For simi
0dd0: 6c 61 72 20 72 65 61 73 6f 6e 73 2c 20 74 68 69  lar reasons, thi
0de0: 73 20 74 65 73 74 20 64 6f 65 73 20 6e 6f 74 20  s test does not 
0df0: 77 6f 72 6b 20 77 69 74 68 20 74 68 65 20 6d 65  work with the me
0e00: 6d 73 75 62 73 79 73 31 20 70 65 72 6d 75 74 61  msubsys1 permuta
0e10: 74 69 6f 6e 2e 0a 23 20 50 65 72 6d 75 74 61 74  tion..# Permutat
0e20: 69 6f 6e 20 6d 65 6d 73 75 62 73 79 73 31 20 63  ion memsubsys1 c
0e30: 6f 6e 66 69 67 75 72 65 73 20 74 68 65 20 70 63  onfigures the pc
0e40: 61 63 68 65 20 73 75 62 73 79 73 74 65 6d 20 74  ache subsystem t
0e50: 6f 20 75 73 65 20 61 20 73 74 61 74 69 63 0a 23  o use a static.#
0e60: 20 61 6c 6c 6f 63 61 74 69 6f 6e 20 6f 66 20 32   allocation of 2
0e70: 34 20 70 61 67 65 73 20 28 73 68 61 72 65 64 20  4 pages (shared 
0e80: 62 65 74 77 65 65 6e 20 61 6c 6c 20 70 61 67 65  between all page
0e90: 72 73 29 2e 20 54 68 69 73 20 69 73 20 6e 6f 74  rs). This is not
0ea0: 20 65 6e 6f 75 67 68 20 66 6f 72 0a 23 20 74 68   enough for.# th
0eb0: 69 73 20 74 65 73 74 2e 0a 23 0a 64 6f 5f 74 65  is test..#.do_te
0ec0: 73 74 20 65 78 63 6c 75 73 69 76 65 32 2d 31 2e  st exclusive2-1.
0ed0: 31 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a  1 {.  execsql {.
0ee0: 20 20 20 20 42 45 47 49 4e 3b 0a 20 20 20 20 43      BEGIN;.    C
0ef0: 52 45 41 54 45 20 54 41 42 4c 45 20 74 31 28 61  REATE TABLE t1(a
0f00: 2c 20 62 29 3b 0a 20 20 20 20 49 4e 53 45 52 54  , b);.    INSERT
0f10: 20 49 4e 54 4f 20 74 31 28 61 29 20 56 41 4c 55   INTO t1(a) VALU
0f20: 45 53 28 72 61 6e 64 73 74 72 28 31 30 2c 20 34  ES(randstr(10, 4
0f30: 30 30 29 29 3b 0a 20 20 20 20 49 4e 53 45 52 54  00));.    INSERT
0f40: 20 49 4e 54 4f 20 74 31 28 61 29 20 56 41 4c 55   INTO t1(a) VALU
0f50: 45 53 28 72 61 6e 64 73 74 72 28 31 30 2c 20 34  ES(randstr(10, 4
0f60: 30 30 29 29 3b 0a 20 20 20 20 49 4e 53 45 52 54  00));.    INSERT
0f70: 20 49 4e 54 4f 20 74 31 28 61 29 20 53 45 4c 45   INTO t1(a) SELE
0f80: 43 54 20 72 61 6e 64 73 74 72 28 31 30 2c 20 34  CT randstr(10, 4
0f90: 30 30 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20  00) FROM t1;.   
0fa0: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 28   INSERT INTO t1(
0fb0: 61 29 20 53 45 4c 45 43 54 20 72 61 6e 64 73 74  a) SELECT randst
0fc0: 72 28 31 30 2c 20 34 30 30 29 20 46 52 4f 4d 20  r(10, 400) FROM 
0fd0: 74 31 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49  t1;.    INSERT I
0fe0: 4e 54 4f 20 74 31 28 61 29 20 53 45 4c 45 43 54  NTO t1(a) SELECT
0ff0: 20 72 61 6e 64 73 74 72 28 31 30 2c 20 34 30 30   randstr(10, 400
1000: 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 49  ) FROM t1;.    I
1010: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 28 61 29  NSERT INTO t1(a)
1020: 20 53 45 4c 45 43 54 20 72 61 6e 64 73 74 72 28   SELECT randstr(
1030: 31 30 2c 20 34 30 30 29 20 46 52 4f 4d 20 74 31  10, 400) FROM t1
1040: 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  ;.    INSERT INT
1050: 4f 20 74 31 28 61 29 20 53 45 4c 45 43 54 20 72  O t1(a) SELECT r
1060: 61 6e 64 73 74 72 28 31 30 2c 20 34 30 30 29 20  andstr(10, 400) 
1070: 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 43 4f 4d  FROM t1;.    COM
1080: 4d 49 54 3b 0a 20 20 20 20 53 45 4c 45 43 54 20  MIT;.    SELECT 
1090: 63 6f 75 6e 74 28 2a 29 20 46 52 4f 4d 20 74 31  count(*) FROM t1
10a0: 3b 0a 20 20 7d 0a 7d 20 7b 36 34 7d 0a 64 6f 5f  ;.  }.} {64}.do_
10b0: 74 65 73 74 20 65 78 63 6c 75 73 69 76 65 32 2d  test exclusive2-
10c0: 31 2e 32 2e 31 20 7b 0a 20 20 23 20 4d 61 6b 65  1.2.1 {.  # Make
10d0: 20 73 75 72 65 20 74 68 65 20 70 61 67 65 72 20   sure the pager 
10e0: 63 61 63 68 65 20 69 73 20 6c 61 72 67 65 20 65  cache is large e
10f0: 6e 6f 75 67 68 20 74 6f 20 73 74 6f 72 65 20 74  nough to store t
1100: 68 65 20 0a 20 20 23 20 65 6e 74 69 72 65 20 64  he .  # entire d
1110: 61 74 61 62 61 73 65 2e 0a 20 20 73 65 74 20 6e  atabase..  set n
1120: 50 61 67 65 20 5b 65 78 70 72 20 5b 66 69 6c 65  Page [expr [file
1130: 20 73 69 7a 65 20 74 65 73 74 2e 64 62 5d 2f 31   size test.db]/1
1140: 30 32 34 5d 0a 20 20 69 66 20 7b 24 3a 3a 53 51  024].  if {$::SQ
1150: 4c 49 54 45 5f 44 45 46 41 55 4c 54 5f 43 41 43  LITE_DEFAULT_CAC
1160: 48 45 5f 53 49 5a 45 20 3c 20 24 6e 50 61 67 65  HE_SIZE < $nPage
1170: 7d 20 7b 0a 20 20 20 20 65 78 65 63 73 71 6c 20  } {.    execsql 
1180: 22 50 52 41 47 4d 41 20 63 61 63 68 65 5f 73 69  "PRAGMA cache_si
1190: 7a 65 20 3d 20 24 6e 50 61 67 65 22 0a 20 20 7d  ze = $nPage".  }
11a0: 0a 20 20 65 78 70 72 20 7b 5b 65 78 65 63 73 71  .  expr {[execsq
11b0: 6c 20 7b 50 52 41 47 4d 41 20 63 61 63 68 65 5f  l {PRAGMA cache_
11c0: 73 69 7a 65 7d 5d 20 3e 3d 20 24 6e 50 61 67 65  size}] >= $nPage
11d0: 7d 0a 7d 20 7b 31 7d 0a 64 6f 5f 74 65 73 74 20  }.} {1}.do_test 
11e0: 65 78 63 6c 75 73 69 76 65 32 2d 31 2e 32 20 7b  exclusive2-1.2 {
11f0: 0a 20 20 73 65 74 20 3a 3a 73 69 67 20 5b 74 31  .  set ::sig [t1
1200: 73 69 67 5d 0a 20 20 72 65 61 64 50 61 67 65 72  sig].  readPager
1210: 43 68 61 6e 67 65 43 6f 75 6e 74 65 72 20 74 65  ChangeCounter te
1220: 73 74 2e 64 62 0a 7d 20 7b 31 7d 0a 64 6f 5f 74  st.db.} {1}.do_t
1230: 65 73 74 20 65 78 63 6c 75 73 69 76 65 32 2d 31  est exclusive2-1
1240: 2e 33 20 7b 0a 20 20 74 31 73 69 67 0a 7d 20 24  .3 {.  t1sig.} $
1250: 3a 3a 73 69 67 0a 64 6f 5f 74 65 73 74 20 65 78  ::sig.do_test ex
1260: 63 6c 75 73 69 76 65 32 2d 31 2e 34 20 7b 0a 20  clusive2-1.4 {. 
1270: 20 73 71 6c 69 74 65 33 20 64 62 32 20 74 65 73   sqlite3 db2 tes
1280: 74 2e 64 62 0a 20 20 74 31 73 69 67 20 64 62 32  t.db.  t1sig db2
1290: 0a 7d 20 24 3a 3a 73 69 67 0a 64 6f 5f 74 65 73  .} $::sig.do_tes
12a0: 74 20 65 78 63 6c 75 73 69 76 65 32 2d 31 2e 35  t exclusive2-1.5
12b0: 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20   {.  execsql {. 
12c0: 20 20 20 55 50 44 41 54 45 20 74 31 20 53 45 54     UPDATE t1 SET
12d0: 20 62 3d 61 2c 20 61 3d 4e 55 4c 4c 3b 0a 20 20   b=a, a=NULL;.  
12e0: 7d 20 64 62 32 0a 20 20 65 78 70 72 20 7b 5b 74  } db2.  expr {[t
12f0: 31 73 69 67 20 64 62 32 5d 20 65 71 20 24 3a 3a  1sig db2] eq $::
1300: 73 69 67 7d 0a 7d 20 30 0a 64 6f 5f 74 65 73 74  sig}.} 0.do_test
1310: 20 65 78 63 6c 75 73 69 76 65 32 2d 31 2e 36 20   exclusive2-1.6 
1320: 7b 0a 20 20 72 65 61 64 50 61 67 65 72 43 68 61  {.  readPagerCha
1330: 6e 67 65 43 6f 75 6e 74 65 72 20 74 65 73 74 2e  ngeCounter test.
1340: 64 62 0a 7d 20 7b 32 7d 0a 64 6f 5f 74 65 73 74  db.} {2}.do_test
1350: 20 65 78 63 6c 75 73 69 76 65 32 2d 31 2e 37 20   exclusive2-1.7 
1360: 7b 0a 20 20 70 61 67 65 72 43 68 61 6e 67 65 43  {.  pagerChangeC
1370: 6f 75 6e 74 65 72 20 74 65 73 74 2e 64 62 20 31  ounter test.db 1
1380: 0a 7d 20 7b 31 7d 0a 69 66 20 7b 5b 70 65 72 6d  .} {1}.if {[perm
1390: 75 74 61 74 69 6f 6e 5d 20 21 3d 20 22 6d 65 6d  utation] != "mem
13a0: 73 75 62 73 79 73 31 22 7d 20 7b 0a 20 20 64 6f  subsys1"} {.  do
13b0: 5f 74 65 73 74 20 65 78 63 6c 75 73 69 76 65 32  _test exclusive2
13c0: 2d 31 2e 39 20 7b 0a 20 20 20 20 74 31 73 69 67  -1.9 {.    t1sig
13d0: 0a 20 20 20 20 65 78 70 72 20 7b 5b 74 31 73 69  .    expr {[t1si
13e0: 67 5d 20 65 71 20 24 3a 3a 73 69 67 7d 0a 20 20  g] eq $::sig}.  
13f0: 7d 20 7b 31 7d 0a 7d 0a 64 6f 5f 74 65 73 74 20  } {1}.}.do_test 
1400: 65 78 63 6c 75 73 69 76 65 32 2d 31 2e 31 30 20  exclusive2-1.10 
1410: 7b 0a 20 20 70 61 67 65 72 43 68 61 6e 67 65 43  {.  pagerChangeC
1420: 6f 75 6e 74 65 72 20 74 65 73 74 2e 64 62 20 32  ounter test.db 2
1430: 0a 7d 20 7b 32 7d 0a 64 6f 5f 74 65 73 74 20 65  .} {2}.do_test e
1440: 78 63 6c 75 73 69 76 65 32 2d 31 2e 31 31 20 7b  xclusive2-1.11 {
1450: 0a 20 20 65 78 70 72 20 7b 5b 74 31 73 69 67 5d  .  expr {[t1sig]
1460: 20 65 71 20 24 3a 3a 73 69 67 7d 0a 7d 20 7b 30   eq $::sig}.} {0
1470: 7d 0a 64 62 32 20 63 6c 6f 73 65 0a 0a 23 2d 2d  }.db2 close..#--
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 2d 2d 2d 2d  ----------------
14b0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
14c0: 2d 2d 0a 23 20 54 68 65 73 65 20 74 65 73 74 73  --.# These tests
14d0: 20 2d 20 65 78 63 6c 75 73 69 76 65 32 2d 32 2e   - exclusive2-2.
14e0: 58 20 2d 20 61 72 65 20 73 69 6d 69 6c 61 72 20  X - are similar 
14f0: 74 6f 20 65 78 63 6c 75 73 69 76 65 32 2d 31 2e  to exclusive2-1.
1500: 58 2c 20 0a 23 20 65 78 63 65 70 74 20 74 68 61  X, .# except tha
1510: 74 20 74 68 65 79 20 61 72 65 20 72 75 6e 20 77  t they are run w
1520: 69 74 68 20 6c 6f 63 6b 69 6e 67 5f 6d 6f 64 65  ith locking_mode
1530: 3d 45 58 43 4c 55 53 49 56 45 2e 0a 23 0a 23 20  =EXCLUSIVE..#.# 
1540: 31 2d 33 3a 20 20 20 42 75 69 6c 64 20 61 20 64  1-3:   Build a d
1550: 61 74 61 62 61 73 65 20 77 69 74 68 20 65 78 63  atabase with exc
1560: 6c 75 73 69 76 65 2d 61 63 63 65 73 73 20 63 6f  lusive-access co
1570: 6e 6e 65 63 74 69 6f 6e 20 31 2c 20 0a 23 20 20  nnection 1, .#  
1580: 20 20 20 20 20 20 63 61 6c 63 75 6c 61 74 65 20        calculate 
1590: 61 20 73 69 67 6e 61 74 75 72 65 2e 0a 23 20 34  a signature..# 4
15a0: 3a 20 20 20 20 20 43 6f 72 72 75 70 74 20 74 68  :     Corrupt th
15b0: 65 20 64 61 74 61 62 61 73 65 20 62 79 20 77 72  e database by wr
15c0: 69 74 69 6e 67 20 31 30 30 30 30 20 62 79 74 65  iting 10000 byte
15d0: 73 20 6f 66 20 67 61 72 62 61 67 65 0a 23 20 20  s of garbage.#  
15e0: 20 20 20 20 20 20 73 74 61 72 74 69 6e 67 20 61        starting a
15f0: 74 20 74 68 65 20 62 65 67 69 6e 6e 69 6e 67 20  t the beginning 
1600: 6f 66 20 70 61 67 65 20 32 2e 20 43 68 65 63 6b  of page 2. Check
1610: 20 74 68 61 74 20 63 6f 6e 6e 65 63 74 69 6f 6e   that connection
1620: 20 31 0a 23 20 20 20 20 20 20 20 20 73 74 69 6c   1.#        stil
1630: 6c 20 77 6f 72 6b 73 2e 20 49 74 20 73 68 6f 75  l works. It shou
1640: 6c 64 20 62 65 20 61 63 63 65 73 73 69 6e 67 20  ld be accessing 
1650: 74 68 65 20 69 6e 2d 6d 65 6d 6f 72 79 20 63 61  the in-memory ca
1660: 63 68 65 2e 0a 23 20 35 2d 36 3a 20 20 20 4d 6f  che..# 5-6:   Mo
1670: 64 69 66 79 20 74 68 65 20 64 61 74 61 61 73 65  dify the dataase
1680: 20 63 68 61 6e 67 65 2d 63 6f 75 6e 74 65 72 2e   change-counter.
1690: 20 43 6f 6e 6e 65 63 74 69 6f 6e 20 31 20 73 74   Connection 1 st
16a0: 69 6c 6c 20 77 6f 72 6b 73 0a 23 20 20 20 20 20  ill works.#     
16b0: 20 20 20 65 6e 74 69 72 65 6c 79 20 66 72 6f 6d     entirely from
16c0: 20 69 6e 2d 6d 65 6d 6f 72 79 20 63 61 63 68 65   in-memory cache
16d0: 2c 20 62 65 63 61 75 73 65 20 69 74 20 64 6f 65  , because it doe
16e0: 73 6e 27 74 20 63 68 65 63 6b 20 74 68 65 0a 23  sn't check the.#
16f0: 20 20 20 20 20 20 20 20 63 68 61 6e 67 65 2d 63          change-c
1700: 6f 75 6e 74 65 72 2e 0a 23 20 37 2d 38 20 20 20  ounter..# 7-8   
1710: 20 53 65 74 20 74 68 65 20 6c 6f 63 6b 69 6e 67   Set the locking
1720: 2d 6d 6f 64 65 20 62 61 63 6b 20 74 6f 20 6e 6f  -mode back to no
1730: 72 6d 61 6c 2e 20 41 66 74 65 72 20 74 68 65 20  rmal. After the 
1740: 64 62 20 69 73 20 75 6e 6c 6f 63 6b 65 64 2c 0a  db is unlocked,.
1750: 23 20 20 20 20 20 20 20 20 53 51 4c 69 74 65 20  #        SQLite 
1760: 64 65 74 65 63 74 73 20 74 68 65 20 6d 6f 64 69  detects the modi
1770: 66 69 65 64 20 63 68 61 6e 67 65 2d 63 6f 75 6e  fied change-coun
1780: 74 65 72 20 61 6e 64 20 64 69 73 63 61 72 64 73  ter and discards
1790: 20 74 68 65 0a 23 20 20 20 20 20 20 20 20 69 6e   the.#        in
17a0: 2d 6d 65 6d 6f 72 79 20 63 61 63 68 65 2e 20 54  -memory cache. T
17b0: 68 65 6e 20 69 74 20 66 69 6e 64 73 20 74 68 65  hen it finds the
17c0: 20 63 6f 72 72 75 70 74 69 6f 6e 20 63 61 75 73   corruption caus
17d0: 65 64 20 69 6e 20 73 74 65 70 20 34 2e 2e 2e 2e  ed in step 4....
17e0: 0a 23 0a 23 20 41 73 20 61 62 6f 76 65 2c 20 74  .#.# As above, t
17f0: 68 69 73 20 74 65 73 74 20 69 73 20 6f 6e 6c 79  his test is only
1800: 20 61 70 70 6c 69 63 61 62 6c 65 20 69 66 20 74   applicable if t
1810: 68 65 20 70 61 67 65 72 20 63 61 63 68 65 20 69  he pager cache i
1820: 73 0a 23 20 6c 61 72 67 65 20 65 6e 6f 75 67 68  s.# large enough
1830: 20 74 6f 20 68 6f 6c 64 20 74 68 65 20 65 6e 74   to hold the ent
1840: 69 72 65 20 64 61 74 61 62 61 73 65 2e 20 57 69  ire database. Wi
1850: 74 68 20 31 30 32 34 20 62 79 74 65 20 70 61 67  th 1024 byte pag
1860: 65 73 2c 0a 23 20 74 68 69 73 20 6d 65 61 6e 73  es,.# this means
1870: 20 31 39 20 70 61 67 65 73 2e 20 20 57 65 20 61   19 pages.  We a
1880: 6c 73 6f 20 6e 65 65 64 20 74 6f 20 64 69 73 61  lso need to disa
1890: 62 6c 65 20 74 68 65 20 73 6f 66 74 2d 68 65 61  ble the soft-hea
18a0: 70 2d 6c 69 6d 69 74 0a 23 20 74 6f 20 70 72 65  p-limit.# to pre
18b0: 76 65 6e 74 20 6d 65 6d 6f 72 79 2d 69 6e 64 75  vent memory-indu
18c0: 63 65 64 20 63 61 63 68 65 20 73 70 69 6c 6c 73  ced cache spills
18d0: 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 65 78 63 6c  ..#.do_test excl
18e0: 75 73 69 76 65 32 2d 32 2e 31 20 7b 0a 20 20 65  usive2-2.1 {.  e
18f0: 78 65 63 73 71 6c 20 7b 50 52 41 47 4d 41 20 63  xecsql {PRAGMA c
1900: 61 63 68 65 5f 73 69 7a 65 3d 31 30 30 30 3b 7d  ache_size=1000;}
1910: 0a 20 20 65 78 65 63 73 71 6c 20 7b 50 52 41 47  .  execsql {PRAG
1920: 4d 41 20 6c 6f 63 6b 69 6e 67 5f 6d 6f 64 65 20  MA locking_mode 
1930: 3d 20 65 78 63 6c 75 73 69 76 65 3b 7d 0a 20 20  = exclusive;}.  
1940: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 42 45  execsql {.    BE
1950: 47 49 4e 3b 0a 20 20 20 20 44 45 4c 45 54 45 20  GIN;.    DELETE 
1960: 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 49 4e 53  FROM t1;.    INS
1970: 45 52 54 20 49 4e 54 4f 20 74 31 28 61 29 20 56  ERT INTO t1(a) V
1980: 41 4c 55 45 53 28 72 61 6e 64 73 74 72 28 31 30  ALUES(randstr(10
1990: 2c 20 34 30 30 29 29 3b 0a 20 20 20 20 49 4e 53  , 400));.    INS
19a0: 45 52 54 20 49 4e 54 4f 20 74 31 28 61 29 20 56  ERT INTO t1(a) V
19b0: 41 4c 55 45 53 28 72 61 6e 64 73 74 72 28 31 30  ALUES(randstr(10
19c0: 2c 20 34 30 30 29 29 3b 0a 20 20 20 20 49 4e 53  , 400));.    INS
19d0: 45 52 54 20 49 4e 54 4f 20 74 31 28 61 29 20 53  ERT INTO t1(a) S
19e0: 45 4c 45 43 54 20 72 61 6e 64 73 74 72 28 31 30  ELECT randstr(10
19f0: 2c 20 34 30 30 29 20 46 52 4f 4d 20 74 31 3b 0a  , 400) FROM t1;.
1a00: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
1a10: 74 31 28 61 29 20 53 45 4c 45 43 54 20 72 61 6e  t1(a) SELECT ran
1a20: 64 73 74 72 28 31 30 2c 20 34 30 30 29 20 46 52  dstr(10, 400) FR
1a30: 4f 4d 20 74 31 3b 0a 20 20 20 20 49 4e 53 45 52  OM t1;.    INSER
1a40: 54 20 49 4e 54 4f 20 74 31 28 61 29 20 53 45 4c  T INTO t1(a) SEL
1a50: 45 43 54 20 72 61 6e 64 73 74 72 28 31 30 2c 20  ECT randstr(10, 
1a60: 34 30 30 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20  400) FROM t1;.  
1a70: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31    INSERT INTO t1
1a80: 28 61 29 20 53 45 4c 45 43 54 20 72 61 6e 64 73  (a) SELECT rands
1a90: 74 72 28 31 30 2c 20 34 30 30 29 20 46 52 4f 4d  tr(10, 400) FROM
1aa0: 20 74 31 3b 0a 20 20 20 20 49 4e 53 45 52 54 20   t1;.    INSERT 
1ab0: 49 4e 54 4f 20 74 31 28 61 29 20 53 45 4c 45 43  INTO t1(a) SELEC
1ac0: 54 20 72 61 6e 64 73 74 72 28 31 30 2c 20 34 30  T randstr(10, 40
1ad0: 30 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20  0) FROM t1;.    
1ae0: 43 4f 4d 4d 49 54 3b 0a 20 20 20 20 53 45 4c 45  COMMIT;.    SELE
1af0: 43 54 20 63 6f 75 6e 74 28 2a 29 20 46 52 4f 4d  CT count(*) FROM
1b00: 20 74 31 3b 0a 20 20 7d 0a 7d 20 7b 36 34 7d 0a   t1;.  }.} {64}.
1b10: 64 6f 5f 74 65 73 74 20 65 78 63 6c 75 73 69 76  do_test exclusiv
1b20: 65 32 2d 32 2e 32 2e 31 20 7b 0a 20 20 23 20 4d  e2-2.2.1 {.  # M
1b30: 61 6b 65 20 73 75 72 65 20 74 68 65 20 70 61 67  ake sure the pag
1b40: 65 72 20 63 61 63 68 65 20 69 73 20 6c 61 72 67  er cache is larg
1b50: 65 20 65 6e 6f 75 67 68 20 74 6f 20 73 74 6f 72  e enough to stor
1b60: 65 20 74 68 65 20 0a 20 20 23 20 65 6e 74 69 72  e the .  # entir
1b70: 65 20 64 61 74 61 62 61 73 65 2e 0a 20 20 73 65  e database..  se
1b80: 74 20 6e 50 61 67 65 20 5b 65 78 70 72 20 5b 66  t nPage [expr [f
1b90: 69 6c 65 20 73 69 7a 65 20 74 65 73 74 2e 64 62  ile size test.db
1ba0: 5d 2f 31 30 32 34 5d 0a 20 20 69 66 20 7b 24 3a  ]/1024].  if {$:
1bb0: 3a 53 51 4c 49 54 45 5f 44 45 46 41 55 4c 54 5f  :SQLITE_DEFAULT_
1bc0: 43 41 43 48 45 5f 53 49 5a 45 20 3c 20 24 6e 50  CACHE_SIZE < $nP
1bd0: 61 67 65 7d 20 7b 0a 20 20 20 20 65 78 65 63 73  age} {.    execs
1be0: 71 6c 20 22 50 52 41 47 4d 41 20 63 61 63 68 65  ql "PRAGMA cache
1bf0: 5f 73 69 7a 65 20 3d 20 24 6e 50 61 67 65 22 0a  _size = $nPage".
1c00: 20 20 7d 0a 20 20 65 78 70 72 20 7b 5b 65 78 65    }.  expr {[exe
1c10: 63 73 71 6c 20 7b 50 52 41 47 4d 41 20 63 61 63  csql {PRAGMA cac
1c20: 68 65 5f 73 69 7a 65 7d 5d 20 3e 3d 20 24 6e 50  he_size}] >= $nP
1c30: 61 67 65 7d 0a 7d 20 7b 31 7d 0a 64 6f 5f 74 65  age}.} {1}.do_te
1c40: 73 74 20 65 78 63 6c 75 73 69 76 65 32 2d 32 2e  st exclusive2-2.
1c50: 32 20 7b 0a 20 20 73 65 74 20 3a 3a 73 69 67 20  2 {.  set ::sig 
1c60: 5b 74 31 73 69 67 5d 0a 20 20 72 65 61 64 50 61  [t1sig].  readPa
1c70: 67 65 72 43 68 61 6e 67 65 43 6f 75 6e 74 65 72  gerChangeCounter
1c80: 20 74 65 73 74 2e 64 62 0a 7d 20 7b 33 7d 0a 64   test.db.} {3}.d
1c90: 6f 5f 74 65 73 74 20 65 78 63 6c 75 73 69 76 65  o_test exclusive
1ca0: 32 2d 32 2e 33 20 7b 0a 20 20 74 31 73 69 67 0a  2-2.3 {.  t1sig.
1cb0: 7d 20 24 3a 3a 73 69 67 0a 0a 64 6f 5f 74 65 73  } $::sig..do_tes
1cc0: 74 20 65 78 63 6c 75 73 69 76 65 32 2d 32 2e 34  t exclusive2-2.4
1cd0: 20 7b 0a 20 20 73 65 74 20 3a 3a 66 64 20 5b 6f   {.  set ::fd [o
1ce0: 70 65 6e 20 74 65 73 74 2e 64 62 20 52 44 57 52  pen test.db RDWR
1cf0: 5d 0a 20 20 66 63 6f 6e 66 69 67 75 72 65 20 24  ].  fconfigure $
1d00: 3a 3a 66 64 20 2d 74 72 61 6e 73 6c 61 74 69 6f  ::fd -translatio
1d10: 6e 20 62 69 6e 61 72 79 0a 20 20 73 65 65 6b 20  n binary.  seek 
1d20: 24 3a 3a 66 64 20 31 30 32 34 0a 20 20 70 75 74  $::fd 1024.  put
1d30: 73 20 2d 6e 6f 6e 65 77 6c 69 6e 65 20 24 3a 3a  s -nonewline $::
1d40: 66 64 20 5b 73 74 72 69 6e 67 20 72 65 70 65 61  fd [string repea
1d50: 74 20 5b 62 69 6e 61 72 79 20 66 6f 72 6d 61 74  t [binary format
1d60: 20 63 20 30 5d 20 31 30 30 30 30 5d 0a 20 20 66   c 0] 10000].  f
1d70: 6c 75 73 68 20 24 3a 3a 66 64 0a 20 20 74 31 73  lush $::fd.  t1s
1d80: 69 67 0a 7d 20 24 3a 3a 73 69 67 0a 0a 64 6f 5f  ig.} $::sig..do_
1d90: 74 65 73 74 20 65 78 63 6c 75 73 69 76 65 32 2d  test exclusive2-
1da0: 32 2e 35 20 7b 0a 20 20 70 61 67 65 72 43 68 61  2.5 {.  pagerCha
1db0: 6e 67 65 43 6f 75 6e 74 65 72 20 74 65 73 74 2e  ngeCounter test.
1dc0: 64 62 20 35 20 24 3a 3a 66 64 0a 7d 20 7b 35 7d  db 5 $::fd.} {5}
1dd0: 0a 64 6f 5f 74 65 73 74 20 65 78 63 6c 75 73 69  .do_test exclusi
1de0: 76 65 32 2d 32 2e 36 20 7b 0a 20 20 74 31 73 69  ve2-2.6 {.  t1si
1df0: 67 0a 7d 20 24 3a 3a 73 69 67 0a 64 6f 5f 74 65  g.} $::sig.do_te
1e00: 73 74 20 65 78 63 6c 75 73 69 76 65 32 2d 32 2e  st exclusive2-2.
1e10: 37 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 50  7 {.  execsql {P
1e20: 52 41 47 4d 41 20 6c 6f 63 6b 69 6e 67 5f 6d 6f  RAGMA locking_mo
1e30: 64 65 20 3d 20 6e 6f 72 6d 61 6c 7d 0a 20 20 74  de = normal}.  t
1e40: 31 73 69 67 0a 7d 20 24 3a 3a 73 69 67 0a 0a 64  1sig.} $::sig..d
1e50: 6f 5f 74 65 73 74 20 65 78 63 6c 75 73 69 76 65  o_test exclusive
1e60: 32 2d 32 2e 38 20 7b 0a 20 20 73 65 74 20 72 63  2-2.8 {.  set rc
1e70: 20 5b 63 61 74 63 68 20 7b 74 31 73 69 67 7d 20   [catch {t1sig} 
1e80: 6d 73 67 5d 0a 20 20 6c 69 73 74 20 24 72 63 20  msg].  list $rc 
1e90: 24 6d 73 67 0a 7d 20 7b 31 20 7b 64 61 74 61 62  $msg.} {1 {datab
1ea0: 61 73 65 20 64 69 73 6b 20 69 6d 61 67 65 20 69  ase disk image i
1eb0: 73 20 6d 61 6c 66 6f 72 6d 65 64 7d 7d 0a 0a 23  s malformed}}..#
1ec0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1ed0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1ee0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1ef0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1f00: 2d 2d 2d 2d 0a 23 20 54 68 65 73 65 20 74 65 73  ----.# These tes
1f10: 74 73 20 2d 20 65 78 63 6c 75 73 69 76 65 32 2d  ts - exclusive2-
1f20: 33 2e 58 20 2d 20 76 65 72 69 66 79 20 74 68 61  3.X - verify tha
1f30: 74 20 74 68 65 20 70 61 67 65 72 20 63 68 61 6e  t the pager chan
1f40: 67 65 2d 63 6f 75 6e 74 65 72 0a 23 20 69 73 20  ge-counter.# is 
1f50: 6f 6e 6c 79 20 69 6e 63 72 65 6d 65 6e 74 65 64  only incremented
1f60: 20 62 79 20 74 68 65 20 66 69 72 73 74 20 63 68   by the first ch
1f70: 61 6e 67 65 20 77 68 65 6e 20 69 6e 20 65 78 63  ange when in exc
1f80: 6c 75 73 69 76 65 20 61 63 63 65 73 73 0a 23 20  lusive access.# 
1f90: 6d 6f 64 65 2e 20 49 6e 20 6e 6f 72 6d 61 6c 20  mode. In normal 
1fa0: 6d 6f 64 65 2c 20 74 68 65 20 63 68 61 6e 67 65  mode, the change
1fb0: 2d 63 6f 75 6e 74 65 72 20 69 73 20 69 6e 63 72  -counter is incr
1fc0: 65 6d 65 6e 74 65 64 20 6f 6e 63 65 0a 23 20 70  emented once.# p
1fd0: 65 72 20 77 72 69 74 65 2d 74 72 61 6e 73 61 63  er write-transac
1fe0: 74 69 6f 6e 2e 0a 23 0a 0a 64 62 20 63 6c 6f 73  tion..#..db clos
1ff0: 65 0a 63 61 74 63 68 20 7b 63 6c 6f 73 65 20 24  e.catch {close $
2000: 3a 3a 66 64 7d 0a 66 6f 72 63 65 64 65 6c 65 74  ::fd}.forcedelet
2010: 65 20 74 65 73 74 2e 64 62 0a 66 6f 72 63 65 64  e test.db.forced
2020: 65 6c 65 74 65 20 74 65 73 74 2e 64 62 2d 6a 6f  elete test.db-jo
2030: 75 72 6e 61 6c 0a 0a 64 6f 5f 74 65 73 74 20 65  urnal..do_test e
2040: 78 63 6c 75 73 69 76 65 32 2d 33 2e 30 20 7b 0a  xclusive2-3.0 {.
2050: 20 20 73 71 6c 69 74 65 33 20 64 62 20 74 65 73    sqlite3 db tes
2060: 74 2e 64 62 0a 20 20 65 78 65 63 73 71 6c 20 7b  t.db.  execsql {
2070: 0a 20 20 20 20 42 45 47 49 4e 3b 0a 20 20 20 20  .    BEGIN;.    
2080: 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 31 28  CREATE TABLE t1(
2090: 61 20 55 4e 49 51 55 45 29 3b 0a 20 20 20 20 49  a UNIQUE);.    I
20a0: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41  NSERT INTO t1 VA
20b0: 4c 55 45 53 28 72 61 6e 64 73 74 72 28 32 30 30  LUES(randstr(200
20c0: 2c 20 32 30 30 29 29 3b 0a 20 20 20 20 49 4e 53  , 200));.    INS
20d0: 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55  ERT INTO t1 VALU
20e0: 45 53 28 72 61 6e 64 73 74 72 28 32 30 30 2c 20  ES(randstr(200, 
20f0: 32 30 30 29 29 3b 0a 20 20 20 20 43 4f 4d 4d 49  200));.    COMMI
2100: 54 3b 0a 20 20 7d 0a 20 20 72 65 61 64 50 61 67  T;.  }.  readPag
2110: 65 72 43 68 61 6e 67 65 43 6f 75 6e 74 65 72 20  erChangeCounter 
2120: 74 65 73 74 2e 64 62 0a 7d 20 7b 31 7d 0a 64 6f  test.db.} {1}.do
2130: 5f 74 65 73 74 20 65 78 63 6c 75 73 69 76 65 32  _test exclusive2
2140: 2d 33 2e 31 20 7b 0a 20 20 65 78 65 63 73 71 6c  -3.1 {.  execsql
2150: 20 7b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e   {.    INSERT IN
2160: 54 4f 20 74 31 20 56 41 4c 55 45 53 28 72 61 6e  TO t1 VALUES(ran
2170: 64 73 74 72 28 32 30 30 2c 20 32 30 30 29 29 3b  dstr(200, 200));
2180: 0a 20 20 7d 0a 20 20 72 65 61 64 50 61 67 65 72  .  }.  readPager
2190: 43 68 61 6e 67 65 43 6f 75 6e 74 65 72 20 74 65  ChangeCounter te
21a0: 73 74 2e 64 62 0a 7d 20 7b 32 7d 0a 64 6f 5f 74  st.db.} {2}.do_t
21b0: 65 73 74 20 65 78 63 6c 75 73 69 76 65 32 2d 33  est exclusive2-3
21c0: 2e 32 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b  .2 {.  execsql {
21d0: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
21e0: 20 74 31 20 56 41 4c 55 45 53 28 72 61 6e 64 73   t1 VALUES(rands
21f0: 74 72 28 32 30 30 2c 20 32 30 30 29 29 3b 0a 20  tr(200, 200));. 
2200: 20 7d 0a 20 20 72 65 61 64 50 61 67 65 72 43 68   }.  readPagerCh
2210: 61 6e 67 65 43 6f 75 6e 74 65 72 20 74 65 73 74  angeCounter test
2220: 2e 64 62 0a 7d 20 7b 33 7d 0a 64 6f 5f 74 65 73  .db.} {3}.do_tes
2230: 74 20 65 78 63 6c 75 73 69 76 65 32 2d 33 2e 33  t exclusive2-3.3
2240: 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20   {.  execsql {. 
2250: 20 20 20 50 52 41 47 4d 41 20 6c 6f 63 6b 69 6e     PRAGMA lockin
2260: 67 5f 6d 6f 64 65 20 3d 20 65 78 63 6c 75 73 69  g_mode = exclusi
2270: 76 65 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49  ve;.    INSERT I
2280: 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 72 61  NTO t1 VALUES(ra
2290: 6e 64 73 74 72 28 32 30 30 2c 20 32 30 30 29 29  ndstr(200, 200))
22a0: 3b 0a 20 20 7d 0a 20 20 72 65 61 64 50 61 67 65  ;.  }.  readPage
22b0: 72 43 68 61 6e 67 65 43 6f 75 6e 74 65 72 20 74  rChangeCounter t
22c0: 65 73 74 2e 64 62 0a 7d 20 7b 34 7d 0a 64 6f 5f  est.db.} {4}.do_
22d0: 74 65 73 74 20 65 78 63 6c 75 73 69 76 65 32 2d  test exclusive2-
22e0: 33 2e 34 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  3.4 {.  execsql 
22f0: 7b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  {.    INSERT INT
2300: 4f 20 74 31 20 56 41 4c 55 45 53 28 72 61 6e 64  O t1 VALUES(rand
2310: 73 74 72 28 32 30 30 2c 20 32 30 30 29 29 3b 0a  str(200, 200));.
2320: 20 20 7d 0a 20 20 72 65 61 64 50 61 67 65 72 43    }.  readPagerC
2330: 68 61 6e 67 65 43 6f 75 6e 74 65 72 20 74 65 73  hangeCounter tes
2340: 74 2e 64 62 0a 7d 20 7b 34 7d 0a 64 6f 5f 74 65  t.db.} {4}.do_te
2350: 73 74 20 65 78 63 6c 75 73 69 76 65 32 2d 33 2e  st exclusive2-3.
2360: 35 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a  5 {.  execsql {.
2370: 20 20 20 20 50 52 41 47 4d 41 20 6c 6f 63 6b 69      PRAGMA locki
2380: 6e 67 5f 6d 6f 64 65 20 3d 20 6e 6f 72 6d 61 6c  ng_mode = normal
2390: 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  ;.    INSERT INT
23a0: 4f 20 74 31 20 56 41 4c 55 45 53 28 72 61 6e 64  O t1 VALUES(rand
23b0: 73 74 72 28 32 30 30 2c 20 32 30 30 29 29 3b 0a  str(200, 200));.
23c0: 20 20 7d 0a 20 20 72 65 61 64 50 61 67 65 72 43    }.  readPagerC
23d0: 68 61 6e 67 65 43 6f 75 6e 74 65 72 20 74 65 73  hangeCounter tes
23e0: 74 2e 64 62 0a 7d 20 7b 34 7d 0a 64 6f 5f 74 65  t.db.} {4}.do_te
23f0: 73 74 20 65 78 63 6c 75 73 69 76 65 32 2d 33 2e  st exclusive2-3.
2400: 36 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a  6 {.  execsql {.
2410: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
2420: 74 31 20 56 41 4c 55 45 53 28 72 61 6e 64 73 74  t1 VALUES(randst
2430: 72 28 32 30 30 2c 20 32 30 30 29 29 3b 0a 20 20  r(200, 200));.  
2440: 7d 0a 20 20 72 65 61 64 50 61 67 65 72 43 68 61  }.  readPagerCha
2450: 6e 67 65 43 6f 75 6e 74 65 72 20 74 65 73 74 2e  ngeCounter test.
2460: 64 62 0a 7d 20 7b 35 7d 0a 73 71 6c 69 74 65 33  db.} {5}.sqlite3
2470: 5f 73 6f 66 74 5f 68 65 61 70 5f 6c 69 6d 69 74  _soft_heap_limit
2480: 20 24 63 6d 64 6c 69 6e 65 61 72 67 28 73 6f 66   $cmdlinearg(sof
2490: 74 2d 68 65 61 70 2d 6c 69 6d 69 74 29 0a 0a 66  t-heap-limit)..f
24a0: 69 6e 69 73 68 5f 74 65 73 74 0a                 inish_test.