/ Hex Artifact Content
Login

Artifact 3dbf017d34ab0c60abe6a44e447d3552154bd0c87b41eaf5ceacd408dd13fda5:


0000: 23 20 32 30 31 38 20 44 65 63 65 6d 62 65 72 20  # 2018 December 
0010: 36 0a 23 0a 23 20 54 68 65 20 61 75 74 68 6f 72  6.#.# The author
0020: 20 64 69 73 63 6c 61 69 6d 73 20 63 6f 70 79 72   disclaims copyr
0030: 69 67 68 74 20 74 6f 20 74 68 69 73 20 73 6f 75  ight to this sou
0040: 72 63 65 20 63 6f 64 65 2e 20 20 49 6e 20 70 6c  rce code.  In pl
0050: 61 63 65 20 6f 66 0a 23 20 61 20 6c 65 67 61 6c  ace of.# a legal
0060: 20 6e 6f 74 69 63 65 2c 20 68 65 72 65 20 69 73   notice, here is
0070: 20 61 20 62 6c 65 73 73 69 6e 67 3a 0a 23 0a 23   a blessing:.#.#
0080: 20 20 20 20 4d 61 79 20 79 6f 75 20 64 6f 20 67      May you do g
0090: 6f 6f 64 20 61 6e 64 20 6e 6f 74 20 65 76 69 6c  ood and not evil
00a0: 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20 66  ..#    May you f
00b0: 69 6e 64 20 66 6f 72 67 69 76 65 6e 65 73 73 20  ind forgiveness 
00c0: 66 6f 72 20 79 6f 75 72 73 65 6c 66 20 61 6e 64  for yourself and
00d0: 20 66 6f 72 67 69 76 65 20 6f 74 68 65 72 73 2e   forgive others.
00e0: 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20 73 68  .#    May you sh
00f0: 61 72 65 20 66 72 65 65 6c 79 2c 20 6e 65 76 65  are freely, neve
0100: 72 20 74 61 6b 69 6e 67 20 6d 6f 72 65 20 74 68  r taking more th
0110: 61 6e 20 79 6f 75 20 67 69 76 65 2e 0a 23 0a 23  an 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 2a 2a 0a 23 0a 0a 73 65 74 20 74  *******.#..set t
0170: 65 73 74 64 69 72 20 5b 66 69 6c 65 20 64 69 72  estdir [file dir
0180: 6e 61 6d 65 20 24 61 72 67 76 30 5d 0a 73 6f 75  name $argv0].sou
0190: 72 63 65 20 24 74 65 73 74 64 69 72 2f 74 65 73  rce $testdir/tes
01a0: 74 65 72 2e 74 63 6c 0a 0a 73 65 74 20 74 65 73  ter.tcl..set tes
01b0: 74 70 72 65 66 69 78 20 73 68 6d 6c 6f 63 6b 0a  tprefix shmlock.
01c0: 0a 69 66 63 61 70 61 62 6c 65 20 21 77 61 6c 20  .ifcapable !wal 
01d0: 7b 66 69 6e 69 73 68 5f 74 65 73 74 20 3b 20 72  {finish_test ; r
01e0: 65 74 75 72 6e 20 7d 0a 0a 73 71 6c 69 74 65 33  eturn }..sqlite3
01f0: 20 64 62 32 20 74 65 73 74 2e 64 62 0a 73 71 6c   db2 test.db.sql
0200: 69 74 65 33 20 64 62 33 20 74 65 73 74 2e 64 62  ite3 db3 test.db
0210: 0a 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73  ..do_execsql_tes
0220: 74 20 31 2e 30 20 7b 0a 20 20 50 52 41 47 4d 41  t 1.0 {.  PRAGMA
0230: 20 6a 6f 75 72 6e 61 6c 5f 6d 6f 64 65 20 3d 20   journal_mode = 
0240: 77 61 6c 3b 0a 20 20 43 52 45 41 54 45 20 54 41  wal;.  CREATE TA
0250: 42 4c 45 20 74 31 28 61 2c 20 62 29 3b 0a 20 20  BLE t1(a, b);.  
0260: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56  INSERT INTO t1 V
0270: 41 4c 55 45 53 28 31 2c 20 32 29 3b 0a 7d 20 7b  ALUES(1, 2);.} {
0280: 77 61 6c 7d 0a 64 6f 5f 74 65 73 74 20 31 2e 31  wal}.do_test 1.1
0290: 20 7b 20 65 78 65 63 73 71 6c 20 7b 20 53 45 4c   { execsql { SEL
02a0: 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 7d 20  ECT * FROM t1 } 
02b0: 64 62 32 20 7d 20 7b 31 20 32 7d 0a 64 6f 5f 74  db2 } {1 2}.do_t
02c0: 65 73 74 20 31 2e 32 20 7b 20 65 78 65 63 73 71  est 1.2 { execsq
02d0: 6c 20 7b 20 53 45 4c 45 43 54 20 2a 20 46 52 4f  l { SELECT * FRO
02e0: 4d 20 74 31 20 7d 20 64 62 33 20 7d 20 7b 31 20  M t1 } db3 } {1 
02f0: 32 7d 0a 0a 66 6f 72 65 61 63 68 20 7b 74 6e 20  2}..foreach {tn 
0300: 64 62 68 61 6e 64 6c 65 20 63 6d 64 20 72 65 73  dbhandle cmd res
0310: 7d 20 7b 0a 20 20 31 20 20 20 20 64 62 20 20 7b  } {.  1    db  {
0320: 73 68 61 72 65 64 20 20 20 20 6c 6f 63 6b 20 20  shared    lock  
0330: 20 37 20 31 7d 20 20 20 20 4f 4b 0a 20 20 32 20   7 1}    OK.  2 
0340: 20 20 20 64 62 32 20 7b 65 78 63 6c 75 73 69 76     db2 {exclusiv
0350: 65 20 6c 6f 63 6b 20 20 20 37 20 31 7d 20 20 20  e lock   7 1}   
0360: 20 42 55 53 59 0a 20 20 33 20 20 20 20 64 62 20   BUSY.  3    db 
0370: 20 7b 73 68 61 72 65 64 20 20 20 20 75 6e 6c 6f   {shared    unlo
0380: 63 6b 20 37 20 31 7d 20 20 20 20 4f 4b 0a 20 20  ck 7 1}    OK.  
0390: 34 20 20 20 20 64 62 32 20 7b 65 78 63 6c 75 73  4    db2 {exclus
03a0: 69 76 65 20 6c 6f 63 6b 20 20 20 37 20 31 7d 20  ive lock   7 1} 
03b0: 20 20 20 4f 4b 0a 20 20 35 20 20 20 20 64 62 20     OK.  5    db 
03c0: 20 7b 73 68 61 72 65 64 20 20 20 20 6c 6f 63 6b   {shared    lock
03d0: 20 20 20 37 20 31 7d 20 20 20 20 42 55 53 59 0a     7 1}    BUSY.
03e0: 20 20 36 20 20 20 20 64 62 20 20 7b 65 78 63 6c    6    db  {excl
03f0: 75 73 69 76 65 20 6c 6f 63 6b 20 20 20 37 20 31  usive lock   7 1
0400: 7d 20 20 20 20 42 55 53 59 0a 20 20 37 20 20 20  }    BUSY.  7   
0410: 20 64 62 32 20 7b 65 78 63 6c 75 73 69 76 65 20   db2 {exclusive 
0420: 75 6e 6c 6f 63 6b 20 37 20 31 7d 20 20 20 20 4f  unlock 7 1}    O
0430: 4b 0a 0a 20 20 38 20 20 20 20 64 62 20 20 7b 65  K..  8    db  {e
0440: 78 63 6c 75 73 69 76 65 20 6c 6f 63 6b 20 20 20  xclusive lock   
0450: 30 20 38 7d 20 20 20 20 4f 4b 0a 20 20 39 20 20  0 8}    OK.  9  
0460: 20 20 64 62 20 20 7b 65 78 63 6c 75 73 69 76 65    db  {exclusive
0470: 20 75 6e 6c 6f 63 6b 20 30 20 38 7d 20 20 20 20   unlock 0 8}    
0480: 4f 4b 0a 20 20 31 30 20 20 20 64 62 32 20 7b 65  OK.  10   db2 {e
0490: 78 63 6c 75 73 69 76 65 20 6c 6f 63 6b 20 20 20  xclusive lock   
04a0: 30 20 38 7d 20 20 20 20 4f 4b 0a 20 20 31 31 20  0 8}    OK.  11 
04b0: 20 20 64 62 32 20 7b 65 78 63 6c 75 73 69 76 65    db2 {exclusive
04c0: 20 75 6e 6c 6f 63 6b 20 30 20 38 7d 20 20 20 20   unlock 0 8}    
04d0: 4f 4b 0a 0a 20 20 31 32 20 20 20 64 62 20 20 7b  OK..  12   db  {
04e0: 73 68 61 72 65 64 20 20 20 20 6c 6f 63 6b 20 20  shared    lock  
04f0: 20 30 20 31 7d 20 20 20 20 4f 4b 0a 20 20 31 33   0 1}    OK.  13
0500: 20 20 20 64 62 32 20 7b 73 68 61 72 65 64 20 20     db2 {shared  
0510: 20 20 6c 6f 63 6b 20 20 20 30 20 31 7d 20 20 20    lock   0 1}   
0520: 20 4f 4b 0a 20 20 31 34 20 20 20 64 62 33 20 7b   OK.  14   db3 {
0530: 73 68 61 72 65 64 20 20 20 20 6c 6f 63 6b 20 20  shared    lock  
0540: 20 30 20 31 7d 20 20 20 20 4f 4b 0a 20 20 31 35   0 1}    OK.  15
0550: 20 20 20 64 62 33 20 7b 73 68 61 72 65 64 20 20     db3 {shared  
0560: 20 20 75 6e 6c 6f 63 6b 20 30 20 31 7d 20 20 20    unlock 0 1}   
0570: 20 4f 4b 0a 20 20 31 36 20 20 20 64 62 33 20 7b   OK.  16   db3 {
0580: 65 78 63 6c 75 73 69 76 65 20 6c 6f 63 6b 20 20  exclusive lock  
0590: 20 30 20 31 7d 20 20 20 20 42 55 53 59 0a 20 20   0 1}    BUSY.  
05a0: 31 37 20 20 20 64 62 32 20 7b 73 68 61 72 65 64  17   db2 {shared
05b0: 20 20 20 20 75 6e 6c 6f 63 6b 20 30 20 31 7d 20      unlock 0 1} 
05c0: 20 20 20 4f 4b 0a 20 20 31 38 20 20 20 64 62 33     OK.  18   db3
05d0: 20 7b 65 78 63 6c 75 73 69 76 65 20 6c 6f 63 6b   {exclusive lock
05e0: 20 20 20 30 20 31 7d 20 20 20 20 42 55 53 59 0a     0 1}    BUSY.
05f0: 20 20 31 39 20 20 20 64 62 20 20 7b 73 68 61 72    19   db  {shar
0600: 65 64 20 20 20 20 75 6e 6c 6f 63 6b 20 30 20 31  ed    unlock 0 1
0610: 7d 20 20 20 20 4f 4b 0a 20 20 32 30 20 20 20 64  }    OK.  20   d
0620: 62 33 20 7b 65 78 63 6c 75 73 69 76 65 20 6c 6f  b3 {exclusive lo
0630: 63 6b 20 20 20 30 20 31 7d 20 20 20 20 4f 4b 0a  ck   0 1}    OK.
0640: 20 20 32 31 20 20 20 64 62 33 20 7b 65 78 63 6c    21   db3 {excl
0650: 75 73 69 76 65 20 75 6e 6c 6f 63 6b 20 30 20 31  usive unlock 0 1
0660: 7d 20 20 20 20 4f 4b 0a 0a 20 20 32 32 20 20 20  }    OK..  22   
0670: 64 62 20 20 7b 73 68 61 72 65 64 20 20 20 20 6c  db  {shared    l
0680: 6f 63 6b 20 20 20 33 20 31 7d 20 20 20 20 4f 4b  ock   3 1}    OK
0690: 0a 20 20 32 33 20 20 20 64 62 32 20 7b 65 78 63  .  23   db2 {exc
06a0: 6c 75 73 69 76 65 20 6c 6f 63 6b 20 20 20 32 20  lusive lock   2 
06b0: 32 7d 20 20 20 20 42 55 53 59 0a 20 20 32 34 20  2}    BUSY.  24 
06c0: 20 20 64 62 20 20 7b 73 68 61 72 65 64 20 20 20    db  {shared   
06d0: 20 6c 6f 63 6b 20 20 20 32 20 31 7d 20 20 20 20   lock   2 1}    
06e0: 4f 4b 0a 20 20 32 35 20 20 20 64 62 32 20 7b 65  OK.  25   db2 {e
06f0: 78 63 6c 75 73 69 76 65 20 6c 6f 63 6b 20 20 20  xclusive lock   
0700: 30 20 35 7d 20 20 20 20 42 55 53 59 0a 20 20 32  0 5}    BUSY.  2
0710: 36 20 20 20 64 62 32 20 7b 65 78 63 6c 75 73 69  6   db2 {exclusi
0720: 76 65 20 6c 6f 63 6b 20 20 20 30 20 34 7d 20 20  ve lock   0 4}  
0730: 20 20 42 55 53 59 0a 20 20 32 37 20 20 20 64 62    BUSY.  27   db
0740: 32 20 7b 65 78 63 6c 75 73 69 76 65 20 6c 6f 63  2 {exclusive loc
0750: 6b 20 20 20 30 20 33 7d 20 20 20 20 42 55 53 59  k   0 3}    BUSY
0760: 0a 20 20 32 38 20 20 20 64 62 20 20 7b 73 68 61  .  28   db  {sha
0770: 72 65 64 20 20 20 20 75 6e 6c 6f 63 6b 20 33 20  red    unlock 3 
0780: 31 7d 20 20 20 20 4f 4b 0a 20 20 32 39 20 20 20  1}    OK.  29   
0790: 64 62 32 20 7b 65 78 63 6c 75 73 69 76 65 20 6c  db2 {exclusive l
07a0: 6f 63 6b 20 20 20 32 20 32 7d 20 20 20 20 42 55  ock   2 2}    BU
07b0: 53 59 0a 20 20 32 38 20 20 20 64 62 20 20 7b 73  SY.  28   db  {s
07c0: 68 61 72 65 64 20 20 20 20 75 6e 6c 6f 63 6b 20  hared    unlock 
07d0: 32 20 31 7d 20 20 20 20 4f 4b 0a 20 20 32 39 20  2 1}    OK.  29 
07e0: 20 20 64 62 32 20 7b 65 78 63 6c 75 73 69 76 65    db2 {exclusive
07f0: 20 6c 6f 63 6b 20 20 20 32 20 32 7d 20 20 20 20   lock   2 2}    
0800: 4f 4b 0a 20 20 32 39 20 20 20 64 62 32 20 7b 65  OK.  29   db2 {e
0810: 78 63 6c 75 73 69 76 65 20 75 6e 6c 6f 63 6b 20  xclusive unlock 
0820: 32 20 32 7d 20 20 20 20 4f 4b 0a 7d 20 7b 0a 20  2 2}    OK.} {. 
0830: 20 64 6f 5f 74 65 73 74 20 31 2e 33 2e 24 74 6e   do_test 1.3.$tn
0840: 20 5b 6c 69 73 74 20 76 66 73 5f 73 68 6d 6c 6f   [list vfs_shmlo
0850: 63 6b 20 24 64 62 68 61 6e 64 6c 65 20 6d 61 69  ck $dbhandle mai
0860: 6e 20 7b 2a 7d 24 63 6d 64 5d 20 22 53 51 4c 49  n {*}$cmd] "SQLI
0870: 54 45 5f 24 72 65 73 22 0a 7d 0a 0a 64 62 20 20  TE_$res".}..db  
0880: 63 6c 6f 73 65 0a 64 62 32 20 63 6c 6f 73 65 0a  close.db2 close.
0890: 64 62 33 20 63 6c 6f 73 65 0a 0a 69 66 20 7b 5b  db3 close..if {[
08a0: 70 65 72 6d 75 74 61 74 69 6f 6e 5d 3d 3d 22 75  permutation]=="u
08b0: 6e 69 78 2d 65 78 63 6c 22 7d 20 7b 0a 20 20 64  nix-excl"} {.  d
08c0: 6f 5f 74 65 73 74 20 32 2e 30 20 7b 0a 20 20 20  o_test 2.0 {.   
08d0: 20 66 6f 72 20 7b 73 65 74 20 69 20 30 7d 20 7b   for {set i 0} {
08e0: 24 69 20 3c 20 32 35 36 7d 20 7b 69 6e 63 72 20  $i < 256} {incr 
08f0: 69 7d 20 7b 20 0a 20 20 20 20 20 20 73 71 6c 69  i} { .      sqli
0900: 74 65 33 20 64 62 24 69 20 74 65 73 74 2e 64 62  te3 db$i test.db
0910: 20 0a 20 20 20 20 20 20 65 78 65 63 73 71 6c 20   .      execsql 
0920: 7b 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20  { SELECT * FROM 
0930: 74 31 20 7d 20 64 62 24 69 0a 20 20 20 20 7d 0a  t1 } db$i.    }.
0940: 20 20 20 20 66 6f 72 20 7b 73 65 74 20 69 20 30      for {set i 0
0950: 7d 20 7b 24 69 20 3c 20 32 35 35 7d 20 7b 69 6e  } {$i < 255} {in
0960: 63 72 20 69 7d 20 7b 20 0a 20 20 20 20 20 20 73  cr i} { .      s
0970: 65 74 20 72 63 20 5b 76 66 73 5f 73 68 6d 6c 6f  et rc [vfs_shmlo
0980: 63 6b 20 64 62 24 69 20 6d 61 69 6e 20 73 68 61  ck db$i main sha
0990: 72 65 64 20 6c 6f 63 6b 20 34 20 31 5d 0a 20 20  red lock 4 1].  
09a0: 20 20 20 20 69 66 20 7b 24 72 63 20 21 3d 20 22      if {$rc != "
09b0: 53 51 4c 49 54 45 5f 4f 4b 22 7d 20 7b 20 65 72  SQLITE_OK"} { er
09c0: 72 6f 72 20 24 72 63 20 7d 0a 20 20 20 20 7d 0a  ror $rc }.    }.
09d0: 0a 20 20 20 20 76 66 73 5f 73 68 6d 6c 6f 63 6b  .    vfs_shmlock
09e0: 20 64 62 32 35 35 20 6d 61 69 6e 20 73 68 61 72   db255 main shar
09f0: 65 64 20 6c 6f 63 6b 20 34 20 31 0a 20 20 7d 20  ed lock 4 1.  } 
0a00: 7b 53 51 4c 49 54 45 5f 42 55 53 59 7d 0a 0a 20  {SQLITE_BUSY}.. 
0a10: 20 64 6f 5f 74 65 73 74 20 32 2e 31 20 7b 20 76   do_test 2.1 { v
0a20: 66 73 5f 73 68 6d 6c 6f 63 6b 20 64 62 32 35 35  fs_shmlock db255
0a30: 20 6d 61 69 6e 20 65 78 63 6c 75 73 69 76 65 20   main exclusive 
0a40: 6c 6f 63 6b 20 20 20 34 20 31 20 7d 20 53 51 4c  lock   4 1 } SQL
0a50: 49 54 45 5f 42 55 53 59 0a 20 20 64 6f 5f 74 65  ITE_BUSY.  do_te
0a60: 73 74 20 32 2e 32 20 7b 20 76 66 73 5f 73 68 6d  st 2.2 { vfs_shm
0a70: 6c 6f 63 6b 20 64 62 30 20 20 20 6d 61 69 6e 20  lock db0   main 
0a80: 73 68 61 72 65 64 20 20 20 20 75 6e 6c 6f 63 6b  shared    unlock
0a90: 20 34 20 31 20 7d 20 53 51 4c 49 54 45 5f 4f 4b   4 1 } SQLITE_OK
0aa0: 0a 20 20 64 6f 5f 74 65 73 74 20 32 2e 33 20 7b  .  do_test 2.3 {
0ab0: 20 76 66 73 5f 73 68 6d 6c 6f 63 6b 20 64 62 32   vfs_shmlock db2
0ac0: 35 35 20 6d 61 69 6e 20 73 68 61 72 65 64 20 20  55 main shared  
0ad0: 20 20 6c 6f 63 6b 20 20 20 34 20 31 20 7d 20 53    lock   4 1 } S
0ae0: 51 4c 49 54 45 5f 4f 4b 0a 20 20 64 6f 5f 74 65  QLITE_OK.  do_te
0af0: 73 74 20 32 2e 34 20 7b 20 76 66 73 5f 73 68 6d  st 2.4 { vfs_shm
0b00: 6c 6f 63 6b 20 64 62 32 35 35 20 6d 61 69 6e 20  lock db255 main 
0b10: 73 68 61 72 65 64 20 20 20 20 75 6e 6c 6f 63 6b  shared    unlock
0b20: 20 34 20 31 20 7d 20 53 51 4c 49 54 45 5f 4f 4b   4 1 } SQLITE_OK
0b30: 0a 20 20 64 6f 5f 74 65 73 74 20 32 2e 35 20 7b  .  do_test 2.5 {
0b40: 20 76 66 73 5f 73 68 6d 6c 6f 63 6b 20 64 62 32   vfs_shmlock db2
0b50: 35 35 20 6d 61 69 6e 20 65 78 63 6c 75 73 69 76  55 main exclusiv
0b60: 65 20 6c 6f 63 6b 20 20 20 34 20 31 20 7d 20 53  e lock   4 1 } S
0b70: 51 4c 49 54 45 5f 42 55 53 59 0a 0a 20 20 64 6f  QLITE_BUSY..  do
0b80: 5f 74 65 73 74 20 32 2e 36 20 7b 0a 20 20 20 20  _test 2.6 {.    
0b90: 66 6f 72 20 7b 73 65 74 20 69 20 31 7d 20 7b 24  for {set i 1} {$
0ba0: 69 20 3c 20 32 35 35 7d 20 7b 69 6e 63 72 20 69  i < 255} {incr i
0bb0: 7d 20 7b 20 0a 20 20 20 20 20 20 73 65 74 20 72  } { .      set r
0bc0: 63 20 5b 76 66 73 5f 73 68 6d 6c 6f 63 6b 20 64  c [vfs_shmlock d
0bd0: 62 32 35 35 20 6d 61 69 6e 20 65 78 63 6c 75 73  b255 main exclus
0be0: 69 76 65 20 6c 6f 63 6b 20 34 20 31 5d 0a 20 20  ive lock 4 1].  
0bf0: 20 20 20 20 69 66 20 7b 24 72 63 20 21 3d 20 22      if {$rc != "
0c00: 53 51 4c 49 54 45 5f 42 55 53 59 22 7d 20 7b 20  SQLITE_BUSY"} { 
0c10: 65 72 72 6f 72 20 24 72 63 20 7d 0a 20 20 20 20  error $rc }.    
0c20: 20 20 73 65 74 20 72 63 20 5b 76 66 73 5f 73 68    set rc [vfs_sh
0c30: 6d 6c 6f 63 6b 20 64 62 24 69 20 6d 61 69 6e 20  mlock db$i main 
0c40: 73 68 61 72 65 64 20 75 6e 6c 6f 63 6b 20 34 20  shared unlock 4 
0c50: 31 5d 0a 20 20 20 20 20 20 69 66 20 7b 24 72 63  1].      if {$rc
0c60: 20 21 3d 20 22 53 51 4c 49 54 45 5f 4f 4b 22 7d   != "SQLITE_OK"}
0c70: 20 7b 20 65 72 72 6f 72 20 24 72 63 20 7d 0a 20   { error $rc }. 
0c80: 20 20 20 7d 0a 0a 20 20 20 20 76 66 73 5f 73 68     }..    vfs_sh
0c90: 6d 6c 6f 63 6b 20 64 62 32 35 35 20 6d 61 69 6e  mlock db255 main
0ca0: 20 65 78 63 6c 75 73 69 76 65 20 6c 6f 63 6b 20   exclusive lock 
0cb0: 34 20 31 0a 20 20 7d 20 7b 53 51 4c 49 54 45 5f  4 1.  } {SQLITE_
0cc0: 4f 4b 7d 0a 0a 20 20 76 66 73 5f 73 68 6d 6c 6f  OK}..  vfs_shmlo
0cd0: 63 6b 20 64 62 32 35 35 20 6d 61 69 6e 20 65 78  ck db255 main ex
0ce0: 63 6c 75 73 69 76 65 20 75 6e 6c 6f 63 6b 20 34  clusive unlock 4
0cf0: 20 31 0a 0a 20 20 66 6f 72 20 7b 73 65 74 20 69   1..  for {set i
0d00: 20 30 7d 20 7b 24 69 20 3c 20 32 35 36 7d 20 7b   0} {$i < 256} {
0d10: 69 6e 63 72 20 69 7d 20 7b 0a 20 20 20 20 64 62  incr i} {.    db
0d20: 24 69 20 63 6c 6f 73 65 0a 20 20 7d 0a 7d 0a 0a  $i close.  }.}..
0d30: 73 71 6c 69 74 65 33 20 64 62 30 20 74 65 73 74  sqlite3 db0 test
0d40: 2e 64 62 0a 73 71 6c 69 74 65 33 20 64 62 31 20  .db.sqlite3 db1 
0d50: 74 65 73 74 2e 64 62 0a 64 6f 5f 74 65 73 74 20  test.db.do_test 
0d60: 33 2e 31 20 7b 20 65 78 65 63 73 71 6c 20 7b 20  3.1 { execsql { 
0d70: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31  SELECT * FROM t1
0d80: 20 7d 20 64 62 30 20 7d 20 7b 31 20 32 7d 0a 64   } db0 } {1 2}.d
0d90: 6f 5f 74 65 73 74 20 33 2e 32 20 7b 20 65 78 65  o_test 3.2 { exe
0da0: 63 73 71 6c 20 7b 20 53 45 4c 45 43 54 20 2a 20  csql { SELECT * 
0db0: 46 52 4f 4d 20 74 31 20 7d 20 64 62 31 20 7d 20  FROM t1 } db1 } 
0dc0: 7b 31 20 32 7d 0a 69 66 20 7b 24 74 63 6c 5f 70  {1 2}.if {$tcl_p
0dd0: 6c 61 74 66 6f 72 6d 28 70 6c 61 74 66 6f 72 6d  latform(platform
0de0: 29 3d 3d 22 77 69 6e 64 6f 77 73 22 7d 20 7b 0a  )=="windows"} {.
0df0: 20 20 73 65 74 20 69 73 57 69 6e 64 6f 77 73 20    set isWindows 
0e00: 31 0a 7d 20 65 6c 73 65 20 7b 0a 20 20 73 65 74  1.} else {.  set
0e10: 20 69 73 57 69 6e 64 6f 77 73 20 30 0a 7d 0a 0a   isWindows 0.}..
0e20: 73 65 74 20 4c 28 30 29 20 7b 6e 20 6e 20 6e 20  set L(0) {n n n 
0e30: 6e 20 6e 20 6e 20 6e 20 6e 7d 0a 73 65 74 20 4c  n n n n n}.set L
0e40: 28 31 29 20 7b 6e 20 6e 20 6e 20 6e 20 6e 20 6e  (1) {n n n n n n
0e50: 20 6e 20 6e 7d 0a 70 72 6f 63 20 72 61 6e 64 6f   n n}.proc rando
0e60: 6d 5f 6c 6f 63 6b 5f 74 65 73 74 20 7b 69 64 78  m_lock_test {idx
0e70: 7d 20 7b 0a 20 20 67 6c 6f 62 61 6c 20 4c 0a 20  } {.  global L. 
0e80: 20 73 65 74 20 69 53 6c 6f 74 20 5b 65 78 70 72   set iSlot [expr
0e90: 20 69 6e 74 28 72 61 6e 64 28 29 2a 38 29 5d 0a   int(rand()*8)].
0ea0: 20 20 69 66 20 7b 5b 65 78 70 72 20 69 6e 74 28    if {[expr int(
0eb0: 72 61 6e 64 28 29 2a 32 29 5d 7d 20 7b 0a 20 20  rand()*2)]} {.  
0ec0: 20 20 23 20 55 6e 6c 6f 63 6b 20 6f 70 65 72 61    # Unlock opera
0ed0: 74 69 6f 6e 0a 20 20 20 20 69 66 20 7b 5b 6c 69  tion.    if {[li
0ee0: 6e 64 65 78 20 24 4c 28 24 69 64 78 29 20 24 69  ndex $L($idx) $i
0ef0: 53 6c 6f 74 5d 21 3d 22 6e 22 7d 20 7b 0a 20 20  Slot]!="n"} {.  
0f00: 20 20 20 20 76 66 73 5f 73 68 6d 6c 6f 63 6b 20      vfs_shmlock 
0f10: 64 62 24 69 64 78 20 6d 61 69 6e 20 5b 6c 69 6e  db$idx main [lin
0f20: 64 65 78 20 24 4c 28 24 69 64 78 29 20 24 69 53  dex $L($idx) $iS
0f30: 6c 6f 74 5d 20 75 6e 6c 6f 63 6b 20 24 69 53 6c  lot] unlock $iSl
0f40: 6f 74 20 31 0a 20 20 20 20 20 20 6c 73 65 74 20  ot 1.      lset 
0f50: 4c 28 24 69 64 78 29 20 24 69 53 6c 6f 74 20 6e  L($idx) $iSlot n
0f60: 0a 20 20 20 20 7d 0a 20 20 7d 20 65 6c 73 65 20  .    }.  } else 
0f70: 7b 0a 20 20 20 20 23 20 4c 6f 63 6b 20 6f 70 65  {.    # Lock ope
0f80: 72 61 74 69 6f 6e 0a 20 20 20 20 69 66 20 7b 5b  ration.    if {[
0f90: 6c 69 6e 64 65 78 20 24 4c 28 24 69 64 78 29 20  lindex $L($idx) 
0fa0: 24 69 53 6c 6f 74 5d 3d 3d 22 6e 22 7d 20 7b 0a  $iSlot]=="n"} {.
0fb0: 20 20 20 20 20 20 73 65 74 20 6c 6f 63 6b 74 79        set lockty
0fc0: 70 65 20 5b 6c 69 6e 64 65 78 20 7b 65 20 73 7d  pe [lindex {e s}
0fd0: 20 5b 65 78 70 72 20 69 6e 74 28 72 61 6e 64 28   [expr int(rand(
0fe0: 29 2a 32 29 5d 5d 0a 20 20 20 20 20 20 73 65 74  )*2)]].      set
0ff0: 20 6e 20 31 0a 20 20 20 20 20 20 69 66 20 7b 24   n 1.      if {$
1000: 6c 6f 63 6b 74 79 70 65 3d 3d 22 65 22 7d 20 7b  locktype=="e"} {
1010: 0a 20 20 20 20 20 20 20 20 66 6f 72 20 7b 73 65  .        for {se
1020: 74 20 6c 20 24 69 53 6c 6f 74 7d 20 7b 24 6c 3c  t l $iSlot} {$l<
1030: 38 20 26 26 20 5b 6c 69 6e 64 65 78 20 24 4c 28  8 && [lindex $L(
1040: 24 69 64 78 29 20 24 6c 5d 3d 3d 22 6e 22 7d 20  $idx) $l]=="n"} 
1050: 7b 69 6e 63 72 20 6c 7d 20 7b 7d 0a 20 20 20 20  {incr l} {}.    
1060: 20 20 20 20 73 65 74 20 6e 20 5b 65 78 70 72 20      set n [expr 
1070: 69 6e 74 28 72 61 6e 64 28 29 2a 28 24 6c 2d 24  int(rand()*($l-$
1080: 69 53 6c 6f 74 29 29 2b 31 5d 0a 20 20 20 20 20  iSlot))+1].     
1090: 20 20 20 23 20 54 68 65 20 4c 6f 63 6b 46 69 6c     # The LockFil
10a0: 65 28 29 20 61 6e 64 20 55 6e 6c 6f 63 6b 46 69  e() and UnlockFi
10b0: 6c 65 28 29 20 61 70 69 73 20 6f 6e 20 77 69 6e  le() apis on win
10c0: 64 6f 77 73 20 72 65 71 75 69 72 65 20 74 68 61  dows require tha
10d0: 74 0a 20 20 20 20 20 20 20 20 23 20 65 76 65 72  t.        # ever
10e0: 79 20 75 6e 6c 6f 63 6b 20 63 6f 72 72 65 73 70  y unlock corresp
10f0: 6f 6e 64 20 65 78 61 63 74 6c 79 20 74 6f 20 61  ond exactly to a
1100: 20 70 72 69 6f 72 20 6c 6f 63 6b 2e 20 20 48 65   prior lock.  He
1110: 6e 63 65 2c 20 77 65 20 63 61 6e 6e 6f 74 0a 20  nce, we cannot. 
1120: 20 20 20 20 20 20 20 23 20 6c 6f 63 6b 20 61 72         # lock ar
1130: 62 69 74 72 61 72 79 20 72 61 6e 67 65 73 20 69  bitrary ranges i
1140: 6e 20 74 68 69 73 20 74 65 73 74 20 6f 6e 20 77  n this test on w
1150: 69 6e 64 6f 77 73 2e 0a 20 20 20 20 20 20 20 20  indows..        
1160: 69 66 20 7b 24 3a 3a 69 73 57 69 6e 64 6f 77 73  if {$::isWindows
1170: 7d 20 7b 73 65 74 20 6e 20 31 7d 0a 20 20 20 20  } {set n 1}.    
1180: 20 20 20 20 23 20 70 75 74 73 20 22 69 53 6c 6f      # puts "iSlo
1190: 74 3d 24 69 53 6c 6f 74 20 6c 3d 24 6c 20 4c 3d  t=$iSlot l=$l L=
11a0: 24 4c 28 24 69 64 78 29 22 0a 20 20 20 20 20 20  $L($idx)".      
11b0: 20 20 23 20 70 75 74 73 20 22 24 69 53 6c 6f 74    # puts "$iSlot
11c0: 20 24 6e 22 0a 20 20 20 20 20 20 7d 0a 20 20 20   $n".      }.   
11d0: 20 20 20 73 65 74 20 72 65 73 20 5b 76 66 73 5f     set res [vfs_
11e0: 73 68 6d 6c 6f 63 6b 20 64 62 24 69 64 78 20 6d  shmlock db$idx m
11f0: 61 69 6e 20 24 6c 6f 63 6b 74 79 70 65 20 6c 6f  ain $locktype lo
1200: 63 6b 20 24 69 53 6c 6f 74 20 24 6e 5d 0a 0a 20  ck $iSlot $n].. 
1210: 20 20 20 20 20 73 65 74 20 62 42 75 73 79 20 30       set bBusy 0
1220: 0a 20 20 20 20 20 20 66 6f 72 20 7b 73 65 74 20  .      for {set 
1230: 69 20 24 69 53 6c 6f 74 7d 20 7b 24 69 3c 28 24  i $iSlot} {$i<($
1240: 69 53 6c 6f 74 2b 24 6e 29 7d 20 7b 69 6e 63 72  iSlot+$n)} {incr
1250: 20 69 7d 20 7b 0a 20 20 20 20 20 20 20 20 73 65   i} {.        se
1260: 74 20 6f 74 68 65 72 20 5b 6c 69 6e 64 65 78 20  t other [lindex 
1270: 24 4c 28 5b 65 78 70 72 20 28 24 69 64 78 2b 31  $L([expr ($idx+1
1280: 29 25 32 5d 29 20 24 69 5d 0a 20 20 20 20 20 20  )%2]) $i].      
1290: 20 20 69 66 20 7b 28 24 6f 74 68 65 72 21 3d 22    if {($other!="
12a0: 6e 22 20 26 26 20 24 6c 6f 63 6b 74 79 70 65 3d  n" && $locktype=
12b0: 3d 22 65 22 29 7c 7c 28 24 6f 74 68 65 72 3d 3d  ="e")||($other==
12c0: 22 65 22 20 26 26 20 24 6c 6f 63 6b 74 79 70 65  "e" && $locktype
12d0: 3d 3d 22 73 22 29 7d 20 7b 0a 20 20 20 20 20 20  =="s")} {.      
12e0: 20 20 20 20 69 66 20 7b 24 72 65 73 20 21 3d 20      if {$res != 
12f0: 22 53 51 4c 49 54 45 5f 42 55 53 59 22 7d 20 7b  "SQLITE_BUSY"} {
1300: 20 65 72 72 6f 72 20 22 42 55 53 59 20 6e 6f 74   error "BUSY not
1310: 20 64 65 74 65 63 74 65 64 22 20 7d 0a 20 20 20   detected" }.   
1320: 20 20 20 20 20 20 20 73 65 74 20 62 42 75 73 79         set bBusy
1330: 20 31 0a 20 20 20 20 20 20 20 20 20 20 62 72 65   1.          bre
1340: 61 6b 0a 20 20 20 20 20 20 20 20 7d 20 0a 20 20  ak.        } .  
1350: 20 20 20 20 7d 0a 0a 20 20 20 20 20 20 69 66 20      }..      if 
1360: 7b 24 62 42 75 73 79 3d 3d 30 7d 20 7b 0a 20 20  {$bBusy==0} {.  
1370: 20 20 20 20 20 20 69 66 20 7b 24 72 65 73 20 21        if {$res !
1380: 3d 20 22 53 51 4c 49 54 45 5f 4f 4b 22 7d 20 7b  = "SQLITE_OK"} {
1390: 20 65 72 72 6f 72 20 22 42 55 53 59 20 66 61 6c   error "BUSY fal
13a0: 73 65 2d 70 6f 73 69 74 69 76 65 22 20 7d 0a 20  se-positive" }. 
13b0: 20 20 20 20 20 20 20 66 6f 72 20 7b 73 65 74 20         for {set 
13c0: 69 20 24 69 53 6c 6f 74 7d 20 7b 24 69 3c 28 24  i $iSlot} {$i<($
13d0: 69 53 6c 6f 74 2b 24 6e 29 7d 20 7b 69 6e 63 72  iSlot+$n)} {incr
13e0: 20 69 7d 20 7b 0a 20 20 20 20 20 20 20 20 20 20   i} {.          
13f0: 6c 73 65 74 20 4c 28 24 69 64 78 29 20 24 69 20  lset L($idx) $i 
1400: 24 6c 6f 63 6b 74 79 70 65 0a 20 20 20 20 20 20  $locktype.      
1410: 20 20 7d 0a 20 20 20 20 20 20 7d 0a 20 20 20 20    }.      }.    
1420: 7d 0a 20 20 7d 0a 7d 0a 0a 73 65 74 20 6e 53 74  }.  }.}..set nSt
1430: 65 70 20 31 30 30 30 30 30 0a 66 6f 72 20 7b 73  ep 100000.for {s
1440: 65 74 20 69 20 30 7d 20 7b 24 69 20 3c 20 24 6e  et i 0} {$i < $n
1450: 53 74 65 70 7d 20 7b 69 6e 63 72 20 69 7d 20 7b  Step} {incr i} {
1460: 0a 20 20 72 61 6e 64 6f 6d 5f 6c 6f 63 6b 5f 74  .  random_lock_t
1470: 65 73 74 20 30 0a 20 20 72 61 6e 64 6f 6d 5f 6c  est 0.  random_l
1480: 6f 63 6b 5f 74 65 73 74 20 31 0a 7d 0a 0a 64 62  ock_test 1.}..db
1490: 30 20 63 6c 6f 73 65 0a 64 62 31 20 63 6c 6f 73  0 close.db1 clos
14a0: 65 0a 0a 66 69 6e 69 73 68 5f 74 65 73 74 0a     e..finish_test.