/ Hex Artifact Content
Login

Artifact b2ecbdd7bb72c88bd217c65bd00dafa07f7f2d4d:


0000: 23 20 32 30 31 37 20 4d 61 72 63 68 20 30 32 0a  # 2017 March 02.
0010: 23 0a 23 20 54 68 65 20 61 75 74 68 6f 72 20 64  #.# The author d
0020: 69 73 63 6c 61 69 6d 73 20 63 6f 70 79 72 69 67  isclaims copyrig
0030: 68 74 20 74 6f 20 74 68 69 73 20 73 6f 75 72 63  ht to this sourc
0040: 65 20 63 6f 64 65 2e 20 20 49 6e 20 70 6c 61 63  e code.  In plac
0050: 65 20 6f 66 0a 23 20 61 20 6c 65 67 61 6c 20 6e  e of.# a legal n
0060: 6f 74 69 63 65 2c 20 68 65 72 65 20 69 73 20 61  otice, here is a
0070: 20 62 6c 65 73 73 69 6e 67 3a 0a 23 0a 23 20 20   blessing:.#.#  
0080: 20 20 4d 61 79 20 79 6f 75 20 64 6f 20 67 6f 6f    May you do goo
0090: 64 20 61 6e 64 20 6e 6f 74 20 65 76 69 6c 2e 0a  d and not evil..
00a0: 23 20 20 20 20 4d 61 79 20 79 6f 75 20 66 69 6e  #    May you fin
00b0: 64 20 66 6f 72 67 69 76 65 6e 65 73 73 20 66 6f  d forgiveness fo
00c0: 72 20 79 6f 75 72 73 65 6c 66 20 61 6e 64 20 66  r yourself and f
00d0: 6f 72 67 69 76 65 20 6f 74 68 65 72 73 2e 0a 23  orgive others..#
00e0: 20 20 20 20 4d 61 79 20 79 6f 75 20 73 68 61 72      May you shar
00f0: 65 20 66 72 65 65 6c 79 2c 20 6e 65 76 65 72 20  e freely, never 
0100: 74 61 6b 69 6e 67 20 6d 6f 72 65 20 74 68 61 6e  taking more than
0110: 20 79 6f 75 20 67 69 76 65 2e 0a 23 0a 23 2a 2a   you give..#.#**
0120: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0130: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0140: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0150: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0160: 2a 2a 2a 2a 2a 0a 23 0a 0a 69 66 20 7b 21 5b 69  *****.#..if {![i
0170: 6e 66 6f 20 65 78 69 73 74 73 20 74 65 73 74 64  nfo exists testd
0180: 69 72 5d 7d 20 7b 0a 20 20 73 65 74 20 74 65 73  ir]} {.  set tes
0190: 74 64 69 72 20 5b 66 69 6c 65 20 6a 6f 69 6e 20  tdir [file join 
01a0: 5b 66 69 6c 65 20 64 69 72 6e 61 6d 65 20 5b 69  [file dirname [i
01b0: 6e 66 6f 20 73 63 72 69 70 74 5d 5d 20 2e 2e 20  nfo script]] .. 
01c0: 2e 2e 20 74 65 73 74 5d 0a 7d 0a 73 6f 75 72 63  .. test].}.sourc
01d0: 65 20 24 74 65 73 74 64 69 72 2f 74 65 73 74 65  e $testdir/teste
01e0: 72 2e 74 63 6c 0a 73 65 74 20 3a 3a 74 65 73 74  r.tcl.set ::test
01f0: 70 72 65 66 69 78 20 72 62 75 63 72 61 73 68 32  prefix rbucrash2
0200: 0a 0a 64 62 20 63 6c 6f 73 65 0a 66 6f 72 63 65  ..db close.force
0210: 64 65 6c 65 74 65 20 74 65 73 74 2e 64 62 2d 6f  delete test.db-o
0220: 61 6c 20 72 62 75 2e 64 62 0a 73 71 6c 69 74 65  al rbu.db.sqlite
0230: 33 5f 73 68 75 74 64 6f 77 6e 0a 73 71 6c 69 74  3_shutdown.sqlit
0240: 65 33 5f 63 6f 6e 66 69 67 5f 75 72 69 20 31 0a  e3_config_uri 1.
0250: 72 65 73 65 74 5f 64 62 0a 0a 23 20 53 65 74 20  reset_db..# Set 
0260: 75 70 20 61 20 74 61 72 67 65 74 20 64 61 74 61  up a target data
0270: 62 61 73 65 20 61 6e 64 20 61 6e 20 72 62 75 20  base and an rbu 
0280: 75 70 64 61 74 65 20 64 61 74 61 62 61 73 65 2e  update database.
0290: 20 54 68 65 20 74 61 72 67 65 74 0a 23 20 64 62   The target.# db
02a0: 20 69 73 20 74 68 65 20 75 73 75 61 6c 20 22 74   is the usual "t
02b0: 65 73 74 2e 64 62 22 2c 20 74 68 65 20 72 62 75  est.db", the rbu
02c0: 20 64 62 20 69 73 20 22 74 65 73 74 2e 64 62 32   db is "test.db2
02d0: 22 2e 0a 23 0a 66 6f 72 63 65 64 65 6c 65 74 65  "..#.forcedelete
02e0: 20 74 65 73 74 2e 64 62 32 0a 64 6f 5f 65 78 65   test.db2.do_exe
02f0: 63 73 71 6c 5f 74 65 73 74 20 31 2e 30 20 7b 0a  csql_test 1.0 {.
0300: 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74    CREATE TABLE t
0310: 31 28 61 2c 20 62 2c 20 63 2c 20 50 52 49 4d 41  1(a, b, c, PRIMA
0320: 52 59 20 4b 45 59 28 61 29 2c 20 55 4e 49 51 55  RY KEY(a), UNIQU
0330: 45 28 62 29 29 3b 0a 20 20 49 4e 53 45 52 54 20  E(b));.  INSERT 
0340: 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 31  INTO t1 VALUES(1
0350: 2c 20 32 2c 20 33 29 3b 0a 20 20 49 4e 53 45 52  , 2, 3);.  INSER
0360: 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53  T INTO t1 VALUES
0370: 28 34 2c 20 35 2c 20 36 29 3b 0a 20 20 49 4e 53  (4, 5, 6);.  INS
0380: 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55  ERT INTO t1 VALU
0390: 45 53 28 37 2c 20 38 2c 20 39 29 3b 0a 0a 20 20  ES(7, 8, 9);..  
03a0: 41 54 54 41 43 48 20 27 74 65 73 74 2e 64 62 32  ATTACH 'test.db2
03b0: 27 20 41 53 20 72 62 75 3b 0a 20 20 43 52 45 41  ' AS rbu;.  CREA
03c0: 54 45 20 54 41 42 4c 45 20 72 62 75 2e 64 61 74  TE TABLE rbu.dat
03d0: 61 5f 74 31 28 61 2c 20 62 2c 20 63 2c 20 72 62  a_t1(a, b, c, rb
03e0: 75 5f 63 6f 6e 74 72 6f 6c 29 3b 0a 20 20 49 4e  u_control);.  IN
03f0: 53 45 52 54 20 49 4e 54 4f 20 64 61 74 61 5f 74  SERT INTO data_t
0400: 31 20 56 41 4c 55 45 53 28 27 6f 6e 65 27 2c 20  1 VALUES('one', 
0410: 72 61 6e 64 6f 6d 62 6c 6f 62 28 33 35 30 30 29  randomblob(3500)
0420: 2c 20 4e 55 4c 4c 2c 20 30 29 3b 0a 20 20 49 4e  , NULL, 0);.  IN
0430: 53 45 52 54 20 49 4e 54 4f 20 64 61 74 61 5f 74  SERT INTO data_t
0440: 31 20 56 41 4c 55 45 53 28 27 74 77 6f 27 2c 20  1 VALUES('two', 
0450: 72 61 6e 64 6f 6d 62 6c 6f 62 28 33 35 30 30 29  randomblob(3500)
0460: 2c 20 4e 55 4c 4c 2c 20 30 29 3b 0a 20 20 49 4e  , NULL, 0);.  IN
0470: 53 45 52 54 20 49 4e 54 4f 20 64 61 74 61 5f 74  SERT INTO data_t
0480: 31 20 56 41 4c 55 45 53 28 27 74 68 72 65 65 27  1 VALUES('three'
0490: 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 33 35 30  , randomblob(350
04a0: 30 29 2c 20 4e 55 4c 4c 2c 20 30 29 3b 0a 20 20  0), NULL, 0);.  
04b0: 49 4e 53 45 52 54 20 49 4e 54 4f 20 64 61 74 61  INSERT INTO data
04c0: 5f 74 31 20 56 41 4c 55 45 53 28 27 66 6f 75 72  _t1 VALUES('four
04d0: 27 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 33 35  ', randomblob(35
04e0: 30 30 29 2c 20 4e 55 4c 4c 2c 20 30 29 3b 0a 20  00), NULL, 0);. 
04f0: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 64 61 74   INSERT INTO dat
0500: 61 5f 74 31 20 56 41 4c 55 45 53 28 27 66 69 76  a_t1 VALUES('fiv
0510: 65 27 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 33  e', randomblob(3
0520: 35 30 30 29 2c 20 4e 55 4c 4c 2c 20 30 29 3b 0a  500), NULL, 0);.
0530: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 64 61    INSERT INTO da
0540: 74 61 5f 74 31 20 56 41 4c 55 45 53 28 27 73 69  ta_t1 VALUES('si
0550: 78 27 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 33  x', randomblob(3
0560: 35 30 30 29 2c 20 4e 55 4c 4c 2c 20 30 29 3b 0a  500), NULL, 0);.
0570: 7d 0a 64 62 5f 73 61 76 65 5f 61 6e 64 5f 63 6c  }.db_save_and_cl
0580: 6f 73 65 0a 0a 70 72 6f 63 20 64 6f 5f 72 62 75  ose..proc do_rbu
0590: 5f 63 72 61 73 68 5f 74 65 73 74 32 20 7b 74 6e  _crash_test2 {tn
05a0: 20 73 63 72 69 70 74 7d 20 7b 0a 0a 20 20 66 6f   script} {..  fo
05b0: 72 65 61 63 68 20 7b 66 20 62 6c 6b 73 7a 7d 20  reach {f blksz} 
05c0: 7b 0a 20 20 20 20 74 65 73 74 2e 64 62 20 20 20  {.    test.db   
05d0: 35 31 32 0a 20 20 20 20 74 65 73 74 2e 64 62 32  512.    test.db2
05e0: 20 20 35 31 32 0a 20 20 20 20 74 65 73 74 2e 64    512.    test.d
05f0: 62 20 20 20 34 30 39 36 0a 20 20 20 20 74 65 73  b   4096.    tes
0600: 74 2e 64 62 32 20 20 34 30 39 36 0a 20 20 7d 20  t.db2  4096.  } 
0610: 7b 0a 20 20 20 20 73 65 74 20 62 44 6f 6e 65 20  {.    set bDone 
0620: 30 0a 20 20 20 20 66 6f 72 20 7b 73 65 74 20 69  0.    for {set i
0630: 44 65 6c 61 79 20 31 7d 20 7b 24 62 44 6f 6e 65  Delay 1} {$bDone
0640: 3d 3d 30 7d 20 7b 69 6e 63 72 20 69 44 65 6c 61  ==0} {incr iDela
0650: 79 7d 20 7b 0a 20 20 20 20 20 20 66 6f 72 63 65  y} {.      force
0660: 64 65 6c 65 74 65 20 74 65 73 74 2e 64 62 32 20  delete test.db2 
0670: 74 65 73 74 2e 64 62 32 2d 6a 6f 75 72 6e 61 6c  test.db2-journal
0680: 20 74 65 73 74 2e 64 62 20 74 65 73 74 2e 64 62   test.db test.db
0690: 2d 6f 61 6c 20 74 65 73 74 2e 64 62 2d 77 61 6c  -oal test.db-wal
06a0: 0a 20 20 20 20 20 20 64 62 5f 72 65 73 74 6f 72  .      db_restor
06b0: 65 0a 20 20 0a 20 20 20 20 20 20 73 65 74 20 72  e.  .      set r
06c0: 65 73 20 5b 0a 20 20 20 20 20 20 20 20 63 72 61  es [.        cra
06d0: 73 68 73 71 6c 20 2d 66 69 6c 65 20 24 66 20 2d  shsql -file $f -
06e0: 64 65 6c 61 79 20 24 69 44 65 6c 61 79 20 2d 74  delay $iDelay -t
06f0: 63 6c 62 6f 64 79 20 24 73 63 72 69 70 74 20 2d  clbody $script -
0700: 64 66 6c 74 20 31 20 2d 6f 70 65 6e 64 62 20 7b  dflt 1 -opendb {
0710: 7d 20 5c 0a 20 20 20 20 20 20 20 20 20 20 20 20  } \.            
0720: 2d 62 6c 6f 63 6b 73 69 7a 65 20 24 62 6c 6b 73  -blocksize $blks
0730: 7a 20 7b 7d 0a 20 20 20 20 20 20 5d 0a 20 20 0a  z {}.      ].  .
0740: 20 20 20 20 20 20 73 65 74 20 62 44 6f 6e 65 20        set bDone 
0750: 31 0a 20 20 20 20 20 20 69 66 20 7b 24 72 65 73  1.      if {$res
0760: 20 3d 3d 20 22 31 20 7b 63 68 69 6c 64 20 70 72   == "1 {child pr
0770: 6f 63 65 73 73 20 65 78 69 74 65 64 20 61 62 6e  ocess exited abn
0780: 6f 72 6d 61 6c 6c 79 7d 22 7d 20 7b 0a 20 20 20  ormally}"} {.   
0790: 20 20 20 20 20 73 65 74 20 62 44 6f 6e 65 20 30       set bDone 0
07a0: 0a 20 20 20 20 20 20 7d 20 65 6c 73 65 69 66 20  .      } elseif 
07b0: 7b 24 72 65 73 20 21 3d 20 22 30 20 7b 7d 22 7d  {$res != "0 {}"}
07c0: 20 7b 0a 20 20 20 20 20 20 20 20 65 72 72 6f 72   {.        error
07d0: 20 22 75 6e 65 78 65 63 74 65 64 20 63 61 74 63   "unexected catc
07e0: 68 73 71 6c 20 72 65 73 75 6c 74 3a 20 24 72 65  hsql result: $re
07f0: 73 22 0a 20 20 20 20 20 20 7d 0a 20 20 0a 20 20  s".      }.  .  
0800: 20 20 20 20 73 71 6c 69 74 65 33 72 62 75 20 72      sqlite3rbu r
0810: 62 75 20 74 65 73 74 2e 64 62 20 74 65 73 74 2e  bu test.db test.
0820: 64 62 32 0a 20 20 20 20 20 20 77 68 69 6c 65 20  db2.      while 
0830: 7b 5b 72 62 75 20 73 74 65 70 5d 3d 3d 22 53 51  {[rbu step]=="SQ
0840: 4c 49 54 45 5f 4f 4b 22 7d 20 7b 7d 0a 20 20 20  LITE_OK"} {}.   
0850: 20 20 20 72 62 75 20 63 6c 6f 73 65 0a 20 20 0a     rbu close.  .
0860: 20 20 20 20 20 20 73 71 6c 69 74 65 33 20 64 62        sqlite3 db
0870: 20 74 65 73 74 2e 64 62 0a 20 20 20 20 20 20 64   test.db.      d
0880: 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 24  o_execsql_test $
0890: 74 6e 2e 64 65 6c 61 79 3d 24 69 44 65 6c 61 79  tn.delay=$iDelay
08a0: 2e 66 3d 24 66 2e 62 6c 6b 73 7a 3d 24 62 6c 6b  .f=$f.blksz=$blk
08b0: 73 7a 20 7b 0a 20 20 20 20 20 20 20 20 50 52 41  sz {.        PRA
08c0: 47 4d 41 20 69 6e 74 65 67 72 69 74 79 5f 63 68  GMA integrity_ch
08d0: 65 63 6b 3b 0a 20 20 20 20 20 20 7d 20 7b 6f 6b  eck;.      } {ok
08e0: 7d 0a 20 20 20 20 20 20 64 62 20 63 6c 6f 73 65  }.      db close
08f0: 0a 20 20 20 20 7d 0a 20 20 7d 0a 7d 0a 0a 66 6f  .    }.  }.}..fo
0900: 72 20 7b 73 65 74 20 78 20 31 7d 20 7b 24 78 20  r {set x 1} {$x 
0910: 3c 20 31 30 7d 20 7b 69 6e 63 72 20 78 7d 20 7b  < 10} {incr x} {
0920: 0a 20 20 64 6f 5f 72 62 75 5f 63 72 61 73 68 5f  .  do_rbu_crash_
0930: 74 65 73 74 32 20 31 2e 24 78 20 7b 0a 20 20 20  test2 1.$x {.   
0940: 20 73 71 6c 69 74 65 33 72 62 75 20 72 62 75 20   sqlite3rbu rbu 
0950: 74 65 73 74 2e 64 62 20 74 65 73 74 2e 64 62 32  test.db test.db2
0960: 0a 20 20 20 20 77 68 69 6c 65 20 7b 5b 72 62 75  .    while {[rbu
0970: 20 73 74 65 70 5d 3d 3d 22 53 51 4c 49 54 45 5f   step]=="SQLITE_
0980: 4f 4b 22 7d 20 7b 0a 20 20 20 20 20 20 72 62 75  OK"} {.      rbu
0990: 20 73 61 76 65 73 74 61 74 65 0a 20 20 20 20 7d   savestate.    }
09a0: 0a 20 20 20 20 72 62 75 20 63 6c 6f 73 65 0a 20  .    rbu close. 
09b0: 20 7d 0a 7d 0a 0a 66 6f 72 20 7b 73 65 74 20 78   }.}..for {set x
09c0: 20 31 7d 20 7b 24 78 20 3c 20 32 7d 20 7b 69 6e   1} {$x < 2} {in
09d0: 63 72 20 78 7d 20 7b 0a 20 20 64 6f 5f 72 62 75  cr x} {.  do_rbu
09e0: 5f 63 72 61 73 68 5f 74 65 73 74 32 20 32 2e 24  _crash_test2 2.$
09f0: 78 20 7b 0a 20 20 20 20 73 71 6c 69 74 65 33 72  x {.    sqlite3r
0a00: 62 75 20 72 62 75 20 74 65 73 74 2e 64 62 20 74  bu rbu test.db t
0a10: 65 73 74 2e 64 62 32 0a 20 20 20 20 77 68 69 6c  est.db2.    whil
0a20: 65 20 7b 5b 72 62 75 20 73 74 65 70 5d 3d 3d 22  e {[rbu step]=="
0a30: 53 51 4c 49 54 45 5f 4f 4b 22 7d 20 7b 0a 20 20  SQLITE_OK"} {.  
0a40: 20 20 20 20 72 62 75 20 63 6c 6f 73 65 0a 20 20      rbu close.  
0a50: 20 20 20 20 73 71 6c 69 74 65 33 72 62 75 20 72      sqlite3rbu r
0a60: 62 75 20 74 65 73 74 2e 64 62 20 74 65 73 74 2e  bu test.db test.
0a70: 64 62 32 0a 20 20 20 20 7d 0a 20 20 20 20 72 62  db2.    }.    rb
0a80: 75 20 63 6c 6f 73 65 0a 20 20 7d 0a 7d 0a 0a 66  u close.  }.}..f
0a90: 69 6e 69 73 68 5f 74 65 73 74 0a 0a              inish_test..