/ Hex Artifact Content
Login

Artifact 354bdabe299a2546c898dff42f79079ff1590d88:


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: 21 3d 22 6e 6f 6d 6d 61 70 22 7d 20 7b 0a 20 20  !="nommap"} {.  
03c0: 66 69 6e 69 73 68 5f 74 65 73 74 0a 20 20 72 65  finish_test.  re
03d0: 74 75 72 6e 0a 7d 0a 0a 23 20 54 68 69 73 20 6d  turn.}..# This m
03e0: 6f 64 75 6c 65 20 64 6f 65 73 20 6e 6f 74 20 77  odule does not w
03f0: 6f 72 6b 20 72 69 67 68 74 20 69 66 20 74 68 65  ork right if the
0400: 20 63 61 63 68 65 20 73 70 69 6c 6c 73 20 61 74   cache spills at
0410: 20 75 6e 65 78 70 65 63 74 65 64 0a 23 20 6d 6f   unexpected.# mo
0420: 6d 65 6e 74 73 2e 20 20 53 6f 20 64 69 73 61 62  ments.  So disab
0430: 6c 65 20 74 68 65 20 73 6f 66 74 2d 68 65 61 70  le the soft-heap
0440: 2d 6c 69 6d 69 74 2e 0a 23 0a 73 71 6c 69 74 65  -limit..#.sqlite
0450: 33 5f 73 6f 66 74 5f 68 65 61 70 5f 6c 69 6d 69  3_soft_heap_limi
0460: 74 20 30 0a 0a 70 72 6f 63 20 70 61 67 65 72 43  t 0..proc pagerC
0470: 68 61 6e 67 65 43 6f 75 6e 74 65 72 20 7b 66 69  hangeCounter {fi
0480: 6c 65 6e 61 6d 65 20 6e 65 77 20 7b 66 64 20 22  lename new {fd "
0490: 22 7d 7d 20 7b 0a 20 20 69 66 20 7b 24 66 64 3d  "}} {.  if {$fd=
04a0: 3d 22 22 7d 20 7b 0a 20 20 20 20 73 65 74 20 66  =""} {.    set f
04b0: 64 20 5b 6f 70 65 6e 20 24 66 69 6c 65 6e 61 6d  d [open $filenam
04c0: 65 20 52 44 57 52 5d 0a 20 20 20 20 66 63 6f 6e  e RDWR].    fcon
04d0: 66 69 67 75 72 65 20 24 66 64 20 2d 74 72 61 6e  figure $fd -tran
04e0: 73 6c 61 74 69 6f 6e 20 62 69 6e 61 72 79 20 2d  slation binary -
04f0: 65 6e 63 6f 64 69 6e 67 20 62 69 6e 61 72 79 0a  encoding binary.
0500: 20 20 20 20 73 65 74 20 6e 65 65 64 43 6c 6f 73      set needClos
0510: 65 20 31 0a 20 20 7d 20 65 6c 73 65 20 7b 0a 20  e 1.  } else {. 
0520: 20 20 20 73 65 74 20 6e 65 65 64 43 6c 6f 73 65     set needClose
0530: 20 30 0a 20 20 7d 0a 20 20 69 66 20 7b 24 6e 65   0.  }.  if {$ne
0540: 77 20 6e 65 20 22 22 7d 20 7b 0a 20 20 20 20 73  w ne ""} {.    s
0550: 65 65 6b 20 24 66 64 20 32 34 0a 20 20 20 20 73  eek $fd 24.    s
0560: 65 74 20 61 20 5b 65 78 70 72 20 7b 28 24 6e 65  et a [expr {($ne
0570: 77 26 30 78 46 46 30 30 30 30 30 30 29 3e 3e 32  w&0xFF000000)>>2
0580: 34 7d 5d 0a 20 20 20 20 73 65 74 20 62 20 5b 65  4}].    set b [e
0590: 78 70 72 20 7b 28 24 6e 65 77 26 30 78 30 30 46  xpr {($new&0x00F
05a0: 46 30 30 30 30 29 3e 3e 31 36 7d 5d 0a 20 20 20  F0000)>>16}].   
05b0: 20 73 65 74 20 63 20 5b 65 78 70 72 20 7b 28 24   set c [expr {($
05c0: 6e 65 77 26 30 78 30 30 30 30 46 46 30 30 29 3e  new&0x0000FF00)>
05d0: 3e 38 7d 5d 0a 20 20 20 20 73 65 74 20 64 20 5b  >8}].    set d [
05e0: 65 78 70 72 20 7b 28 24 6e 65 77 26 30 78 30 30  expr {($new&0x00
05f0: 30 30 30 30 46 46 29 7d 5d 0a 20 20 20 20 70 75  0000FF)}].    pu
0600: 74 73 20 2d 6e 6f 6e 65 77 6c 69 6e 65 20 24 66  ts -nonewline $f
0610: 64 20 5b 62 69 6e 61 72 79 20 66 6f 72 6d 61 74  d [binary format
0620: 20 63 63 63 63 20 24 61 20 24 62 20 24 63 20 24   cccc $a $b $c $
0630: 64 5d 0a 20 20 20 20 66 6c 75 73 68 20 24 66 64  d].    flush $fd
0640: 0a 20 20 7d 0a 0a 20 20 73 65 65 6b 20 24 66 64  .  }..  seek $fd
0650: 20 32 34 0a 20 20 66 6f 72 65 61 63 68 20 7b 61   24.  foreach {a
0660: 20 62 20 63 20 64 7d 20 5b 6c 69 73 74 20 30 20   b c d} [list 0 
0670: 30 20 30 20 30 5d 20 7b 7d 0a 20 20 62 69 6e 61  0 0 0] {}.  bina
0680: 72 79 20 73 63 61 6e 20 5b 72 65 61 64 20 24 66  ry scan [read $f
0690: 64 20 34 5d 20 63 63 63 63 20 61 20 62 20 63 20  d 4] cccc a b c 
06a0: 64 0a 20 20 73 65 74 20 20 72 65 74 20 5b 65 78  d.  set  ret [ex
06b0: 70 72 20 28 24 61 26 30 78 30 30 30 30 30 30 46  pr ($a&0x000000F
06c0: 46 29 3c 3c 32 34 5d 0a 20 20 69 6e 63 72 20 72  F)<<24].  incr r
06d0: 65 74 20 5b 65 78 70 72 20 28 24 62 26 30 78 30  et [expr ($b&0x0
06e0: 30 30 30 30 30 46 46 29 3c 3c 31 36 5d 0a 20 20  00000FF)<<16].  
06f0: 69 6e 63 72 20 72 65 74 20 5b 65 78 70 72 20 28  incr ret [expr (
0700: 24 63 26 30 78 30 30 30 30 30 30 46 46 29 3c 3c  $c&0x000000FF)<<
0710: 38 5d 0a 20 20 69 6e 63 72 20 72 65 74 20 5b 65  8].  incr ret [e
0720: 78 70 72 20 28 24 64 26 30 78 30 30 30 30 30 30  xpr ($d&0x000000
0730: 46 46 29 3c 3c 30 5d 0a 0a 20 20 69 66 20 7b 24  FF)<<0]..  if {$
0740: 6e 65 65 64 43 6c 6f 73 65 7d 20 7b 63 6c 6f 73  needClose} {clos
0750: 65 20 24 66 64 7d 0a 20 20 72 65 74 75 72 6e 20  e $fd}.  return 
0760: 24 72 65 74 0a 7d 0a 0a 70 72 6f 63 20 72 65 61  $ret.}..proc rea
0770: 64 50 61 67 65 72 43 68 61 6e 67 65 43 6f 75 6e  dPagerChangeCoun
0780: 74 65 72 20 7b 66 69 6c 65 6e 61 6d 65 7d 20 7b  ter {filename} {
0790: 0a 20 20 73 65 74 20 66 64 20 5b 6f 70 65 6e 20  .  set fd [open 
07a0: 24 66 69 6c 65 6e 61 6d 65 20 52 44 4f 4e 4c 59  $filename RDONLY
07b0: 5d 0a 20 20 66 63 6f 6e 66 69 67 75 72 65 20 24  ].  fconfigure $
07c0: 66 64 20 2d 74 72 61 6e 73 6c 61 74 69 6f 6e 20  fd -translation 
07d0: 62 69 6e 61 72 79 20 2d 65 6e 63 6f 64 69 6e 67  binary -encoding
07e0: 20 62 69 6e 61 72 79 0a 0a 20 20 73 65 65 6b 20   binary..  seek 
07f0: 24 66 64 20 32 34 0a 20 20 66 6f 72 65 61 63 68  $fd 24.  foreach
0800: 20 7b 61 20 62 20 63 20 64 7d 20 5b 6c 69 73 74   {a b c d} [list
0810: 20 30 20 30 20 30 20 30 5d 20 7b 7d 0a 20 20 62   0 0 0 0] {}.  b
0820: 69 6e 61 72 79 20 73 63 61 6e 20 5b 72 65 61 64  inary scan [read
0830: 20 24 66 64 20 34 5d 20 63 63 63 63 20 61 20 62   $fd 4] cccc a b
0840: 20 63 20 64 0a 20 20 73 65 74 20 20 72 65 74 20   c d.  set  ret 
0850: 5b 65 78 70 72 20 28 24 61 26 30 78 30 30 30 30  [expr ($a&0x0000
0860: 30 30 46 46 29 3c 3c 32 34 5d 0a 20 20 69 6e 63  00FF)<<24].  inc
0870: 72 20 72 65 74 20 5b 65 78 70 72 20 28 24 62 26  r ret [expr ($b&
0880: 30 78 30 30 30 30 30 30 46 46 29 3c 3c 31 36 5d  0x000000FF)<<16]
0890: 0a 20 20 69 6e 63 72 20 72 65 74 20 5b 65 78 70  .  incr ret [exp
08a0: 72 20 28 24 63 26 30 78 30 30 30 30 30 30 46 46  r ($c&0x000000FF
08b0: 29 3c 3c 38 5d 0a 20 20 69 6e 63 72 20 72 65 74  )<<8].  incr ret
08c0: 20 5b 65 78 70 72 20 28 24 64 26 30 78 30 30 30   [expr ($d&0x000
08d0: 30 30 30 46 46 29 3c 3c 30 5d 0a 0a 20 20 63 6c  000FF)<<0]..  cl
08e0: 6f 73 65 20 24 66 64 0a 20 20 72 65 74 75 72 6e  ose $fd.  return
08f0: 20 24 72 65 74 0a 7d 0a 0a 0a 70 72 6f 63 20 74   $ret.}...proc t
0900: 31 73 69 67 20 7b 7b 64 62 20 64 62 7d 7d 20 7b  1sig {{db db}} {
0910: 0a 20 20 65 78 65 63 73 71 6c 20 7b 53 45 4c 45  .  execsql {SELE
0920: 43 54 20 63 6f 75 6e 74 28 2a 29 2c 20 6d 64 35  CT count(*), md5
0930: 73 75 6d 28 61 29 20 46 52 4f 4d 20 74 31 7d 20  sum(a) FROM t1} 
0940: 24 64 62 0a 7d 0a 64 6f 5f 74 65 73 74 20 65 78  $db.}.do_test ex
0950: 63 6c 75 73 69 76 65 32 2d 31 2e 30 20 7b 0a 20  clusive2-1.0 {. 
0960: 20 72 65 61 64 50 61 67 65 72 43 68 61 6e 67 65   readPagerChange
0970: 43 6f 75 6e 74 65 72 20 74 65 73 74 2e 64 62 0a  Counter test.db.
0980: 7d 20 7b 30 7d 0a 0a 23 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 2d 2d 0a  ---------------.
09d0: 23 20 54 68 65 20 66 6f 6c 6c 6f 77 69 6e 67 20  # The following 
09e0: 74 65 73 74 73 20 2d 20 65 78 63 6c 75 73 69 76  tests - exclusiv
09f0: 65 32 2d 31 2e 58 20 2d 20 63 68 65 63 6b 20 74  e2-1.X - check t
0a00: 68 61 74 3a 0a 23 0a 23 20 31 2d 33 3a 20 20 20  hat:.#.# 1-3:   
0a10: 42 75 69 6c 64 20 61 20 64 61 74 61 62 61 73 65  Build a database
0a20: 20 77 69 74 68 20 63 6f 6e 6e 65 63 74 69 6f 6e   with connection
0a30: 20 31 2c 20 63 61 6c 63 75 6c 61 74 65 20 61 20   1, calculate a 
0a40: 73 69 67 6e 61 74 75 72 65 2e 0a 23 20 34 2d 37  signature..# 4-7
0a50: 3a 20 20 20 4d 6f 64 69 66 79 20 74 68 65 20 64  :   Modify the d
0a60: 61 74 61 62 61 73 65 20 75 73 69 6e 67 20 61 20  atabase using a 
0a70: 73 65 63 6f 6e 64 20 63 6f 6e 6e 65 63 74 69 6f  second connectio
0a80: 6e 20 69 6e 20 61 20 77 61 79 20 74 68 61 74 0a  n in a way that.
0a90: 23 20 20 20 20 20 20 20 20 64 6f 65 73 20 6e 6f  #        does no
0aa0: 74 20 6d 6f 64 69 66 79 20 74 68 65 20 66 72 65  t modify the fre
0ab0: 65 6c 69 73 74 2c 20 74 68 65 6e 20 72 65 73 65  elist, then rese
0ac0: 74 20 74 68 65 20 70 61 67 65 72 20 63 68 61 6e  t the pager chan
0ad0: 67 65 2d 63 6f 75 6e 74 65 72 0a 23 20 20 20 20  ge-counter.#    
0ae0: 20 20 20 20 74 6f 20 74 68 65 20 76 61 6c 75 65      to the value
0af0: 20 69 74 20 68 61 64 20 62 65 66 6f 72 65 20 74   it had before t
0b00: 68 65 20 6d 6f 64 69 66 69 63 61 74 69 6f 6e 73  he modifications
0b10: 2e 0a 23 20 38 3a 20 20 20 20 20 43 68 65 63 6b  ..# 8:     Check
0b20: 20 74 68 61 74 20 75 73 69 6e 67 20 74 68 65 20   that using the 
0b30: 66 69 72 73 74 20 63 6f 6e 6e 65 63 74 69 6f 6e  first connection
0b40: 2c 20 74 68 65 20 64 61 74 61 62 61 73 65 20 73  , the database s
0b50: 69 67 6e 61 74 75 72 65 0a 23 20 20 20 20 20 20  ignature.#      
0b60: 20 20 69 73 20 73 74 69 6c 6c 20 74 68 65 20 73    is still the s
0b70: 61 6d 65 2e 20 54 68 69 73 20 69 73 20 62 65 63  ame. This is bec
0b80: 61 75 73 65 20 69 74 20 75 73 65 73 20 74 68 65  ause it uses the
0b90: 20 69 6e 2d 6d 65 6d 6f 72 79 20 63 61 63 68 65   in-memory cache
0ba0: 2e 0a 23 20 20 20 20 20 20 20 20 49 74 20 63 61  ..#        It ca
0bb0: 6e 27 74 20 74 65 6c 6c 20 74 68 65 20 64 62 20  n't tell the db 
0bc0: 68 61 73 20 63 68 61 6e 67 65 64 20 62 65 63 61  has changed beca
0bd0: 75 73 65 20 77 65 20 72 65 73 65 74 20 74 68 65  use we reset the
0be0: 20 63 68 61 6e 67 65 2d 63 6f 75 6e 74 65 72 2e   change-counter.
0bf0: 0a 23 20 39 3a 20 20 20 20 20 49 6e 63 72 65 6d  .# 9:     Increm
0c00: 65 6e 74 20 74 68 65 20 63 68 61 6e 67 65 2d 63  ent the change-c
0c10: 6f 75 6e 74 65 72 2e 0a 23 20 31 30 3a 20 20 20  ounter..# 10:   
0c20: 20 45 6e 73 75 72 65 20 74 68 61 74 20 74 68 65   Ensure that the
0c30: 20 66 69 72 73 74 20 63 6f 6e 6e 65 63 74 69 6f   first connectio
0c40: 6e 20 6e 6f 77 20 73 65 65 73 20 74 68 65 20 75  n now sees the u
0c50: 70 64 61 74 65 64 20 64 61 74 61 62 61 73 65 2e  pdated database.
0c60: 20 49 74 0a 23 20 20 20 20 20 20 20 20 73 65 65   It.#        see
0c70: 73 20 74 68 65 20 63 68 61 6e 67 65 2d 63 6f 75  s the change-cou
0c80: 6e 74 65 72 20 68 61 73 20 62 65 65 6e 20 69 6e  nter has been in
0c90: 63 72 65 6d 65 6e 74 65 64 20 61 6e 64 20 64 69  cremented and di
0ca0: 73 63 61 72 64 73 20 74 68 65 20 0a 23 20 20 20  scards the .#   
0cb0: 20 20 20 20 20 69 6e 76 61 6c 69 64 20 69 6e 2d       invalid in-
0cc0: 6d 65 6d 6f 72 79 20 63 61 63 68 65 2e 0a 23 0a  memory cache..#.
0cd0: 23 20 54 68 69 73 20 77 69 6c 6c 20 6f 6e 6c 79  # This will only
0ce0: 20 77 6f 72 6b 20 69 66 20 74 68 65 20 64 61 74   work if the dat
0cf0: 61 62 61 73 65 20 63 61 63 68 65 20 69 73 20 6c  abase cache is l
0d00: 61 72 67 65 20 65 6e 6f 75 67 68 20 74 6f 20 68  arge enough to h
0d10: 6f 6c 64 20 0a 23 20 74 68 65 20 65 6e 74 69 72  old .# the entir
0d20: 65 20 64 61 74 61 62 61 73 65 2e 20 49 6e 20 74  e database. In t
0d30: 68 65 20 63 61 73 65 20 6f 66 20 31 30 32 34 20  he case of 1024 
0d40: 62 79 74 65 20 70 61 67 65 73 2c 20 74 68 69 73  byte pages, this
0d50: 20 6d 65 61 6e 73 0a 23 20 74 68 65 20 63 61 63   means.# the cac
0d60: 68 65 20 73 69 7a 65 20 6d 75 73 74 20 62 65 20  he size must be 
0d70: 61 74 20 6c 65 61 73 74 20 31 37 2e 20 4f 74 68  at least 17. Oth
0d80: 65 72 77 69 73 65 2c 20 73 6f 6d 65 20 70 61 67  erwise, some pag
0d90: 65 73 20 77 69 6c 6c 20 62 65 0a 23 20 6c 6f 61  es will be.# loa
0da0: 64 65 64 20 66 72 6f 6d 20 74 68 65 20 64 61 74  ded from the dat
0db0: 61 62 61 73 65 20 66 69 6c 65 20 69 6e 20 73 74  abase file in st
0dc0: 65 70 20 38 2e 0a 23 0a 23 20 46 6f 72 20 73 69  ep 8..#.# For si
0dd0: 6d 69 6c 61 72 20 72 65 61 73 6f 6e 73 2c 20 74  milar reasons, t
0de0: 68 69 73 20 74 65 73 74 20 64 6f 65 73 20 6e 6f  his test does no
0df0: 74 20 77 6f 72 6b 20 77 69 74 68 20 74 68 65 20  t work with the 
0e00: 6d 65 6d 73 75 62 73 79 73 31 20 70 65 72 6d 75  memsubsys1 permu
0e10: 74 61 74 69 6f 6e 2e 0a 23 20 50 65 72 6d 75 74  tation..# Permut
0e20: 61 74 69 6f 6e 20 6d 65 6d 73 75 62 73 79 73 31  ation memsubsys1
0e30: 20 63 6f 6e 66 69 67 75 72 65 73 20 74 68 65 20   configures the 
0e40: 70 63 61 63 68 65 20 73 75 62 73 79 73 74 65 6d  pcache subsystem
0e50: 20 74 6f 20 75 73 65 20 61 20 73 74 61 74 69 63   to use a static
0e60: 0a 23 20 61 6c 6c 6f 63 61 74 69 6f 6e 20 6f 66  .# allocation of
0e70: 20 32 34 20 70 61 67 65 73 20 28 73 68 61 72 65   24 pages (share
0e80: 64 20 62 65 74 77 65 65 6e 20 61 6c 6c 20 70 61  d between all pa
0e90: 67 65 72 73 29 2e 20 54 68 69 73 20 69 73 20 6e  gers). This is n
0ea0: 6f 74 20 65 6e 6f 75 67 68 20 66 6f 72 0a 23 20  ot enough for.# 
0eb0: 74 68 69 73 20 74 65 73 74 2e 0a 23 0a 64 6f 5f  this test..#.do_
0ec0: 74 65 73 74 20 65 78 63 6c 75 73 69 76 65 32 2d  test exclusive2-
0ed0: 31 2e 31 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  1.1 {.  execsql 
0ee0: 7b 0a 20 20 20 20 42 45 47 49 4e 3b 0a 20 20 20  {.    BEGIN;.   
0ef0: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 31   CREATE TABLE t1
0f00: 28 61 2c 20 62 29 3b 0a 20 20 20 20 49 4e 53 45  (a, b);.    INSE
0f10: 52 54 20 49 4e 54 4f 20 74 31 28 61 29 20 56 41  RT INTO t1(a) VA
0f20: 4c 55 45 53 28 72 61 6e 64 73 74 72 28 31 30 2c  LUES(randstr(10,
0f30: 20 34 30 30 29 29 3b 0a 20 20 20 20 49 4e 53 45   400));.    INSE
0f40: 52 54 20 49 4e 54 4f 20 74 31 28 61 29 20 56 41  RT INTO t1(a) VA
0f50: 4c 55 45 53 28 72 61 6e 64 73 74 72 28 31 30 2c  LUES(randstr(10,
0f60: 20 34 30 30 29 29 3b 0a 20 20 20 20 49 4e 53 45   400));.    INSE
0f70: 52 54 20 49 4e 54 4f 20 74 31 28 61 29 20 53 45  RT INTO t1(a) SE
0f80: 4c 45 43 54 20 72 61 6e 64 73 74 72 28 31 30 2c  LECT randstr(10,
0f90: 20 34 30 30 29 20 46 52 4f 4d 20 74 31 3b 0a 20   400) FROM t1;. 
0fa0: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
0fb0: 31 28 61 29 20 53 45 4c 45 43 54 20 72 61 6e 64  1(a) SELECT rand
0fc0: 73 74 72 28 31 30 2c 20 34 30 30 29 20 46 52 4f  str(10, 400) FRO
0fd0: 4d 20 74 31 3b 0a 20 20 20 20 49 4e 53 45 52 54  M t1;.    INSERT
0fe0: 20 49 4e 54 4f 20 74 31 28 61 29 20 53 45 4c 45   INTO t1(a) SELE
0ff0: 43 54 20 72 61 6e 64 73 74 72 28 31 30 2c 20 34  CT randstr(10, 4
1000: 30 30 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20  00) FROM t1;.   
1010: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 28   INSERT INTO t1(
1020: 61 29 20 53 45 4c 45 43 54 20 72 61 6e 64 73 74  a) SELECT randst
1030: 72 28 31 30 2c 20 34 30 30 29 20 46 52 4f 4d 20  r(10, 400) FROM 
1040: 74 31 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49  t1;.    INSERT I
1050: 4e 54 4f 20 74 31 28 61 29 20 53 45 4c 45 43 54  NTO t1(a) SELECT
1060: 20 72 61 6e 64 73 74 72 28 31 30 2c 20 34 30 30   randstr(10, 400
1070: 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 43  ) FROM t1;.    C
1080: 4f 4d 4d 49 54 3b 0a 20 20 20 20 53 45 4c 45 43  OMMIT;.    SELEC
1090: 54 20 63 6f 75 6e 74 28 2a 29 20 46 52 4f 4d 20  T count(*) FROM 
10a0: 74 31 3b 0a 20 20 7d 0a 7d 20 7b 36 34 7d 0a 64  t1;.  }.} {64}.d
10b0: 6f 5f 74 65 73 74 20 65 78 63 6c 75 73 69 76 65  o_test exclusive
10c0: 32 2d 31 2e 32 2e 31 20 7b 0a 20 20 23 20 4d 61  2-1.2.1 {.  # Ma
10d0: 6b 65 20 73 75 72 65 20 74 68 65 20 70 61 67 65  ke sure the page
10e0: 72 20 63 61 63 68 65 20 69 73 20 6c 61 72 67 65  r cache is large
10f0: 20 65 6e 6f 75 67 68 20 74 6f 20 73 74 6f 72 65   enough to store
1100: 20 74 68 65 20 0a 20 20 23 20 65 6e 74 69 72 65   the .  # entire
1110: 20 64 61 74 61 62 61 73 65 2e 0a 20 20 73 65 74   database..  set
1120: 20 6e 50 61 67 65 20 5b 65 78 70 72 20 5b 66 69   nPage [expr [fi
1130: 6c 65 20 73 69 7a 65 20 74 65 73 74 2e 64 62 5d  le size test.db]
1140: 2f 31 30 32 34 5d 0a 20 20 69 66 20 7b 24 3a 3a  /1024].  if {$::
1150: 53 51 4c 49 54 45 5f 44 45 46 41 55 4c 54 5f 43  SQLITE_DEFAULT_C
1160: 41 43 48 45 5f 53 49 5a 45 20 3c 20 24 6e 50 61  ACHE_SIZE < $nPa
1170: 67 65 7d 20 7b 0a 20 20 20 20 65 78 65 63 73 71  ge} {.    execsq
1180: 6c 20 22 50 52 41 47 4d 41 20 63 61 63 68 65 5f  l "PRAGMA cache_
1190: 73 69 7a 65 20 3d 20 24 6e 50 61 67 65 22 0a 20  size = $nPage". 
11a0: 20 7d 0a 20 20 65 78 70 72 20 7b 5b 65 78 65 63   }.  expr {[exec
11b0: 73 71 6c 20 7b 50 52 41 47 4d 41 20 63 61 63 68  sql {PRAGMA cach
11c0: 65 5f 73 69 7a 65 7d 5d 20 3e 3d 20 24 6e 50 61  e_size}] >= $nPa
11d0: 67 65 7d 0a 7d 20 7b 31 7d 0a 64 6f 5f 74 65 73  ge}.} {1}.do_tes
11e0: 74 20 65 78 63 6c 75 73 69 76 65 32 2d 31 2e 32  t exclusive2-1.2
11f0: 20 7b 0a 20 20 73 65 74 20 3a 3a 73 69 67 20 5b   {.  set ::sig [
1200: 74 31 73 69 67 5d 0a 20 20 72 65 61 64 50 61 67  t1sig].  readPag
1210: 65 72 43 68 61 6e 67 65 43 6f 75 6e 74 65 72 20  erChangeCounter 
1220: 74 65 73 74 2e 64 62 0a 7d 20 7b 31 7d 0a 64 6f  test.db.} {1}.do
1230: 5f 74 65 73 74 20 65 78 63 6c 75 73 69 76 65 32  _test exclusive2
1240: 2d 31 2e 33 20 7b 0a 20 20 74 31 73 69 67 0a 7d  -1.3 {.  t1sig.}
1250: 20 24 3a 3a 73 69 67 0a 64 6f 5f 74 65 73 74 20   $::sig.do_test 
1260: 65 78 63 6c 75 73 69 76 65 32 2d 31 2e 34 20 7b  exclusive2-1.4 {
1270: 0a 20 20 73 71 6c 69 74 65 33 20 64 62 32 20 74  .  sqlite3 db2 t
1280: 65 73 74 2e 64 62 0a 20 20 74 31 73 69 67 20 64  est.db.  t1sig d
1290: 62 32 0a 7d 20 24 3a 3a 73 69 67 0a 64 6f 5f 74  b2.} $::sig.do_t
12a0: 65 73 74 20 65 78 63 6c 75 73 69 76 65 32 2d 31  est exclusive2-1
12b0: 2e 35 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b  .5 {.  execsql {
12c0: 0a 20 20 20 20 55 50 44 41 54 45 20 74 31 20 53  .    UPDATE t1 S
12d0: 45 54 20 62 3d 61 2c 20 61 3d 4e 55 4c 4c 3b 0a  ET b=a, a=NULL;.
12e0: 20 20 7d 20 64 62 32 0a 20 20 65 78 70 72 20 7b    } db2.  expr {
12f0: 5b 74 31 73 69 67 20 64 62 32 5d 20 65 71 20 24  [t1sig db2] eq $
1300: 3a 3a 73 69 67 7d 0a 7d 20 30 0a 64 6f 5f 74 65  ::sig}.} 0.do_te
1310: 73 74 20 65 78 63 6c 75 73 69 76 65 32 2d 31 2e  st exclusive2-1.
1320: 36 20 7b 0a 20 20 72 65 61 64 50 61 67 65 72 43  6 {.  readPagerC
1330: 68 61 6e 67 65 43 6f 75 6e 74 65 72 20 74 65 73  hangeCounter tes
1340: 74 2e 64 62 0a 7d 20 7b 32 7d 0a 64 6f 5f 74 65  t.db.} {2}.do_te
1350: 73 74 20 65 78 63 6c 75 73 69 76 65 32 2d 31 2e  st exclusive2-1.
1360: 37 20 7b 0a 20 20 70 61 67 65 72 43 68 61 6e 67  7 {.  pagerChang
1370: 65 43 6f 75 6e 74 65 72 20 74 65 73 74 2e 64 62  eCounter test.db
1380: 20 31 0a 7d 20 7b 31 7d 0a 69 66 20 7b 5b 70 65   1.} {1}.if {[pe
1390: 72 6d 75 74 61 74 69 6f 6e 5d 20 21 3d 20 22 6d  rmutation] != "m
13a0: 65 6d 73 75 62 73 79 73 31 22 7d 20 7b 0a 20 20  emsubsys1"} {.  
13b0: 64 6f 5f 74 65 73 74 20 65 78 63 6c 75 73 69 76  do_test exclusiv
13c0: 65 32 2d 31 2e 39 20 7b 0a 20 20 20 20 74 31 73  e2-1.9 {.    t1s
13d0: 69 67 0a 20 20 20 20 65 78 70 72 20 7b 5b 74 31  ig.    expr {[t1
13e0: 73 69 67 5d 20 65 71 20 24 3a 3a 73 69 67 7d 0a  sig] eq $::sig}.
13f0: 20 20 7d 20 7b 31 7d 0a 7d 0a 64 6f 5f 74 65 73    } {1}.}.do_tes
1400: 74 20 65 78 63 6c 75 73 69 76 65 32 2d 31 2e 31  t exclusive2-1.1
1410: 30 20 7b 0a 20 20 70 61 67 65 72 43 68 61 6e 67  0 {.  pagerChang
1420: 65 43 6f 75 6e 74 65 72 20 74 65 73 74 2e 64 62  eCounter test.db
1430: 20 32 0a 7d 20 7b 32 7d 0a 64 6f 5f 74 65 73 74   2.} {2}.do_test
1440: 20 65 78 63 6c 75 73 69 76 65 32 2d 31 2e 31 31   exclusive2-1.11
1450: 20 7b 0a 20 20 65 78 70 72 20 7b 5b 74 31 73 69   {.  expr {[t1si
1460: 67 5d 20 65 71 20 24 3a 3a 73 69 67 7d 0a 7d 20  g] eq $::sig}.} 
1470: 7b 30 7d 0a 64 62 32 20 63 6c 6f 73 65 0a 0a 23  {0}.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 2d 2d 0a 23 20 54 68 65 73 65 20 74 65 73  ----.# These tes
14d0: 74 73 20 2d 20 65 78 63 6c 75 73 69 76 65 32 2d  ts - exclusive2-
14e0: 32 2e 58 20 2d 20 61 72 65 20 73 69 6d 69 6c 61  2.X - are simila
14f0: 72 20 74 6f 20 65 78 63 6c 75 73 69 76 65 32 2d  r to exclusive2-
1500: 31 2e 58 2c 20 0a 23 20 65 78 63 65 70 74 20 74  1.X, .# except t
1510: 68 61 74 20 74 68 65 79 20 61 72 65 20 72 75 6e  hat they are run
1520: 20 77 69 74 68 20 6c 6f 63 6b 69 6e 67 5f 6d 6f   with locking_mo
1530: 64 65 3d 45 58 43 4c 55 53 49 56 45 2e 0a 23 0a  de=EXCLUSIVE..#.
1540: 23 20 31 2d 33 3a 20 20 20 42 75 69 6c 64 20 61  # 1-3:   Build a
1550: 20 64 61 74 61 62 61 73 65 20 77 69 74 68 20 65   database with e
1560: 78 63 6c 75 73 69 76 65 2d 61 63 63 65 73 73 20  xclusive-access 
1570: 63 6f 6e 6e 65 63 74 69 6f 6e 20 31 2c 20 0a 23  connection 1, .#
1580: 20 20 20 20 20 20 20 20 63 61 6c 63 75 6c 61 74          calculat
1590: 65 20 61 20 73 69 67 6e 61 74 75 72 65 2e 0a 23  e a signature..#
15a0: 20 34 3a 20 20 20 20 20 43 6f 72 72 75 70 74 20   4:     Corrupt 
15b0: 74 68 65 20 64 61 74 61 62 61 73 65 20 62 79 20  the database by 
15c0: 77 72 69 74 69 6e 67 20 31 30 30 30 30 20 62 79  writing 10000 by
15d0: 74 65 73 20 6f 66 20 67 61 72 62 61 67 65 0a 23  tes of garbage.#
15e0: 20 20 20 20 20 20 20 20 73 74 61 72 74 69 6e 67          starting
15f0: 20 61 74 20 74 68 65 20 62 65 67 69 6e 6e 69 6e   at the beginnin
1600: 67 20 6f 66 20 70 61 67 65 20 32 2e 20 43 68 65  g of page 2. Che
1610: 63 6b 20 74 68 61 74 20 63 6f 6e 6e 65 63 74 69  ck that connecti
1620: 6f 6e 20 31 0a 23 20 20 20 20 20 20 20 20 73 74  on 1.#        st
1630: 69 6c 6c 20 77 6f 72 6b 73 2e 20 49 74 20 73 68  ill works. It sh
1640: 6f 75 6c 64 20 62 65 20 61 63 63 65 73 73 69 6e  ould be accessin
1650: 67 20 74 68 65 20 69 6e 2d 6d 65 6d 6f 72 79 20  g the in-memory 
1660: 63 61 63 68 65 2e 0a 23 20 35 2d 36 3a 20 20 20  cache..# 5-6:   
1670: 4d 6f 64 69 66 79 20 74 68 65 20 64 61 74 61 61  Modify the dataa
1680: 73 65 20 63 68 61 6e 67 65 2d 63 6f 75 6e 74 65  se change-counte
1690: 72 2e 20 43 6f 6e 6e 65 63 74 69 6f 6e 20 31 20  r. Connection 1 
16a0: 73 74 69 6c 6c 20 77 6f 72 6b 73 0a 23 20 20 20  still works.#   
16b0: 20 20 20 20 20 65 6e 74 69 72 65 6c 79 20 66 72       entirely fr
16c0: 6f 6d 20 69 6e 2d 6d 65 6d 6f 72 79 20 63 61 63  om in-memory cac
16d0: 68 65 2c 20 62 65 63 61 75 73 65 20 69 74 20 64  he, because it d
16e0: 6f 65 73 6e 27 74 20 63 68 65 63 6b 20 74 68 65  oesn't check the
16f0: 0a 23 20 20 20 20 20 20 20 20 63 68 61 6e 67 65  .#        change
1700: 2d 63 6f 75 6e 74 65 72 2e 0a 23 20 37 2d 38 20  -counter..# 7-8 
1710: 20 20 20 53 65 74 20 74 68 65 20 6c 6f 63 6b 69     Set the locki
1720: 6e 67 2d 6d 6f 64 65 20 62 61 63 6b 20 74 6f 20  ng-mode back to 
1730: 6e 6f 72 6d 61 6c 2e 20 41 66 74 65 72 20 74 68  normal. After th
1740: 65 20 64 62 20 69 73 20 75 6e 6c 6f 63 6b 65 64  e db is unlocked
1750: 2c 0a 23 20 20 20 20 20 20 20 20 53 51 4c 69 74  ,.#        SQLit
1760: 65 20 64 65 74 65 63 74 73 20 74 68 65 20 6d 6f  e detects the mo
1770: 64 69 66 69 65 64 20 63 68 61 6e 67 65 2d 63 6f  dified change-co
1780: 75 6e 74 65 72 20 61 6e 64 20 64 69 73 63 61 72  unter and discar
1790: 64 73 20 74 68 65 0a 23 20 20 20 20 20 20 20 20  ds the.#        
17a0: 69 6e 2d 6d 65 6d 6f 72 79 20 63 61 63 68 65 2e  in-memory cache.
17b0: 20 54 68 65 6e 20 69 74 20 66 69 6e 64 73 20 74   Then it finds t
17c0: 68 65 20 63 6f 72 72 75 70 74 69 6f 6e 20 63 61  he corruption ca
17d0: 75 73 65 64 20 69 6e 20 73 74 65 70 20 34 2e 2e  used in step 4..
17e0: 2e 2e 0a 23 0a 23 20 41 73 20 61 62 6f 76 65 2c  ...#.# As above,
17f0: 20 74 68 69 73 20 74 65 73 74 20 69 73 20 6f 6e   this test is on
1800: 6c 79 20 61 70 70 6c 69 63 61 62 6c 65 20 69 66  ly applicable if
1810: 20 74 68 65 20 70 61 67 65 72 20 63 61 63 68 65   the pager cache
1820: 20 69 73 0a 23 20 6c 61 72 67 65 20 65 6e 6f 75   is.# large enou
1830: 67 68 20 74 6f 20 68 6f 6c 64 20 74 68 65 20 65  gh to hold the e
1840: 6e 74 69 72 65 20 64 61 74 61 62 61 73 65 2e 20  ntire database. 
1850: 57 69 74 68 20 31 30 32 34 20 62 79 74 65 20 70  With 1024 byte p
1860: 61 67 65 73 2c 0a 23 20 74 68 69 73 20 6d 65 61  ages,.# this mea
1870: 6e 73 20 31 39 20 70 61 67 65 73 2e 20 20 57 65  ns 19 pages.  We
1880: 20 61 6c 73 6f 20 6e 65 65 64 20 74 6f 20 64 69   also need to di
1890: 73 61 62 6c 65 20 74 68 65 20 73 6f 66 74 2d 68  sable the soft-h
18a0: 65 61 70 2d 6c 69 6d 69 74 0a 23 20 74 6f 20 70  eap-limit.# to p
18b0: 72 65 76 65 6e 74 20 6d 65 6d 6f 72 79 2d 69 6e  revent memory-in
18c0: 64 75 63 65 64 20 63 61 63 68 65 20 73 70 69 6c  duced cache spil
18d0: 6c 73 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 65 78  ls..#.do_test ex
18e0: 63 6c 75 73 69 76 65 32 2d 32 2e 31 20 7b 0a 20  clusive2-2.1 {. 
18f0: 20 65 78 65 63 73 71 6c 20 7b 50 52 41 47 4d 41   execsql {PRAGMA
1900: 20 63 61 63 68 65 5f 73 69 7a 65 3d 31 30 30 30   cache_size=1000
1910: 3b 7d 0a 20 20 65 78 65 63 73 71 6c 20 7b 50 52  ;}.  execsql {PR
1920: 41 47 4d 41 20 6c 6f 63 6b 69 6e 67 5f 6d 6f 64  AGMA locking_mod
1930: 65 20 3d 20 65 78 63 6c 75 73 69 76 65 3b 7d 0a  e = exclusive;}.
1940: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
1950: 42 45 47 49 4e 3b 0a 20 20 20 20 44 45 4c 45 54  BEGIN;.    DELET
1960: 45 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 49  E FROM t1;.    I
1970: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 28 61 29  NSERT INTO t1(a)
1980: 20 56 41 4c 55 45 53 28 72 61 6e 64 73 74 72 28   VALUES(randstr(
1990: 31 30 2c 20 34 30 30 29 29 3b 0a 20 20 20 20 49  10, 400));.    I
19a0: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 28 61 29  NSERT INTO t1(a)
19b0: 20 56 41 4c 55 45 53 28 72 61 6e 64 73 74 72 28   VALUES(randstr(
19c0: 31 30 2c 20 34 30 30 29 29 3b 0a 20 20 20 20 49  10, 400));.    I
19d0: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 28 61 29  NSERT INTO t1(a)
19e0: 20 53 45 4c 45 43 54 20 72 61 6e 64 73 74 72 28   SELECT randstr(
19f0: 31 30 2c 20 34 30 30 29 20 46 52 4f 4d 20 74 31  10, 400) FROM t1
1a00: 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  ;.    INSERT INT
1a10: 4f 20 74 31 28 61 29 20 53 45 4c 45 43 54 20 72  O t1(a) SELECT r
1a20: 61 6e 64 73 74 72 28 31 30 2c 20 34 30 30 29 20  andstr(10, 400) 
1a30: 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 49 4e 53  FROM t1;.    INS
1a40: 45 52 54 20 49 4e 54 4f 20 74 31 28 61 29 20 53  ERT INTO t1(a) S
1a50: 45 4c 45 43 54 20 72 61 6e 64 73 74 72 28 31 30  ELECT randstr(10
1a60: 2c 20 34 30 30 29 20 46 52 4f 4d 20 74 31 3b 0a  , 400) FROM t1;.
1a70: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
1a80: 74 31 28 61 29 20 53 45 4c 45 43 54 20 72 61 6e  t1(a) SELECT ran
1a90: 64 73 74 72 28 31 30 2c 20 34 30 30 29 20 46 52  dstr(10, 400) FR
1aa0: 4f 4d 20 74 31 3b 0a 20 20 20 20 49 4e 53 45 52  OM t1;.    INSER
1ab0: 54 20 49 4e 54 4f 20 74 31 28 61 29 20 53 45 4c  T INTO t1(a) SEL
1ac0: 45 43 54 20 72 61 6e 64 73 74 72 28 31 30 2c 20  ECT randstr(10, 
1ad0: 34 30 30 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20  400) FROM t1;.  
1ae0: 20 20 43 4f 4d 4d 49 54 3b 0a 20 20 20 20 53 45    COMMIT;.    SE
1af0: 4c 45 43 54 20 63 6f 75 6e 74 28 2a 29 20 46 52  LECT count(*) FR
1b00: 4f 4d 20 74 31 3b 0a 20 20 7d 0a 7d 20 7b 36 34  OM t1;.  }.} {64
1b10: 7d 0a 64 6f 5f 74 65 73 74 20 65 78 63 6c 75 73  }.do_test exclus
1b20: 69 76 65 32 2d 32 2e 32 2e 31 20 7b 0a 20 20 23  ive2-2.2.1 {.  #
1b30: 20 4d 61 6b 65 20 73 75 72 65 20 74 68 65 20 70   Make sure the p
1b40: 61 67 65 72 20 63 61 63 68 65 20 69 73 20 6c 61  ager cache is la
1b50: 72 67 65 20 65 6e 6f 75 67 68 20 74 6f 20 73 74  rge enough to st
1b60: 6f 72 65 20 74 68 65 20 0a 20 20 23 20 65 6e 74  ore the .  # ent
1b70: 69 72 65 20 64 61 74 61 62 61 73 65 2e 0a 20 20  ire database..  
1b80: 73 65 74 20 6e 50 61 67 65 20 5b 65 78 70 72 20  set nPage [expr 
1b90: 5b 66 69 6c 65 20 73 69 7a 65 20 74 65 73 74 2e  [file size test.
1ba0: 64 62 5d 2f 31 30 32 34 5d 0a 20 20 69 66 20 7b  db]/1024].  if {
1bb0: 24 3a 3a 53 51 4c 49 54 45 5f 44 45 46 41 55 4c  $::SQLITE_DEFAUL
1bc0: 54 5f 43 41 43 48 45 5f 53 49 5a 45 20 3c 20 24  T_CACHE_SIZE < $
1bd0: 6e 50 61 67 65 7d 20 7b 0a 20 20 20 20 65 78 65  nPage} {.    exe
1be0: 63 73 71 6c 20 22 50 52 41 47 4d 41 20 63 61 63  csql "PRAGMA cac
1bf0: 68 65 5f 73 69 7a 65 20 3d 20 24 6e 50 61 67 65  he_size = $nPage
1c00: 22 0a 20 20 7d 0a 20 20 65 78 70 72 20 7b 5b 65  ".  }.  expr {[e
1c10: 78 65 63 73 71 6c 20 7b 50 52 41 47 4d 41 20 63  xecsql {PRAGMA c
1c20: 61 63 68 65 5f 73 69 7a 65 7d 5d 20 3e 3d 20 24  ache_size}] >= $
1c30: 6e 50 61 67 65 7d 0a 7d 20 7b 31 7d 0a 64 6f 5f  nPage}.} {1}.do_
1c40: 74 65 73 74 20 65 78 63 6c 75 73 69 76 65 32 2d  test exclusive2-
1c50: 32 2e 32 20 7b 0a 20 20 73 65 74 20 3a 3a 73 69  2.2 {.  set ::si
1c60: 67 20 5b 74 31 73 69 67 5d 0a 20 20 72 65 61 64  g [t1sig].  read
1c70: 50 61 67 65 72 43 68 61 6e 67 65 43 6f 75 6e 74  PagerChangeCount
1c80: 65 72 20 74 65 73 74 2e 64 62 0a 7d 20 7b 33 7d  er test.db.} {3}
1c90: 0a 64 6f 5f 74 65 73 74 20 65 78 63 6c 75 73 69  .do_test exclusi
1ca0: 76 65 32 2d 32 2e 33 20 7b 0a 20 20 74 31 73 69  ve2-2.3 {.  t1si
1cb0: 67 0a 7d 20 24 3a 3a 73 69 67 0a 0a 64 6f 5f 74  g.} $::sig..do_t
1cc0: 65 73 74 20 65 78 63 6c 75 73 69 76 65 32 2d 32  est exclusive2-2
1cd0: 2e 34 20 7b 0a 20 20 73 65 74 20 3a 3a 66 64 20  .4 {.  set ::fd 
1ce0: 5b 6f 70 65 6e 20 74 65 73 74 2e 64 62 20 52 44  [open test.db RD
1cf0: 57 52 5d 0a 20 20 66 63 6f 6e 66 69 67 75 72 65  WR].  fconfigure
1d00: 20 24 3a 3a 66 64 20 2d 74 72 61 6e 73 6c 61 74   $::fd -translat
1d10: 69 6f 6e 20 62 69 6e 61 72 79 0a 20 20 73 65 65  ion binary.  see
1d20: 6b 20 24 3a 3a 66 64 20 31 30 32 34 0a 20 20 70  k $::fd 1024.  p
1d30: 75 74 73 20 2d 6e 6f 6e 65 77 6c 69 6e 65 20 24  uts -nonewline $
1d40: 3a 3a 66 64 20 5b 73 74 72 69 6e 67 20 72 65 70  ::fd [string rep
1d50: 65 61 74 20 5b 62 69 6e 61 72 79 20 66 6f 72 6d  eat [binary form
1d60: 61 74 20 63 20 30 5d 20 31 30 30 30 30 5d 0a 20  at c 0] 10000]. 
1d70: 20 66 6c 75 73 68 20 24 3a 3a 66 64 0a 20 20 74   flush $::fd.  t
1d80: 31 73 69 67 0a 7d 20 24 3a 3a 73 69 67 0a 0a 64  1sig.} $::sig..d
1d90: 6f 5f 74 65 73 74 20 65 78 63 6c 75 73 69 76 65  o_test exclusive
1da0: 32 2d 32 2e 35 20 7b 0a 20 20 70 61 67 65 72 43  2-2.5 {.  pagerC
1db0: 68 61 6e 67 65 43 6f 75 6e 74 65 72 20 74 65 73  hangeCounter tes
1dc0: 74 2e 64 62 20 35 20 24 3a 3a 66 64 0a 7d 20 7b  t.db 5 $::fd.} {
1dd0: 35 7d 0a 64 6f 5f 74 65 73 74 20 65 78 63 6c 75  5}.do_test exclu
1de0: 73 69 76 65 32 2d 32 2e 36 20 7b 0a 20 20 74 31  sive2-2.6 {.  t1
1df0: 73 69 67 0a 7d 20 24 3a 3a 73 69 67 0a 64 6f 5f  sig.} $::sig.do_
1e00: 74 65 73 74 20 65 78 63 6c 75 73 69 76 65 32 2d  test exclusive2-
1e10: 32 2e 37 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  2.7 {.  execsql 
1e20: 7b 50 52 41 47 4d 41 20 6c 6f 63 6b 69 6e 67 5f  {PRAGMA locking_
1e30: 6d 6f 64 65 20 3d 20 6e 6f 72 6d 61 6c 7d 0a 20  mode = normal}. 
1e40: 20 74 31 73 69 67 0a 7d 20 24 3a 3a 73 69 67 0a   t1sig.} $::sig.
1e50: 0a 64 6f 5f 74 65 73 74 20 65 78 63 6c 75 73 69  .do_test exclusi
1e60: 76 65 32 2d 32 2e 38 20 7b 0a 20 20 73 65 74 20  ve2-2.8 {.  set 
1e70: 72 63 20 5b 63 61 74 63 68 20 7b 74 31 73 69 67  rc [catch {t1sig
1e80: 7d 20 6d 73 67 5d 0a 20 20 6c 69 73 74 20 24 72  } msg].  list $r
1e90: 63 20 24 6d 73 67 0a 7d 20 7b 31 20 7b 64 61 74  c $msg.} {1 {dat
1ea0: 61 62 61 73 65 20 64 69 73 6b 20 69 6d 61 67 65  abase disk image
1eb0: 20 69 73 20 6d 61 6c 66 6f 72 6d 65 64 7d 7d 0a   is malformed}}.
1ec0: 0a 23 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 2d 2d 0a 23 20 54 68 65 73 65 20 74  ------.# These t
1f10: 65 73 74 73 20 2d 20 65 78 63 6c 75 73 69 76 65  ests - exclusive
1f20: 32 2d 33 2e 58 20 2d 20 76 65 72 69 66 79 20 74  2-3.X - verify t
1f30: 68 61 74 20 74 68 65 20 70 61 67 65 72 20 63 68  hat the pager ch
1f40: 61 6e 67 65 2d 63 6f 75 6e 74 65 72 0a 23 20 69  ange-counter.# i
1f50: 73 20 6f 6e 6c 79 20 69 6e 63 72 65 6d 65 6e 74  s only increment
1f60: 65 64 20 62 79 20 74 68 65 20 66 69 72 73 74 20  ed by the first 
1f70: 63 68 61 6e 67 65 20 77 68 65 6e 20 69 6e 20 65  change when in e
1f80: 78 63 6c 75 73 69 76 65 20 61 63 63 65 73 73 0a  xclusive access.
1f90: 23 20 6d 6f 64 65 2e 20 49 6e 20 6e 6f 72 6d 61  # mode. In norma
1fa0: 6c 20 6d 6f 64 65 2c 20 74 68 65 20 63 68 61 6e  l mode, the chan
1fb0: 67 65 2d 63 6f 75 6e 74 65 72 20 69 73 20 69 6e  ge-counter is in
1fc0: 63 72 65 6d 65 6e 74 65 64 20 6f 6e 63 65 0a 23  cremented once.#
1fd0: 20 70 65 72 20 77 72 69 74 65 2d 74 72 61 6e 73   per write-trans
1fe0: 61 63 74 69 6f 6e 2e 0a 23 0a 0a 64 62 20 63 6c  action..#..db cl
1ff0: 6f 73 65 0a 63 61 74 63 68 20 7b 63 6c 6f 73 65  ose.catch {close
2000: 20 24 3a 3a 66 64 7d 0a 66 6f 72 63 65 64 65 6c   $::fd}.forcedel
2010: 65 74 65 20 74 65 73 74 2e 64 62 0a 66 6f 72 63  ete test.db.forc
2020: 65 64 65 6c 65 74 65 20 74 65 73 74 2e 64 62 2d  edelete test.db-
2030: 6a 6f 75 72 6e 61 6c 0a 0a 64 6f 5f 74 65 73 74  journal..do_test
2040: 20 65 78 63 6c 75 73 69 76 65 32 2d 33 2e 30 20   exclusive2-3.0 
2050: 7b 0a 20 20 73 71 6c 69 74 65 33 20 64 62 20 74  {.  sqlite3 db t
2060: 65 73 74 2e 64 62 0a 20 20 65 78 65 63 73 71 6c  est.db.  execsql
2070: 20 7b 0a 20 20 20 20 42 45 47 49 4e 3b 0a 20 20   {.    BEGIN;.  
2080: 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74    CREATE TABLE t
2090: 31 28 61 20 55 4e 49 51 55 45 29 3b 0a 20 20 20  1(a UNIQUE);.   
20a0: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
20b0: 56 41 4c 55 45 53 28 72 61 6e 64 73 74 72 28 32  VALUES(randstr(2
20c0: 30 30 2c 20 32 30 30 29 29 3b 0a 20 20 20 20 49  00, 200));.    I
20d0: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41  NSERT INTO t1 VA
20e0: 4c 55 45 53 28 72 61 6e 64 73 74 72 28 32 30 30  LUES(randstr(200
20f0: 2c 20 32 30 30 29 29 3b 0a 20 20 20 20 43 4f 4d  , 200));.    COM
2100: 4d 49 54 3b 0a 20 20 7d 0a 20 20 72 65 61 64 50  MIT;.  }.  readP
2110: 61 67 65 72 43 68 61 6e 67 65 43 6f 75 6e 74 65  agerChangeCounte
2120: 72 20 74 65 73 74 2e 64 62 0a 7d 20 7b 31 7d 0a  r test.db.} {1}.
2130: 64 6f 5f 74 65 73 74 20 65 78 63 6c 75 73 69 76  do_test exclusiv
2140: 65 32 2d 33 2e 31 20 7b 0a 20 20 65 78 65 63 73  e2-3.1 {.  execs
2150: 71 6c 20 7b 0a 20 20 20 20 49 4e 53 45 52 54 20  ql {.    INSERT 
2160: 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 72  INTO t1 VALUES(r
2170: 61 6e 64 73 74 72 28 32 30 30 2c 20 32 30 30 29  andstr(200, 200)
2180: 29 3b 0a 20 20 7d 0a 20 20 72 65 61 64 50 61 67  );.  }.  readPag
2190: 65 72 43 68 61 6e 67 65 43 6f 75 6e 74 65 72 20  erChangeCounter 
21a0: 74 65 73 74 2e 64 62 0a 7d 20 7b 32 7d 0a 64 6f  test.db.} {2}.do
21b0: 5f 74 65 73 74 20 65 78 63 6c 75 73 69 76 65 32  _test exclusive2
21c0: 2d 33 2e 32 20 7b 0a 20 20 65 78 65 63 73 71 6c  -3.2 {.  execsql
21d0: 20 7b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e   {.    INSERT IN
21e0: 54 4f 20 74 31 20 56 41 4c 55 45 53 28 72 61 6e  TO t1 VALUES(ran
21f0: 64 73 74 72 28 32 30 30 2c 20 32 30 30 29 29 3b  dstr(200, 200));
2200: 0a 20 20 7d 0a 20 20 72 65 61 64 50 61 67 65 72  .  }.  readPager
2210: 43 68 61 6e 67 65 43 6f 75 6e 74 65 72 20 74 65  ChangeCounter te
2220: 73 74 2e 64 62 0a 7d 20 7b 33 7d 0a 64 6f 5f 74  st.db.} {3}.do_t
2230: 65 73 74 20 65 78 63 6c 75 73 69 76 65 32 2d 33  est exclusive2-3
2240: 2e 33 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b  .3 {.  execsql {
2250: 0a 20 20 20 20 50 52 41 47 4d 41 20 6c 6f 63 6b  .    PRAGMA lock
2260: 69 6e 67 5f 6d 6f 64 65 20 3d 20 65 78 63 6c 75  ing_mode = exclu
2270: 73 69 76 65 3b 0a 20 20 20 20 49 4e 53 45 52 54  sive;.    INSERT
2280: 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28   INTO t1 VALUES(
2290: 72 61 6e 64 73 74 72 28 32 30 30 2c 20 32 30 30  randstr(200, 200
22a0: 29 29 3b 0a 20 20 7d 0a 20 20 72 65 61 64 50 61  ));.  }.  readPa
22b0: 67 65 72 43 68 61 6e 67 65 43 6f 75 6e 74 65 72  gerChangeCounter
22c0: 20 74 65 73 74 2e 64 62 0a 7d 20 7b 34 7d 0a 64   test.db.} {4}.d
22d0: 6f 5f 74 65 73 74 20 65 78 63 6c 75 73 69 76 65  o_test exclusive
22e0: 32 2d 33 2e 34 20 7b 0a 62 72 65 61 6b 70 6f 69  2-3.4 {.breakpoi
22f0: 6e 74 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20  nt.  execsql {. 
2300: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
2310: 31 20 56 41 4c 55 45 53 28 72 61 6e 64 73 74 72  1 VALUES(randstr
2320: 28 32 30 30 2c 20 32 30 30 29 29 3b 0a 20 20 7d  (200, 200));.  }
2330: 0a 20 20 72 65 61 64 50 61 67 65 72 43 68 61 6e  .  readPagerChan
2340: 67 65 43 6f 75 6e 74 65 72 20 74 65 73 74 2e 64  geCounter test.d
2350: 62 0a 7d 20 7b 34 7d 0a 64 6f 5f 74 65 73 74 20  b.} {4}.do_test 
2360: 65 78 63 6c 75 73 69 76 65 32 2d 33 2e 35 20 7b  exclusive2-3.5 {
2370: 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20  .  execsql {.   
2380: 20 50 52 41 47 4d 41 20 6c 6f 63 6b 69 6e 67 5f   PRAGMA locking_
2390: 6d 6f 64 65 20 3d 20 6e 6f 72 6d 61 6c 3b 0a 20  mode = normal;. 
23a0: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
23b0: 31 20 56 41 4c 55 45 53 28 72 61 6e 64 73 74 72  1 VALUES(randstr
23c0: 28 32 30 30 2c 20 32 30 30 29 29 3b 0a 20 20 7d  (200, 200));.  }
23d0: 0a 20 20 72 65 61 64 50 61 67 65 72 43 68 61 6e  .  readPagerChan
23e0: 67 65 43 6f 75 6e 74 65 72 20 74 65 73 74 2e 64  geCounter test.d
23f0: 62 0a 7d 20 7b 34 7d 0a 64 6f 5f 74 65 73 74 20  b.} {4}.do_test 
2400: 65 78 63 6c 75 73 69 76 65 32 2d 33 2e 36 20 7b  exclusive2-3.6 {
2410: 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20  .  execsql {.   
2420: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
2430: 56 41 4c 55 45 53 28 72 61 6e 64 73 74 72 28 32  VALUES(randstr(2
2440: 30 30 2c 20 32 30 30 29 29 3b 0a 20 20 7d 0a 20  00, 200));.  }. 
2450: 20 72 65 61 64 50 61 67 65 72 43 68 61 6e 67 65   readPagerChange
2460: 43 6f 75 6e 74 65 72 20 74 65 73 74 2e 64 62 0a  Counter test.db.
2470: 7d 20 7b 35 7d 0a 73 71 6c 69 74 65 33 5f 73 6f  } {5}.sqlite3_so
2480: 66 74 5f 68 65 61 70 5f 6c 69 6d 69 74 20 24 63  ft_heap_limit $c
2490: 6d 64 6c 69 6e 65 61 72 67 28 73 6f 66 74 2d 68  mdlinearg(soft-h
24a0: 65 61 70 2d 6c 69 6d 69 74 29 0a 0a 66 69 6e 69  eap-limit)..fini
24b0: 73 68 5f 74 65 73 74 0a                          sh_test.