/ Hex Artifact Content
Login

Artifact 0de750389990b1078bab203c712dc3fefd1d8b82:


0000: 23 20 32 30 31 31 20 44 65 63 65 6d 62 65 72 20  # 2011 December 
0010: 32 31 0a 23 0a 23 20 54 68 65 20 61 75 74 68 6f  21.#.# The autho
0020: 72 20 64 69 73 63 6c 61 69 6d 73 20 63 6f 70 79  r disclaims copy
0030: 72 69 67 68 74 20 74 6f 20 74 68 69 73 20 73 6f  right to this so
0040: 75 72 63 65 20 63 6f 64 65 2e 20 20 49 6e 20 70  urce code.  In p
0050: 6c 61 63 65 20 6f 66 0a 23 20 61 20 6c 65 67 61  lace of.# a lega
0060: 6c 20 6e 6f 74 69 63 65 2c 20 68 65 72 65 20 69  l notice, here i
0070: 73 20 61 20 62 6c 65 73 73 69 6e 67 3a 0a 23 0a  s a blessing:.#.
0080: 23 20 20 20 20 4d 61 79 20 79 6f 75 20 64 6f 20  #    May you do 
0090: 67 6f 6f 64 20 61 6e 64 20 6e 6f 74 20 65 76 69  good and not evi
00a0: 6c 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20  l..#    May you 
00b0: 66 69 6e 64 20 66 6f 72 67 69 76 65 6e 65 73 73  find forgiveness
00c0: 20 66 6f 72 20 79 6f 75 72 73 65 6c 66 20 61 6e   for yourself an
00d0: 64 20 66 6f 72 67 69 76 65 20 6f 74 68 65 72 73  d forgive others
00e0: 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20 73  ..#    May you s
00f0: 68 61 72 65 20 66 72 65 65 6c 79 2c 20 6e 65 76  hare freely, nev
0100: 65 72 20 74 61 6b 69 6e 67 20 6d 6f 72 65 20 74  er taking more t
0110: 68 61 6e 20 79 6f 75 20 67 69 76 65 2e 0a 23 0a  han you give..#.
0120: 23 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 2a 0a 23 20 0a 23 20 54 68  ********.# .# Th
0170: 69 73 20 66 69 6c 65 20 69 6d 70 6c 65 6d 65 6e  is file implemen
0180: 74 73 20 74 65 73 74 73 20 6f 66 20 74 68 65 20  ts tests of the 
0190: 53 51 4c 49 54 45 5f 49 4f 43 41 50 5f 50 4f 57  SQLITE_IOCAP_POW
01a0: 45 52 53 41 46 45 5f 4f 56 45 52 57 52 49 54 45  ERSAFE_OVERWRITE
01b0: 20 70 72 6f 70 65 72 74 79 0a 23 20 61 6e 64 20   property.# and 
01c0: 74 68 65 20 53 51 4c 49 54 45 5f 46 43 4e 54 4c  the SQLITE_FCNTL
01d0: 5f 50 4f 57 45 52 53 41 46 45 5f 4f 56 45 52 57  _POWERSAFE_OVERW
01e0: 52 49 54 45 20 66 69 6c 65 2d 63 6f 6e 74 72 6f  RITE file-contro
01f0: 6c 20 66 6f 72 20 6d 61 6e 69 70 75 6c 61 74 69  l for manipulati
0200: 6e 67 20 69 74 2e 0a 23 0a 23 20 54 68 65 20 6e  ng it..#.# The n
0210: 61 6d 65 20 6f 66 20 74 68 69 73 20 66 69 6c 65  ame of this file
0220: 20 63 6f 6d 65 73 20 66 72 6f 6d 20 74 68 65 20   comes from the 
0230: 66 61 63 74 20 74 68 61 74 20 77 65 20 75 73 65  fact that we use
0240: 64 20 74 6f 20 63 61 6c 6c 20 74 68 65 0a 23 20  d to call the.# 
0250: 50 4f 57 45 52 53 41 46 45 5f 4f 56 45 52 57 52  POWERSAFE_OVERWR
0260: 49 54 45 20 70 72 6f 70 65 72 74 79 20 5a 45 52  ITE property ZER
0270: 4f 5f 44 41 4d 41 47 45 2e 0a 23 0a 0a 73 65 74  O_DAMAGE..#..set
0280: 20 74 65 73 74 64 69 72 20 5b 66 69 6c 65 20 64   testdir [file d
0290: 69 72 6e 61 6d 65 20 24 61 72 67 76 30 5d 0a 73  irname $argv0].s
02a0: 6f 75 72 63 65 20 24 74 65 73 74 64 69 72 2f 74  ource $testdir/t
02b0: 65 73 74 65 72 2e 74 63 6c 0a 73 65 74 20 74 65  ester.tcl.set te
02c0: 73 74 70 72 65 66 69 78 20 77 61 6c 35 0a 0a 69  stprefix wal5..i
02d0: 66 63 61 70 61 62 6c 65 20 21 76 74 61 62 20 7b  fcapable !vtab {
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 50 4f 57   return.}..# POW
0300: 45 52 53 41 46 45 5f 4f 56 45 52 57 52 49 54 45  ERSAFE_OVERWRITE
0310: 20 64 65 66 61 75 6c 74 73 20 74 6f 20 74 72 75   defaults to tru
0320: 65 0a 23 0a 64 6f 5f 74 65 73 74 20 7a 65 72 6f  e.#.do_test zero
0330: 64 61 6d 61 67 65 2d 31 2e 30 20 7b 0a 20 20 66  damage-1.0 {.  f
0340: 69 6c 65 5f 63 6f 6e 74 72 6f 6c 5f 70 6f 77 65  ile_control_powe
0350: 72 73 61 66 65 5f 6f 76 65 72 77 72 69 74 65 20  rsafe_overwrite 
0360: 64 62 20 2d 31 0a 7d 20 7b 30 20 31 7d 0a 0a 23  db -1.} {0 1}..#
0370: 20 43 68 65 63 6b 20 74 68 65 20 61 62 69 6c 69   Check the abili
0380: 74 79 20 74 6f 20 74 75 72 6e 20 7a 65 72 6f 2d  ty to turn zero-
0390: 64 61 6d 61 67 65 20 6f 6e 20 61 6e 64 20 6f 66  damage on and of
03a0: 66 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 7a 65 72  f..#.do_test zer
03b0: 6f 64 61 6d 61 67 65 2d 31 2e 31 20 7b 0a 20 20  odamage-1.1 {.  
03c0: 66 69 6c 65 5f 63 6f 6e 74 72 6f 6c 5f 70 6f 77  file_control_pow
03d0: 65 72 73 61 66 65 5f 6f 76 65 72 77 72 69 74 65  ersafe_overwrite
03e0: 20 64 62 20 30 0a 20 20 66 69 6c 65 5f 63 6f 6e   db 0.  file_con
03f0: 74 72 6f 6c 5f 70 6f 77 65 72 73 61 66 65 5f 6f  trol_powersafe_o
0400: 76 65 72 77 72 69 74 65 20 64 62 20 2d 31 0a 7d  verwrite db -1.}
0410: 20 7b 30 20 30 7d 0a 64 6f 5f 74 65 73 74 20 7a   {0 0}.do_test z
0420: 65 72 6f 64 61 6d 61 67 65 2d 31 2e 32 20 7b 0a  erodamage-1.2 {.
0430: 20 20 66 69 6c 65 5f 63 6f 6e 74 72 6f 6c 5f 70    file_control_p
0440: 6f 77 65 72 73 61 66 65 5f 6f 76 65 72 77 72 69  owersafe_overwri
0450: 74 65 20 64 62 20 31 0a 20 20 66 69 6c 65 5f 63  te db 1.  file_c
0460: 6f 6e 74 72 6f 6c 5f 70 6f 77 65 72 73 61 66 65  ontrol_powersafe
0470: 5f 6f 76 65 72 77 72 69 74 65 20 64 62 20 2d 31  _overwrite db -1
0480: 0a 7d 20 7b 30 20 31 7d 0a 0a 23 20 52 75 6e 20  .} {0 1}..# Run 
0490: 61 20 74 72 61 6e 73 61 63 74 69 6f 6e 20 77 69  a transaction wi
04a0: 74 68 20 7a 65 72 6f 2d 64 61 6d 61 67 65 20 6f  th zero-damage o
04b0: 6e 2c 20 61 20 73 6d 61 6c 6c 20 70 61 67 65 20  n, a small page 
04c0: 73 69 7a 65 20 61 6e 64 20 61 20 6d 75 63 68 20  size and a much 
04d0: 6c 61 72 67 65 72 0a 23 20 73 65 63 74 6f 72 73  larger.# sectors
04e0: 69 7a 65 2e 20 20 56 65 72 69 66 79 20 74 68 61  ize.  Verify tha
04f0: 74 20 74 68 65 20 6d 61 78 69 6d 75 6d 20 6a 6f  t the maximum jo
0500: 75 72 6e 61 6c 20 73 69 7a 65 20 69 73 20 73 6d  urnal size is sm
0510: 61 6c 6c 20 2d 20 74 68 61 74 20 74 68 65 0a 23  all - that the.#
0520: 20 72 6f 6c 6c 62 61 63 6b 20 6a 6f 75 72 6e 61   rollback journa
0530: 6c 20 69 73 20 6e 6f 74 20 62 65 69 6e 67 20 70  l is not being p
0540: 61 64 64 65 64 2e 0a 23 0a 64 6f 5f 74 65 73 74  added..#.do_test
0550: 20 7a 65 72 6f 64 61 6d 61 67 65 2d 32 2e 30 20   zerodamage-2.0 
0560: 7b 0a 20 20 64 62 20 63 6c 6f 73 65 0a 20 20 74  {.  db close.  t
0570: 65 73 74 76 66 73 20 74 76 20 2d 64 65 66 61 75  estvfs tv -defau
0580: 6c 74 20 31 0a 20 20 74 76 20 73 65 63 74 6f 72  lt 1.  tv sector
0590: 73 69 7a 65 20 38 31 39 32 0a 20 20 73 71 6c 69  size 8192.  sqli
05a0: 74 65 33 20 64 62 20 66 69 6c 65 3a 74 65 73 74  te3 db file:test
05b0: 2e 64 62 3f 70 73 6f 77 3d 54 52 55 45 20 2d 75  .db?psow=TRUE -u
05c0: 72 69 20 31 0a 20 20 75 6e 73 65 74 20 2d 6e 6f  ri 1.  unset -no
05d0: 63 6f 6d 70 6c 61 69 6e 20 3a 3a 6d 61 78 5f 6a  complain ::max_j
05e0: 6f 75 72 6e 61 6c 5f 73 69 7a 65 0a 20 20 73 65  ournal_size.  se
05f0: 74 20 3a 3a 6d 61 78 5f 6a 6f 75 72 6e 61 6c 5f  t ::max_journal_
0600: 73 69 7a 65 20 30 0a 20 20 70 72 6f 63 20 78 44  size 0.  proc xD
0610: 65 6c 65 74 65 43 61 6c 6c 62 61 63 6b 20 7b 6d  eleteCallback {m
0620: 65 74 68 6f 64 20 66 69 6c 65 20 61 72 67 73 7d  ethod file args}
0630: 20 7b 0a 20 20 20 20 73 65 74 20 73 7a 20 5b 66   {.    set sz [f
0640: 69 6c 65 20 73 69 7a 65 20 24 66 69 6c 65 5d 0a  ile size $file].
0650: 20 20 20 20 69 66 20 7b 24 73 7a 3e 24 3a 3a 6d      if {$sz>$::m
0660: 61 78 5f 6a 6f 75 72 6e 61 6c 5f 73 69 7a 65 7d  ax_journal_size}
0670: 20 7b 73 65 74 20 3a 3a 6d 61 78 5f 6a 6f 75 72   {set ::max_jour
0680: 6e 61 6c 5f 73 69 7a 65 20 24 73 7a 7d 0a 20 20  nal_size $sz}.  
0690: 7d 0a 20 20 74 76 20 66 69 6c 74 65 72 20 78 44  }.  tv filter xD
06a0: 65 6c 65 74 65 0a 20 20 74 76 20 73 63 72 69 70  elete.  tv scrip
06b0: 74 20 78 44 65 6c 65 74 65 43 61 6c 6c 62 61 63  t xDeleteCallbac
06c0: 6b 0a 20 20 72 65 67 69 73 74 65 72 5f 77 68 6f  k.  register_who
06d0: 6c 65 6e 75 6d 62 65 72 5f 6d 6f 64 75 6c 65 20  lenumber_module 
06e0: 64 62 0a 20 20 64 62 20 65 76 61 6c 20 7b 0a 20  db.  db eval {. 
06f0: 20 20 20 50 52 41 47 4d 41 20 70 61 67 65 5f 73     PRAGMA page_s
0700: 69 7a 65 3d 31 30 32 34 3b 0a 20 20 20 20 50 52  ize=1024;.    PR
0710: 41 47 4d 41 20 6a 6f 75 72 6e 61 6c 5f 6d 6f 64  AGMA journal_mod
0720: 65 3d 44 45 4c 45 54 45 3b 0a 20 20 20 20 50 52  e=DELETE;.    PR
0730: 41 47 4d 41 20 63 61 63 68 65 5f 73 69 7a 65 3d  AGMA cache_size=
0740: 35 3b 0a 20 20 20 20 43 52 45 41 54 45 20 56 49  5;.    CREATE VI
0750: 52 54 55 41 4c 20 54 41 42 4c 45 20 6e 75 6d 73  RTUAL TABLE nums
0760: 20 55 53 49 4e 47 20 77 68 6f 6c 65 6e 75 6d 62   USING wholenumb
0770: 65 72 3b 0a 20 20 20 20 43 52 45 41 54 45 20 54  er;.    CREATE T
0780: 41 42 4c 45 20 74 31 28 78 2c 20 79 29 3b 0a 20  ABLE t1(x, y);. 
0790: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
07a0: 31 20 53 45 4c 45 43 54 20 76 61 6c 75 65 2c 20  1 SELECT value, 
07b0: 72 61 6e 64 6f 6d 62 6c 6f 62 28 31 30 30 29 20  randomblob(100) 
07c0: 46 52 4f 4d 20 6e 75 6d 73 0a 20 20 20 20 20 20  FROM nums.      
07d0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 57 48                WH
07e0: 45 52 45 20 76 61 6c 75 65 20 42 45 54 57 45 45  ERE value BETWEE
07f0: 4e 20 31 20 41 4e 44 20 34 30 30 3b 0a 20 20 7d  N 1 AND 400;.  }
0800: 0a 20 20 73 65 74 20 3a 3a 6d 61 78 5f 6a 6f 75  .  set ::max_jou
0810: 72 6e 61 6c 5f 73 69 7a 65 20 30 0a 20 20 64 62  rnal_size 0.  db
0820: 20 65 76 61 6c 20 7b 0a 20 20 20 20 55 50 44 41   eval {.    UPDA
0830: 54 45 20 74 31 20 53 45 54 20 79 3d 72 61 6e 64  TE t1 SET y=rand
0840: 6f 6d 62 6c 6f 62 28 35 30 29 20 57 48 45 52 45  omblob(50) WHERE
0850: 20 78 3d 31 32 33 3b 0a 20 20 7d 0a 20 20 63 6f   x=123;.  }.  co
0860: 6e 63 61 74 20 5b 66 69 6c 65 5f 63 6f 6e 74 72  ncat [file_contr
0870: 6f 6c 5f 70 6f 77 65 72 73 61 66 65 5f 6f 76 65  ol_powersafe_ove
0880: 72 77 72 69 74 65 20 64 62 20 2d 31 5d 20 5b 73  rwrite db -1] [s
0890: 65 74 20 3a 3a 6d 61 78 5f 6a 6f 75 72 6e 61 6c  et ::max_journal
08a0: 5f 73 69 7a 65 5d 0a 7d 20 7b 30 20 31 20 32 35  _size].} {0 1 25
08b0: 37 36 7d 0a 0a 23 20 52 65 70 65 61 74 20 74 68  76}..# Repeat th
08c0: 65 20 70 72 65 76 69 6f 75 73 20 73 74 65 70 20  e previous step 
08d0: 77 69 74 68 20 7a 65 72 6f 2d 64 61 6d 61 67 65  with zero-damage
08e0: 20 74 75 72 6e 65 64 20 6f 66 66 2e 20 20 54 68   turned off.  Th
08f0: 69 73 20 74 69 6d 65 20 74 68 65 0a 23 20 6d 61  is time the.# ma
0900: 78 69 6d 75 6d 20 72 6f 6c 6c 62 61 63 6b 20 6a  ximum rollback j
0910: 6f 75 72 6e 61 6c 20 73 69 7a 65 20 73 68 6f 75  ournal size shou
0920: 6c 64 20 62 65 20 6d 75 63 68 20 6c 61 72 67 65  ld be much large
0930: 72 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 7a 65 72  r..#.do_test zer
0940: 6f 64 61 6d 61 67 65 2d 32 2e 31 20 7b 0a 20 20  odamage-2.1 {.  
0950: 73 65 74 20 3a 3a 6d 61 78 5f 6a 6f 75 72 6e 61  set ::max_journa
0960: 6c 5f 73 69 7a 65 20 30 0a 20 20 64 62 20 63 6c  l_size 0.  db cl
0970: 6f 73 65 0a 20 20 73 71 6c 69 74 65 33 20 64 62  ose.  sqlite3 db
0980: 20 66 69 6c 65 3a 74 65 73 74 2e 64 62 3f 70 73   file:test.db?ps
0990: 6f 77 3d 46 41 4c 53 45 20 2d 75 72 69 20 31 0a  ow=FALSE -uri 1.
09a0: 20 20 64 62 20 65 76 61 6c 20 7b 0a 20 20 20 20    db eval {.    
09b0: 55 50 44 41 54 45 20 74 31 20 53 45 54 20 79 3d  UPDATE t1 SET y=
09c0: 72 61 6e 64 6f 6d 62 6c 6f 62 28 35 30 29 20 57  randomblob(50) W
09d0: 48 45 52 45 20 78 3d 31 32 34 3b 0a 20 20 7d 0a  HERE x=124;.  }.
09e0: 20 20 63 6f 6e 63 61 74 20 5b 66 69 6c 65 5f 63    concat [file_c
09f0: 6f 6e 74 72 6f 6c 5f 70 6f 77 65 72 73 61 66 65  ontrol_powersafe
0a00: 5f 6f 76 65 72 77 72 69 74 65 20 64 62 20 2d 31  _overwrite db -1
0a10: 5d 20 5b 73 65 74 20 3a 3a 6d 61 78 5f 6a 6f 75  ] [set ::max_jou
0a20: 72 6e 61 6c 5f 73 69 7a 65 5d 0a 7d 20 7b 30 20  rnal_size].} {0 
0a30: 30 20 32 34 37 30 34 7d 0a 0a 23 20 52 75 6e 20  0 24704}..# Run 
0a40: 61 20 57 41 4c 2d 6d 6f 64 65 20 74 72 61 6e 73  a WAL-mode trans
0a50: 61 63 74 69 6f 6e 20 77 69 74 68 20 50 4f 57 45  action with POWE
0a60: 52 53 41 46 45 5f 4f 56 45 52 57 52 49 54 45 20  RSAFE_OVERWRITE 
0a70: 6f 6e 20 74 6f 20 76 65 72 69 66 79 20 74 68 61  on to verify tha
0a80: 74 20 74 68 65 0a 23 20 57 41 4c 20 66 69 6c 65  t the.# WAL file
0a90: 20 64 6f 65 73 20 6e 6f 74 20 67 65 74 20 74 6f   does not get to
0aa0: 6f 20 62 69 67 2e 0a 23 0a 64 6f 5f 74 65 73 74  o big..#.do_test
0ab0: 20 7a 65 72 6f 64 61 6d 61 67 65 2d 33 2e 30 20   zerodamage-3.0 
0ac0: 7b 0a 20 20 64 62 20 65 76 61 6c 20 7b 0a 20 20  {.  db eval {.  
0ad0: 20 20 20 50 52 41 47 4d 41 20 6a 6f 75 72 6e 61     PRAGMA journa
0ae0: 6c 5f 6d 6f 64 65 3d 57 41 4c 3b 0a 20 20 7d 0a  l_mode=WAL;.  }.
0af0: 20 20 64 62 20 63 6c 6f 73 65 0a 20 20 73 71 6c    db close.  sql
0b00: 69 74 65 33 20 64 62 20 66 69 6c 65 3a 74 65 73  ite3 db file:tes
0b10: 74 2e 64 62 3f 70 73 6f 77 3d 54 52 55 45 20 2d  t.db?psow=TRUE -
0b20: 75 72 69 20 31 0a 20 20 64 62 20 65 76 61 6c 20  uri 1.  db eval 
0b30: 7b 0a 20 20 20 20 20 55 50 44 41 54 45 20 74 31  {.     UPDATE t1
0b40: 20 53 45 54 20 79 3d 72 61 6e 64 6f 6d 62 6c 6f   SET y=randomblo
0b50: 62 28 35 30 29 20 57 48 45 52 45 20 78 3d 31 32  b(50) WHERE x=12
0b60: 34 3b 0a 20 20 7d 0a 20 20 66 69 6c 65 20 73 69  4;.  }.  file si
0b70: 7a 65 20 74 65 73 74 2e 64 62 2d 77 61 6c 0a 7d  ze test.db-wal.}
0b80: 20 7b 31 30 38 30 7d 0a 0a 23 20 52 65 70 65 61   {1080}..# Repea
0b90: 74 20 74 68 65 20 70 72 65 76 69 6f 75 73 20 77  t the previous w
0ba0: 69 74 68 20 50 4f 57 45 52 53 41 46 45 5f 4f 56  ith POWERSAFE_OV
0bb0: 45 52 57 52 49 54 45 20 6f 66 66 2e 20 20 56 65  ERWRITE off.  Ve
0bc0: 72 69 66 79 20 74 68 61 74 20 74 68 65 20 57 41  rify that the WA
0bd0: 4c 20 66 69 6c 65 0a 23 20 69 73 20 70 61 64 64  L file.# is padd
0be0: 65 64 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 7a 65  ed..#.do_test ze
0bf0: 72 6f 64 61 6d 61 67 65 2d 33 2e 31 20 7b 0a 20  rodamage-3.1 {. 
0c00: 20 64 62 20 63 6c 6f 73 65 0a 20 20 73 71 6c 69   db close.  sqli
0c10: 74 65 33 20 64 62 20 66 69 6c 65 3a 74 65 73 74  te3 db file:test
0c20: 2e 64 62 3f 70 73 6f 77 3d 46 41 4c 53 45 20 2d  .db?psow=FALSE -
0c30: 75 72 69 20 31 0a 20 20 64 62 20 65 76 61 6c 20  uri 1.  db eval 
0c40: 7b 0a 20 20 20 20 20 55 50 44 41 54 45 20 74 31  {.     UPDATE t1
0c50: 20 53 45 54 20 79 3d 72 61 6e 64 6f 6d 62 6c 6f   SET y=randomblo
0c60: 62 28 35 30 29 20 57 48 45 52 45 20 78 3d 31 32  b(50) WHERE x=12
0c70: 34 3b 0a 20 20 7d 0a 20 20 66 69 6c 65 20 73 69  4;.  }.  file si
0c80: 7a 65 20 74 65 73 74 2e 64 62 2d 77 61 6c 0a 7d  ze test.db-wal.}
0c90: 20 7b 38 34 31 36 7d 0a 0a 66 69 6e 69 73 68 5f   {8416}..finish_
0ca0: 74 65 73 74 0a                                   test.