/ Hex Artifact Content
Login

Artifact 976f45a12e37293e32cae0281b15a21d48a8aaa7:


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 54 68 69 73 20 66  ***.**.** This f
0180: 69 6c 65 20 63 6f 6e 74 61 69 6e 73 20 63 6f 64  ile contains cod
0190: 65 20 75 73 65 64 20 74 6f 20 69 6d 70 6c 65 6d  e used to implem
01a0: 65 6e 74 20 6d 75 74 65 78 65 73 20 6f 6e 20 42  ent mutexes on B
01b0: 74 72 65 65 20 6f 62 6a 65 63 74 73 2e 0a 2a 2a  tree objects..**
01c0: 20 54 68 69 73 20 63 6f 64 65 20 72 65 61 6c 6c   This code reall
01d0: 79 20 62 65 6c 6f 6e 67 73 20 69 6e 20 62 74 72  y belongs in btr
01e0: 65 65 2e 63 2e 20 20 42 75 74 20 62 74 72 65 65  ee.c.  But btree
01f0: 2e 63 20 69 73 20 67 65 74 74 69 6e 67 20 74 6f  .c is getting to
0200: 6f 0a 2a 2a 20 62 69 67 20 61 6e 64 20 77 65 20  o.** big and we 
0210: 77 61 6e 74 20 74 6f 20 62 72 65 61 6b 20 69 74  want to break it
0220: 20 64 6f 77 6e 20 73 6f 6d 65 2e 20 20 54 68 69   down some.  Thi
0230: 73 20 70 61 63 6b 61 67 65 64 20 73 65 65 6d 65  s packaged seeme
0240: 64 20 6c 69 6b 65 0a 2a 2a 20 61 20 67 6f 6f 64  d like.** a good
0250: 20 62 72 65 61 6b 6f 75 74 2e 0a 2a 2f 0a 23 69   breakout..*/.#i
0260: 6e 63 6c 75 64 65 20 22 62 74 72 65 65 49 6e 74  nclude "btreeInt
0270: 2e 68 22 0a 23 69 66 6e 64 65 66 20 53 51 4c 49  .h".#ifndef SQLI
0280: 54 45 5f 4f 4d 49 54 5f 53 48 41 52 45 44 5f 43  TE_OMIT_SHARED_C
0290: 41 43 48 45 0a 23 69 66 20 53 51 4c 49 54 45 5f  ACHE.#if SQLITE_
02a0: 54 48 52 45 41 44 53 41 46 45 0a 0a 2f 2a 0a 2a  THREADSAFE../*.*
02b0: 2a 20 4f 62 74 61 69 6e 20 74 68 65 20 42 74 53  * Obtain the BtS
02c0: 68 61 72 65 64 20 6d 75 74 65 78 20 61 73 73 6f  hared mutex asso
02d0: 63 69 61 74 65 64 20 77 69 74 68 20 42 2d 54 72  ciated with B-Tr
02e0: 65 65 20 68 61 6e 64 6c 65 20 70 2e 20 41 6c 73  ee handle p. Als
02f0: 6f 2c 0a 2a 2a 20 73 65 74 20 42 74 53 68 61 72  o,.** set BtShar
0300: 65 64 2e 64 62 20 74 6f 20 74 68 65 20 64 61 74  ed.db to the dat
0310: 61 62 61 73 65 20 68 61 6e 64 6c 65 20 61 73 73  abase handle ass
0320: 6f 63 69 61 74 65 64 20 77 69 74 68 20 70 20 61  ociated with p a
0330: 6e 64 20 74 68 65 0a 2a 2a 20 70 2d 3e 6c 6f 63  nd the.** p->loc
0340: 6b 65 64 20 62 6f 6f 6c 65 61 6e 20 74 6f 20 74  ked boolean to t
0350: 72 75 65 2e 0a 2a 2f 0a 73 74 61 74 69 63 20 76  rue..*/.static v
0360: 6f 69 64 20 6c 6f 63 6b 42 74 72 65 65 4d 75 74  oid lockBtreeMut
0370: 65 78 28 42 74 72 65 65 20 2a 70 29 7b 0a 20 20  ex(Btree *p){.  
0380: 61 73 73 65 72 74 28 20 70 2d 3e 6c 6f 63 6b 65  assert( p->locke
0390: 64 3d 3d 30 20 29 3b 0a 20 20 61 73 73 65 72 74  d==0 );.  assert
03a0: 28 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f  ( sqlite3_mutex_
03b0: 6e 6f 74 68 65 6c 64 28 70 2d 3e 70 42 74 2d 3e  notheld(p->pBt->
03c0: 6d 75 74 65 78 29 20 29 3b 0a 20 20 61 73 73 65  mutex) );.  asse
03d0: 72 74 28 20 73 71 6c 69 74 65 33 5f 6d 75 74 65  rt( sqlite3_mute
03e0: 78 5f 68 65 6c 64 28 70 2d 3e 64 62 2d 3e 6d 75  x_held(p->db->mu
03f0: 74 65 78 29 20 29 3b 0a 0a 20 20 73 71 6c 69 74  tex) );..  sqlit
0400: 65 33 5f 6d 75 74 65 78 5f 65 6e 74 65 72 28 70  e3_mutex_enter(p
0410: 2d 3e 70 42 74 2d 3e 6d 75 74 65 78 29 3b 0a 20  ->pBt->mutex);. 
0420: 20 70 2d 3e 70 42 74 2d 3e 64 62 20 3d 20 70 2d   p->pBt->db = p-
0430: 3e 64 62 3b 0a 20 20 70 2d 3e 6c 6f 63 6b 65 64  >db;.  p->locked
0440: 20 3d 20 31 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 52   = 1;.}../*.** R
0450: 65 6c 65 61 73 65 20 74 68 65 20 42 74 53 68 61  elease the BtSha
0460: 72 65 64 20 6d 75 74 65 78 20 61 73 73 6f 63 69  red mutex associ
0470: 61 74 65 64 20 77 69 74 68 20 42 2d 54 72 65 65  ated with B-Tree
0480: 20 68 61 6e 64 6c 65 20 70 20 61 6e 64 0a 2a 2a   handle p and.**
0490: 20 63 6c 65 61 72 20 74 68 65 20 70 2d 3e 6c 6f   clear the p->lo
04a0: 63 6b 65 64 20 62 6f 6f 6c 65 61 6e 2e 0a 2a 2f  cked boolean..*/
04b0: 0a 73 74 61 74 69 63 20 76 6f 69 64 20 75 6e 6c  .static void unl
04c0: 6f 63 6b 42 74 72 65 65 4d 75 74 65 78 28 42 74  ockBtreeMutex(Bt
04d0: 72 65 65 20 2a 70 29 7b 0a 20 20 42 74 53 68 61  ree *p){.  BtSha
04e0: 72 65 64 20 2a 70 42 74 20 3d 20 70 2d 3e 70 42  red *pBt = p->pB
04f0: 74 3b 0a 20 20 61 73 73 65 72 74 28 20 70 2d 3e  t;.  assert( p->
0500: 6c 6f 63 6b 65 64 3d 3d 31 20 29 3b 0a 20 20 61  locked==1 );.  a
0510: 73 73 65 72 74 28 20 73 71 6c 69 74 65 33 5f 6d  ssert( sqlite3_m
0520: 75 74 65 78 5f 68 65 6c 64 28 70 42 74 2d 3e 6d  utex_held(pBt->m
0530: 75 74 65 78 29 20 29 3b 0a 20 20 61 73 73 65 72  utex) );.  asser
0540: 74 28 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  t( sqlite3_mutex
0550: 5f 68 65 6c 64 28 70 2d 3e 64 62 2d 3e 6d 75 74  _held(p->db->mut
0560: 65 78 29 20 29 3b 0a 20 20 61 73 73 65 72 74 28  ex) );.  assert(
0570: 20 70 2d 3e 64 62 3d 3d 70 42 74 2d 3e 64 62 20   p->db==pBt->db 
0580: 29 3b 0a 0a 20 20 73 71 6c 69 74 65 33 5f 6d 75  );..  sqlite3_mu
0590: 74 65 78 5f 6c 65 61 76 65 28 70 42 74 2d 3e 6d  tex_leave(pBt->m
05a0: 75 74 65 78 29 3b 0a 20 20 70 2d 3e 6c 6f 63 6b  utex);.  p->lock
05b0: 65 64 20 3d 20 30 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a  ed = 0;.}../*.**
05c0: 20 45 6e 74 65 72 20 61 20 6d 75 74 65 78 20 6f   Enter a mutex o
05d0: 6e 20 74 68 65 20 67 69 76 65 6e 20 42 54 72 65  n the given BTre
05e0: 65 20 6f 62 6a 65 63 74 2e 0a 2a 2a 0a 2a 2a 20  e object..**.** 
05f0: 49 66 20 74 68 65 20 6f 62 6a 65 63 74 20 69 73  If the object is
0600: 20 6e 6f 74 20 73 68 61 72 61 62 6c 65 2c 20 74   not sharable, t
0610: 68 65 6e 20 6e 6f 20 6d 75 74 65 78 20 69 73 20  hen no mutex is 
0620: 65 76 65 72 20 72 65 71 75 69 72 65 64 0a 2a 2a  ever required.**
0630: 20 61 6e 64 20 74 68 69 73 20 72 6f 75 74 69 6e   and this routin
0640: 65 20 69 73 20 61 20 6e 6f 2d 6f 70 2e 20 20 54  e is a no-op.  T
0650: 68 65 20 75 6e 64 65 72 6c 79 69 6e 67 20 6d 75  he underlying mu
0660: 74 65 78 20 69 73 20 6e 6f 6e 2d 72 65 63 75 72  tex is non-recur
0670: 73 69 76 65 2e 0a 2a 2a 20 42 75 74 20 77 65 20  sive..** But we 
0680: 6b 65 65 70 20 61 20 72 65 66 65 72 65 6e 63 65  keep a reference
0690: 20 63 6f 75 6e 74 20 69 6e 20 42 74 72 65 65 2e   count in Btree.
06a0: 77 61 6e 74 54 6f 4c 6f 63 6b 20 73 6f 20 74 68  wantToLock so th
06b0: 65 20 62 65 68 61 76 69 6f 72 0a 2a 2a 20 6f 66  e behavior.** of
06c0: 20 74 68 69 73 20 69 6e 74 65 72 66 61 63 65 20   this interface 
06d0: 69 73 20 72 65 63 75 72 73 69 76 65 2e 0a 2a 2a  is recursive..**
06e0: 0a 2a 2a 20 54 6f 20 61 76 6f 69 64 20 64 65 61  .** To avoid dea
06f0: 64 6c 6f 63 6b 73 2c 20 6d 75 6c 74 69 70 6c 65  dlocks, multiple
0700: 20 42 74 72 65 65 73 20 61 72 65 20 6c 6f 63 6b   Btrees are lock
0710: 65 64 20 69 6e 20 74 68 65 20 73 61 6d 65 20 6f  ed in the same o
0720: 72 64 65 72 0a 2a 2a 20 62 79 20 61 6c 6c 20 64  rder.** by all d
0730: 61 74 61 62 61 73 65 20 63 6f 6e 6e 65 63 74 69  atabase connecti
0740: 6f 6e 73 2e 20 20 54 68 65 20 70 2d 3e 70 4e 65  ons.  The p->pNe
0750: 78 74 20 69 73 20 61 20 6c 69 73 74 20 6f 66 20  xt is a list of 
0760: 6f 74 68 65 72 0a 2a 2a 20 42 74 72 65 65 73 20  other.** Btrees 
0770: 62 65 6c 6f 6e 67 69 6e 67 20 74 6f 20 74 68 65  belonging to the
0780: 20 73 61 6d 65 20 64 61 74 61 62 61 73 65 20 63   same database c
0790: 6f 6e 6e 65 63 74 69 6f 6e 20 61 73 20 74 68 65  onnection as the
07a0: 20 70 20 42 74 72 65 65 0a 2a 2a 20 77 68 69 63   p Btree.** whic
07b0: 68 20 6e 65 65 64 20 74 6f 20 62 65 20 6c 6f 63  h need to be loc
07c0: 6b 65 64 20 61 66 74 65 72 20 70 2e 20 20 49 66  ked after p.  If
07d0: 20 77 65 20 63 61 6e 6e 6f 74 20 67 65 74 20 61   we cannot get a
07e0: 20 6c 6f 63 6b 20 6f 6e 0a 2a 2a 20 70 2c 20 74   lock on.** p, t
07f0: 68 65 6e 20 66 69 72 73 74 20 75 6e 6c 6f 63 6b  hen first unlock
0800: 20 61 6c 6c 20 6f 66 20 74 68 65 20 6f 74 68 65   all of the othe
0810: 72 73 20 6f 6e 20 70 2d 3e 70 4e 65 78 74 2c 20  rs on p->pNext, 
0820: 74 68 65 6e 20 77 61 69 74 0a 2a 2a 20 66 6f 72  then wait.** for
0830: 20 74 68 65 20 6c 6f 63 6b 20 74 6f 20 62 65 63   the lock to bec
0840: 6f 6d 65 20 61 76 61 69 6c 61 62 6c 65 20 6f 6e  ome available on
0850: 20 70 2c 20 74 68 65 6e 20 72 65 6c 6f 63 6b 20   p, then relock 
0860: 61 6c 6c 20 6f 66 20 74 68 65 0a 2a 2a 20 73 75  all of the.** su
0870: 62 73 65 71 75 65 6e 74 20 42 74 72 65 65 73 20  bsequent Btrees 
0880: 74 68 61 74 20 64 65 73 69 72 65 20 61 20 6c 6f  that desire a lo
0890: 63 6b 2e 0a 2a 2f 0a 76 6f 69 64 20 73 71 6c 69  ck..*/.void sqli
08a0: 74 65 33 42 74 72 65 65 45 6e 74 65 72 28 42 74  te3BtreeEnter(Bt
08b0: 72 65 65 20 2a 70 29 7b 0a 20 20 42 74 72 65 65  ree *p){.  Btree
08c0: 20 2a 70 4c 61 74 65 72 3b 0a 0a 20 20 2f 2a 20   *pLater;..  /* 
08d0: 53 6f 6d 65 20 62 61 73 69 63 20 73 61 6e 69 74  Some basic sanit
08e0: 79 20 63 68 65 63 6b 69 6e 67 20 6f 6e 20 74 68  y checking on th
08f0: 65 20 42 74 72 65 65 2e 20 20 54 68 65 20 6c 69  e Btree.  The li
0900: 73 74 20 6f 66 20 42 74 72 65 65 73 0a 20 20 2a  st of Btrees.  *
0910: 2a 20 63 6f 6e 6e 65 63 74 65 64 20 62 79 20 70  * connected by p
0920: 4e 65 78 74 20 61 6e 64 20 70 50 72 65 76 20 73  Next and pPrev s
0930: 68 6f 75 6c 64 20 62 65 20 69 6e 20 73 6f 72 74  hould be in sort
0940: 65 64 20 6f 72 64 65 72 20 62 79 0a 20 20 2a 2a  ed order by.  **
0950: 20 42 74 72 65 65 2e 70 42 74 20 76 61 6c 75 65   Btree.pBt value
0960: 2e 20 41 6c 6c 20 65 6c 65 6d 65 6e 74 73 20 6f  . All elements o
0970: 66 20 74 68 65 20 6c 69 73 74 20 73 68 6f 75 6c  f the list shoul
0980: 64 20 62 65 6c 6f 6e 67 20 74 6f 0a 20 20 2a 2a  d belong to.  **
0990: 20 74 68 65 20 73 61 6d 65 20 63 6f 6e 6e 65 63   the same connec
09a0: 74 69 6f 6e 2e 20 4f 6e 6c 79 20 73 68 61 72 65  tion. Only share
09b0: 64 20 42 74 72 65 65 73 20 61 72 65 20 6f 6e 20  d Btrees are on 
09c0: 74 68 65 20 6c 69 73 74 2e 20 2a 2f 0a 20 20 61  the list. */.  a
09d0: 73 73 65 72 74 28 20 70 2d 3e 70 4e 65 78 74 3d  ssert( p->pNext=
09e0: 3d 30 20 7c 7c 20 70 2d 3e 70 4e 65 78 74 2d 3e  =0 || p->pNext->
09f0: 70 42 74 3e 70 2d 3e 70 42 74 20 29 3b 0a 20 20  pBt>p->pBt );.  
0a00: 61 73 73 65 72 74 28 20 70 2d 3e 70 50 72 65 76  assert( p->pPrev
0a10: 3d 3d 30 20 7c 7c 20 70 2d 3e 70 50 72 65 76 2d  ==0 || p->pPrev-
0a20: 3e 70 42 74 3c 70 2d 3e 70 42 74 20 29 3b 0a 20  >pBt<p->pBt );. 
0a30: 20 61 73 73 65 72 74 28 20 70 2d 3e 70 4e 65 78   assert( p->pNex
0a40: 74 3d 3d 30 20 7c 7c 20 70 2d 3e 70 4e 65 78 74  t==0 || p->pNext
0a50: 2d 3e 64 62 3d 3d 70 2d 3e 64 62 20 29 3b 0a 20  ->db==p->db );. 
0a60: 20 61 73 73 65 72 74 28 20 70 2d 3e 70 50 72 65   assert( p->pPre
0a70: 76 3d 3d 30 20 7c 7c 20 70 2d 3e 70 50 72 65 76  v==0 || p->pPrev
0a80: 2d 3e 64 62 3d 3d 70 2d 3e 64 62 20 29 3b 0a 20  ->db==p->db );. 
0a90: 20 61 73 73 65 72 74 28 20 70 2d 3e 73 68 61 72   assert( p->shar
0aa0: 61 62 6c 65 20 7c 7c 20 28 70 2d 3e 70 4e 65 78  able || (p->pNex
0ab0: 74 3d 3d 30 20 26 26 20 70 2d 3e 70 50 72 65 76  t==0 && p->pPrev
0ac0: 3d 3d 30 29 20 29 3b 0a 0a 20 20 2f 2a 20 43 68  ==0) );..  /* Ch
0ad0: 65 63 6b 20 66 6f 72 20 6c 6f 63 6b 69 6e 67 20  eck for locking 
0ae0: 63 6f 6e 73 69 73 74 65 6e 63 79 20 2a 2f 0a 20  consistency */. 
0af0: 20 61 73 73 65 72 74 28 20 21 70 2d 3e 6c 6f 63   assert( !p->loc
0b00: 6b 65 64 20 7c 7c 20 70 2d 3e 77 61 6e 74 54 6f  ked || p->wantTo
0b10: 4c 6f 63 6b 3e 30 20 29 3b 0a 20 20 61 73 73 65  Lock>0 );.  asse
0b20: 72 74 28 20 70 2d 3e 73 68 61 72 61 62 6c 65 20  rt( p->sharable 
0b30: 7c 7c 20 70 2d 3e 77 61 6e 74 54 6f 4c 6f 63 6b  || p->wantToLock
0b40: 3d 3d 30 20 29 3b 0a 0a 20 20 2f 2a 20 57 65 20  ==0 );..  /* We 
0b50: 73 68 6f 75 6c 64 20 61 6c 72 65 61 64 79 20 68  should already h
0b60: 6f 6c 64 20 61 20 6c 6f 63 6b 20 6f 6e 20 74 68  old a lock on th
0b70: 65 20 64 61 74 61 62 61 73 65 20 63 6f 6e 6e 65  e database conne
0b80: 63 74 69 6f 6e 20 2a 2f 0a 20 20 61 73 73 65 72  ction */.  asser
0b90: 74 28 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  t( sqlite3_mutex
0ba0: 5f 68 65 6c 64 28 70 2d 3e 64 62 2d 3e 6d 75 74  _held(p->db->mut
0bb0: 65 78 29 20 29 3b 0a 0a 20 20 2f 2a 20 55 6e 6c  ex) );..  /* Unl
0bc0: 65 73 73 20 74 68 65 20 64 61 74 61 62 61 73 65  ess the database
0bd0: 20 69 73 20 73 68 61 72 61 62 6c 65 20 61 6e 64   is sharable and
0be0: 20 75 6e 6c 6f 63 6b 65 64 2c 20 74 68 65 6e 20   unlocked, then 
0bf0: 42 74 53 68 61 72 65 64 2e 64 62 0a 20 20 2a 2a  BtShared.db.  **
0c00: 20 73 68 6f 75 6c 64 20 61 6c 72 65 61 64 79 20   should already 
0c10: 62 65 20 73 65 74 20 63 6f 72 72 65 63 74 6c 79  be set correctly
0c20: 2e 20 2a 2f 0a 20 20 61 73 73 65 72 74 28 20 28  . */.  assert( (
0c30: 70 2d 3e 6c 6f 63 6b 65 64 3d 3d 30 20 26 26 20  p->locked==0 && 
0c40: 70 2d 3e 73 68 61 72 61 62 6c 65 29 20 7c 7c 20  p->sharable) || 
0c50: 70 2d 3e 70 42 74 2d 3e 64 62 3d 3d 70 2d 3e 64  p->pBt->db==p->d
0c60: 62 20 29 3b 0a 0a 20 20 69 66 28 20 21 70 2d 3e  b );..  if( !p->
0c70: 73 68 61 72 61 62 6c 65 20 29 20 72 65 74 75 72  sharable ) retur
0c80: 6e 3b 0a 20 20 70 2d 3e 77 61 6e 74 54 6f 4c 6f  n;.  p->wantToLo
0c90: 63 6b 2b 2b 3b 0a 20 20 69 66 28 20 70 2d 3e 6c  ck++;.  if( p->l
0ca0: 6f 63 6b 65 64 20 29 20 72 65 74 75 72 6e 3b 0a  ocked ) return;.
0cb0: 0a 20 20 2f 2a 20 49 6e 20 6d 6f 73 74 20 63 61  .  /* In most ca
0cc0: 73 65 73 2c 20 77 65 20 73 68 6f 75 6c 64 20 62  ses, we should b
0cd0: 65 20 61 62 6c 65 20 74 6f 20 61 63 71 75 69 72  e able to acquir
0ce0: 65 20 74 68 65 20 6c 6f 63 6b 20 77 65 0a 20 20  e the lock we.  
0cf0: 2a 2a 20 77 61 6e 74 20 77 69 74 68 6f 75 74 20  ** want without 
0d00: 68 61 76 69 6e 67 20 74 6f 20 67 6f 20 74 68 72  having to go thr
0d10: 6f 75 67 68 74 20 74 68 65 20 61 73 63 65 6e 64  ought the ascend
0d20: 69 6e 67 20 6c 6f 63 6b 0a 20 20 2a 2a 20 70 72  ing lock.  ** pr
0d30: 6f 63 65 64 75 72 65 20 74 68 61 74 20 66 6f 6c  ocedure that fol
0d40: 6c 6f 77 73 2e 20 20 4a 75 73 74 20 62 65 20 73  lows.  Just be s
0d50: 75 72 65 20 6e 6f 74 20 74 6f 20 62 6c 6f 63 6b  ure not to block
0d60: 2e 0a 20 20 2a 2f 0a 20 20 69 66 28 20 73 71 6c  ..  */.  if( sql
0d70: 69 74 65 33 5f 6d 75 74 65 78 5f 74 72 79 28 70  ite3_mutex_try(p
0d80: 2d 3e 70 42 74 2d 3e 6d 75 74 65 78 29 3d 3d 53  ->pBt->mutex)==S
0d90: 51 4c 49 54 45 5f 4f 4b 20 29 7b 0a 20 20 20 20  QLITE_OK ){.    
0da0: 70 2d 3e 70 42 74 2d 3e 64 62 20 3d 20 70 2d 3e  p->pBt->db = p->
0db0: 64 62 3b 0a 20 20 20 20 70 2d 3e 6c 6f 63 6b 65  db;.    p->locke
0dc0: 64 20 3d 20 31 3b 0a 20 20 20 20 72 65 74 75 72  d = 1;.    retur
0dd0: 6e 3b 0a 20 20 7d 0a 0a 20 20 2f 2a 20 54 6f 20  n;.  }..  /* To 
0de0: 61 76 6f 69 64 20 64 65 61 64 6c 6f 63 6b 2c 20  avoid deadlock, 
0df0: 66 69 72 73 74 20 72 65 6c 65 61 73 65 20 61 6c  first release al
0e00: 6c 20 6c 6f 63 6b 73 20 77 69 74 68 20 61 20 6c  l locks with a l
0e10: 61 72 67 65 72 0a 20 20 2a 2a 20 42 74 53 68 61  arger.  ** BtSha
0e20: 72 65 64 20 61 64 64 72 65 73 73 2e 20 20 54 68  red address.  Th
0e30: 65 6e 20 61 63 71 75 69 72 65 20 6f 75 72 20 6c  en acquire our l
0e40: 6f 63 6b 2e 20 20 54 68 65 6e 20 72 65 61 63 71  ock.  Then reacq
0e50: 75 69 72 65 0a 20 20 2a 2a 20 74 68 65 20 6f 74  uire.  ** the ot
0e60: 68 65 72 20 42 74 53 68 61 72 65 64 20 6c 6f 63  her BtShared loc
0e70: 6b 73 20 74 68 61 74 20 77 65 20 75 73 65 64 20  ks that we used 
0e80: 74 6f 20 68 6f 6c 64 20 69 6e 20 61 73 63 65 6e  to hold in ascen
0e90: 64 69 6e 67 0a 20 20 2a 2a 20 6f 72 64 65 72 2e  ding.  ** order.
0ea0: 0a 20 20 2a 2f 0a 20 20 66 6f 72 28 70 4c 61 74  .  */.  for(pLat
0eb0: 65 72 3d 70 2d 3e 70 4e 65 78 74 3b 20 70 4c 61  er=p->pNext; pLa
0ec0: 74 65 72 3b 20 70 4c 61 74 65 72 3d 70 4c 61 74  ter; pLater=pLat
0ed0: 65 72 2d 3e 70 4e 65 78 74 29 7b 0a 20 20 20 20  er->pNext){.    
0ee0: 61 73 73 65 72 74 28 20 70 4c 61 74 65 72 2d 3e  assert( pLater->
0ef0: 73 68 61 72 61 62 6c 65 20 29 3b 0a 20 20 20 20  sharable );.    
0f00: 61 73 73 65 72 74 28 20 70 4c 61 74 65 72 2d 3e  assert( pLater->
0f10: 70 4e 65 78 74 3d 3d 30 20 7c 7c 20 70 4c 61 74  pNext==0 || pLat
0f20: 65 72 2d 3e 70 4e 65 78 74 2d 3e 70 42 74 3e 70  er->pNext->pBt>p
0f30: 4c 61 74 65 72 2d 3e 70 42 74 20 29 3b 0a 20 20  Later->pBt );.  
0f40: 20 20 61 73 73 65 72 74 28 20 21 70 4c 61 74 65    assert( !pLate
0f50: 72 2d 3e 6c 6f 63 6b 65 64 20 7c 7c 20 70 4c 61  r->locked || pLa
0f60: 74 65 72 2d 3e 77 61 6e 74 54 6f 4c 6f 63 6b 3e  ter->wantToLock>
0f70: 30 20 29 3b 0a 20 20 20 20 69 66 28 20 70 4c 61  0 );.    if( pLa
0f80: 74 65 72 2d 3e 6c 6f 63 6b 65 64 20 29 7b 0a 20  ter->locked ){. 
0f90: 20 20 20 20 20 75 6e 6c 6f 63 6b 42 74 72 65 65       unlockBtree
0fa0: 4d 75 74 65 78 28 70 4c 61 74 65 72 29 3b 0a 20  Mutex(pLater);. 
0fb0: 20 20 20 7d 0a 20 20 7d 0a 20 20 6c 6f 63 6b 42     }.  }.  lockB
0fc0: 74 72 65 65 4d 75 74 65 78 28 70 29 3b 0a 20 20  treeMutex(p);.  
0fd0: 66 6f 72 28 70 4c 61 74 65 72 3d 70 2d 3e 70 4e  for(pLater=p->pN
0fe0: 65 78 74 3b 20 70 4c 61 74 65 72 3b 20 70 4c 61  ext; pLater; pLa
0ff0: 74 65 72 3d 70 4c 61 74 65 72 2d 3e 70 4e 65 78  ter=pLater->pNex
1000: 74 29 7b 0a 20 20 20 20 69 66 28 20 70 4c 61 74  t){.    if( pLat
1010: 65 72 2d 3e 77 61 6e 74 54 6f 4c 6f 63 6b 20 29  er->wantToLock )
1020: 7b 0a 20 20 20 20 20 20 6c 6f 63 6b 42 74 72 65  {.      lockBtre
1030: 65 4d 75 74 65 78 28 70 4c 61 74 65 72 29 3b 0a  eMutex(pLater);.
1040: 20 20 20 20 7d 0a 20 20 7d 0a 7d 0a 0a 2f 2a 0a      }.  }.}../*.
1050: 2a 2a 20 45 78 69 74 20 74 68 65 20 72 65 63 75  ** Exit the recu
1060: 72 73 69 76 65 20 6d 75 74 65 78 20 6f 6e 20 61  rsive mutex on a
1070: 20 42 74 72 65 65 2e 0a 2a 2f 0a 76 6f 69 64 20   Btree..*/.void 
1080: 73 71 6c 69 74 65 33 42 74 72 65 65 4c 65 61 76  sqlite3BtreeLeav
1090: 65 28 42 74 72 65 65 20 2a 70 29 7b 0a 20 20 69  e(Btree *p){.  i
10a0: 66 28 20 70 2d 3e 73 68 61 72 61 62 6c 65 20 29  f( p->sharable )
10b0: 7b 0a 20 20 20 20 61 73 73 65 72 74 28 20 70 2d  {.    assert( p-
10c0: 3e 77 61 6e 74 54 6f 4c 6f 63 6b 3e 30 20 29 3b  >wantToLock>0 );
10d0: 0a 20 20 20 20 70 2d 3e 77 61 6e 74 54 6f 4c 6f  .    p->wantToLo
10e0: 63 6b 2d 2d 3b 0a 20 20 20 20 69 66 28 20 70 2d  ck--;.    if( p-
10f0: 3e 77 61 6e 74 54 6f 4c 6f 63 6b 3d 3d 30 20 29  >wantToLock==0 )
1100: 7b 0a 20 20 20 20 20 20 75 6e 6c 6f 63 6b 42 74  {.      unlockBt
1110: 72 65 65 4d 75 74 65 78 28 70 29 3b 0a 20 20 20  reeMutex(p);.   
1120: 20 7d 0a 20 20 7d 0a 7d 0a 0a 23 69 66 6e 64 65   }.  }.}..#ifnde
1130: 66 20 4e 44 45 42 55 47 0a 2f 2a 0a 2a 2a 20 52  f NDEBUG./*.** R
1140: 65 74 75 72 6e 20 74 72 75 65 20 69 66 20 74 68  eturn true if th
1150: 65 20 42 74 53 68 61 72 65 64 20 6d 75 74 65 78  e BtShared mutex
1160: 20 69 73 20 68 65 6c 64 20 6f 6e 20 74 68 65 20   is held on the 
1170: 62 74 72 65 65 2c 20 6f 72 20 69 66 20 74 68 65  btree, or if the
1180: 0a 2a 2a 20 42 2d 54 72 65 65 20 69 73 20 6e 6f  .** B-Tree is no
1190: 74 20 6d 61 72 6b 65 64 20 61 73 20 73 68 61 72  t marked as shar
11a0: 61 62 6c 65 2e 0a 2a 2a 0a 2a 2a 20 54 68 69 73  able..**.** This
11b0: 20 72 6f 75 74 69 6e 65 20 69 73 20 75 73 65 64   routine is used
11c0: 20 6f 6e 6c 79 20 66 72 6f 6d 20 77 69 74 68 69   only from withi
11d0: 6e 20 61 73 73 65 72 74 28 29 20 73 74 61 74 65  n assert() state
11e0: 6d 65 6e 74 73 2e 0a 2a 2f 0a 69 6e 74 20 73 71  ments..*/.int sq
11f0: 6c 69 74 65 33 42 74 72 65 65 48 6f 6c 64 73 4d  lite3BtreeHoldsM
1200: 75 74 65 78 28 42 74 72 65 65 20 2a 70 29 7b 0a  utex(Btree *p){.
1210: 20 20 61 73 73 65 72 74 28 20 70 2d 3e 73 68 61    assert( p->sha
1220: 72 61 62 6c 65 3d 3d 30 20 7c 7c 20 70 2d 3e 6c  rable==0 || p->l
1230: 6f 63 6b 65 64 3d 3d 30 20 7c 7c 20 70 2d 3e 77  ocked==0 || p->w
1240: 61 6e 74 54 6f 4c 6f 63 6b 3e 30 20 29 3b 0a 20  antToLock>0 );. 
1250: 20 61 73 73 65 72 74 28 20 70 2d 3e 73 68 61 72   assert( p->shar
1260: 61 62 6c 65 3d 3d 30 20 7c 7c 20 70 2d 3e 6c 6f  able==0 || p->lo
1270: 63 6b 65 64 3d 3d 30 20 7c 7c 20 70 2d 3e 64 62  cked==0 || p->db
1280: 3d 3d 70 2d 3e 70 42 74 2d 3e 64 62 20 29 3b 0a  ==p->pBt->db );.
1290: 20 20 61 73 73 65 72 74 28 20 70 2d 3e 73 68 61    assert( p->sha
12a0: 72 61 62 6c 65 3d 3d 30 20 7c 7c 20 70 2d 3e 6c  rable==0 || p->l
12b0: 6f 63 6b 65 64 3d 3d 30 20 7c 7c 20 73 71 6c 69  ocked==0 || sqli
12c0: 74 65 33 5f 6d 75 74 65 78 5f 68 65 6c 64 28 70  te3_mutex_held(p
12d0: 2d 3e 70 42 74 2d 3e 6d 75 74 65 78 29 20 29 3b  ->pBt->mutex) );
12e0: 0a 20 20 61 73 73 65 72 74 28 20 70 2d 3e 73 68  .  assert( p->sh
12f0: 61 72 61 62 6c 65 3d 3d 30 20 7c 7c 20 70 2d 3e  arable==0 || p->
1300: 6c 6f 63 6b 65 64 3d 3d 30 20 7c 7c 20 73 71 6c  locked==0 || sql
1310: 69 74 65 33 5f 6d 75 74 65 78 5f 68 65 6c 64 28  ite3_mutex_held(
1320: 70 2d 3e 64 62 2d 3e 6d 75 74 65 78 29 20 29 3b  p->db->mutex) );
1330: 0a 0a 20 20 72 65 74 75 72 6e 20 28 70 2d 3e 73  ..  return (p->s
1340: 68 61 72 61 62 6c 65 3d 3d 30 20 7c 7c 20 70 2d  harable==0 || p-
1350: 3e 6c 6f 63 6b 65 64 29 3b 0a 7d 0a 23 65 6e 64  >locked);.}.#end
1360: 69 66 0a 0a 0a 23 69 66 6e 64 65 66 20 53 51 4c  if...#ifndef SQL
1370: 49 54 45 5f 4f 4d 49 54 5f 49 4e 43 52 42 4c 4f  ITE_OMIT_INCRBLO
1380: 42 0a 2f 2a 0a 2a 2a 20 45 6e 74 65 72 20 61 6e  B./*.** Enter an
1390: 64 20 6c 65 61 76 65 20 61 20 6d 75 74 65 78 20  d leave a mutex 
13a0: 6f 6e 20 61 20 42 74 72 65 65 20 67 69 76 65 6e  on a Btree given
13b0: 20 61 20 63 75 72 73 6f 72 20 6f 77 6e 65 64 20   a cursor owned 
13c0: 62 79 20 74 68 61 74 0a 2a 2a 20 42 74 72 65 65  by that.** Btree
13d0: 2e 20 20 54 68 65 73 65 20 65 6e 74 72 79 20 70  .  These entry p
13e0: 6f 69 6e 74 73 20 61 72 65 20 75 73 65 64 20 62  oints are used b
13f0: 79 20 69 6e 63 72 65 6d 65 6e 74 61 6c 20 49 2f  y incremental I/
1400: 4f 20 61 6e 64 20 63 61 6e 20 62 65 0a 2a 2a 20  O and can be.** 
1410: 6f 6d 69 74 74 65 64 20 69 66 20 74 68 61 74 20  omitted if that 
1420: 6d 6f 64 75 6c 65 20 69 73 20 6e 6f 74 20 75 73  module is not us
1430: 65 64 2e 0a 2a 2f 0a 76 6f 69 64 20 73 71 6c 69  ed..*/.void sqli
1440: 74 65 33 42 74 72 65 65 45 6e 74 65 72 43 75 72  te3BtreeEnterCur
1450: 73 6f 72 28 42 74 43 75 72 73 6f 72 20 2a 70 43  sor(BtCursor *pC
1460: 75 72 29 7b 0a 20 20 73 71 6c 69 74 65 33 42 74  ur){.  sqlite3Bt
1470: 72 65 65 45 6e 74 65 72 28 70 43 75 72 2d 3e 70  reeEnter(pCur->p
1480: 42 74 72 65 65 29 3b 0a 7d 0a 76 6f 69 64 20 73  Btree);.}.void s
1490: 71 6c 69 74 65 33 42 74 72 65 65 4c 65 61 76 65  qlite3BtreeLeave
14a0: 43 75 72 73 6f 72 28 42 74 43 75 72 73 6f 72 20  Cursor(BtCursor 
14b0: 2a 70 43 75 72 29 7b 0a 20 20 73 71 6c 69 74 65  *pCur){.  sqlite
14c0: 33 42 74 72 65 65 4c 65 61 76 65 28 70 43 75 72  3BtreeLeave(pCur
14d0: 2d 3e 70 42 74 72 65 65 29 3b 0a 7d 0a 23 65 6e  ->pBtree);.}.#en
14e0: 64 69 66 20 2f 2a 20 53 51 4c 49 54 45 5f 4f 4d  dif /* SQLITE_OM
14f0: 49 54 5f 49 4e 43 52 42 4c 4f 42 20 2a 2f 0a 0a  IT_INCRBLOB */..
1500: 0a 2f 2a 0a 2a 2a 20 45 6e 74 65 72 20 74 68 65  ./*.** Enter the
1510: 20 6d 75 74 65 78 20 6f 6e 20 65 76 65 72 79 20   mutex on every 
1520: 42 74 72 65 65 20 61 73 73 6f 63 69 61 74 65 64  Btree associated
1530: 20 77 69 74 68 20 61 20 64 61 74 61 62 61 73 65   with a database
1540: 0a 2a 2a 20 63 6f 6e 6e 65 63 74 69 6f 6e 2e 20  .** connection. 
1550: 20 54 68 69 73 20 69 73 20 6e 65 65 64 65 64 20   This is needed 
1560: 28 66 6f 72 20 65 78 61 6d 70 6c 65 29 20 70 72  (for example) pr
1570: 69 6f 72 20 74 6f 20 70 61 72 73 69 6e 67 0a 2a  ior to parsing.*
1580: 2a 20 61 20 73 74 61 74 65 6d 65 6e 74 20 73 69  * a statement si
1590: 6e 63 65 20 77 65 20 77 69 6c 6c 20 62 65 20 63  nce we will be c
15a0: 6f 6d 70 61 72 69 6e 67 20 74 61 62 6c 65 20 61  omparing table a
15b0: 6e 64 20 63 6f 6c 75 6d 6e 20 6e 61 6d 65 73 0a  nd column names.
15c0: 2a 2a 20 61 67 61 69 6e 73 74 20 61 6c 6c 20 73  ** against all s
15d0: 63 68 65 6d 61 73 20 61 6e 64 20 77 65 20 64 6f  chemas and we do
15e0: 20 6e 6f 74 20 77 61 6e 74 20 74 68 6f 73 65 20   not want those 
15f0: 73 63 68 65 6d 61 73 20 62 65 69 6e 67 0a 2a 2a  schemas being.**
1600: 20 72 65 73 65 74 20 6f 75 74 20 66 72 6f 6d 20   reset out from 
1610: 75 6e 64 65 72 20 75 73 2e 0a 2a 2a 0a 2a 2a 20  under us..**.** 
1620: 54 68 65 72 65 20 69 73 20 61 20 63 6f 72 72 65  There is a corre
1630: 73 70 6f 6e 64 69 6e 67 20 6c 65 61 76 65 2d 61  sponding leave-a
1640: 6c 6c 20 70 72 6f 63 65 64 75 72 65 73 2e 0a 2a  ll procedures..*
1650: 2a 0a 2a 2a 20 45 6e 74 65 72 20 74 68 65 20 6d  *.** Enter the m
1660: 75 74 65 78 65 73 20 69 6e 20 61 63 63 65 6e 64  utexes in accend
1670: 69 6e 67 20 6f 72 64 65 72 20 62 79 20 42 74 53  ing order by BtS
1680: 68 61 72 65 64 20 70 6f 69 6e 74 65 72 20 61 64  hared pointer ad
1690: 64 72 65 73 73 0a 2a 2a 20 74 6f 20 61 76 6f 69  dress.** to avoi
16a0: 64 20 74 68 65 20 70 6f 73 73 69 62 69 6c 69 74  d the possibilit
16b0: 79 20 6f 66 20 64 65 61 64 6c 6f 63 6b 20 77 68  y of deadlock wh
16c0: 65 6e 20 74 77 6f 20 74 68 72 65 61 64 73 20 77  en two threads w
16d0: 69 74 68 0a 2a 2a 20 74 77 6f 20 6f 72 20 6d 6f  ith.** two or mo
16e0: 72 65 20 62 74 72 65 65 73 20 69 6e 20 63 6f 6d  re btrees in com
16f0: 6d 6f 6e 20 62 6f 74 68 20 74 72 79 20 74 6f 20  mon both try to 
1700: 6c 6f 63 6b 20 61 6c 6c 20 74 68 65 69 72 20 62  lock all their b
1710: 74 72 65 65 73 0a 2a 2a 20 61 74 20 74 68 65 20  trees.** at the 
1720: 73 61 6d 65 20 69 6e 73 74 61 6e 74 2e 0a 2a 2f  same instant..*/
1730: 0a 76 6f 69 64 20 73 71 6c 69 74 65 33 42 74 72  .void sqlite3Btr
1740: 65 65 45 6e 74 65 72 41 6c 6c 28 73 71 6c 69 74  eeEnterAll(sqlit
1750: 65 33 20 2a 64 62 29 7b 0a 20 20 69 6e 74 20 69  e3 *db){.  int i
1760: 3b 0a 20 20 42 74 72 65 65 20 2a 70 3b 0a 20 20  ;.  Btree *p;.  
1770: 61 73 73 65 72 74 28 20 73 71 6c 69 74 65 33 5f  assert( sqlite3_
1780: 6d 75 74 65 78 5f 68 65 6c 64 28 64 62 2d 3e 6d  mutex_held(db->m
1790: 75 74 65 78 29 20 29 3b 0a 20 20 66 6f 72 28 69  utex) );.  for(i
17a0: 3d 30 3b 20 69 3c 64 62 2d 3e 6e 44 62 3b 20 69  =0; i<db->nDb; i
17b0: 2b 2b 29 7b 0a 20 20 20 20 70 20 3d 20 64 62 2d  ++){.    p = db-
17c0: 3e 61 44 62 5b 69 5d 2e 70 42 74 3b 0a 20 20 20  >aDb[i].pBt;.   
17d0: 20 69 66 28 20 70 20 29 20 73 71 6c 69 74 65 33   if( p ) sqlite3
17e0: 42 74 72 65 65 45 6e 74 65 72 28 70 29 3b 0a 20  BtreeEnter(p);. 
17f0: 20 7d 0a 7d 0a 76 6f 69 64 20 73 71 6c 69 74 65   }.}.void sqlite
1800: 33 42 74 72 65 65 4c 65 61 76 65 41 6c 6c 28 73  3BtreeLeaveAll(s
1810: 71 6c 69 74 65 33 20 2a 64 62 29 7b 0a 20 20 69  qlite3 *db){.  i
1820: 6e 74 20 69 3b 0a 20 20 42 74 72 65 65 20 2a 70  nt i;.  Btree *p
1830: 3b 0a 20 20 61 73 73 65 72 74 28 20 73 71 6c 69  ;.  assert( sqli
1840: 74 65 33 5f 6d 75 74 65 78 5f 68 65 6c 64 28 64  te3_mutex_held(d
1850: 62 2d 3e 6d 75 74 65 78 29 20 29 3b 0a 20 20 66  b->mutex) );.  f
1860: 6f 72 28 69 3d 30 3b 20 69 3c 64 62 2d 3e 6e 44  or(i=0; i<db->nD
1870: 62 3b 20 69 2b 2b 29 7b 0a 20 20 20 20 70 20 3d  b; i++){.    p =
1880: 20 64 62 2d 3e 61 44 62 5b 69 5d 2e 70 42 74 3b   db->aDb[i].pBt;
1890: 0a 20 20 20 20 69 66 28 20 70 20 29 20 73 71 6c  .    if( p ) sql
18a0: 69 74 65 33 42 74 72 65 65 4c 65 61 76 65 28 70  ite3BtreeLeave(p
18b0: 29 3b 0a 20 20 7d 0a 7d 0a 0a 2f 2a 0a 2a 2a 20  );.  }.}../*.** 
18c0: 52 65 74 75 72 6e 20 74 72 75 65 20 69 66 20 61  Return true if a
18d0: 20 70 61 72 74 69 63 75 6c 61 72 20 42 74 72 65   particular Btre
18e0: 65 20 72 65 71 75 69 72 65 73 20 61 20 6c 6f 63  e requires a loc
18f0: 6b 2e 20 20 52 65 74 75 72 6e 20 46 41 4c 53 45  k.  Return FALSE
1900: 20 69 66 0a 2a 2a 20 6e 6f 20 6c 6f 63 6b 20 69   if.** no lock i
1910: 73 20 65 76 65 72 20 72 65 71 75 69 72 65 64 20  s ever required 
1920: 73 69 6e 63 65 20 69 74 20 69 73 20 6e 6f 74 20  since it is not 
1930: 73 68 61 72 61 62 6c 65 2e 0a 2a 2f 0a 69 6e 74  sharable..*/.int
1940: 20 73 71 6c 69 74 65 33 42 74 72 65 65 53 68 61   sqlite3BtreeSha
1950: 72 61 62 6c 65 28 42 74 72 65 65 20 2a 70 29 7b  rable(Btree *p){
1960: 0a 20 20 72 65 74 75 72 6e 20 70 2d 3e 73 68 61  .  return p->sha
1970: 72 61 62 6c 65 3b 0a 7d 0a 0a 23 69 66 6e 64 65  rable;.}..#ifnde
1980: 66 20 4e 44 45 42 55 47 0a 2f 2a 0a 2a 2a 20 52  f NDEBUG./*.** R
1990: 65 74 75 72 6e 20 74 72 75 65 20 69 66 20 74 68  eturn true if th
19a0: 65 20 63 75 72 72 65 6e 74 20 74 68 72 65 61 64  e current thread
19b0: 20 68 6f 6c 64 73 20 74 68 65 20 64 61 74 61 62   holds the datab
19c0: 61 73 65 20 63 6f 6e 6e 65 63 74 69 6f 6e 0a 2a  ase connection.*
19d0: 2a 20 6d 75 74 65 78 20 61 6e 64 20 61 6c 6c 20  * mutex and all 
19e0: 72 65 71 75 69 72 65 64 20 42 74 53 68 61 72 65  required BtShare
19f0: 64 20 6d 75 74 65 78 65 73 2e 0a 2a 2a 0a 2a 2a  d mutexes..**.**
1a00: 20 54 68 69 73 20 72 6f 75 74 69 6e 65 20 69 73   This routine is
1a10: 20 75 73 65 64 20 69 6e 73 69 64 65 20 61 73 73   used inside ass
1a20: 65 72 74 28 29 20 73 74 61 74 65 6d 65 6e 74 73  ert() statements
1a30: 20 6f 6e 6c 79 2e 0a 2a 2f 0a 69 6e 74 20 73 71   only..*/.int sq
1a40: 6c 69 74 65 33 42 74 72 65 65 48 6f 6c 64 73 41  lite3BtreeHoldsA
1a50: 6c 6c 4d 75 74 65 78 65 73 28 73 71 6c 69 74 65  llMutexes(sqlite
1a60: 33 20 2a 64 62 29 7b 0a 20 20 69 6e 74 20 69 3b  3 *db){.  int i;
1a70: 0a 20 20 69 66 28 20 21 73 71 6c 69 74 65 33 5f  .  if( !sqlite3_
1a80: 6d 75 74 65 78 5f 68 65 6c 64 28 64 62 2d 3e 6d  mutex_held(db->m
1a90: 75 74 65 78 29 20 29 7b 0a 20 20 20 20 72 65 74  utex) ){.    ret
1aa0: 75 72 6e 20 30 3b 0a 20 20 7d 0a 20 20 66 6f 72  urn 0;.  }.  for
1ab0: 28 69 3d 30 3b 20 69 3c 64 62 2d 3e 6e 44 62 3b  (i=0; i<db->nDb;
1ac0: 20 69 2b 2b 29 7b 0a 20 20 20 20 42 74 72 65 65   i++){.    Btree
1ad0: 20 2a 70 3b 0a 20 20 20 20 70 20 3d 20 64 62 2d   *p;.    p = db-
1ae0: 3e 61 44 62 5b 69 5d 2e 70 42 74 3b 0a 20 20 20  >aDb[i].pBt;.   
1af0: 20 69 66 28 20 70 20 26 26 20 70 2d 3e 73 68 61   if( p && p->sha
1b00: 72 61 62 6c 65 20 26 26 0a 20 20 20 20 20 20 20  rable &&.       
1b10: 20 20 28 70 2d 3e 77 61 6e 74 54 6f 4c 6f 63 6b    (p->wantToLock
1b20: 3d 3d 30 20 7c 7c 20 21 73 71 6c 69 74 65 33 5f  ==0 || !sqlite3_
1b30: 6d 75 74 65 78 5f 68 65 6c 64 28 70 2d 3e 70 42  mutex_held(p->pB
1b40: 74 2d 3e 6d 75 74 65 78 29 29 20 29 7b 0a 20 20  t->mutex)) ){.  
1b50: 20 20 20 20 72 65 74 75 72 6e 20 30 3b 0a 20 20      return 0;.  
1b60: 20 20 7d 0a 20 20 7d 0a 20 20 72 65 74 75 72 6e    }.  }.  return
1b70: 20 31 3b 0a 7d 0a 23 65 6e 64 69 66 20 2f 2a 20   1;.}.#endif /* 
1b80: 4e 44 45 42 55 47 20 2a 2f 0a 0a 23 69 66 6e 64  NDEBUG */..#ifnd
1b90: 65 66 20 4e 44 45 42 55 47 0a 2f 2a 0a 2a 2a 20  ef NDEBUG./*.** 
1ba0: 52 65 74 75 72 6e 20 74 72 75 65 20 69 66 20 74  Return true if t
1bb0: 68 65 20 63 6f 72 72 65 63 74 20 6d 75 74 65 78  he correct mutex
1bc0: 65 73 20 61 72 65 20 68 65 6c 64 20 66 6f 72 20  es are held for 
1bd0: 61 63 63 65 73 73 69 6e 67 20 74 68 65 0a 2a 2a  accessing the.**
1be0: 20 64 62 2d 3e 61 44 62 5b 69 44 62 5d 2e 70 53   db->aDb[iDb].pS
1bf0: 63 68 65 6d 61 20 73 74 72 75 63 74 75 72 65 2e  chema structure.
1c00: 20 20 54 68 65 20 6d 75 74 65 78 65 73 20 72 65    The mutexes re
1c10: 71 75 69 72 65 64 20 66 6f 72 20 73 63 68 65 6d  quired for schem
1c20: 61 0a 2a 2a 20 61 63 63 65 73 73 20 61 72 65 3a  a.** access are:
1c30: 0a 2a 2a 0a 2a 2a 20 20 20 28 31 29 20 54 68 65  .**.**   (1) The
1c40: 20 6d 75 74 65 78 20 6f 6e 20 64 62 0a 2a 2a 20   mutex on db.** 
1c50: 20 20 28 32 29 20 69 66 20 69 44 62 21 3d 31 2c    (2) if iDb!=1,
1c60: 20 74 68 65 6e 20 74 68 65 20 6d 75 74 65 78 20   then the mutex 
1c70: 6f 6e 20 64 62 2d 3e 61 44 62 5b 69 44 62 5d 2e  on db->aDb[iDb].
1c80: 70 42 74 2e 0a 2a 2a 0a 2a 2a 20 49 66 20 70 53  pBt..**.** If pS
1c90: 63 68 65 6d 61 20 69 73 20 6e 6f 74 20 4e 55 4c  chema is not NUL
1ca0: 4c 2c 20 74 68 65 6e 20 69 44 62 20 69 73 20 63  L, then iDb is c
1cb0: 6f 6d 70 75 74 65 64 20 66 72 6f 6d 20 70 53 63  omputed from pSc
1cc0: 68 65 6d 61 20 61 6e 64 0a 2a 2a 20 64 62 20 75  hema and.** db u
1cd0: 73 69 6e 67 20 73 71 6c 69 74 65 33 53 63 68 65  sing sqlite3Sche
1ce0: 6d 61 54 6f 49 6e 64 65 78 28 29 2e 0a 2a 2f 0a  maToIndex()..*/.
1cf0: 69 6e 74 20 73 71 6c 69 74 65 33 53 63 68 65 6d  int sqlite3Schem
1d00: 61 4d 75 74 65 78 48 65 6c 64 28 73 71 6c 69 74  aMutexHeld(sqlit
1d10: 65 33 20 2a 64 62 2c 20 69 6e 74 20 69 44 62 2c  e3 *db, int iDb,
1d20: 20 53 63 68 65 6d 61 20 2a 70 53 63 68 65 6d 61   Schema *pSchema
1d30: 29 7b 0a 20 20 42 74 72 65 65 20 2a 70 3b 0a 20  ){.  Btree *p;. 
1d40: 20 61 73 73 65 72 74 28 20 64 62 21 3d 30 20 29   assert( db!=0 )
1d50: 3b 0a 20 20 69 66 28 20 70 53 63 68 65 6d 61 20  ;.  if( pSchema 
1d60: 29 20 69 44 62 20 3d 20 73 71 6c 69 74 65 33 53  ) iDb = sqlite3S
1d70: 63 68 65 6d 61 54 6f 49 6e 64 65 78 28 64 62 2c  chemaToIndex(db,
1d80: 20 70 53 63 68 65 6d 61 29 3b 0a 20 20 61 73 73   pSchema);.  ass
1d90: 65 72 74 28 20 69 44 62 3e 3d 30 20 26 26 20 69  ert( iDb>=0 && i
1da0: 44 62 3c 64 62 2d 3e 6e 44 62 20 29 3b 0a 20 20  Db<db->nDb );.  
1db0: 69 66 28 20 21 73 71 6c 69 74 65 33 5f 6d 75 74  if( !sqlite3_mut
1dc0: 65 78 5f 68 65 6c 64 28 64 62 2d 3e 6d 75 74 65  ex_held(db->mute
1dd0: 78 29 20 29 20 72 65 74 75 72 6e 20 30 3b 0a 20  x) ) return 0;. 
1de0: 20 69 66 28 20 69 44 62 3d 3d 31 20 29 20 72 65   if( iDb==1 ) re
1df0: 74 75 72 6e 20 31 3b 0a 20 20 70 20 3d 20 64 62  turn 1;.  p = db
1e00: 2d 3e 61 44 62 5b 69 44 62 5d 2e 70 42 74 3b 0a  ->aDb[iDb].pBt;.
1e10: 20 20 61 73 73 65 72 74 28 20 70 21 3d 30 20 29    assert( p!=0 )
1e20: 3b 0a 20 20 72 65 74 75 72 6e 20 70 2d 3e 73 68  ;.  return p->sh
1e30: 61 72 61 62 6c 65 3d 3d 30 20 7c 7c 20 70 2d 3e  arable==0 || p->
1e40: 6c 6f 63 6b 65 64 3d 3d 31 3b 0a 7d 0a 23 65 6e  locked==1;.}.#en
1e50: 64 69 66 20 2f 2a 20 4e 44 45 42 55 47 20 2a 2f  dif /* NDEBUG */
1e60: 0a 0a 23 65 6c 73 65 20 2f 2a 20 53 51 4c 49 54  ..#else /* SQLIT
1e70: 45 5f 54 48 52 45 41 44 53 41 46 45 3e 30 20 61  E_THREADSAFE>0 a
1e80: 62 6f 76 65 2e 20 20 53 51 4c 49 54 45 5f 54 48  bove.  SQLITE_TH
1e90: 52 45 41 44 53 41 46 45 3d 3d 30 20 62 65 6c 6f  READSAFE==0 belo
1ea0: 77 20 2a 2f 0a 2f 2a 0a 2a 2a 20 54 68 65 20 66  w */./*.** The f
1eb0: 6f 6c 6c 6f 77 69 6e 67 20 61 72 65 20 73 70 65  ollowing are spe
1ec0: 63 69 61 6c 20 63 61 73 65 73 20 66 6f 72 20 6d  cial cases for m
1ed0: 75 74 65 78 20 65 6e 74 65 72 20 72 6f 75 74 69  utex enter routi
1ee0: 6e 65 73 20 66 6f 72 20 75 73 65 0a 2a 2a 20 69  nes for use.** i
1ef0: 6e 20 73 69 6e 67 6c 65 20 74 68 72 65 61 64 65  n single threade
1f00: 64 20 61 70 70 6c 69 63 61 74 69 6f 6e 73 20 74  d applications t
1f10: 68 61 74 20 75 73 65 20 73 68 61 72 65 64 20 63  hat use shared c
1f20: 61 63 68 65 2e 20 20 45 78 63 65 70 74 20 66 6f  ache.  Except fo
1f30: 72 0a 2a 2a 20 74 68 65 73 65 20 74 77 6f 20 72  r.** these two r
1f40: 6f 75 74 69 6e 65 73 2c 20 61 6c 6c 20 6d 75 74  outines, all mut
1f50: 65 78 20 6f 70 65 72 61 74 69 6f 6e 73 20 61 72  ex operations ar
1f60: 65 20 6e 6f 2d 6f 70 73 20 69 6e 20 74 68 61 74  e no-ops in that
1f70: 20 63 61 73 65 20 61 6e 64 0a 2a 2a 20 61 72 65   case and.** are
1f80: 20 6e 75 6c 6c 20 23 64 65 66 69 6e 65 73 20 69   null #defines i
1f90: 6e 20 62 74 72 65 65 2e 68 2e 0a 2a 2a 0a 2a 2a  n btree.h..**.**
1fa0: 20 49 66 20 73 68 61 72 65 64 20 63 61 63 68 65   If shared cache
1fb0: 20 69 73 20 64 69 73 61 62 6c 65 64 2c 20 74 68   is disabled, th
1fc0: 65 6e 20 61 6c 6c 20 62 74 72 65 65 20 6d 75 74  en all btree mut
1fd0: 65 78 20 72 6f 75 74 69 6e 65 73 2c 20 69 6e 63  ex routines, inc
1fe0: 6c 75 64 69 6e 67 0a 2a 2a 20 74 68 65 20 6f 6e  luding.** the on
1ff0: 65 73 20 62 65 6c 6f 77 2c 20 61 72 65 20 6e 6f  es below, are no
2000: 2d 6f 70 73 20 61 6e 64 20 61 72 65 20 6e 75 6c  -ops and are nul
2010: 6c 20 23 64 65 66 69 6e 65 73 20 69 6e 20 62 74  l #defines in bt
2020: 72 65 65 2e 68 2e 0a 2a 2f 0a 0a 76 6f 69 64 20  ree.h..*/..void 
2030: 73 71 6c 69 74 65 33 42 74 72 65 65 45 6e 74 65  sqlite3BtreeEnte
2040: 72 28 42 74 72 65 65 20 2a 70 29 7b 0a 20 20 70  r(Btree *p){.  p
2050: 2d 3e 70 42 74 2d 3e 64 62 20 3d 20 70 2d 3e 64  ->pBt->db = p->d
2060: 62 3b 0a 7d 0a 76 6f 69 64 20 73 71 6c 69 74 65  b;.}.void sqlite
2070: 33 42 74 72 65 65 45 6e 74 65 72 41 6c 6c 28 73  3BtreeEnterAll(s
2080: 71 6c 69 74 65 33 20 2a 64 62 29 7b 0a 20 20 69  qlite3 *db){.  i
2090: 6e 74 20 69 3b 0a 20 20 66 6f 72 28 69 3d 30 3b  nt i;.  for(i=0;
20a0: 20 69 3c 64 62 2d 3e 6e 44 62 3b 20 69 2b 2b 29   i<db->nDb; i++)
20b0: 7b 0a 20 20 20 20 42 74 72 65 65 20 2a 70 20 3d  {.    Btree *p =
20c0: 20 64 62 2d 3e 61 44 62 5b 69 5d 2e 70 42 74 3b   db->aDb[i].pBt;
20d0: 0a 20 20 20 20 69 66 28 20 70 20 29 7b 0a 20 20  .    if( p ){.  
20e0: 20 20 20 20 70 2d 3e 70 42 74 2d 3e 64 62 20 3d      p->pBt->db =
20f0: 20 70 2d 3e 64 62 3b 0a 20 20 20 20 7d 0a 20 20   p->db;.    }.  
2100: 7d 0a 7d 0a 23 65 6e 64 69 66 20 2f 2a 20 69 66  }.}.#endif /* if
2110: 20 53 51 4c 49 54 45 5f 54 48 52 45 41 44 53 41   SQLITE_THREADSA
2120: 46 45 20 2a 2f 0a 23 65 6e 64 69 66 20 2f 2a 20  FE */.#endif /* 
2130: 69 66 6e 64 65 66 20 53 51 4c 49 54 45 5f 4f 4d  ifndef SQLITE_OM
2140: 49 54 5f 53 48 41 52 45 44 5f 43 41 43 48 45 20  IT_SHARED_CACHE 
2150: 2a 2f 0a                                         */.