/ Hex Artifact Content
Login

Artifact 09d97d52cae18fadfe631552af9880dac6b3ae90:


0000: 23 20 32 30 30 37 20 41 70 72 69 6c 20 36 0a 23  # 2007 April 6.#
0010: 0a 23 20 54 68 65 20 61 75 74 68 6f 72 20 64 69  .# The author di
0020: 73 63 6c 61 69 6d 73 20 63 6f 70 79 72 69 67 68  sclaims copyrigh
0030: 74 20 74 6f 20 74 68 69 73 20 73 6f 75 72 63 65  t to this source
0040: 20 63 6f 64 65 2e 20 20 49 6e 20 70 6c 61 63 65   code.  In place
0050: 20 6f 66 0a 23 20 61 20 6c 65 67 61 6c 20 6e 6f   of.# a legal no
0060: 74 69 63 65 2c 20 68 65 72 65 20 69 73 20 61 20  tice, here is a 
0070: 62 6c 65 73 73 69 6e 67 3a 0a 23 0a 23 20 20 20  blessing:.#.#   
0080: 20 4d 61 79 20 79 6f 75 20 64 6f 20 67 6f 6f 64   May you do good
0090: 20 61 6e 64 20 6e 6f 74 20 65 76 69 6c 2e 0a 23   and not evil..#
00a0: 20 20 20 20 4d 61 79 20 79 6f 75 20 66 69 6e 64      May you find
00b0: 20 66 6f 72 67 69 76 65 6e 65 73 73 20 66 6f 72   forgiveness for
00c0: 20 79 6f 75 72 73 65 6c 66 20 61 6e 64 20 66 6f   yourself and fo
00d0: 72 67 69 76 65 20 6f 74 68 65 72 73 2e 0a 23 20  rgive others..# 
00e0: 20 20 20 4d 61 79 20 79 6f 75 20 73 68 61 72 65     May you share
00f0: 20 66 72 65 65 6c 79 2c 20 6e 65 76 65 72 20 74   freely, never t
0100: 61 6b 69 6e 67 20 6d 6f 72 65 20 74 68 61 6e 20  aking more than 
0110: 79 6f 75 20 67 69 76 65 2e 0a 23 0a 23 2a 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 0a 23 20 54 68 69 73 20 66 69 6c 65  ****.# This file
0170: 20 69 6d 70 6c 65 6d 65 6e 74 73 20 72 65 67 72   implements regr
0180: 65 73 73 69 6f 6e 20 74 65 73 74 73 20 66 6f 72  ession tests for
0190: 20 53 51 4c 69 74 65 20 6c 69 62 72 61 72 79 2e   SQLite library.
01a0: 20 20 54 68 65 0a 23 20 66 6f 63 75 73 20 6f 66    The.# focus of
01b0: 20 74 68 69 73 20 73 63 72 69 70 74 20 69 73 20   this script is 
01c0: 64 61 74 61 62 61 73 65 20 6c 6f 63 6b 73 2e 0a  database locks..
01d0: 23 0a 23 20 24 49 64 3a 20 6c 6f 63 6b 34 2e 74  #.# $Id: lock4.t
01e0: 65 73 74 2c 76 20 31 2e 38 20 32 30 30 38 2f 30  est,v 1.8 2008/0
01f0: 33 2f 31 34 20 30 38 3a 35 37 3a 34 32 20 64 61  3/14 08:57:42 da
0200: 6e 69 65 6c 6b 31 39 37 37 20 45 78 70 20 24 0a  nielk1977 Exp $.
0210: 0a 0a 73 65 74 20 74 65 73 74 64 69 72 20 5b 66  ..set testdir [f
0220: 69 6c 65 20 64 69 72 6e 61 6d 65 20 24 61 72 67  ile dirname $arg
0230: 76 30 5d 0a 73 6f 75 72 63 65 20 24 74 65 73 74  v0].source $test
0240: 64 69 72 2f 74 65 73 74 65 72 2e 74 63 6c 0a 0a  dir/tester.tcl..
0250: 23 20 49 6e 69 74 69 61 6c 69 7a 65 20 74 68 65  # Initialize the
0260: 20 74 65 73 74 2e 64 62 20 64 61 74 61 62 61 73   test.db databas
0270: 65 20 73 6f 20 74 68 61 74 20 69 74 20 69 73 20  e so that it is 
0280: 6e 6f 6e 2d 65 6d 70 74 79 0a 23 0a 64 6f 5f 74  non-empty.#.do_t
0290: 65 73 74 20 6c 6f 63 6b 34 2d 31 2e 31 20 7b 0a  est lock4-1.1 {.
02a0: 20 20 64 62 20 65 76 61 6c 20 7b 0a 20 20 20 20    db eval {.    
02b0: 20 50 52 41 47 4d 41 20 61 75 74 6f 5f 76 61 63   PRAGMA auto_vac
02c0: 75 75 6d 3d 4f 46 46 3b 0a 20 20 20 20 20 43 52  uum=OFF;.     CR
02d0: 45 41 54 45 20 54 41 42 4c 45 20 74 31 28 78 29  EATE TABLE t1(x)
02e0: 3b 0a 20 20 7d 0a 20 20 66 69 6c 65 20 64 65 6c  ;.  }.  file del
02f0: 65 74 65 20 2d 66 6f 72 63 65 20 74 65 73 74 32  ete -force test2
0300: 2e 64 62 20 74 65 73 74 32 2e 64 62 2d 6a 6f 75  .db test2.db-jou
0310: 72 6e 61 6c 0a 20 20 73 71 6c 69 74 65 33 20 64  rnal.  sqlite3 d
0320: 62 32 20 74 65 73 74 32 2e 64 62 0a 20 20 64 62  b2 test2.db.  db
0330: 32 20 65 76 61 6c 20 7b 0a 20 20 20 20 20 50 52  2 eval {.     PR
0340: 41 47 4d 41 20 61 75 74 6f 5f 76 61 63 75 75 6d  AGMA auto_vacuum
0350: 3d 4f 46 46 3b 0a 20 20 20 20 20 43 52 45 41 54  =OFF;.     CREAT
0360: 45 20 54 41 42 4c 45 20 74 32 28 78 29 0a 20 20  E TABLE t2(x).  
0370: 7d 0a 20 20 64 62 32 20 63 6c 6f 73 65 0a 20 20  }.  db2 close.  
0380: 6c 69 73 74 20 5b 66 69 6c 65 20 73 69 7a 65 20  list [file size 
0390: 74 65 73 74 2e 64 62 5d 20 5b 66 69 6c 65 20 73  test.db] [file s
03a0: 69 7a 65 20 74 65 73 74 32 2e 64 62 5d 0a 7d 20  ize test2.db].} 
03b0: 7b 32 30 34 38 20 32 30 34 38 7d 0a 0a 23 20 43  {2048 2048}..# C
03c0: 72 65 61 74 65 20 61 20 73 63 72 69 70 74 20 74  reate a script t
03d0: 6f 20 64 72 69 76 65 20 61 20 73 65 70 61 72 61  o drive a separa
03e0: 74 65 20 70 72 6f 63 65 73 73 20 74 68 61 74 20  te process that 
03f0: 77 69 6c 6c 0a 23 0a 23 20 20 20 20 20 31 2e 20  will.#.#     1. 
0400: 20 43 72 65 61 74 65 20 61 20 73 65 63 6f 6e 64   Create a second
0410: 20 64 61 74 61 62 61 73 65 20 74 65 73 74 32 2e   database test2.
0420: 64 62 0a 23 20 20 20 20 20 32 2e 20 20 47 65 74  db.#     2.  Get
0430: 20 61 6e 20 65 78 63 6c 75 73 69 76 65 20 6c 6f   an exclusive lo
0440: 63 6b 20 6f 6e 20 74 65 73 74 32 2e 64 62 0a 23  ck on test2.db.#
0450: 20 20 20 20 20 33 2e 20 20 41 64 64 20 61 6e 20       3.  Add an 
0460: 65 6e 74 72 79 20 74 6f 20 74 65 73 74 2e 64 62  entry to test.db
0470: 20 69 6e 20 74 61 62 6c 65 20 74 31 2c 20 77 61   in table t1, wa
0480: 69 74 69 6e 67 20 61 73 20 6e 65 63 65 73 73 61  iting as necessa
0490: 72 79 2e 0a 23 20 20 20 20 20 34 2e 20 20 43 6f  ry..#     4.  Co
04a0: 6d 6d 69 74 20 74 68 65 20 63 68 61 6e 67 65 20  mmit the change 
04b0: 74 6f 20 74 65 73 74 32 2e 64 62 2e 0a 23 0a 23  to test2.db..#.#
04c0: 20 4d 65 61 6e 77 68 69 6c 65 2c 20 74 68 69 73   Meanwhile, this
04d0: 20 70 72 6f 63 65 73 73 20 77 69 6c 6c 3a 0a 23   process will:.#
04e0: 20 0a 23 20 20 20 20 20 41 2e 20 20 47 65 74 20   .#     A.  Get 
04f0: 61 6e 20 65 78 63 6c 75 73 69 76 65 20 6c 6f 63  an exclusive loc
0500: 6b 20 6f 6e 20 74 65 73 74 2e 64 62 0a 23 20 20  k on test.db.#  
0510: 20 20 20 42 2e 20 20 41 74 74 65 6d 70 74 20 74     B.  Attempt t
0520: 6f 20 72 65 61 64 20 66 72 6f 6d 20 74 65 73 74  o read from test
0530: 32 2e 64 62 20 62 75 74 20 67 65 74 20 61 6e 20  2.db but get an 
0540: 53 51 4c 49 54 45 5f 42 55 53 59 20 65 72 72 6f  SQLITE_BUSY erro
0550: 72 2e 0a 23 20 20 20 20 20 43 2e 20 20 43 6f 6d  r..#     C.  Com
0560: 6d 69 74 20 74 68 65 20 63 68 61 6e 67 65 73 20  mit the changes 
0570: 74 6f 20 74 65 73 74 2e 64 62 20 74 68 75 73 20  to test.db thus 
0580: 61 6c 6c 6f 69 6e 67 20 74 68 65 20 6f 74 68 65  alloing the othe
0590: 72 20 70 72 6f 63 65 73 73 0a 23 20 20 20 20 20  r process.#     
05a0: 20 20 20 20 74 6f 20 63 6f 6e 74 69 6e 75 65 2e      to continue.
05b0: 0a 23 0a 64 6f 5f 74 65 73 74 20 6c 6f 63 6b 34  .#.do_test lock4
05c0: 2d 31 2e 32 20 7b 0a 20 0a 20 20 23 20 43 72 65  -1.2 {. .  # Cre
05d0: 61 74 65 20 61 20 73 63 72 69 70 74 20 66 6f 72  ate a script for
05e0: 20 74 68 65 20 73 65 63 6f 6e 64 20 70 72 6f 63   the second proc
05f0: 65 73 73 20 74 6f 20 72 75 6e 2e 0a 20 20 23 0a  ess to run..  #.
0600: 20 20 73 65 74 20 6f 75 74 20 5b 6f 70 65 6e 20    set out [open 
0610: 74 65 73 74 32 2d 73 63 72 69 70 74 2e 74 63 6c  test2-script.tcl
0620: 20 77 5d 0a 20 20 70 75 74 73 20 24 6f 75 74 20   w].  puts $out 
0630: 22 73 65 74 20 73 71 6c 69 74 65 5f 70 65 6e 64  "set sqlite_pend
0640: 69 6e 67 5f 62 79 74 65 20 5b 73 65 74 20 73 71  ing_byte [set sq
0650: 6c 69 74 65 5f 70 65 6e 64 69 6e 67 5f 62 79 74  lite_pending_byt
0660: 65 5d 22 0a 20 20 70 75 74 73 20 24 6f 75 74 20  e]".  puts $out 
0670: 7b 0a 20 20 20 20 20 73 71 6c 69 74 65 33 20 64  {.     sqlite3 d
0680: 62 32 20 74 65 73 74 32 2e 64 62 0a 20 20 20 20  b2 test2.db.    
0690: 20 64 62 32 20 65 76 61 6c 20 7b 0a 20 20 20 20   db2 eval {.    
06a0: 20 20 20 20 42 45 47 49 4e 3b 0a 20 20 20 20 20      BEGIN;.     
06b0: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
06c0: 32 20 56 41 4c 55 45 53 28 32 29 3b 0a 20 20 20  2 VALUES(2);.   
06d0: 20 20 7d 0a 20 20 20 20 20 73 71 6c 69 74 65 33    }.     sqlite3
06e0: 20 64 62 20 74 65 73 74 2e 64 62 0a 20 20 20 20   db test.db.    
06f0: 20 64 62 20 74 69 6d 65 6f 75 74 20 31 30 30 30   db timeout 1000
0700: 30 30 30 0a 20 20 20 20 20 64 62 20 65 76 61 6c  000.     db eval
0710: 20 7b 0a 20 20 20 20 20 20 20 20 49 4e 53 45 52   {.        INSER
0720: 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53  T INTO t1 VALUES
0730: 28 32 29 3b 0a 20 20 20 20 20 7d 0a 20 20 20 20  (2);.     }.    
0740: 20 64 62 20 63 6c 6f 73 65 0a 20 20 20 20 20 64   db close.     d
0750: 62 32 20 65 76 61 6c 20 43 4f 4d 4d 49 54 0a 20  b2 eval COMMIT. 
0760: 20 20 20 20 65 78 69 74 0a 20 20 7d 0a 20 20 63      exit.  }.  c
0770: 6c 6f 73 65 20 24 6f 75 74 0a 0a 20 20 23 20 42  lose $out..  # B
0780: 65 67 69 6e 20 61 20 74 72 61 6e 73 61 63 74 69  egin a transacti
0790: 6f 6e 20 6f 6e 20 74 65 73 74 2e 64 62 2e 0a 20  on on test.db.. 
07a0: 20 64 62 20 65 76 61 6c 20 7b 0a 20 20 20 20 20   db eval {.     
07b0: 42 45 47 49 4e 20 45 58 43 4c 55 53 49 56 45 3b  BEGIN EXCLUSIVE;
07c0: 0a 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  .     INSERT INT
07d0: 4f 20 74 31 20 56 41 4c 55 45 53 28 31 29 3b 0a  O t1 VALUES(1);.
07e0: 20 20 7d 0a 0a 20 20 23 20 4b 69 63 6b 20 6f 66    }..  # Kick of
07f0: 66 20 74 68 65 20 73 65 63 6f 6e 64 20 70 72 6f  f the second pro
0800: 63 65 73 73 2e 0a 20 20 65 78 65 63 20 5b 69 6e  cess..  exec [in
0810: 66 6f 20 6e 61 6d 65 6f 66 65 78 65 63 5d 20 2e  fo nameofexec] .
0820: 2f 74 65 73 74 32 2d 73 63 72 69 70 74 2e 74 63  /test2-script.tc
0830: 6c 20 26 0a 0a 20 20 23 20 57 61 69 74 20 75 6e  l &..  # Wait un
0840: 74 69 6c 20 74 68 65 20 73 65 63 6f 6e 64 20 70  til the second p
0850: 72 6f 63 65 73 73 20 68 61 73 20 73 74 61 72 74  rocess has start
0860: 65 64 20 69 74 73 20 74 72 61 6e 73 61 63 74 69  ed its transacti
0870: 6f 6e 20 6f 6e 20 74 65 73 74 32 2e 64 62 2e 0a  on on test2.db..
0880: 20 20 77 68 69 6c 65 20 7b 21 5b 66 69 6c 65 20    while {![file 
0890: 65 78 69 73 74 73 20 74 65 73 74 32 2e 64 62 2d  exists test2.db-
08a0: 6a 6f 75 72 6e 61 6c 5d 7d 20 7b 0a 20 20 20 20  journal]} {.    
08b0: 61 66 74 65 72 20 31 30 0a 20 20 7d 0a 0a 20 20  after 10.  }..  
08c0: 23 20 54 72 79 20 74 6f 20 77 72 69 74 65 20 74  # Try to write t
08d0: 6f 20 74 65 73 74 32 2e 64 62 2e 20 57 65 20 61  o test2.db. We a
08e0: 72 65 20 6c 6f 63 6b 65 64 20 6f 75 74 2e 0a 20  re locked out.. 
08f0: 20 73 71 6c 69 74 65 33 20 64 62 32 20 74 65 73   sqlite3 db2 tes
0900: 74 32 2e 64 62 0a 20 20 63 61 74 63 68 73 71 6c  t2.db.  catchsql
0910: 20 7b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e   {.    INSERT IN
0920: 54 4f 20 74 32 20 56 41 4c 55 45 53 28 31 29 0a  TO t2 VALUES(1).
0930: 20 20 7d 20 64 62 32 0a 7d 20 7b 31 20 7b 64 61    } db2.} {1 {da
0940: 74 61 62 61 73 65 20 69 73 20 6c 6f 63 6b 65 64  tabase is locked
0950: 7d 7d 0a 64 6f 5f 74 65 73 74 20 6c 6f 63 6b 34  }}.do_test lock4
0960: 2d 31 2e 33 20 7b 0a 20 20 64 62 20 65 76 61 6c  -1.3 {.  db eval
0970: 20 7b 0a 20 20 20 20 20 43 4f 4d 4d 49 54 3b 0a   {.     COMMIT;.
0980: 20 20 7d 0a 20 20 77 68 69 6c 65 20 7b 5b 66 69    }.  while {[fi
0990: 6c 65 20 65 78 69 73 74 73 20 74 65 73 74 32 2e  le exists test2.
09a0: 64 62 2d 6a 6f 75 72 6e 61 6c 5d 7d 20 7b 0a 20  db-journal]} {. 
09b0: 20 20 20 61 66 74 65 72 20 31 30 0a 20 20 7d 0a     after 10.  }.
09c0: 20 20 23 20 54 68 65 20 6f 74 68 65 72 20 70 72    # The other pr
09d0: 6f 63 65 73 73 20 68 61 73 20 63 6f 6d 6d 69 74  ocess has commit
09e0: 74 65 64 20 69 74 73 20 74 72 61 6e 73 61 63 74  ted its transact
09f0: 69 6f 6e 20 6f 6e 20 74 65 73 74 32 2e 64 62 20  ion on test2.db 
0a00: 62 79 20 0a 20 20 23 20 64 65 6c 65 74 69 6e 67  by .  # deleting
0a10: 20 74 68 65 20 6a 6f 75 72 6e 61 6c 20 66 69 6c   the journal fil
0a20: 65 2e 20 42 75 74 20 69 74 20 6d 69 67 68 74 20  e. But it might 
0a30: 72 65 74 61 69 6e 20 74 68 65 20 6c 6f 63 6b 20  retain the lock 
0a40: 66 6f 72 20 61 20 0a 20 20 23 20 66 72 61 63 74  for a .  # fract
0a50: 69 6f 6e 20 6c 6f 6e 67 65 72 20 0a 20 20 23 0a  ion longer .  #.
0a60: 20 20 64 62 32 20 65 76 61 6c 20 7b 0a 20 20 20    db2 eval {.   
0a70: 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20    SELECT * FROM 
0a80: 74 32 0a 20 20 7d 0a 7d 20 7b 32 7d 0a 0a 20 20  t2.  }.} {2}..  
0a90: 20 20 0a 64 6f 5f 74 65 73 74 20 6c 6f 63 6b 34    .do_test lock4
0aa0: 2d 39 39 39 2e 31 20 7b 0a 20 20 72 65 6e 61 6d  -999.1 {.  renam
0ab0: 65 20 64 62 32 20 7b 7d 0a 7d 20 7b 7d 0a 0a 66  e db2 {}.} {}..f
0ac0: 69 6e 69 73 68 5f 74 65 73 74 0a                 inish_test.