/ Hex Artifact Content
Login

Artifact 2ecabaa1305083856b7c39cf32816b612740c161:


0000: 23 20 32 30 30 39 20 4d 61 72 63 68 20 30 34 0a  # 2009 March 04.
0010: 23 0a 23 20 54 68 65 20 61 75 74 68 6f 72 20 64  #.# The author d
0020: 69 73 63 6c 61 69 6d 73 20 63 6f 70 79 72 69 67  isclaims copyrig
0030: 68 74 20 74 6f 20 74 68 69 73 20 73 6f 75 72 63  ht to this sourc
0040: 65 20 63 6f 64 65 2e 20 20 49 6e 20 70 6c 61 63  e code.  In plac
0050: 65 20 6f 66 0a 23 20 61 20 6c 65 67 61 6c 20 6e  e of.# a legal n
0060: 6f 74 69 63 65 2c 20 68 65 72 65 20 69 73 20 61  otice, here is a
0070: 20 62 6c 65 73 73 69 6e 67 3a 0a 23 0a 23 20 20   blessing:.#.#  
0080: 20 20 4d 61 79 20 79 6f 75 20 64 6f 20 67 6f 6f    May you do goo
0090: 64 20 61 6e 64 20 6e 6f 74 20 65 76 69 6c 2e 0a  d and not evil..
00a0: 23 20 20 20 20 4d 61 79 20 79 6f 75 20 66 69 6e  #    May you fin
00b0: 64 20 66 6f 72 67 69 76 65 6e 65 73 73 20 66 6f  d forgiveness fo
00c0: 72 20 79 6f 75 72 73 65 6c 66 20 61 6e 64 20 66  r yourself and f
00d0: 6f 72 67 69 76 65 20 6f 74 68 65 72 73 2e 0a 23  orgive others..#
00e0: 20 20 20 20 4d 61 79 20 79 6f 75 20 73 68 61 72      May you shar
00f0: 65 20 66 72 65 65 6c 79 2c 20 6e 65 76 65 72 20  e freely, never 
0100: 74 61 6b 69 6e 67 20 6d 6f 72 65 20 74 68 61 6e  taking more than
0110: 20 79 6f 75 20 67 69 76 65 2e 0a 23 0a 23 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 2a 0a 23 0a 23 20 24 49 64 3a 20 6e  *****.#.# $Id: n
0170: 6f 74 69 66 79 32 2e 74 65 73 74 2c 76 20 31 2e  otify2.test,v 1.
0180: 37 20 32 30 30 39 2f 30 33 2f 33 30 20 31 31 3a  7 2009/03/30 11:
0190: 35 39 3a 33 31 20 64 72 68 20 45 78 70 20 24 0a  59:31 drh Exp $.
01a0: 0a 73 65 74 20 74 65 73 74 64 69 72 20 5b 66 69  .set testdir [fi
01b0: 6c 65 20 64 69 72 6e 61 6d 65 20 24 61 72 67 76  le dirname $argv
01c0: 30 5d 0a 73 6f 75 72 63 65 20 24 74 65 73 74 64  0].source $testd
01d0: 69 72 2f 74 65 73 74 65 72 2e 74 63 6c 0a 69 66  ir/tester.tcl.if
01e0: 20 7b 5b 72 75 6e 5f 74 68 72 65 61 64 5f 74 65   {[run_thread_te
01f0: 73 74 73 5d 3d 3d 30 7d 20 7b 20 66 69 6e 69 73  sts]==0} { finis
0200: 68 5f 74 65 73 74 20 3b 20 72 65 74 75 72 6e 20  h_test ; return 
0210: 7d 0a 69 66 63 61 70 61 62 6c 65 20 21 75 6e 6c  }.ifcapable !unl
0220: 6f 63 6b 5f 6e 6f 74 69 66 79 7c 7c 21 73 68 61  ock_notify||!sha
0230: 72 65 64 5f 63 61 63 68 65 20 7b 20 66 69 6e 69  red_cache { fini
0240: 73 68 5f 74 65 73 74 20 3b 20 72 65 74 75 72 6e  sh_test ; return
0250: 20 7d 0a 0a 23 20 54 68 65 20 74 65 73 74 73 20   }..# The tests 
0260: 69 6e 20 74 68 69 73 20 66 69 6c 65 20 74 65 73  in this file tes
0270: 74 20 74 68 65 20 73 71 6c 69 74 65 33 5f 62 6c  t the sqlite3_bl
0280: 6f 63 6b 69 6e 67 5f 73 74 65 70 28 29 20 66 75  ocking_step() fu
0290: 6e 63 74 69 6f 6e 20 69 6e 0a 23 20 74 65 73 74  nction in.# test
02a0: 5f 74 68 72 65 61 64 2e 63 2e 20 73 71 6c 69 74  _thread.c. sqlit
02b0: 65 33 5f 62 6c 6f 63 6b 69 6e 67 5f 73 74 65 70  e3_blocking_step
02c0: 28 29 20 69 73 20 6e 6f 74 20 61 6e 20 53 51 4c  () is not an SQL
02d0: 69 74 65 20 41 50 49 20 66 75 6e 63 74 69 6f 6e  ite API function
02e0: 2c 0a 23 20 69 74 20 69 73 20 6a 75 73 74 20 61  ,.# it is just a
02f0: 20 64 65 6d 6f 6e 73 74 72 61 74 69 6f 6e 20 6f   demonstration o
0300: 66 20 68 6f 77 20 74 68 65 20 73 71 6c 69 74 65  f how the sqlite
0310: 33 5f 75 6e 6c 6f 63 6b 5f 6e 6f 74 69 66 79 28  3_unlock_notify(
0320: 29 20 66 75 6e 63 74 69 6f 6e 0a 23 20 63 61 6e  ) function.# can
0330: 20 62 65 20 75 73 65 64 20 74 6f 20 73 79 6e 63   be used to sync
0340: 68 72 6f 6e 69 7a 65 20 6d 75 6c 74 69 2d 74 68  hronize multi-th
0350: 72 65 61 64 65 64 20 61 63 63 65 73 73 20 74 6f  readed access to
0360: 20 53 51 4c 69 74 65 20 64 61 74 61 62 61 73 65   SQLite database
0370: 73 0a 23 20 69 6e 20 73 68 61 72 65 64 2d 63 61  s.# in shared-ca
0380: 63 68 65 20 6d 6f 64 65 2e 0a 23 0a 23 20 53 69  che mode..#.# Si
0390: 6e 63 65 20 74 68 65 20 69 6d 70 6c 65 6d 65 6e  nce the implemen
03a0: 74 61 74 69 6f 6e 20 6f 66 20 73 71 6c 69 74 65  tation of sqlite
03b0: 33 5f 62 6c 6f 63 6b 69 6e 67 5f 73 74 65 70 28  3_blocking_step(
03c0: 29 20 69 73 20 69 6e 63 6c 75 64 65 64 20 6f 6e  ) is included on
03d0: 20 74 68 65 0a 23 20 77 65 62 73 69 74 65 20 61   the.# website a
03e0: 73 20 65 78 61 6d 70 6c 65 20 63 6f 64 65 2c 20  s example code, 
03f0: 69 74 20 69 73 20 69 6d 70 6f 72 74 61 6e 74 20  it is important 
0400: 74 6f 20 74 65 73 74 20 74 68 61 74 20 69 74 20  to test that it 
0410: 77 6f 72 6b 73 2e 0a 23 0a 23 20 6e 6f 74 69 66  works..#.# notif
0420: 79 32 2d 31 2e 2a 3a 0a 23 0a 23 20 20 20 54 68  y2-1.*:.#.#   Th
0430: 69 73 20 74 65 73 74 20 75 73 65 73 20 24 6e 54  is test uses $nT
0440: 68 72 65 61 64 20 74 68 72 65 61 64 73 2e 20 45  hread threads. E
0450: 61 63 68 20 74 68 72 65 61 64 20 6f 70 65 6e 73  ach thread opens
0460: 20 74 68 65 20 6d 61 69 6e 20 64 61 74 61 62 61   the main databa
0470: 73 65 0a 23 20 20 20 61 6e 64 20 61 74 74 61 63  se.#   and attac
0480: 68 65 73 20 74 77 6f 20 6f 74 68 65 72 20 64 61  hes two other da
0490: 74 61 62 61 73 65 73 2e 20 45 61 63 68 20 64 61  tabases. Each da
04a0: 74 61 62 61 73 65 20 63 6f 6e 74 61 69 6e 73 20  tabase contains 
04b0: 61 20 73 69 6e 67 6c 65 20 74 61 62 6c 65 2e 0a  a single table..
04c0: 23 0a 23 20 20 20 45 61 63 68 20 74 68 72 65 61  #.#   Each threa
04d0: 64 20 72 65 70 65 61 74 73 20 74 72 61 6e 73 61  d repeats transa
04e0: 63 74 69 6f 6e 73 20 6f 76 65 72 20 61 6e 64 20  ctions over and 
04f0: 6f 76 65 72 20 66 6f 72 20 32 30 20 73 65 63 6f  over for 20 seco
0500: 6e 64 73 2e 20 45 61 63 68 0a 23 20 20 20 74 72  nds. Each.#   tr
0510: 61 6e 73 61 63 74 69 6f 6e 20 63 6f 6e 73 69 73  ansaction consis
0520: 74 73 20 6f 66 20 33 20 6f 70 65 72 61 74 69 6f  ts of 3 operatio
0530: 6e 73 2e 20 45 61 63 68 20 6f 70 65 72 61 74 69  ns. Each operati
0540: 6f 6e 20 69 73 20 65 69 74 68 65 72 20 61 20 72  on is either a r
0550: 65 61 64 0a 23 20 20 20 6f 72 20 61 20 77 72 69  ead.#   or a wri
0560: 74 65 20 6f 66 20 6f 6e 65 20 6f 66 20 74 68 65  te of one of the
0570: 20 74 61 62 6c 65 73 2e 20 54 68 65 20 72 65 61   tables. The rea
0580: 64 20 6f 70 65 72 61 74 69 6f 6e 73 20 76 65 72  d operations ver
0590: 69 66 79 20 61 6e 20 69 6e 76 61 72 69 61 6e 74  ify an invariant
05a0: 0a 23 20 20 20 74 6f 20 6d 61 6b 65 20 73 75 72  .#   to make sur
05b0: 65 20 74 68 61 74 20 74 68 69 6e 67 73 20 61 72  e that things ar
05c0: 65 20 77 6f 72 6b 69 6e 67 20 61 73 20 65 78 70  e working as exp
05d0: 65 63 74 65 64 2e 20 49 66 20 61 6e 20 53 51 4c  ected. If an SQL
05e0: 49 54 45 5f 4c 4f 43 4b 45 44 0a 23 20 20 20 65  ITE_LOCKED.#   e
05f0: 72 72 6f 72 20 69 73 20 72 65 74 75 72 6e 65 64  rror is returned
0600: 20 74 68 65 20 63 75 72 72 65 6e 74 20 74 72 61   the current tra
0610: 6e 73 61 63 74 69 6f 6e 20 69 73 20 72 6f 6c 6c  nsaction is roll
0620: 65 64 20 62 61 63 6b 20 69 6d 6d 65 64 69 61 74  ed back immediat
0630: 65 6c 79 2e 0a 23 0a 23 20 20 20 54 68 69 73 20  ely..#.#   This 
0640: 65 78 65 72 63 69 73 65 20 69 73 20 72 65 70 65  exercise is repe
0650: 61 74 65 64 20 74 77 69 63 65 2c 20 6f 6e 63 65  ated twice, once
0660: 20 75 73 69 6e 67 20 73 71 6c 69 74 65 33 5f 73   using sqlite3_s
0670: 74 65 70 28 29 2c 20 61 6e 64 20 74 68 65 0a 23  tep(), and the.#
0680: 20 20 20 6f 74 68 65 72 20 75 73 69 6e 67 20 73     other using s
0690: 71 6c 69 74 65 33 5f 62 6c 6f 63 6b 69 6e 67 5f  qlite3_blocking_
06a0: 73 74 65 70 28 29 2e 20 54 68 65 20 72 65 73 75  step(). The resu
06b0: 6c 74 73 20 61 72 65 20 63 6f 6d 70 61 72 65 64  lts are compared
06c0: 20 74 6f 20 65 6e 73 75 72 65 0a 23 20 20 20 74   to ensure.#   t
06d0: 68 61 74 20 73 71 6c 69 74 65 33 5f 62 6c 6f 63  hat sqlite3_bloc
06e0: 6b 69 6e 67 5f 73 74 65 70 28 29 20 72 65 73 75  king_step() resu
06f0: 6c 74 65 64 20 69 6e 20 68 69 67 68 65 72 20 74  lted in higher t
0700: 72 61 6e 73 61 63 74 69 6f 6e 20 74 68 72 6f 75  ransaction throu
0710: 67 68 70 75 74 2e 0a 23 0a 0a 64 62 20 63 6c 6f  ghput..#..db clo
0720: 73 65 0a 73 65 74 20 3a 3a 65 6e 61 62 6c 65 5f  se.set ::enable_
0730: 73 68 61 72 65 64 5f 63 61 63 68 65 20 5b 73 71  shared_cache [sq
0740: 6c 69 74 65 33 5f 65 6e 61 62 6c 65 5f 73 68 61  lite3_enable_sha
0750: 72 65 64 5f 63 61 63 68 65 20 31 5d 0a 0a 23 20  red_cache 1]..# 
0760: 4e 75 6d 62 65 72 20 6f 66 20 74 68 72 65 61 64  Number of thread
0770: 73 20 74 6f 20 72 75 6e 20 73 69 6d 75 6c 74 61  s to run simulta
0780: 6e 65 6f 75 73 6c 79 2e 0a 23 0a 73 65 74 20 6e  neously..#.set n
0790: 54 68 72 65 61 64 20 36 0a 73 65 74 20 6e 53 65  Thread 6.set nSe
07a0: 63 6f 6e 64 20 35 0a 0a 23 20 54 68 65 20 54 63  cond 5..# The Tc
07b0: 6c 20 73 63 72 69 70 74 20 65 78 65 63 75 74 65  l script execute
07c0: 64 20 62 79 20 65 61 63 68 20 6f 66 20 74 68 65  d by each of the
07d0: 20 24 6e 54 68 72 65 61 64 20 74 68 72 65 61 64   $nThread thread
07e0: 73 20 75 73 65 64 20 62 79 20 74 68 69 73 20 74  s used by this t
07f0: 65 73 74 2e 0a 23 0a 73 65 74 20 54 68 72 65 61  est..#.set Threa
0800: 64 50 72 6f 67 72 61 6d 20 7b 0a 0a 20 20 23 20  dProgram {..  # 
0810: 50 72 6f 63 20 75 73 65 64 20 62 79 20 74 68 72  Proc used by thr
0820: 65 61 64 73 20 74 6f 20 65 78 65 63 75 74 65 20  eads to execute 
0830: 53 51 4c 2e 0a 20 20 23 0a 20 20 70 72 6f 63 20  SQL..  #.  proc 
0840: 65 78 65 63 73 71 6c 5f 62 6c 6f 63 6b 69 6e 67  execsql_blocking
0850: 20 7b 64 62 20 7a 53 71 6c 7d 20 7b 0a 20 20 20   {db zSql} {.   
0860: 20 73 65 74 20 6c 52 65 73 20 5b 6c 69 73 74 5d   set lRes [list]
0870: 0a 20 20 20 20 73 65 74 20 72 63 20 53 51 4c 49  .    set rc SQLI
0880: 54 45 5f 4f 4b 0a 0a 73 65 74 20 73 71 6c 20 24  TE_OK..set sql $
0890: 7a 53 71 6c 0a 0a 20 20 20 20 77 68 69 6c 65 20  zSql..    while 
08a0: 7b 24 72 63 3d 3d 22 53 51 4c 49 54 45 5f 4f 4b  {$rc=="SQLITE_OK
08b0: 22 20 26 26 20 24 7a 53 71 6c 20 6e 65 20 22 22  " && $zSql ne ""
08c0: 7d 20 7b 0a 20 20 20 20 20 20 73 65 74 20 53 54  } {.      set ST
08d0: 4d 54 20 5b 24 3a 3a 78 50 72 65 70 61 72 65 20  MT [$::xPrepare 
08e0: 24 64 62 20 24 7a 53 71 6c 20 2d 31 20 7a 53 71  $db $zSql -1 zSq
08f0: 6c 5d 0a 20 20 20 20 20 20 77 68 69 6c 65 20 7b  l].      while {
0900: 5b 73 65 74 20 72 63 20 5b 24 3a 3a 78 53 74 65  [set rc [$::xSte
0910: 70 20 24 53 54 4d 54 5d 5d 20 65 71 20 22 53 51  p $STMT]] eq "SQ
0920: 4c 49 54 45 5f 52 4f 57 22 7d 20 7b 0a 20 20 20  LITE_ROW"} {.   
0930: 20 20 20 20 20 66 6f 72 20 7b 73 65 74 20 69 20       for {set i 
0940: 30 7d 20 7b 24 69 20 3c 20 5b 73 71 6c 69 74 65  0} {$i < [sqlite
0950: 33 5f 63 6f 6c 75 6d 6e 5f 63 6f 75 6e 74 20 24  3_column_count $
0960: 53 54 4d 54 5d 7d 20 7b 69 6e 63 72 20 69 7d 20  STMT]} {incr i} 
0970: 7b 0a 20 20 20 20 20 20 20 20 20 20 6c 61 70 70  {.          lapp
0980: 65 6e 64 20 6c 52 65 73 20 5b 73 71 6c 69 74 65  end lRes [sqlite
0990: 33 5f 63 6f 6c 75 6d 6e 5f 74 65 78 74 20 24 53  3_column_text $S
09a0: 54 4d 54 20 30 5d 0a 20 20 20 20 20 20 20 20 7d  TMT 0].        }
09b0: 0a 20 20 20 20 20 20 7d 0a 20 20 20 20 20 20 73  .      }.      s
09c0: 65 74 20 72 63 20 5b 73 71 6c 69 74 65 33 5f 66  et rc [sqlite3_f
09d0: 69 6e 61 6c 69 7a 65 20 24 53 54 4d 54 5d 0a 20  inalize $STMT]. 
09e0: 20 20 20 7d 0a 0a 20 20 20 20 69 66 20 7b 24 72     }..    if {$r
09f0: 63 20 21 3d 20 22 53 51 4c 49 54 45 5f 4f 4b 22  c != "SQLITE_OK"
0a00: 7d 20 7b 20 65 72 72 6f 72 20 22 24 72 63 20 24  } { error "$rc $
0a10: 73 71 6c 20 5b 73 71 6c 69 74 65 33 5f 65 72 72  sql [sqlite3_err
0a20: 6d 73 67 20 24 64 62 5d 22 20 7d 0a 20 20 20 20  msg $db]" }.    
0a30: 72 65 74 75 72 6e 20 24 6c 52 65 73 0a 20 20 7d  return $lRes.  }
0a40: 0a 0a 20 20 70 72 6f 63 20 65 78 65 63 73 71 6c  ..  proc execsql
0a50: 5f 72 65 74 72 79 20 7b 64 62 20 73 71 6c 7d 20  _retry {db sql} 
0a60: 7b 20 0a 20 20 20 20 73 65 74 20 6d 73 67 20 22  { .    set msg "
0a70: 53 51 4c 49 54 45 5f 4c 4f 43 4b 45 44 20 62 6c  SQLITE_LOCKED bl
0a80: 61 68 2e 2e 2e 22 0a 20 20 20 20 77 68 69 6c 65  ah...".    while
0a90: 20 7b 20 5b 73 74 72 69 6e 67 20 6d 61 74 63 68   { [string match
0aa0: 20 53 51 4c 49 54 45 5f 4c 4f 43 4b 45 44 2a 20   SQLITE_LOCKED* 
0ab0: 24 6d 73 67 5d 20 7d 20 7b 0a 20 20 20 20 20 20  $msg] } {.      
0ac0: 63 61 74 63 68 20 7b 20 65 78 65 63 73 71 6c 5f  catch { execsql_
0ad0: 62 6c 6f 63 6b 69 6e 67 20 24 64 62 20 24 73 71  blocking $db $sq
0ae0: 6c 20 7d 20 6d 73 67 0a 20 20 20 20 7d 0a 20 20  l } msg.    }.  
0af0: 7d 0a 0a 20 20 70 72 6f 63 20 73 65 6c 65 63 74  }..  proc select
0b00: 5f 6f 6e 65 20 7b 61 72 67 73 7d 20 7b 0a 20 20  _one {args} {.  
0b10: 20 20 73 65 74 20 6e 20 5b 6c 6c 65 6e 67 74 68    set n [llength
0b20: 20 24 61 72 67 73 5d 0a 20 20 20 20 6c 69 6e 64   $args].    lind
0b30: 65 78 20 24 61 72 67 73 20 5b 65 78 70 72 20 69  ex $args [expr i
0b40: 6e 74 28 24 6e 2a 72 61 6e 64 28 29 29 5d 0a 20  nt($n*rand())]. 
0b50: 20 7d 0a 0a 20 20 70 72 6f 63 20 6f 70 65 6e 64   }..  proc opend
0b60: 62 20 7b 7d 20 7b 0a 20 20 20 20 23 20 4f 70 65  b {} {.    # Ope
0b70: 6e 20 61 20 64 61 74 61 62 61 73 65 20 63 6f 6e  n a database con
0b80: 6e 65 63 74 69 6f 6e 2e 20 41 74 74 61 63 68 20  nection. Attach 
0b90: 74 68 65 20 74 77 6f 20 61 75 78 69 6c 6c 61 72  the two auxillar
0ba0: 79 20 64 61 74 61 62 61 73 65 73 2e 0a 20 20 20  y databases..   
0bb0: 20 73 65 74 20 3a 3a 44 42 20 5b 73 71 6c 69 74   set ::DB [sqlit
0bc0: 65 33 5f 6f 70 65 6e 20 74 65 73 74 2e 64 62 5d  e3_open test.db]
0bd0: 0a 20 20 20 20 65 78 65 63 73 71 6c 5f 72 65 74  .    execsql_ret
0be0: 72 79 20 24 3a 3a 44 42 20 7b 20 41 54 54 41 43  ry $::DB { ATTAC
0bf0: 48 20 27 74 65 73 74 32 2e 64 62 27 20 41 53 20  H 'test2.db' AS 
0c00: 61 75 78 32 3b 20 7d 0a 20 20 20 20 65 78 65 63  aux2; }.    exec
0c10: 73 71 6c 5f 72 65 74 72 79 20 24 3a 3a 44 42 20  sql_retry $::DB 
0c20: 7b 20 41 54 54 41 43 48 20 27 74 65 73 74 33 2e  { ATTACH 'test3.
0c30: 64 62 27 20 41 53 20 61 75 78 33 3b 20 7d 0a 20  db' AS aux3; }. 
0c40: 20 7d 0a 0a 20 20 6f 70 65 6e 64 62 0a 0a 20 20   }..  opendb..  
0c50: 23 61 66 74 65 72 20 32 30 30 30 0a 0a 20 20 23  #after 2000..  #
0c60: 20 54 68 69 73 20 6c 6f 6f 70 20 72 75 6e 73 20   This loop runs 
0c70: 66 6f 72 20 7e 32 30 20 73 65 63 6f 6e 64 73 2e  for ~20 seconds.
0c80: 0a 20 20 23 0a 20 20 73 65 74 20 69 53 74 61 72  .  #.  set iStar
0c90: 74 20 5b 63 6c 6f 63 6b 5f 73 65 63 6f 6e 64 73  t [clock_seconds
0ca0: 5d 0a 20 20 73 65 74 20 6e 4f 70 20 30 0a 20 20  ].  set nOp 0.  
0cb0: 73 65 74 20 6e 41 74 74 65 6d 70 74 20 30 0a 20  set nAttempt 0. 
0cc0: 20 77 68 69 6c 65 20 7b 20 28 5b 63 6c 6f 63 6b   while { ([clock
0cd0: 5f 73 65 63 6f 6e 64 73 5d 2d 24 69 53 74 61 72  _seconds]-$iStar
0ce0: 74 29 20 3c 20 24 6e 53 65 63 6f 6e 64 20 7d 20  t) < $nSecond } 
0cf0: 7b 0a 0a 20 20 20 20 23 20 45 61 63 68 20 74 72  {..    # Each tr
0d00: 61 6e 73 61 63 74 69 6f 6e 20 64 6f 65 73 20 33  ansaction does 3
0d10: 20 6f 70 65 72 61 74 69 6f 6e 73 2e 20 45 61 63   operations. Eac
0d20: 68 20 6f 70 65 72 61 74 69 6f 6e 20 69 73 20 65  h operation is e
0d30: 69 74 68 65 72 20 61 20 72 65 61 64 0a 20 20 20  ither a read.   
0d40: 20 23 20 6f 72 20 77 72 69 74 65 20 6f 66 20 61   # or write of a
0d50: 20 72 61 6e 64 6f 6d 6c 79 20 73 65 6c 65 63 74   randomly select
0d60: 65 64 20 74 61 62 6c 65 20 28 74 31 2c 20 74 32  ed table (t1, t2
0d70: 20 6f 72 20 74 33 29 2e 20 53 65 74 20 74 68 65   or t3). Set the
0d80: 20 76 61 72 69 61 62 6c 65 73 0a 20 20 20 20 23   variables.    #
0d90: 20 24 53 51 4c 28 31 29 2c 20 24 53 51 4c 28 32   $SQL(1), $SQL(2
0da0: 29 20 61 6e 64 20 24 53 51 4c 28 33 29 20 74 6f  ) and $SQL(3) to
0db0: 20 74 68 65 20 53 51 4c 20 63 6f 6d 6d 61 6e 64   the SQL command
0dc0: 73 20 75 73 65 64 20 74 6f 20 69 6d 70 6c 65 6d  s used to implem
0dd0: 65 6e 74 0a 20 20 20 20 23 20 65 61 63 68 20 6f  ent.    # each o
0de0: 70 65 72 61 74 69 6f 6e 2e 0a 20 20 20 20 23 0a  peration..    #.
0df0: 20 20 20 20 66 6f 72 20 7b 73 65 74 20 69 69 20      for {set ii 
0e00: 31 7d 20 7b 24 69 69 20 3c 3d 20 33 7d 20 7b 69  1} {$ii <= 3} {i
0e10: 6e 63 72 20 69 69 7d 20 7b 0a 20 20 20 20 20 20  ncr ii} {.      
0e20: 66 6f 72 65 61 63 68 20 7b 74 62 6c 20 64 61 74  foreach {tbl dat
0e30: 61 62 61 73 65 7d 20 5b 73 65 6c 65 63 74 5f 6f  abase} [select_o
0e40: 6e 65 20 7b 74 31 20 6d 61 69 6e 7d 20 7b 74 32  ne {t1 main} {t2
0e50: 20 61 75 78 32 7d 20 7b 74 33 20 61 75 78 33 7d   aux2} {t3 aux3}
0e60: 5d 20 7b 7d 0a 0a 20 20 20 20 20 20 73 65 74 20  ] {}..      set 
0e70: 53 51 4c 28 24 69 69 29 20 5b 73 74 72 69 6e 67  SQL($ii) [string
0e80: 20 6d 61 70 20 5b 6c 69 73 74 20 78 78 78 20 24   map [list xxx $
0e90: 74 62 6c 20 79 79 79 20 24 64 61 74 61 62 61 73  tbl yyy $databas
0ea0: 65 5d 20 5b 73 65 6c 65 63 74 5f 6f 6e 65 20 7b  e] [select_one {
0eb0: 0a 20 20 20 20 20 20 20 20 20 20 20 20 53 45 4c  .            SEL
0ec0: 45 43 54 20 0a 20 20 20 20 20 20 20 20 20 20 20  ECT .           
0ed0: 20 20 20 28 53 45 4c 45 43 54 20 62 20 46 52 4f     (SELECT b FRO
0ee0: 4d 20 78 78 78 20 57 48 45 52 45 20 61 3d 28 53  M xxx WHERE a=(S
0ef0: 45 4c 45 43 54 20 6d 61 78 28 61 29 20 46 52 4f  ELECT max(a) FRO
0f00: 4d 20 78 78 78 29 29 3d 3d 74 6f 74 61 6c 28 61  M xxx))==total(a
0f10: 29 20 0a 20 20 20 20 20 20 20 20 20 20 20 20 20  ) .             
0f20: 20 46 52 4f 4d 20 78 78 78 20 57 48 45 52 45 20   FROM xxx WHERE 
0f30: 61 21 3d 28 53 45 4c 45 43 54 20 6d 61 78 28 61  a!=(SELECT max(a
0f40: 29 20 46 52 4f 4d 20 78 78 78 29 3b 0a 20 20 20  ) FROM xxx);.   
0f50: 20 20 20 7d 20 7b 0a 20 20 20 20 20 20 20 20 20     } {.         
0f60: 20 20 20 44 45 4c 45 54 45 20 46 52 4f 4d 20 78     DELETE FROM x
0f70: 78 78 20 57 48 45 52 45 20 61 3c 28 53 45 4c 45  xx WHERE a<(SELE
0f80: 43 54 20 6d 61 78 28 61 29 2d 31 30 30 20 46 52  CT max(a)-100 FR
0f90: 4f 4d 20 78 78 78 29 3b 0a 20 20 20 20 20 20 20  OM xxx);.       
0fa0: 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f       INSERT INTO
0fb0: 20 78 78 78 20 53 45 4c 45 43 54 20 4e 55 4c 4c   xxx SELECT NULL
0fc0: 2c 20 74 6f 74 61 6c 28 61 29 20 46 52 4f 4d 20  , total(a) FROM 
0fd0: 78 78 78 3b 0a 20 20 20 20 20 20 7d 20 7b 0a 20  xxx;.      } {. 
0fe0: 20 20 20 20 20 20 20 20 20 20 20 43 52 45 41 54             CREAT
0ff0: 45 20 49 4e 44 45 58 20 49 46 20 4e 4f 54 20 45  E INDEX IF NOT E
1000: 58 49 53 54 53 20 79 79 79 2e 78 78 78 5f 69 20  XISTS yyy.xxx_i 
1010: 4f 4e 20 78 78 78 28 62 29 3b 0a 20 20 20 20 20  ON xxx(b);.     
1020: 20 7d 20 7b 0a 20 20 20 20 20 20 20 20 20 20 20   } {.           
1030: 20 44 52 4f 50 20 49 4e 44 45 58 20 49 46 20 45   DROP INDEX IF E
1040: 58 49 53 54 53 20 79 79 79 2e 78 78 78 5f 69 3b  XISTS yyy.xxx_i;
1050: 0a 20 20 20 20 20 20 7d 0a 20 20 20 20 20 20 5d  .      }.      ]
1060: 5d 0a 20 20 20 20 7d 0a 0a 20 20 20 20 23 20 45  ].    }..    # E
1070: 78 65 63 75 74 65 20 74 68 65 20 53 51 4c 20 74  xecute the SQL t
1080: 72 61 6e 73 61 63 74 69 6f 6e 2e 0a 20 20 20 20  ransaction..    
1090: 23 0a 20 20 20 20 69 6e 63 72 20 6e 41 74 74 65  #.    incr nAtte
10a0: 6d 70 74 0a 20 20 20 20 73 65 74 20 72 63 20 5b  mpt.    set rc [
10b0: 63 61 74 63 68 20 7b 20 65 78 65 63 73 71 6c 5f  catch { execsql_
10c0: 62 6c 6f 63 6b 69 6e 67 20 24 3a 3a 44 42 20 22  blocking $::DB "
10d0: 0a 20 20 20 20 20 20 20 20 42 45 47 49 4e 3b 0a  .        BEGIN;.
10e0: 20 20 20 20 20 20 20 20 20 20 24 53 51 4c 28 31            $SQL(1
10f0: 29 3b 0a 20 20 20 20 20 20 20 20 20 20 24 53 51  );.          $SQ
1100: 4c 28 32 29 3b 0a 20 20 20 20 20 20 20 20 20 20  L(2);.          
1110: 24 53 51 4c 28 33 29 3b 0a 20 20 20 20 20 20 20  $SQL(3);.       
1120: 20 43 4f 4d 4d 49 54 3b 0a 20 20 20 20 20 20 22   COMMIT;.      "
1130: 0a 20 20 20 20 7d 20 6d 73 67 5d 0a 0a 20 20 20  .    } msg]..   
1140: 20 69 66 20 7b 24 72 63 20 26 26 20 5b 73 74 72   if {$rc && [str
1150: 69 6e 67 20 6d 61 74 63 68 20 22 53 51 4c 49 54  ing match "SQLIT
1160: 45 5f 4c 4f 43 4b 45 44 2a 22 20 24 6d 73 67 5d  E_LOCKED*" $msg]
1170: 0a 20 20 20 20 20 20 20 20 20 20 20 20 7c 7c 20  .            || 
1180: 5b 73 74 72 69 6e 67 20 6d 61 74 63 68 20 22 53  [string match "S
1190: 51 4c 49 54 45 5f 53 43 48 45 4d 41 2a 22 20 24  QLITE_SCHEMA*" $
11a0: 6d 73 67 5d 0a 20 20 20 20 7d 20 7b 0a 20 20 20  msg].    } {.   
11b0: 20 20 20 23 20 48 69 74 20 61 6e 20 53 51 4c 49     # Hit an SQLI
11c0: 54 45 5f 4c 4f 43 4b 45 44 20 65 72 72 6f 72 2e  TE_LOCKED error.
11d0: 20 52 6f 6c 6c 62 61 63 6b 20 74 68 65 20 63 75   Rollback the cu
11e0: 72 72 65 6e 74 20 74 72 61 6e 73 61 63 74 69 6f  rrent transactio
11f0: 6e 2e 0a 20 20 20 20 20 20 73 65 74 20 72 63 20  n..      set rc 
1200: 5b 63 61 74 63 68 20 7b 20 65 78 65 63 73 71 6c  [catch { execsql
1210: 5f 62 6c 6f 63 6b 69 6e 67 20 24 3a 3a 44 42 20  _blocking $::DB 
1220: 52 4f 4c 4c 42 41 43 4b 20 7d 20 6d 73 67 5d 0a  ROLLBACK } msg].
1230: 20 20 20 20 20 20 69 66 20 7b 24 72 63 20 26 26        if {$rc &&
1240: 20 5b 73 74 72 69 6e 67 20 6d 61 74 63 68 20 22   [string match "
1250: 53 51 4c 49 54 45 5f 4c 4f 43 4b 45 44 2a 22 20  SQLITE_LOCKED*" 
1260: 24 6d 73 67 5d 7d 20 7b 0a 20 20 20 20 20 20 20  $msg]} {.       
1270: 20 73 71 6c 69 74 65 33 5f 63 6c 6f 73 65 20 24   sqlite3_close $
1280: 3a 3a 44 42 0a 20 20 20 20 20 20 20 20 6f 70 65  ::DB.        ope
1290: 6e 64 62 0a 20 20 20 20 20 20 7d 20 0a 20 20 20  ndb.      } .   
12a0: 20 7d 20 65 6c 73 65 69 66 20 7b 24 72 63 7d 20   } elseif {$rc} 
12b0: 7b 0a 20 20 20 20 20 20 23 20 48 69 74 20 73 6f  {.      # Hit so
12c0: 6d 65 20 6f 74 68 65 72 20 6b 69 6e 64 20 6f 66  me other kind of
12d0: 20 65 72 72 6f 72 2e 20 54 68 69 73 20 69 73 20   error. This is 
12e0: 61 20 6d 61 6c 66 75 6e 63 74 69 6f 6e 2e 0a 20  a malfunction.. 
12f0: 20 20 20 20 20 65 72 72 6f 72 20 24 6d 73 67 0a       error $msg.
1300: 20 20 20 20 7d 20 65 6c 73 65 20 7b 0a 20 20 20      } else {.   
1310: 20 20 20 23 20 4e 6f 20 65 72 72 6f 72 20 6f 63     # No error oc
1320: 63 75 72 72 65 64 2e 20 43 68 65 63 6b 20 74 68  curred. Check th
1330: 61 74 20 61 6e 79 20 53 45 4c 45 43 54 20 73 74  at any SELECT st
1340: 61 74 65 6d 65 6e 74 73 20 69 6e 20 74 68 65 20  atements in the 
1350: 74 72 61 6e 73 61 63 74 69 6f 6e 0a 20 20 20 20  transaction.    
1360: 20 20 23 20 72 65 74 75 72 6e 65 64 20 22 31 22    # returned "1"
1370: 2e 20 4f 74 68 65 72 77 69 73 65 2c 20 74 68 65  . Otherwise, the
1380: 20 69 6e 76 61 72 69 61 6e 74 20 77 61 73 20 66   invariant was f
1390: 61 6c 73 65 2c 20 69 6e 64 69 63 61 74 69 6e 67  alse, indicating
13a0: 20 74 68 61 74 0a 20 20 20 20 20 20 23 20 73 6f   that.      # so
13b0: 6d 65 20 6d 61 6c 66 75 6e 63 74 69 6f 6e 20 68  me malfunction h
13c0: 61 73 20 6f 63 63 75 72 72 65 64 2e 0a 20 20 20  as occurred..   
13d0: 20 20 20 66 6f 72 65 61 63 68 20 72 20 24 6d 73     foreach r $ms
13e0: 67 20 7b 20 69 66 20 7b 24 72 20 21 3d 20 31 7d  g { if {$r != 1}
13f0: 20 7b 20 70 75 74 73 20 22 49 6e 76 61 72 69 61   { puts "Invaria
1400: 6e 74 20 63 68 65 63 6b 20 66 61 69 6c 65 64 3a  nt check failed:
1410: 20 24 6d 73 67 22 20 7d 20 7d 0a 20 20 20 20 20   $msg" } }.     
1420: 20 69 6e 63 72 20 6e 4f 70 0a 20 20 20 20 7d 0a   incr nOp.    }.
1430: 20 20 7d 0a 0a 20 20 23 20 43 6c 6f 73 65 20 74    }..  # Close t
1440: 68 65 20 64 61 74 61 62 61 73 65 20 63 6f 6e 6e  he database conn
1450: 65 63 74 69 6f 6e 20 61 6e 64 20 72 65 74 75 72  ection and retur
1460: 6e 20 30 2e 0a 20 20 23 0a 20 20 73 71 6c 69 74  n 0..  #.  sqlit
1470: 65 33 5f 63 6c 6f 73 65 20 24 3a 3a 44 42 0a 20  e3_close $::DB. 
1480: 20 6c 69 73 74 20 24 6e 4f 70 20 24 6e 41 74 74   list $nOp $nAtt
1490: 65 6d 70 74 0a 7d 0a 0a 66 6f 72 65 61 63 68 20  empt.}..foreach 
14a0: 7b 69 54 65 73 74 20 78 53 74 65 70 20 78 50 72  {iTest xStep xPr
14b0: 65 70 61 72 65 7d 20 7b 0a 20 20 31 20 73 71 6c  epare} {.  1 sql
14c0: 69 74 65 33 5f 62 6c 6f 63 6b 69 6e 67 5f 73 74  ite3_blocking_st
14d0: 65 70 20 73 71 6c 69 74 65 33 5f 62 6c 6f 63 6b  ep sqlite3_block
14e0: 69 6e 67 5f 70 72 65 70 61 72 65 5f 76 32 0a 20  ing_prepare_v2. 
14f0: 20 32 20 73 71 6c 69 74 65 33 5f 73 74 65 70 20   2 sqlite3_step 
1500: 20 20 20 20 20 20 20 20 20 73 71 6c 69 74 65 33           sqlite3
1510: 5f 6e 6f 6e 62 6c 6f 63 6b 69 6e 67 5f 70 72 65  _nonblocking_pre
1520: 70 61 72 65 5f 76 32 0a 7d 20 7b 0a 20 20 66 6f  pare_v2.} {.  fo
1530: 72 63 65 64 65 6c 65 74 65 20 74 65 73 74 2e 64  rcedelete test.d
1540: 62 20 74 65 73 74 32 2e 64 62 20 74 65 73 74 33  b test2.db test3
1550: 2e 64 62 0a 0a 20 20 73 65 74 20 54 68 72 65 61  .db..  set Threa
1560: 64 53 65 74 75 70 20 22 73 65 74 20 78 53 74 65  dSetup "set xSte
1570: 70 20 24 78 53 74 65 70 3b 73 65 74 20 78 50 72  p $xStep;set xPr
1580: 65 70 61 72 65 20 24 78 50 72 65 70 61 72 65 3b  epare $xPrepare;
1590: 73 65 74 20 6e 53 65 63 6f 6e 64 20 24 6e 53 65  set nSecond $nSe
15a0: 63 6f 6e 64 22 0a 0a 20 20 23 20 53 65 74 20 75  cond"..  # Set u
15b0: 70 20 74 68 65 20 64 61 74 61 62 61 73 65 20 73  p the database s
15c0: 63 68 65 6d 61 20 75 73 65 64 20 62 79 20 74 68  chema used by th
15d0: 69 73 20 74 65 73 74 2e 20 45 61 63 68 20 74 68  is test. Each th
15e0: 72 65 61 64 20 6f 70 65 6e 73 20 66 69 6c 65 0a  read opens file.
15f0: 20 20 23 20 74 65 73 74 2e 64 62 20 61 73 20 74    # test.db as t
1600: 68 65 20 6d 61 69 6e 20 64 61 74 61 62 61 73 65  he main database
1610: 2c 20 74 68 65 6e 20 61 74 74 61 63 68 65 73 20  , then attaches 
1620: 66 69 6c 65 73 20 74 65 73 74 32 2e 64 62 20 61  files test2.db a
1630: 6e 64 20 74 65 73 74 33 2e 64 62 0a 20 20 23 20  nd test3.db.  # 
1640: 61 73 20 61 75 78 69 6c 6c 61 72 79 20 64 61 74  as auxillary dat
1650: 61 62 61 73 65 73 2e 20 45 61 63 68 20 66 69 6c  abases. Each fil
1660: 65 20 63 6f 6e 74 61 69 6e 73 20 61 20 73 69 6e  e contains a sin
1670: 67 6c 65 20 74 61 62 6c 65 20 28 74 31 2c 20 74  gle table (t1, t
1680: 32 20 61 6e 64 20 74 33 2c 20 69 6e 0a 20 20 23  2 and t3, in.  #
1690: 20 66 69 6c 65 73 20 74 65 73 74 2e 64 62 2c 20   files test.db, 
16a0: 74 65 73 74 32 2e 64 62 20 61 6e 64 20 74 65 73  test2.db and tes
16b0: 74 33 2e 64 62 2c 20 72 65 73 70 65 63 74 69 76  t3.db, respectiv
16c0: 65 6c 79 29 2e 20 0a 20 20 23 0a 20 20 64 6f 5f  ely). .  #.  do_
16d0: 74 65 73 74 20 6e 6f 74 69 66 79 32 2d 24 69 54  test notify2-$iT
16e0: 65 73 74 2e 31 2e 31 20 7b 0a 20 20 20 20 73 71  est.1.1 {.    sq
16f0: 6c 69 74 65 33 20 64 62 20 74 65 73 74 2e 64 62  lite3 db test.db
1700: 0a 20 20 20 20 65 78 65 63 73 71 6c 20 7b 0a 20  .    execsql {. 
1710: 20 20 20 20 20 41 54 54 41 43 48 20 27 74 65 73       ATTACH 'tes
1720: 74 32 2e 64 62 27 20 41 53 20 61 75 78 32 3b 0a  t2.db' AS aux2;.
1730: 20 20 20 20 20 20 41 54 54 41 43 48 20 27 74 65        ATTACH 'te
1740: 73 74 33 2e 64 62 27 20 41 53 20 61 75 78 33 3b  st3.db' AS aux3;
1750: 0a 20 20 20 20 20 20 43 52 45 41 54 45 20 54 41  .      CREATE TA
1760: 42 4c 45 20 6d 61 69 6e 2e 74 31 28 61 20 49 4e  BLE main.t1(a IN
1770: 54 45 47 45 52 20 50 52 49 4d 41 52 59 20 4b 45  TEGER PRIMARY KE
1780: 59 2c 20 62 29 3b 0a 20 20 20 20 20 20 43 52 45  Y, b);.      CRE
1790: 41 54 45 20 54 41 42 4c 45 20 61 75 78 32 2e 74  ATE TABLE aux2.t
17a0: 32 28 61 20 49 4e 54 45 47 45 52 20 50 52 49 4d  2(a INTEGER PRIM
17b0: 41 52 59 20 4b 45 59 2c 20 62 29 3b 0a 20 20 20  ARY KEY, b);.   
17c0: 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20     CREATE TABLE 
17d0: 61 75 78 33 2e 74 33 28 61 20 49 4e 54 45 47 45  aux3.t3(a INTEGE
17e0: 52 20 50 52 49 4d 41 52 59 20 4b 45 59 2c 20 62  R PRIMARY KEY, b
17f0: 29 3b 0a 20 20 20 20 20 20 49 4e 53 45 52 54 20  );.      INSERT 
1800: 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20 4e  INTO t1 SELECT N
1810: 55 4c 4c 2c 20 30 3b 0a 20 20 20 20 20 20 49 4e  ULL, 0;.      IN
1820: 53 45 52 54 20 49 4e 54 4f 20 74 32 20 53 45 4c  SERT INTO t2 SEL
1830: 45 43 54 20 4e 55 4c 4c 2c 20 30 3b 0a 20 20 20  ECT NULL, 0;.   
1840: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
1850: 33 20 53 45 4c 45 43 54 20 4e 55 4c 4c 2c 20 30  3 SELECT NULL, 0
1860: 3b 0a 20 20 20 20 7d 0a 20 20 7d 20 7b 7d 0a 20  ;.    }.  } {}. 
1870: 20 64 6f 5f 74 65 73 74 20 6e 6f 74 69 66 79 32   do_test notify2
1880: 2d 24 69 54 65 73 74 2e 31 2e 32 20 7b 0a 20 20  -$iTest.1.2 {.  
1890: 20 20 64 62 20 63 6c 6f 73 65 0a 20 20 7d 20 7b    db close.  } {
18a0: 7d 0a 0a 0a 20 20 23 20 4c 61 75 6e 63 68 20 24  }...  # Launch $
18b0: 6e 54 68 72 65 61 64 20 74 68 72 65 61 64 73 2e  nThread threads.
18c0: 20 54 68 65 6e 20 77 61 69 74 20 66 6f 72 20 74   Then wait for t
18d0: 68 65 6d 20 74 6f 20 66 69 6e 69 73 68 2e 0a 20  hem to finish.. 
18e0: 20 23 0a 20 20 70 75 74 73 20 22 52 75 6e 6e 69   #.  puts "Runni
18f0: 6e 67 20 24 78 53 74 65 70 20 74 65 73 74 20 66  ng $xStep test f
1900: 6f 72 20 24 6e 53 65 63 6f 6e 64 20 73 65 63 6f  or $nSecond seco
1910: 6e 64 73 22 0a 20 20 75 6e 73 65 74 20 2d 6e 6f  nds".  unset -no
1920: 63 6f 6d 70 6c 61 69 6e 20 66 69 6e 69 73 68 65  complain finishe
1930: 64 0a 20 20 66 6f 72 20 7b 73 65 74 20 69 69 20  d.  for {set ii 
1940: 30 7d 20 7b 24 69 69 20 3c 20 24 6e 54 68 72 65  0} {$ii < $nThre
1950: 61 64 7d 20 7b 69 6e 63 72 20 69 69 7d 20 7b 0a  ad} {incr ii} {.
1960: 20 20 20 20 74 68 72 65 61 64 5f 73 70 61 77 6e      thread_spawn
1970: 20 66 69 6e 69 73 68 65 64 28 24 69 69 29 20 24   finished($ii) $
1980: 54 68 72 65 61 64 53 65 74 75 70 20 24 54 68 72  ThreadSetup $Thr
1990: 65 61 64 50 72 6f 67 72 61 6d 0a 20 20 7d 0a 20  eadProgram.  }. 
19a0: 20 66 6f 72 20 7b 73 65 74 20 69 69 20 30 7d 20   for {set ii 0} 
19b0: 7b 24 69 69 20 3c 20 24 6e 54 68 72 65 61 64 7d  {$ii < $nThread}
19c0: 20 7b 69 6e 63 72 20 69 69 7d 20 7b 0a 20 20 20   {incr ii} {.   
19d0: 20 64 6f 5f 74 65 73 74 20 6e 6f 74 69 66 79 32   do_test notify2
19e0: 2d 24 69 54 65 73 74 2e 32 2e 24 69 69 20 7b 0a  -$iTest.2.$ii {.
19f0: 20 20 20 20 20 20 69 66 20 7b 21 5b 69 6e 66 6f        if {![info
1a00: 20 65 78 69 73 74 73 20 66 69 6e 69 73 68 65 64   exists finished
1a10: 28 24 69 69 29 5d 7d 20 7b 20 76 77 61 69 74 20  ($ii)]} { vwait 
1a20: 66 69 6e 69 73 68 65 64 28 24 69 69 29 20 7d 0a  finished($ii) }.
1a30: 20 20 20 20 20 20 69 6e 63 72 20 61 6e 53 75 63        incr anSuc
1a40: 63 65 73 73 28 24 78 53 74 65 70 29 20 5b 6c 69  cess($xStep) [li
1a50: 6e 64 65 78 20 24 66 69 6e 69 73 68 65 64 28 24  ndex $finished($
1a60: 69 69 29 20 30 5d 0a 20 20 20 20 20 20 69 6e 63  ii) 0].      inc
1a70: 72 20 61 6e 41 74 74 65 6d 70 74 28 24 78 53 74  r anAttempt($xSt
1a80: 65 70 29 20 5b 6c 69 6e 64 65 78 20 24 66 69 6e  ep) [lindex $fin
1a90: 69 73 68 65 64 28 24 69 69 29 20 31 5d 0a 20 20  ished($ii) 1].  
1aa0: 20 20 20 20 65 78 70 72 20 30 0a 20 20 20 20 7d      expr 0.    }
1ab0: 20 7b 30 7d 0a 20 20 7d 0a 0a 20 20 23 20 43 6f   {0}.  }..  # Co
1ac0: 75 6e 74 20 74 68 65 20 74 6f 74 61 6c 20 6e 75  unt the total nu
1ad0: 6d 62 65 72 20 6f 66 20 73 75 63 63 65 73 66 75  mber of succesfu
1ae0: 6c 20 77 72 69 74 65 73 2e 0a 20 20 64 6f 5f 74  l writes..  do_t
1af0: 65 73 74 20 6e 6f 74 69 66 79 32 2d 24 69 54 65  est notify2-$iTe
1b00: 73 74 2e 33 2e 31 20 7b 0a 20 20 20 20 73 71 6c  st.3.1 {.    sql
1b10: 69 74 65 33 20 64 62 20 74 65 73 74 2e 64 62 0a  ite3 db test.db.
1b20: 20 20 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20      execsql {.  
1b30: 20 20 20 20 41 54 54 41 43 48 20 27 74 65 73 74      ATTACH 'test
1b40: 32 2e 64 62 27 20 41 53 20 61 75 78 32 3b 0a 20  2.db' AS aux2;. 
1b50: 20 20 20 20 20 41 54 54 41 43 48 20 27 74 65 73       ATTACH 'tes
1b60: 74 33 2e 64 62 27 20 41 53 20 61 75 78 33 3b 0a  t3.db' AS aux3;.
1b70: 20 20 20 20 7d 0a 20 20 20 20 73 65 74 20 61 6e      }.    set an
1b80: 57 72 69 74 65 28 24 78 53 74 65 70 29 20 5b 65  Write($xStep) [e
1b90: 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 20 20 53  xecsql {.      S
1ba0: 45 4c 45 43 54 20 28 53 45 4c 45 43 54 20 6d 61  ELECT (SELECT ma
1bb0: 78 28 61 29 20 46 52 4f 4d 20 74 31 29 0a 20 20  x(a) FROM t1).  
1bc0: 20 20 20 20 20 20 20 20 20 2b 20 28 53 45 4c 45           + (SELE
1bd0: 43 54 20 6d 61 78 28 61 29 20 46 52 4f 4d 20 74  CT max(a) FROM t
1be0: 32 29 0a 20 20 20 20 20 20 20 20 20 20 20 2b 20  2).           + 
1bf0: 28 53 45 4c 45 43 54 20 6d 61 78 28 61 29 20 46  (SELECT max(a) F
1c00: 52 4f 4d 20 74 33 29 0a 20 20 20 20 7d 5d 0a 20  ROM t3).    }]. 
1c10: 20 20 20 64 62 20 63 6c 6f 73 65 0a 20 20 7d 20     db close.  } 
1c20: 7b 7d 0a 7d 0a 0a 23 20 54 68 65 20 66 6f 6c 6c  {}.}..# The foll
1c30: 6f 77 69 6e 67 20 74 65 73 74 73 20 63 68 65 63  owing tests chec
1c40: 6b 73 20 74 6f 20 6d 61 6b 65 20 73 75 72 65 20  ks to make sure 
1c50: 73 71 6c 69 74 65 33 5f 62 6c 6f 63 6b 69 6e 67  sqlite3_blocking
1c60: 5f 73 74 65 70 28 29 20 69 73 0a 23 20 66 61 73  _step() is.# fas
1c70: 74 65 72 20 74 68 61 6e 20 73 71 6c 69 74 65 33  ter than sqlite3
1c80: 5f 73 74 65 70 28 29 2e 20 22 46 61 73 74 65 72  _step(). "Faster
1c90: 22 20 69 6e 20 74 68 69 73 20 63 61 73 65 20 6d  " in this case m
1ca0: 65 61 6e 73 20 75 73 65 73 20 66 65 77 65 72 0a  eans uses fewer.
1cb0: 23 20 43 50 55 20 63 79 63 6c 65 73 2e 20 54 68  # CPU cycles. Th
1cc0: 69 73 20 69 73 20 6e 6f 74 20 61 6c 77 61 79 73  is is not always
1cd0: 20 74 68 65 20 73 61 6d 65 20 61 73 20 66 61 73   the same as fas
1ce0: 74 65 72 20 69 6e 20 77 61 6c 6c 2d 63 6c 6f 63  ter in wall-cloc
1cf0: 6b 20 74 69 6d 65 20 0a 23 20 66 6f 72 20 74 68  k time .# for th
1d00: 69 73 20 74 79 70 65 20 6f 66 20 74 65 73 74 2e  is type of test.
1d10: 20 54 68 65 20 6e 75 6d 62 65 72 20 6f 66 20 43   The number of C
1d20: 50 55 20 63 79 63 6c 65 73 20 70 65 72 20 74 72  PU cycles per tr
1d30: 61 6e 73 61 63 74 69 6f 6e 20 69 73 20 0a 23 20  ansaction is .# 
1d40: 72 6f 75 67 68 6c 79 20 70 72 6f 70 6f 72 74 69  roughly proporti
1d50: 6f 6e 61 6c 20 74 6f 20 74 68 65 20 6e 75 6d 62  onal to the numb
1d60: 65 72 20 6f 66 20 61 74 74 65 6d 70 74 73 20 6d  er of attempts m
1d70: 61 64 65 20 28 69 2e 65 2e 20 6f 6e 65 20 70 6c  ade (i.e. one pl
1d80: 75 73 20 74 68 65 20 0a 23 20 6e 75 6d 62 65 72  us the .# number
1d90: 20 6f 66 20 53 51 4c 49 54 45 5f 42 55 53 59 20   of SQLITE_BUSY 
1da0: 6f 72 20 53 51 4c 49 54 45 5f 4c 4f 43 4b 45 44  or SQLITE_LOCKED
1db0: 20 65 72 72 6f 72 73 20 74 68 61 74 20 72 65 71   errors that req
1dc0: 75 69 72 65 20 74 68 65 20 74 72 61 6e 73 61 63  uire the transac
1dd0: 74 69 6f 6e 20 0a 23 20 74 6f 20 62 65 20 72 65  tion .# to be re
1de0: 74 72 69 65 64 29 2e 20 53 6f 20 74 68 69 73 20  tried). So this 
1df0: 74 65 73 74 20 6a 75 73 74 20 6d 65 61 73 75 72  test just measur
1e00: 65 73 20 74 68 61 74 20 61 20 67 72 65 61 74 65  es that a greate
1e10: 72 20 70 65 72 63 65 6e 74 61 67 65 20 6f 66 0a  r percentage of.
1e20: 23 20 74 72 61 6e 73 61 63 74 69 6f 6e 73 20 61  # transactions a
1e30: 74 74 65 6d 70 74 65 64 20 75 73 69 6e 67 20 62  ttempted using b
1e40: 6c 6f 63 6b 69 6e 67 5f 73 74 65 70 28 29 20 73  locking_step() s
1e50: 75 63 63 65 65 64 2e 0a 23 0a 23 20 54 68 65 20  ucceed..#.# The 
1e60: 62 6c 6f 63 6b 69 6e 67 5f 73 74 65 70 28 29 20  blocking_step() 
1e70: 66 75 6e 63 74 69 6f 6e 20 69 73 20 61 6c 6d 6f  function is almo
1e80: 73 74 20 61 6c 77 61 79 73 20 66 61 73 74 65 72  st always faster
1e90: 20 6f 6e 20 6d 75 6c 74 69 2d 63 6f 72 65 20 61   on multi-core a
1ea0: 6e 64 20 69 73 0a 23 20 75 73 75 61 6c 6c 79 20  nd is.# usually 
1eb0: 66 61 73 74 65 72 20 6f 6e 20 73 69 6e 67 6c 65  faster on single
1ec0: 2d 63 6f 72 65 2e 20 20 42 75 74 20 73 6f 6d 65  -core.  But some
1ed0: 74 69 6d 65 73 2c 20 62 79 20 63 68 61 6e 63 65  times, by chance
1ee0: 2c 20 73 74 65 70 28 29 20 77 69 6c 6c 20 62 65  , step() will be
1ef0: 0a 23 20 66 61 73 74 65 72 20 6f 6e 20 61 20 73  .# faster on a s
1f00: 69 6e 67 6c 65 20 63 6f 72 65 2c 20 69 6e 20 77  ingle core, in w
1f10: 68 69 63 68 20 63 61 73 65 20 74 68 65 0a 23 20  hich case the.# 
1f20: 66 6f 6c 6c 6f 77 69 6e 67 20 74 65 73 74 20 77  following test w
1f30: 69 6c 6c 20 66 61 69 6c 2e 0a 23 0a 70 75 74 73  ill fail..#.puts
1f40: 20 22 54 68 65 20 66 6f 6c 6c 6f 77 69 6e 67 20   "The following 
1f50: 74 65 73 74 20 73 65 65 6b 73 20 74 6f 20 64 65  test seeks to de
1f60: 6d 6f 6e 73 74 72 61 74 65 20 74 68 61 74 20 74  monstrate that t
1f70: 68 65 20 73 71 6c 69 74 65 33 5f 75 6e 6c 6f 63  he sqlite3_unloc
1f80: 6b 5f 6e 6f 74 69 66 79 28 29 22 0a 70 75 74 73  k_notify()".puts
1f90: 20 22 69 6e 74 65 72 66 61 63 65 20 68 65 6c 70   "interface help
1fa0: 73 20 6d 75 6c 74 69 2d 63 6f 72 65 20 73 79 73  s multi-core sys
1fb0: 74 65 6d 73 20 74 6f 20 72 75 6e 20 6d 6f 72 65  tems to run more
1fc0: 20 65 66 66 69 63 69 65 6e 74 6c 79 2e 20 20 54   efficiently.  T
1fd0: 68 69 73 20 74 65 73 74 22 0a 70 75 74 73 20 22  his test".puts "
1fe0: 73 6f 6d 65 74 69 6d 65 73 20 66 61 69 6c 73 20  sometimes fails 
1ff0: 6f 6e 20 73 69 6e 67 6c 65 2d 63 6f 72 65 20 6d  on single-core m
2000: 61 63 68 69 6e 65 73 2e 22 0a 70 75 74 73 20 5b  achines.".puts [
2010: 61 72 72 61 79 20 67 65 74 20 61 6e 57 72 69 74  array get anWrit
2020: 65 5d 0a 64 6f 5f 74 65 73 74 20 6e 6f 74 69 66  e].do_test notif
2030: 79 32 2d 33 20 7b 0a 20 20 73 65 74 20 62 6c 6f  y2-3 {.  set blo
2040: 63 6b 69 6e 67 20 5b 65 78 70 72 20 7b 0a 20 20  cking [expr {.  
2050: 20 20 64 6f 75 62 6c 65 28 24 61 6e 53 75 63 63    double($anSucc
2060: 65 73 73 28 73 71 6c 69 74 65 33 5f 62 6c 6f 63  ess(sqlite3_bloc
2070: 6b 69 6e 67 5f 73 74 65 70 29 29 20 2f 0a 20 20  king_step)) /.  
2080: 20 20 64 6f 75 62 6c 65 28 24 61 6e 41 74 74 65    double($anAtte
2090: 6d 70 74 28 73 71 6c 69 74 65 33 5f 62 6c 6f 63  mpt(sqlite3_bloc
20a0: 6b 69 6e 67 5f 73 74 65 70 29 29 20 0a 20 20 7d  king_step)) .  }
20b0: 5d 0a 20 20 73 65 74 20 6e 6f 6e 20 5b 65 78 70  ].  set non [exp
20c0: 72 20 7b 0a 20 20 20 20 64 6f 75 62 6c 65 28 24  r {.    double($
20d0: 61 6e 53 75 63 63 65 73 73 28 73 71 6c 69 74 65  anSuccess(sqlite
20e0: 33 5f 73 74 65 70 29 29 20 2f 0a 20 20 20 20 64  3_step)) /.    d
20f0: 6f 75 62 6c 65 28 24 61 6e 41 74 74 65 6d 70 74  ouble($anAttempt
2100: 28 73 71 6c 69 74 65 33 5f 73 74 65 70 29 29 20  (sqlite3_step)) 
2110: 0a 20 20 7d 5d 0a 20 20 70 75 74 73 20 2d 6e 6f  .  }].  puts -no
2120: 6e 65 77 6c 69 6e 65 20 5b 66 6f 72 6d 61 74 20  newline [format 
2130: 22 20 62 6c 6f 63 6b 69 6e 67 3a 20 25 2e 31 66  " blocking: %.1f
2140: 25 25 20 6e 6f 6e 2d 62 6c 6f 63 6b 69 6e 67 20  %% non-blocking 
2150: 25 2e 31 66 25 25 20 2e 2e 2e 22 20 5c 0a 20 20  %.1f%% ..." \.  
2160: 20 20 5b 65 78 70 72 20 24 62 6c 6f 63 6b 69 6e    [expr $blockin
2170: 67 2a 31 30 30 2e 30 5d 20 5b 65 78 70 72 20 24  g*100.0] [expr $
2180: 6e 6f 6e 2a 31 30 30 2e 30 5d 5d 0a 0a 20 20 65  non*100.0]]..  e
2190: 78 70 72 20 7b 24 62 6c 6f 63 6b 69 6e 67 20 3e  xpr {$blocking >
21a0: 20 24 6e 6f 6e 7d 0a 7d 20 7b 31 7d 0a 0a 73 71   $non}.} {1}..sq
21b0: 6c 69 74 65 33 5f 65 6e 61 62 6c 65 5f 73 68 61  lite3_enable_sha
21c0: 72 65 64 5f 63 61 63 68 65 20 24 3a 3a 65 6e 61  red_cache $::ena
21d0: 62 6c 65 5f 73 68 61 72 65 64 5f 63 61 63 68 65  ble_shared_cache
21e0: 0a 66 69 6e 69 73 68 5f 74 65 73 74 0a           .finish_test.