/ Hex Artifact Content
Login

Artifact a58af9b98b4351dc80896767781d8e6cab1b3666:


0000: 23 20 43 6f 70 79 72 69 67 68 74 20 28 63 29 20  # Copyright (c) 
0010: 31 39 39 39 2c 20 32 30 30 30 20 44 2e 20 52 69  1999, 2000 D. Ri
0020: 63 68 61 72 64 20 48 69 70 70 0a 23 0a 23 20 54  chard Hipp.#.# T
0030: 68 69 73 20 70 72 6f 67 72 61 6d 20 69 73 20 66  his program is f
0040: 72 65 65 20 73 6f 66 74 77 61 72 65 3b 20 79 6f  ree software; yo
0050: 75 20 63 61 6e 20 72 65 64 69 73 74 72 69 62 75  u can redistribu
0060: 74 65 20 69 74 20 61 6e 64 2f 6f 72 0a 23 20 6d  te it and/or.# m
0070: 6f 64 69 66 79 20 69 74 20 75 6e 64 65 72 20 74  odify it under t
0080: 68 65 20 74 65 72 6d 73 20 6f 66 20 74 68 65 20  he terms of the 
0090: 47 4e 55 20 47 65 6e 65 72 61 6c 20 50 75 62 6c  GNU General Publ
00a0: 69 63 0a 23 20 4c 69 63 65 6e 73 65 20 61 73 20  ic.# License as 
00b0: 70 75 62 6c 69 73 68 65 64 20 62 79 20 74 68 65  published by the
00c0: 20 46 72 65 65 20 53 6f 66 74 77 61 72 65 20 46   Free Software F
00d0: 6f 75 6e 64 61 74 69 6f 6e 3b 20 65 69 74 68 65  oundation; eithe
00e0: 72 0a 23 20 76 65 72 73 69 6f 6e 20 32 20 6f 66  r.# version 2 of
00f0: 20 74 68 65 20 4c 69 63 65 6e 73 65 2c 20 6f 72   the License, or
0100: 20 28 61 74 20 79 6f 75 72 20 6f 70 74 69 6f 6e   (at your option
0110: 29 20 61 6e 79 20 6c 61 74 65 72 20 76 65 72 73  ) any later vers
0120: 69 6f 6e 2e 0a 23 0a 23 20 54 68 69 73 20 70 72  ion..#.# This pr
0130: 6f 67 72 61 6d 20 69 73 20 64 69 73 74 72 69 62  ogram is distrib
0140: 75 74 65 64 20 69 6e 20 74 68 65 20 68 6f 70 65  uted in the hope
0150: 20 74 68 61 74 20 69 74 20 77 69 6c 6c 20 62 65   that it will be
0160: 20 75 73 65 66 75 6c 2c 0a 23 20 62 75 74 20 57   useful,.# but W
0170: 49 54 48 4f 55 54 20 41 4e 59 20 57 41 52 52 41  ITHOUT ANY WARRA
0180: 4e 54 59 3b 20 77 69 74 68 6f 75 74 20 65 76 65  NTY; without eve
0190: 6e 20 74 68 65 20 69 6d 70 6c 69 65 64 20 77 61  n the implied wa
01a0: 72 72 61 6e 74 79 20 6f 66 0a 23 20 4d 45 52 43  rranty of.# MERC
01b0: 48 41 4e 54 41 42 49 4c 49 54 59 20 6f 72 20 46  HANTABILITY or F
01c0: 49 54 4e 45 53 53 20 46 4f 52 20 41 20 50 41 52  ITNESS FOR A PAR
01d0: 54 49 43 55 4c 41 52 20 50 55 52 50 4f 53 45 2e  TICULAR PURPOSE.
01e0: 20 20 53 65 65 20 74 68 65 20 47 4e 55 0a 23 20    See the GNU.# 
01f0: 47 65 6e 65 72 61 6c 20 50 75 62 6c 69 63 20 4c  General Public L
0200: 69 63 65 6e 73 65 20 66 6f 72 20 6d 6f 72 65 20  icense for more 
0210: 64 65 74 61 69 6c 73 2e 0a 23 20 0a 23 20 59 6f  details..# .# Yo
0220: 75 20 73 68 6f 75 6c 64 20 68 61 76 65 20 72 65  u should have re
0230: 63 65 69 76 65 64 20 61 20 63 6f 70 79 20 6f 66  ceived a copy of
0240: 20 74 68 65 20 47 4e 55 20 47 65 6e 65 72 61 6c   the GNU General
0250: 20 50 75 62 6c 69 63 0a 23 20 4c 69 63 65 6e 73   Public.# Licens
0260: 65 20 61 6c 6f 6e 67 20 77 69 74 68 20 74 68 69  e along with thi
0270: 73 20 6c 69 62 72 61 72 79 3b 20 69 66 20 6e 6f  s library; if no
0280: 74 2c 20 77 72 69 74 65 20 74 6f 20 74 68 65 0a  t, write to the.
0290: 23 20 46 72 65 65 20 53 6f 66 74 77 61 72 65 20  # Free Software 
02a0: 46 6f 75 6e 64 61 74 69 6f 6e 2c 20 49 6e 63 2e  Foundation, Inc.
02b0: 2c 20 35 39 20 54 65 6d 70 6c 65 20 50 6c 61 63  , 59 Temple Plac
02c0: 65 20 2d 20 53 75 69 74 65 20 33 33 30 2c 0a 23  e - Suite 330,.#
02d0: 20 42 6f 73 74 6f 6e 2c 20 4d 41 20 20 30 32 31   Boston, MA  021
02e0: 31 31 2d 31 33 30 37 2c 20 55 53 41 2e 0a 23 0a  11-1307, USA..#.
02f0: 23 20 41 75 74 68 6f 72 20 63 6f 6e 74 61 63 74  # Author contact
0300: 20 69 6e 66 6f 72 6d 61 74 69 6f 6e 3a 0a 23 20   information:.# 
0310: 20 20 64 72 68 40 68 77 61 63 69 2e 63 6f 6d 0a    drh@hwaci.com.
0320: 23 20 20 20 68 74 74 70 3a 2f 2f 77 77 77 2e 68  #   http://www.h
0330: 77 61 63 69 2e 63 6f 6d 2f 64 72 68 2f 0a 23 0a  waci.com/drh/.#.
0340: 23 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  #***************
0350: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0360: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0370: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0380: 2a 2a 2a 2a 2a 2a 2a 2a 0a 23 20 54 68 69 73 20  ********.# This 
0390: 66 69 6c 65 20 69 6d 70 6c 65 6d 65 6e 74 73 20  file implements 
03a0: 72 65 67 72 65 73 73 69 6f 6e 20 74 65 73 74 73  regression tests
03b0: 20 66 6f 72 20 53 51 4c 69 74 65 20 6c 69 62 72   for SQLite libr
03c0: 61 72 79 2e 20 20 54 68 65 0a 23 20 66 6f 63 75  ary.  The.# focu
03d0: 73 20 6f 66 20 74 68 69 73 20 73 63 72 69 70 74  s of this script
03e0: 20 69 73 20 64 61 74 61 62 61 73 65 20 6c 6f 63   is database loc
03f0: 6b 73 2e 0a 23 0a 23 20 24 49 64 3a 20 6c 6f 63  ks..#.# $Id: loc
0400: 6b 2e 74 65 73 74 2c 76 20 31 2e 36 20 32 30 30  k.test,v 1.6 200
0410: 31 2f 30 33 2f 31 35 20 31 38 3a 32 31 3a 32 32  1/03/15 18:21:22
0420: 20 64 72 68 20 45 78 70 20 24 0a 0a 69 66 20 7b   drh Exp $..if {
0430: 24 64 62 70 72 65 66 69 78 3d 3d 22 67 64 62 6d  $dbprefix=="gdbm
0440: 3a 22 7d 20 7b 0a 0a 73 65 74 20 74 65 73 74 64  :"} {..set testd
0450: 69 72 20 5b 66 69 6c 65 20 64 69 72 6e 61 6d 65  ir [file dirname
0460: 20 24 61 72 67 76 30 5d 0a 73 6f 75 72 63 65 20   $argv0].source 
0470: 24 74 65 73 74 64 69 72 2f 74 65 73 74 65 72 2e  $testdir/tester.
0480: 74 63 6c 0a 0a 23 20 43 72 65 61 74 65 20 61 20  tcl..# Create a 
0490: 6c 61 72 67 69 73 68 20 74 61 62 6c 65 0a 23 0a  largish table.#.
04a0: 64 6f 5f 74 65 73 74 20 6c 6f 63 6b 2d 31 2e 30  do_test lock-1.0
04b0: 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 43 52   {.  execsql {CR
04c0: 45 41 54 45 20 54 41 42 4c 45 20 62 69 67 28 66  EATE TABLE big(f
04d0: 31 20 69 6e 74 2c 20 66 32 20 69 6e 74 2c 20 66  1 int, f2 int, f
04e0: 33 20 69 6e 74 29 7d 0a 20 20 73 65 74 20 66 20  3 int)}.  set f 
04f0: 5b 6f 70 65 6e 20 2e 2f 74 65 73 74 64 61 74 61  [open ./testdata
0500: 31 2e 74 78 74 20 77 5d 0a 20 20 66 6f 72 20 7b  1.txt w].  for {
0510: 73 65 74 20 69 20 31 7d 20 7b 24 69 3c 3d 35 30  set i 1} {$i<=50
0520: 30 7d 20 7b 69 6e 63 72 20 69 7d 20 7b 0a 20 20  0} {incr i} {.  
0530: 20 20 70 75 74 73 20 24 66 20 22 24 69 5c 74 5b    puts $f "$i\t[
0540: 65 78 70 72 20 7b 24 69 2a 32 7d 5d 5c 74 5b 65  expr {$i*2}]\t[e
0550: 78 70 72 20 7b 24 69 2a 33 7d 5d 22 0a 20 20 7d  xpr {$i*3}]".  }
0560: 0a 20 20 63 6c 6f 73 65 20 24 66 0a 20 20 65 78  .  close $f.  ex
0570: 65 63 73 71 6c 20 7b 43 4f 50 59 20 62 69 67 20  ecsql {COPY big 
0580: 46 52 4f 4d 20 27 2e 2f 74 65 73 74 64 61 74 61  FROM './testdata
0590: 31 2e 74 78 74 27 7d 0a 20 20 66 69 6c 65 20 64  1.txt'}.  file d
05a0: 65 6c 65 74 65 20 2d 66 6f 72 63 65 20 2e 2f 74  elete -force ./t
05b0: 65 73 74 64 61 74 61 31 2e 74 78 74 0a 7d 20 7b  estdata1.txt.} {
05c0: 7d 0a 0a 64 6f 5f 74 65 73 74 20 6c 6f 63 6b 2d  }..do_test lock-
05d0: 31 2e 31 20 7b 0a 20 20 23 20 43 72 65 61 74 65  1.1 {.  # Create
05e0: 20 61 20 62 61 63 6b 67 72 6f 75 6e 64 20 71 75   a background qu
05f0: 65 72 79 20 74 68 61 74 20 67 69 76 65 73 20 75  ery that gives u
0600: 73 20 61 20 72 65 61 64 20 6c 6f 63 6b 20 6f 6e  s a read lock on
0610: 20 74 68 65 20 62 69 67 20 74 61 62 6c 65 0a 20   the big table. 
0620: 20 23 0a 20 20 73 65 74 20 66 20 5b 6f 70 65 6e   #.  set f [open
0630: 20 73 6c 6f 77 2e 73 71 6c 20 77 5d 0a 20 20 70   slow.sql w].  p
0640: 75 74 73 20 24 66 20 22 53 45 4c 45 43 54 20 61  uts $f "SELECT a
0650: 2e 66 31 2c 20 62 2e 66 31 20 46 52 4f 4d 20 62  .f1, b.f1 FROM b
0660: 69 67 20 41 53 20 61 2c 20 62 69 67 20 41 53 20  ig AS a, big AS 
0670: 42 22 0a 20 20 70 75 74 73 20 24 66 20 22 57 48  B".  puts $f "WH
0680: 45 52 45 20 61 2e 66 31 2b 62 2e 66 31 3d 3d 30  ERE a.f1+b.f1==0
0690: 2e 35 3b 22 0a 20 20 63 6c 6f 73 65 20 24 66 0a  .5;".  close $f.
06a0: 20 20 73 65 74 20 3a 3a 6c 6f 63 6b 5f 70 69 64    set ::lock_pid
06b0: 20 5b 65 78 65 63 20 2e 2f 73 71 6c 69 74 65 20   [exec ./sqlite 
06c0: 74 65 73 74 64 62 20 3c 73 6c 6f 77 2e 73 71 6c  testdb <slow.sql
06d0: 20 26 5d 0a 20 20 61 66 74 65 72 20 32 35 30 0a   &].  after 250.
06e0: 20 20 73 65 74 20 76 20 7b 7d 0a 7d 20 7b 7d 0a    set v {}.} {}.
06f0: 0a 64 6f 5f 70 72 6f 62 74 65 73 74 20 6c 6f 63  .do_probtest loc
0700: 6b 2d 31 2e 32 20 7b 0a 20 20 23 20 4e 6f 77 20  k-1.2 {.  # Now 
0710: 74 72 79 20 74 6f 20 75 70 64 61 74 65 20 74 68  try to update th
0720: 65 20 64 61 74 61 62 61 73 65 0a 20 20 23 0a 20  e database.  #. 
0730: 20 73 65 74 20 76 20 5b 63 61 74 63 68 20 7b 65   set v [catch {e
0740: 78 65 63 73 71 6c 20 7b 55 50 44 41 54 45 20 62  xecsql {UPDATE b
0750: 69 67 20 53 45 54 20 66 32 3d 27 78 79 7a 27 20  ig SET f2='xyz' 
0760: 57 48 45 52 45 20 66 31 3d 31 31 7d 7d 20 6d 73  WHERE f1=11}} ms
0770: 67 5d 0a 20 20 6c 61 70 70 65 6e 64 20 76 20 24  g].  lappend v $
0780: 6d 73 67 0a 7d 20 7b 35 20 7b 74 61 62 6c 65 20  msg.} {5 {table 
0790: 62 69 67 20 69 73 20 6c 6f 63 6b 65 64 7d 7d 0a  big is locked}}.
07a0: 0a 64 6f 5f 70 72 6f 62 74 65 73 74 20 6c 6f 63  .do_probtest loc
07b0: 6b 2d 31 2e 33 20 7b 0a 20 20 23 20 54 72 79 20  k-1.3 {.  # Try 
07c0: 74 6f 20 75 70 64 61 74 65 20 74 68 65 20 64 61  to update the da
07d0: 74 61 62 61 73 65 20 69 6e 20 61 20 73 65 70 61  tabase in a sepa
07e0: 72 61 74 65 20 70 72 6f 63 65 73 73 0a 20 20 23  rate process.  #
07f0: 0a 20 20 73 65 74 20 66 20 5b 6f 70 65 6e 20 75  .  set f [open u
0800: 70 64 61 74 65 2e 73 71 6c 20 77 5d 0a 20 20 70  pdate.sql w].  p
0810: 75 74 73 20 24 66 20 22 2e 74 69 6d 65 6f 75 74  uts $f ".timeout
0820: 20 30 22 0a 20 20 70 75 74 73 20 24 66 20 22 55   0".  puts $f "U
0830: 50 44 41 54 45 20 62 69 67 20 53 45 54 20 66 32  PDATE big SET f2
0840: 3d 27 78 79 7a 27 20 57 48 45 52 45 20 66 31 3d  ='xyz' WHERE f1=
0850: 31 31 3b 22 0a 20 20 70 75 74 73 20 24 66 20 22  11;".  puts $f "
0860: 53 45 4c 45 43 54 20 66 32 20 46 52 4f 4d 20 62  SELECT f2 FROM b
0870: 69 67 20 57 48 45 52 45 20 66 31 3d 31 31 3b 22  ig WHERE f1=11;"
0880: 0a 20 20 63 6c 6f 73 65 20 24 66 0a 20 20 65 78  .  close $f.  ex
0890: 65 63 20 2e 2f 73 71 6c 69 74 65 20 74 65 73 74  ec ./sqlite test
08a0: 64 62 20 3c 75 70 64 61 74 65 2e 73 71 6c 0a 7d  db <update.sql.}
08b0: 20 22 55 50 44 41 54 45 20 62 69 67 20 53 45 54   "UPDATE big SET
08c0: 20 66 32 3d 27 78 79 7a 27 20 57 48 45 52 45 20   f2='xyz' WHERE 
08d0: 66 31 3d 31 31 3b 5c 6e 53 51 4c 20 65 72 72 6f  f1=11;\nSQL erro
08e0: 72 3a 20 74 61 62 6c 65 20 62 69 67 20 69 73 20  r: table big is 
08f0: 6c 6f 63 6b 65 64 5c 6e 32 32 22 0a 0a 64 6f 5f  locked\n22"..do_
0900: 70 72 6f 62 74 65 73 74 20 6c 6f 63 6b 2d 31 2e  probtest lock-1.
0910: 34 20 7b 0a 20 20 23 20 54 72 79 20 74 6f 20 75  4 {.  # Try to u
0920: 70 64 61 74 65 20 74 68 65 20 64 61 74 61 62 61  pdate the databa
0930: 73 65 20 75 73 69 6e 67 20 61 20 74 69 6d 65 6f  se using a timeo
0940: 75 74 0a 20 20 23 0a 20 20 73 65 74 20 66 20 5b  ut.  #.  set f [
0950: 6f 70 65 6e 20 75 70 64 61 74 65 2e 73 71 6c 20  open update.sql 
0960: 77 5d 0a 20 20 70 75 74 73 20 24 66 20 22 2e 74  w].  puts $f ".t
0970: 69 6d 65 6f 75 74 20 31 30 30 30 22 0a 20 20 70  imeout 1000".  p
0980: 75 74 73 20 24 66 20 22 55 50 44 41 54 45 20 62  uts $f "UPDATE b
0990: 69 67 20 53 45 54 20 66 32 3d 27 78 79 7a 27 20  ig SET f2='xyz' 
09a0: 57 48 45 52 45 20 66 31 3d 31 31 3b 22 0a 20 20  WHERE f1=11;".  
09b0: 70 75 74 73 20 24 66 20 22 53 45 4c 45 43 54 20  puts $f "SELECT 
09c0: 66 32 20 46 52 4f 4d 20 62 69 67 20 57 48 45 52  f2 FROM big WHER
09d0: 45 20 66 31 3d 31 31 3b 22 0a 20 20 63 6c 6f 73  E f1=11;".  clos
09e0: 65 20 24 66 0a 20 20 65 78 65 63 20 2e 2f 73 71  e $f.  exec ./sq
09f0: 6c 69 74 65 20 74 65 73 74 64 62 20 3c 75 70 64  lite testdb <upd
0a00: 61 74 65 2e 73 71 6c 0a 7d 20 22 55 50 44 41 54  ate.sql.} "UPDAT
0a10: 45 20 62 69 67 20 53 45 54 20 66 32 3d 27 78 79  E big SET f2='xy
0a20: 7a 27 20 57 48 45 52 45 20 66 31 3d 31 31 3b 5c  z' WHERE f1=11;\
0a30: 6e 53 51 4c 20 65 72 72 6f 72 3a 20 74 61 62 6c  nSQL error: tabl
0a40: 65 20 62 69 67 20 69 73 20 6c 6f 63 6b 65 64 5c  e big is locked\
0a50: 6e 32 32 22 0a 0a 64 6f 5f 70 72 6f 62 74 65 73  n22"..do_probtes
0a60: 74 20 6c 6f 63 6b 2d 31 2e 35 20 7b 0a 20 20 23  t lock-1.5 {.  #
0a70: 20 54 72 79 20 74 6f 20 75 70 64 61 74 65 20 74   Try to update t
0a80: 68 65 20 64 61 74 61 62 61 73 65 20 75 73 69 6e  he database usin
0a90: 67 20 61 20 74 69 6d 65 6f 75 74 0a 20 20 23 0a  g a timeout.  #.
0aa0: 20 20 73 65 74 20 66 20 5b 6f 70 65 6e 20 75 70    set f [open up
0ab0: 64 61 74 65 2e 73 71 6c 20 77 5d 0a 20 20 70 75  date.sql w].  pu
0ac0: 74 73 20 24 66 20 22 2e 74 69 6d 65 6f 75 74 20  ts $f ".timeout 
0ad0: 31 30 30 30 30 22 0a 20 20 70 75 74 73 20 24 66  10000".  puts $f
0ae0: 20 22 55 50 44 41 54 45 20 62 69 67 20 53 45 54   "UPDATE big SET
0af0: 20 66 32 3d 27 78 79 7a 27 20 57 48 45 52 45 20   f2='xyz' WHERE 
0b00: 66 31 3d 31 31 3b 22 0a 20 20 70 75 74 73 20 24  f1=11;".  puts $
0b10: 66 20 22 53 45 4c 45 43 54 20 66 32 20 46 52 4f  f "SELECT f2 FRO
0b20: 4d 20 62 69 67 20 57 48 45 52 45 20 66 31 3d 31  M big WHERE f1=1
0b30: 31 3b 22 0a 20 20 63 6c 6f 73 65 20 24 66 0a 20  1;".  close $f. 
0b40: 20 65 78 65 63 20 2e 2f 73 71 6c 69 74 65 20 74   exec ./sqlite t
0b50: 65 73 74 64 62 20 3c 75 70 64 61 74 65 2e 73 71  estdb <update.sq
0b60: 6c 0a 7d 20 7b 78 79 7a 7d 0a 0a 63 61 74 63 68  l.} {xyz}..catch
0b70: 20 7b 65 78 65 63 20 70 73 20 2d 75 61 78 20 7c   {exec ps -uax |
0b80: 20 67 72 65 70 20 24 3a 3a 6c 6f 63 6b 5f 70 69   grep $::lock_pi
0b90: 64 7d 0a 63 61 74 63 68 20 7b 65 78 65 63 20 6b  d}.catch {exec k
0ba0: 69 6c 6c 20 2d 48 55 50 20 24 3a 3a 6c 6f 63 6b  ill -HUP $::lock
0bb0: 5f 70 69 64 7d 0a 63 61 74 63 68 20 7b 65 78 65  _pid}.catch {exe
0bc0: 63 20 6b 69 6c 6c 20 2d 39 20 24 3a 3a 6c 6f 63  c kill -9 $::loc
0bd0: 6b 5f 70 69 64 7d 0a 0a 66 69 6e 69 73 68 5f 74  k_pid}..finish_t
0be0: 65 73 74 0a 0a 7d 0a                             est..}.