/ Hex Artifact Content
Login

Artifact 378e76a9ad09cd9bee06c172ad3547b0129a6750:


0000: 23 20 32 30 31 32 20 4f 63 74 6f 62 65 72 20 31  # 2012 October 1
0010: 35 0a 23 0a 23 20 54 68 65 20 61 75 74 68 6f 72  5.#.# The author
0020: 20 64 69 73 63 6c 61 69 6d 73 20 63 6f 70 79 72   disclaims copyr
0030: 69 67 68 74 20 74 6f 20 74 68 69 73 20 73 6f 75  ight to this sou
0040: 72 63 65 20 63 6f 64 65 2e 20 20 49 6e 20 70 6c  rce code.  In pl
0050: 61 63 65 20 6f 66 0a 23 20 61 20 6c 65 67 61 6c  ace of.# a legal
0060: 20 6e 6f 74 69 63 65 2c 20 68 65 72 65 20 69 73   notice, here is
0070: 20 61 20 62 6c 65 73 73 69 6e 67 3a 0a 23 0a 23   a blessing:.#.#
0080: 20 20 20 20 4d 61 79 20 79 6f 75 20 64 6f 20 67      May you do g
0090: 6f 6f 64 20 61 6e 64 20 6e 6f 74 20 65 76 69 6c  ood and not evil
00a0: 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20 66  ..#    May you f
00b0: 69 6e 64 20 66 6f 72 67 69 76 65 6e 65 73 73 20  ind forgiveness 
00c0: 66 6f 72 20 79 6f 75 72 73 65 6c 66 20 61 6e 64  for yourself and
00d0: 20 66 6f 72 67 69 76 65 20 6f 74 68 65 72 73 2e   forgive others.
00e0: 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20 73 68  .#    May you sh
00f0: 61 72 65 20 66 72 65 65 6c 79 2c 20 6e 65 76 65  are freely, neve
0100: 72 20 74 61 6b 69 6e 67 20 6d 6f 72 65 20 74 68  r taking more th
0110: 61 6e 20 79 6f 75 20 67 69 76 65 2e 0a 23 0a 23  an 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 2a 2a 0a 23 20 0a 23 20 54 68 69  *******.# .# Thi
0170: 73 20 74 65 73 74 20 63 61 73 65 20 74 65 73 74  s test case test
0180: 73 20 74 68 61 74 20 61 20 70 72 6f 62 6c 65 6d  s that a problem
0190: 20 63 61 75 73 69 6e 67 20 61 20 66 61 69 6c 69   causing a faili
01a0: 6e 67 20 61 73 73 65 72 74 28 29 20 68 61 73 0a  ng assert() has.
01b0: 23 20 62 65 65 6e 20 66 69 78 65 64 2e 20 54 68  # been fixed. Th
01c0: 65 20 70 72 6f 62 6c 65 6d 20 6f 63 63 75 72 72  e problem occurr
01d0: 65 64 20 69 66 20 61 20 77 72 69 74 65 72 20 70  ed if a writer p
01e0: 72 6f 63 65 73 73 20 77 69 74 68 20 61 20 73 75  rocess with a su
01f0: 62 73 65 74 0a 23 20 6f 66 20 74 68 65 20 2a 73  bset.# of the *s
0200: 68 6d 20 66 69 6c 65 20 6d 61 70 70 65 64 20 72  hm file mapped r
0210: 6f 6c 6c 65 64 20 62 61 63 6b 20 61 20 74 72 61  olled back a tra
0220: 6e 73 61 63 74 69 6f 6e 20 62 65 67 75 6e 20 61  nsaction begun a
0230: 66 74 65 72 20 74 68 65 0a 23 20 65 6e 74 69 72  fter the.# entir
0240: 65 20 57 41 4c 20 66 69 6c 65 20 77 61 73 20 63  e WAL file was c
0250: 68 65 63 6b 70 6f 69 6e 74 65 64 20 69 6e 74 6f  heckpointed into
0260: 20 74 68 65 20 64 62 20 66 69 6c 65 20 28 69 2e   the db file (i.
0270: 65 2e 20 61 20 74 72 61 6e 73 61 63 74 69 6f 6e  e. a transaction
0280: 0a 23 20 74 68 61 74 20 77 6f 75 6c 64 20 68 61  .# that would ha
0290: 76 65 20 72 65 73 74 61 72 74 65 64 20 74 68 65  ve restarted the
02a0: 20 57 41 4c 20 66 69 6c 65 20 66 72 6f 6d 20 74   WAL file from t
02b0: 68 65 20 62 65 67 69 6e 6e 69 6e 67 29 2e 0a 23  he beginning)..#
02c0: 0a 0a 73 65 74 20 74 65 73 74 64 69 72 20 5b 66  ..set testdir [f
02d0: 69 6c 65 20 64 69 72 6e 61 6d 65 20 24 61 72 67  ile dirname $arg
02e0: 76 30 5d 0a 73 6f 75 72 63 65 20 24 74 65 73 74  v0].source $test
02f0: 64 69 72 2f 74 65 73 74 65 72 2e 74 63 6c 0a 73  dir/tester.tcl.s
0300: 65 74 20 74 65 73 74 70 72 65 66 69 78 20 77 61  et testprefix wa
0310: 6c 39 0a 0a 73 71 6c 69 74 65 33 20 64 62 32 20  l9..sqlite3 db2 
0320: 74 65 73 74 2e 64 62 0a 0a 64 6f 5f 65 78 65 63  test.db..do_exec
0330: 73 71 6c 5f 74 65 73 74 20 31 2e 30 20 7b 0a 20  sql_test 1.0 {. 
0340: 20 50 52 41 47 4d 41 20 70 61 67 65 5f 73 69 7a   PRAGMA page_siz
0350: 65 20 3d 20 31 30 32 34 3b 0a 20 20 50 52 41 47  e = 1024;.  PRAG
0360: 4d 41 20 6a 6f 75 72 6e 61 6c 5f 6d 6f 64 65 20  MA journal_mode 
0370: 3d 20 57 41 4c 3b 0a 20 20 50 52 41 47 4d 41 20  = WAL;.  PRAGMA 
0380: 77 61 6c 5f 61 75 74 6f 63 68 65 63 6b 70 6f 69  wal_autocheckpoi
0390: 6e 74 20 3d 20 30 3b 0a 20 20 43 52 45 41 54 45  nt = 0;.  CREATE
03a0: 20 54 41 42 4c 45 20 74 28 78 29 3b 0a 7d 20 7b   TABLE t(x);.} {
03b0: 77 61 6c 20 30 7d 0a 0a 64 6f 5f 74 65 73 74 20  wal 0}..do_test 
03c0: 31 2e 31 20 7b 20 0a 20 20 65 78 65 63 73 71 6c  1.1 { .  execsql
03d0: 20 22 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20   "SELECT * FROM 
03e0: 74 22 20 64 62 32 0a 7d 20 7b 7d 0a 0a 64 6f 5f  t" db2.} {}..do_
03f0: 65 78 65 63 73 71 6c 5f 74 65 73 74 20 31 2e 32  execsql_test 1.2
0400: 20 7b 0a 20 20 42 45 47 49 4e 3b 0a 20 20 20 20   {.  BEGIN;.    
0410: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 20 56 41  INSERT INTO t VA
0420: 4c 55 45 53 28 72 61 6e 64 6f 6d 62 6c 6f 62 28  LUES(randomblob(
0430: 31 30 30 29 29 3b 0a 20 20 20 20 49 4e 53 45 52  100));.    INSER
0440: 54 20 49 4e 54 4f 20 74 20 53 45 4c 45 43 54 20  T INTO t SELECT 
0450: 72 61 6e 64 6f 6d 62 6c 6f 62 28 31 30 30 29 20  randomblob(100) 
0460: 46 52 4f 4d 20 74 3b 0a 20 20 20 20 49 4e 53 45  FROM t;.    INSE
0470: 52 54 20 49 4e 54 4f 20 74 20 53 45 4c 45 43 54  RT INTO t SELECT
0480: 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 31 30 30 29   randomblob(100)
0490: 20 46 52 4f 4d 20 74 3b 0a 20 20 20 20 49 4e 53   FROM t;.    INS
04a0: 45 52 54 20 49 4e 54 4f 20 74 20 53 45 4c 45 43  ERT INTO t SELEC
04b0: 54 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 31 30 30  T randomblob(100
04c0: 29 20 46 52 4f 4d 20 74 3b 0a 20 20 20 20 49 4e  ) FROM t;.    IN
04d0: 53 45 52 54 20 49 4e 54 4f 20 74 20 53 45 4c 45  SERT INTO t SELE
04e0: 43 54 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 31 30  CT randomblob(10
04f0: 30 29 20 46 52 4f 4d 20 74 3b 0a 20 20 20 20 49  0) FROM t;.    I
0500: 4e 53 45 52 54 20 49 4e 54 4f 20 74 20 53 45 4c  NSERT INTO t SEL
0510: 45 43 54 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 31  ECT randomblob(1
0520: 30 30 29 20 46 52 4f 4d 20 74 3b 0a 20 20 20 20  00) FROM t;.    
0530: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 20 53 45  INSERT INTO t SE
0540: 4c 45 43 54 20 72 61 6e 64 6f 6d 62 6c 6f 62 28  LECT randomblob(
0550: 31 30 30 29 20 46 52 4f 4d 20 74 3b 0a 20 20 20  100) FROM t;.   
0560: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 20 53   INSERT INTO t S
0570: 45 4c 45 43 54 20 72 61 6e 64 6f 6d 62 6c 6f 62  ELECT randomblob
0580: 28 31 30 30 29 20 46 52 4f 4d 20 74 3b 0a 0a 20  (100) FROM t;.. 
0590: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
05a0: 20 53 45 4c 45 43 54 20 72 61 6e 64 6f 6d 62 6c   SELECT randombl
05b0: 6f 62 28 31 30 30 29 20 46 52 4f 4d 20 74 3b 0a  ob(100) FROM t;.
05c0: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
05d0: 74 20 53 45 4c 45 43 54 20 72 61 6e 64 6f 6d 62  t SELECT randomb
05e0: 6c 6f 62 28 31 30 30 29 20 46 52 4f 4d 20 74 3b  lob(100) FROM t;
05f0: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
0600: 20 74 20 53 45 4c 45 43 54 20 72 61 6e 64 6f 6d   t SELECT random
0610: 62 6c 6f 62 28 31 30 30 29 20 46 52 4f 4d 20 74  blob(100) FROM t
0620: 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  ;.    INSERT INT
0630: 4f 20 74 20 53 45 4c 45 43 54 20 72 61 6e 64 6f  O t SELECT rando
0640: 6d 62 6c 6f 62 28 31 30 30 29 20 46 52 4f 4d 20  mblob(100) FROM 
0650: 74 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e  t;.    INSERT IN
0660: 54 4f 20 74 20 53 45 4c 45 43 54 20 72 61 6e 64  TO t SELECT rand
0670: 6f 6d 62 6c 6f 62 28 31 30 30 29 20 46 52 4f 4d  omblob(100) FROM
0680: 20 74 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49   t;.    INSERT I
0690: 4e 54 4f 20 74 20 53 45 4c 45 43 54 20 72 61 6e  NTO t SELECT ran
06a0: 64 6f 6d 62 6c 6f 62 28 31 30 30 29 20 46 52 4f  domblob(100) FRO
06b0: 4d 20 74 3b 0a 20 20 20 20 49 4e 53 45 52 54 20  M t;.    INSERT 
06c0: 49 4e 54 4f 20 74 20 53 45 4c 45 43 54 20 72 61  INTO t SELECT ra
06d0: 6e 64 6f 6d 62 6c 6f 62 28 31 30 30 29 20 46 52  ndomblob(100) FR
06e0: 4f 4d 20 74 3b 0a 20 20 20 20 49 4e 53 45 52 54  OM t;.    INSERT
06f0: 20 49 4e 54 4f 20 74 20 53 45 4c 45 43 54 20 72   INTO t SELECT r
0700: 61 6e 64 6f 6d 62 6c 6f 62 28 31 30 30 29 20 46  andomblob(100) F
0710: 52 4f 4d 20 74 3b 0a 0a 20 20 20 20 49 4e 53 45  ROM t;..    INSE
0720: 52 54 20 49 4e 54 4f 20 74 20 53 45 4c 45 43 54  RT INTO t SELECT
0730: 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 31 30 30 29   randomblob(100)
0740: 20 46 52 4f 4d 20 74 3b 0a 20 20 20 20 49 4e 53   FROM t;.    INS
0750: 45 52 54 20 49 4e 54 4f 20 74 20 53 45 4c 45 43  ERT INTO t SELEC
0760: 54 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 31 30 30  T randomblob(100
0770: 29 20 46 52 4f 4d 20 74 3b 0a 20 20 43 4f 4d 4d  ) FROM t;.  COMM
0780: 49 54 3b 0a 7d 20 7b 7d 0a 0a 23 20 43 68 65 63  IT;.} {}..# Chec
0790: 6b 20 66 69 6c 65 20 73 69 7a 65 73 20 61 72 65  k file sizes are
07a0: 20 61 73 20 65 78 70 65 63 74 65 64 2e 20 54 68   as expected. Th
07b0: 65 20 72 65 61 6c 20 72 65 71 75 69 72 65 6d 65  e real requireme
07c0: 6e 74 20 68 65 72 65 20 69 73 20 74 68 61 74 20  nt here is that 
07d0: 0a 23 20 74 68 65 20 2a 73 68 6d 20 66 69 6c 65  .# the *shm file
07e0: 20 69 73 20 6e 6f 77 20 6d 6f 72 65 20 74 68 61   is now more tha
07f0: 6e 20 6f 6e 65 20 63 68 75 6e 6b 20 28 3e 33 32  n one chunk (>32
0800: 4b 69 42 29 2e 0a 23 0a 23 20 54 68 65 20 73 69  KiB)..#.# The si
0810: 7a 65 73 20 6f 66 20 76 61 72 69 6f 75 73 20 66  zes of various f
0820: 69 6c 65 73 20 61 72 65 20 73 6c 69 67 68 74 6c  iles are slightl
0830: 79 20 64 69 66 66 65 72 65 6e 74 20 69 6e 20 6e  y different in n
0840: 6f 72 6d 61 6c 20 61 6e 64 20 0a 23 20 61 75 74  ormal and .# aut
0850: 6f 2d 76 61 63 75 75 6d 20 6d 6f 64 65 2e 0a 64  o-vacuum mode..d
0860: 6f 5f 74 65 73 74 20 31 2e 33 20 7b 20 66 69 6c  o_test 1.3 { fil
0870: 65 20 73 69 7a 65 20 74 65 73 74 2e 64 62 20 20  e size test.db  
0880: 20 20 20 7d 20 7b 31 30 32 34 7d 0a 64 6f 5f 74     } {1024}.do_t
0890: 65 73 74 20 31 2e 34 20 7b 20 65 78 70 72 20 7b  est 1.4 { expr {
08a0: 5b 66 69 6c 65 20 73 69 7a 65 20 74 65 73 74 2e  [file size test.
08b0: 64 62 2d 77 61 6c 5d 3e 28 31 35 30 30 2a 31 30  db-wal]>(1500*10
08c0: 32 34 29 7d 20 7d 20 7b 31 7d 0a 64 6f 5f 74 65  24)} } {1}.do_te
08d0: 73 74 20 31 2e 35 20 7b 20 65 78 70 72 20 7b 5b  st 1.5 { expr {[
08e0: 66 69 6c 65 20 73 69 7a 65 20 74 65 73 74 2e 64  file size test.d
08f0: 62 2d 73 68 6d 5d 3e 33 32 37 36 38 7d 20 7d 20  b-shm]>32768} } 
0900: 20 20 20 20 20 20 7b 31 7d 0a 64 6f 5f 74 65 73        {1}.do_tes
0910: 74 20 31 2e 36 20 7b 20 0a 20 20 66 6f 72 65 61  t 1.6 { .  forea
0920: 63 68 20 7b 61 20 62 20 63 7d 20 5b 64 62 20 65  ch {a b c} [db e
0930: 76 61 6c 20 7b 50 52 41 47 4d 41 20 77 61 6c 5f  val {PRAGMA wal_
0940: 63 68 65 63 6b 70 6f 69 6e 74 7d 5d 20 62 72 65  checkpoint}] bre
0950: 61 6b 0a 20 20 6c 69 73 74 20 5b 65 78 70 72 20  ak.  list [expr 
0960: 7b 24 61 3d 3d 30 7d 5d 20 5b 65 78 70 72 20 7b  {$a==0}] [expr {
0970: 24 62 3e 31 34 35 30 30 7d 5d 20 5b 65 78 70 72  $b>14500}] [expr
0980: 20 7b 24 63 3e 31 34 35 30 30 7d 5d 20 5b 65 78   {$c>14500}] [ex
0990: 70 72 20 7b 24 62 3d 3d 24 63 7d 5d 0a 7d 20 7b  pr {$b==$c}].} {
09a0: 31 20 31 20 31 20 31 7d 0a 0a 23 20 41 74 20 74  1 1 1 1}..# At t
09b0: 68 69 73 20 70 6f 69 6e 74 20 63 6f 6e 6e 65 63  his point connec
09c0: 74 69 6f 6e 20 5b 64 62 32 5d 20 68 61 73 20 6d  tion [db2] has m
09d0: 61 70 70 65 64 20 74 68 65 20 66 69 72 73 74 20  apped the first 
09e0: 33 32 4b 42 20 6f 66 20 74 68 65 20 2a 73 68 6d  32KB of the *shm
09f0: 20 66 69 6c 65 0a 23 20 6f 6e 6c 79 2e 20 42 65   file.# only. Be
0a00: 63 61 75 73 65 20 74 68 65 20 65 6e 74 69 72 65  cause the entire
0a10: 20 57 41 4c 20 66 69 6c 65 20 68 61 73 20 62 65   WAL file has be
0a20: 65 6e 20 63 68 65 63 6b 70 6f 69 6e 74 65 64 2c  en checkpointed,
0a30: 20 69 74 20 69 73 20 6e 6f 74 20 0a 23 20 6e 65   it is not .# ne
0a40: 63 65 73 73 61 72 79 20 74 6f 20 6d 61 70 20 61  cessary to map a
0a50: 6e 79 20 6d 6f 72 65 20 6f 66 20 74 68 65 20 2a  ny more of the *
0a60: 2d 73 68 6d 20 66 69 6c 65 20 74 6f 20 72 65 61  -shm file to rea
0a70: 64 20 6f 72 20 77 72 69 74 65 20 74 68 65 20 64  d or write the d
0a80: 61 74 61 62 61 73 65 0a 23 20 28 73 69 6e 63 65  atabase.# (since
0a90: 20 61 6c 6c 20 64 61 74 61 20 77 69 6c 6c 20 62   all data will b
0aa0: 65 20 72 65 61 64 20 64 69 72 65 63 74 6c 79 20  e read directly 
0ab0: 66 72 6f 6d 20 74 68 65 20 64 62 20 66 69 6c 65  from the db file
0ac0: 29 2e 20 0a 23 0a 23 20 48 6f 77 65 76 65 72 2c  ). .#.# However,
0ad0: 20 61 74 20 6f 6e 65 20 70 6f 69 6e 74 20 69 66   at one point if
0ae0: 20 61 20 74 72 61 6e 73 61 63 74 69 6f 6e 20 74   a transaction t
0af0: 68 61 74 20 68 61 64 20 6e 6f 74 20 79 65 74 20  hat had not yet 
0b00: 77 72 69 74 74 65 6e 20 74 6f 20 74 68 65 20 0a  written to the .
0b10: 23 20 57 41 4c 20 66 69 6c 65 20 77 61 73 20 72  # WAL file was r
0b20: 6f 6c 6c 65 64 20 62 61 63 6b 20 61 6e 20 61 73  olled back an as
0b30: 73 65 72 74 28 29 20 61 74 74 65 6d 70 74 69 6e  sert() attemptin
0b40: 67 20 74 6f 20 76 65 72 69 66 79 20 74 68 61 74  g to verify that
0b50: 20 74 68 65 20 65 6e 74 69 72 65 20 0a 23 20 2a   the entire .# *
0b60: 2d 73 68 6d 20 66 69 6c 65 20 77 61 73 20 6d 61  -shm file was ma
0b70: 70 70 65 64 20 77 6f 75 6c 64 20 66 61 69 6c 2e  pped would fail.
0b80: 20 49 66 20 4e 44 45 42 55 47 20 77 61 73 20 64   If NDEBUG was d
0b90: 65 66 69 6e 65 64 20 28 61 6e 64 20 74 68 65 20  efined (and the 
0ba0: 61 73 73 65 72 74 28 29 20 0a 23 20 64 69 73 61  assert() .# disa
0bb0: 62 6c 65 64 29 20 74 68 69 73 20 62 75 67 20 63  bled) this bug c
0bc0: 61 75 73 65 64 20 53 51 4c 69 74 65 20 74 6f 20  aused SQLite to 
0bd0: 69 67 6e 6f 72 65 20 74 68 65 20 72 65 74 75 72  ignore the retur
0be0: 6e 20 63 6f 64 65 20 6f 66 20 61 20 6d 6d 61 70  n code of a mmap
0bf0: 28 29 20 0a 23 20 63 61 6c 6c 2e 0a 23 0a 64 6f  () .# call..#.do
0c00: 5f 74 65 73 74 20 31 2e 37 20 7b 0a 20 20 65 78  _test 1.7 {.  ex
0c10: 65 63 73 71 6c 20 7b 20 0a 20 20 20 20 42 45 47  ecsql { .    BEG
0c20: 49 4e 3b 0a 20 20 20 20 20 20 49 4e 53 45 52 54  IN;.      INSERT
0c30: 20 49 4e 54 4f 20 74 20 56 41 4c 55 45 53 28 27   INTO t VALUES('
0c40: 68 65 6c 6c 6f 27 29 3b 0a 20 20 20 20 52 4f 4c  hello');.    ROL
0c50: 4c 42 41 43 4b 3b 0a 20 20 7d 20 64 62 32 0a 7d  LBACK;.  } db2.}
0c60: 20 7b 7d 0a 64 62 32 20 63 6c 6f 73 65 0a 0a 66   {}.db2 close..f
0c70: 69 6e 69 73 68 5f 74 65 73 74 0a                 inish_test.