/ Hex Artifact Content
Login

Artifact bb234a1bb42248b3515d992b719708015c384278:


0000: 23 20 32 30 31 30 20 4d 61 79 20 32 34 0a 23 0a  # 2010 May 24.#.
0010: 23 20 54 68 65 20 61 75 74 68 6f 72 20 64 69 73  # The author dis
0020: 63 6c 61 69 6d 73 20 63 6f 70 79 72 69 67 68 74  claims copyright
0030: 20 74 6f 20 74 68 69 73 20 73 6f 75 72 63 65 20   to this source 
0040: 63 6f 64 65 2e 20 20 49 6e 20 70 6c 61 63 65 20  code.  In place 
0050: 6f 66 0a 23 20 61 20 6c 65 67 61 6c 20 6e 6f 74  of.# a legal not
0060: 69 63 65 2c 20 68 65 72 65 20 69 73 20 61 20 62  ice, here is a b
0070: 6c 65 73 73 69 6e 67 3a 0a 23 0a 23 20 20 20 20  lessing:.#.#    
0080: 4d 61 79 20 79 6f 75 20 64 6f 20 67 6f 6f 64 20  May you do good 
0090: 61 6e 64 20 6e 6f 74 20 65 76 69 6c 2e 0a 23 20  and not evil..# 
00a0: 20 20 20 4d 61 79 20 79 6f 75 20 66 69 6e 64 20     May you find 
00b0: 66 6f 72 67 69 76 65 6e 65 73 73 20 66 6f 72 20  forgiveness for 
00c0: 79 6f 75 72 73 65 6c 66 20 61 6e 64 20 66 6f 72  yourself and for
00d0: 67 69 76 65 20 6f 74 68 65 72 73 2e 0a 23 20 20  give others..#  
00e0: 20 20 4d 61 79 20 79 6f 75 20 73 68 61 72 65 20    May you share 
00f0: 66 72 65 65 6c 79 2c 20 6e 65 76 65 72 20 74 61  freely, never ta
0100: 6b 69 6e 67 20 6d 6f 72 65 20 74 68 61 6e 20 79  king more than y
0110: 6f 75 20 67 69 76 65 2e 0a 23 0a 23 2a 2a 2a 2a  ou 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 0a 23 0a 0a 73 65 74 20 74 65 73 74 64  ***.#..set testd
0170: 69 72 20 5b 66 69 6c 65 20 64 69 72 6e 61 6d 65  ir [file dirname
0180: 20 24 61 72 67 76 30 5d 0a 73 6f 75 72 63 65 20   $argv0].source 
0190: 24 74 65 73 74 64 69 72 2f 74 65 73 74 65 72 2e  $testdir/tester.
01a0: 74 63 6c 0a 73 6f 75 72 63 65 20 24 74 65 73 74  tcl.source $test
01b0: 64 69 72 2f 6c 6f 63 6b 5f 63 6f 6d 6d 6f 6e 2e  dir/lock_common.
01c0: 74 63 6c 0a 73 6f 75 72 63 65 20 24 74 65 73 74  tcl.source $test
01d0: 64 69 72 2f 77 61 6c 5f 63 6f 6d 6d 6f 6e 2e 74  dir/wal_common.t
01e0: 63 6c 0a 0a 69 66 63 61 70 61 62 6c 65 20 21 77  cl..ifcapable !w
01f0: 61 6c 20 7b 66 69 6e 69 73 68 5f 74 65 73 74 20  al {finish_test 
0200: 3b 20 72 65 74 75 72 6e 20 7d 0a 0a 23 20 52 65  ; return }..# Re
0210: 61 64 20 61 6e 64 20 72 65 74 75 72 6e 20 74 68  ad and return th
0220: 65 20 63 6f 6e 74 65 6e 74 73 20 6f 66 20 66 69  e contents of fi
0230: 6c 65 20 24 66 69 6c 65 6e 61 6d 65 2e 20 54 72  le $filename. Tr
0240: 65 61 74 20 74 68 65 20 63 6f 6e 74 65 6e 74 20  eat the content 
0250: 61 73 0a 23 20 62 69 6e 61 72 79 20 64 61 74 61  as.# binary data
0260: 2e 0a 23 0a 70 72 6f 63 20 72 65 61 64 66 69 6c  ..#.proc readfil
0270: 65 20 7b 66 69 6c 65 6e 61 6d 65 7d 20 7b 0a 20  e {filename} {. 
0280: 20 73 65 74 20 66 64 20 5b 6f 70 65 6e 20 24 66   set fd [open $f
0290: 69 6c 65 6e 61 6d 65 5d 0a 20 20 66 63 6f 6e 66  ilename].  fconf
02a0: 69 67 75 72 65 20 24 66 64 20 2d 65 6e 63 6f 64  igure $fd -encod
02b0: 69 6e 67 20 62 69 6e 61 72 79 0a 20 20 66 63 6f  ing binary.  fco
02c0: 6e 66 69 67 75 72 65 20 24 66 64 20 2d 74 72 61  nfigure $fd -tra
02d0: 6e 73 6c 61 74 69 6f 6e 20 62 69 6e 61 72 79 0a  nslation binary.
02e0: 20 20 73 65 74 20 64 61 74 61 20 5b 72 65 61 64    set data [read
02f0: 20 24 66 64 5d 0a 20 20 63 6c 6f 73 65 20 24 66   $fd].  close $f
0300: 64 0a 20 20 72 65 74 75 72 6e 20 24 64 61 74 61  d.  return $data
0310: 0a 7d 0a 0a 23 0a 23 20 46 69 6c 65 20 24 66 69  .}..#.# File $fi
0320: 6c 65 6e 61 6d 65 20 6d 75 73 74 20 62 65 20 61  lename must be a
0330: 20 57 41 4c 20 66 69 6c 65 20 6f 6e 20 64 69 73   WAL file on dis
0340: 6b 2e 20 43 68 65 63 6b 20 74 68 61 74 20 74 68  k. Check that th
0350: 65 20 63 68 65 63 6b 73 75 6d 20 6f 66 20 66 72  e checksum of fr
0360: 61 6d 65 0a 23 20 24 69 46 72 61 6d 65 20 69 6e  ame.# $iFrame in
0370: 20 74 68 65 20 66 69 6c 65 20 69 73 20 63 6f 72   the file is cor
0380: 72 65 63 74 20 77 68 65 6e 20 69 6e 74 65 72 70  rect when interp
0390: 72 65 74 69 6e 67 20 64 61 74 61 20 61 73 20 24  reting data as $
03a0: 65 6e 64 69 61 6e 2d 65 6e 64 69 61 6e 0a 23 20  endian-endian.# 
03b0: 69 6e 74 65 67 65 72 73 20 28 24 65 6e 64 69 61  integers ($endia
03c0: 6e 20 6d 75 73 74 20 62 65 20 65 69 74 68 65 72  n must be either
03d0: 20 22 62 69 67 22 20 6f 72 20 22 6c 69 74 74 6c   "big" or "littl
03e0: 65 22 29 2e 20 49 66 20 74 68 65 20 63 68 65 63  e"). If the chec
03f0: 6b 73 75 6d 20 6c 6f 6f 6b 73 0a 23 20 63 6f 72  ksum looks.# cor
0400: 72 65 63 74 2c 20 72 65 74 75 72 6e 20 31 2e 20  rect, return 1. 
0410: 4f 74 68 65 72 77 69 73 65 20 30 2e 0a 23 0a 70  Otherwise 0..#.p
0420: 72 6f 63 20 6c 6f 67 5f 63 68 65 63 6b 73 75 6d  roc log_checksum
0430: 5f 76 65 72 69 66 79 20 7b 66 69 6c 65 6e 61 6d  _verify {filenam
0440: 65 20 69 46 72 61 6d 65 20 65 6e 64 69 61 6e 7d  e iFrame endian}
0450: 20 7b 0a 20 20 73 65 74 20 64 61 74 61 20 5b 72   {.  set data [r
0460: 65 61 64 66 69 6c 65 20 24 66 69 6c 65 6e 61 6d  eadfile $filenam
0470: 65 5d 0a 0a 20 20 66 6f 72 65 61 63 68 20 7b 6f  e]..  foreach {o
0480: 66 66 73 65 74 20 63 31 20 63 32 7d 20 5b 6c 6f  ffset c1 c2} [lo
0490: 67 5f 63 68 65 63 6b 73 75 6d 5f 63 61 6c 63 20  g_checksum_calc 
04a0: 24 64 61 74 61 20 24 69 46 72 61 6d 65 20 24 65  $data $iFrame $e
04b0: 6e 64 69 61 6e 5d 20 7b 7d 0a 0a 20 20 62 69 6e  ndian] {}..  bin
04c0: 61 72 79 20 73 63 61 6e 20 5b 73 74 72 69 6e 67  ary scan [string
04d0: 20 72 61 6e 67 65 20 24 64 61 74 61 20 24 6f 66   range $data $of
04e0: 66 73 65 74 20 5b 65 78 70 72 20 24 6f 66 66 73  fset [expr $offs
04f0: 65 74 2b 37 5d 5d 20 49 49 20 65 78 70 65 63 74  et+7]] II expect
0500: 31 20 65 78 70 65 63 74 32 0a 20 20 73 65 74 20  1 expect2.  set 
0510: 65 78 70 65 63 74 31 20 5b 65 78 70 72 20 24 65  expect1 [expr $e
0520: 78 70 65 63 74 31 26 30 78 46 46 46 46 46 46 46  xpect1&0xFFFFFFF
0530: 46 5d 0a 20 20 73 65 74 20 65 78 70 65 63 74 32  F].  set expect2
0540: 20 5b 65 78 70 72 20 24 65 78 70 65 63 74 32 26   [expr $expect2&
0550: 30 78 46 46 46 46 46 46 46 46 5d 0a 0a 20 20 65  0xFFFFFFFF]..  e
0560: 78 70 72 20 7b 24 63 31 3d 3d 24 65 78 70 65 63  xpr {$c1==$expec
0570: 74 31 20 26 26 20 24 63 32 3d 3d 24 65 78 70 65  t1 && $c2==$expe
0580: 63 74 32 7d 0a 7d 0a 0a 23 20 46 69 6c 65 20 24  ct2}.}..# File $
0590: 66 69 6c 65 6e 61 6d 65 20 6d 75 73 74 20 62 65  filename must be
05a0: 20 61 20 57 41 4c 20 66 69 6c 65 20 6f 6e 20 64   a WAL file on d
05b0: 69 73 6b 2e 20 43 6f 6d 70 75 74 65 20 74 68 65  isk. Compute the
05c0: 20 63 68 65 63 6b 73 75 6d 20 66 6f 72 20 66 72   checksum for fr
05d0: 61 6d 65 0a 23 20 24 69 46 72 61 6d 65 20 69 6e  ame.# $iFrame in
05e0: 20 74 68 65 20 66 69 6c 65 20 62 79 20 69 6e 74   the file by int
05f0: 65 72 70 72 65 74 69 6e 67 20 64 61 74 61 20 61  erpreting data a
0600: 73 20 24 65 6e 64 69 61 6e 2d 65 6e 64 69 61 6e  s $endian-endian
0610: 20 69 6e 74 65 67 65 72 73 20 0a 23 20 28 24 65   integers .# ($e
0620: 6e 64 69 61 6e 20 6d 75 73 74 20 62 65 20 65 69  ndian must be ei
0630: 74 68 65 72 20 22 62 69 67 22 20 6f 72 20 22 6c  ther "big" or "l
0640: 69 74 74 6c 65 22 29 2e 20 54 68 65 6e 20 77 72  ittle"). Then wr
0650: 69 74 65 20 74 68 65 20 63 6f 6d 70 75 74 65 64  ite the computed
0660: 20 0a 23 20 63 68 65 63 6b 73 75 6d 20 69 6e 74   .# checksum int
0670: 6f 20 74 68 65 20 66 69 6c 65 2e 0a 23 0a 70 72  o the file..#.pr
0680: 6f 63 20 6c 6f 67 5f 63 68 65 63 6b 73 75 6d 5f  oc log_checksum_
0690: 77 72 69 74 65 20 7b 66 69 6c 65 6e 61 6d 65 20  write {filename 
06a0: 69 46 72 61 6d 65 20 65 6e 64 69 61 6e 7d 20 7b  iFrame endian} {
06b0: 0a 20 20 73 65 74 20 64 61 74 61 20 5b 72 65 61  .  set data [rea
06c0: 64 66 69 6c 65 20 24 66 69 6c 65 6e 61 6d 65 5d  dfile $filename]
06d0: 0a 0a 20 20 66 6f 72 65 61 63 68 20 7b 6f 66 66  ..  foreach {off
06e0: 73 65 74 20 63 31 20 63 32 7d 20 5b 6c 6f 67 5f  set c1 c2} [log_
06f0: 63 68 65 63 6b 73 75 6d 5f 63 61 6c 63 20 24 64  checksum_calc $d
0700: 61 74 61 20 24 69 46 72 61 6d 65 20 24 65 6e 64  ata $iFrame $end
0710: 69 61 6e 5d 20 7b 7d 0a 0a 20 20 73 65 74 20 62  ian] {}..  set b
0720: 69 6e 20 5b 62 69 6e 61 72 79 20 66 6f 72 6d 61  in [binary forma
0730: 74 20 49 49 20 24 63 31 20 24 63 32 5d 0a 20 20  t II $c1 $c2].  
0740: 73 65 74 20 66 64 20 5b 6f 70 65 6e 20 24 66 69  set fd [open $fi
0750: 6c 65 6e 61 6d 65 20 72 2b 5d 0a 20 20 66 63 6f  lename r+].  fco
0760: 6e 66 69 67 75 72 65 20 24 66 64 20 2d 65 6e 63  nfigure $fd -enc
0770: 6f 64 69 6e 67 20 62 69 6e 61 72 79 0a 20 20 66  oding binary.  f
0780: 63 6f 6e 66 69 67 75 72 65 20 24 66 64 20 2d 74  configure $fd -t
0790: 72 61 6e 73 6c 61 74 69 6f 6e 20 62 69 6e 61 72  ranslation binar
07a0: 79 0a 20 20 73 65 65 6b 20 24 66 64 20 24 6f 66  y.  seek $fd $of
07b0: 66 73 65 74 0a 20 20 70 75 74 73 20 2d 6e 6f 6e  fset.  puts -non
07c0: 65 77 6c 69 6e 65 20 24 66 64 20 24 62 69 6e 0a  ewline $fd $bin.
07d0: 20 20 63 6c 6f 73 65 20 24 66 64 0a 7d 0a 0a 23    close $fd.}..#
07e0: 20 43 61 6c 63 75 6c 61 74 65 20 61 6e 64 20 72   Calculate and r
07f0: 65 74 75 72 6e 20 74 68 65 20 63 68 65 63 6b 73  eturn the checks
0800: 75 6d 20 66 6f 72 20 61 20 70 61 72 74 69 63 75  um for a particu
0810: 6c 61 72 20 66 72 61 6d 65 20 69 6e 20 61 20 57  lar frame in a W
0820: 41 4c 2e 0a 23 0a 23 20 41 72 67 75 6d 65 6e 74  AL..#.# Argument
0830: 73 20 61 72 65 3a 0a 23 0a 23 20 20 20 24 64 61  s are:.#.#   $da
0840: 74 61 20 20 20 20 20 20 20 20 20 42 6c 6f 62 20  ta         Blob 
0850: 63 6f 6e 74 61 69 6e 69 6e 67 20 74 68 65 20 65  containing the e
0860: 6e 74 69 72 65 20 63 6f 6e 74 65 6e 74 73 20 6f  ntire contents o
0870: 66 20 61 20 57 41 4c 2e 0a 23 0a 23 20 20 20 24  f a WAL..#.#   $
0880: 69 46 72 61 6d 65 20 20 20 20 20 20 20 46 72 61  iFrame       Fra
0890: 6d 65 20 6e 75 6d 62 65 72 20 77 69 74 68 69 6e  me number within
08a0: 20 74 68 65 20 24 64 61 74 61 20 57 41 4c 2e 20   the $data WAL. 
08b0: 46 72 61 6d 65 73 20 61 72 65 20 6e 75 6d 62 65  Frames are numbe
08c0: 72 65 64 20 0a 23 20 20 20 20 20 20 20 20 20 20  red .#          
08d0: 20 20 20 20 20 20 20 73 74 61 72 74 69 6e 67 20         starting 
08e0: 61 74 20 31 2e 0a 23 0a 23 20 20 20 24 65 6e 64  at 1..#.#   $end
08f0: 69 61 6e 20 20 20 20 20 20 20 4f 6e 65 20 6f 66  ian       One of
0900: 20 22 62 69 67 22 20 6f 72 20 22 6c 69 74 74 6c   "big" or "littl
0910: 65 22 2e 0a 23 0a 23 20 52 65 74 75 72 6e 73 20  e"..#.# Returns 
0920: 61 20 6c 69 73 74 20 6f 66 20 74 68 72 65 65 20  a list of three 
0930: 65 6c 65 6d 65 6e 74 73 2c 20 61 73 20 66 6f 6c  elements, as fol
0940: 6c 6f 77 73 3a 0a 23 0a 23 20 20 20 2a 20 54 68  lows:.#.#   * Th
0950: 65 20 62 79 74 65 20 6f 66 66 73 65 74 20 6f 66  e byte offset of
0960: 20 74 68 65 20 63 68 65 63 6b 73 75 6d 20 62 65   the checksum be
0970: 6c 6f 6e 67 69 6e 67 20 74 6f 20 66 72 61 6d 65  longing to frame
0980: 20 24 69 46 72 61 6d 65 20 69 6e 20 74 68 65 20   $iFrame in the 
0990: 57 41 4c 2e 0a 23 20 20 20 2a 20 54 68 65 20 66  WAL..#   * The f
09a0: 69 72 73 74 20 69 6e 74 65 67 65 72 20 69 6e 20  irst integer in 
09b0: 74 68 65 20 63 61 6c 63 75 6c 61 74 65 64 20 76  the calculated v
09c0: 65 72 73 69 6f 6e 20 6f 66 20 74 68 65 20 63 68  ersion of the ch
09d0: 65 63 6b 73 75 6d 2e 0a 23 20 20 20 2a 20 54 68  ecksum..#   * Th
09e0: 65 20 73 65 63 6f 6e 64 20 69 6e 74 65 67 65 72  e second integer
09f0: 20 69 6e 20 74 68 65 20 63 61 6c 63 75 6c 61 74   in the calculat
0a00: 65 64 20 76 65 72 73 69 6f 6e 20 6f 66 20 74 68  ed version of th
0a10: 65 20 63 68 65 63 6b 73 75 6d 2e 0a 23 0a 70 72  e checksum..#.pr
0a20: 6f 63 20 6c 6f 67 5f 63 68 65 63 6b 73 75 6d 5f  oc log_checksum_
0a30: 63 61 6c 63 20 7b 64 61 74 61 20 69 46 72 61 6d  calc {data iFram
0a40: 65 20 65 6e 64 69 61 6e 7d 20 7b 0a 20 20 0a 20  e endian} {.  . 
0a50: 20 62 69 6e 61 72 79 20 73 63 61 6e 20 5b 73 74   binary scan [st
0a60: 72 69 6e 67 20 72 61 6e 67 65 20 24 64 61 74 61  ring range $data
0a70: 20 38 20 31 31 5d 20 49 20 70 67 73 7a 0a 20 20   8 11] I pgsz.  
0a80: 69 66 20 7b 24 69 46 72 61 6d 65 20 3e 20 31 7d  if {$iFrame > 1}
0a90: 20 7b 0a 20 20 20 20 73 65 74 20 6e 20 5b 77 61   {.    set n [wa
0aa0: 6c 5f 66 69 6c 65 5f 73 69 7a 65 20 5b 65 78 70  l_file_size [exp
0ab0: 72 20 24 69 46 72 61 6d 65 2d 32 5d 20 24 70 67  r $iFrame-2] $pg
0ac0: 73 7a 5d 0a 20 20 20 20 62 69 6e 61 72 79 20 73  sz].    binary s
0ad0: 63 61 6e 20 5b 73 74 72 69 6e 67 20 72 61 6e 67  can [string rang
0ae0: 65 20 24 64 61 74 61 20 5b 65 78 70 72 20 24 6e  e $data [expr $n
0af0: 2b 31 36 5d 20 5b 65 78 70 72 20 24 6e 2b 32 33  +16] [expr $n+23
0b00: 5d 5d 20 49 49 20 63 31 20 63 32 0a 20 20 7d 20  ]] II c1 c2.  } 
0b10: 65 6c 73 65 20 7b 0a 20 20 20 20 73 65 74 20 63  else {.    set c
0b20: 31 20 30 0a 20 20 20 20 73 65 74 20 63 32 20 30  1 0.    set c2 0
0b30: 0a 20 20 20 20 77 61 6c 5f 63 6b 73 75 6d 20 24  .    wal_cksum $
0b40: 65 6e 64 69 61 6e 20 63 31 20 63 32 20 5b 73 74  endian c1 c2 [st
0b50: 72 69 6e 67 20 72 61 6e 67 65 20 24 64 61 74 61  ring range $data
0b60: 20 30 20 32 33 5d 0a 20 20 7d 0a 0a 20 20 73 65   0 23].  }..  se
0b70: 74 20 6e 20 5b 77 61 6c 5f 66 69 6c 65 5f 73 69  t n [wal_file_si
0b80: 7a 65 20 5b 65 78 70 72 20 24 69 46 72 61 6d 65  ze [expr $iFrame
0b90: 2d 31 5d 20 24 70 67 73 7a 5d 0a 20 20 77 61 6c  -1] $pgsz].  wal
0ba0: 5f 63 6b 73 75 6d 20 24 65 6e 64 69 61 6e 20 63  _cksum $endian c
0bb0: 31 20 63 32 20 5b 73 74 72 69 6e 67 20 72 61 6e  1 c2 [string ran
0bc0: 67 65 20 24 64 61 74 61 20 24 6e 20 5b 65 78 70  ge $data $n [exp
0bd0: 72 20 24 6e 2b 37 5d 5d 0a 20 20 77 61 6c 5f 63  r $n+7]].  wal_c
0be0: 6b 73 75 6d 20 24 65 6e 64 69 61 6e 20 63 31 20  ksum $endian c1 
0bf0: 63 32 20 5b 73 74 72 69 6e 67 20 72 61 6e 67 65  c2 [string range
0c00: 20 24 64 61 74 61 20 5b 65 78 70 72 20 24 6e 2b   $data [expr $n+
0c10: 32 34 5d 20 5b 65 78 70 72 20 24 6e 2b 32 34 2b  24] [expr $n+24+
0c20: 24 70 67 73 7a 2d 31 5d 5d 0a 0a 20 20 6c 69 73  $pgsz-1]]..  lis
0c30: 74 20 5b 65 78 70 72 20 24 6e 2b 31 36 5d 20 24  t [expr $n+16] $
0c40: 63 31 20 24 63 32 0a 7d 0a 0a 23 0a 23 20 46 69  c1 $c2.}..#.# Fi
0c50: 6c 65 20 24 66 69 6c 65 6e 61 6d 65 20 6d 75 73  le $filename mus
0c60: 74 20 62 65 20 61 20 57 41 4c 20 66 69 6c 65 20  t be a WAL file 
0c70: 6f 6e 20 64 69 73 6b 2e 20 53 65 74 20 74 68 65  on disk. Set the
0c80: 20 27 6d 61 67 69 63 27 20 66 69 65 6c 64 20 6f   'magic' field o
0c90: 66 20 74 68 65 0a 23 20 57 41 4c 20 68 65 61 64  f the.# WAL head
0ca0: 65 72 20 74 6f 20 69 6e 64 69 63 61 74 65 20 74  er to indicate t
0cb0: 68 61 74 20 63 68 65 63 6b 73 75 6d 73 20 61 72  hat checksums ar
0cc0: 65 20 24 65 6e 64 69 61 6e 2d 65 6e 64 69 61 6e  e $endian-endian
0cd0: 20 28 24 65 6e 64 69 61 6e 20 6d 75 73 74 20 62   ($endian must b
0ce0: 65 0a 23 20 65 69 74 68 65 72 20 22 62 69 67 22  e.# either "big"
0cf0: 20 6f 72 20 22 6c 69 74 74 6c 65 22 29 2e 0a 23   or "little")..#
0d00: 0a 23 20 41 6c 73 6f 20 75 70 64 61 74 65 20 74  .# Also update t
0d10: 68 65 20 77 61 6c 20 68 65 61 64 65 72 20 63 68  he wal header ch
0d20: 65 63 6b 73 75 6d 20 28 73 69 6e 63 65 20 74 68  ecksum (since th
0d30: 65 20 77 61 6c 20 68 65 61 64 65 72 20 63 6f 6e  e wal header con
0d40: 74 65 6e 74 73 20 6d 61 79 0a 23 20 68 61 76 65  tents may.# have
0d50: 20 63 68 61 6e 67 65 64 29 2e 0a 23 0a 70 72 6f   changed)..#.pro
0d60: 63 20 6c 6f 67 5f 63 68 65 63 6b 73 75 6d 5f 77  c log_checksum_w
0d70: 72 69 74 65 6d 61 67 69 63 20 7b 66 69 6c 65 6e  ritemagic {filen
0d80: 61 6d 65 20 65 6e 64 69 61 6e 7d 20 7b 0a 20 20  ame endian} {.  
0d90: 73 65 74 20 76 61 6c 20 5b 65 78 70 72 20 7b 30  set val [expr {0
0da0: 78 33 37 37 66 30 36 38 32 20 7c 20 28 24 65 6e  x377f0682 | ($en
0db0: 64 69 61 6e 20 3d 3d 20 22 62 69 67 22 20 3f 20  dian == "big" ? 
0dc0: 31 20 3a 20 30 29 7d 5d 0a 20 20 73 65 74 20 62  1 : 0)}].  set b
0dd0: 69 6e 20 5b 62 69 6e 61 72 79 20 66 6f 72 6d 61  in [binary forma
0de0: 74 20 49 20 24 76 61 6c 5d 0a 20 20 73 65 74 20  t I $val].  set 
0df0: 66 64 20 5b 6f 70 65 6e 20 24 66 69 6c 65 6e 61  fd [open $filena
0e00: 6d 65 20 72 2b 5d 0a 20 20 66 63 6f 6e 66 69 67  me r+].  fconfig
0e10: 75 72 65 20 24 66 64 20 2d 65 6e 63 6f 64 69 6e  ure $fd -encodin
0e20: 67 20 62 69 6e 61 72 79 0a 20 20 66 63 6f 6e 66  g binary.  fconf
0e30: 69 67 75 72 65 20 24 66 64 20 2d 74 72 61 6e 73  igure $fd -trans
0e40: 6c 61 74 69 6f 6e 20 62 69 6e 61 72 79 0a 20 20  lation binary.  
0e50: 70 75 74 73 20 2d 6e 6f 6e 65 77 6c 69 6e 65 20  puts -nonewline 
0e60: 24 66 64 20 24 62 69 6e 0a 0a 20 20 73 65 65 6b  $fd $bin..  seek
0e70: 20 24 66 64 20 30 0a 20 20 73 65 74 20 62 6c 6f   $fd 0.  set blo
0e80: 62 20 5b 72 65 61 64 20 24 66 64 20 32 34 5d 0a  b [read $fd 24].
0e90: 20 20 73 65 74 20 63 31 20 30 0a 20 20 73 65 74    set c1 0.  set
0ea0: 20 63 32 20 30 0a 20 20 77 61 6c 5f 63 6b 73 75   c2 0.  wal_cksu
0eb0: 6d 20 24 65 6e 64 69 61 6e 20 63 31 20 63 32 20  m $endian c1 c2 
0ec0: 24 62 6c 6f 62 20 0a 20 20 73 65 65 6b 20 24 66  $blob .  seek $f
0ed0: 64 20 32 34 0a 20 20 70 75 74 73 20 2d 6e 6f 6e  d 24.  puts -non
0ee0: 65 77 6c 69 6e 65 20 24 66 64 20 5b 62 69 6e 61  ewline $fd [bina
0ef0: 72 79 20 66 6f 72 6d 61 74 20 49 49 20 24 63 31  ry format II $c1
0f00: 20 24 63 32 5d 0a 0a 20 20 63 6c 6f 73 65 20 24   $c2]..  close $
0f10: 66 64 0a 7d 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d  fd.}..#---------
0f20: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0f30: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0f40: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0f50: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0f60: 0a 23 20 54 65 73 74 20 63 61 73 65 73 20 77 61  .# Test cases wa
0f70: 6c 63 6b 73 75 6d 2d 31 2e 2a 20 61 74 74 65 6d  lcksum-1.* attem
0f80: 70 74 20 74 6f 20 76 65 72 69 66 79 20 74 68 65  pt to verify the
0f90: 20 66 6f 6c 6c 6f 77 69 6e 67 3a 0a 23 0a 23 20   following:.#.# 
0fa0: 20 20 2a 20 54 68 61 74 20 62 6f 74 68 20 6e 61    * That both na
0fb0: 74 69 76 65 20 61 6e 64 20 6e 6f 6e 2d 6e 61 74  tive and non-nat
0fc0: 69 76 65 20 6f 72 64 65 72 20 63 68 65 63 6b 73  ive order checks
0fd0: 75 6d 20 6c 6f 67 20 66 69 6c 65 73 20 63 61 6e  um log files can
0fe0: 20 0a 23 20 20 20 20 20 20 62 65 20 72 65 63 6f   .#      be reco
0ff0: 76 65 72 65 64 2e 0a 23 0a 23 20 20 20 2a 20 54  vered..#.#   * T
1000: 68 61 74 20 77 68 65 6e 20 61 70 70 65 6e 64 69  hat when appendi
1010: 6e 67 20 74 6f 20 6e 61 74 69 76 65 20 6f 72 20  ng to native or 
1020: 6e 6f 6e 2d 6e 61 74 69 76 65 20 63 68 65 63 6b  non-native check
1030: 73 75 6d 20 6c 6f 67 20 66 69 6c 65 73 20 0a 23  sum log files .#
1040: 20 20 20 20 20 53 51 4c 69 74 65 20 63 6f 6e 74       SQLite cont
1050: 69 6e 75 65 73 20 74 6f 20 75 73 65 20 74 68 65  inues to use the
1060: 20 72 69 67 68 74 20 6b 69 6e 64 20 6f 66 20 63   right kind of c
1070: 68 65 63 6b 73 75 6d 73 2e 0a 23 0a 23 20 20 20  hecksums..#.#   
1080: 2a 20 54 65 73 74 20 70 6f 69 6e 74 20 32 20 77  * Test point 2 w
1090: 68 65 6e 20 74 68 65 20 61 70 70 65 6e 64 69 6e  hen the appendin
10a0: 67 20 70 72 6f 63 65 73 73 20 69 73 20 6e 6f 74  g process is not
10b0: 20 6f 6e 65 20 74 68 61 74 20 72 65 63 6f 76 65   one that recove
10c0: 72 65 64 0a 23 20 20 20 20 20 74 68 65 20 6c 6f  red.#     the lo
10d0: 67 20 66 69 6c 65 2e 0a 23 0a 23 20 20 20 2a 20  g file..#.#   * 
10e0: 54 65 73 74 20 74 68 61 74 20 62 6f 74 68 20 6e  Test that both n
10f0: 61 74 69 76 65 20 61 6e 64 20 6e 6f 6e 2d 6e 61  ative and non-na
1100: 74 69 76 65 20 63 68 65 63 6b 73 75 6d 20 6c 6f  tive checksum lo
1110: 67 20 66 69 6c 65 73 20 63 61 6e 20 62 65 0a 23  g files can be.#
1120: 20 20 20 20 20 63 68 65 63 6b 70 6f 69 6e 74 65       checkpointe
1130: 64 2e 20 41 6e 64 20 74 68 61 74 20 61 66 74 65  d. And that afte
1140: 72 20 64 6f 69 6e 67 20 73 6f 20 74 68 65 20 6e  r doing so the n
1150: 65 78 74 20 77 72 69 74 65 20 74 6f 20 74 68 65  ext write to the
1160: 20 6c 6f 67 0a 23 20 20 20 20 20 66 69 6c 65 20   log.#     file 
1170: 6f 63 63 75 72 73 20 75 73 69 6e 67 20 6e 61 74  occurs using nat
1180: 69 76 65 20 62 79 74 65 2d 6f 72 64 65 72 20 63  ive byte-order c
1190: 68 65 63 6b 73 75 6d 73 2e 20 0a 23 0a 73 65 74  hecksums. .#.set
11a0: 20 6e 61 74 69 76 65 20 22 62 69 67 22 0a 69 66   native "big".if
11b0: 20 7b 24 3a 3a 74 63 6c 5f 70 6c 61 74 66 6f 72   {$::tcl_platfor
11c0: 6d 28 62 79 74 65 4f 72 64 65 72 29 20 3d 3d 20  m(byteOrder) == 
11d0: 22 6c 69 74 74 6c 65 45 6e 64 69 61 6e 22 7d 20  "littleEndian"} 
11e0: 7b 20 73 65 74 20 6e 61 74 69 76 65 20 22 6c 69  { set native "li
11f0: 74 74 6c 65 22 20 7d 0a 66 6f 72 65 61 63 68 20  ttle" }.foreach 
1200: 65 6e 64 69 61 6e 20 7b 62 69 67 20 6c 69 74 74  endian {big litt
1210: 6c 65 7d 20 7b 0a 0a 20 20 23 20 43 72 65 61 74  le} {..  # Creat
1220: 65 20 61 20 64 61 74 61 62 61 73 65 2e 20 4c 65  e a database. Le
1230: 61 76 65 20 73 6f 6d 65 20 64 61 74 61 20 69 6e  ave some data in
1240: 20 74 68 65 20 6c 6f 67 20 66 69 6c 65 2e 0a 20   the log file.. 
1250: 20 23 0a 20 20 64 6f 5f 74 65 73 74 20 77 61 6c   #.  do_test wal
1260: 63 6b 73 75 6d 2d 31 2e 24 65 6e 64 69 61 6e 2e  cksum-1.$endian.
1270: 31 20 7b 0a 20 20 20 20 63 61 74 63 68 20 7b 20  1 {.    catch { 
1280: 64 62 20 63 6c 6f 73 65 20 7d 0a 20 20 20 20 66  db close }.    f
1290: 6f 72 63 65 64 65 6c 65 74 65 20 74 65 73 74 2e  orcedelete test.
12a0: 64 62 20 74 65 73 74 2e 64 62 2d 77 61 6c 20 74  db test.db-wal t
12b0: 65 73 74 2e 64 62 2d 6a 6f 75 72 6e 61 6c 0a 20  est.db-journal. 
12c0: 20 20 20 73 71 6c 69 74 65 33 20 64 62 20 74 65     sqlite3 db te
12d0: 73 74 2e 64 62 0a 20 20 20 20 65 78 65 63 73 71  st.db.    execsq
12e0: 6c 20 7b 0a 20 20 20 20 20 20 50 52 41 47 4d 41  l {.      PRAGMA
12f0: 20 70 61 67 65 5f 73 69 7a 65 20 3d 20 31 30 32   page_size = 102
1300: 34 3b 0a 20 20 20 20 20 20 50 52 41 47 4d 41 20  4;.      PRAGMA 
1310: 61 75 74 6f 5f 76 61 63 75 75 6d 20 3d 20 30 3b  auto_vacuum = 0;
1320: 0a 20 20 20 20 20 20 50 52 41 47 4d 41 20 73 79  .      PRAGMA sy
1330: 6e 63 68 72 6f 6e 6f 75 73 20 3d 20 4e 4f 52 4d  nchronous = NORM
1340: 41 4c 3b 0a 0a 20 20 20 20 20 20 43 52 45 41 54  AL;..      CREAT
1350: 45 20 54 41 42 4c 45 20 74 31 28 61 20 50 52 49  E TABLE t1(a PRI
1360: 4d 41 52 59 20 4b 45 59 2c 20 62 29 3b 0a 20 20  MARY KEY, b);.  
1370: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
1380: 74 31 20 56 41 4c 55 45 53 28 31 2c 20 20 27 6f  t1 VALUES(1,  'o
1390: 6e 65 27 29 3b 0a 20 20 20 20 20 20 49 4e 53 45  ne');.      INSE
13a0: 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45  RT INTO t1 VALUE
13b0: 53 28 32 2c 20 20 27 74 77 6f 27 29 3b 0a 20 20  S(2,  'two');.  
13c0: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
13d0: 74 31 20 56 41 4c 55 45 53 28 33 2c 20 20 27 74  t1 VALUES(3,  't
13e0: 68 72 65 65 27 29 3b 0a 20 20 20 20 20 20 49 4e  hree');.      IN
13f0: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c  SERT INTO t1 VAL
1400: 55 45 53 28 35 2c 20 20 27 66 69 76 65 27 29 3b  UES(5,  'five');
1410: 0a 0a 20 20 20 20 20 20 50 52 41 47 4d 41 20 6a  ..      PRAGMA j
1420: 6f 75 72 6e 61 6c 5f 6d 6f 64 65 20 3d 20 57 41  ournal_mode = WA
1430: 4c 3b 0a 20 20 20 20 20 20 49 4e 53 45 52 54 20  L;.      INSERT 
1440: 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 38  INTO t1 VALUES(8
1450: 2c 20 20 27 65 69 67 68 74 27 29 3b 0a 20 20 20  ,  'eight');.   
1460: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
1470: 31 20 56 41 4c 55 45 53 28 31 33 2c 20 27 74 68  1 VALUES(13, 'th
1480: 69 72 74 65 65 6e 27 29 3b 0a 20 20 20 20 20 20  irteen');.      
1490: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56  INSERT INTO t1 V
14a0: 41 4c 55 45 53 28 32 31 2c 20 27 74 77 65 6e 74  ALUES(21, 'twent
14b0: 79 6f 6e 65 27 29 3b 0a 20 20 20 20 7d 0a 0a 20  yone');.    }.. 
14c0: 20 20 20 66 6f 72 63 65 63 6f 70 79 20 74 65 73     forcecopy tes
14d0: 74 2e 64 62 20 74 65 73 74 32 2e 64 62 0a 20 20  t.db test2.db.  
14e0: 20 20 66 6f 72 63 65 63 6f 70 79 20 74 65 73 74    forcecopy test
14f0: 2e 64 62 2d 77 61 6c 20 74 65 73 74 32 2e 64 62  .db-wal test2.db
1500: 2d 77 61 6c 0a 20 20 20 20 64 62 20 63 6c 6f 73  -wal.    db clos
1510: 65 0a 0a 20 20 20 20 6c 69 73 74 20 5b 66 69 6c  e..    list [fil
1520: 65 20 73 69 7a 65 20 74 65 73 74 32 2e 64 62 5d  e size test2.db]
1530: 20 5b 66 69 6c 65 20 73 69 7a 65 20 74 65 73 74   [file size test
1540: 32 2e 64 62 2d 77 61 6c 5d 0a 20 20 7d 20 5b 6c  2.db-wal].  } [l
1550: 69 73 74 20 5b 65 78 70 72 20 31 30 32 34 2a 33  ist [expr 1024*3
1560: 5d 20 5b 77 61 6c 5f 66 69 6c 65 5f 73 69 7a 65  ] [wal_file_size
1570: 20 36 20 31 30 32 34 5d 5d 0a 0a 20 20 23 20 56   6 1024]]..  # V
1580: 65 72 69 66 79 20 74 68 61 74 20 74 68 65 20 63  erify that the c
1590: 68 65 63 6b 73 75 6d 73 20 61 72 65 20 76 61 6c  hecksums are val
15a0: 69 64 20 66 6f 72 20 61 6c 6c 20 66 72 61 6d 65  id for all frame
15b0: 73 20 61 6e 64 20 74 68 61 74 20 74 68 65 79 0a  s and that they.
15c0: 20 20 23 20 61 72 65 20 63 61 6c 63 75 6c 61 74    # are calculat
15d0: 65 64 20 62 79 20 69 6e 74 65 72 70 72 65 74 69  ed by interpreti
15e0: 6e 67 20 64 61 74 61 20 69 6e 20 6e 61 74 69 76  ng data in nativ
15f0: 65 20 62 79 74 65 2d 6f 72 64 65 72 2e 0a 20 20  e byte-order..  
1600: 23 0a 20 20 66 6f 72 20 7b 73 65 74 20 66 20 31  #.  for {set f 1
1610: 7d 20 7b 24 66 20 3c 3d 20 36 7d 20 7b 69 6e 63  } {$f <= 6} {inc
1620: 72 20 66 7d 20 7b 0a 20 20 20 20 64 6f 5f 74 65  r f} {.    do_te
1630: 73 74 20 77 61 6c 63 6b 73 75 6d 2d 31 2e 24 65  st walcksum-1.$e
1640: 6e 64 69 61 6e 2e 32 2e 24 66 20 7b 0a 20 20 20  ndian.2.$f {.   
1650: 20 20 20 6c 6f 67 5f 63 68 65 63 6b 73 75 6d 5f     log_checksum_
1660: 76 65 72 69 66 79 20 74 65 73 74 32 2e 64 62 2d  verify test2.db-
1670: 77 61 6c 20 24 66 20 24 6e 61 74 69 76 65 0a 20  wal $f $native. 
1680: 20 20 20 7d 20 31 0a 20 20 7d 0a 0a 20 20 23 20     } 1.  }..  # 
1690: 52 65 70 6c 61 63 65 20 61 6c 6c 20 63 68 65 63  Replace all chec
16a0: 6b 73 75 6d 73 20 69 6e 20 74 68 65 20 63 75 72  ksums in the cur
16b0: 72 65 6e 74 20 57 41 4c 20 66 69 6c 65 20 77 69  rent WAL file wi
16c0: 74 68 20 24 65 6e 64 69 61 6e 20 76 65 72 73 69  th $endian versi
16d0: 6f 6e 73 2e 0a 20 20 23 20 54 68 65 6e 20 63 68  ons..  # Then ch
16e0: 65 63 6b 20 74 68 61 74 20 69 74 20 69 73 20 73  eck that it is s
16f0: 74 69 6c 6c 20 70 6f 73 73 69 62 6c 65 20 74 6f  till possible to
1700: 20 72 65 63 6f 76 65 72 20 61 6e 64 20 72 65 61   recover and rea
1710: 64 20 74 68 65 20 64 61 74 61 62 61 73 65 2e 0a  d the database..
1720: 20 20 23 0a 20 20 6c 6f 67 5f 63 68 65 63 6b 73    #.  log_checks
1730: 75 6d 5f 77 72 69 74 65 6d 61 67 69 63 20 74 65  um_writemagic te
1740: 73 74 32 2e 64 62 2d 77 61 6c 20 24 65 6e 64 69  st2.db-wal $endi
1750: 61 6e 0a 20 20 66 6f 72 20 7b 73 65 74 20 66 20  an.  for {set f 
1760: 31 7d 20 7b 24 66 20 3c 3d 20 36 7d 20 7b 69 6e  1} {$f <= 6} {in
1770: 63 72 20 66 7d 20 7b 0a 20 20 20 20 64 6f 5f 74  cr f} {.    do_t
1780: 65 73 74 20 77 61 6c 63 6b 73 75 6d 2d 31 2e 24  est walcksum-1.$
1790: 65 6e 64 69 61 6e 2e 33 2e 24 66 20 7b 0a 20 20  endian.3.$f {.  
17a0: 20 20 20 20 6c 6f 67 5f 63 68 65 63 6b 73 75 6d      log_checksum
17b0: 5f 77 72 69 74 65 20 74 65 73 74 32 2e 64 62 2d  _write test2.db-
17c0: 77 61 6c 20 24 66 20 24 65 6e 64 69 61 6e 0a 20  wal $f $endian. 
17d0: 20 20 20 20 20 6c 6f 67 5f 63 68 65 63 6b 73 75       log_checksu
17e0: 6d 5f 76 65 72 69 66 79 20 74 65 73 74 32 2e 64  m_verify test2.d
17f0: 62 2d 77 61 6c 20 24 66 20 24 65 6e 64 69 61 6e  b-wal $f $endian
1800: 0a 20 20 20 20 7d 20 7b 31 7d 0a 20 20 7d 0a 20  .    } {1}.  }. 
1810: 20 64 6f 5f 74 65 73 74 20 77 61 6c 63 6b 73 75   do_test walcksu
1820: 6d 2d 31 2e 24 65 6e 64 69 61 6e 2e 34 2e 31 20  m-1.$endian.4.1 
1830: 7b 0a 20 20 20 20 66 6f 72 63 65 63 6f 70 79 20  {.    forcecopy 
1840: 74 65 73 74 32 2e 64 62 20 74 65 73 74 2e 64 62  test2.db test.db
1850: 0a 20 20 20 20 66 6f 72 63 65 63 6f 70 79 20 74  .    forcecopy t
1860: 65 73 74 32 2e 64 62 2d 77 61 6c 20 74 65 73 74  est2.db-wal test
1870: 2e 64 62 2d 77 61 6c 0a 20 20 20 20 73 71 6c 69  .db-wal.    sqli
1880: 74 65 33 20 64 62 20 74 65 73 74 2e 64 62 0a 20  te3 db test.db. 
1890: 20 20 20 65 78 65 63 73 71 6c 20 7b 20 53 45 4c     execsql { SEL
18a0: 45 43 54 20 61 20 46 52 4f 4d 20 74 31 20 7d 0a  ECT a FROM t1 }.
18b0: 20 20 7d 20 7b 31 20 32 20 33 20 35 20 38 20 31    } {1 2 3 5 8 1
18c0: 33 20 32 31 7d 0a 0a 20 20 23 20 46 6f 6c 6c 6f  3 21}..  # Follo
18d0: 77 69 6e 67 20 72 65 63 6f 76 65 72 79 2c 20 61  wing recovery, a
18e0: 6e 79 20 66 72 61 6d 65 73 20 77 72 69 74 74 65  ny frames writte
18f0: 6e 20 74 6f 20 74 68 65 20 6c 6f 67 20 73 68 6f  n to the log sho
1900: 75 6c 64 20 75 73 65 20 74 68 65 20 73 61 6d 65  uld use the same
1910: 20 0a 20 20 23 20 65 6e 64 69 61 6e 6e 65 73 73   .  # endianness
1920: 20 61 73 20 74 68 65 20 65 78 69 73 74 69 6e 67   as the existing
1930: 20 66 72 61 6d 65 73 2e 20 43 68 65 63 6b 20 74   frames. Check t
1940: 68 61 74 20 74 68 69 73 20 69 73 20 74 68 65 20  hat this is the 
1950: 63 61 73 65 2e 0a 20 20 23 0a 20 20 64 6f 5f 74  case..  #.  do_t
1960: 65 73 74 20 77 61 6c 63 6b 73 75 6d 2d 31 2e 24  est walcksum-1.$
1970: 65 6e 64 69 61 6e 2e 35 2e 30 20 7b 0a 20 20 20  endian.5.0 {.   
1980: 20 65 78 65 63 73 71 6c 20 7b 20 0a 20 20 20 20   execsql { .    
1990: 20 20 50 52 41 47 4d 41 20 73 79 6e 63 68 72 6f    PRAGMA synchro
19a0: 6e 6f 75 73 20 3d 20 4e 4f 52 4d 41 4c 3b 0a 20  nous = NORMAL;. 
19b0: 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f       INSERT INTO
19c0: 20 74 31 20 56 41 4c 55 45 53 28 33 34 2c 20 27   t1 VALUES(34, '
19d0: 74 68 69 72 74 79 66 6f 75 72 27 29 3b 0a 20 20  thirtyfour');.  
19e0: 20 20 7d 0a 20 20 20 20 6c 69 73 74 20 5b 66 69    }.    list [fi
19f0: 6c 65 20 73 69 7a 65 20 74 65 73 74 2e 64 62 5d  le size test.db]
1a00: 20 5b 66 69 6c 65 20 73 69 7a 65 20 74 65 73 74   [file size test
1a10: 2e 64 62 2d 77 61 6c 5d 0a 20 20 7d 20 5b 6c 69  .db-wal].  } [li
1a20: 73 74 20 5b 65 78 70 72 20 31 30 32 34 2a 33 5d  st [expr 1024*3]
1a30: 20 5b 77 61 6c 5f 66 69 6c 65 5f 73 69 7a 65 20   [wal_file_size 
1a40: 38 20 31 30 32 34 5d 5d 0a 20 20 66 6f 72 20 7b  8 1024]].  for {
1a50: 73 65 74 20 66 20 31 7d 20 7b 24 66 20 3c 3d 20  set f 1} {$f <= 
1a60: 38 7d 20 7b 69 6e 63 72 20 66 7d 20 7b 0a 20 20  8} {incr f} {.  
1a70: 20 20 64 6f 5f 74 65 73 74 20 77 61 6c 63 6b 73    do_test walcks
1a80: 75 6d 2d 31 2e 24 65 6e 64 69 61 6e 2e 35 2e 24  um-1.$endian.5.$
1a90: 66 20 7b 0a 20 20 20 20 20 20 6c 6f 67 5f 63 68  f {.      log_ch
1aa0: 65 63 6b 73 75 6d 5f 76 65 72 69 66 79 20 74 65  ecksum_verify te
1ab0: 73 74 2e 64 62 2d 77 61 6c 20 24 66 20 24 65 6e  st.db-wal $f $en
1ac0: 64 69 61 6e 0a 20 20 20 20 7d 20 7b 31 7d 0a 20  dian.    } {1}. 
1ad0: 20 7d 0a 0a 20 20 23 20 4e 6f 77 20 63 6f 6e 6e   }..  # Now conn
1ae0: 65 63 74 20 61 20 73 65 63 6f 6e 64 20 63 6f 6e  ect a second con
1af0: 6e 65 63 74 69 6f 6e 20 74 6f 20 74 68 65 20 64  nection to the d
1b00: 61 74 61 62 61 73 65 2e 20 43 68 65 63 6b 20 74  atabase. Check t
1b10: 68 61 74 20 74 68 69 73 20 6f 6e 65 0a 20 20 23  hat this one.  #
1b20: 20 28 6e 6f 74 20 74 68 65 20 6f 6e 65 20 74 68   (not the one th
1b30: 61 74 20 64 69 64 20 72 65 63 6f 76 65 72 79 29  at did recovery)
1b40: 20 61 6c 73 6f 20 61 70 70 65 6e 64 73 20 66 72   also appends fr
1b50: 61 6d 65 73 20 74 6f 20 74 68 65 20 6c 6f 67 20  ames to the log 
1b60: 75 73 69 6e 67 0a 20 20 23 20 74 68 65 20 73 61  using.  # the sa
1b70: 6d 65 20 65 6e 64 69 61 6e 6e 65 73 73 20 66 6f  me endianness fo
1b80: 72 20 63 68 65 63 6b 73 75 6d 73 20 61 73 20 74  r checksums as t
1b90: 68 65 20 65 78 69 73 74 69 6e 67 20 66 72 61 6d  he existing fram
1ba0: 65 73 2e 0a 20 20 23 0a 20 20 64 6f 5f 74 65 73  es..  #.  do_tes
1bb0: 74 20 77 61 6c 63 6b 73 75 6d 2d 31 2e 24 65 6e  t walcksum-1.$en
1bc0: 64 69 61 6e 2e 36 20 7b 0a 20 20 20 20 73 71 6c  dian.6 {.    sql
1bd0: 69 74 65 33 20 64 62 32 20 74 65 73 74 2e 64 62  ite3 db2 test.db
1be0: 0a 20 20 20 20 65 78 65 63 73 71 6c 20 7b 20 0a  .    execsql { .
1bf0: 20 20 20 20 20 20 50 52 41 47 4d 41 20 69 6e 74        PRAGMA int
1c00: 65 67 72 69 74 79 5f 63 68 65 63 6b 3b 0a 20 20  egrity_check;.  
1c10: 20 20 20 20 53 45 4c 45 43 54 20 61 20 46 52 4f      SELECT a FRO
1c20: 4d 20 74 31 3b 0a 20 20 20 20 7d 20 64 62 32 0a  M t1;.    } db2.
1c30: 20 20 7d 20 7b 6f 6b 20 31 20 32 20 33 20 35 20    } {ok 1 2 3 5 
1c40: 38 20 31 33 20 32 31 20 33 34 7d 0a 20 20 64 6f  8 13 21 34}.  do
1c50: 5f 74 65 73 74 20 77 61 6c 63 6b 73 75 6d 2d 31  _test walcksum-1
1c60: 2e 24 65 6e 64 69 61 6e 2e 37 2e 30 20 7b 0a 20  .$endian.7.0 {. 
1c70: 20 20 20 65 78 65 63 73 71 6c 20 7b 20 0a 20 20     execsql { .  
1c80: 20 20 20 20 50 52 41 47 4d 41 20 73 79 6e 63 68      PRAGMA synch
1c90: 72 6f 6e 6f 75 73 20 3d 20 4e 4f 52 4d 41 4c 3b  ronous = NORMAL;
1ca0: 0a 20 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e  .      INSERT IN
1cb0: 54 4f 20 74 31 20 56 41 4c 55 45 53 28 35 35 2c  TO t1 VALUES(55,
1cc0: 20 27 66 69 66 74 79 66 69 76 65 27 29 3b 0a 20   'fiftyfive');. 
1cd0: 20 20 20 7d 20 64 62 32 0a 20 20 20 20 6c 69 73     } db2.    lis
1ce0: 74 20 5b 66 69 6c 65 20 73 69 7a 65 20 74 65 73  t [file size tes
1cf0: 74 2e 64 62 5d 20 5b 66 69 6c 65 20 73 69 7a 65  t.db] [file size
1d00: 20 74 65 73 74 2e 64 62 2d 77 61 6c 5d 0a 20 20   test.db-wal].  
1d10: 7d 20 5b 6c 69 73 74 20 5b 65 78 70 72 20 31 30  } [list [expr 10
1d20: 32 34 2a 33 5d 20 5b 77 61 6c 5f 66 69 6c 65 5f  24*3] [wal_file_
1d30: 73 69 7a 65 20 31 30 20 31 30 32 34 5d 5d 0a 20  size 10 1024]]. 
1d40: 20 66 6f 72 20 7b 73 65 74 20 66 20 31 7d 20 7b   for {set f 1} {
1d50: 24 66 20 3c 3d 20 31 30 7d 20 7b 69 6e 63 72 20  $f <= 10} {incr 
1d60: 66 7d 20 7b 0a 20 20 20 20 64 6f 5f 74 65 73 74  f} {.    do_test
1d70: 20 77 61 6c 63 6b 73 75 6d 2d 31 2e 24 65 6e 64   walcksum-1.$end
1d80: 69 61 6e 2e 37 2e 24 66 20 7b 0a 20 20 20 20 20  ian.7.$f {.     
1d90: 20 6c 6f 67 5f 63 68 65 63 6b 73 75 6d 5f 76 65   log_checksum_ve
1da0: 72 69 66 79 20 74 65 73 74 2e 64 62 2d 77 61 6c  rify test.db-wal
1db0: 20 24 66 20 24 65 6e 64 69 61 6e 0a 20 20 20 20   $f $endian.    
1dc0: 7d 20 7b 31 7d 0a 20 20 7d 0a 0a 20 20 23 20 4e  } {1}.  }..  # N
1dd0: 6f 77 20 74 68 61 74 20 62 6f 74 68 20 74 68 65  ow that both the
1de0: 20 72 65 63 6f 76 65 72 65 72 20 61 6e 64 20 6e   recoverer and n
1df0: 6f 6e 2d 72 65 63 6f 76 65 72 65 72 20 68 61 76  on-recoverer hav
1e00: 65 20 61 64 64 65 64 20 66 72 61 6d 65 73 20 74  e added frames t
1e10: 6f 20 74 68 65 0a 20 20 23 20 6c 6f 67 20 66 69  o the.  # log fi
1e20: 6c 65 2c 20 63 68 65 63 6b 20 74 68 61 74 20 69  le, check that i
1e30: 74 20 63 61 6e 20 73 74 69 6c 6c 20 62 65 20 72  t can still be r
1e40: 65 63 6f 76 65 72 65 64 2e 0a 20 20 23 0a 20 20  ecovered..  #.  
1e50: 66 6f 72 63 65 63 6f 70 79 20 74 65 73 74 2e 64  forcecopy test.d
1e60: 62 20 74 65 73 74 32 2e 64 62 0a 20 20 66 6f 72  b test2.db.  for
1e70: 63 65 63 6f 70 79 20 74 65 73 74 2e 64 62 2d 77  cecopy test.db-w
1e80: 61 6c 20 74 65 73 74 32 2e 64 62 2d 77 61 6c 0a  al test2.db-wal.
1e90: 20 20 64 6f 5f 74 65 73 74 20 77 61 6c 63 6b 73    do_test walcks
1ea0: 75 6d 2d 31 2e 24 65 6e 64 69 61 6e 2e 37 2e 31  um-1.$endian.7.1
1eb0: 31 20 7b 0a 20 20 20 20 73 71 6c 69 74 65 33 20  1 {.    sqlite3 
1ec0: 64 62 33 20 74 65 73 74 32 2e 64 62 0a 20 20 20  db3 test2.db.   
1ed0: 20 65 78 65 63 73 71 6c 20 7b 20 0a 20 20 20 20   execsql { .    
1ee0: 20 20 50 52 41 47 4d 41 20 69 6e 74 65 67 72 69    PRAGMA integri
1ef0: 74 79 5f 63 68 65 63 6b 3b 0a 20 20 20 20 20 20  ty_check;.      
1f00: 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 31  SELECT a FROM t1
1f10: 3b 0a 20 20 20 20 7d 20 64 62 33 0a 20 20 7d 20  ;.    } db3.  } 
1f20: 7b 6f 6b 20 31 20 32 20 33 20 35 20 38 20 31 33  {ok 1 2 3 5 8 13
1f30: 20 32 31 20 33 34 20 35 35 7d 0a 20 20 64 62 33   21 34 55}.  db3
1f40: 20 63 6c 6f 73 65 0a 0a 20 20 23 20 52 75 6e 20   close..  # Run 
1f50: 61 20 63 68 65 63 6b 70 6f 69 6e 74 20 6f 6e 20  a checkpoint on 
1f60: 74 68 65 20 64 61 74 61 62 61 73 65 20 66 69 6c  the database fil
1f70: 65 2e 20 54 68 65 6e 2c 20 63 68 65 63 6b 20 74  e. Then, check t
1f80: 68 61 74 20 61 6e 79 20 66 72 61 6d 65 73 20 77  hat any frames w
1f90: 72 69 74 74 65 6e 0a 20 20 23 20 74 6f 20 74 68  ritten.  # to th
1fa0: 65 20 73 74 61 72 74 20 6f 66 20 74 68 65 20 6c  e start of the l
1fb0: 6f 67 20 75 73 65 20 6e 61 74 69 76 65 20 62 79  og use native by
1fc0: 74 65 2d 6f 72 64 65 72 20 63 68 65 63 6b 73 75  te-order checksu
1fd0: 6d 73 2e 0a 20 20 23 0a 20 20 64 6f 5f 74 65 73  ms..  #.  do_tes
1fe0: 74 20 77 61 6c 63 6b 73 75 6d 2d 31 2e 24 65 6e  t walcksum-1.$en
1ff0: 64 69 61 6e 2e 38 2e 31 20 7b 0a 20 20 20 20 65  dian.8.1 {.    e
2000: 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 20 20 50  xecsql {.      P
2010: 52 41 47 4d 41 20 77 61 6c 5f 63 68 65 63 6b 70  RAGMA wal_checkp
2020: 6f 69 6e 74 3b 0a 20 20 20 20 20 20 49 4e 53 45  oint;.      INSE
2030: 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45  RT INTO t1 VALUE
2040: 53 28 38 39 2c 20 27 65 69 67 68 74 79 6e 69 6e  S(89, 'eightynin
2050: 65 27 29 3b 0a 20 20 20 20 7d 0a 20 20 20 20 6c  e');.    }.    l
2060: 6f 67 5f 63 68 65 63 6b 73 75 6d 5f 76 65 72 69  og_checksum_veri
2070: 66 79 20 74 65 73 74 2e 64 62 2d 77 61 6c 20 31  fy test.db-wal 1
2080: 20 24 6e 61 74 69 76 65 0a 20 20 7d 20 7b 31 7d   $native.  } {1}
2090: 0a 20 20 64 6f 5f 74 65 73 74 20 77 61 6c 63 6b  .  do_test walck
20a0: 73 75 6d 2d 31 2e 24 65 6e 64 69 61 6e 2e 38 2e  sum-1.$endian.8.
20b0: 32 20 7b 0a 20 20 20 20 6c 6f 67 5f 63 68 65 63  2 {.    log_chec
20c0: 6b 73 75 6d 5f 76 65 72 69 66 79 20 74 65 73 74  ksum_verify test
20d0: 2e 64 62 2d 77 61 6c 20 32 20 24 6e 61 74 69 76  .db-wal 2 $nativ
20e0: 65 0a 20 20 7d 20 7b 31 7d 0a 20 20 64 6f 5f 74  e.  } {1}.  do_t
20f0: 65 73 74 20 77 61 6c 63 6b 73 75 6d 2d 31 2e 24  est walcksum-1.$
2100: 65 6e 64 69 61 6e 2e 38 2e 33 20 7b 0a 20 20 20  endian.8.3 {.   
2110: 20 6c 6f 67 5f 63 68 65 63 6b 73 75 6d 5f 76 65   log_checksum_ve
2120: 72 69 66 79 20 74 65 73 74 2e 64 62 2d 77 61 6c  rify test.db-wal
2130: 20 33 20 24 6e 61 74 69 76 65 0a 20 20 7d 20 7b   3 $native.  } {
2140: 30 7d 0a 0a 20 20 64 6f 5f 74 65 73 74 20 77 61  0}..  do_test wa
2150: 6c 63 6b 73 75 6d 2d 31 2e 24 65 6e 64 69 61 6e  lcksum-1.$endian
2160: 2e 39 20 7b 0a 20 20 20 20 65 78 65 63 73 71 6c  .9 {.    execsql
2170: 20 7b 20 0a 20 20 20 20 20 20 50 52 41 47 4d 41   { .      PRAGMA
2180: 20 69 6e 74 65 67 72 69 74 79 5f 63 68 65 63 6b   integrity_check
2190: 3b 0a 20 20 20 20 20 20 53 45 4c 45 43 54 20 61  ;.      SELECT a
21a0: 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 7d 20   FROM t1;.    } 
21b0: 64 62 32 0a 20 20 7d 20 7b 6f 6b 20 31 20 32 20  db2.  } {ok 1 2 
21c0: 33 20 35 20 38 20 31 33 20 32 31 20 33 34 20 35  3 5 8 13 21 34 5
21d0: 35 20 38 39 7d 0a 0a 20 20 63 61 74 63 68 20 7b  5 89}..  catch {
21e0: 20 64 62 20 63 6c 6f 73 65 20 7d 0a 20 20 63 61   db close }.  ca
21f0: 74 63 68 20 7b 20 64 62 32 20 63 6c 6f 73 65 20  tch { db2 close 
2200: 7d 0a 7d 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  }.}..#----------
2210: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2220: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2230: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2240: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a  ---------------.
2250: 23 20 54 65 73 74 20 63 61 73 65 20 77 61 6c 63  # Test case walc
2260: 6b 73 75 6d 2d 32 2e 2a 20 74 65 73 74 73 20 74  ksum-2.* tests t
2270: 68 61 74 20 69 66 20 61 20 73 74 61 74 65 6d 65  hat if a stateme
2280: 6e 74 20 74 72 61 6e 73 61 63 74 69 6f 6e 20 69  nt transaction i
2290: 73 20 72 6f 6c 6c 65 64 0a 23 20 62 61 63 6b 20  s rolled.# back 
22a0: 61 66 74 65 72 20 66 72 61 6d 65 73 20 61 72 65  after frames are
22b0: 20 77 72 69 74 74 65 6e 20 74 6f 20 74 68 65 20   written to the 
22c0: 57 41 4c 2c 20 61 6e 64 20 74 68 65 6e 20 28 61  WAL, and then (a
22d0: 66 74 65 72 20 77 72 69 74 69 6e 67 20 73 6f 6d  fter writing som
22e0: 65 0a 23 20 6d 6f 72 65 29 20 74 68 65 20 6f 75  e.# more) the ou
22f0: 74 65 72 20 74 72 61 6e 73 61 63 74 69 6f 6e 20  ter transaction 
2300: 69 73 20 63 6f 6d 6d 69 74 74 65 64 2c 20 74 68  is committed, th
2310: 65 20 57 41 4c 20 66 69 6c 65 20 69 73 20 73 74  e WAL file is st
2320: 69 6c 6c 20 63 6f 72 72 65 63 74 6c 79 0a 23 20  ill correctly.# 
2330: 66 6f 72 6d 61 74 74 65 64 20 28 61 6e 64 20 63  formatted (and c
2340: 61 6e 20 62 65 20 72 65 63 6f 76 65 72 65 64 20  an be recovered 
2350: 62 79 20 61 20 73 65 63 6f 6e 64 20 70 72 6f 63  by a second proc
2360: 65 73 73 20 69 66 20 72 65 71 75 69 72 65 64 29  ess if required)
2370: 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 77 61 6c 63  ..#.do_test walc
2380: 6b 73 75 6d 2d 32 2e 31 20 7b 0a 20 20 66 6f 72  ksum-2.1 {.  for
2390: 63 65 64 65 6c 65 74 65 20 74 65 73 74 2e 64 62  cedelete test.db
23a0: 20 74 65 73 74 2e 64 62 2d 77 61 6c 20 74 65 73   test.db-wal tes
23b0: 74 2e 64 62 2d 6a 6f 75 72 6e 61 6c 0a 20 20 73  t.db-journal.  s
23c0: 71 6c 69 74 65 33 20 64 62 20 74 65 73 74 2e 64  qlite3 db test.d
23d0: 62 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20  b.  execsql {.  
23e0: 20 20 50 52 41 47 4d 41 20 73 79 6e 63 68 72 6f    PRAGMA synchro
23f0: 6e 6f 75 73 20 3d 20 4e 4f 52 4d 41 4c 3b 0a 20  nous = NORMAL;. 
2400: 20 20 20 50 52 41 47 4d 41 20 70 61 67 65 5f 73     PRAGMA page_s
2410: 69 7a 65 20 3d 20 31 30 32 34 3b 0a 20 20 20 20  ize = 1024;.    
2420: 50 52 41 47 4d 41 20 6a 6f 75 72 6e 61 6c 5f 6d  PRAGMA journal_m
2430: 6f 64 65 20 3d 20 57 41 4c 3b 0a 20 20 20 20 50  ode = WAL;.    P
2440: 52 41 47 4d 41 20 63 61 63 68 65 5f 73 69 7a 65  RAGMA cache_size
2450: 20 3d 20 31 30 3b 0a 20 20 20 20 43 52 45 41 54   = 10;.    CREAT
2460: 45 20 54 41 42 4c 45 20 74 31 28 78 20 50 52 49  E TABLE t1(x PRI
2470: 4d 41 52 59 20 4b 45 59 29 3b 0a 20 20 20 20 50  MARY KEY);.    P
2480: 52 41 47 4d 41 20 77 61 6c 5f 63 68 65 63 6b 70  RAGMA wal_checkp
2490: 6f 69 6e 74 3b 0a 20 20 20 20 49 4e 53 45 52 54  oint;.    INSERT
24a0: 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28   INTO t1 VALUES(
24b0: 72 61 6e 64 6f 6d 62 6c 6f 62 28 38 30 30 29 29  randomblob(800))
24c0: 3b 0a 20 20 20 20 42 45 47 49 4e 3b 0a 20 20 20  ;.    BEGIN;.   
24d0: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
24e0: 31 20 53 45 4c 45 43 54 20 72 61 6e 64 6f 6d 62  1 SELECT randomb
24f0: 6c 6f 62 28 38 30 30 29 20 46 52 4f 4d 20 74 31  lob(800) FROM t1
2500: 3b 20 20 20 2f 2a 20 20 20 32 20 2a 2f 0a 20 20  ;   /*   2 */.  
2510: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
2520: 74 31 20 53 45 4c 45 43 54 20 72 61 6e 64 6f 6d  t1 SELECT random
2530: 62 6c 6f 62 28 38 30 30 29 20 46 52 4f 4d 20 74  blob(800) FROM t
2540: 31 3b 20 20 20 2f 2a 20 20 20 34 20 2a 2f 0a 20  1;   /*   4 */. 
2550: 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f       INSERT INTO
2560: 20 74 31 20 53 45 4c 45 43 54 20 72 61 6e 64 6f   t1 SELECT rando
2570: 6d 62 6c 6f 62 28 38 30 30 29 20 46 52 4f 4d 20  mblob(800) FROM 
2580: 74 31 3b 20 20 20 2f 2a 20 20 20 38 20 2a 2f 0a  t1;   /*   8 */.
2590: 20 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54        INSERT INT
25a0: 4f 20 74 31 20 53 45 4c 45 43 54 20 72 61 6e 64  O t1 SELECT rand
25b0: 6f 6d 62 6c 6f 62 28 38 30 30 29 20 46 52 4f 4d  omblob(800) FROM
25c0: 20 74 31 3b 20 20 20 2f 2a 20 20 31 36 20 2a 2f   t1;   /*  16 */
25d0: 0a 20 20 20 20 20 20 53 41 56 45 50 4f 49 4e 54  .      SAVEPOINT
25e0: 20 6f 6e 65 3b 0a 20 20 20 20 20 20 20 20 49 4e   one;.        IN
25f0: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c  SERT INTO t1 SEL
2600: 45 43 54 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 38  ECT randomblob(8
2610: 30 30 29 20 46 52 4f 4d 20 74 31 3b 20 20 20 2f  00) FROM t1;   /
2620: 2a 20 20 33 32 20 2a 2f 0a 20 20 20 20 20 20 20  *  32 */.       
2630: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
2640: 53 45 4c 45 43 54 20 72 61 6e 64 6f 6d 62 6c 6f  SELECT randomblo
2650: 62 28 38 30 30 29 20 46 52 4f 4d 20 74 31 3b 20  b(800) FROM t1; 
2660: 20 20 2f 2a 20 20 36 34 20 2a 2f 0a 20 20 20 20    /*  64 */.    
2670: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
2680: 74 31 20 53 45 4c 45 43 54 20 72 61 6e 64 6f 6d  t1 SELECT random
2690: 62 6c 6f 62 28 38 30 30 29 20 46 52 4f 4d 20 74  blob(800) FROM t
26a0: 31 3b 20 20 20 2f 2a 20 31 32 38 20 2a 2f 0a 20  1;   /* 128 */. 
26b0: 20 20 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e         INSERT IN
26c0: 54 4f 20 74 31 20 53 45 4c 45 43 54 20 72 61 6e  TO t1 SELECT ran
26d0: 64 6f 6d 62 6c 6f 62 28 38 30 30 29 20 46 52 4f  domblob(800) FRO
26e0: 4d 20 74 31 3b 20 20 20 2f 2a 20 32 35 36 20 2a  M t1;   /* 256 *
26f0: 2f 0a 20 20 20 20 20 20 52 4f 4c 4c 42 41 43 4b  /.      ROLLBACK
2700: 20 54 4f 20 6f 6e 65 3b 0a 20 20 20 20 20 20 49   TO one;.      I
2710: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45  NSERT INTO t1 SE
2720: 4c 45 43 54 20 72 61 6e 64 6f 6d 62 6c 6f 62 28  LECT randomblob(
2730: 38 30 30 29 20 46 52 4f 4d 20 74 31 3b 20 20 20  800) FROM t1;   
2740: 2f 2a 20 20 33 32 20 2a 2f 0a 20 20 20 20 20 20  /*  32 */.      
2750: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53  INSERT INTO t1 S
2760: 45 4c 45 43 54 20 72 61 6e 64 6f 6d 62 6c 6f 62  ELECT randomblob
2770: 28 38 30 30 29 20 46 52 4f 4d 20 74 31 3b 20 20  (800) FROM t1;  
2780: 20 2f 2a 20 20 36 34 20 2a 2f 0a 20 20 20 20 20   /*  64 */.     
2790: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
27a0: 53 45 4c 45 43 54 20 72 61 6e 64 6f 6d 62 6c 6f  SELECT randomblo
27b0: 62 28 38 30 30 29 20 46 52 4f 4d 20 74 31 3b 20  b(800) FROM t1; 
27c0: 20 20 2f 2a 20 31 32 38 20 2a 2f 0a 20 20 20 20    /* 128 */.    
27d0: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31    INSERT INTO t1
27e0: 20 53 45 4c 45 43 54 20 72 61 6e 64 6f 6d 62 6c   SELECT randombl
27f0: 6f 62 28 38 30 30 29 20 46 52 4f 4d 20 74 31 3b  ob(800) FROM t1;
2800: 20 20 20 2f 2a 20 32 35 36 20 2a 2f 0a 20 20 20     /* 256 */.   
2810: 20 43 4f 4d 4d 49 54 3b 0a 20 20 7d 0a 0a 20 20   COMMIT;.  }..  
2820: 66 6f 72 63 65 63 6f 70 79 20 74 65 73 74 2e 64  forcecopy test.d
2830: 62 20 74 65 73 74 32 2e 64 62 0a 20 20 66 6f 72  b test2.db.  for
2840: 63 65 63 6f 70 79 20 74 65 73 74 2e 64 62 2d 77  cecopy test.db-w
2850: 61 6c 20 74 65 73 74 32 2e 64 62 2d 77 61 6c 0a  al test2.db-wal.
2860: 0a 20 20 73 71 6c 69 74 65 33 20 64 62 32 20 74  .  sqlite3 db2 t
2870: 65 73 74 32 2e 64 62 0a 20 20 65 78 65 63 73 71  est2.db.  execsq
2880: 6c 20 7b 0a 20 20 20 20 50 52 41 47 4d 41 20 69  l {.    PRAGMA i
2890: 6e 74 65 67 72 69 74 79 5f 63 68 65 63 6b 3b 0a  ntegrity_check;.
28a0: 20 20 20 20 53 45 4c 45 43 54 20 63 6f 75 6e 74      SELECT count
28b0: 28 2a 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20 7d  (*) FROM t1;.  }
28c0: 20 64 62 32 0a 7d 20 7b 6f 6b 20 32 35 36 7d 0a   db2.} {ok 256}.
28d0: 63 61 74 63 68 20 7b 20 64 62 20 63 6c 6f 73 65  catch { db close
28e0: 20 7d 0a 63 61 74 63 68 20 7b 20 64 62 32 20 63   }.catch { db2 c
28f0: 6c 6f 73 65 20 7d 0a 0a 20 20 0a 66 69 6e 69 73  lose }..  .finis
2900: 68 5f 74 65 73 74 0a                             h_test.