/ Hex Artifact Content
Login

Artifact 5ede3c37439067c43b0198f580fd374ebf15d304:


0000: 23 20 32 30 30 39 20 4a 75 6c 79 20 32 0a 23 0a  # 2009 July 2.#.
0010: 23 20 54 68 65 20 61 75 74 68 6f 72 20 64 69 73  # The author dis
0020: 63 6c 61 69 6d 73 20 63 6f 70 79 72 69 67 68 74  claims copyright
0030: 20 74 6f 20 74 68 69 73 20 73 6f 75 72 63 65 20   to this source 
0040: 63 6f 64 65 2e 20 20 49 6e 20 70 6c 61 63 65 20  code.  In place 
0050: 6f 66 0a 23 20 61 20 6c 65 67 61 6c 20 6e 6f 74  of.# a legal not
0060: 69 63 65 2c 20 68 65 72 65 20 69 73 20 61 20 62  ice, here is a b
0070: 6c 65 73 73 69 6e 67 3a 0a 23 0a 23 20 20 20 20  lessing:.#.#    
0080: 4d 61 79 20 79 6f 75 20 64 6f 20 67 6f 6f 64 20  May you do good 
0090: 61 6e 64 20 6e 6f 74 20 65 76 69 6c 2e 0a 23 20  and not evil..# 
00a0: 20 20 20 4d 61 79 20 79 6f 75 20 66 69 6e 64 20     May you find 
00b0: 66 6f 72 67 69 76 65 6e 65 73 73 20 66 6f 72 20  forgiveness for 
00c0: 79 6f 75 72 73 65 6c 66 20 61 6e 64 20 66 6f 72  yourself and for
00d0: 67 69 76 65 20 6f 74 68 65 72 73 2e 0a 23 20 20  give others..#  
00e0: 20 20 4d 61 79 20 79 6f 75 20 73 68 61 72 65 20    May you share 
00f0: 66 72 65 65 6c 79 2c 20 6e 65 76 65 72 20 74 61  freely, never ta
0100: 6b 69 6e 67 20 6d 6f 72 65 20 74 68 61 6e 20 79  king more than y
0110: 6f 75 20 67 69 76 65 2e 0a 23 0a 23 2a 2a 2a 2a  ou 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 0a 23 0a 23 20 24 49 64 3a 20 73 68 61  ***.#.# $Id: sha
0170: 72 65 64 6c 6f 63 6b 2e 74 65 73 74 2c 76 20 31  redlock.test,v 1
0180: 2e 31 20 32 30 30 39 2f 30 37 2f 30 32 20 31 37  .1 2009/07/02 17
0190: 3a 32 31 3a 35 38 20 64 61 6e 69 65 6c 6b 31 39  :21:58 danielk19
01a0: 37 37 20 45 78 70 20 24 0a 0a 73 65 74 20 74 65  77 Exp $..set te
01b0: 73 74 64 69 72 20 5b 66 69 6c 65 20 64 69 72 6e  stdir [file dirn
01c0: 61 6d 65 20 24 61 72 67 76 30 5d 0a 73 6f 75 72  ame $argv0].sour
01d0: 63 65 20 24 74 65 73 74 64 69 72 2f 74 65 73 74  ce $testdir/test
01e0: 65 72 2e 74 63 6c 0a 73 65 74 20 74 65 73 74 70  er.tcl.set testp
01f0: 72 65 66 69 78 20 73 68 61 72 65 64 6c 6f 63 6b  refix sharedlock
0200: 0a 64 62 20 63 6c 6f 73 65 0a 0a 69 66 63 61 70  .db close..ifcap
0210: 61 62 6c 65 20 21 73 68 61 72 65 64 5f 63 61 63  able !shared_cac
0220: 68 65 20 7b 0a 20 20 66 69 6e 69 73 68 5f 74 65  he {.  finish_te
0230: 73 74 0a 20 20 72 65 74 75 72 6e 0a 7d 0a 0a 73  st.  return.}..s
0240: 65 74 20 3a 3a 65 6e 61 62 6c 65 5f 73 68 61 72  et ::enable_shar
0250: 65 64 5f 63 61 63 68 65 20 5b 73 71 6c 69 74 65  ed_cache [sqlite
0260: 33 5f 65 6e 61 62 6c 65 5f 73 68 61 72 65 64 5f  3_enable_shared_
0270: 63 61 63 68 65 20 31 5d 0a 73 71 6c 69 74 65 33  cache 1].sqlite3
0280: 20 64 62 20 20 74 65 73 74 2e 64 62 0a 73 71 6c   db  test.db.sql
0290: 69 74 65 33 20 64 62 32 20 74 65 73 74 2e 64 62  ite3 db2 test.db
02a0: 0a 0a 64 6f 5f 74 65 73 74 20 73 68 61 72 65 64  ..do_test shared
02b0: 6c 6f 63 6b 2d 31 2e 31 20 7b 0a 20 20 65 78 65  lock-1.1 {.  exe
02c0: 63 73 71 6c 20 7b 0a 20 20 20 20 43 52 45 41 54  csql {.    CREAT
02d0: 45 20 54 41 42 4c 45 20 74 31 28 61 2c 20 62 29  E TABLE t1(a, b)
02e0: 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  ;.    INSERT INT
02f0: 4f 20 74 31 20 56 41 4c 55 45 53 28 31 2c 20 27  O t1 VALUES(1, '
0300: 6f 6e 65 27 29 3b 0a 20 20 20 20 49 4e 53 45 52  one');.    INSER
0310: 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53  T INTO t1 VALUES
0320: 28 32 2c 20 27 74 77 6f 27 29 3b 0a 20 20 7d 0a  (2, 'two');.  }.
0330: 7d 20 7b 7d 0a 0a 64 6f 5f 74 65 73 74 20 73 68  } {}..do_test sh
0340: 61 72 65 64 6c 6f 63 6b 2d 31 2e 32 20 7b 0a 20  aredlock-1.2 {. 
0350: 20 73 65 74 20 72 65 73 20 5b 6c 69 73 74 5d 0a   set res [list].
0360: 20 20 64 62 20 65 76 61 6c 20 7b 20 53 45 4c 45    db eval { SELE
0370: 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 4f 52 44  CT * FROM t1 ORD
0380: 45 52 20 42 59 20 72 6f 77 69 64 20 7d 20 7b 0a  ER BY rowid } {.
0390: 20 20 20 20 6c 61 70 70 65 6e 64 20 72 65 73 20      lappend res 
03a0: 24 61 20 24 62 0a 20 20 20 20 69 66 20 7b 24 61  $a $b.    if {$a
03b0: 20 3d 3d 20 31 7d 20 7b 20 63 61 74 63 68 20 7b   == 1} { catch {
03c0: 20 64 62 20 20 65 76 61 6c 20 22 49 4e 53 45 52   db  eval "INSER
03d0: 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53  T INTO t1 VALUES
03e0: 28 33 2c 20 27 74 68 72 65 65 27 29 22 20 7d 20  (3, 'three')" } 
03f0: 7d 0a 0a 20 20 20 20 23 20 54 68 69 73 20 73 68  }..    # This sh
0400: 6f 75 6c 64 20 66 61 69 6c 2e 20 43 6f 6e 6e 65  ould fail. Conne
0410: 63 74 69 6f 6e 20 5b 64 62 5d 20 68 61 73 20 61  ction [db] has a
0420: 20 72 65 61 64 2d 6c 6f 63 6b 20 6f 6e 20 74 31   read-lock on t1
0430: 2c 20 77 68 69 63 68 20 73 68 6f 75 6c 64 0a 20  , which should. 
0440: 20 20 20 23 20 70 72 65 76 65 6e 74 20 63 6f 6e     # prevent con
0450: 6e 65 63 74 69 6f 6e 20 5b 64 62 32 5d 20 66 72  nection [db2] fr
0460: 6f 6d 20 6f 62 74 61 69 6e 69 6e 67 20 74 68 65  om obtaining the
0470: 20 77 72 69 74 65 2d 6c 6f 63 6b 20 69 74 20 6e   write-lock it n
0480: 65 65 64 73 20 74 6f 0a 20 20 20 20 23 20 6d 6f  eeds to.    # mo
0490: 64 69 66 79 20 74 31 2e 20 41 74 20 6f 6e 65 20  dify t1. At one 
04a0: 70 6f 69 6e 74 20 74 68 65 72 65 20 77 61 73 20  point there was 
04b0: 61 20 62 75 67 20 63 61 75 73 69 6e 67 20 74 68  a bug causing th
04c0: 65 20 70 72 65 76 69 6f 75 73 20 49 4e 53 45 52  e previous INSER
04d0: 54 0a 20 20 20 20 23 20 74 6f 20 64 72 6f 70 20  T.    # to drop 
04e0: 74 68 65 20 72 65 61 64 2d 6c 6f 63 6b 20 62 65  the read-lock be
04f0: 6c 6f 6e 67 69 6e 67 20 74 6f 20 5b 64 62 5d 2e  longing to [db].
0500: 0a 20 20 20 20 69 66 20 7b 24 61 20 3d 3d 20 32  .    if {$a == 2
0510: 7d 20 7b 20 63 61 74 63 68 20 7b 20 64 62 32 20  } { catch { db2 
0520: 65 76 61 6c 20 22 49 4e 53 45 52 54 20 49 4e 54  eval "INSERT INT
0530: 4f 20 74 31 20 56 41 4c 55 45 53 28 34 2c 20 27  O t1 VALUES(4, '
0540: 66 6f 75 72 27 29 22 20 20 7d 20 7d 0a 20 20 7d  four')"  } }.  }
0550: 0a 20 20 73 65 74 20 72 65 73 0a 7d 20 7b 31 20  .  set res.} {1 
0560: 6f 6e 65 20 32 20 74 77 6f 20 33 20 74 68 72 65  one 2 two 3 thre
0570: 65 7d 0a 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  e}...#----------
0580: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0590: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
05a0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
05b0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a  ---------------.
05c0: 23 20 54 65 73 74 20 74 68 61 74 20 61 20 77 72  # Test that a wr
05d0: 69 74 65 2d 6c 6f 63 6b 20 69 73 20 74 61 6b 65  ite-lock is take
05e0: 6e 20 6f 6e 20 61 20 74 61 62 6c 65 20 77 68 65  n on a table whe
05f0: 6e 20 69 74 73 20 65 6e 74 69 72 65 20 63 6f 6e  n its entire con
0600: 74 65 6e 74 73 0a 23 20 61 72 65 20 64 65 6c 65  tents.# are dele
0610: 74 65 64 20 75 73 69 6e 67 20 74 68 65 20 4f 50  ted using the OP
0620: 5f 43 6c 65 61 72 20 6f 70 74 69 6d 69 7a 61 74  _Clear optimizat
0630: 69 6f 6e 2e 0a 23 0a 66 6f 72 65 61 63 68 20 7b  ion..#.foreach {
0640: 74 6e 20 64 65 6c 65 74 65 5f 73 71 6c 7d 20 7b  tn delete_sql} {
0650: 0a 20 20 31 20 7b 20 44 45 4c 45 54 45 20 46 52  .  1 { DELETE FR
0660: 4f 4d 20 74 32 20 57 48 45 52 45 20 31 20 7d 0a  OM t2 WHERE 1 }.
0670: 20 20 32 20 7b 20 44 45 4c 45 54 45 20 46 52 4f    2 { DELETE FRO
0680: 4d 20 74 32 20 7d 0a 7d 20 7b 0a 20 20 64 6f 5f  M t2 }.} {.  do_
0690: 65 78 65 63 73 71 6c 5f 74 65 73 74 20 32 2e 31  execsql_test 2.1
06a0: 20 7b 0a 20 20 20 20 44 52 4f 50 20 54 41 42 4c   {.    DROP TABL
06b0: 45 20 49 46 20 45 58 49 53 54 53 20 74 32 3b 0a  E IF EXISTS t2;.
06c0: 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45      CREATE TABLE
06d0: 20 74 32 28 78 2c 20 79 29 3b 0a 20 20 20 20 49   t2(x, y);.    I
06e0: 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 20 56 41  NSERT INTO t2 VA
06f0: 4c 55 45 53 28 31 2c 20 32 29 3b 0a 20 20 20 20  LUES(1, 2);.    
0700: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 20 56  INSERT INTO t2 V
0710: 41 4c 55 45 53 28 33 2c 20 34 29 3b 0a 20 20 7d  ALUES(3, 4);.  }
0720: 0a 0a 20 20 64 6f 5f 74 65 73 74 20 32 2e 32 20  ..  do_test 2.2 
0730: 7b 20 65 78 65 63 73 71 6c 20 7b 20 53 45 4c 45  { execsql { SELE
0740: 43 54 20 2a 20 46 52 4f 4d 20 74 32 20 7d 20 64  CT * FROM t2 } d
0750: 62 32 20 7d 20 7b 31 20 32 20 33 20 34 7d 0a 0a  b2 } {1 2 3 4}..
0760: 20 20 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73    do_execsql_tes
0770: 74 20 32 2e 33 20 22 20 42 45 47 49 4e 3b 20 24  t 2.3 " BEGIN; $
0780: 64 65 6c 65 74 65 5f 73 71 6c 3b 20 22 0a 0a 20  delete_sql; ".. 
0790: 20 64 6f 5f 74 65 73 74 20 32 2e 34 20 7b 20 0a   do_test 2.4 { .
07a0: 20 20 20 20 63 61 74 63 68 73 71 6c 20 7b 20 53      catchsql { S
07b0: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 32 20  ELECT * FROM t2 
07c0: 7d 20 64 62 32 20 0a 20 20 7d 20 7b 31 20 7b 64  } db2 .  } {1 {d
07d0: 61 74 61 62 61 73 65 20 74 61 62 6c 65 20 69 73  atabase table is
07e0: 20 6c 6f 63 6b 65 64 3a 20 74 32 7d 7d 0a 0a 20   locked: t2}}.. 
07f0: 20 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74   do_execsql_test
0800: 20 32 2e 35 20 43 4f 4d 4d 49 54 0a 7d 0a 0a 0a   2.5 COMMIT.}...
0810: 64 62 20 63 6c 6f 73 65 0a 64 62 32 20 63 6c 6f  db close.db2 clo
0820: 73 65 0a 73 71 6c 69 74 65 33 5f 65 6e 61 62 6c  se.sqlite3_enabl
0830: 65 5f 73 68 61 72 65 64 5f 63 61 63 68 65 20 24  e_shared_cache $
0840: 3a 3a 65 6e 61 62 6c 65 5f 73 68 61 72 65 64 5f  ::enable_shared_
0850: 63 61 63 68 65 0a 66 69 6e 69 73 68 5f 74 65 73  cache.finish_tes
0860: 74 0a                                            t.