/ Hex Artifact Content
Login

Artifact 709cad2cdca0afd013f0f612363810e53f59ec53:


0000: 2f 2a 0a 2a 2a 20 32 30 30 37 20 41 75 67 75 73  /*.** 2007 Augus
0010: 74 20 32 37 0a 2a 2a 0a 2a 2a 20 54 68 65 20 61  t 27.**.** The a
0020: 75 74 68 6f 72 20 64 69 73 63 6c 61 69 6d 73 20  uthor disclaims 
0030: 63 6f 70 79 72 69 67 68 74 20 74 6f 20 74 68 69  copyright to thi
0040: 73 20 73 6f 75 72 63 65 20 63 6f 64 65 2e 20 20  s source code.  
0050: 49 6e 20 70 6c 61 63 65 20 6f 66 0a 2a 2a 20 61  In place of.** a
0060: 20 6c 65 67 61 6c 20 6e 6f 74 69 63 65 2c 20 68   legal notice, h
0070: 65 72 65 20 69 73 20 61 20 62 6c 65 73 73 69 6e  ere is a blessin
0080: 67 3a 0a 2a 2a 0a 2a 2a 20 20 20 20 4d 61 79 20  g:.**.**    May 
0090: 79 6f 75 20 64 6f 20 67 6f 6f 64 20 61 6e 64 20  you do good and 
00a0: 6e 6f 74 20 65 76 69 6c 2e 0a 2a 2a 20 20 20 20  not evil..**    
00b0: 4d 61 79 20 79 6f 75 20 66 69 6e 64 20 66 6f 72  May you find for
00c0: 67 69 76 65 6e 65 73 73 20 66 6f 72 20 79 6f 75  giveness for you
00d0: 72 73 65 6c 66 20 61 6e 64 20 66 6f 72 67 69 76  rself and forgiv
00e0: 65 20 6f 74 68 65 72 73 2e 0a 2a 2a 20 20 20 20  e others..**    
00f0: 4d 61 79 20 79 6f 75 20 73 68 61 72 65 20 66 72  May you share fr
0100: 65 65 6c 79 2c 20 6e 65 76 65 72 20 74 61 6b 69  eely, never taki
0110: 6e 67 20 6d 6f 72 65 20 74 68 61 6e 20 79 6f 75  ng more than you
0120: 20 67 69 76 65 2e 0a 2a 2a 0a 2a 2a 2a 2a 2a 2a   give..**.******
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 2a 2a 2a 2a 2a 2a 2a  ****************
0170: 2a 2a 2a 0a 2a 2a 0a 2a 2a 20 24 49 64 3a 20 62  ***.**.** $Id: b
0180: 74 6d 75 74 65 78 2e 63 2c 76 20 31 2e 31 30 20  tmutex.c,v 1.10 
0190: 32 30 30 38 2f 30 37 2f 31 34 20 31 39 3a 33 39  2008/07/14 19:39
01a0: 3a 31 37 20 64 72 68 20 45 78 70 20 24 0a 2a 2a  :17 drh Exp $.**
01b0: 0a 2a 2a 20 54 68 69 73 20 66 69 6c 65 20 63 6f  .** This file co
01c0: 6e 74 61 69 6e 73 20 63 6f 64 65 20 75 73 65 64  ntains code used
01d0: 20 74 6f 20 69 6d 70 6c 65 6d 65 6e 74 20 6d 75   to implement mu
01e0: 74 65 78 65 73 20 6f 6e 20 42 74 72 65 65 20 6f  texes on Btree o
01f0: 62 6a 65 63 74 73 2e 0a 2a 2a 20 54 68 69 73 20  bjects..** This 
0200: 63 6f 64 65 20 72 65 61 6c 6c 79 20 62 65 6c 6f  code really belo
0210: 6e 67 73 20 69 6e 20 62 74 72 65 65 2e 63 2e 20  ngs in btree.c. 
0220: 20 42 75 74 20 62 74 72 65 65 2e 63 20 69 73 20   But btree.c is 
0230: 67 65 74 74 69 6e 67 20 74 6f 6f 0a 2a 2a 20 62  getting too.** b
0240: 69 67 20 61 6e 64 20 77 65 20 77 61 6e 74 20 74  ig and we want t
0250: 6f 20 62 72 65 61 6b 20 69 74 20 64 6f 77 6e 20  o break it down 
0260: 73 6f 6d 65 2e 20 20 54 68 69 73 20 70 61 63 6b  some.  This pack
0270: 61 67 65 64 20 73 65 65 6d 65 64 20 6c 69 6b 65  aged seemed like
0280: 0a 2a 2a 20 61 20 67 6f 6f 64 20 62 72 65 61 6b  .** a good break
0290: 6f 75 74 2e 0a 2a 2f 0a 23 69 6e 63 6c 75 64 65  out..*/.#include
02a0: 20 22 62 74 72 65 65 49 6e 74 2e 68 22 0a 23 69   "btreeInt.h".#i
02b0: 66 20 53 51 4c 49 54 45 5f 54 48 52 45 41 44 53  f SQLITE_THREADS
02c0: 41 46 45 20 26 26 20 21 64 65 66 69 6e 65 64 28  AFE && !defined(
02d0: 53 51 4c 49 54 45 5f 4f 4d 49 54 5f 53 48 41 52  SQLITE_OMIT_SHAR
02e0: 45 44 5f 43 41 43 48 45 29 0a 0a 0a 2f 2a 0a 2a  ED_CACHE).../*.*
02f0: 2a 20 45 6e 74 65 72 20 61 20 6d 75 74 65 78 20  * Enter a mutex 
0300: 6f 6e 20 74 68 65 20 67 69 76 65 6e 20 42 54 72  on the given BTr
0310: 65 65 20 6f 62 6a 65 63 74 2e 0a 2a 2a 0a 2a 2a  ee object..**.**
0320: 20 49 66 20 74 68 65 20 6f 62 6a 65 63 74 20 69   If the object i
0330: 73 20 6e 6f 74 20 73 68 61 72 61 62 6c 65 2c 20  s not sharable, 
0340: 74 68 65 6e 20 6e 6f 20 6d 75 74 65 78 20 69 73  then no mutex is
0350: 20 65 76 65 72 20 72 65 71 75 69 72 65 64 0a 2a   ever required.*
0360: 2a 20 61 6e 64 20 74 68 69 73 20 72 6f 75 74 69  * and this routi
0370: 6e 65 20 69 73 20 61 20 6e 6f 2d 6f 70 2e 20 20  ne is a no-op.  
0380: 54 68 65 20 75 6e 64 65 72 6c 79 69 6e 67 20 6d  The underlying m
0390: 75 74 65 78 20 69 73 20 6e 6f 6e 2d 72 65 63 75  utex is non-recu
03a0: 72 73 69 76 65 2e 0a 2a 2a 20 42 75 74 20 77 65  rsive..** But we
03b0: 20 6b 65 65 70 20 61 20 72 65 66 65 72 65 6e 63   keep a referenc
03c0: 65 20 63 6f 75 6e 74 20 69 6e 20 42 74 72 65 65  e count in Btree
03d0: 2e 77 61 6e 74 54 6f 4c 6f 63 6b 20 73 6f 20 74  .wantToLock so t
03e0: 68 65 20 62 65 68 61 76 69 6f 72 0a 2a 2a 20 6f  he behavior.** o
03f0: 66 20 74 68 69 73 20 69 6e 74 65 72 66 61 63 65  f this interface
0400: 20 69 73 20 72 65 63 75 72 73 69 76 65 2e 0a 2a   is recursive..*
0410: 2a 0a 2a 2a 20 54 6f 20 61 76 6f 69 64 20 64 65  *.** To avoid de
0420: 61 64 6c 6f 63 6b 73 2c 20 6d 75 6c 74 69 70 6c  adlocks, multipl
0430: 65 20 42 74 72 65 65 73 20 61 72 65 20 6c 6f 63  e Btrees are loc
0440: 6b 65 64 20 69 6e 20 74 68 65 20 73 61 6d 65 20  ked in the same 
0450: 6f 72 64 65 72 0a 2a 2a 20 62 79 20 61 6c 6c 20  order.** by all 
0460: 64 61 74 61 62 61 73 65 20 63 6f 6e 6e 65 63 74  database connect
0470: 69 6f 6e 73 2e 20 20 54 68 65 20 70 2d 3e 70 4e  ions.  The p->pN
0480: 65 78 74 20 69 73 20 61 20 6c 69 73 74 20 6f 66  ext is a list of
0490: 20 6f 74 68 65 72 0a 2a 2a 20 42 74 72 65 65 73   other.** Btrees
04a0: 20 62 65 6c 6f 6e 67 69 6e 67 20 74 6f 20 74 68   belonging to th
04b0: 65 20 73 61 6d 65 20 64 61 74 61 62 61 73 65 20  e same database 
04c0: 63 6f 6e 6e 65 63 74 69 6f 6e 20 61 73 20 74 68  connection as th
04d0: 65 20 70 20 42 74 72 65 65 0a 2a 2a 20 77 68 69  e p Btree.** whi
04e0: 63 68 20 6e 65 65 64 20 74 6f 20 62 65 20 6c 6f  ch need to be lo
04f0: 63 6b 65 64 20 61 66 74 65 72 20 70 2e 20 20 49  cked after p.  I
0500: 66 20 77 65 20 63 61 6e 6e 6f 74 20 67 65 74 20  f we cannot get 
0510: 61 20 6c 6f 63 6b 20 6f 6e 0a 2a 2a 20 70 2c 20  a lock on.** p, 
0520: 74 68 65 6e 20 66 69 72 73 74 20 75 6e 6c 6f 63  then first unloc
0530: 6b 20 61 6c 6c 20 6f 66 20 74 68 65 20 6f 74 68  k all of the oth
0540: 65 72 73 20 6f 6e 20 70 2d 3e 70 4e 65 78 74 2c  ers on p->pNext,
0550: 20 74 68 65 6e 20 77 61 69 74 0a 2a 2a 20 66 6f   then wait.** fo
0560: 72 20 74 68 65 20 6c 6f 63 6b 20 74 6f 20 62 65  r the lock to be
0570: 63 6f 6d 65 20 61 76 61 69 6c 61 62 6c 65 20 6f  come available o
0580: 6e 20 70 2c 20 74 68 65 6e 20 72 65 6c 6f 63 6b  n p, then relock
0590: 20 61 6c 6c 20 6f 66 20 74 68 65 0a 2a 2a 20 73   all of the.** s
05a0: 75 62 73 65 71 75 65 6e 74 20 42 74 72 65 65 73  ubsequent Btrees
05b0: 20 74 68 61 74 20 64 65 73 69 72 65 20 61 20 6c   that desire a l
05c0: 6f 63 6b 2e 0a 2a 2f 0a 76 6f 69 64 20 73 71 6c  ock..*/.void sql
05d0: 69 74 65 33 42 74 72 65 65 45 6e 74 65 72 28 42  ite3BtreeEnter(B
05e0: 74 72 65 65 20 2a 70 29 7b 0a 20 20 42 74 72 65  tree *p){.  Btre
05f0: 65 20 2a 70 4c 61 74 65 72 3b 0a 0a 20 20 2f 2a  e *pLater;..  /*
0600: 20 53 6f 6d 65 20 62 61 73 69 63 20 73 61 6e 69   Some basic sani
0610: 74 79 20 63 68 65 63 6b 69 6e 67 20 6f 6e 20 74  ty checking on t
0620: 68 65 20 42 74 72 65 65 2e 20 20 54 68 65 20 6c  he Btree.  The l
0630: 69 73 74 20 6f 66 20 42 74 72 65 65 73 0a 20 20  ist of Btrees.  
0640: 2a 2a 20 63 6f 6e 6e 65 63 74 65 64 20 62 79 20  ** connected by 
0650: 70 4e 65 78 74 20 61 6e 64 20 70 50 72 65 76 20  pNext and pPrev 
0660: 73 68 6f 75 6c 64 20 62 65 20 69 6e 20 73 6f 72  should be in sor
0670: 74 65 64 20 6f 72 64 65 72 20 62 79 0a 20 20 2a  ted order by.  *
0680: 2a 20 42 74 72 65 65 2e 70 42 74 20 76 61 6c 75  * Btree.pBt valu
0690: 65 2e 20 41 6c 6c 20 65 6c 65 6d 65 6e 74 73 20  e. All elements 
06a0: 6f 66 20 74 68 65 20 6c 69 73 74 20 73 68 6f 75  of the list shou
06b0: 6c 64 20 62 65 6c 6f 6e 67 20 74 6f 0a 20 20 2a  ld belong to.  *
06c0: 2a 20 74 68 65 20 73 61 6d 65 20 63 6f 6e 6e 65  * the same conne
06d0: 63 74 69 6f 6e 2e 20 4f 6e 6c 79 20 73 68 61 72  ction. Only shar
06e0: 65 64 20 42 74 72 65 65 73 20 61 72 65 20 6f 6e  ed Btrees are on
06f0: 20 74 68 65 20 6c 69 73 74 2e 20 2a 2f 0a 20 20   the list. */.  
0700: 61 73 73 65 72 74 28 20 70 2d 3e 70 4e 65 78 74  assert( p->pNext
0710: 3d 3d 30 20 7c 7c 20 70 2d 3e 70 4e 65 78 74 2d  ==0 || p->pNext-
0720: 3e 70 42 74 3e 70 2d 3e 70 42 74 20 29 3b 0a 20  >pBt>p->pBt );. 
0730: 20 61 73 73 65 72 74 28 20 70 2d 3e 70 50 72 65   assert( p->pPre
0740: 76 3d 3d 30 20 7c 7c 20 70 2d 3e 70 50 72 65 76  v==0 || p->pPrev
0750: 2d 3e 70 42 74 3c 70 2d 3e 70 42 74 20 29 3b 0a  ->pBt<p->pBt );.
0760: 20 20 61 73 73 65 72 74 28 20 70 2d 3e 70 4e 65    assert( p->pNe
0770: 78 74 3d 3d 30 20 7c 7c 20 70 2d 3e 70 4e 65 78  xt==0 || p->pNex
0780: 74 2d 3e 64 62 3d 3d 70 2d 3e 64 62 20 29 3b 0a  t->db==p->db );.
0790: 20 20 61 73 73 65 72 74 28 20 70 2d 3e 70 50 72    assert( p->pPr
07a0: 65 76 3d 3d 30 20 7c 7c 20 70 2d 3e 70 50 72 65  ev==0 || p->pPre
07b0: 76 2d 3e 64 62 3d 3d 70 2d 3e 64 62 20 29 3b 0a  v->db==p->db );.
07c0: 20 20 61 73 73 65 72 74 28 20 70 2d 3e 73 68 61    assert( p->sha
07d0: 72 61 62 6c 65 20 7c 7c 20 28 70 2d 3e 70 4e 65  rable || (p->pNe
07e0: 78 74 3d 3d 30 20 26 26 20 70 2d 3e 70 50 72 65  xt==0 && p->pPre
07f0: 76 3d 3d 30 29 20 29 3b 0a 0a 20 20 2f 2a 20 43  v==0) );..  /* C
0800: 68 65 63 6b 20 66 6f 72 20 6c 6f 63 6b 69 6e 67  heck for locking
0810: 20 63 6f 6e 73 69 73 74 65 6e 63 79 20 2a 2f 0a   consistency */.
0820: 20 20 61 73 73 65 72 74 28 20 21 70 2d 3e 6c 6f    assert( !p->lo
0830: 63 6b 65 64 20 7c 7c 20 70 2d 3e 77 61 6e 74 54  cked || p->wantT
0840: 6f 4c 6f 63 6b 3e 30 20 29 3b 0a 20 20 61 73 73  oLock>0 );.  ass
0850: 65 72 74 28 20 70 2d 3e 73 68 61 72 61 62 6c 65  ert( p->sharable
0860: 20 7c 7c 20 70 2d 3e 77 61 6e 74 54 6f 4c 6f 63   || p->wantToLoc
0870: 6b 3d 3d 30 20 29 3b 0a 0a 20 20 2f 2a 20 57 65  k==0 );..  /* We
0880: 20 73 68 6f 75 6c 64 20 61 6c 72 65 61 64 79 20   should already 
0890: 68 6f 6c 64 20 61 20 6c 6f 63 6b 20 6f 6e 20 74  hold a lock on t
08a0: 68 65 20 64 61 74 61 62 61 73 65 20 63 6f 6e 6e  he database conn
08b0: 65 63 74 69 6f 6e 20 2a 2f 0a 20 20 61 73 73 65  ection */.  asse
08c0: 72 74 28 20 73 71 6c 69 74 65 33 5f 6d 75 74 65  rt( sqlite3_mute
08d0: 78 5f 68 65 6c 64 28 70 2d 3e 64 62 2d 3e 6d 75  x_held(p->db->mu
08e0: 74 65 78 29 20 29 3b 0a 0a 20 20 69 66 28 20 21  tex) );..  if( !
08f0: 70 2d 3e 73 68 61 72 61 62 6c 65 20 29 20 72 65  p->sharable ) re
0900: 74 75 72 6e 3b 0a 20 20 70 2d 3e 77 61 6e 74 54  turn;.  p->wantT
0910: 6f 4c 6f 63 6b 2b 2b 3b 0a 20 20 69 66 28 20 70  oLock++;.  if( p
0920: 2d 3e 6c 6f 63 6b 65 64 20 29 20 72 65 74 75 72  ->locked ) retur
0930: 6e 3b 0a 0a 23 69 66 6e 64 65 66 20 53 51 4c 49  n;..#ifndef SQLI
0940: 54 45 5f 4d 55 54 45 58 5f 4e 4f 4f 50 0a 20 20  TE_MUTEX_NOOP.  
0950: 2f 2a 20 49 6e 20 6d 6f 73 74 20 63 61 73 65 73  /* In most cases
0960: 2c 20 77 65 20 73 68 6f 75 6c 64 20 62 65 20 61  , we should be a
0970: 62 6c 65 20 74 6f 20 61 63 71 75 69 72 65 20 74  ble to acquire t
0980: 68 65 20 6c 6f 63 6b 20 77 65 0a 20 20 2a 2a 20  he lock we.  ** 
0990: 77 61 6e 74 20 77 69 74 68 6f 75 74 20 68 61 76  want without hav
09a0: 69 6e 67 20 74 6f 20 67 6f 20 74 68 72 6f 75 67  ing to go throug
09b0: 68 74 20 74 68 65 20 61 73 63 65 6e 64 69 6e 67  ht the ascending
09c0: 20 6c 6f 63 6b 0a 20 20 2a 2a 20 70 72 6f 63 65   lock.  ** proce
09d0: 64 75 72 65 20 74 68 61 74 20 66 6f 6c 6c 6f 77  dure that follow
09e0: 73 2e 20 20 4a 75 73 74 20 62 65 20 73 75 72 65  s.  Just be sure
09f0: 20 6e 6f 74 20 74 6f 20 62 6c 6f 63 6b 2e 0a 20   not to block.. 
0a00: 20 2a 2f 0a 20 20 69 66 28 20 73 71 6c 69 74 65   */.  if( sqlite
0a10: 33 5f 6d 75 74 65 78 5f 74 72 79 28 70 2d 3e 70  3_mutex_try(p->p
0a20: 42 74 2d 3e 6d 75 74 65 78 29 3d 3d 53 51 4c 49  Bt->mutex)==SQLI
0a30: 54 45 5f 4f 4b 20 29 7b 0a 20 20 20 20 70 2d 3e  TE_OK ){.    p->
0a40: 6c 6f 63 6b 65 64 20 3d 20 31 3b 0a 20 20 20 20  locked = 1;.    
0a50: 72 65 74 75 72 6e 3b 0a 20 20 7d 0a 0a 20 20 2f  return;.  }..  /
0a60: 2a 20 54 6f 20 61 76 6f 69 64 20 64 65 61 64 6c  * To avoid deadl
0a70: 6f 63 6b 2c 20 66 69 72 73 74 20 72 65 6c 65 61  ock, first relea
0a80: 73 65 20 61 6c 6c 20 6c 6f 63 6b 73 20 77 69 74  se all locks wit
0a90: 68 20 61 20 6c 61 72 67 65 72 0a 20 20 2a 2a 20  h a larger.  ** 
0aa0: 42 74 53 68 61 72 65 64 20 61 64 64 72 65 73 73  BtShared address
0ab0: 2e 20 20 54 68 65 6e 20 61 63 71 75 69 72 65 20  .  Then acquire 
0ac0: 6f 75 72 20 6c 6f 63 6b 2e 20 20 54 68 65 6e 20  our lock.  Then 
0ad0: 72 65 61 63 71 75 69 72 65 0a 20 20 2a 2a 20 74  reacquire.  ** t
0ae0: 68 65 20 6f 74 68 65 72 20 42 74 53 68 61 72 65  he other BtShare
0af0: 64 20 6c 6f 63 6b 73 20 74 68 61 74 20 77 65 20  d locks that we 
0b00: 75 73 65 64 20 74 6f 20 68 6f 6c 64 20 69 6e 20  used to hold in 
0b10: 61 73 63 65 6e 64 69 6e 67 0a 20 20 2a 2a 20 6f  ascending.  ** o
0b20: 72 64 65 72 2e 0a 20 20 2a 2f 0a 20 20 66 6f 72  rder..  */.  for
0b30: 28 70 4c 61 74 65 72 3d 70 2d 3e 70 4e 65 78 74  (pLater=p->pNext
0b40: 3b 20 70 4c 61 74 65 72 3b 20 70 4c 61 74 65 72  ; pLater; pLater
0b50: 3d 70 4c 61 74 65 72 2d 3e 70 4e 65 78 74 29 7b  =pLater->pNext){
0b60: 0a 20 20 20 20 61 73 73 65 72 74 28 20 70 4c 61  .    assert( pLa
0b70: 74 65 72 2d 3e 73 68 61 72 61 62 6c 65 20 29 3b  ter->sharable );
0b80: 0a 20 20 20 20 61 73 73 65 72 74 28 20 70 4c 61  .    assert( pLa
0b90: 74 65 72 2d 3e 70 4e 65 78 74 3d 3d 30 20 7c 7c  ter->pNext==0 ||
0ba0: 20 70 4c 61 74 65 72 2d 3e 70 4e 65 78 74 2d 3e   pLater->pNext->
0bb0: 70 42 74 3e 70 4c 61 74 65 72 2d 3e 70 42 74 20  pBt>pLater->pBt 
0bc0: 29 3b 0a 20 20 20 20 61 73 73 65 72 74 28 20 21  );.    assert( !
0bd0: 70 4c 61 74 65 72 2d 3e 6c 6f 63 6b 65 64 20 7c  pLater->locked |
0be0: 7c 20 70 4c 61 74 65 72 2d 3e 77 61 6e 74 54 6f  | pLater->wantTo
0bf0: 4c 6f 63 6b 3e 30 20 29 3b 0a 20 20 20 20 69 66  Lock>0 );.    if
0c00: 28 20 70 4c 61 74 65 72 2d 3e 6c 6f 63 6b 65 64  ( pLater->locked
0c10: 20 29 7b 0a 20 20 20 20 20 20 73 71 6c 69 74 65   ){.      sqlite
0c20: 33 5f 6d 75 74 65 78 5f 6c 65 61 76 65 28 70 4c  3_mutex_leave(pL
0c30: 61 74 65 72 2d 3e 70 42 74 2d 3e 6d 75 74 65 78  ater->pBt->mutex
0c40: 29 3b 0a 20 20 20 20 20 20 70 4c 61 74 65 72 2d  );.      pLater-
0c50: 3e 6c 6f 63 6b 65 64 20 3d 20 30 3b 0a 20 20 20  >locked = 0;.   
0c60: 20 7d 0a 20 20 7d 0a 20 20 73 71 6c 69 74 65 33   }.  }.  sqlite3
0c70: 5f 6d 75 74 65 78 5f 65 6e 74 65 72 28 70 2d 3e  _mutex_enter(p->
0c80: 70 42 74 2d 3e 6d 75 74 65 78 29 3b 0a 20 20 70  pBt->mutex);.  p
0c90: 2d 3e 6c 6f 63 6b 65 64 20 3d 20 31 3b 0a 20 20  ->locked = 1;.  
0ca0: 66 6f 72 28 70 4c 61 74 65 72 3d 70 2d 3e 70 4e  for(pLater=p->pN
0cb0: 65 78 74 3b 20 70 4c 61 74 65 72 3b 20 70 4c 61  ext; pLater; pLa
0cc0: 74 65 72 3d 70 4c 61 74 65 72 2d 3e 70 4e 65 78  ter=pLater->pNex
0cd0: 74 29 7b 0a 20 20 20 20 69 66 28 20 70 4c 61 74  t){.    if( pLat
0ce0: 65 72 2d 3e 77 61 6e 74 54 6f 4c 6f 63 6b 20 29  er->wantToLock )
0cf0: 7b 0a 20 20 20 20 20 20 73 71 6c 69 74 65 33 5f  {.      sqlite3_
0d00: 6d 75 74 65 78 5f 65 6e 74 65 72 28 70 4c 61 74  mutex_enter(pLat
0d10: 65 72 2d 3e 70 42 74 2d 3e 6d 75 74 65 78 29 3b  er->pBt->mutex);
0d20: 0a 20 20 20 20 20 20 70 4c 61 74 65 72 2d 3e 6c  .      pLater->l
0d30: 6f 63 6b 65 64 20 3d 20 31 3b 0a 20 20 20 20 7d  ocked = 1;.    }
0d40: 0a 20 20 7d 0a 23 65 6e 64 69 66 20 2f 2a 20 53  .  }.#endif /* S
0d50: 51 4c 49 54 45 5f 4d 55 54 45 58 5f 4e 4f 4f 50  QLITE_MUTEX_NOOP
0d60: 20 2a 2f 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 45 78 69   */.}../*.** Exi
0d70: 74 20 74 68 65 20 72 65 63 75 72 73 69 76 65 20  t the recursive 
0d80: 6d 75 74 65 78 20 6f 6e 20 61 20 42 74 72 65 65  mutex on a Btree
0d90: 2e 0a 2a 2f 0a 76 6f 69 64 20 73 71 6c 69 74 65  ..*/.void sqlite
0da0: 33 42 74 72 65 65 4c 65 61 76 65 28 42 74 72 65  3BtreeLeave(Btre
0db0: 65 20 2a 70 29 7b 0a 20 20 69 66 28 20 70 2d 3e  e *p){.  if( p->
0dc0: 73 68 61 72 61 62 6c 65 20 29 7b 0a 20 20 20 20  sharable ){.    
0dd0: 61 73 73 65 72 74 28 20 70 2d 3e 77 61 6e 74 54  assert( p->wantT
0de0: 6f 4c 6f 63 6b 3e 30 20 29 3b 0a 20 20 20 20 70  oLock>0 );.    p
0df0: 2d 3e 77 61 6e 74 54 6f 4c 6f 63 6b 2d 2d 3b 0a  ->wantToLock--;.
0e00: 20 20 20 20 69 66 28 20 70 2d 3e 77 61 6e 74 54      if( p->wantT
0e10: 6f 4c 6f 63 6b 3d 3d 30 20 29 7b 0a 20 20 20 20  oLock==0 ){.    
0e20: 20 20 61 73 73 65 72 74 28 20 70 2d 3e 6c 6f 63    assert( p->loc
0e30: 6b 65 64 20 29 3b 0a 20 20 20 20 20 20 73 71 6c  ked );.      sql
0e40: 69 74 65 33 5f 6d 75 74 65 78 5f 6c 65 61 76 65  ite3_mutex_leave
0e50: 28 70 2d 3e 70 42 74 2d 3e 6d 75 74 65 78 29 3b  (p->pBt->mutex);
0e60: 0a 20 20 20 20 20 20 70 2d 3e 6c 6f 63 6b 65 64  .      p->locked
0e70: 20 3d 20 30 3b 0a 20 20 20 20 7d 0a 20 20 7d 0a   = 0;.    }.  }.
0e80: 7d 0a 0a 23 69 66 6e 64 65 66 20 4e 44 45 42 55  }..#ifndef NDEBU
0e90: 47 0a 2f 2a 0a 2a 2a 20 52 65 74 75 72 6e 20 74  G./*.** Return t
0ea0: 72 75 65 20 69 66 20 74 68 65 20 42 74 53 68 61  rue if the BtSha
0eb0: 72 65 64 20 6d 75 74 65 78 20 69 73 20 68 65 6c  red mutex is hel
0ec0: 64 20 6f 6e 20 74 68 65 20 62 74 72 65 65 2e 20  d on the btree. 
0ed0: 20 0a 2a 2a 0a 2a 2a 20 54 68 69 73 20 72 6f 75   .**.** This rou
0ee0: 74 69 6e 65 20 6d 61 6b 65 73 20 6e 6f 20 64 65  tine makes no de
0ef0: 74 65 72 6d 69 6e 61 74 69 6f 6e 20 6f 6e 65 20  termination one 
0f00: 77 68 79 20 6f 72 20 61 6e 6f 74 68 65 72 20 69  why or another i
0f10: 66 20 74 68 65 0a 2a 2a 20 64 61 74 61 62 61 73  f the.** databas
0f20: 65 20 63 6f 6e 6e 65 63 74 69 6f 6e 20 6d 75 74  e connection mut
0f30: 65 78 20 69 73 20 68 65 6c 64 2e 0a 2a 2a 0a 2a  ex is held..**.*
0f40: 2a 20 54 68 69 73 20 72 6f 75 74 69 6e 65 20 69  * This routine i
0f50: 73 20 75 73 65 64 20 6f 6e 6c 79 20 66 72 6f 6d  s used only from
0f60: 20 77 69 74 68 69 6e 20 61 73 73 65 72 74 28 29   within assert()
0f70: 20 73 74 61 74 65 6d 65 6e 74 73 2e 0a 2a 2f 0a   statements..*/.
0f80: 69 6e 74 20 73 71 6c 69 74 65 33 42 74 72 65 65  int sqlite3Btree
0f90: 48 6f 6c 64 73 4d 75 74 65 78 28 42 74 72 65 65  HoldsMutex(Btree
0fa0: 20 2a 70 29 7b 0a 20 20 72 65 74 75 72 6e 20 28   *p){.  return (
0fb0: 70 2d 3e 73 68 61 72 61 62 6c 65 3d 3d 30 20 7c  p->sharable==0 |
0fc0: 7c 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 28  |.             (
0fd0: 70 2d 3e 6c 6f 63 6b 65 64 20 26 26 20 70 2d 3e  p->locked && p->
0fe0: 77 61 6e 74 54 6f 4c 6f 63 6b 20 26 26 20 73 71  wantToLock && sq
0ff0: 6c 69 74 65 33 5f 6d 75 74 65 78 5f 68 65 6c 64  lite3_mutex_held
1000: 28 70 2d 3e 70 42 74 2d 3e 6d 75 74 65 78 29 29  (p->pBt->mutex))
1010: 29 3b 0a 7d 0a 23 65 6e 64 69 66 0a 0a 0a 23 69  );.}.#endif...#i
1020: 66 6e 64 65 66 20 53 51 4c 49 54 45 5f 4f 4d 49  fndef SQLITE_OMI
1030: 54 5f 49 4e 43 52 42 4c 4f 42 0a 2f 2a 0a 2a 2a  T_INCRBLOB./*.**
1040: 20 45 6e 74 65 72 20 61 6e 64 20 6c 65 61 76 65   Enter and leave
1050: 20 61 20 6d 75 74 65 78 20 6f 6e 20 61 20 42 74   a mutex on a Bt
1060: 72 65 65 20 67 69 76 65 6e 20 61 20 63 75 72 73  ree given a curs
1070: 6f 72 20 6f 77 6e 65 64 20 62 79 20 74 68 61 74  or owned by that
1080: 0a 2a 2a 20 42 74 72 65 65 2e 20 20 54 68 65 73  .** Btree.  Thes
1090: 65 20 65 6e 74 72 79 20 70 6f 69 6e 74 73 20 61  e entry points a
10a0: 72 65 20 75 73 65 64 20 62 79 20 69 6e 63 72 65  re used by incre
10b0: 6d 65 6e 74 61 6c 20 49 2f 4f 20 61 6e 64 20 63  mental I/O and c
10c0: 61 6e 20 62 65 0a 2a 2a 20 6f 6d 69 74 74 65 64  an be.** omitted
10d0: 20 69 66 20 74 68 61 74 20 6d 6f 64 75 6c 65 20   if that module 
10e0: 69 73 20 6e 6f 74 20 75 73 65 64 2e 0a 2a 2f 0a  is not used..*/.
10f0: 76 6f 69 64 20 73 71 6c 69 74 65 33 42 74 72 65  void sqlite3Btre
1100: 65 45 6e 74 65 72 43 75 72 73 6f 72 28 42 74 43  eEnterCursor(BtC
1110: 75 72 73 6f 72 20 2a 70 43 75 72 29 7b 0a 20 20  ursor *pCur){.  
1120: 73 71 6c 69 74 65 33 42 74 72 65 65 45 6e 74 65  sqlite3BtreeEnte
1130: 72 28 70 43 75 72 2d 3e 70 42 74 72 65 65 29 3b  r(pCur->pBtree);
1140: 0a 7d 0a 76 6f 69 64 20 73 71 6c 69 74 65 33 42  .}.void sqlite3B
1150: 74 72 65 65 4c 65 61 76 65 43 75 72 73 6f 72 28  treeLeaveCursor(
1160: 42 74 43 75 72 73 6f 72 20 2a 70 43 75 72 29 7b  BtCursor *pCur){
1170: 0a 20 20 73 71 6c 69 74 65 33 42 74 72 65 65 4c  .  sqlite3BtreeL
1180: 65 61 76 65 28 70 43 75 72 2d 3e 70 42 74 72 65  eave(pCur->pBtre
1190: 65 29 3b 0a 7d 0a 23 65 6e 64 69 66 20 2f 2a 20  e);.}.#endif /* 
11a0: 53 51 4c 49 54 45 5f 4f 4d 49 54 5f 49 4e 43 52  SQLITE_OMIT_INCR
11b0: 42 4c 4f 42 20 2a 2f 0a 0a 0a 2f 2a 0a 2a 2a 20  BLOB */.../*.** 
11c0: 45 6e 74 65 72 20 74 68 65 20 6d 75 74 65 78 20  Enter the mutex 
11d0: 6f 6e 20 65 76 65 72 79 20 42 74 72 65 65 20 61  on every Btree a
11e0: 73 73 6f 63 69 61 74 65 64 20 77 69 74 68 20 61  ssociated with a
11f0: 20 64 61 74 61 62 61 73 65 0a 2a 2a 20 63 6f 6e   database.** con
1200: 6e 65 63 74 69 6f 6e 2e 20 20 54 68 69 73 20 69  nection.  This i
1210: 73 20 6e 65 65 64 65 64 20 28 66 6f 72 20 65 78  s needed (for ex
1220: 61 6d 70 6c 65 29 20 70 72 69 6f 72 20 74 6f 20  ample) prior to 
1230: 70 61 72 73 69 6e 67 0a 2a 2a 20 61 20 73 74 61  parsing.** a sta
1240: 74 65 6d 65 6e 74 20 73 69 6e 63 65 20 77 65 20  tement since we 
1250: 77 69 6c 6c 20 62 65 20 63 6f 6d 70 61 72 69 6e  will be comparin
1260: 67 20 74 61 62 6c 65 20 61 6e 64 20 63 6f 6c 75  g table and colu
1270: 6d 6e 20 6e 61 6d 65 73 0a 2a 2a 20 61 67 61 69  mn names.** agai
1280: 6e 73 74 20 61 6c 6c 20 73 63 68 65 6d 61 73 20  nst all schemas 
1290: 61 6e 64 20 77 65 20 64 6f 20 6e 6f 74 20 77 61  and we do not wa
12a0: 6e 74 20 74 68 6f 73 65 20 73 63 68 65 6d 61 73  nt those schemas
12b0: 20 62 65 69 6e 67 0a 2a 2a 20 72 65 73 65 74 20   being.** reset 
12c0: 6f 75 74 20 66 72 6f 6d 20 75 6e 64 65 72 20 75  out from under u
12d0: 73 2e 0a 2a 2a 0a 2a 2a 20 54 68 65 72 65 20 69  s..**.** There i
12e0: 73 20 61 20 63 6f 72 72 65 73 70 6f 6e 64 69 6e  s a correspondin
12f0: 67 20 6c 65 61 76 65 2d 61 6c 6c 20 70 72 6f 63  g leave-all proc
1300: 65 64 75 72 65 73 2e 0a 2a 2a 0a 2a 2a 20 45 6e  edures..**.** En
1310: 74 65 72 20 74 68 65 20 6d 75 74 65 78 65 73 20  ter the mutexes 
1320: 69 6e 20 61 63 63 65 6e 64 69 6e 67 20 6f 72 64  in accending ord
1330: 65 72 20 62 79 20 42 74 53 68 61 72 65 64 20 70  er by BtShared p
1340: 6f 69 6e 74 65 72 20 61 64 64 72 65 73 73 0a 2a  ointer address.*
1350: 2a 20 74 6f 20 61 76 6f 69 64 20 74 68 65 20 70  * to avoid the p
1360: 6f 73 73 69 62 69 6c 69 74 79 20 6f 66 20 64 65  ossibility of de
1370: 61 64 6c 6f 63 6b 20 77 68 65 6e 20 74 77 6f 20  adlock when two 
1380: 74 68 72 65 61 64 73 20 77 69 74 68 0a 2a 2a 20  threads with.** 
1390: 74 77 6f 20 6f 72 20 6d 6f 72 65 20 62 74 72 65  two or more btre
13a0: 65 73 20 69 6e 20 63 6f 6d 6d 6f 6e 20 62 6f 74  es in common bot
13b0: 68 20 74 72 79 20 74 6f 20 6c 6f 63 6b 20 61 6c  h try to lock al
13c0: 6c 20 74 68 65 69 72 20 62 74 72 65 65 73 0a 2a  l their btrees.*
13d0: 2a 20 61 74 20 74 68 65 20 73 61 6d 65 20 69 6e  * at the same in
13e0: 73 74 61 6e 74 2e 0a 2a 2f 0a 76 6f 69 64 20 73  stant..*/.void s
13f0: 71 6c 69 74 65 33 42 74 72 65 65 45 6e 74 65 72  qlite3BtreeEnter
1400: 41 6c 6c 28 73 71 6c 69 74 65 33 20 2a 64 62 29  All(sqlite3 *db)
1410: 7b 0a 20 20 69 6e 74 20 69 3b 0a 20 20 42 74 72  {.  int i;.  Btr
1420: 65 65 20 2a 70 2c 20 2a 70 4c 61 74 65 72 3b 0a  ee *p, *pLater;.
1430: 20 20 61 73 73 65 72 74 28 20 73 71 6c 69 74 65    assert( sqlite
1440: 33 5f 6d 75 74 65 78 5f 68 65 6c 64 28 64 62 2d  3_mutex_held(db-
1450: 3e 6d 75 74 65 78 29 20 29 3b 0a 20 20 66 6f 72  >mutex) );.  for
1460: 28 69 3d 30 3b 20 69 3c 64 62 2d 3e 6e 44 62 3b  (i=0; i<db->nDb;
1470: 20 69 2b 2b 29 7b 0a 20 20 20 20 70 20 3d 20 64   i++){.    p = d
1480: 62 2d 3e 61 44 62 5b 69 5d 2e 70 42 74 3b 0a 20  b->aDb[i].pBt;. 
1490: 20 20 20 69 66 28 20 70 20 26 26 20 70 2d 3e 73     if( p && p->s
14a0: 68 61 72 61 62 6c 65 20 29 7b 0a 20 20 20 20 20  harable ){.     
14b0: 20 70 2d 3e 77 61 6e 74 54 6f 4c 6f 63 6b 2b 2b   p->wantToLock++
14c0: 3b 0a 20 20 20 20 20 20 69 66 28 20 21 70 2d 3e  ;.      if( !p->
14d0: 6c 6f 63 6b 65 64 20 29 7b 0a 20 20 20 20 20 20  locked ){.      
14e0: 20 20 61 73 73 65 72 74 28 20 70 2d 3e 77 61 6e    assert( p->wan
14f0: 74 54 6f 4c 6f 63 6b 3d 3d 31 20 29 3b 0a 20 20  tToLock==1 );.  
1500: 20 20 20 20 20 20 77 68 69 6c 65 28 20 70 2d 3e        while( p->
1510: 70 50 72 65 76 20 29 20 70 20 3d 20 70 2d 3e 70  pPrev ) p = p->p
1520: 50 72 65 76 3b 0a 20 20 20 20 20 20 20 20 77 68  Prev;.        wh
1530: 69 6c 65 28 20 70 2d 3e 6c 6f 63 6b 65 64 20 26  ile( p->locked &
1540: 26 20 70 2d 3e 70 4e 65 78 74 20 29 20 70 20 3d  & p->pNext ) p =
1550: 20 70 2d 3e 70 4e 65 78 74 3b 0a 20 20 20 20 20   p->pNext;.     
1560: 20 20 20 66 6f 72 28 70 4c 61 74 65 72 20 3d 20     for(pLater = 
1570: 70 2d 3e 70 4e 65 78 74 3b 20 70 4c 61 74 65 72  p->pNext; pLater
1580: 3b 20 70 4c 61 74 65 72 3d 70 4c 61 74 65 72 2d  ; pLater=pLater-
1590: 3e 70 4e 65 78 74 29 7b 0a 20 20 20 20 20 20 20  >pNext){.       
15a0: 20 20 20 69 66 28 20 70 4c 61 74 65 72 2d 3e 6c     if( pLater->l
15b0: 6f 63 6b 65 64 20 29 7b 0a 20 20 20 20 20 20 20  ocked ){.       
15c0: 20 20 20 20 20 73 71 6c 69 74 65 33 5f 6d 75 74       sqlite3_mut
15d0: 65 78 5f 6c 65 61 76 65 28 70 4c 61 74 65 72 2d  ex_leave(pLater-
15e0: 3e 70 42 74 2d 3e 6d 75 74 65 78 29 3b 0a 20 20  >pBt->mutex);.  
15f0: 20 20 20 20 20 20 20 20 20 20 70 4c 61 74 65 72            pLater
1600: 2d 3e 6c 6f 63 6b 65 64 20 3d 20 30 3b 0a 20 20  ->locked = 0;.  
1610: 20 20 20 20 20 20 20 20 7d 0a 20 20 20 20 20 20          }.      
1620: 20 20 7d 0a 20 20 20 20 20 20 20 20 77 68 69 6c    }.        whil
1630: 65 28 20 70 20 29 7b 0a 20 20 20 20 20 20 20 20  e( p ){.        
1640: 20 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f    sqlite3_mutex_
1650: 65 6e 74 65 72 28 70 2d 3e 70 42 74 2d 3e 6d 75  enter(p->pBt->mu
1660: 74 65 78 29 3b 0a 20 20 20 20 20 20 20 20 20 20  tex);.          
1670: 70 2d 3e 6c 6f 63 6b 65 64 2b 2b 3b 0a 20 20 20  p->locked++;.   
1680: 20 20 20 20 20 20 20 70 20 3d 20 70 2d 3e 70 4e         p = p->pN
1690: 65 78 74 3b 0a 20 20 20 20 20 20 20 20 7d 0a 20  ext;.        }. 
16a0: 20 20 20 20 20 7d 0a 20 20 20 20 7d 0a 20 20 7d       }.    }.  }
16b0: 0a 7d 0a 76 6f 69 64 20 73 71 6c 69 74 65 33 42  .}.void sqlite3B
16c0: 74 72 65 65 4c 65 61 76 65 41 6c 6c 28 73 71 6c  treeLeaveAll(sql
16d0: 69 74 65 33 20 2a 64 62 29 7b 0a 20 20 69 6e 74  ite3 *db){.  int
16e0: 20 69 3b 0a 20 20 42 74 72 65 65 20 2a 70 3b 0a   i;.  Btree *p;.
16f0: 20 20 61 73 73 65 72 74 28 20 73 71 6c 69 74 65    assert( sqlite
1700: 33 5f 6d 75 74 65 78 5f 68 65 6c 64 28 64 62 2d  3_mutex_held(db-
1710: 3e 6d 75 74 65 78 29 20 29 3b 0a 20 20 66 6f 72  >mutex) );.  for
1720: 28 69 3d 30 3b 20 69 3c 64 62 2d 3e 6e 44 62 3b  (i=0; i<db->nDb;
1730: 20 69 2b 2b 29 7b 0a 20 20 20 20 70 20 3d 20 64   i++){.    p = d
1740: 62 2d 3e 61 44 62 5b 69 5d 2e 70 42 74 3b 0a 20  b->aDb[i].pBt;. 
1750: 20 20 20 69 66 28 20 70 20 26 26 20 70 2d 3e 73     if( p && p->s
1760: 68 61 72 61 62 6c 65 20 29 7b 0a 20 20 20 20 20  harable ){.     
1770: 20 61 73 73 65 72 74 28 20 70 2d 3e 77 61 6e 74   assert( p->want
1780: 54 6f 4c 6f 63 6b 3e 30 20 29 3b 0a 20 20 20 20  ToLock>0 );.    
1790: 20 20 70 2d 3e 77 61 6e 74 54 6f 4c 6f 63 6b 2d    p->wantToLock-
17a0: 2d 3b 0a 20 20 20 20 20 20 69 66 28 20 70 2d 3e  -;.      if( p->
17b0: 77 61 6e 74 54 6f 4c 6f 63 6b 3d 3d 30 20 29 7b  wantToLock==0 ){
17c0: 0a 20 20 20 20 20 20 20 20 61 73 73 65 72 74 28  .        assert(
17d0: 20 70 2d 3e 6c 6f 63 6b 65 64 20 29 3b 0a 20 20   p->locked );.  
17e0: 20 20 20 20 20 20 73 71 6c 69 74 65 33 5f 6d 75        sqlite3_mu
17f0: 74 65 78 5f 6c 65 61 76 65 28 70 2d 3e 70 42 74  tex_leave(p->pBt
1800: 2d 3e 6d 75 74 65 78 29 3b 0a 20 20 20 20 20 20  ->mutex);.      
1810: 20 20 70 2d 3e 6c 6f 63 6b 65 64 20 3d 20 30 3b    p->locked = 0;
1820: 0a 20 20 20 20 20 20 7d 0a 20 20 20 20 7d 0a 20  .      }.    }. 
1830: 20 7d 0a 7d 0a 0a 23 69 66 6e 64 65 66 20 4e 44   }.}..#ifndef ND
1840: 45 42 55 47 0a 2f 2a 0a 2a 2a 20 52 65 74 75 72  EBUG./*.** Retur
1850: 6e 20 74 72 75 65 20 69 66 20 74 68 65 20 63 75  n true if the cu
1860: 72 72 65 6e 74 20 74 68 72 65 61 64 20 68 6f 6c  rrent thread hol
1870: 64 73 20 74 68 65 20 64 61 74 61 62 61 73 65 20  ds the database 
1880: 63 6f 6e 6e 65 63 74 69 6f 6e 0a 2a 2a 20 6d 75  connection.** mu
1890: 74 65 78 20 61 6e 64 20 61 6c 6c 20 72 65 71 75  tex and all requ
18a0: 69 72 65 64 20 42 74 53 68 61 72 65 64 20 6d 75  ired BtShared mu
18b0: 74 65 78 65 73 2e 0a 2a 2a 0a 2a 2a 20 54 68 69  texes..**.** Thi
18c0: 73 20 72 6f 75 74 69 6e 65 20 69 73 20 75 73 65  s routine is use
18d0: 64 20 69 6e 73 69 64 65 20 61 73 73 65 72 74 28  d inside assert(
18e0: 29 20 73 74 61 74 65 6d 65 6e 74 73 20 6f 6e 6c  ) statements onl
18f0: 79 2e 0a 2a 2f 0a 69 6e 74 20 73 71 6c 69 74 65  y..*/.int sqlite
1900: 33 42 74 72 65 65 48 6f 6c 64 73 41 6c 6c 4d 75  3BtreeHoldsAllMu
1910: 74 65 78 65 73 28 73 71 6c 69 74 65 33 20 2a 64  texes(sqlite3 *d
1920: 62 29 7b 0a 20 20 69 6e 74 20 69 3b 0a 20 20 69  b){.  int i;.  i
1930: 66 28 20 21 73 71 6c 69 74 65 33 5f 6d 75 74 65  f( !sqlite3_mute
1940: 78 5f 68 65 6c 64 28 64 62 2d 3e 6d 75 74 65 78  x_held(db->mutex
1950: 29 20 29 7b 0a 20 20 20 20 72 65 74 75 72 6e 20  ) ){.    return 
1960: 30 3b 0a 20 20 7d 0a 20 20 66 6f 72 28 69 3d 30  0;.  }.  for(i=0
1970: 3b 20 69 3c 64 62 2d 3e 6e 44 62 3b 20 69 2b 2b  ; i<db->nDb; i++
1980: 29 7b 0a 20 20 20 20 42 74 72 65 65 20 2a 70 3b  ){.    Btree *p;
1990: 0a 20 20 20 20 70 20 3d 20 64 62 2d 3e 61 44 62  .    p = db->aDb
19a0: 5b 69 5d 2e 70 42 74 3b 0a 20 20 20 20 69 66 28  [i].pBt;.    if(
19b0: 20 70 20 26 26 20 70 2d 3e 73 68 61 72 61 62 6c   p && p->sharabl
19c0: 65 20 26 26 0a 20 20 20 20 20 20 20 20 20 28 70  e &&.         (p
19d0: 2d 3e 77 61 6e 74 54 6f 4c 6f 63 6b 3d 3d 30 20  ->wantToLock==0 
19e0: 7c 7c 20 21 73 71 6c 69 74 65 33 5f 6d 75 74 65  || !sqlite3_mute
19f0: 78 5f 68 65 6c 64 28 70 2d 3e 70 42 74 2d 3e 6d  x_held(p->pBt->m
1a00: 75 74 65 78 29 29 20 29 7b 0a 20 20 20 20 20 20  utex)) ){.      
1a10: 72 65 74 75 72 6e 20 30 3b 0a 20 20 20 20 7d 0a  return 0;.    }.
1a20: 20 20 7d 0a 20 20 72 65 74 75 72 6e 20 31 3b 0a    }.  return 1;.
1a30: 7d 0a 23 65 6e 64 69 66 20 2f 2a 20 4e 44 45 42  }.#endif /* NDEB
1a40: 55 47 20 2a 2f 0a 0a 2f 2a 0a 2a 2a 20 41 64 64  UG */../*.** Add
1a50: 20 61 20 6e 65 77 20 42 74 72 65 65 20 70 6f 69   a new Btree poi
1a60: 6e 74 65 72 20 74 6f 20 61 20 42 74 72 65 65 4d  nter to a BtreeM
1a70: 75 74 65 78 41 72 72 61 79 2e 20 0a 2a 2a 20 69  utexArray. .** i
1a80: 66 20 74 68 65 20 70 6f 69 6e 74 65 72 20 63 61  f the pointer ca
1a90: 6e 20 70 6f 73 73 69 62 6c 79 20 62 65 20 73 68  n possibly be sh
1aa0: 61 72 65 64 20 77 69 74 68 0a 2a 2a 20 61 6e 6f  ared with.** ano
1ab0: 74 68 65 72 20 64 61 74 61 62 61 73 65 20 63 6f  ther database co
1ac0: 6e 6e 65 63 74 69 6f 6e 2e 0a 2a 2a 0a 2a 2a 20  nnection..**.** 
1ad0: 54 68 65 20 70 6f 69 6e 74 65 72 73 20 61 72 65  The pointers are
1ae0: 20 6b 65 70 74 20 69 6e 20 73 6f 72 74 65 64 20   kept in sorted 
1af0: 6f 72 64 65 72 20 62 79 20 70 42 74 72 65 65 2d  order by pBtree-
1b00: 3e 70 42 74 2e 20 20 54 68 61 74 0a 2a 2a 20 77  >pBt.  That.** w
1b10: 61 79 20 77 68 65 6e 20 77 65 20 67 6f 20 74 6f  ay when we go to
1b20: 20 65 6e 74 65 72 20 61 6c 6c 20 74 68 65 20 6d   enter all the m
1b30: 75 74 65 78 65 73 2c 20 77 65 20 63 61 6e 20 65  utexes, we can e
1b40: 6e 74 65 72 20 74 68 65 6d 0a 2a 2a 20 69 6e 20  nter them.** in 
1b50: 6f 72 64 65 72 20 77 69 74 68 6f 75 74 20 65 76  order without ev
1b60: 65 72 79 20 68 61 76 69 6e 67 20 74 6f 20 62 61  ery having to ba
1b70: 63 6b 75 70 20 61 6e 64 20 72 65 74 72 79 20 61  ckup and retry a
1b80: 6e 64 20 77 69 74 68 6f 75 74 0a 2a 2a 20 77 6f  nd without.** wo
1b90: 72 72 79 69 6e 67 20 61 62 6f 75 74 20 64 65 61  rrying about dea
1ba0: 64 6c 6f 63 6b 2e 0a 2a 2a 0a 2a 2a 20 54 68 65  dlock..**.** The
1bb0: 20 6e 75 6d 62 65 72 20 6f 66 20 73 68 61 72 65   number of share
1bc0: 64 20 62 74 72 65 65 73 20 77 69 6c 6c 20 61 6c  d btrees will al
1bd0: 77 61 79 73 20 62 65 20 73 6d 61 6c 6c 20 28 75  ways be small (u
1be0: 73 75 61 6c 6c 79 20 30 20 6f 72 20 31 29 0a 2a  sually 0 or 1).*
1bf0: 2a 20 73 6f 20 61 6e 20 69 6e 73 65 72 74 69 6f  * so an insertio
1c00: 6e 20 73 6f 72 74 20 69 73 20 61 6e 20 61 64 65  n sort is an ade
1c10: 71 75 61 74 65 20 61 6c 67 6f 72 69 74 68 6d 20  quate algorithm 
1c20: 68 65 72 65 2e 0a 2a 2f 0a 76 6f 69 64 20 73 71  here..*/.void sq
1c30: 6c 69 74 65 33 42 74 72 65 65 4d 75 74 65 78 41  lite3BtreeMutexA
1c40: 72 72 61 79 49 6e 73 65 72 74 28 42 74 72 65 65  rrayInsert(Btree
1c50: 4d 75 74 65 78 41 72 72 61 79 20 2a 70 41 72 72  MutexArray *pArr
1c60: 61 79 2c 20 42 74 72 65 65 20 2a 70 42 74 72 65  ay, Btree *pBtre
1c70: 65 29 7b 0a 20 20 69 6e 74 20 69 2c 20 6a 3b 0a  e){.  int i, j;.
1c80: 20 20 42 74 53 68 61 72 65 64 20 2a 70 42 74 3b    BtShared *pBt;
1c90: 0a 20 20 69 66 28 20 70 42 74 72 65 65 3d 3d 30  .  if( pBtree==0
1ca0: 20 7c 7c 20 70 42 74 72 65 65 2d 3e 73 68 61 72   || pBtree->shar
1cb0: 61 62 6c 65 3d 3d 30 20 29 20 72 65 74 75 72 6e  able==0 ) return
1cc0: 3b 0a 23 69 66 6e 64 65 66 20 4e 44 45 42 55 47  ;.#ifndef NDEBUG
1cd0: 0a 20 20 7b 0a 20 20 20 20 66 6f 72 28 69 3d 30  .  {.    for(i=0
1ce0: 3b 20 69 3c 70 41 72 72 61 79 2d 3e 6e 4d 75 74  ; i<pArray->nMut
1cf0: 65 78 3b 20 69 2b 2b 29 7b 0a 20 20 20 20 20 20  ex; i++){.      
1d00: 61 73 73 65 72 74 28 20 70 41 72 72 61 79 2d 3e  assert( pArray->
1d10: 61 42 74 72 65 65 5b 69 5d 21 3d 70 42 74 72 65  aBtree[i]!=pBtre
1d20: 65 20 29 3b 0a 20 20 20 20 7d 0a 20 20 7d 0a 23  e );.    }.  }.#
1d30: 65 6e 64 69 66 0a 20 20 61 73 73 65 72 74 28 20  endif.  assert( 
1d40: 70 41 72 72 61 79 2d 3e 6e 4d 75 74 65 78 3e 3d  pArray->nMutex>=
1d50: 30 20 29 3b 0a 20 20 61 73 73 65 72 74 28 20 70  0 );.  assert( p
1d60: 41 72 72 61 79 2d 3e 6e 4d 75 74 65 78 3c 73 69  Array->nMutex<si
1d70: 7a 65 6f 66 28 70 41 72 72 61 79 2d 3e 61 42 74  zeof(pArray->aBt
1d80: 72 65 65 29 2f 73 69 7a 65 6f 66 28 70 41 72 72  ree)/sizeof(pArr
1d90: 61 79 2d 3e 61 42 74 72 65 65 5b 30 5d 29 2d 31  ay->aBtree[0])-1
1da0: 20 29 3b 0a 20 20 70 42 74 20 3d 20 70 42 74 72   );.  pBt = pBtr
1db0: 65 65 2d 3e 70 42 74 3b 0a 20 20 66 6f 72 28 69  ee->pBt;.  for(i
1dc0: 3d 30 3b 20 69 3c 70 41 72 72 61 79 2d 3e 6e 4d  =0; i<pArray->nM
1dd0: 75 74 65 78 3b 20 69 2b 2b 29 7b 0a 20 20 20 20  utex; i++){.    
1de0: 61 73 73 65 72 74 28 20 70 41 72 72 61 79 2d 3e  assert( pArray->
1df0: 61 42 74 72 65 65 5b 69 5d 21 3d 70 42 74 72 65  aBtree[i]!=pBtre
1e00: 65 20 29 3b 0a 20 20 20 20 69 66 28 20 70 41 72  e );.    if( pAr
1e10: 72 61 79 2d 3e 61 42 74 72 65 65 5b 69 5d 2d 3e  ray->aBtree[i]->
1e20: 70 42 74 3e 70 42 74 20 29 7b 0a 20 20 20 20 20  pBt>pBt ){.     
1e30: 20 66 6f 72 28 6a 3d 70 41 72 72 61 79 2d 3e 6e   for(j=pArray->n
1e40: 4d 75 74 65 78 3b 20 6a 3e 69 3b 20 6a 2d 2d 29  Mutex; j>i; j--)
1e50: 7b 0a 20 20 20 20 20 20 20 20 70 41 72 72 61 79  {.        pArray
1e60: 2d 3e 61 42 74 72 65 65 5b 6a 5d 20 3d 20 70 41  ->aBtree[j] = pA
1e70: 72 72 61 79 2d 3e 61 42 74 72 65 65 5b 6a 2d 31  rray->aBtree[j-1
1e80: 5d 3b 0a 20 20 20 20 20 20 7d 0a 20 20 20 20 20  ];.      }.     
1e90: 20 70 41 72 72 61 79 2d 3e 61 42 74 72 65 65 5b   pArray->aBtree[
1ea0: 69 5d 20 3d 20 70 42 74 72 65 65 3b 0a 20 20 20  i] = pBtree;.   
1eb0: 20 20 20 70 41 72 72 61 79 2d 3e 6e 4d 75 74 65     pArray->nMute
1ec0: 78 2b 2b 3b 0a 20 20 20 20 20 20 72 65 74 75 72  x++;.      retur
1ed0: 6e 3b 0a 20 20 20 20 7d 0a 20 20 7d 0a 20 20 70  n;.    }.  }.  p
1ee0: 41 72 72 61 79 2d 3e 61 42 74 72 65 65 5b 70 41  Array->aBtree[pA
1ef0: 72 72 61 79 2d 3e 6e 4d 75 74 65 78 2b 2b 5d 20  rray->nMutex++] 
1f00: 3d 20 70 42 74 72 65 65 3b 0a 7d 0a 0a 2f 2a 0a  = pBtree;.}../*.
1f10: 2a 2a 20 45 6e 74 65 72 20 74 68 65 20 6d 75 74  ** Enter the mut
1f20: 65 78 20 6f 66 20 65 76 65 72 79 20 62 74 72 65  ex of every btre
1f30: 65 20 69 6e 20 74 68 65 20 61 72 72 61 79 2e 20  e in the array. 
1f40: 20 54 68 69 73 20 72 6f 75 74 69 6e 65 20 69 73   This routine is
1f50: 0a 2a 2a 20 63 61 6c 6c 65 64 20 61 74 20 74 68  .** called at th
1f60: 65 20 62 65 67 69 6e 6e 69 6e 67 20 6f 66 20 73  e beginning of s
1f70: 71 6c 69 74 65 33 56 64 62 65 45 78 65 63 28 29  qlite3VdbeExec()
1f80: 2e 20 20 54 68 65 20 6d 75 74 65 78 65 73 20 61  .  The mutexes a
1f90: 72 65 0a 2a 2a 20 65 78 69 74 65 64 20 61 74 20  re.** exited at 
1fa0: 74 68 65 20 65 6e 64 20 6f 66 20 74 68 65 20 73  the end of the s
1fb0: 61 6d 65 20 66 75 6e 63 74 69 6f 6e 2e 0a 2a 2f  ame function..*/
1fc0: 0a 76 6f 69 64 20 73 71 6c 69 74 65 33 42 74 72  .void sqlite3Btr
1fd0: 65 65 4d 75 74 65 78 41 72 72 61 79 45 6e 74 65  eeMutexArrayEnte
1fe0: 72 28 42 74 72 65 65 4d 75 74 65 78 41 72 72 61  r(BtreeMutexArra
1ff0: 79 20 2a 70 41 72 72 61 79 29 7b 0a 20 20 69 6e  y *pArray){.  in
2000: 74 20 69 3b 0a 20 20 66 6f 72 28 69 3d 30 3b 20  t i;.  for(i=0; 
2010: 69 3c 70 41 72 72 61 79 2d 3e 6e 4d 75 74 65 78  i<pArray->nMutex
2020: 3b 20 69 2b 2b 29 7b 0a 20 20 20 20 42 74 72 65  ; i++){.    Btre
2030: 65 20 2a 70 20 3d 20 70 41 72 72 61 79 2d 3e 61  e *p = pArray->a
2040: 42 74 72 65 65 5b 69 5d 3b 0a 20 20 20 20 2f 2a  Btree[i];.    /*
2050: 20 53 6f 6d 65 20 62 61 73 69 63 20 73 61 6e 69   Some basic sani
2060: 74 79 20 63 68 65 63 6b 69 6e 67 20 2a 2f 0a 20  ty checking */. 
2070: 20 20 20 61 73 73 65 72 74 28 20 69 3d 3d 30 20     assert( i==0 
2080: 7c 7c 20 70 41 72 72 61 79 2d 3e 61 42 74 72 65  || pArray->aBtre
2090: 65 5b 69 2d 31 5d 2d 3e 70 42 74 3c 70 2d 3e 70  e[i-1]->pBt<p->p
20a0: 42 74 20 29 3b 0a 20 20 20 20 61 73 73 65 72 74  Bt );.    assert
20b0: 28 20 21 70 2d 3e 6c 6f 63 6b 65 64 20 7c 7c 20  ( !p->locked || 
20c0: 70 2d 3e 77 61 6e 74 54 6f 4c 6f 63 6b 3e 30 20  p->wantToLock>0 
20d0: 29 3b 0a 0a 20 20 20 20 2f 2a 20 57 65 20 73 68  );..    /* We sh
20e0: 6f 75 6c 64 20 61 6c 72 65 61 64 79 20 68 6f 6c  ould already hol
20f0: 64 20 61 20 6c 6f 63 6b 20 6f 6e 20 74 68 65 20  d a lock on the 
2100: 64 61 74 61 62 61 73 65 20 63 6f 6e 6e 65 63 74  database connect
2110: 69 6f 6e 20 2a 2f 0a 20 20 20 20 61 73 73 65 72  ion */.    asser
2120: 74 28 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  t( sqlite3_mutex
2130: 5f 68 65 6c 64 28 70 2d 3e 64 62 2d 3e 6d 75 74  _held(p->db->mut
2140: 65 78 29 20 29 3b 0a 0a 20 20 20 20 70 2d 3e 77  ex) );..    p->w
2150: 61 6e 74 54 6f 4c 6f 63 6b 2b 2b 3b 0a 20 20 20  antToLock++;.   
2160: 20 69 66 28 20 21 70 2d 3e 6c 6f 63 6b 65 64 20   if( !p->locked 
2170: 26 26 20 70 2d 3e 73 68 61 72 61 62 6c 65 20 29  && p->sharable )
2180: 7b 0a 20 20 20 20 20 20 73 71 6c 69 74 65 33 5f  {.      sqlite3_
2190: 6d 75 74 65 78 5f 65 6e 74 65 72 28 70 2d 3e 70  mutex_enter(p->p
21a0: 42 74 2d 3e 6d 75 74 65 78 29 3b 0a 20 20 20 20  Bt->mutex);.    
21b0: 20 20 70 2d 3e 6c 6f 63 6b 65 64 20 3d 20 31 3b    p->locked = 1;
21c0: 0a 20 20 20 20 7d 0a 20 20 7d 0a 7d 0a 0a 2f 2a  .    }.  }.}../*
21d0: 0a 2a 2a 20 4c 65 61 76 65 20 74 68 65 20 6d 75  .** Leave the mu
21e0: 74 65 78 20 6f 66 20 65 76 65 72 79 20 62 74 72  tex of every btr
21f0: 65 65 20 69 6e 20 74 68 65 20 67 72 6f 75 70 2e  ee in the group.
2200: 0a 2a 2f 0a 76 6f 69 64 20 73 71 6c 69 74 65 33  .*/.void sqlite3
2210: 42 74 72 65 65 4d 75 74 65 78 41 72 72 61 79 4c  BtreeMutexArrayL
2220: 65 61 76 65 28 42 74 72 65 65 4d 75 74 65 78 41  eave(BtreeMutexA
2230: 72 72 61 79 20 2a 70 41 72 72 61 79 29 7b 0a 20  rray *pArray){. 
2240: 20 69 6e 74 20 69 3b 0a 20 20 66 6f 72 28 69 3d   int i;.  for(i=
2250: 30 3b 20 69 3c 70 41 72 72 61 79 2d 3e 6e 4d 75  0; i<pArray->nMu
2260: 74 65 78 3b 20 69 2b 2b 29 7b 0a 20 20 20 20 42  tex; i++){.    B
2270: 74 72 65 65 20 2a 70 20 3d 20 70 41 72 72 61 79  tree *p = pArray
2280: 2d 3e 61 42 74 72 65 65 5b 69 5d 3b 0a 20 20 20  ->aBtree[i];.   
2290: 20 2f 2a 20 53 6f 6d 65 20 62 61 73 69 63 20 73   /* Some basic s
22a0: 61 6e 69 74 79 20 63 68 65 63 6b 69 6e 67 20 2a  anity checking *
22b0: 2f 0a 20 20 20 20 61 73 73 65 72 74 28 20 69 3d  /.    assert( i=
22c0: 3d 30 20 7c 7c 20 70 41 72 72 61 79 2d 3e 61 42  =0 || pArray->aB
22d0: 74 72 65 65 5b 69 2d 31 5d 2d 3e 70 42 74 3c 70  tree[i-1]->pBt<p
22e0: 2d 3e 70 42 74 20 29 3b 0a 20 20 20 20 61 73 73  ->pBt );.    ass
22f0: 65 72 74 28 20 70 2d 3e 6c 6f 63 6b 65 64 20 7c  ert( p->locked |
2300: 7c 20 21 70 2d 3e 73 68 61 72 61 62 6c 65 20 29  | !p->sharable )
2310: 3b 0a 20 20 20 20 61 73 73 65 72 74 28 20 70 2d  ;.    assert( p-
2320: 3e 77 61 6e 74 54 6f 4c 6f 63 6b 3e 30 20 29 3b  >wantToLock>0 );
2330: 0a 0a 20 20 20 20 2f 2a 20 57 65 20 73 68 6f 75  ..    /* We shou
2340: 6c 64 20 61 6c 72 65 61 64 79 20 68 6f 6c 64 20  ld already hold 
2350: 61 20 6c 6f 63 6b 20 6f 6e 20 74 68 65 20 64 61  a lock on the da
2360: 74 61 62 61 73 65 20 63 6f 6e 6e 65 63 74 69 6f  tabase connectio
2370: 6e 20 2a 2f 0a 20 20 20 20 61 73 73 65 72 74 28  n */.    assert(
2380: 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 68   sqlite3_mutex_h
2390: 65 6c 64 28 70 2d 3e 64 62 2d 3e 6d 75 74 65 78  eld(p->db->mutex
23a0: 29 20 29 3b 0a 0a 20 20 20 20 70 2d 3e 77 61 6e  ) );..    p->wan
23b0: 74 54 6f 4c 6f 63 6b 2d 2d 3b 0a 20 20 20 20 69  tToLock--;.    i
23c0: 66 28 20 70 2d 3e 77 61 6e 74 54 6f 4c 6f 63 6b  f( p->wantToLock
23d0: 3d 3d 30 20 26 26 20 70 2d 3e 6c 6f 63 6b 65 64  ==0 && p->locked
23e0: 20 29 7b 0a 20 20 20 20 20 20 73 71 6c 69 74 65   ){.      sqlite
23f0: 33 5f 6d 75 74 65 78 5f 6c 65 61 76 65 28 70 2d  3_mutex_leave(p-
2400: 3e 70 42 74 2d 3e 6d 75 74 65 78 29 3b 0a 20 20  >pBt->mutex);.  
2410: 20 20 20 20 70 2d 3e 6c 6f 63 6b 65 64 20 3d 20      p->locked = 
2420: 30 3b 0a 20 20 20 20 7d 0a 20 20 7d 0a 7d 0a 0a  0;.    }.  }.}..
2430: 0a 23 65 6e 64 69 66 20 20 2f 2a 20 53 51 4c 49  .#endif  /* SQLI
2440: 54 45 5f 54 48 52 45 41 44 53 41 46 45 20 26 26  TE_THREADSAFE &&
2450: 20 21 53 51 4c 49 54 45 5f 4f 4d 49 54 5f 53 48   !SQLITE_OMIT_SH
2460: 41 52 45 44 5f 43 41 43 48 45 20 2a 2f 0a        ARED_CACHE */.