/ Hex Artifact Content
Login

Artifact 5242d8ac4e2d59c403aebff606af449b455aceff:


0000: 23 20 32 30 30 31 20 53 65 70 74 65 6d 62 65 72  # 2001 September
0010: 20 31 35 0a 23 0a 23 20 54 68 65 20 61 75 74 68   15.#.# The auth
0020: 6f 72 20 64 69 73 63 6c 61 69 6d 73 20 63 6f 70  or disclaims cop
0030: 79 72 69 67 68 74 20 74 6f 20 74 68 69 73 20 73  yright to this s
0040: 6f 75 72 63 65 20 63 6f 64 65 2e 20 20 49 6e 20  ource code.  In 
0050: 70 6c 61 63 65 20 6f 66 0a 23 20 61 20 6c 65 67  place of.# a leg
0060: 61 6c 20 6e 6f 74 69 63 65 2c 20 68 65 72 65 20  al notice, here 
0070: 69 73 20 61 20 62 6c 65 73 73 69 6e 67 3a 0a 23  is a blessing:.#
0080: 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20 64 6f  .#    May you do
0090: 20 67 6f 6f 64 20 61 6e 64 20 6e 6f 74 20 65 76   good and not ev
00a0: 69 6c 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75  il..#    May you
00b0: 20 66 69 6e 64 20 66 6f 72 67 69 76 65 6e 65 73   find forgivenes
00c0: 73 20 66 6f 72 20 79 6f 75 72 73 65 6c 66 20 61  s for yourself a
00d0: 6e 64 20 66 6f 72 67 69 76 65 20 6f 74 68 65 72  nd forgive other
00e0: 73 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20  s..#    May you 
00f0: 73 68 61 72 65 20 66 72 65 65 6c 79 2c 20 6e 65  share freely, ne
0100: 76 65 72 20 74 61 6b 69 6e 67 20 6d 6f 72 65 20  ver taking more 
0110: 74 68 61 6e 20 79 6f 75 20 67 69 76 65 2e 0a 23  than you give..#
0120: 0a 23 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  .#**************
0130: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0140: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0150: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0160: 2a 2a 2a 2a 2a 2a 2a 2a 2a 0a 23 20 54 68 69 73  *********.# This
0170: 20 66 69 6c 65 20 69 6d 70 6c 65 6d 65 6e 74 73   file implements
0180: 20 72 65 67 72 65 73 73 69 6f 6e 20 74 65 73 74   regression test
0190: 73 20 66 6f 72 20 53 51 4c 69 74 65 20 6c 69 62  s for SQLite lib
01a0: 72 61 72 79 2e 20 20 54 68 65 0a 23 20 66 6f 63  rary.  The.# foc
01b0: 75 73 20 6f 66 20 74 68 69 73 20 73 63 72 69 70  us of this scrip
01c0: 74 20 69 73 20 64 61 74 61 62 61 73 65 20 6c 6f  t is database lo
01d0: 63 6b 73 20 62 65 74 77 65 65 6e 20 63 6f 6d 70  cks between comp
01e0: 65 74 69 6e 67 20 70 72 6f 63 65 73 73 65 73 2e  eting processes.
01f0: 0a 23 0a 23 20 24 49 64 3a 20 6c 6f 63 6b 32 2e  .#.# $Id: lock2.
0200: 74 65 73 74 2c 76 20 31 2e 31 31 20 32 30 30 39  test,v 1.11 2009
0210: 2f 30 35 2f 30 31 20 31 30 3a 35 35 3a 33 34 20  /05/01 10:55:34 
0220: 64 61 6e 69 65 6c 6b 31 39 37 37 20 45 78 70 20  danielk1977 Exp 
0230: 24 0a 0a 0a 73 65 74 20 74 65 73 74 64 69 72 20  $...set testdir 
0240: 5b 66 69 6c 65 20 64 69 72 6e 61 6d 65 20 24 61  [file dirname $a
0250: 72 67 76 30 5d 0a 73 6f 75 72 63 65 20 24 74 65  rgv0].source $te
0260: 73 74 64 69 72 2f 74 65 73 74 65 72 2e 74 63 6c  stdir/tester.tcl
0270: 0a 73 6f 75 72 63 65 20 24 74 65 73 74 64 69 72  .source $testdir
0280: 2f 6c 6f 63 6b 5f 63 6f 6d 6d 6f 6e 2e 74 63 6c  /lock_common.tcl
0290: 0a 0a 0a 23 20 53 69 6d 70 6c 65 20 6c 6f 63 6b  ...# Simple lock
02a0: 69 6e 67 20 74 65 73 74 20 63 61 73 65 3a 0a 23  ing test case:.#
02b0: 0a 23 20 6c 6f 63 6b 32 2d 31 2e 31 3a 20 43 6f  .# lock2-1.1: Co
02c0: 6e 6e 65 63 74 20 61 20 73 65 63 6f 6e 64 20 70  nnect a second p
02d0: 72 6f 63 65 73 73 20 74 6f 20 74 68 65 20 64 61  rocess to the da
02e0: 74 61 62 61 73 65 2e 0a 23 20 6c 6f 63 6b 32 2d  tabase..# lock2-
02f0: 31 2e 32 3a 20 45 73 74 61 62 6c 69 73 68 20 61  1.2: Establish a
0300: 20 52 45 53 45 52 56 45 44 20 6c 6f 63 6b 20 77   RESERVED lock w
0310: 69 74 68 20 74 68 69 73 20 70 72 6f 63 65 73 73  ith this process
0320: 2e 0a 23 20 6c 6f 63 6b 32 2d 31 2e 33 3a 20 47  ..# lock2-1.3: G
0330: 65 74 20 61 20 53 48 41 52 45 44 20 6c 6f 63 6b  et a SHARED lock
0340: 20 77 69 74 68 20 74 68 65 20 73 65 63 6f 6e 64   with the second
0350: 20 70 72 6f 63 65 73 73 2e 0a 23 20 6c 6f 63 6b   process..# lock
0360: 32 2d 31 2e 34 3a 20 54 72 79 20 66 6f 72 20 61  2-1.4: Try for a
0370: 20 52 45 53 45 52 56 45 44 20 6c 6f 63 6b 20 77   RESERVED lock w
0380: 69 74 68 20 70 72 6f 63 65 73 73 20 32 2e 20 54  ith process 2. T
0390: 68 69 73 20 66 61 69 6c 73 2e 0a 23 20 6c 6f 63  his fails..# loc
03a0: 6b 32 2d 31 2e 35 3a 20 54 72 79 20 74 6f 20 75  k2-1.5: Try to u
03b0: 70 67 72 61 64 65 20 74 68 65 20 66 69 72 73 74  pgrade the first
03c0: 20 70 72 6f 63 65 73 73 20 74 6f 20 45 58 43 4c   process to EXCL
03d0: 55 53 49 56 45 2c 20 74 68 69 73 20 66 61 69 6c  USIVE, this fail
03e0: 73 20 73 6f 0a 23 20 20 20 20 20 20 20 20 20 20  s so.#          
03f0: 20 20 69 74 20 67 65 74 73 20 50 45 4e 44 49 4e    it gets PENDIN
0400: 47 2e 0a 23 20 6c 6f 63 6b 32 2d 31 2e 36 3a 20  G..# lock2-1.6: 
0410: 52 65 6c 65 61 73 65 20 74 68 65 20 53 48 41 52  Release the SHAR
0420: 45 44 20 6c 6f 63 6b 20 68 65 6c 64 20 62 79 20  ED lock held by 
0430: 74 68 65 20 73 65 63 6f 6e 64 20 70 72 6f 63 65  the second proce
0440: 73 73 2e 20 0a 23 20 6c 6f 63 6b 32 2d 31 2e 37  ss. .# lock2-1.7
0450: 3a 20 41 74 74 65 6d 70 74 20 74 6f 20 72 65 61  : Attempt to rea
0460: 71 75 69 72 65 20 61 20 53 48 41 52 45 44 20 6c  quire a SHARED l
0470: 6f 63 6b 20 77 69 74 68 20 74 68 65 20 73 65 63  ock with the sec
0480: 6f 6e 64 20 70 72 6f 63 65 73 73 2e 0a 23 20 20  ond process..#  
0490: 20 20 20 20 20 20 20 20 20 20 74 68 69 73 20 66            this f
04a0: 61 69 6c 73 20 64 75 65 20 74 6f 20 74 68 65 20  ails due to the 
04b0: 50 45 4e 44 49 4e 47 20 6c 6f 63 6b 2e 0a 23 20  PENDING lock..# 
04c0: 6c 6f 63 6b 32 2d 31 2e 38 3a 20 45 6e 73 75 72  lock2-1.8: Ensur
04d0: 65 20 74 68 65 20 66 69 72 73 74 20 70 72 6f 63  e the first proc
04e0: 65 73 73 20 63 61 6e 20 6e 6f 77 20 75 70 67 72  ess can now upgr
04f0: 61 64 65 20 74 6f 20 45 58 43 4c 55 53 49 56 45  ade to EXCLUSIVE
0500: 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 6c 6f 63 6b  ..#.do_test lock
0510: 32 2d 31 2e 31 20 7b 0a 20 20 73 65 74 20 3a 3a  2-1.1 {.  set ::
0520: 74 66 31 20 5b 6c 61 75 6e 63 68 5f 74 65 73 74  tf1 [launch_test
0530: 66 69 78 74 75 72 65 5d 0a 20 20 74 65 73 74 66  fixture].  testf
0540: 69 78 74 75 72 65 20 24 3a 3a 74 66 31 20 7b 0a  ixture $::tf1 {.
0550: 20 20 20 20 73 71 6c 69 74 65 33 20 64 62 20 74      sqlite3 db t
0560: 65 73 74 2e 64 62 20 2d 6b 65 79 20 78 79 7a 7a  est.db -key xyzz
0570: 79 0a 20 20 20 20 64 62 20 65 76 61 6c 20 7b 73  y.    db eval {s
0580: 65 6c 65 63 74 20 2a 20 66 72 6f 6d 20 73 71 6c  elect * from sql
0590: 69 74 65 5f 6d 61 73 74 65 72 7d 0a 20 20 7d 0a  ite_master}.  }.
05a0: 7d 20 7b 7d 0a 64 6f 5f 74 65 73 74 20 6c 6f 63  } {}.do_test loc
05b0: 6b 32 2d 31 2e 31 2e 31 20 7b 0a 20 20 65 78 65  k2-1.1.1 {.  exe
05c0: 63 73 71 6c 20 7b 70 72 61 67 6d 61 20 6c 6f 63  csql {pragma loc
05d0: 6b 5f 73 74 61 74 75 73 7d 0a 7d 20 7b 6d 61 69  k_status}.} {mai
05e0: 6e 20 75 6e 6c 6f 63 6b 65 64 20 74 65 6d 70 20  n unlocked temp 
05f0: 63 6c 6f 73 65 64 7d 0a 73 71 6c 69 74 65 33 5f  closed}.sqlite3_
0600: 73 6f 66 74 5f 68 65 61 70 5f 6c 69 6d 69 74 20  soft_heap_limit 
0610: 30 0a 64 6f 5f 74 65 73 74 20 6c 6f 63 6b 32 2d  0.do_test lock2-
0620: 31 2e 32 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  1.2 {.  execsql 
0630: 7b 0a 20 20 20 20 42 45 47 49 4e 3b 0a 20 20 20  {.    BEGIN;.   
0640: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 61 62   CREATE TABLE ab
0650: 63 28 61 2c 20 62 2c 20 63 29 3b 0a 20 20 7d 0a  c(a, b, c);.  }.
0660: 7d 20 7b 7d 0a 64 6f 5f 74 65 73 74 20 6c 6f 63  } {}.do_test loc
0670: 6b 32 2d 31 2e 33 20 7b 0a 20 20 74 65 73 74 66  k2-1.3 {.  testf
0680: 69 78 74 75 72 65 20 24 3a 3a 74 66 31 20 7b 0a  ixture $::tf1 {.
0690: 20 20 20 20 64 62 20 65 76 61 6c 20 7b 0a 20 20      db eval {.  
06a0: 20 20 20 20 42 45 47 49 4e 3b 0a 20 20 20 20 20      BEGIN;.     
06b0: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 73   SELECT * FROM s
06c0: 71 6c 69 74 65 5f 6d 61 73 74 65 72 3b 0a 20 20  qlite_master;.  
06d0: 20 20 7d 0a 20 20 7d 0a 7d 20 7b 7d 0a 64 6f 5f    }.  }.} {}.do_
06e0: 74 65 73 74 20 6c 6f 63 6b 32 2d 31 2e 34 20 7b  test lock2-1.4 {
06f0: 0a 20 20 74 65 73 74 66 69 78 74 75 72 65 20 24  .  testfixture $
0700: 3a 3a 74 66 31 20 7b 0a 20 20 20 20 63 61 74 63  ::tf1 {.    catc
0710: 68 20 7b 20 64 62 20 65 76 61 6c 20 7b 20 43 52  h { db eval { CR
0720: 45 41 54 45 20 54 41 42 4c 45 20 64 65 66 28 64  EATE TABLE def(d
0730: 2c 20 65 2c 20 66 29 20 7d 20 7d 20 6d 73 67 0a  , e, f) } } msg.
0740: 20 20 20 20 73 65 74 20 6d 73 67 0a 20 20 7d 0a      set msg.  }.
0750: 7d 20 7b 64 61 74 61 62 61 73 65 20 69 73 20 6c  } {database is l
0760: 6f 63 6b 65 64 7d 0a 64 6f 5f 74 65 73 74 20 6c  ocked}.do_test l
0770: 6f 63 6b 32 2d 31 2e 35 20 7b 0a 20 20 63 61 74  ock2-1.5 {.  cat
0780: 63 68 73 71 6c 20 7b 0a 20 20 20 20 43 4f 4d 4d  chsql {.    COMM
0790: 49 54 3b 0a 20 20 7d 0a 7d 20 7b 31 20 7b 64 61  IT;.  }.} {1 {da
07a0: 74 61 62 61 73 65 20 69 73 20 6c 6f 63 6b 65 64  tabase is locked
07b0: 7d 7d 0a 64 6f 5f 74 65 73 74 20 6c 6f 63 6b 32  }}.do_test lock2
07c0: 2d 31 2e 36 20 7b 0a 20 20 74 65 73 74 66 69 78  -1.6 {.  testfix
07d0: 74 75 72 65 20 24 3a 3a 74 66 31 20 7b 0a 20 20  ture $::tf1 {.  
07e0: 20 20 64 62 20 65 76 61 6c 20 7b 0a 20 20 20 20    db eval {.    
07f0: 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20    SELECT * FROM 
0800: 73 71 6c 69 74 65 5f 6d 61 73 74 65 72 3b 0a 20  sqlite_master;. 
0810: 20 20 20 20 20 43 4f 4d 4d 49 54 3b 0a 20 20 20       COMMIT;.   
0820: 20 7d 0a 20 20 7d 0a 7d 20 7b 7d 0a 64 6f 5f 74   }.  }.} {}.do_t
0830: 65 73 74 20 6c 6f 63 6b 32 2d 31 2e 37 20 7b 0a  est lock2-1.7 {.
0840: 20 20 74 65 73 74 66 69 78 74 75 72 65 20 24 3a    testfixture $:
0850: 3a 74 66 31 20 7b 0a 20 20 20 20 63 61 74 63 68  :tf1 {.    catch
0860: 20 7b 20 64 62 20 65 76 61 6c 20 7b 0a 20 20 20   { db eval {.   
0870: 20 20 20 42 45 47 49 4e 3b 0a 20 20 20 20 20 20     BEGIN;.      
0880: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 73 71  SELECT * FROM sq
0890: 6c 69 74 65 5f 6d 61 73 74 65 72 3b 0a 20 20 20  lite_master;.   
08a0: 20 7d 20 7d 20 6d 73 67 20 0a 20 20 20 20 73 65   } } msg .    se
08b0: 74 20 6d 73 67 0a 20 20 7d 0a 7d 20 7b 64 61 74  t msg.  }.} {dat
08c0: 61 62 61 73 65 20 69 73 20 6c 6f 63 6b 65 64 7d  abase is locked}
08d0: 0a 64 6f 5f 74 65 73 74 20 6c 6f 63 6b 32 2d 31  .do_test lock2-1
08e0: 2e 38 20 7b 0a 20 20 63 61 74 63 68 73 71 6c 20  .8 {.  catchsql 
08f0: 7b 0a 20 20 20 20 43 4f 4d 4d 49 54 3b 0a 20 20  {.    COMMIT;.  
0900: 7d 0a 7d 20 7b 30 20 7b 7d 7d 0a 64 6f 5f 74 65  }.} {0 {}}.do_te
0910: 73 74 20 6c 6f 63 6b 32 2d 31 2e 39 20 7b 0a 20  st lock2-1.9 {. 
0920: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 53   execsql {.    S
0930: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 73 71 6c  ELECT * FROM sql
0940: 69 74 65 5f 6d 61 73 74 65 72 3b 0a 20 20 7d 0a  ite_master;.  }.
0950: 7d 20 22 74 61 62 6c 65 20 61 62 63 20 61 62 63  } "table abc abc
0960: 20 5b 65 78 70 72 20 24 41 55 54 4f 56 41 43 55   [expr $AUTOVACU
0970: 55 4d 3f 33 3a 32 5d 20 7b 43 52 45 41 54 45 20  UM?3:2] {CREATE 
0980: 54 41 42 4c 45 20 61 62 63 28 61 2c 20 62 2c 20  TABLE abc(a, b, 
0990: 63 29 7d 22 0a 63 61 74 63 68 20 66 6c 75 73 68  c)}".catch flush
09a0: 5f 61 73 79 6e 63 5f 71 75 65 75 65 0a 64 6f 5f  _async_queue.do_
09b0: 74 65 73 74 20 6c 6f 63 6b 32 2d 31 2e 31 30 20  test lock2-1.10 
09c0: 7b 0a 20 20 74 65 73 74 66 69 78 74 75 72 65 20  {.  testfixture 
09d0: 24 3a 3a 74 66 31 20 7b 0a 20 20 20 20 64 62 20  $::tf1 {.    db 
09e0: 65 76 61 6c 20 7b 0a 20 20 20 20 20 20 53 45 4c  eval {.      SEL
09f0: 45 43 54 20 2a 20 46 52 4f 4d 20 73 71 6c 69 74  ECT * FROM sqlit
0a00: 65 5f 6d 61 73 74 65 72 3b 0a 20 20 20 20 7d 0a  e_master;.    }.
0a10: 20 20 7d 0a 7d 20 22 74 61 62 6c 65 20 61 62 63    }.} "table abc
0a20: 20 61 62 63 20 5b 65 78 70 72 20 24 41 55 54 4f   abc [expr $AUTO
0a30: 56 41 43 55 55 4d 3f 33 3a 32 5d 20 7b 43 52 45  VACUUM?3:2] {CRE
0a40: 41 54 45 20 54 41 42 4c 45 20 61 62 63 28 61 2c  ATE TABLE abc(a,
0a50: 20 62 2c 20 63 29 7d 22 0a 0a 63 61 74 63 68 20   b, c)}"..catch 
0a60: 7b 74 65 73 74 66 69 78 74 75 72 65 20 24 3a 3a  {testfixture $::
0a70: 74 66 31 20 7b 64 62 20 63 6c 6f 73 65 7d 7d 0a  tf1 {db close}}.
0a80: 63 61 74 63 68 20 7b 63 6c 6f 73 65 20 24 3a 3a  catch {close $::
0a90: 74 66 31 7d 0a 73 71 6c 69 74 65 33 5f 73 6f 66  tf1}.sqlite3_sof
0aa0: 74 5f 68 65 61 70 5f 6c 69 6d 69 74 20 24 63 6d  t_heap_limit $cm
0ab0: 64 6c 69 6e 65 61 72 67 28 73 6f 66 74 2d 68 65  dlinearg(soft-he
0ac0: 61 70 2d 6c 69 6d 69 74 29 0a 0a 66 69 6e 69 73  ap-limit)..finis
0ad0: 68 5f 74 65 73 74 0a                             h_test.