/ Hex Artifact Content
Login

Artifact 1b895d6774491895cbc75659969f07ca01860c88:


0000: 23 20 32 30 30 37 20 41 75 67 75 73 74 20 32 31  # 2007 August 21
0010: 0a 23 0a 23 20 54 68 65 20 61 75 74 68 6f 72 20  .#.# The author 
0020: 64 69 73 63 6c 61 69 6d 73 20 63 6f 70 79 72 69  disclaims copyri
0030: 67 68 74 20 74 6f 20 74 68 69 73 20 73 6f 75 72  ght to this sour
0040: 63 65 20 63 6f 64 65 2e 20 20 49 6e 20 70 6c 61  ce code.  In pla
0050: 63 65 20 6f 66 0a 23 20 61 20 6c 65 67 61 6c 20  ce of.# a legal 
0060: 6e 6f 74 69 63 65 2c 20 68 65 72 65 20 69 73 20  notice, here is 
0070: 61 20 62 6c 65 73 73 69 6e 67 3a 0a 23 0a 23 20  a blessing:.#.# 
0080: 20 20 20 4d 61 79 20 79 6f 75 20 64 6f 20 67 6f     May you do go
0090: 6f 64 20 61 6e 64 20 6e 6f 74 20 65 76 69 6c 2e  od and not evil.
00a0: 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20 66 69  .#    May you fi
00b0: 6e 64 20 66 6f 72 67 69 76 65 6e 65 73 73 20 66  nd forgiveness f
00c0: 6f 72 20 79 6f 75 72 73 65 6c 66 20 61 6e 64 20  or yourself and 
00d0: 66 6f 72 67 69 76 65 20 6f 74 68 65 72 73 2e 0a  forgive others..
00e0: 23 20 20 20 20 4d 61 79 20 79 6f 75 20 73 68 61  #    May you sha
00f0: 72 65 20 66 72 65 65 6c 79 2c 20 6e 65 76 65 72  re freely, never
0100: 20 74 61 6b 69 6e 67 20 6d 6f 72 65 20 74 68 61   taking more tha
0110: 6e 20 79 6f 75 20 67 69 76 65 2e 0a 23 0a 23 2a  n 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 0a 23 0a 23 20 54 68 65 20 66  ******.#.# The f
0170: 6f 63 75 73 20 6f 66 20 74 68 69 73 20 66 69 6c  ocus of this fil
0180: 65 20 69 73 20 74 65 73 74 69 6e 67 20 73 6f 6d  e is testing som
0190: 65 20 73 70 65 63 69 66 69 63 20 63 68 61 72 61  e specific chara
01a0: 63 74 65 72 69 73 74 69 63 73 20 6f 66 20 74 68  cteristics of th
01b0: 65 20 0a 23 20 49 4f 20 74 72 61 66 66 69 63 20  e .# IO traffic 
01c0: 67 65 6e 65 72 61 74 65 64 20 62 79 20 53 51 4c  generated by SQL
01d0: 69 74 65 20 28 6d 61 6b 69 6e 67 20 73 75 72 65  ite (making sure
01e0: 20 53 51 4c 69 74 65 20 69 73 20 6e 6f 74 20 77   SQLite is not w
01f0: 72 69 74 69 6e 67 20 6f 75 74 0a 23 20 6d 6f 72  riting out.# mor
0200: 65 20 64 61 74 61 62 61 73 65 20 70 61 67 65 73  e database pages
0210: 20 74 68 61 6e 20 69 74 20 68 61 73 20 74 6f 2c   than it has to,
0220: 20 73 74 75 66 66 20 6c 69 6b 65 20 74 68 61 74   stuff like that
0230: 29 2e 0a 23 0a 0a 73 65 74 20 74 65 73 74 64 69  )..#..set testdi
0240: 72 20 5b 66 69 6c 65 20 64 69 72 6e 61 6d 65 20  r [file dirname 
0250: 24 61 72 67 76 30 5d 0a 73 6f 75 72 63 65 20 24  $argv0].source $
0260: 74 65 73 74 64 69 72 2f 74 65 73 74 65 72 2e 74  testdir/tester.t
0270: 63 6c 0a 0a 64 62 20 63 6c 6f 73 65 0a 73 71 6c  cl..db close.sql
0280: 69 74 65 33 5f 73 69 6d 75 6c 61 74 65 5f 64 65  ite3_simulate_de
0290: 76 69 63 65 0a 73 71 6c 69 74 65 33 20 64 62 20  vice.sqlite3 db 
02a0: 74 65 73 74 2e 64 62 20 2d 76 66 73 20 64 65 76  test.db -vfs dev
02b0: 73 79 6d 0a 0a 23 20 54 65 73 74 20 73 75 6d 6d  sym..# Test summ
02c0: 61 72 79 3a 0a 23 0a 23 20 69 6f 2d 31 2e 2a 20  ary:.#.# io-1.* 
02d0: 2d 20 20 54 65 73 74 20 74 68 61 74 20 71 75 69  -  Test that qui
02e0: 63 6b 2d 62 61 6c 61 6e 63 65 20 64 6f 65 73 20  ck-balance does 
02f0: 6e 6f 74 20 6a 6f 75 72 6e 61 6c 20 70 61 67 65  not journal page
0300: 73 20 75 6e 6e 65 63 65 73 73 61 72 69 6c 79 2e  s unnecessarily.
0310: 0a 23 0a 23 20 69 6f 2d 32 2e 2a 20 2d 20 20 54  .#.# io-2.* -  T
0320: 65 73 74 20 74 68 65 20 22 61 74 6f 6d 69 63 2d  est the "atomic-
0330: 77 72 69 74 65 20 6f 70 74 69 6d 69 7a 61 74 69  write optimizati
0340: 6f 6e 22 2e 0a 23 0a 23 20 69 6f 2d 33 2e 2a 20  on"..#.# io-3.* 
0350: 2d 20 20 54 65 73 74 20 74 68 65 20 49 4f 20 74  -  Test the IO t
0360: 72 61 66 66 69 63 20 65 6e 68 61 6e 63 65 6d 65  raffic enhanceme
0370: 6e 74 73 20 74 72 69 67 67 65 72 65 64 20 77 68  nts triggered wh
0380: 65 6e 20 74 68 65 20 0a 23 20 20 20 20 20 20 20  en the .#       
0390: 20 20 20 20 49 4f 43 41 50 5f 53 45 51 55 45 4e      IOCAP_SEQUEN
03a0: 54 49 41 4c 20 64 65 76 69 63 65 20 63 61 70 61  TIAL device capa
03b0: 62 69 6c 69 74 79 20 66 6c 61 67 20 69 73 20 73  bility flag is s
03c0: 65 74 20 28 6e 6f 20 0a 23 20 20 20 20 20 20 20  et (no .#       
03d0: 20 20 20 20 66 73 79 6e 63 28 29 20 63 61 6c 6c      fsync() call
03e0: 73 20 6f 6e 20 74 68 65 20 6a 6f 75 72 6e 61 6c  s on the journal
03f0: 20 66 69 6c 65 29 2e 0a 23 0a 23 20 69 6f 2d 34   file)..#.# io-4
0400: 2e 2a 20 2d 20 20 54 65 73 74 20 74 68 65 20 49  .* -  Test the I
0410: 4f 20 74 72 61 66 66 69 63 20 65 6e 68 61 6e 63  O traffic enhanc
0420: 65 6d 65 6e 74 73 20 74 72 69 67 67 65 72 65 64  ements triggered
0430: 20 77 68 65 6e 20 74 68 65 20 0a 23 20 20 20 20   when the .#    
0440: 20 20 20 20 20 20 20 49 4f 43 41 50 5f 53 41 46         IOCAP_SAF
0450: 45 5f 41 50 50 45 4e 44 20 64 65 76 69 63 65 20  E_APPEND device 
0460: 63 61 70 61 62 69 6c 69 74 79 20 66 6c 61 67 20  capability flag 
0470: 69 73 20 73 65 74 20 28 66 65 77 65 72 20 0a 23  is set (fewer .#
0480: 20 20 20 20 20 20 20 20 20 20 20 66 73 79 6e 63             fsync
0490: 28 29 20 63 61 6c 6c 73 20 6f 6e 20 74 68 65 20  () calls on the 
04a0: 6a 6f 75 72 6e 61 6c 20 66 69 6c 65 2c 20 6e 6f  journal file, no
04b0: 20 6e 65 65 64 20 74 6f 20 73 65 74 20 6e 52 65   need to set nRe
04c0: 63 0a 23 20 20 20 20 20 20 20 20 20 20 20 66 69  c.#           fi
04d0: 65 6c 64 20 69 6e 20 74 68 65 20 73 69 6e 67 6c  eld in the singl
04e0: 65 20 6a 6f 75 72 6e 61 6c 20 68 65 61 64 65 72  e journal header
04f0: 29 2e 0a 23 0a 23 20 69 6f 2d 35 2e 2a 20 2d 20  )..#.# io-5.* - 
0500: 20 54 65 73 74 20 74 68 61 74 20 74 68 65 20 64   Test that the d
0510: 65 66 61 75 6c 74 20 70 61 67 65 20 73 69 7a 65  efault page size
0520: 20 69 73 20 73 65 6c 65 63 74 65 64 20 61 6e 64   is selected and
0530: 20 75 73 65 64 20 0a 23 20 20 20 20 20 20 20 20   used .#        
0540: 20 20 20 63 6f 72 72 65 63 74 6c 79 2e 0a 23 20     correctly..# 
0550: 20 20 20 20 20 20 20 20 20 20 0a 0a 73 65 74 20            ..set 
0560: 3a 3a 6e 57 72 69 74 65 20 30 0a 70 72 6f 63 20  ::nWrite 0.proc 
0570: 6e 57 72 69 74 65 20 7b 64 62 7d 20 7b 0a 20 20  nWrite {db} {.  
0580: 73 65 74 20 62 74 20 5b 62 74 72 65 65 5f 66 72  set bt [btree_fr
0590: 6f 6d 5f 64 62 20 24 64 62 5d 0a 20 20 64 62 5f  om_db $db].  db_
05a0: 65 6e 74 65 72 20 24 64 62 0a 20 20 61 72 72 61  enter $db.  arra
05b0: 79 20 73 65 74 20 73 74 61 74 73 20 5b 62 74 72  y set stats [btr
05c0: 65 65 5f 70 61 67 65 72 5f 73 74 61 74 73 20 24  ee_pager_stats $
05d0: 62 74 5d 0a 20 20 64 62 5f 6c 65 61 76 65 20 24  bt].  db_leave $
05e0: 64 62 0a 20 20 73 65 74 20 72 65 73 20 5b 65 78  db.  set res [ex
05f0: 70 72 20 24 73 74 61 74 73 28 77 72 69 74 65 29  pr $stats(write)
0600: 20 2d 20 24 3a 3a 6e 57 72 69 74 65 5d 0a 20 20   - $::nWrite].  
0610: 73 65 74 20 3a 3a 6e 57 72 69 74 65 20 24 73 74  set ::nWrite $st
0620: 61 74 73 28 77 72 69 74 65 29 0a 20 20 73 65 74  ats(write).  set
0630: 20 72 65 73 0a 7d 0a 0a 73 65 74 20 3a 3a 6e 53   res.}..set ::nS
0640: 79 6e 63 20 30 0a 70 72 6f 63 20 6e 53 79 6e 63  ync 0.proc nSync
0650: 20 7b 7d 20 7b 0a 20 20 73 65 74 20 72 65 73 20   {} {.  set res 
0660: 5b 65 78 70 72 20 7b 24 3a 3a 73 71 6c 69 74 65  [expr {$::sqlite
0670: 5f 73 79 6e 63 5f 63 6f 75 6e 74 20 2d 20 24 3a  _sync_count - $:
0680: 3a 6e 53 79 6e 63 7d 5d 0a 20 20 73 65 74 20 3a  :nSync}].  set :
0690: 3a 6e 53 79 6e 63 20 24 3a 3a 73 71 6c 69 74 65  :nSync $::sqlite
06a0: 5f 73 79 6e 63 5f 63 6f 75 6e 74 0a 20 20 73 65  _sync_count.  se
06b0: 74 20 72 65 73 0a 7d 0a 0a 64 6f 5f 74 65 73 74  t res.}..do_test
06c0: 20 69 6f 2d 31 2e 31 20 7b 0a 20 20 65 78 65 63   io-1.1 {.  exec
06d0: 73 71 6c 20 7b 0a 20 20 20 20 50 52 41 47 4d 41  sql {.    PRAGMA
06e0: 20 61 75 74 6f 5f 76 61 63 75 75 6d 20 3d 20 4f   auto_vacuum = O
06f0: 46 46 3b 0a 20 20 20 20 50 52 41 47 4d 41 20 70  FF;.    PRAGMA p
0700: 61 67 65 5f 73 69 7a 65 20 3d 20 31 30 32 34 3b  age_size = 1024;
0710: 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c  .    CREATE TABL
0720: 45 20 61 62 63 28 61 2c 62 29 3b 0a 20 20 7d 0a  E abc(a,b);.  }.
0730: 20 20 6e 57 72 69 74 65 20 64 62 0a 7d 20 7b 32    nWrite db.} {2
0740: 7d 0a 0a 23 20 49 6e 73 65 72 74 20 69 6e 74 6f  }..# Insert into
0750: 20 74 68 65 20 74 61 62 6c 65 20 34 20 72 65 63   the table 4 rec
0760: 6f 72 64 73 20 6f 66 20 61 70 72 6f 78 69 6d 61  ords of aproxima
0770: 74 65 6c 79 20 32 34 30 20 62 79 74 65 73 20 65  tely 240 bytes e
0780: 61 63 68 2e 0a 23 20 54 68 69 73 20 73 68 6f 75  ach..# This shou
0790: 6c 64 20 63 6f 6d 70 6c 65 74 65 6c 79 20 66 69  ld completely fi
07a0: 6c 6c 20 74 68 65 20 72 6f 6f 74 2d 70 61 67 65  ll the root-page
07b0: 20 6f 66 20 74 68 65 20 74 61 62 6c 65 2e 20 45   of the table. E
07c0: 61 63 68 0a 23 20 49 4e 53 45 52 54 20 63 61 75  ach.# INSERT cau
07d0: 73 65 73 20 32 20 64 62 20 70 61 67 65 73 20 74  ses 2 db pages t
07e0: 6f 20 62 65 20 77 72 69 74 74 65 6e 20 2d 20 74  o be written - t
07f0: 68 65 20 72 6f 6f 74 2d 70 61 67 65 20 6f 66 20  he root-page of 
0800: 22 61 62 63 22 0a 23 20 61 6e 64 20 70 61 67 65  "abc".# and page
0810: 20 31 20 28 64 62 20 63 68 61 6e 67 65 2d 63 6f   1 (db change-co
0820: 75 6e 74 65 72 20 70 61 67 65 29 2e 0a 64 6f 5f  unter page)..do_
0830: 74 65 73 74 20 69 6f 2d 31 2e 32 20 7b 0a 20 20  test io-1.2 {.  
0840: 73 65 74 20 72 65 74 20 5b 6c 69 73 74 5d 0a 20  set ret [list]. 
0850: 20 65 78 65 63 73 71 6c 20 7b 20 49 4e 53 45 52   execsql { INSER
0860: 54 20 49 4e 54 4f 20 61 62 63 20 56 41 4c 55 45  T INTO abc VALUE
0870: 53 28 31 2c 72 61 6e 64 73 74 72 28 32 33 30 2c  S(1,randstr(230,
0880: 32 33 30 29 29 3b 20 7d 0a 20 20 6c 61 70 70 65  230)); }.  lappe
0890: 6e 64 20 72 65 74 20 5b 6e 57 72 69 74 65 20 64  nd ret [nWrite d
08a0: 62 5d 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 49  b].  execsql { I
08b0: 4e 53 45 52 54 20 49 4e 54 4f 20 61 62 63 20 56  NSERT INTO abc V
08c0: 41 4c 55 45 53 28 32 2c 72 61 6e 64 73 74 72 28  ALUES(2,randstr(
08d0: 32 33 30 2c 32 33 30 29 29 3b 20 7d 0a 20 20 6c  230,230)); }.  l
08e0: 61 70 70 65 6e 64 20 72 65 74 20 5b 6e 57 72 69  append ret [nWri
08f0: 74 65 20 64 62 5d 0a 20 20 65 78 65 63 73 71 6c  te db].  execsql
0900: 20 7b 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 61   { INSERT INTO a
0910: 62 63 20 56 41 4c 55 45 53 28 33 2c 72 61 6e 64  bc VALUES(3,rand
0920: 73 74 72 28 32 33 30 2c 32 33 30 29 29 3b 20 7d  str(230,230)); }
0930: 0a 20 20 6c 61 70 70 65 6e 64 20 72 65 74 20 5b  .  lappend ret [
0940: 6e 57 72 69 74 65 20 64 62 5d 0a 20 20 65 78 65  nWrite db].  exe
0950: 63 73 71 6c 20 7b 20 49 4e 53 45 52 54 20 49 4e  csql { INSERT IN
0960: 54 4f 20 61 62 63 20 56 41 4c 55 45 53 28 34 2c  TO abc VALUES(4,
0970: 72 61 6e 64 73 74 72 28 32 33 30 2c 32 33 30 29  randstr(230,230)
0980: 29 3b 20 7d 0a 20 20 6c 61 70 70 65 6e 64 20 72  ); }.  lappend r
0990: 65 74 20 5b 6e 57 72 69 74 65 20 64 62 5d 0a 7d  et [nWrite db].}
09a0: 20 7b 32 20 32 20 32 20 32 7d 0a 0a 23 20 49 6e   {2 2 2 2}..# In
09b0: 73 65 72 74 20 61 6e 6f 74 68 65 72 20 32 34 30  sert another 240
09c0: 20 62 79 74 65 20 72 65 63 6f 72 64 2e 20 54 68   byte record. Th
09d0: 69 73 20 63 61 75 73 65 73 20 74 77 6f 20 6c 65  is causes two le
09e0: 61 66 20 70 61 67 65 73 0a 23 20 74 6f 20 62 65  af pages.# to be
09f0: 20 61 64 64 65 64 20 74 6f 20 74 68 65 20 72 6f   added to the ro
0a00: 6f 74 20 70 61 67 65 20 6f 66 20 61 62 63 2e 20  ot page of abc. 
0a10: 34 20 70 61 67 65 73 20 69 6e 20 74 6f 74 61 6c  4 pages in total
0a20: 0a 23 20 61 72 65 20 77 72 69 74 74 65 6e 20 74  .# are written t
0a30: 6f 20 74 68 65 20 64 62 20 66 69 6c 65 20 2d 20  o the db file - 
0a40: 74 68 65 20 74 77 6f 20 6c 65 61 66 20 70 61 67  the two leaf pag
0a50: 65 73 2c 20 74 68 65 20 72 6f 6f 74 0a 23 20 6f  es, the root.# o
0a60: 66 20 61 62 63 20 61 6e 64 20 74 68 65 20 63 68  f abc and the ch
0a70: 61 6e 67 65 2d 63 6f 75 6e 74 65 72 20 70 61 67  ange-counter pag
0a80: 65 2e 0a 64 6f 5f 74 65 73 74 20 69 6f 2d 31 2e  e..do_test io-1.
0a90: 33 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 20  3 {.  execsql { 
0aa0: 49 4e 53 45 52 54 20 49 4e 54 4f 20 61 62 63 20  INSERT INTO abc 
0ab0: 56 41 4c 55 45 53 28 35 2c 72 61 6e 64 73 74 72  VALUES(5,randstr
0ac0: 28 32 33 30 2c 32 33 30 29 29 3b 20 7d 0a 20 20  (230,230)); }.  
0ad0: 6e 57 72 69 74 65 20 64 62 0a 7d 20 7b 34 7d 0a  nWrite db.} {4}.
0ae0: 0a 23 20 49 6e 73 65 72 74 20 61 6e 6f 74 68 65  .# Insert anothe
0af0: 72 20 33 20 32 34 30 20 62 79 74 65 20 72 65 63  r 3 240 byte rec
0b00: 6f 72 64 73 2e 20 41 66 74 65 72 20 74 68 69 73  ords. After this
0b10: 2c 20 74 68 65 20 74 72 65 65 20 63 6f 6e 73 69  , the tree consi
0b20: 73 74 73 20 6f 66 20 0a 23 20 74 68 65 20 72 6f  sts of .# the ro
0b30: 6f 74 2d 6e 6f 64 65 2c 20 77 68 69 63 68 20 69  ot-node, which i
0b40: 73 20 63 6c 6f 73 65 20 74 6f 20 65 6d 70 74 79  s close to empty
0b50: 2c 20 61 6e 64 20 74 77 6f 20 6c 65 61 66 20 70  , and two leaf p
0b60: 61 67 65 73 2c 20 62 6f 74 68 20 6f 66 20 0a 23  ages, both of .#
0b70: 20 77 68 69 63 68 20 61 72 65 20 66 75 6c 6c 2e   which are full.
0b80: 20 0a 64 6f 5f 74 65 73 74 20 69 6f 2d 31 2e 34   .do_test io-1.4
0b90: 20 7b 0a 20 20 73 65 74 20 72 65 74 20 5b 6c 69   {.  set ret [li
0ba0: 73 74 5d 0a 20 20 65 78 65 63 73 71 6c 20 7b 20  st].  execsql { 
0bb0: 49 4e 53 45 52 54 20 49 4e 54 4f 20 61 62 63 20  INSERT INTO abc 
0bc0: 56 41 4c 55 45 53 28 36 2c 72 61 6e 64 73 74 72  VALUES(6,randstr
0bd0: 28 32 33 30 2c 32 33 30 29 29 3b 20 7d 0a 20 20  (230,230)); }.  
0be0: 6c 61 70 70 65 6e 64 20 72 65 74 20 5b 6e 57 72  lappend ret [nWr
0bf0: 69 74 65 20 64 62 5d 0a 20 20 65 78 65 63 73 71  ite db].  execsq
0c00: 6c 20 7b 20 49 4e 53 45 52 54 20 49 4e 54 4f 20  l { INSERT INTO 
0c10: 61 62 63 20 56 41 4c 55 45 53 28 37 2c 72 61 6e  abc VALUES(7,ran
0c20: 64 73 74 72 28 32 33 30 2c 32 33 30 29 29 3b 20  dstr(230,230)); 
0c30: 7d 0a 20 20 6c 61 70 70 65 6e 64 20 72 65 74 20  }.  lappend ret 
0c40: 5b 6e 57 72 69 74 65 20 64 62 5d 0a 20 20 65 78  [nWrite db].  ex
0c50: 65 63 73 71 6c 20 7b 20 49 4e 53 45 52 54 20 49  ecsql { INSERT I
0c60: 4e 54 4f 20 61 62 63 20 56 41 4c 55 45 53 28 38  NTO abc VALUES(8
0c70: 2c 72 61 6e 64 73 74 72 28 32 33 30 2c 32 33 30  ,randstr(230,230
0c80: 29 29 3b 20 7d 0a 20 20 6c 61 70 70 65 6e 64 20  )); }.  lappend 
0c90: 72 65 74 20 5b 6e 57 72 69 74 65 20 64 62 5d 0a  ret [nWrite db].
0ca0: 7d 20 7b 32 20 32 20 32 7d 0a 0a 23 20 54 68 69  } {2 2 2}..# Thi
0cb0: 73 20 69 6e 73 65 72 74 20 73 68 6f 75 6c 64 20  s insert should 
0cc0: 75 73 65 20 74 68 65 20 71 75 69 63 6b 2d 62 61  use the quick-ba
0cd0: 6c 61 6e 63 65 20 74 72 69 63 6b 20 74 6f 20 61  lance trick to a
0ce0: 64 64 20 61 20 74 68 69 72 64 20 6c 65 61 66 0a  dd a third leaf.
0cf0: 23 20 74 6f 20 74 68 65 20 62 2d 74 72 65 65 20  # to the b-tree 
0d00: 75 73 65 64 20 74 6f 20 73 74 6f 72 65 20 74 61  used to store ta
0d10: 62 6c 65 20 61 62 63 2e 20 49 74 20 73 68 6f 75  ble abc. It shou
0d20: 6c 64 20 6f 6e 6c 79 20 62 65 20 6e 65 63 65 73  ld only be neces
0d30: 73 61 72 79 20 74 6f 0a 23 20 77 72 69 74 65 20  sary to.# write 
0d40: 74 6f 20 33 20 70 61 67 65 73 20 74 6f 20 64 6f  to 3 pages to do
0d50: 20 74 68 69 73 3a 20 74 68 65 20 63 68 61 6e 67   this: the chang
0d60: 65 2d 63 6f 75 6e 74 65 72 2c 20 74 68 65 20 72  e-counter, the r
0d70: 6f 6f 74 2d 70 61 67 65 20 61 6e 64 0a 23 20 74  oot-page and.# t
0d80: 68 65 20 6e 65 77 20 6c 65 61 66 20 70 61 67 65  he new leaf page
0d90: 2e 0a 64 6f 5f 74 65 73 74 20 69 6f 2d 31 2e 35  ..do_test io-1.5
0da0: 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 49   {.  execsql { I
0db0: 4e 53 45 52 54 20 49 4e 54 4f 20 61 62 63 20 56  NSERT INTO abc V
0dc0: 41 4c 55 45 53 28 39 2c 72 61 6e 64 73 74 72 28  ALUES(9,randstr(
0dd0: 32 33 30 2c 32 33 30 29 29 3b 20 7d 0a 20 20 6e  230,230)); }.  n
0de0: 57 72 69 74 65 20 64 62 0a 7d 20 7b 33 7d 0a 0a  Write db.} {3}..
0df0: 69 66 63 61 70 61 62 6c 65 20 61 74 6f 6d 69 63  ifcapable atomic
0e00: 77 72 69 74 65 20 7b 0a 0a 23 2d 2d 2d 2d 2d 2d  write {..#------
0e10: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0e20: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0e30: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0e40: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0e50: 0a 23 20 54 65 73 74 20 63 61 73 65 73 20 69 6f  .# Test cases io
0e60: 2d 32 2e 2a 20 74 65 73 74 20 74 68 65 20 61 74  -2.* test the at
0e70: 6f 6d 69 63 2d 77 72 69 74 65 20 6f 70 74 69 6d  omic-write optim
0e80: 69 7a 61 74 69 6f 6e 2e 0a 23 0a 64 6f 5f 74 65  ization..#.do_te
0e90: 73 74 20 69 6f 2d 32 2e 31 20 7b 0a 20 20 65 78  st io-2.1 {.  ex
0ea0: 65 63 73 71 6c 20 7b 20 44 45 4c 45 54 45 20 46  ecsql { DELETE F
0eb0: 52 4f 4d 20 61 62 63 3b 20 56 41 43 55 55 4d 3b  ROM abc; VACUUM;
0ec0: 20 7d 0a 7d 20 7b 7d 0a 0a 23 20 43 6c 65 61 72   }.} {}..# Clear
0ed0: 20 74 68 65 20 77 72 69 74 65 20 61 6e 64 20 73   the write and s
0ee0: 79 6e 63 20 63 6f 75 6e 74 73 2e 0a 6e 57 72 69  ync counts..nWri
0ef0: 74 65 20 64 62 20 3b 20 6e 53 79 6e 63 0a 0a 23  te db ; nSync..#
0f00: 20 54 68 65 20 66 6f 6c 6c 6f 77 69 6e 67 20 49   The following I
0f10: 4e 53 45 52 54 20 75 70 64 61 74 65 73 20 32 20  NSERT updates 2 
0f20: 70 61 67 65 73 20 61 6e 64 20 72 65 71 75 69 72  pages and requir
0f30: 65 73 20 34 20 63 61 6c 6c 73 20 74 6f 20 66 73  es 4 calls to fs
0f40: 79 6e 63 28 29 3a 0a 23 0a 23 20 20 20 31 29 20  ync():.#.#   1) 
0f50: 54 68 65 20 64 69 72 65 63 74 6f 72 79 20 69 6e  The directory in
0f60: 20 77 68 69 63 68 20 74 68 65 20 6a 6f 75 72 6e   which the journ
0f70: 61 6c 20 66 69 6c 65 20 69 73 20 63 72 65 61 74  al file is creat
0f80: 65 64 2c 0a 23 20 20 20 32 29 20 54 68 65 20 6a  ed,.#   2) The j
0f90: 6f 75 72 6e 61 6c 20 66 69 6c 65 20 28 74 6f 20  ournal file (to 
0fa0: 73 79 6e 63 20 74 68 65 20 70 61 67 65 20 64 61  sync the page da
0fb0: 74 61 29 2c 0a 23 20 20 20 33 29 20 54 68 65 20  ta),.#   3) The 
0fc0: 6a 6f 75 72 6e 61 6c 20 66 69 6c 65 20 28 74 6f  journal file (to
0fd0: 20 73 79 6e 63 20 74 68 65 20 6a 6f 75 72 6e 61   sync the journa
0fe0: 6c 20 66 69 6c 65 20 68 65 61 64 65 72 29 2c 0a  l file header),.
0ff0: 23 20 20 20 34 29 20 54 68 65 20 64 61 74 61 62  #   4) The datab
1000: 61 73 65 20 66 69 6c 65 2e 0a 23 0a 64 6f 5f 74  ase file..#.do_t
1010: 65 73 74 20 69 6f 2d 32 2e 32 20 7b 0a 20 20 65  est io-2.2 {.  e
1020: 78 65 63 73 71 6c 20 7b 20 49 4e 53 45 52 54 20  xecsql { INSERT 
1030: 49 4e 54 4f 20 61 62 63 20 56 41 4c 55 45 53 28  INTO abc VALUES(
1040: 31 2c 20 32 29 20 7d 0a 20 20 6c 69 73 74 20 5b  1, 2) }.  list [
1050: 6e 57 72 69 74 65 20 64 62 5d 20 5b 6e 53 79 6e  nWrite db] [nSyn
1060: 63 5d 0a 7d 20 7b 32 20 34 7d 0a 0a 23 20 53 65  c].} {2 4}..# Se
1070: 74 20 74 68 65 20 64 65 76 69 63 65 2d 63 68 61  t the device-cha
1080: 72 61 63 74 65 72 69 73 74 69 63 20 6d 61 73 6b  racteristic mask
1090: 20 74 6f 20 69 6e 63 6c 75 64 65 20 74 68 65 20   to include the 
10a0: 53 51 4c 49 54 45 5f 49 4f 43 41 50 5f 41 54 4f  SQLITE_IOCAP_ATO
10b0: 4d 49 43 2c 0a 23 20 74 68 65 6e 20 64 6f 20 61  MIC,.# then do a
10c0: 6e 6f 74 68 65 72 20 49 4e 53 45 52 54 20 73 69  nother INSERT si
10d0: 6d 69 6c 61 72 20 74 6f 20 74 68 65 20 6f 6e 65  milar to the one
10e0: 20 69 6e 20 69 6f 2d 32 2e 32 2e 20 54 68 69 73   in io-2.2. This
10f0: 20 73 68 6f 75 6c 64 0a 23 20 6f 6e 6c 79 20 77   should.# only w
1100: 72 69 74 65 20 31 20 70 61 67 65 20 61 6e 64 20  rite 1 page and 
1110: 72 65 71 75 69 72 65 20 61 20 73 69 6e 67 6c 65  require a single
1120: 20 66 73 79 6e 63 28 29 2e 0a 23 20 0a 23 20 54   fsync()..# .# T
1130: 68 65 20 73 69 6e 67 6c 65 20 66 73 79 6e 63 28  he single fsync(
1140: 29 20 69 73 20 74 68 65 20 64 61 74 61 62 61 73  ) is the databas
1150: 65 20 66 69 6c 65 2e 20 4f 6e 6c 79 20 6f 6e 65  e file. Only one
1160: 20 70 61 67 65 20 69 73 20 72 65 70 6f 72 74 65   page is reporte
1170: 64 20 61 73 0a 23 20 77 72 69 74 74 65 6e 20 62  d as.# written b
1180: 65 63 61 75 73 65 20 70 61 67 65 20 31 20 2d 20  ecause page 1 - 
1190: 74 68 65 20 63 68 61 6e 67 65 2d 63 6f 75 6e 74  the change-count
11a0: 65 72 20 70 61 67 65 20 2d 20 69 73 20 77 72 69  er page - is wri
11b0: 74 74 65 6e 20 75 73 69 6e 67 0a 23 20 61 6e 20  tten using.# an 
11c0: 6f 75 74 2d 6f 66 2d 62 61 6e 64 20 6d 65 74 68  out-of-band meth
11d0: 6f 64 20 74 68 61 74 20 62 79 70 61 73 73 65 73  od that bypasses
11e0: 20 74 68 65 20 77 72 69 74 65 20 63 6f 75 6e 74   the write count
11f0: 65 72 2e 0a 23 0a 73 71 6c 69 74 65 33 5f 73 69  er..#.sqlite3_si
1200: 6d 75 6c 61 74 65 5f 64 65 76 69 63 65 20 2d 63  mulate_device -c
1210: 68 61 72 20 61 74 6f 6d 69 63 0a 64 6f 5f 74 65  har atomic.do_te
1220: 73 74 20 69 6f 2d 32 2e 33 20 7b 0a 20 20 65 78  st io-2.3 {.  ex
1230: 65 63 73 71 6c 20 7b 20 49 4e 53 45 52 54 20 49  ecsql { INSERT I
1240: 4e 54 4f 20 61 62 63 20 56 41 4c 55 45 53 28 33  NTO abc VALUES(3
1250: 2c 20 34 29 20 7d 0a 20 20 6c 69 73 74 20 5b 6e  , 4) }.  list [n
1260: 57 72 69 74 65 20 64 62 5d 20 5b 6e 53 79 6e 63  Write db] [nSync
1270: 5d 0a 7d 20 7b 31 20 31 7d 0a 0a 23 20 54 65 73  ].} {1 1}..# Tes
1280: 74 20 74 68 61 74 20 74 68 65 20 6a 6f 75 72 6e  t that the journ
1290: 61 6c 20 66 69 6c 65 20 69 73 20 6e 6f 74 20 63  al file is not c
12a0: 72 65 61 74 65 64 20 61 6e 64 20 74 68 65 20 63  reated and the c
12b0: 68 61 6e 67 65 2d 63 6f 75 6e 74 65 72 20 69 73  hange-counter is
12c0: 0a 23 20 75 70 64 61 74 65 64 20 77 68 65 6e 20  .# updated when 
12d0: 74 68 65 20 61 74 6f 6d 69 63 2d 77 72 69 74 65  the atomic-write
12e0: 20 6f 70 74 69 6d 69 7a 61 74 69 6f 6e 20 69 73   optimization is
12f0: 20 75 73 65 64 2e 0a 23 0a 64 6f 5f 74 65 73 74   used..#.do_test
1300: 20 69 6f 2d 32 2e 34 2e 31 20 7b 0a 20 20 65 78   io-2.4.1 {.  ex
1310: 65 63 73 71 6c 20 7b 0a 20 20 20 20 42 45 47 49  ecsql {.    BEGI
1320: 4e 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e  N;.    INSERT IN
1330: 54 4f 20 61 62 63 20 56 41 4c 55 45 53 28 35 2c  TO abc VALUES(5,
1340: 20 36 29 3b 0a 20 20 7d 0a 20 20 73 71 6c 69 74   6);.  }.  sqlit
1350: 65 33 20 64 62 32 20 74 65 73 74 2e 64 62 20 2d  e3 db2 test.db -
1360: 76 66 73 20 64 65 76 73 79 6d 0a 20 20 65 78 65  vfs devsym.  exe
1370: 63 73 71 6c 20 7b 20 53 45 4c 45 43 54 20 2a 20  csql { SELECT * 
1380: 46 52 4f 4d 20 61 62 63 20 7d 20 64 62 32 0a 7d  FROM abc } db2.}
1390: 20 7b 31 20 32 20 33 20 34 7d 0a 64 6f 5f 74 65   {1 2 3 4}.do_te
13a0: 73 74 20 69 6f 2d 32 2e 34 2e 32 20 7b 0a 20 20  st io-2.4.2 {.  
13b0: 66 69 6c 65 20 65 78 69 73 74 73 20 74 65 73 74  file exists test
13c0: 2e 64 62 2d 6a 6f 75 72 6e 61 6c 0a 7d 20 7b 30  .db-journal.} {0
13d0: 7d 0a 64 6f 5f 74 65 73 74 20 69 6f 2d 32 2e 34  }.do_test io-2.4
13e0: 2e 33 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b  .3 {.  execsql {
13f0: 20 43 4f 4d 4d 49 54 20 7d 0a 20 20 65 78 65 63   COMMIT }.  exec
1400: 73 71 6c 20 7b 20 53 45 4c 45 43 54 20 2a 20 46  sql { SELECT * F
1410: 52 4f 4d 20 61 62 63 20 7d 20 64 62 32 0a 7d 20  ROM abc } db2.} 
1420: 7b 31 20 32 20 33 20 34 20 35 20 36 7d 0a 64 62  {1 2 3 4 5 6}.db
1430: 32 20 63 6c 6f 73 65 0a 0a 23 20 54 65 73 74 20  2 close..# Test 
1440: 74 68 61 74 20 74 68 65 20 6a 6f 75 72 6e 61 6c  that the journal
1450: 20 66 69 6c 65 20 69 73 20 63 72 65 61 74 65 64   file is created
1460: 20 61 6e 64 20 73 79 6e 63 28 29 64 20 69 66 20   and sync()d if 
1470: 74 68 65 20 74 72 61 6e 73 61 63 74 69 6f 6e 0a  the transaction.
1480: 23 20 6d 6f 64 69 66 69 65 73 20 6d 6f 72 65 20  # modifies more 
1490: 74 68 61 6e 20 6f 6e 65 20 64 61 74 61 62 61 73  than one databas
14a0: 65 20 70 61 67 65 2c 20 65 76 65 6e 20 69 66 20  e page, even if 
14b0: 74 68 65 20 49 4f 43 41 50 5f 41 54 4f 4d 49 43  the IOCAP_ATOMIC
14c0: 20 66 6c 61 67 0a 23 20 69 73 20 73 65 74 2e 0a   flag.# is set..
14d0: 23 0a 64 6f 5f 74 65 73 74 20 69 6f 2d 32 2e 35  #.do_test io-2.5
14e0: 2e 31 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b  .1 {.  execsql {
14f0: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 64 65   CREATE TABLE de
1500: 66 28 64 2c 20 65 29 20 7d 0a 20 20 6e 57 72 69  f(d, e) }.  nWri
1510: 74 65 20 64 62 20 3b 20 6e 53 79 6e 63 0a 20 20  te db ; nSync.  
1520: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 42 45  execsql {.    BE
1530: 47 49 4e 3b 0a 20 20 20 20 49 4e 53 45 52 54 20  GIN;.    INSERT 
1540: 49 4e 54 4f 20 61 62 63 20 56 41 4c 55 45 53 28  INTO abc VALUES(
1550: 37 2c 20 38 29 3b 0a 20 20 7d 0a 20 20 66 69 6c  7, 8);.  }.  fil
1560: 65 20 65 78 69 73 74 73 20 74 65 73 74 2e 64 62  e exists test.db
1570: 2d 6a 6f 75 72 6e 61 6c 0a 7d 20 7b 30 7d 0a 64  -journal.} {0}.d
1580: 6f 5f 74 65 73 74 20 69 6f 2d 32 2e 35 2e 32 20  o_test io-2.5.2 
1590: 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 49 4e  {.  execsql { IN
15a0: 53 45 52 54 20 49 4e 54 4f 20 64 65 66 20 56 41  SERT INTO def VA
15b0: 4c 55 45 53 28 27 61 27 2c 20 27 62 27 29 3b 20  LUES('a', 'b'); 
15c0: 7d 0a 20 20 66 69 6c 65 20 65 78 69 73 74 73 20  }.  file exists 
15d0: 74 65 73 74 2e 64 62 2d 6a 6f 75 72 6e 61 6c 0a  test.db-journal.
15e0: 7d 20 7b 31 7d 0a 64 6f 5f 74 65 73 74 20 69 6f  } {1}.do_test io
15f0: 2d 32 2e 35 2e 33 20 7b 0a 20 20 65 78 65 63 73  -2.5.3 {.  execs
1600: 71 6c 20 7b 20 43 4f 4d 4d 49 54 20 7d 0a 20 20  ql { COMMIT }.  
1610: 6c 69 73 74 20 5b 6e 57 72 69 74 65 20 64 62 5d  list [nWrite db]
1620: 20 5b 6e 53 79 6e 63 5d 0a 7d 20 7b 33 20 34 7d   [nSync].} {3 4}
1630: 0a 0a 23 20 54 65 73 74 20 74 68 61 74 20 74 68  ..# Test that th
1640: 65 20 6a 6f 75 72 6e 61 6c 20 66 69 6c 65 20 69  e journal file i
1650: 73 20 63 72 65 61 74 65 64 20 61 6e 64 20 73 79  s created and sy
1660: 6e 63 28 29 64 20 69 66 20 74 68 65 20 74 72 61  nc()d if the tra
1670: 6e 73 61 63 74 69 6f 6e 0a 23 20 6d 6f 64 69 66  nsaction.# modif
1680: 69 65 73 20 61 20 73 69 6e 67 6c 65 20 64 61 74  ies a single dat
1690: 61 62 61 73 65 20 70 61 67 65 20 61 6e 64 20 61  abase page and a
16a0: 6c 73 6f 20 61 70 70 65 6e 64 73 20 61 20 70 61  lso appends a pa
16b0: 67 65 20 74 6f 20 74 68 65 20 66 69 6c 65 2e 0a  ge to the file..
16c0: 23 20 49 6e 74 65 72 6e 61 6c 6c 79 2c 20 74 68  # Internally, th
16d0: 69 73 20 63 61 73 65 20 69 73 20 68 61 6e 64 6c  is case is handl
16e0: 65 64 20 64 69 66 66 65 72 65 6e 74 6c 79 20 74  ed differently t
16f0: 6f 20 74 68 65 20 6f 6e 65 20 61 62 6f 76 65 2e  o the one above.
1700: 20 54 68 65 0a 23 20 6a 6f 75 72 6e 61 6c 20 66   The.# journal f
1710: 69 6c 65 20 69 73 20 6e 6f 74 20 61 63 74 75 61  ile is not actua
1720: 6c 6c 79 20 63 72 65 61 74 65 64 20 75 6e 74 69  lly created unti
1730: 6c 20 74 68 65 20 27 43 4f 4d 4d 49 54 27 20 73  l the 'COMMIT' s
1740: 74 61 74 65 6d 65 6e 74 0a 23 20 69 73 20 65 78  tatement.# is ex
1750: 65 63 75 74 65 64 2e 0a 23 0a 23 20 43 68 61 6e  ecuted..#.# Chan
1760: 67 65 64 20 32 30 31 30 2d 30 33 2d 32 37 3a 20  ged 2010-03-27: 
1770: 20 54 68 65 20 73 69 7a 65 20 6f 66 20 74 68 65   The size of the
1780: 20 64 61 74 61 62 61 73 65 20 69 73 20 6e 6f 77   database is now
1790: 20 73 74 6f 72 65 64 20 69 6e 20 0a 23 20 62 79   stored in .# by
17a0: 74 65 73 20 32 38 2e 2e 33 31 20 61 6e 64 20 73  tes 28..31 and s
17b0: 6f 20 77 68 65 6e 20 61 20 70 61 67 65 20 69 73  o when a page is
17c0: 20 61 64 64 65 64 20 74 6f 20 74 68 65 20 64 61   added to the da
17d0: 74 61 62 61 73 65 2c 20 70 61 67 65 20 31 0a 23  tabase, page 1.#
17e0: 20 69 73 20 69 6d 6d 65 64 69 61 74 65 6c 79 20   is immediately 
17f0: 6d 6f 64 69 66 69 65 64 20 61 6e 64 20 74 68 65  modified and the
1800: 20 6a 6f 75 72 6e 61 6c 20 66 69 6c 65 20 69 6d   journal file im
1810: 6d 65 64 69 61 74 65 6c 79 20 63 6f 6d 65 73 20  mediately comes 
1820: 69 6e 74 6f 0a 23 20 65 78 69 73 74 61 6e 63 65  into.# existance
1830: 2e 20 20 54 6f 20 66 69 78 20 74 68 69 73 20 74  .  To fix this t
1840: 65 73 74 2c 20 74 68 65 20 42 45 47 49 4e 20 69  est, the BEGIN i
1850: 73 20 63 68 61 6e 67 65 64 20 69 6e 74 6f 20 61  s changed into a
1860: 20 61 0a 23 20 42 45 47 49 4e 20 49 4d 4d 45 44   a.# BEGIN IMMED
1870: 49 41 54 45 20 61 6e 64 20 74 68 65 20 49 4e 53  IATE and the INS
1880: 45 52 54 20 69 73 20 6f 6d 69 74 74 65 64 2e 0a  ERT is omitted..
1890: 23 0a 64 6f 5f 74 65 73 74 20 69 6f 2d 32 2e 36  #.do_test io-2.6
18a0: 2e 31 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b  .1 {.  execsql {
18b0: 0a 20 20 20 20 42 45 47 49 4e 20 49 4d 4d 45 44  .    BEGIN IMMED
18c0: 49 41 54 45 3b 0a 20 20 20 20 2d 2d 20 49 4e 53  IATE;.    -- INS
18d0: 45 52 54 20 49 4e 54 4f 20 61 62 63 20 56 41 4c  ERT INTO abc VAL
18e0: 55 45 53 28 39 2c 20 72 61 6e 64 73 74 72 28 31  UES(9, randstr(1
18f0: 30 30 30 2c 31 30 30 30 29 29 3b 0a 20 20 7d 0a  000,1000));.  }.
1900: 20 20 66 69 6c 65 20 65 78 69 73 74 73 20 74 65    file exists te
1910: 73 74 2e 64 62 2d 6a 6f 75 72 6e 61 6c 0a 7d 20  st.db-journal.} 
1920: 7b 30 7d 0a 64 6f 5f 74 65 73 74 20 69 6f 2d 32  {0}.do_test io-2
1930: 2e 36 2e 32 20 7b 0a 20 20 23 20 43 72 65 61 74  .6.2 {.  # Creat
1940: 65 20 61 20 66 69 6c 65 20 61 74 20 22 74 65 73  e a file at "tes
1950: 74 2e 64 62 2d 6a 6f 75 72 6e 61 6c 22 2e 20 54  t.db-journal". T
1960: 68 69 73 20 77 69 6c 6c 20 70 72 65 76 65 6e 74  his will prevent
1970: 20 53 51 4c 69 74 65 20 66 72 6f 6d 0a 20 20 23   SQLite from.  #
1980: 20 6f 70 65 6e 69 6e 67 20 74 68 65 20 6a 6f 75   opening the jou
1990: 72 6e 61 6c 20 66 6f 72 20 65 78 63 6c 75 73 69  rnal for exclusi
19a0: 76 65 20 61 63 63 65 73 73 2e 20 41 73 20 61 20  ve access. As a 
19b0: 72 65 73 75 6c 74 2c 20 74 68 65 20 43 4f 4d 4d  result, the COMM
19c0: 49 54 0a 20 20 23 20 73 68 6f 75 6c 64 20 66 61  IT.  # should fa
19d0: 69 6c 20 77 69 74 68 20 53 51 4c 49 54 45 5f 43  il with SQLITE_C
19e0: 41 4e 54 4f 50 45 4e 20 61 6e 64 20 74 68 65 20  ANTOPEN and the 
19f0: 74 72 61 6e 73 61 63 74 69 6f 6e 20 72 6f 6c 6c  transaction roll
1a00: 65 64 20 62 61 63 6b 2e 0a 20 20 23 0a 20 20 66  ed back..  #.  f
1a10: 69 6c 65 20 6d 6b 64 69 72 20 74 65 73 74 2e 64  ile mkdir test.d
1a20: 62 2d 6a 6f 75 72 6e 61 6c 0a 20 20 63 61 74 63  b-journal.  catc
1a30: 68 73 71 6c 20 7b 0a 20 20 20 20 49 4e 53 45 52  hsql {.    INSER
1a40: 54 20 49 4e 54 4f 20 61 62 63 20 56 41 4c 55 45  T INTO abc VALUE
1a50: 53 28 39 2c 20 72 61 6e 64 73 74 72 28 31 30 30  S(9, randstr(100
1a60: 30 2c 31 30 30 30 29 29 3b 0a 20 20 20 20 43 4f  0,1000));.    CO
1a70: 4d 4d 49 54 0a 20 20 7d 0a 7d 20 7b 31 20 7b 75  MMIT.  }.} {1 {u
1a80: 6e 61 62 6c 65 20 74 6f 20 6f 70 65 6e 20 64 61  nable to open da
1a90: 74 61 62 61 73 65 20 66 69 6c 65 7d 7d 0a 64 6f  tabase file}}.do
1aa0: 5f 74 65 73 74 20 69 6f 2d 32 2e 36 2e 33 20 7b  _test io-2.6.3 {
1ab0: 0a 20 20 66 69 6c 65 20 64 65 6c 65 74 65 20 2d  .  file delete -
1ac0: 66 6f 72 63 65 20 74 65 73 74 2e 64 62 2d 6a 6f  force test.db-jo
1ad0: 75 72 6e 61 6c 0a 20 20 63 61 74 63 68 73 71 6c  urnal.  catchsql
1ae0: 20 7b 20 43 4f 4d 4d 49 54 20 7d 0a 7d 20 7b 30   { COMMIT }.} {0
1af0: 20 7b 7d 7d 0a 64 6f 5f 74 65 73 74 20 69 6f 2d   {}}.do_test io-
1b00: 32 2e 36 2e 34 20 7b 0a 20 20 65 78 65 63 73 71  2.6.4 {.  execsq
1b10: 6c 20 7b 20 53 45 4c 45 43 54 20 2a 20 46 52 4f  l { SELECT * FRO
1b20: 4d 20 61 62 63 20 7d 0a 7d 20 7b 31 20 32 20 33  M abc }.} {1 2 3
1b30: 20 34 20 35 20 36 20 37 20 38 7d 0a 0a 23 20 54   4 5 6 7 8}..# T
1b40: 65 73 74 20 74 68 61 74 20 69 66 20 74 68 65 20  est that if the 
1b50: 64 61 74 61 62 61 73 65 20 6d 6f 64 69 66 69 63  database modific
1b60: 61 74 69 6f 6e 20 69 73 20 70 61 72 74 20 6f 66  ation is part of
1b70: 20 6d 75 6c 74 69 2d 66 69 6c 65 20 63 6f 6d 6d   multi-file comm
1b80: 69 74 2c 0a 23 20 74 68 65 20 6a 6f 75 72 6e 61  it,.# the journa
1b90: 6c 20 66 69 6c 65 20 69 73 20 61 6c 77 61 79 73  l file is always
1ba0: 20 63 72 65 61 74 65 64 2e 20 49 6e 20 74 68 69   created. In thi
1bb0: 73 20 63 61 73 65 2c 20 74 68 65 20 6a 6f 75 72  s case, the jour
1bc0: 6e 61 6c 20 66 69 6c 65 0a 23 20 69 73 20 63 72  nal file.# is cr
1bd0: 65 61 74 65 64 20 64 75 72 69 6e 67 20 65 78 65  eated during exe
1be0: 63 75 74 69 6f 6e 20 6f 66 20 74 68 65 20 43 4f  cution of the CO
1bf0: 4d 4d 49 54 20 73 74 61 74 65 6d 65 6e 74 2c 20  MMIT statement, 
1c00: 73 6f 20 77 65 20 68 61 76 65 20 74 6f 0a 23 20  so we have to.# 
1c10: 75 73 65 20 74 68 65 20 73 61 6d 65 20 74 65 63  use the same tec
1c20: 68 6e 69 71 75 65 20 74 6f 20 63 68 65 63 6b 20  hnique to check 
1c30: 74 68 61 74 20 69 74 20 69 73 20 63 72 65 61 74  that it is creat
1c40: 65 64 20 61 73 20 69 6e 20 74 68 65 20 61 62 6f  ed as in the abo
1c50: 76 65 20 0a 23 20 62 6c 6f 63 6b 2e 0a 66 69 6c  ve .# block..fil
1c60: 65 20 64 65 6c 65 74 65 20 2d 66 6f 72 63 65 20  e delete -force 
1c70: 74 65 73 74 32 2e 64 62 20 74 65 73 74 32 2e 64  test2.db test2.d
1c80: 62 2d 6a 6f 75 72 6e 61 6c 0a 69 66 63 61 70 61  b-journal.ifcapa
1c90: 62 6c 65 20 61 74 74 61 63 68 20 7b 0a 20 20 64  ble attach {.  d
1ca0: 6f 5f 74 65 73 74 20 69 6f 2d 32 2e 37 2e 31 20  o_test io-2.7.1 
1cb0: 7b 0a 20 20 20 20 65 78 65 63 73 71 6c 20 7b 0a  {.    execsql {.
1cc0: 20 20 20 20 20 20 41 54 54 41 43 48 20 27 74 65        ATTACH 'te
1cd0: 73 74 32 2e 64 62 27 20 41 53 20 61 75 78 3b 0a  st2.db' AS aux;.
1ce0: 20 20 20 20 20 20 50 52 41 47 4d 41 20 61 75 78        PRAGMA aux
1cf0: 2e 70 61 67 65 5f 73 69 7a 65 20 3d 20 31 30 32  .page_size = 102
1d00: 34 3b 0a 20 20 20 20 20 20 43 52 45 41 54 45 20  4;.      CREATE 
1d10: 54 41 42 4c 45 20 61 75 78 2e 61 62 63 32 28 61  TABLE aux.abc2(a
1d20: 2c 20 62 29 3b 0a 20 20 20 20 20 20 42 45 47 49  , b);.      BEGI
1d30: 4e 3b 0a 20 20 20 20 20 20 49 4e 53 45 52 54 20  N;.      INSERT 
1d40: 49 4e 54 4f 20 61 62 63 20 56 41 4c 55 45 53 28  INTO abc VALUES(
1d50: 39 2c 20 31 30 29 3b 0a 20 20 20 20 7d 0a 20 20  9, 10);.    }.  
1d60: 20 20 66 69 6c 65 20 65 78 69 73 74 73 20 74 65    file exists te
1d70: 73 74 2e 64 62 2d 6a 6f 75 72 6e 61 6c 0a 20 20  st.db-journal.  
1d80: 7d 20 7b 30 7d 0a 20 20 64 6f 5f 74 65 73 74 20  } {0}.  do_test 
1d90: 69 6f 2d 32 2e 37 2e 32 20 7b 0a 20 20 20 20 65  io-2.7.2 {.    e
1da0: 78 65 63 73 71 6c 20 7b 20 49 4e 53 45 52 54 20  xecsql { INSERT 
1db0: 49 4e 54 4f 20 61 62 63 32 20 53 45 4c 45 43 54  INTO abc2 SELECT
1dc0: 20 2a 20 46 52 4f 4d 20 61 62 63 20 7d 0a 20 20   * FROM abc }.  
1dd0: 20 20 66 69 6c 65 20 65 78 69 73 74 73 20 74 65    file exists te
1de0: 73 74 32 2e 64 62 2d 6a 6f 75 72 6e 61 6c 0a 20  st2.db-journal. 
1df0: 20 7d 20 7b 30 7d 0a 20 20 64 6f 5f 74 65 73 74   } {0}.  do_test
1e00: 20 69 6f 2d 32 2e 37 2e 33 20 7b 0a 20 20 20 20   io-2.7.3 {.    
1e10: 65 78 65 63 73 71 6c 20 7b 20 53 45 4c 45 43 54  execsql { SELECT
1e20: 20 2a 20 46 52 4f 4d 20 61 62 63 20 55 4e 49 4f   * FROM abc UNIO
1e30: 4e 20 41 4c 4c 20 53 45 4c 45 43 54 20 2a 20 46  N ALL SELECT * F
1e40: 52 4f 4d 20 61 62 63 32 20 7d 0a 20 20 7d 20 7b  ROM abc2 }.  } {
1e50: 31 20 32 20 33 20 34 20 35 20 36 20 37 20 38 20  1 2 3 4 5 6 7 8 
1e60: 39 20 31 30 20 31 20 32 20 33 20 34 20 35 20 36  9 10 1 2 3 4 5 6
1e70: 20 37 20 38 20 39 20 31 30 7d 0a 20 20 64 6f 5f   7 8 9 10}.  do_
1e80: 74 65 73 74 20 69 6f 2d 32 2e 37 2e 34 20 7b 0a  test io-2.7.4 {.
1e90: 20 20 20 20 66 69 6c 65 20 6d 6b 64 69 72 20 74      file mkdir t
1ea0: 65 73 74 32 2e 64 62 2d 6a 6f 75 72 6e 61 6c 0a  est2.db-journal.
1eb0: 20 20 20 20 63 61 74 63 68 73 71 6c 20 7b 20 43      catchsql { C
1ec0: 4f 4d 4d 49 54 20 7d 0a 20 20 7d 20 7b 31 20 7b  OMMIT }.  } {1 {
1ed0: 75 6e 61 62 6c 65 20 74 6f 20 6f 70 65 6e 20 64  unable to open d
1ee0: 61 74 61 62 61 73 65 20 66 69 6c 65 7d 7d 0a 20  atabase file}}. 
1ef0: 20 64 6f 5f 74 65 73 74 20 69 6f 2d 32 2e 37 2e   do_test io-2.7.
1f00: 35 20 7b 0a 20 20 20 20 66 69 6c 65 20 64 65 6c  5 {.    file del
1f10: 65 74 65 20 2d 66 6f 72 63 65 20 74 65 73 74 32  ete -force test2
1f20: 2e 64 62 2d 6a 6f 75 72 6e 61 6c 0a 20 20 20 20  .db-journal.    
1f30: 63 61 74 63 68 73 71 6c 20 7b 20 43 4f 4d 4d 49  catchsql { COMMI
1f40: 54 20 7d 0a 20 20 7d 20 7b 31 20 7b 63 61 6e 6e  T }.  } {1 {cann
1f50: 6f 74 20 63 6f 6d 6d 69 74 20 2d 20 6e 6f 20 74  ot commit - no t
1f60: 72 61 6e 73 61 63 74 69 6f 6e 20 69 73 20 61 63  ransaction is ac
1f70: 74 69 76 65 7d 7d 0a 20 20 64 6f 5f 74 65 73 74  tive}}.  do_test
1f80: 20 69 6f 2d 32 2e 37 2e 36 20 7b 0a 20 20 20 20   io-2.7.6 {.    
1f90: 65 78 65 63 73 71 6c 20 7b 20 53 45 4c 45 43 54  execsql { SELECT
1fa0: 20 2a 20 46 52 4f 4d 20 61 62 63 20 55 4e 49 4f   * FROM abc UNIO
1fb0: 4e 20 41 4c 4c 20 53 45 4c 45 43 54 20 2a 20 46  N ALL SELECT * F
1fc0: 52 4f 4d 20 61 62 63 32 20 7d 0a 20 20 7d 20 7b  ROM abc2 }.  } {
1fd0: 31 20 32 20 33 20 34 20 35 20 36 20 37 20 38 7d  1 2 3 4 5 6 7 8}
1fe0: 0a 7d 0a 0a 23 20 54 72 79 20 61 6e 20 65 78 70  .}..# Try an exp
1ff0: 6c 69 63 69 74 20 52 4f 4c 4c 42 41 43 4b 20 62  licit ROLLBACK b
2000: 65 66 6f 72 65 20 74 68 65 20 6a 6f 75 72 6e 61  efore the journa
2010: 6c 20 66 69 6c 65 20 69 73 20 63 72 65 61 74 65  l file is create
2020: 64 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 69 6f 2d  d..#.do_test io-
2030: 32 2e 38 2e 31 20 7b 0a 20 20 65 78 65 63 73 71  2.8.1 {.  execsq
2040: 6c 20 7b 0a 20 20 20 20 42 45 47 49 4e 3b 0a 20  l {.    BEGIN;. 
2050: 20 20 20 44 45 4c 45 54 45 20 46 52 4f 4d 20 61     DELETE FROM a
2060: 62 63 3b 0a 20 20 7d 0a 20 20 66 69 6c 65 20 65  bc;.  }.  file e
2070: 78 69 73 74 73 20 74 65 73 74 2e 64 62 2d 6a 6f  xists test.db-jo
2080: 75 72 6e 61 6c 0a 7d 20 7b 30 7d 0a 64 6f 5f 74  urnal.} {0}.do_t
2090: 65 73 74 20 69 6f 2d 32 2e 38 2e 32 20 7b 0a 20  est io-2.8.2 {. 
20a0: 20 65 78 65 63 73 71 6c 20 7b 20 53 45 4c 45 43   execsql { SELEC
20b0: 54 20 2a 20 46 52 4f 4d 20 61 62 63 20 7d 0a 7d  T * FROM abc }.}
20c0: 20 7b 7d 0a 64 6f 5f 74 65 73 74 20 69 6f 2d 32   {}.do_test io-2
20d0: 2e 38 2e 33 20 7b 0a 20 20 65 78 65 63 73 71 6c  .8.3 {.  execsql
20e0: 20 7b 0a 20 20 20 20 52 4f 4c 4c 42 41 43 4b 3b   {.    ROLLBACK;
20f0: 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52  .    SELECT * FR
2100: 4f 4d 20 61 62 63 3b 0a 20 20 7d 0a 7d 20 7b 31  OM abc;.  }.} {1
2110: 20 32 20 33 20 34 20 35 20 36 20 37 20 38 7d 0a   2 3 4 5 6 7 8}.
2120: 0a 23 20 54 65 73 74 20 74 68 61 74 20 74 68 65  .# Test that the
2130: 20 61 74 6f 6d 69 63 20 77 72 69 74 65 20 6f 70   atomic write op
2140: 74 69 6d 69 73 61 74 69 6f 6e 20 69 73 20 6e 6f  timisation is no
2150: 74 20 65 6e 61 62 6c 65 64 20 69 66 20 74 68 65  t enabled if the
2160: 20 73 65 63 74 6f 72 0a 23 20 73 69 7a 65 20 69   sector.# size i
2170: 73 20 6c 61 72 67 65 72 20 74 68 61 6e 20 74 68  s larger than th
2180: 65 20 70 61 67 65 2d 73 69 7a 65 2e 0a 23 0a 64  e page-size..#.d
2190: 6f 5f 74 65 73 74 20 69 6f 2d 32 2e 39 2e 31 20  o_test io-2.9.1 
21a0: 7b 0a 20 20 64 62 20 63 6c 6f 73 65 0a 20 20 73  {.  db close.  s
21b0: 71 6c 69 74 65 33 20 64 62 20 74 65 73 74 2e 64  qlite3 db test.d
21c0: 62 0a 20 20 73 71 6c 69 74 65 33 5f 73 69 6d 75  b.  sqlite3_simu
21d0: 6c 61 74 65 5f 64 65 76 69 63 65 20 2d 63 68 61  late_device -cha
21e0: 72 20 61 74 6f 6d 69 63 20 2d 73 65 63 74 6f 72  r atomic -sector
21f0: 73 69 7a 65 20 32 30 34 38 0a 20 20 65 78 65 63  size 2048.  exec
2200: 73 71 6c 20 7b 0a 20 20 20 20 42 45 47 49 4e 3b  sql {.    BEGIN;
2210: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
2220: 20 61 62 63 20 56 41 4c 55 45 53 28 39 2c 20 31   abc VALUES(9, 1
2230: 30 29 3b 0a 20 20 7d 0a 20 20 66 69 6c 65 20 65  0);.  }.  file e
2240: 78 69 73 74 73 20 74 65 73 74 2e 64 62 2d 6a 6f  xists test.db-jo
2250: 75 72 6e 61 6c 0a 7d 20 7b 31 7d 0a 64 6f 5f 74  urnal.} {1}.do_t
2260: 65 73 74 20 69 6f 2d 32 2e 39 2e 32 20 7b 0a 20  est io-2.9.2 {. 
2270: 20 65 78 65 63 73 71 6c 20 7b 20 52 4f 4c 4c 42   execsql { ROLLB
2280: 41 43 4b 3b 20 7d 0a 20 20 64 62 20 63 6c 6f 73  ACK; }.  db clos
2290: 65 0a 20 20 66 69 6c 65 20 64 65 6c 65 74 65 20  e.  file delete 
22a0: 2d 66 6f 72 63 65 20 74 65 73 74 2e 64 62 20 74  -force test.db t
22b0: 65 73 74 2e 64 62 2d 6a 6f 75 72 6e 61 6c 0a 20  est.db-journal. 
22c0: 20 73 71 6c 69 74 65 33 20 64 62 20 74 65 73 74   sqlite3 db test
22d0: 2e 64 62 20 2d 76 66 73 20 64 65 76 73 79 6d 0a  .db -vfs devsym.
22e0: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
22f0: 50 52 41 47 4d 41 20 61 75 74 6f 5f 76 61 63 75  PRAGMA auto_vacu
2300: 75 6d 20 3d 20 4f 46 46 3b 0a 20 20 20 20 50 52  um = OFF;.    PR
2310: 41 47 4d 41 20 70 61 67 65 5f 73 69 7a 65 20 3d  AGMA page_size =
2320: 20 32 30 34 38 3b 0a 20 20 20 20 43 52 45 41 54   2048;.    CREAT
2330: 45 20 54 41 42 4c 45 20 61 62 63 28 61 2c 20 62  E TABLE abc(a, b
2340: 29 3b 0a 20 20 7d 0a 20 20 65 78 65 63 73 71 6c  );.  }.  execsql
2350: 20 7b 0a 20 20 20 20 42 45 47 49 4e 3b 0a 20 20   {.    BEGIN;.  
2360: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 61 62    INSERT INTO ab
2370: 63 20 56 41 4c 55 45 53 28 39 2c 20 31 30 29 3b  c VALUES(9, 10);
2380: 0a 20 20 7d 0a 20 20 66 69 6c 65 20 65 78 69 73  .  }.  file exis
2390: 74 73 20 74 65 73 74 2e 64 62 2d 6a 6f 75 72 6e  ts test.db-journ
23a0: 61 6c 0a 7d 20 7b 30 7d 0a 64 6f 5f 74 65 73 74  al.} {0}.do_test
23b0: 20 69 6f 2d 32 2e 39 2e 33 20 7b 0a 20 20 65 78   io-2.9.3 {.  ex
23c0: 65 63 73 71 6c 20 7b 20 43 4f 4d 4d 49 54 20 7d  ecsql { COMMIT }
23d0: 0a 7d 20 7b 7d 0a 0a 23 20 54 65 73 74 20 61 20  .} {}..# Test a 
23e0: 63 6f 75 70 6c 65 20 6f 66 20 74 68 65 20 6d 6f  couple of the mo
23f0: 72 65 20 73 70 65 63 69 66 69 63 20 49 4f 43 41  re specific IOCA
2400: 50 5f 41 54 4f 4d 49 43 20 66 6c 61 67 73 20 0a  P_ATOMIC flags .
2410: 23 20 28 69 2e 65 20 49 4f 43 41 50 5f 41 54 4f  # (i.e IOCAP_ATO
2420: 4d 49 43 32 4b 20 65 74 63 2e 29 2e 0a 23 0a 64  MIC2K etc.)..#.d
2430: 6f 5f 74 65 73 74 20 69 6f 2d 32 2e 31 30 2e 31  o_test io-2.10.1
2440: 20 7b 0a 20 20 73 71 6c 69 74 65 33 5f 73 69 6d   {.  sqlite3_sim
2450: 75 6c 61 74 65 5f 64 65 76 69 63 65 20 2d 63 68  ulate_device -ch
2460: 61 72 20 61 74 6f 6d 69 63 31 6b 0a 20 20 65 78  ar atomic1k.  ex
2470: 65 63 73 71 6c 20 7b 0a 20 20 20 20 42 45 47 49  ecsql {.    BEGI
2480: 4e 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e  N;.    INSERT IN
2490: 54 4f 20 61 62 63 20 56 41 4c 55 45 53 28 31 31  TO abc VALUES(11
24a0: 2c 20 31 32 29 3b 0a 20 20 7d 0a 20 20 66 69 6c  , 12);.  }.  fil
24b0: 65 20 65 78 69 73 74 73 20 74 65 73 74 2e 64 62  e exists test.db
24c0: 2d 6a 6f 75 72 6e 61 6c 0a 7d 20 7b 31 7d 0a 64  -journal.} {1}.d
24d0: 6f 5f 74 65 73 74 20 69 6f 2d 32 2e 31 30 2e 32  o_test io-2.10.2
24e0: 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 52   {.  execsql { R
24f0: 4f 4c 4c 42 41 43 4b 20 7d 0a 20 20 73 71 6c 69  OLLBACK }.  sqli
2500: 74 65 33 5f 73 69 6d 75 6c 61 74 65 5f 64 65 76  te3_simulate_dev
2510: 69 63 65 20 2d 63 68 61 72 20 61 74 6f 6d 69 63  ice -char atomic
2520: 32 6b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20  2k.  execsql {. 
2530: 20 20 20 42 45 47 49 4e 3b 0a 20 20 20 20 49 4e     BEGIN;.    IN
2540: 53 45 52 54 20 49 4e 54 4f 20 61 62 63 20 56 41  SERT INTO abc VA
2550: 4c 55 45 53 28 31 31 2c 20 31 32 29 3b 0a 20 20  LUES(11, 12);.  
2560: 7d 0a 20 20 66 69 6c 65 20 65 78 69 73 74 73 20  }.  file exists 
2570: 74 65 73 74 2e 64 62 2d 6a 6f 75 72 6e 61 6c 0a  test.db-journal.
2580: 7d 20 7b 30 7d 0a 64 6f 5f 74 65 73 74 20 69 6f  } {0}.do_test io
2590: 2d 32 2e 31 30 2e 33 20 7b 0a 20 20 65 78 65 63  -2.10.3 {.  exec
25a0: 73 71 6c 20 7b 20 52 4f 4c 4c 42 41 43 4b 20 7d  sql { ROLLBACK }
25b0: 0a 7d 20 7b 7d 0a 0a 64 6f 5f 74 65 73 74 20 69  .} {}..do_test i
25c0: 6f 2d 32 2e 31 31 2e 30 20 7b 0a 20 20 65 78 65  o-2.11.0 {.  exe
25d0: 63 73 71 6c 20 7b 20 0a 20 20 20 20 50 52 41 47  csql { .    PRAG
25e0: 4d 41 20 6c 6f 63 6b 69 6e 67 5f 6d 6f 64 65 20  MA locking_mode 
25f0: 3d 20 65 78 63 6c 75 73 69 76 65 3b 0a 20 20 20  = exclusive;.   
2600: 20 50 52 41 47 4d 41 20 6c 6f 63 6b 69 6e 67 5f   PRAGMA locking_
2610: 6d 6f 64 65 3b 0a 20 20 7d 0a 7d 20 7b 65 78 63  mode;.  }.} {exc
2620: 6c 75 73 69 76 65 20 65 78 63 6c 75 73 69 76 65  lusive exclusive
2630: 7d 0a 64 6f 5f 74 65 73 74 20 69 6f 2d 32 2e 31  }.do_test io-2.1
2640: 31 2e 31 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  1.1 {.  execsql 
2650: 7b 20 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e  { .    INSERT IN
2660: 54 4f 20 61 62 63 20 56 41 4c 55 45 53 28 31 31  TO abc VALUES(11
2670: 2c 20 31 32 29 3b 0a 20 20 7d 0a 20 20 66 69 6c  , 12);.  }.  fil
2680: 65 20 65 78 69 73 74 73 20 74 65 73 74 2e 64 62  e exists test.db
2690: 2d 6a 6f 75 72 6e 61 6c 0a 7d 20 7b 30 7d 0a 0a  -journal.} {0}..
26a0: 64 6f 5f 74 65 73 74 20 69 6f 2d 32 2e 31 31 2e  do_test io-2.11.
26b0: 32 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 20  2 {.  execsql { 
26c0: 0a 20 20 20 20 50 52 41 47 4d 41 20 6c 6f 63 6b  .    PRAGMA lock
26d0: 69 6e 67 5f 6d 6f 64 65 20 3d 20 6e 6f 72 6d 61  ing_mode = norma
26e0: 6c 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e  l;.    INSERT IN
26f0: 54 4f 20 61 62 63 20 56 41 4c 55 45 53 28 31 33  TO abc VALUES(13
2700: 2c 20 31 34 29 3b 0a 20 20 7d 0a 20 20 66 69 6c  , 14);.  }.  fil
2710: 65 20 65 78 69 73 74 73 20 74 65 73 74 2e 64 62  e exists test.db
2720: 2d 6a 6f 75 72 6e 61 6c 0a 7d 20 7b 30 7d 0a 0a  -journal.} {0}..
2730: 7d 20 3b 23 20 2f 2a 20 69 66 63 61 70 61 62 6c  } ;# /* ifcapabl
2740: 65 20 61 74 6f 6d 69 63 77 72 69 74 65 20 2a 2f  e atomicwrite */
2750: 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ..#-------------
2760: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2770: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2780: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2790: 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 54 65 73 74  ---------.# Test
27a0: 20 63 61 73 65 73 20 69 6f 2d 33 2e 2a 20 74 65   cases io-3.* te
27b0: 73 74 20 74 68 65 20 49 4f 43 41 50 5f 53 45 51  st the IOCAP_SEQ
27c0: 55 45 4e 54 49 41 4c 20 6f 70 74 69 6d 69 7a 61  UENTIAL optimiza
27d0: 74 69 6f 6e 2e 0a 23 0a 73 71 6c 69 74 65 33 5f  tion..#.sqlite3_
27e0: 73 69 6d 75 6c 61 74 65 5f 64 65 76 69 63 65 20  simulate_device 
27f0: 2d 63 68 61 72 20 73 65 71 75 65 6e 74 69 61 6c  -char sequential
2800: 20 2d 73 65 63 74 6f 72 73 69 7a 65 20 30 0a 69   -sectorsize 0.i
2810: 66 63 61 70 61 62 6c 65 20 70 61 67 65 72 5f 70  fcapable pager_p
2820: 72 61 67 6d 61 73 20 7b 0a 20 20 64 6f 5f 74 65  ragmas {.  do_te
2830: 73 74 20 69 6f 2d 33 2e 31 20 7b 0a 20 20 20 20  st io-3.1 {.    
2840: 64 62 20 63 6c 6f 73 65 0a 20 20 20 20 66 69 6c  db close.    fil
2850: 65 20 64 65 6c 65 74 65 20 2d 66 6f 72 63 65 20  e delete -force 
2860: 74 65 73 74 2e 64 62 20 74 65 73 74 2e 64 62 2d  test.db test.db-
2870: 6a 6f 75 72 6e 61 6c 0a 20 20 20 20 73 71 6c 69  journal.    sqli
2880: 74 65 33 20 64 62 20 74 65 73 74 2e 64 62 20 2d  te3 db test.db -
2890: 76 66 73 20 64 65 76 73 79 6d 0a 20 20 20 20 64  vfs devsym.    d
28a0: 62 20 65 76 61 6c 20 7b 0a 20 20 20 20 20 20 50  b eval {.      P
28b0: 52 41 47 4d 41 20 61 75 74 6f 5f 76 61 63 75 75  RAGMA auto_vacuu
28c0: 6d 3d 4f 46 46 3b 0a 20 20 20 20 7d 0a 20 20 20  m=OFF;.    }.   
28d0: 20 23 20 46 69 6c 65 20 73 69 7a 65 20 6d 69 67   # File size mig
28e0: 68 74 20 62 65 20 31 20 64 75 65 20 74 6f 20 74  ht be 1 due to t
28f0: 68 65 20 68 61 63 6b 20 74 6f 20 77 6f 72 6b 20  he hack to work 
2900: 61 72 6f 75 6e 64 20 74 69 63 6b 65 74 20 23 33  around ticket #3
2910: 32 36 30 2e 0a 20 20 20 20 23 20 53 65 61 72 63  260..    # Searc
2920: 68 20 66 6f 72 20 23 33 32 36 30 20 69 6e 20 6f  h for #3260 in o
2930: 73 5f 75 6e 69 78 2e 63 20 66 6f 72 20 61 64 64  s_unix.c for add
2940: 69 74 69 6f 6e 61 6c 20 69 6e 66 6f 72 6d 61 74  itional informat
2950: 69 6f 6e 2e 0a 20 20 20 20 65 78 70 72 20 7b 5b  ion..    expr {[
2960: 66 69 6c 65 20 73 69 7a 65 20 74 65 73 74 2e 64  file size test.d
2970: 62 5d 3e 31 7d 0a 20 20 7d 20 7b 30 7d 0a 20 20  b]>1}.  } {0}.  
2980: 64 6f 5f 74 65 73 74 20 69 6f 2d 33 2e 32 20 7b  do_test io-3.2 {
2990: 0a 20 20 20 20 65 78 65 63 73 71 6c 20 7b 20 43  .    execsql { C
29a0: 52 45 41 54 45 20 54 41 42 4c 45 20 61 62 63 28  REATE TABLE abc(
29b0: 61 2c 20 62 29 20 7d 0a 20 20 20 20 6e 53 79 6e  a, b) }.    nSyn
29c0: 63 0a 20 20 20 20 65 78 65 63 73 71 6c 20 7b 0a  c.    execsql {.
29d0: 20 20 20 20 20 20 50 52 41 47 4d 41 20 74 65 6d        PRAGMA tem
29e0: 70 5f 73 74 6f 72 65 20 3d 20 6d 65 6d 6f 72 79  p_store = memory
29f0: 3b 0a 20 20 20 20 20 20 50 52 41 47 4d 41 20 63  ;.      PRAGMA c
2a00: 61 63 68 65 5f 73 69 7a 65 20 3d 20 31 30 3b 0a  ache_size = 10;.
2a10: 20 20 20 20 20 20 42 45 47 49 4e 3b 0a 20 20 20        BEGIN;.   
2a20: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 61     INSERT INTO a
2a30: 62 63 20 56 41 4c 55 45 53 28 27 68 65 6c 6c 6f  bc VALUES('hello
2a40: 27 2c 20 27 77 6f 72 6c 64 27 29 3b 0a 20 20 20  ', 'world');.   
2a50: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 61     INSERT INTO a
2a60: 62 63 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d  bc SELECT * FROM
2a70: 20 61 62 63 3b 0a 20 20 20 20 20 20 49 4e 53 45   abc;.      INSE
2a80: 52 54 20 49 4e 54 4f 20 61 62 63 20 53 45 4c 45  RT INTO abc SELE
2a90: 43 54 20 2a 20 46 52 4f 4d 20 61 62 63 3b 0a 20  CT * FROM abc;. 
2aa0: 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f       INSERT INTO
2ab0: 20 61 62 63 20 53 45 4c 45 43 54 20 2a 20 46 52   abc SELECT * FR
2ac0: 4f 4d 20 61 62 63 3b 0a 20 20 20 20 20 20 49 4e  OM abc;.      IN
2ad0: 53 45 52 54 20 49 4e 54 4f 20 61 62 63 20 53 45  SERT INTO abc SE
2ae0: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 61 62 63 3b  LECT * FROM abc;
2af0: 0a 20 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e  .      INSERT IN
2b00: 54 4f 20 61 62 63 20 53 45 4c 45 43 54 20 2a 20  TO abc SELECT * 
2b10: 46 52 4f 4d 20 61 62 63 3b 0a 20 20 20 20 20 20  FROM abc;.      
2b20: 49 4e 53 45 52 54 20 49 4e 54 4f 20 61 62 63 20  INSERT INTO abc 
2b30: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 61 62  SELECT * FROM ab
2b40: 63 3b 0a 20 20 20 20 20 20 49 4e 53 45 52 54 20  c;.      INSERT 
2b50: 49 4e 54 4f 20 61 62 63 20 53 45 4c 45 43 54 20  INTO abc SELECT 
2b60: 2a 20 46 52 4f 4d 20 61 62 63 3b 0a 20 20 20 20  * FROM abc;.    
2b70: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 61 62    INSERT INTO ab
2b80: 63 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20  c SELECT * FROM 
2b90: 61 62 63 3b 0a 20 20 20 20 20 20 49 4e 53 45 52  abc;.      INSER
2ba0: 54 20 49 4e 54 4f 20 61 62 63 20 53 45 4c 45 43  T INTO abc SELEC
2bb0: 54 20 2a 20 46 52 4f 4d 20 61 62 63 3b 0a 20 20  T * FROM abc;.  
2bc0: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
2bd0: 61 62 63 20 53 45 4c 45 43 54 20 2a 20 46 52 4f  abc SELECT * FRO
2be0: 4d 20 61 62 63 3b 0a 20 20 20 20 20 20 49 4e 53  M abc;.      INS
2bf0: 45 52 54 20 49 4e 54 4f 20 61 62 63 20 53 45 4c  ERT INTO abc SEL
2c00: 45 43 54 20 2a 20 46 52 4f 4d 20 61 62 63 3b 0a  ECT * FROM abc;.
2c10: 20 20 20 20 7d 0a 20 20 20 20 23 20 46 69 6c 65      }.    # File
2c20: 20 68 61 73 20 67 72 6f 77 6e 20 2d 20 73 68 6f   has grown - sho
2c30: 77 69 6e 67 20 74 68 65 72 65 20 77 61 73 20 61  wing there was a
2c40: 20 63 61 63 68 65 2d 73 70 69 6c 6c 20 2d 20 62   cache-spill - b
2c50: 75 74 20 74 68 65 72 65 20 0a 20 20 20 20 23 20  ut there .    # 
2c60: 68 61 76 65 20 62 65 65 6e 20 6e 6f 20 63 61 6c  have been no cal
2c70: 6c 73 20 74 6f 20 66 73 79 6e 63 28 29 2e 20 54  ls to fsync(). T
2c80: 68 65 20 66 69 6c 65 20 69 73 20 70 72 6f 62 61  he file is proba
2c90: 62 6c 79 20 61 62 6f 75 74 20 33 30 4b 42 2e 0a  bly about 30KB..
2ca0: 20 20 20 20 23 20 42 75 74 20 73 6f 6d 65 20 56      # But some V
2cb0: 46 53 20 69 6d 70 6c 65 6d 65 6e 74 61 74 69 6f  FS implementatio
2cc0: 6e 73 20 28 73 79 6d 62 69 61 6e 29 20 62 75 66  ns (symbian) buf
2cd0: 66 65 72 20 77 72 69 74 65 73 20 73 6f 20 74 68  fer writes so th
2ce0: 65 20 61 63 74 75 61 6c 0a 20 20 20 20 23 20 73  e actual.    # s
2cf0: 69 7a 65 20 6d 61 79 20 62 65 20 61 20 6c 69 74  ize may be a lit
2d00: 74 6c 65 20 6c 65 73 73 20 74 68 61 6e 20 74 68  tle less than th
2d10: 61 74 2e 20 53 6f 20 74 68 69 73 20 74 65 73 74  at. So this test
2d20: 20 63 61 73 65 20 6a 75 73 74 20 74 65 73 74 73   case just tests
2d30: 0a 20 20 20 20 23 20 74 68 61 74 20 74 68 65 20  .    # that the 
2d40: 66 69 6c 65 20 69 73 20 6e 6f 77 20 67 72 65 61  file is now grea
2d50: 74 65 72 20 74 68 61 6e 20 32 30 30 30 30 20 62  ter than 20000 b
2d60: 79 74 65 73 20 69 6e 20 73 69 7a 65 2e 0a 20 20  ytes in size..  
2d70: 20 20 6c 69 73 74 20 5b 65 78 70 72 20 5b 66 69    list [expr [fi
2d80: 6c 65 20 73 69 7a 65 20 74 65 73 74 2e 64 62 5d  le size test.db]
2d90: 3e 32 30 30 30 30 5d 20 5b 6e 53 79 6e 63 5d 0a  >20000] [nSync].
2da0: 20 20 7d 20 7b 31 20 30 7d 0a 20 20 64 6f 5f 74    } {1 0}.  do_t
2db0: 65 73 74 20 69 6f 2d 33 2e 33 20 7b 0a 20 20 20  est io-3.3 {.   
2dc0: 20 23 20 54 68 65 20 43 4f 4d 4d 49 54 20 72 65   # The COMMIT re
2dd0: 71 75 69 72 65 73 20 61 20 73 69 6e 67 6c 65 20  quires a single 
2de0: 66 73 79 6e 63 28 29 20 2d 20 74 6f 20 74 68 65  fsync() - to the
2df0: 20 64 61 74 61 62 61 73 65 20 66 69 6c 65 2e 0a   database file..
2e00: 20 20 20 20 65 78 65 63 73 71 6c 20 7b 20 43 4f      execsql { CO
2e10: 4d 4d 49 54 20 7d 0a 20 20 20 20 6c 69 73 74 20  MMIT }.    list 
2e20: 5b 66 69 6c 65 20 73 69 7a 65 20 74 65 73 74 2e  [file size test.
2e30: 64 62 5d 20 5b 6e 53 79 6e 63 5d 0a 20 20 7d 20  db] [nSync].  } 
2e40: 7b 33 39 39 33 36 20 31 7d 0a 7d 0a 0a 23 2d 2d  {39936 1}.}..#--
2e50: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2e60: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2e70: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2e80: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2e90: 2d 2d 2d 2d 0a 23 20 54 65 73 74 20 63 61 73 65  ----.# Test case
2ea0: 73 20 69 6f 2d 34 2e 2a 20 74 65 73 74 20 74 68  s io-4.* test th
2eb0: 65 20 49 4f 43 41 50 5f 53 41 46 45 5f 41 50 50  e IOCAP_SAFE_APP
2ec0: 45 4e 44 20 6f 70 74 69 6d 69 7a 61 74 69 6f 6e  END optimization
2ed0: 2e 0a 23 0a 73 71 6c 69 74 65 33 5f 73 69 6d 75  ..#.sqlite3_simu
2ee0: 6c 61 74 65 5f 64 65 76 69 63 65 20 2d 63 68 61  late_device -cha
2ef0: 72 20 73 61 66 65 5f 61 70 70 65 6e 64 0a 0a 23  r safe_append..#
2f00: 20 57 69 74 68 20 74 68 65 20 53 41 46 45 5f 41   With the SAFE_A
2f10: 50 50 45 4e 44 20 66 6c 61 67 20 73 65 74 2c 20  PPEND flag set, 
2f20: 73 69 6d 70 6c 65 20 74 72 61 6e 73 61 63 74 69  simple transacti
2f30: 6f 6e 73 20 72 65 71 75 69 72 65 20 33 2c 20 72  ons require 3, r
2f40: 61 74 68 65 72 0a 23 20 74 68 61 6e 20 34 2c 20  ather.# than 4, 
2f50: 63 61 6c 6c 73 20 74 6f 20 66 73 79 6e 63 28 29  calls to fsync()
2f60: 2e 20 54 68 65 20 66 73 79 6e 63 28 29 20 63 61  . The fsync() ca
2f70: 6c 6c 73 20 61 72 65 20 6f 6e 3a 0a 23 0a 23 20  lls are on:.#.# 
2f80: 20 20 31 29 20 54 68 65 20 64 69 72 65 63 74 6f    1) The directo
2f90: 72 79 20 69 6e 20 77 68 69 63 68 20 74 68 65 20  ry in which the 
2fa0: 6a 6f 75 72 6e 61 6c 20 66 69 6c 65 20 69 73 20  journal file is 
2fb0: 63 72 65 61 74 65 64 2c 20 28 75 6e 69 78 20 6f  created, (unix o
2fc0: 6e 6c 79 29 0a 23 20 20 20 32 29 20 54 68 65 20  nly).#   2) The 
2fd0: 6a 6f 75 72 6e 61 6c 20 66 69 6c 65 20 28 74 6f  journal file (to
2fe0: 20 73 79 6e 63 20 74 68 65 20 70 61 67 65 20 64   sync the page d
2ff0: 61 74 61 29 2c 0a 23 20 20 20 33 29 20 54 68 65  ata),.#   3) The
3000: 20 64 61 74 61 62 61 73 65 20 66 69 6c 65 2e 0a   database file..
3010: 23 0a 23 20 4e 6f 72 6d 61 6c 6c 79 2c 20 77 68  #.# Normally, wh
3020: 65 6e 20 74 68 65 20 53 41 46 45 5f 41 50 50 45  en the SAFE_APPE
3030: 4e 44 20 66 6c 61 67 20 69 73 20 6e 6f 74 20 73  ND flag is not s
3040: 65 74 2c 20 74 68 65 72 65 20 69 73 20 61 6e 6f  et, there is ano
3050: 74 68 65 72 20 66 73 79 6e 63 28 29 0a 23 20 6f  ther fsync().# o
3060: 6e 20 74 68 65 20 6a 6f 75 72 6e 61 6c 20 66 69  n the journal fi
3070: 6c 65 20 62 65 74 77 65 65 6e 20 73 74 65 70 73  le between steps
3080: 20 28 32 29 20 61 6e 64 20 28 33 29 20 61 62 6f   (2) and (3) abo
3090: 76 65 2e 0a 23 0a 73 65 74 20 65 78 70 65 63 74  ve..#.set expect
30a0: 65 64 5f 73 79 6e 63 5f 63 6f 75 6e 74 20 32 0a  ed_sync_count 2.
30b0: 69 66 20 7b 24 3a 3a 74 63 6c 5f 70 6c 61 74 66  if {$::tcl_platf
30c0: 6f 72 6d 28 70 6c 61 74 66 6f 72 6d 29 3d 3d 22  orm(platform)=="
30d0: 75 6e 69 78 22 7d 20 7b 0a 20 20 69 66 63 61 70  unix"} {.  ifcap
30e0: 61 62 6c 65 20 64 69 72 73 79 6e 63 20 7b 0a 20  able dirsync {. 
30f0: 20 20 20 69 6e 63 72 20 65 78 70 65 63 74 65 64     incr expected
3100: 5f 73 79 6e 63 5f 63 6f 75 6e 74 0a 20 20 7d 0a  _sync_count.  }.
3110: 7d 0a 0a 64 6f 5f 74 65 73 74 20 69 6f 2d 34 2e  }..do_test io-4.
3120: 31 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 20  1 {.  execsql { 
3130: 44 45 4c 45 54 45 20 46 52 4f 4d 20 61 62 63 20  DELETE FROM abc 
3140: 7d 0a 20 20 6e 53 79 6e 63 0a 20 20 65 78 65 63  }.  nSync.  exec
3150: 73 71 6c 20 7b 20 49 4e 53 45 52 54 20 49 4e 54  sql { INSERT INT
3160: 4f 20 61 62 63 20 56 41 4c 55 45 53 28 27 61 27  O abc VALUES('a'
3170: 2c 20 27 62 27 29 20 7d 0a 20 20 6e 53 79 6e 63  , 'b') }.  nSync
3180: 0a 7d 20 24 65 78 70 65 63 74 65 64 5f 73 79 6e  .} $expected_syn
3190: 63 5f 63 6f 75 6e 74 0a 0a 23 20 57 69 74 68 20  c_count..# With 
31a0: 53 41 46 45 5f 41 50 50 45 4e 44 20 73 65 74 2c  SAFE_APPEND set,
31b0: 20 74 68 65 20 6e 52 65 63 20 66 69 65 6c 64 20   the nRec field 
31c0: 6f 66 20 74 68 65 20 6a 6f 75 72 6e 61 6c 20 66  of the journal f
31d0: 69 6c 65 20 68 65 61 64 65 72 20 73 68 6f 75 6c  ile header shoul
31e0: 64 0a 23 20 62 65 20 73 65 74 20 74 6f 20 30 78  d.# be set to 0x
31f0: 46 46 46 46 46 46 46 46 20 62 65 66 6f 72 65 20  FFFFFFFF before 
3200: 74 68 65 20 66 69 72 73 74 20 6a 6f 75 72 6e 61  the first journa
3210: 6c 20 73 79 6e 63 2e 20 54 68 65 20 6e 52 65 63  l sync. The nRec
3220: 20 66 69 65 6c 64 0a 23 20 6f 63 63 75 70 69 65   field.# occupie
3230: 73 20 62 79 74 65 73 20 38 2d 31 31 20 6f 66 20  s bytes 8-11 of 
3240: 74 68 65 20 6a 6f 75 72 6e 61 6c 20 66 69 6c 65  the journal file
3250: 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 69 6f 2d 34  ..#.do_test io-4
3260: 2e 32 2e 31 20 7b 0a 20 20 65 78 65 63 73 71 6c  .2.1 {.  execsql
3270: 20 7b 20 42 45 47 49 4e 20 7d 0a 20 20 65 78 65   { BEGIN }.  exe
3280: 63 73 71 6c 20 7b 20 49 4e 53 45 52 54 20 49 4e  csql { INSERT IN
3290: 54 4f 20 61 62 63 20 56 41 4c 55 45 53 28 27 63  TO abc VALUES('c
32a0: 27 2c 20 27 64 27 29 20 7d 0a 20 20 66 69 6c 65  ', 'd') }.  file
32b0: 20 65 78 69 73 74 73 20 74 65 73 74 2e 64 62 2d   exists test.db-
32c0: 6a 6f 75 72 6e 61 6c 0a 7d 20 7b 31 7d 0a 69 66  journal.} {1}.if
32d0: 20 7b 24 3a 3a 74 63 6c 5f 70 6c 61 74 66 6f 72   {$::tcl_platfor
32e0: 6d 28 70 6c 61 74 66 6f 72 6d 29 3d 3d 22 75 6e  m(platform)=="un
32f0: 69 78 22 7d 20 7b 0a 20 20 64 6f 5f 74 65 73 74  ix"} {.  do_test
3300: 20 69 6f 2d 34 2e 32 2e 32 20 7b 0a 20 20 20 20   io-4.2.2 {.    
3310: 68 65 78 69 6f 5f 72 65 61 64 20 74 65 73 74 2e  hexio_read test.
3320: 64 62 2d 6a 6f 75 72 6e 61 6c 20 38 20 34 0a 20  db-journal 8 4. 
3330: 20 7d 20 7b 46 46 46 46 46 46 46 46 7d 0a 7d 0a   } {FFFFFFFF}.}.
3340: 64 6f 5f 74 65 73 74 20 69 6f 2d 34 2e 32 2e 33  do_test io-4.2.3
3350: 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 43   {.  execsql { C
3360: 4f 4d 4d 49 54 20 7d 0a 20 20 6e 53 79 6e 63 0a  OMMIT }.  nSync.
3370: 7d 20 24 65 78 70 65 63 74 65 64 5f 73 79 6e 63  } $expected_sync
3380: 5f 63 6f 75 6e 74 0a 73 71 6c 69 74 65 33 5f 73  _count.sqlite3_s
3390: 69 6d 75 6c 61 74 65 5f 64 65 76 69 63 65 20 2d  imulate_device -
33a0: 63 68 61 72 20 73 61 66 65 5f 61 70 70 65 6e 64  char safe_append
33b0: 0a 0a 23 20 57 69 74 68 20 53 41 46 45 5f 41 50  ..# With SAFE_AP
33c0: 50 45 4e 44 20 73 65 74 2c 20 74 68 65 72 65 20  PEND set, there 
33d0: 73 68 6f 75 6c 64 20 6f 6e 6c 79 20 65 76 65 72  should only ever
33e0: 20 62 65 20 6f 6e 65 20 6a 6f 75 72 6e 61 6c 2d   be one journal-
33f0: 68 65 61 64 65 72 0a 23 20 77 72 69 74 74 65 6e  header.# written
3400: 20 74 6f 20 74 68 65 20 64 61 74 61 62 61 73 65   to the database
3410: 2c 20 65 76 65 6e 20 74 68 6f 75 67 68 20 74 68  , even though th
3420: 65 20 73 79 6e 63 2d 6d 6f 64 65 20 69 73 20 22  e sync-mode is "
3430: 66 75 6c 6c 22 2e 0a 23 0a 64 6f 5f 74 65 73 74  full"..#.do_test
3440: 20 69 6f 2d 34 2e 33 2e 31 20 7b 0a 20 20 65 78   io-4.3.1 {.  ex
3450: 65 63 73 71 6c 20 7b 0a 20 20 20 20 49 4e 53 45  ecsql {.    INSE
3460: 52 54 20 49 4e 54 4f 20 61 62 63 20 53 45 4c 45  RT INTO abc SELE
3470: 43 54 20 2a 20 46 52 4f 4d 20 61 62 63 3b 0a 20  CT * FROM abc;. 
3480: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 61     INSERT INTO a
3490: 62 63 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d  bc SELECT * FROM
34a0: 20 61 62 63 3b 0a 20 20 20 20 49 4e 53 45 52 54   abc;.    INSERT
34b0: 20 49 4e 54 4f 20 61 62 63 20 53 45 4c 45 43 54   INTO abc SELECT
34c0: 20 2a 20 46 52 4f 4d 20 61 62 63 3b 0a 20 20 20   * FROM abc;.   
34d0: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 61 62 63   INSERT INTO abc
34e0: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 61   SELECT * FROM a
34f0: 62 63 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49  bc;.    INSERT I
3500: 4e 54 4f 20 61 62 63 20 53 45 4c 45 43 54 20 2a  NTO abc SELECT *
3510: 20 46 52 4f 4d 20 61 62 63 3b 0a 20 20 20 20 49   FROM abc;.    I
3520: 4e 53 45 52 54 20 49 4e 54 4f 20 61 62 63 20 53  NSERT INTO abc S
3530: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 61 62 63  ELECT * FROM abc
3540: 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  ;.    INSERT INT
3550: 4f 20 61 62 63 20 53 45 4c 45 43 54 20 2a 20 46  O abc SELECT * F
3560: 52 4f 4d 20 61 62 63 3b 0a 20 20 20 20 49 4e 53  ROM abc;.    INS
3570: 45 52 54 20 49 4e 54 4f 20 61 62 63 20 53 45 4c  ERT INTO abc SEL
3580: 45 43 54 20 2a 20 46 52 4f 4d 20 61 62 63 3b 0a  ECT * FROM abc;.
3590: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
35a0: 61 62 63 20 53 45 4c 45 43 54 20 2a 20 46 52 4f  abc SELECT * FRO
35b0: 4d 20 61 62 63 3b 0a 20 20 20 20 49 4e 53 45 52  M abc;.    INSER
35c0: 54 20 49 4e 54 4f 20 61 62 63 20 53 45 4c 45 43  T INTO abc SELEC
35d0: 54 20 2a 20 46 52 4f 4d 20 61 62 63 3b 0a 20 20  T * FROM abc;.  
35e0: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 61 62    INSERT INTO ab
35f0: 63 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20  c SELECT * FROM 
3600: 61 62 63 3b 0a 20 20 7d 0a 20 20 65 78 70 72 20  abc;.  }.  expr 
3610: 7b 5b 66 69 6c 65 20 73 69 7a 65 20 74 65 73 74  {[file size test
3620: 2e 64 62 5d 2f 31 30 32 34 7d 0a 7d 20 7b 34 33  .db]/1024}.} {43
3630: 7d 0a 69 66 63 61 70 61 62 6c 65 20 70 61 67 65  }.ifcapable page
3640: 72 5f 70 72 61 67 6d 61 73 20 7b 0a 20 20 64 6f  r_pragmas {.  do
3650: 5f 74 65 73 74 20 69 6f 2d 34 2e 33 2e 32 20 7b  _test io-4.3.2 {
3660: 0a 20 20 20 20 65 78 65 63 73 71 6c 20 7b 0a 20  .    execsql {. 
3670: 20 20 20 20 20 50 52 41 47 4d 41 20 73 79 6e 63       PRAGMA sync
3680: 68 72 6f 6e 6f 75 73 20 3d 20 66 75 6c 6c 3b 0a  hronous = full;.
3690: 20 20 20 20 20 20 50 52 41 47 4d 41 20 63 61 63        PRAGMA cac
36a0: 68 65 5f 73 69 7a 65 20 3d 20 31 30 3b 0a 20 20  he_size = 10;.  
36b0: 20 20 20 20 50 52 41 47 4d 41 20 73 79 6e 63 68      PRAGMA synch
36c0: 72 6f 6e 6f 75 73 3b 0a 20 20 20 20 7d 0a 20 20  ronous;.    }.  
36d0: 7d 20 7b 32 7d 0a 7d 0a 64 6f 5f 74 65 73 74 20  } {2}.}.do_test 
36e0: 69 6f 2d 34 2e 33 2e 33 20 7b 0a 20 20 65 78 65  io-4.3.3 {.  exe
36f0: 63 73 71 6c 20 7b 0a 20 20 20 20 42 45 47 49 4e  csql {.    BEGIN
3700: 3b 0a 20 20 20 20 55 50 44 41 54 45 20 61 62 63  ;.    UPDATE abc
3710: 20 53 45 54 20 61 20 3d 20 27 78 27 3b 0a 20 20   SET a = 'x';.  
3720: 7d 0a 20 20 66 69 6c 65 20 65 78 69 73 74 73 20  }.  file exists 
3730: 74 65 73 74 2e 64 62 2d 6a 6f 75 72 6e 61 6c 0a  test.db-journal.
3740: 7d 20 7b 31 7d 0a 69 66 20 7b 24 74 63 6c 5f 70  } {1}.if {$tcl_p
3750: 6c 61 74 66 6f 72 6d 28 70 6c 61 74 66 6f 72 6d  latform(platform
3760: 29 20 21 3d 20 22 73 79 6d 62 69 61 6e 22 7d 20  ) != "symbian"} 
3770: 7b 0a 20 20 23 20 54 68 69 73 20 74 65 73 74 20  {.  # This test 
3780: 69 73 20 6e 6f 74 20 72 75 6e 20 6f 6e 20 73 79  is not run on sy
3790: 6d 62 69 61 6e 20 62 65 63 61 75 73 65 20 74 68  mbian because th
37a0: 65 20 66 69 6c 65 2d 62 75 66 66 65 72 20 6d 61  e file-buffer ma
37b0: 6b 65 73 20 69 74 0a 20 20 23 20 64 69 66 66 69  kes it.  # diffi
37c0: 63 75 6c 74 20 74 6f 20 70 72 65 64 69 63 74 20  cult to predict 
37d0: 74 68 65 20 65 78 61 63 74 20 73 69 7a 65 20 6f  the exact size o
37e0: 66 20 74 68 65 20 66 69 6c 65 20 61 73 20 72 65  f the file as re
37f0: 70 6f 72 74 65 64 20 62 79 20 0a 20 20 23 20 5b  ported by .  # [
3800: 66 69 6c 65 20 73 69 7a 65 5d 2e 0a 20 20 64 6f  file size]..  do
3810: 5f 74 65 73 74 20 69 6f 2d 34 2e 33 2e 34 20 7b  _test io-4.3.4 {
3820: 0a 20 20 20 20 23 20 54 68 65 20 55 50 44 41 54  .    # The UPDAT
3830: 45 20 73 74 61 74 65 6d 65 6e 74 20 69 6e 20 74  E statement in t
3840: 68 65 20 73 74 61 74 65 6d 65 6e 74 20 61 62 6f  he statement abo
3850: 76 65 20 6d 6f 64 69 66 69 65 73 20 34 31 20 70  ve modifies 41 p
3860: 61 67 65 73 20 0a 20 20 20 20 23 20 28 61 6c 6c  ages .    # (all
3870: 20 70 61 67 65 73 20 69 6e 20 74 68 65 20 64 61   pages in the da
3880: 74 61 62 61 73 65 20 65 78 63 65 70 74 20 70 61  tabase except pa
3890: 67 65 20 31 20 61 6e 64 20 74 68 65 20 72 6f 6f  ge 1 and the roo
38a0: 74 20 70 61 67 65 20 6f 66 20 0a 20 20 20 20 23  t page of .    #
38b0: 20 61 62 63 29 2e 20 42 65 63 61 75 73 65 20 74   abc). Because t
38c0: 68 65 20 63 61 63 68 65 5f 73 69 7a 65 20 69 73  he cache_size is
38d0: 20 73 65 74 20 74 6f 20 31 30 2c 20 74 68 69 73   set to 10, this
38e0: 20 6d 75 73 74 20 68 61 76 65 20 72 65 71 75 69   must have requi
38f0: 72 65 64 0a 20 20 20 20 23 20 61 74 20 6c 65 61  red.    # at lea
3900: 73 74 20 34 20 63 61 63 68 65 2d 73 70 69 6c 6c  st 4 cache-spill
3910: 73 2e 20 49 66 20 74 68 65 72 65 20 77 65 72 65  s. If there were
3920: 20 6e 6f 20 6a 6f 75 72 6e 61 6c 20 68 65 61 64   no journal head
3930: 65 72 73 20 77 72 69 74 74 65 6e 0a 20 20 20 20  ers written.    
3940: 23 20 74 6f 20 74 68 65 20 6a 6f 75 72 6e 61 6c  # to the journal
3950: 20 66 69 6c 65 20 61 66 74 65 72 20 74 68 65 20   file after the 
3960: 63 61 63 68 65 2d 73 70 69 6c 6c 2c 20 74 68 65  cache-spill, the
3970: 6e 20 74 68 65 20 73 69 7a 65 20 6f 66 20 74 68  n the size of th
3980: 65 0a 20 20 20 20 23 20 6a 6f 75 72 6e 61 6c 20  e.    # journal 
3990: 66 69 6c 65 20 69 73 20 67 69 76 65 20 62 79 3a  file is give by:
39a0: 0a 20 20 20 20 23 0a 20 20 20 20 23 20 20 20 20  .    #.    #    
39b0: 3c 6a 72 6e 6c 20 66 69 6c 65 20 73 69 7a 65 3e  <jrnl file size>
39c0: 20 3d 20 3c 6a 72 6e 6c 20 68 65 61 64 65 72 20   = <jrnl header 
39d0: 73 69 7a 65 3e 20 2b 20 6e 50 61 67 65 20 2a 20  size> + nPage * 
39e0: 28 3c 70 61 67 65 2d 73 69 7a 65 3e 20 2b 20 38  (<page-size> + 8
39f0: 29 0a 20 20 20 20 23 0a 20 20 20 20 23 20 49 66  ).    #.    # If
3a00: 20 74 68 65 20 6a 6f 75 72 6e 61 6c 20 66 69 6c   the journal fil
3a10: 65 20 63 6f 6e 74 61 69 6e 73 20 61 64 64 69 74  e contains addit
3a20: 69 6f 6e 61 6c 20 68 65 61 64 65 72 73 2c 20 74  ional headers, t
3a30: 68 69 73 20 66 6f 72 6d 75 6c 61 0a 20 20 20 20  his formula.    
3a40: 23 20 77 69 6c 6c 20 6e 6f 74 20 70 72 65 64 69  # will not predi
3a50: 63 74 20 74 68 65 20 73 69 7a 65 20 6f 66 20 74  ct the size of t
3a60: 68 65 20 6a 6f 75 72 6e 61 6c 20 66 69 6c 65 2e  he journal file.
3a70: 0a 20 20 20 20 23 0a 20 20 20 20 66 69 6c 65 20  .    #.    file 
3a80: 73 69 7a 65 20 74 65 73 74 2e 64 62 2d 6a 6f 75  size test.db-jou
3a90: 72 6e 61 6c 0a 20 20 7d 20 5b 65 78 70 72 20 35  rnal.  } [expr 5
3aa0: 31 32 20 2b 20 28 31 30 32 34 2b 38 29 2a 34 31  12 + (1024+8)*41
3ab0: 5d 0a 7d 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ].}..#----------
3ac0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
3ad0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
3ae0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
3af0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 54  ------------.# T
3b00: 65 73 74 20 63 61 73 65 73 20 69 6f 2d 35 2e 2a  est cases io-5.*
3b10: 20 74 65 73 74 20 74 68 61 74 20 74 68 65 20 64   test that the d
3b20: 65 66 61 75 6c 74 20 70 61 67 65 20 73 69 7a 65  efault page size
3b30: 20 69 73 20 73 65 6c 65 63 74 65 64 20 61 6e 64   is selected and
3b40: 0a 23 20 75 73 65 64 20 63 6f 72 72 65 63 74 6c  .# used correctl
3b50: 79 2e 0a 23 0a 73 65 74 20 74 6e 20 30 0a 66 6f  y..#.set tn 0.fo
3b60: 72 65 61 63 68 20 7b 63 68 61 72 20 20 20 20 20  reach {char     
3b70: 20 20 20 20 20 20 20 20 20 20 20 20 73 65 63 74              sect
3b80: 6f 72 73 69 7a 65 20 70 67 73 69 7a 65 7d 20 7b  orsize pgsize} {
3b90: 0a 20 20 20 20 20 20 20 20 20 7b 7d 20 20 20 20  .         {}    
3ba0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
3bb0: 20 35 31 32 20 20 20 20 20 20 31 30 32 34 0a 20   512      1024. 
3bc0: 20 20 20 20 20 20 20 20 7b 7d 20 20 20 20 20 20          {}      
3bd0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 31 30                10
3be0: 32 34 20 20 20 20 20 20 31 30 32 34 0a 20 20 20  24      1024.   
3bf0: 20 20 20 20 20 20 7b 7d 20 20 20 20 20 20 20 20        {}        
3c00: 20 20 20 20 20 20 20 20 20 20 20 20 32 30 34 38              2048
3c10: 20 20 20 20 20 20 32 30 34 38 0a 20 20 20 20 20        2048.     
3c20: 20 20 20 20 7b 7d 20 20 20 20 20 20 20 20 20 20      {}          
3c30: 20 20 20 20 20 20 20 20 20 20 38 31 39 32 20 20            8192  
3c40: 20 20 20 20 38 31 39 32 0a 20 20 20 20 20 20 20      8192.       
3c50: 20 20 7b 7d 20 20 20 20 20 20 20 20 20 20 20 20    {}            
3c60: 20 20 20 20 20 20 20 31 36 33 38 34 20 20 20 20         16384    
3c70: 20 20 38 31 39 32 0a 20 20 20 20 20 20 20 20 20    8192.         
3c80: 7b 61 74 6f 6d 69 63 7d 20 20 20 20 20 20 20 20  {atomic}        
3c90: 20 20 20 20 20 20 20 35 31 32 20 20 20 20 20 20         512      
3ca0: 38 31 39 32 0a 20 20 20 20 20 20 20 20 20 7b 61  8192.         {a
3cb0: 74 6f 6d 69 63 35 31 32 7d 20 20 20 20 20 20 20  tomic512}       
3cc0: 20 20 20 20 20 35 31 32 20 20 20 20 20 20 31 30       512      10
3cd0: 32 34 0a 20 20 20 20 20 20 20 20 20 7b 61 74 6f  24.         {ato
3ce0: 6d 69 63 32 4b 7d 20 20 20 20 20 20 20 20 20 20  mic2K}          
3cf0: 20 20 20 35 31 32 20 20 20 20 20 20 32 30 34 38     512      2048
3d00: 0a 20 20 20 20 20 20 20 20 20 7b 61 74 6f 6d 69  .         {atomi
3d10: 63 32 4b 7d 20 20 20 20 20 20 20 20 20 20 20 20  c2K}            
3d20: 34 30 39 36 20 20 20 20 20 20 34 30 39 36 0a 20  4096      4096. 
3d30: 20 20 20 20 20 20 20 20 7b 61 74 6f 6d 69 63 32          {atomic2
3d40: 4b 20 61 74 6f 6d 69 63 7d 20 20 20 20 20 20 35  K atomic}      5
3d50: 31 32 20 20 20 20 20 20 38 31 39 32 0a 20 20 20  12      8192.   
3d60: 20 20 20 20 20 20 7b 61 74 6f 6d 69 63 36 34 4b        {atomic64K
3d70: 7d 20 20 20 20 20 20 20 20 20 20 20 20 35 31 32  }            512
3d80: 20 20 20 20 20 20 31 30 32 34 0a 7d 20 7b 0a 20        1024.} {. 
3d90: 20 69 6e 63 72 20 74 6e 0a 20 20 69 66 20 7b 24   incr tn.  if {$
3da0: 70 67 73 69 7a 65 3e 24 3a 3a 53 51 4c 49 54 45  pgsize>$::SQLITE
3db0: 5f 4d 41 58 5f 50 41 47 45 5f 53 49 5a 45 7d 20  _MAX_PAGE_SIZE} 
3dc0: 63 6f 6e 74 69 6e 75 65 0a 20 20 64 62 20 63 6c  continue.  db cl
3dd0: 6f 73 65 0a 20 20 66 69 6c 65 20 64 65 6c 65 74  ose.  file delet
3de0: 65 20 2d 66 6f 72 63 65 20 74 65 73 74 2e 64 62  e -force test.db
3df0: 20 74 65 73 74 2e 64 62 2d 6a 6f 75 72 6e 61 6c   test.db-journal
3e00: 0a 20 20 73 71 6c 69 74 65 33 5f 73 69 6d 75 6c  .  sqlite3_simul
3e10: 61 74 65 5f 64 65 76 69 63 65 20 2d 63 68 61 72  ate_device -char
3e20: 20 24 63 68 61 72 20 2d 73 65 63 74 6f 72 73 69   $char -sectorsi
3e30: 7a 65 20 24 73 65 63 74 6f 72 73 69 7a 65 0a 20  ze $sectorsize. 
3e40: 20 73 71 6c 69 74 65 33 20 64 62 20 74 65 73 74   sqlite3 db test
3e50: 2e 64 62 20 2d 76 66 73 20 64 65 76 73 79 6d 0a  .db -vfs devsym.
3e60: 20 20 64 62 20 65 76 61 6c 20 7b 0a 20 20 20 20    db eval {.    
3e70: 50 52 41 47 4d 41 20 61 75 74 6f 5f 76 61 63 75  PRAGMA auto_vacu
3e80: 75 6d 3d 4f 46 46 3b 0a 20 20 7d 0a 20 20 69 66  um=OFF;.  }.  if
3e90: 63 61 70 61 62 6c 65 20 21 61 74 6f 6d 69 63 77  capable !atomicw
3ea0: 72 69 74 65 20 7b 0a 20 20 20 20 69 66 20 7b 5b  rite {.    if {[
3eb0: 72 65 67 65 78 70 20 7b 5e 61 74 6f 6d 69 63 7d  regexp {^atomic}
3ec0: 20 24 63 68 61 72 5d 7d 20 63 6f 6e 74 69 6e 75   $char]} continu
3ed0: 65 0a 20 20 7d 0a 20 20 64 6f 5f 74 65 73 74 20  e.  }.  do_test 
3ee0: 69 6f 2d 35 2e 24 74 6e 20 7b 0a 20 20 20 20 65  io-5.$tn {.    e
3ef0: 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 20 20 43  xecsql {.      C
3f00: 52 45 41 54 45 20 54 41 42 4c 45 20 61 62 63 28  REATE TABLE abc(
3f10: 61 2c 20 62 2c 20 63 29 3b 0a 20 20 20 20 7d 0a  a, b, c);.    }.
3f20: 20 20 20 20 65 78 70 72 20 7b 5b 66 69 6c 65 20      expr {[file 
3f30: 73 69 7a 65 20 74 65 73 74 2e 64 62 5d 2f 32 7d  size test.db]/2}
3f40: 0a 20 20 7d 20 24 70 67 73 69 7a 65 0a 7d 0a 0a  .  } $pgsize.}..
3f50: 73 71 6c 69 74 65 33 5f 73 69 6d 75 6c 61 74 65  sqlite3_simulate
3f60: 5f 64 65 76 69 63 65 20 2d 63 68 61 72 20 7b 7d  _device -char {}
3f70: 20 2d 73 65 63 74 6f 72 73 69 7a 65 20 30 0a 66   -sectorsize 0.f
3f80: 69 6e 69 73 68 5f 74 65 73 74 0a                 inish_test.