/ Hex Artifact Content
Login

Artifact 96a12f50f7a17475155971a241d85ec5171573ff:


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 61 73 73 65 72  ree *p){.  asser
04e0: 74 28 20 70 2d 3e 6c 6f 63 6b 65 64 3d 3d 31 20  t( p->locked==1 
04f0: 29 3b 0a 20 20 61 73 73 65 72 74 28 20 73 71 6c  );.  assert( sql
0500: 69 74 65 33 5f 6d 75 74 65 78 5f 68 65 6c 64 28  ite3_mutex_held(
0510: 70 2d 3e 70 42 74 2d 3e 6d 75 74 65 78 29 20 29  p->pBt->mutex) )
0520: 3b 0a 20 20 61 73 73 65 72 74 28 20 73 71 6c 69  ;.  assert( sqli
0530: 74 65 33 5f 6d 75 74 65 78 5f 68 65 6c 64 28 70  te3_mutex_held(p
0540: 2d 3e 64 62 2d 3e 6d 75 74 65 78 29 20 29 3b 0a  ->db->mutex) );.
0550: 20 20 61 73 73 65 72 74 28 20 70 2d 3e 64 62 3d    assert( p->db=
0560: 3d 70 2d 3e 70 42 74 2d 3e 64 62 20 29 3b 0a 0a  =p->pBt->db );..
0570: 20 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f    sqlite3_mutex_
0580: 6c 65 61 76 65 28 70 2d 3e 70 42 74 2d 3e 6d 75  leave(p->pBt->mu
0590: 74 65 78 29 3b 0a 20 20 70 2d 3e 6c 6f 63 6b 65  tex);.  p->locke
05a0: 64 20 3d 20 30 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a 20  d = 0;.}../*.** 
05b0: 45 6e 74 65 72 20 61 20 6d 75 74 65 78 20 6f 6e  Enter a mutex on
05c0: 20 74 68 65 20 67 69 76 65 6e 20 42 54 72 65 65   the given BTree
05d0: 20 6f 62 6a 65 63 74 2e 0a 2a 2a 0a 2a 2a 20 49   object..**.** I
05e0: 66 20 74 68 65 20 6f 62 6a 65 63 74 20 69 73 20  f the object is 
05f0: 6e 6f 74 20 73 68 61 72 61 62 6c 65 2c 20 74 68  not sharable, th
0600: 65 6e 20 6e 6f 20 6d 75 74 65 78 20 69 73 20 65  en no mutex is e
0610: 76 65 72 20 72 65 71 75 69 72 65 64 0a 2a 2a 20  ver required.** 
0620: 61 6e 64 20 74 68 69 73 20 72 6f 75 74 69 6e 65  and this routine
0630: 20 69 73 20 61 20 6e 6f 2d 6f 70 2e 20 20 54 68   is a no-op.  Th
0640: 65 20 75 6e 64 65 72 6c 79 69 6e 67 20 6d 75 74  e underlying mut
0650: 65 78 20 69 73 20 6e 6f 6e 2d 72 65 63 75 72 73  ex is non-recurs
0660: 69 76 65 2e 0a 2a 2a 20 42 75 74 20 77 65 20 6b  ive..** But we k
0670: 65 65 70 20 61 20 72 65 66 65 72 65 6e 63 65 20  eep a reference 
0680: 63 6f 75 6e 74 20 69 6e 20 42 74 72 65 65 2e 77  count in Btree.w
0690: 61 6e 74 54 6f 4c 6f 63 6b 20 73 6f 20 74 68 65  antToLock so the
06a0: 20 62 65 68 61 76 69 6f 72 0a 2a 2a 20 6f 66 20   behavior.** of 
06b0: 74 68 69 73 20 69 6e 74 65 72 66 61 63 65 20 69  this interface i
06c0: 73 20 72 65 63 75 72 73 69 76 65 2e 0a 2a 2a 0a  s recursive..**.
06d0: 2a 2a 20 54 6f 20 61 76 6f 69 64 20 64 65 61 64  ** To avoid dead
06e0: 6c 6f 63 6b 73 2c 20 6d 75 6c 74 69 70 6c 65 20  locks, multiple 
06f0: 42 74 72 65 65 73 20 61 72 65 20 6c 6f 63 6b 65  Btrees are locke
0700: 64 20 69 6e 20 74 68 65 20 73 61 6d 65 20 6f 72  d in the same or
0710: 64 65 72 0a 2a 2a 20 62 79 20 61 6c 6c 20 64 61  der.** by all da
0720: 74 61 62 61 73 65 20 63 6f 6e 6e 65 63 74 69 6f  tabase connectio
0730: 6e 73 2e 20 20 54 68 65 20 70 2d 3e 70 4e 65 78  ns.  The p->pNex
0740: 74 20 69 73 20 61 20 6c 69 73 74 20 6f 66 20 6f  t is a list of o
0750: 74 68 65 72 0a 2a 2a 20 42 74 72 65 65 73 20 62  ther.** Btrees b
0760: 65 6c 6f 6e 67 69 6e 67 20 74 6f 20 74 68 65 20  elonging to the 
0770: 73 61 6d 65 20 64 61 74 61 62 61 73 65 20 63 6f  same database co
0780: 6e 6e 65 63 74 69 6f 6e 20 61 73 20 74 68 65 20  nnection as the 
0790: 70 20 42 74 72 65 65 0a 2a 2a 20 77 68 69 63 68  p Btree.** which
07a0: 20 6e 65 65 64 20 74 6f 20 62 65 20 6c 6f 63 6b   need to be lock
07b0: 65 64 20 61 66 74 65 72 20 70 2e 20 20 49 66 20  ed after p.  If 
07c0: 77 65 20 63 61 6e 6e 6f 74 20 67 65 74 20 61 20  we cannot get a 
07d0: 6c 6f 63 6b 20 6f 6e 0a 2a 2a 20 70 2c 20 74 68  lock on.** p, th
07e0: 65 6e 20 66 69 72 73 74 20 75 6e 6c 6f 63 6b 20  en first unlock 
07f0: 61 6c 6c 20 6f 66 20 74 68 65 20 6f 74 68 65 72  all of the other
0800: 73 20 6f 6e 20 70 2d 3e 70 4e 65 78 74 2c 20 74  s on p->pNext, t
0810: 68 65 6e 20 77 61 69 74 0a 2a 2a 20 66 6f 72 20  hen wait.** for 
0820: 74 68 65 20 6c 6f 63 6b 20 74 6f 20 62 65 63 6f  the lock to beco
0830: 6d 65 20 61 76 61 69 6c 61 62 6c 65 20 6f 6e 20  me available on 
0840: 70 2c 20 74 68 65 6e 20 72 65 6c 6f 63 6b 20 61  p, then relock a
0850: 6c 6c 20 6f 66 20 74 68 65 0a 2a 2a 20 73 75 62  ll of the.** sub
0860: 73 65 71 75 65 6e 74 20 42 74 72 65 65 73 20 74  sequent Btrees t
0870: 68 61 74 20 64 65 73 69 72 65 20 61 20 6c 6f 63  hat desire a loc
0880: 6b 2e 0a 2a 2f 0a 76 6f 69 64 20 73 71 6c 69 74  k..*/.void sqlit
0890: 65 33 42 74 72 65 65 45 6e 74 65 72 28 42 74 72  e3BtreeEnter(Btr
08a0: 65 65 20 2a 70 29 7b 0a 20 20 42 74 72 65 65 20  ee *p){.  Btree 
08b0: 2a 70 4c 61 74 65 72 3b 0a 0a 20 20 2f 2a 20 53  *pLater;..  /* S
08c0: 6f 6d 65 20 62 61 73 69 63 20 73 61 6e 69 74 79  ome basic sanity
08d0: 20 63 68 65 63 6b 69 6e 67 20 6f 6e 20 74 68 65   checking on the
08e0: 20 42 74 72 65 65 2e 20 20 54 68 65 20 6c 69 73   Btree.  The lis
08f0: 74 20 6f 66 20 42 74 72 65 65 73 0a 20 20 2a 2a  t of Btrees.  **
0900: 20 63 6f 6e 6e 65 63 74 65 64 20 62 79 20 70 4e   connected by pN
0910: 65 78 74 20 61 6e 64 20 70 50 72 65 76 20 73 68  ext and pPrev sh
0920: 6f 75 6c 64 20 62 65 20 69 6e 20 73 6f 72 74 65  ould be in sorte
0930: 64 20 6f 72 64 65 72 20 62 79 0a 20 20 2a 2a 20  d order by.  ** 
0940: 42 74 72 65 65 2e 70 42 74 20 76 61 6c 75 65 2e  Btree.pBt value.
0950: 20 41 6c 6c 20 65 6c 65 6d 65 6e 74 73 20 6f 66   All elements of
0960: 20 74 68 65 20 6c 69 73 74 20 73 68 6f 75 6c 64   the list should
0970: 20 62 65 6c 6f 6e 67 20 74 6f 0a 20 20 2a 2a 20   belong to.  ** 
0980: 74 68 65 20 73 61 6d 65 20 63 6f 6e 6e 65 63 74  the same connect
0990: 69 6f 6e 2e 20 4f 6e 6c 79 20 73 68 61 72 65 64  ion. Only shared
09a0: 20 42 74 72 65 65 73 20 61 72 65 20 6f 6e 20 74   Btrees are on t
09b0: 68 65 20 6c 69 73 74 2e 20 2a 2f 0a 20 20 61 73  he list. */.  as
09c0: 73 65 72 74 28 20 70 2d 3e 70 4e 65 78 74 3d 3d  sert( p->pNext==
09d0: 30 20 7c 7c 20 70 2d 3e 70 4e 65 78 74 2d 3e 70  0 || p->pNext->p
09e0: 42 74 3e 70 2d 3e 70 42 74 20 29 3b 0a 20 20 61  Bt>p->pBt );.  a
09f0: 73 73 65 72 74 28 20 70 2d 3e 70 50 72 65 76 3d  ssert( p->pPrev=
0a00: 3d 30 20 7c 7c 20 70 2d 3e 70 50 72 65 76 2d 3e  =0 || p->pPrev->
0a10: 70 42 74 3c 70 2d 3e 70 42 74 20 29 3b 0a 20 20  pBt<p->pBt );.  
0a20: 61 73 73 65 72 74 28 20 70 2d 3e 70 4e 65 78 74  assert( p->pNext
0a30: 3d 3d 30 20 7c 7c 20 70 2d 3e 70 4e 65 78 74 2d  ==0 || p->pNext-
0a40: 3e 64 62 3d 3d 70 2d 3e 64 62 20 29 3b 0a 20 20  >db==p->db );.  
0a50: 61 73 73 65 72 74 28 20 70 2d 3e 70 50 72 65 76  assert( p->pPrev
0a60: 3d 3d 30 20 7c 7c 20 70 2d 3e 70 50 72 65 76 2d  ==0 || p->pPrev-
0a70: 3e 64 62 3d 3d 70 2d 3e 64 62 20 29 3b 0a 20 20  >db==p->db );.  
0a80: 61 73 73 65 72 74 28 20 70 2d 3e 73 68 61 72 61  assert( p->shara
0a90: 62 6c 65 20 7c 7c 20 28 70 2d 3e 70 4e 65 78 74  ble || (p->pNext
0aa0: 3d 3d 30 20 26 26 20 70 2d 3e 70 50 72 65 76 3d  ==0 && p->pPrev=
0ab0: 3d 30 29 20 29 3b 0a 0a 20 20 2f 2a 20 43 68 65  =0) );..  /* Che
0ac0: 63 6b 20 66 6f 72 20 6c 6f 63 6b 69 6e 67 20 63  ck for locking c
0ad0: 6f 6e 73 69 73 74 65 6e 63 79 20 2a 2f 0a 20 20  onsistency */.  
0ae0: 61 73 73 65 72 74 28 20 21 70 2d 3e 6c 6f 63 6b  assert( !p->lock
0af0: 65 64 20 7c 7c 20 70 2d 3e 77 61 6e 74 54 6f 4c  ed || p->wantToL
0b00: 6f 63 6b 3e 30 20 29 3b 0a 20 20 61 73 73 65 72  ock>0 );.  asser
0b10: 74 28 20 70 2d 3e 73 68 61 72 61 62 6c 65 20 7c  t( p->sharable |
0b20: 7c 20 70 2d 3e 77 61 6e 74 54 6f 4c 6f 63 6b 3d  | p->wantToLock=
0b30: 3d 30 20 29 3b 0a 0a 20 20 2f 2a 20 57 65 20 73  =0 );..  /* We s
0b40: 68 6f 75 6c 64 20 61 6c 72 65 61 64 79 20 68 6f  hould already ho
0b50: 6c 64 20 61 20 6c 6f 63 6b 20 6f 6e 20 74 68 65  ld a lock on the
0b60: 20 64 61 74 61 62 61 73 65 20 63 6f 6e 6e 65 63   database connec
0b70: 74 69 6f 6e 20 2a 2f 0a 20 20 61 73 73 65 72 74  tion */.  assert
0b80: 28 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f  ( sqlite3_mutex_
0b90: 68 65 6c 64 28 70 2d 3e 64 62 2d 3e 6d 75 74 65  held(p->db->mute
0ba0: 78 29 20 29 3b 0a 0a 20 20 2f 2a 20 55 6e 6c 65  x) );..  /* Unle
0bb0: 73 73 20 74 68 65 20 64 61 74 61 62 61 73 65 20  ss the database 
0bc0: 69 73 20 73 68 61 72 61 62 6c 65 20 61 6e 64 20  is sharable and 
0bd0: 75 6e 6c 6f 63 6b 65 64 2c 20 74 68 65 6e 20 42  unlocked, then B
0be0: 74 53 68 61 72 65 64 2e 64 62 0a 20 20 2a 2a 20  tShared.db.  ** 
0bf0: 73 68 6f 75 6c 64 20 61 6c 72 65 61 64 79 20 62  should already b
0c00: 65 20 73 65 74 20 63 6f 72 72 65 63 74 6c 79 2e  e set correctly.
0c10: 20 2a 2f 0a 20 20 61 73 73 65 72 74 28 20 28 70   */.  assert( (p
0c20: 2d 3e 6c 6f 63 6b 65 64 3d 3d 30 20 26 26 20 70  ->locked==0 && p
0c30: 2d 3e 73 68 61 72 61 62 6c 65 29 20 7c 7c 20 70  ->sharable) || p
0c40: 2d 3e 70 42 74 2d 3e 64 62 3d 3d 70 2d 3e 64 62  ->pBt->db==p->db
0c50: 20 29 3b 0a 0a 20 20 69 66 28 20 21 70 2d 3e 73   );..  if( !p->s
0c60: 68 61 72 61 62 6c 65 20 29 20 72 65 74 75 72 6e  harable ) return
0c70: 3b 0a 20 20 70 2d 3e 77 61 6e 74 54 6f 4c 6f 63  ;.  p->wantToLoc
0c80: 6b 2b 2b 3b 0a 20 20 69 66 28 20 70 2d 3e 6c 6f  k++;.  if( p->lo
0c90: 63 6b 65 64 20 29 20 72 65 74 75 72 6e 3b 0a 0a  cked ) return;..
0ca0: 20 20 2f 2a 20 49 6e 20 6d 6f 73 74 20 63 61 73    /* In most cas
0cb0: 65 73 2c 20 77 65 20 73 68 6f 75 6c 64 20 62 65  es, we should be
0cc0: 20 61 62 6c 65 20 74 6f 20 61 63 71 75 69 72 65   able to acquire
0cd0: 20 74 68 65 20 6c 6f 63 6b 20 77 65 0a 20 20 2a   the lock we.  *
0ce0: 2a 20 77 61 6e 74 20 77 69 74 68 6f 75 74 20 68  * want without h
0cf0: 61 76 69 6e 67 20 74 6f 20 67 6f 20 74 68 72 6f  aving to go thro
0d00: 75 67 68 74 20 74 68 65 20 61 73 63 65 6e 64 69  ught the ascendi
0d10: 6e 67 20 6c 6f 63 6b 0a 20 20 2a 2a 20 70 72 6f  ng lock.  ** pro
0d20: 63 65 64 75 72 65 20 74 68 61 74 20 66 6f 6c 6c  cedure that foll
0d30: 6f 77 73 2e 20 20 4a 75 73 74 20 62 65 20 73 75  ows.  Just be su
0d40: 72 65 20 6e 6f 74 20 74 6f 20 62 6c 6f 63 6b 2e  re not to block.
0d50: 0a 20 20 2a 2f 0a 20 20 69 66 28 20 73 71 6c 69  .  */.  if( sqli
0d60: 74 65 33 5f 6d 75 74 65 78 5f 74 72 79 28 70 2d  te3_mutex_try(p-
0d70: 3e 70 42 74 2d 3e 6d 75 74 65 78 29 3d 3d 53 51  >pBt->mutex)==SQ
0d80: 4c 49 54 45 5f 4f 4b 20 29 7b 0a 20 20 20 20 70  LITE_OK ){.    p
0d90: 2d 3e 70 42 74 2d 3e 64 62 20 3d 20 70 2d 3e 64  ->pBt->db = p->d
0da0: 62 3b 0a 20 20 20 20 70 2d 3e 6c 6f 63 6b 65 64  b;.    p->locked
0db0: 20 3d 20 31 3b 0a 20 20 20 20 72 65 74 75 72 6e   = 1;.    return
0dc0: 3b 0a 20 20 7d 0a 0a 20 20 2f 2a 20 54 6f 20 61  ;.  }..  /* To a
0dd0: 76 6f 69 64 20 64 65 61 64 6c 6f 63 6b 2c 20 66  void deadlock, f
0de0: 69 72 73 74 20 72 65 6c 65 61 73 65 20 61 6c 6c  irst release all
0df0: 20 6c 6f 63 6b 73 20 77 69 74 68 20 61 20 6c 61   locks with a la
0e00: 72 67 65 72 0a 20 20 2a 2a 20 42 74 53 68 61 72  rger.  ** BtShar
0e10: 65 64 20 61 64 64 72 65 73 73 2e 20 20 54 68 65  ed address.  The
0e20: 6e 20 61 63 71 75 69 72 65 20 6f 75 72 20 6c 6f  n acquire our lo
0e30: 63 6b 2e 20 20 54 68 65 6e 20 72 65 61 63 71 75  ck.  Then reacqu
0e40: 69 72 65 0a 20 20 2a 2a 20 74 68 65 20 6f 74 68  ire.  ** the oth
0e50: 65 72 20 42 74 53 68 61 72 65 64 20 6c 6f 63 6b  er BtShared lock
0e60: 73 20 74 68 61 74 20 77 65 20 75 73 65 64 20 74  s that we used t
0e70: 6f 20 68 6f 6c 64 20 69 6e 20 61 73 63 65 6e 64  o hold in ascend
0e80: 69 6e 67 0a 20 20 2a 2a 20 6f 72 64 65 72 2e 0a  ing.  ** order..
0e90: 20 20 2a 2f 0a 20 20 66 6f 72 28 70 4c 61 74 65    */.  for(pLate
0ea0: 72 3d 70 2d 3e 70 4e 65 78 74 3b 20 70 4c 61 74  r=p->pNext; pLat
0eb0: 65 72 3b 20 70 4c 61 74 65 72 3d 70 4c 61 74 65  er; pLater=pLate
0ec0: 72 2d 3e 70 4e 65 78 74 29 7b 0a 20 20 20 20 61  r->pNext){.    a
0ed0: 73 73 65 72 74 28 20 70 4c 61 74 65 72 2d 3e 73  ssert( pLater->s
0ee0: 68 61 72 61 62 6c 65 20 29 3b 0a 20 20 20 20 61  harable );.    a
0ef0: 73 73 65 72 74 28 20 70 4c 61 74 65 72 2d 3e 70  ssert( pLater->p
0f00: 4e 65 78 74 3d 3d 30 20 7c 7c 20 70 4c 61 74 65  Next==0 || pLate
0f10: 72 2d 3e 70 4e 65 78 74 2d 3e 70 42 74 3e 70 4c  r->pNext->pBt>pL
0f20: 61 74 65 72 2d 3e 70 42 74 20 29 3b 0a 20 20 20  ater->pBt );.   
0f30: 20 61 73 73 65 72 74 28 20 21 70 4c 61 74 65 72   assert( !pLater
0f40: 2d 3e 6c 6f 63 6b 65 64 20 7c 7c 20 70 4c 61 74  ->locked || pLat
0f50: 65 72 2d 3e 77 61 6e 74 54 6f 4c 6f 63 6b 3e 30  er->wantToLock>0
0f60: 20 29 3b 0a 20 20 20 20 69 66 28 20 70 4c 61 74   );.    if( pLat
0f70: 65 72 2d 3e 6c 6f 63 6b 65 64 20 29 7b 0a 20 20  er->locked ){.  
0f80: 20 20 20 20 75 6e 6c 6f 63 6b 42 74 72 65 65 4d      unlockBtreeM
0f90: 75 74 65 78 28 70 4c 61 74 65 72 29 3b 0a 20 20  utex(pLater);.  
0fa0: 20 20 7d 0a 20 20 7d 0a 20 20 6c 6f 63 6b 42 74    }.  }.  lockBt
0fb0: 72 65 65 4d 75 74 65 78 28 70 29 3b 0a 20 20 66  reeMutex(p);.  f
0fc0: 6f 72 28 70 4c 61 74 65 72 3d 70 2d 3e 70 4e 65  or(pLater=p->pNe
0fd0: 78 74 3b 20 70 4c 61 74 65 72 3b 20 70 4c 61 74  xt; pLater; pLat
0fe0: 65 72 3d 70 4c 61 74 65 72 2d 3e 70 4e 65 78 74  er=pLater->pNext
0ff0: 29 7b 0a 20 20 20 20 69 66 28 20 70 4c 61 74 65  ){.    if( pLate
1000: 72 2d 3e 77 61 6e 74 54 6f 4c 6f 63 6b 20 29 7b  r->wantToLock ){
1010: 0a 20 20 20 20 20 20 6c 6f 63 6b 42 74 72 65 65  .      lockBtree
1020: 4d 75 74 65 78 28 70 4c 61 74 65 72 29 3b 0a 20  Mutex(pLater);. 
1030: 20 20 20 7d 0a 20 20 7d 0a 7d 0a 0a 2f 2a 0a 2a     }.  }.}../*.*
1040: 2a 20 45 78 69 74 20 74 68 65 20 72 65 63 75 72  * Exit the recur
1050: 73 69 76 65 20 6d 75 74 65 78 20 6f 6e 20 61 20  sive mutex on a 
1060: 42 74 72 65 65 2e 0a 2a 2f 0a 76 6f 69 64 20 73  Btree..*/.void s
1070: 71 6c 69 74 65 33 42 74 72 65 65 4c 65 61 76 65  qlite3BtreeLeave
1080: 28 42 74 72 65 65 20 2a 70 29 7b 0a 20 20 69 66  (Btree *p){.  if
1090: 28 20 70 2d 3e 73 68 61 72 61 62 6c 65 20 29 7b  ( p->sharable ){
10a0: 0a 20 20 20 20 61 73 73 65 72 74 28 20 70 2d 3e  .    assert( p->
10b0: 77 61 6e 74 54 6f 4c 6f 63 6b 3e 30 20 29 3b 0a  wantToLock>0 );.
10c0: 20 20 20 20 70 2d 3e 77 61 6e 74 54 6f 4c 6f 63      p->wantToLoc
10d0: 6b 2d 2d 3b 0a 20 20 20 20 69 66 28 20 70 2d 3e  k--;.    if( p->
10e0: 77 61 6e 74 54 6f 4c 6f 63 6b 3d 3d 30 20 29 7b  wantToLock==0 ){
10f0: 0a 20 20 20 20 20 20 75 6e 6c 6f 63 6b 42 74 72  .      unlockBtr
1100: 65 65 4d 75 74 65 78 28 70 29 3b 0a 20 20 20 20  eeMutex(p);.    
1110: 7d 0a 20 20 7d 0a 7d 0a 0a 23 69 66 6e 64 65 66  }.  }.}..#ifndef
1120: 20 4e 44 45 42 55 47 0a 2f 2a 0a 2a 2a 20 52 65   NDEBUG./*.** Re
1130: 74 75 72 6e 20 74 72 75 65 20 69 66 20 74 68 65  turn true if the
1140: 20 42 74 53 68 61 72 65 64 20 6d 75 74 65 78 20   BtShared mutex 
1150: 69 73 20 68 65 6c 64 20 6f 6e 20 74 68 65 20 62  is held on the b
1160: 74 72 65 65 2c 20 6f 72 20 69 66 20 74 68 65 0a  tree, or if the.
1170: 2a 2a 20 42 2d 54 72 65 65 20 69 73 20 6e 6f 74  ** B-Tree is not
1180: 20 6d 61 72 6b 65 64 20 61 73 20 73 68 61 72 61   marked as shara
1190: 62 6c 65 2e 0a 2a 2a 0a 2a 2a 20 54 68 69 73 20  ble..**.** This 
11a0: 72 6f 75 74 69 6e 65 20 69 73 20 75 73 65 64 20  routine is used 
11b0: 6f 6e 6c 79 20 66 72 6f 6d 20 77 69 74 68 69 6e  only from within
11c0: 20 61 73 73 65 72 74 28 29 20 73 74 61 74 65 6d   assert() statem
11d0: 65 6e 74 73 2e 0a 2a 2f 0a 69 6e 74 20 73 71 6c  ents..*/.int sql
11e0: 69 74 65 33 42 74 72 65 65 48 6f 6c 64 73 4d 75  ite3BtreeHoldsMu
11f0: 74 65 78 28 42 74 72 65 65 20 2a 70 29 7b 0a 20  tex(Btree *p){. 
1200: 20 61 73 73 65 72 74 28 20 70 2d 3e 73 68 61 72   assert( p->shar
1210: 61 62 6c 65 3d 3d 30 20 7c 7c 20 70 2d 3e 6c 6f  able==0 || p->lo
1220: 63 6b 65 64 3d 3d 30 20 7c 7c 20 70 2d 3e 77 61  cked==0 || p->wa
1230: 6e 74 54 6f 4c 6f 63 6b 3e 30 20 29 3b 0a 20 20  ntToLock>0 );.  
1240: 61 73 73 65 72 74 28 20 70 2d 3e 73 68 61 72 61  assert( p->shara
1250: 62 6c 65 3d 3d 30 20 7c 7c 20 70 2d 3e 6c 6f 63  ble==0 || p->loc
1260: 6b 65 64 3d 3d 30 20 7c 7c 20 70 2d 3e 64 62 3d  ked==0 || p->db=
1270: 3d 70 2d 3e 70 42 74 2d 3e 64 62 20 29 3b 0a 20  =p->pBt->db );. 
1280: 20 61 73 73 65 72 74 28 20 70 2d 3e 73 68 61 72   assert( p->shar
1290: 61 62 6c 65 3d 3d 30 20 7c 7c 20 70 2d 3e 6c 6f  able==0 || p->lo
12a0: 63 6b 65 64 3d 3d 30 20 7c 7c 20 73 71 6c 69 74  cked==0 || sqlit
12b0: 65 33 5f 6d 75 74 65 78 5f 68 65 6c 64 28 70 2d  e3_mutex_held(p-
12c0: 3e 70 42 74 2d 3e 6d 75 74 65 78 29 20 29 3b 0a  >pBt->mutex) );.
12d0: 20 20 61 73 73 65 72 74 28 20 70 2d 3e 73 68 61    assert( p->sha
12e0: 72 61 62 6c 65 3d 3d 30 20 7c 7c 20 70 2d 3e 6c  rable==0 || p->l
12f0: 6f 63 6b 65 64 3d 3d 30 20 7c 7c 20 73 71 6c 69  ocked==0 || sqli
1300: 74 65 33 5f 6d 75 74 65 78 5f 68 65 6c 64 28 70  te3_mutex_held(p
1310: 2d 3e 64 62 2d 3e 6d 75 74 65 78 29 20 29 3b 0a  ->db->mutex) );.
1320: 0a 20 20 72 65 74 75 72 6e 20 28 70 2d 3e 73 68  .  return (p->sh
1330: 61 72 61 62 6c 65 3d 3d 30 20 7c 7c 20 70 2d 3e  arable==0 || p->
1340: 6c 6f 63 6b 65 64 29 3b 0a 7d 0a 23 65 6e 64 69  locked);.}.#endi
1350: 66 0a 0a 0a 23 69 66 6e 64 65 66 20 53 51 4c 49  f...#ifndef SQLI
1360: 54 45 5f 4f 4d 49 54 5f 49 4e 43 52 42 4c 4f 42  TE_OMIT_INCRBLOB
1370: 0a 2f 2a 0a 2a 2a 20 45 6e 74 65 72 20 61 6e 64  ./*.** Enter and
1380: 20 6c 65 61 76 65 20 61 20 6d 75 74 65 78 20 6f   leave a mutex o
1390: 6e 20 61 20 42 74 72 65 65 20 67 69 76 65 6e 20  n a Btree given 
13a0: 61 20 63 75 72 73 6f 72 20 6f 77 6e 65 64 20 62  a cursor owned b
13b0: 79 20 74 68 61 74 0a 2a 2a 20 42 74 72 65 65 2e  y that.** Btree.
13c0: 20 20 54 68 65 73 65 20 65 6e 74 72 79 20 70 6f    These entry po
13d0: 69 6e 74 73 20 61 72 65 20 75 73 65 64 20 62 79  ints are used by
13e0: 20 69 6e 63 72 65 6d 65 6e 74 61 6c 20 49 2f 4f   incremental I/O
13f0: 20 61 6e 64 20 63 61 6e 20 62 65 0a 2a 2a 20 6f   and can be.** o
1400: 6d 69 74 74 65 64 20 69 66 20 74 68 61 74 20 6d  mitted if that m
1410: 6f 64 75 6c 65 20 69 73 20 6e 6f 74 20 75 73 65  odule is not use
1420: 64 2e 0a 2a 2f 0a 76 6f 69 64 20 73 71 6c 69 74  d..*/.void sqlit
1430: 65 33 42 74 72 65 65 45 6e 74 65 72 43 75 72 73  e3BtreeEnterCurs
1440: 6f 72 28 42 74 43 75 72 73 6f 72 20 2a 70 43 75  or(BtCursor *pCu
1450: 72 29 7b 0a 20 20 73 71 6c 69 74 65 33 42 74 72  r){.  sqlite3Btr
1460: 65 65 45 6e 74 65 72 28 70 43 75 72 2d 3e 70 42  eeEnter(pCur->pB
1470: 74 72 65 65 29 3b 0a 7d 0a 76 6f 69 64 20 73 71  tree);.}.void sq
1480: 6c 69 74 65 33 42 74 72 65 65 4c 65 61 76 65 43  lite3BtreeLeaveC
1490: 75 72 73 6f 72 28 42 74 43 75 72 73 6f 72 20 2a  ursor(BtCursor *
14a0: 70 43 75 72 29 7b 0a 20 20 73 71 6c 69 74 65 33  pCur){.  sqlite3
14b0: 42 74 72 65 65 4c 65 61 76 65 28 70 43 75 72 2d  BtreeLeave(pCur-
14c0: 3e 70 42 74 72 65 65 29 3b 0a 7d 0a 23 65 6e 64  >pBtree);.}.#end
14d0: 69 66 20 2f 2a 20 53 51 4c 49 54 45 5f 4f 4d 49  if /* SQLITE_OMI
14e0: 54 5f 49 4e 43 52 42 4c 4f 42 20 2a 2f 0a 0a 0a  T_INCRBLOB */...
14f0: 2f 2a 0a 2a 2a 20 45 6e 74 65 72 20 74 68 65 20  /*.** Enter the 
1500: 6d 75 74 65 78 20 6f 6e 20 65 76 65 72 79 20 42  mutex on every B
1510: 74 72 65 65 20 61 73 73 6f 63 69 61 74 65 64 20  tree associated 
1520: 77 69 74 68 20 61 20 64 61 74 61 62 61 73 65 0a  with a database.
1530: 2a 2a 20 63 6f 6e 6e 65 63 74 69 6f 6e 2e 20 20  ** connection.  
1540: 54 68 69 73 20 69 73 20 6e 65 65 64 65 64 20 28  This is needed (
1550: 66 6f 72 20 65 78 61 6d 70 6c 65 29 20 70 72 69  for example) pri
1560: 6f 72 20 74 6f 20 70 61 72 73 69 6e 67 0a 2a 2a  or to parsing.**
1570: 20 61 20 73 74 61 74 65 6d 65 6e 74 20 73 69 6e   a statement sin
1580: 63 65 20 77 65 20 77 69 6c 6c 20 62 65 20 63 6f  ce we will be co
1590: 6d 70 61 72 69 6e 67 20 74 61 62 6c 65 20 61 6e  mparing table an
15a0: 64 20 63 6f 6c 75 6d 6e 20 6e 61 6d 65 73 0a 2a  d column names.*
15b0: 2a 20 61 67 61 69 6e 73 74 20 61 6c 6c 20 73 63  * against all sc
15c0: 68 65 6d 61 73 20 61 6e 64 20 77 65 20 64 6f 20  hemas and we do 
15d0: 6e 6f 74 20 77 61 6e 74 20 74 68 6f 73 65 20 73  not want those s
15e0: 63 68 65 6d 61 73 20 62 65 69 6e 67 0a 2a 2a 20  chemas being.** 
15f0: 72 65 73 65 74 20 6f 75 74 20 66 72 6f 6d 20 75  reset out from u
1600: 6e 64 65 72 20 75 73 2e 0a 2a 2a 0a 2a 2a 20 54  nder us..**.** T
1610: 68 65 72 65 20 69 73 20 61 20 63 6f 72 72 65 73  here is a corres
1620: 70 6f 6e 64 69 6e 67 20 6c 65 61 76 65 2d 61 6c  ponding leave-al
1630: 6c 20 70 72 6f 63 65 64 75 72 65 73 2e 0a 2a 2a  l procedures..**
1640: 0a 2a 2a 20 45 6e 74 65 72 20 74 68 65 20 6d 75  .** Enter the mu
1650: 74 65 78 65 73 20 69 6e 20 61 63 63 65 6e 64 69  texes in accendi
1660: 6e 67 20 6f 72 64 65 72 20 62 79 20 42 74 53 68  ng order by BtSh
1670: 61 72 65 64 20 70 6f 69 6e 74 65 72 20 61 64 64  ared pointer add
1680: 72 65 73 73 0a 2a 2a 20 74 6f 20 61 76 6f 69 64  ress.** to avoid
1690: 20 74 68 65 20 70 6f 73 73 69 62 69 6c 69 74 79   the possibility
16a0: 20 6f 66 20 64 65 61 64 6c 6f 63 6b 20 77 68 65   of deadlock whe
16b0: 6e 20 74 77 6f 20 74 68 72 65 61 64 73 20 77 69  n two threads wi
16c0: 74 68 0a 2a 2a 20 74 77 6f 20 6f 72 20 6d 6f 72  th.** two or mor
16d0: 65 20 62 74 72 65 65 73 20 69 6e 20 63 6f 6d 6d  e btrees in comm
16e0: 6f 6e 20 62 6f 74 68 20 74 72 79 20 74 6f 20 6c  on both try to l
16f0: 6f 63 6b 20 61 6c 6c 20 74 68 65 69 72 20 62 74  ock all their bt
1700: 72 65 65 73 0a 2a 2a 20 61 74 20 74 68 65 20 73  rees.** at the s
1710: 61 6d 65 20 69 6e 73 74 61 6e 74 2e 0a 2a 2f 0a  ame instant..*/.
1720: 76 6f 69 64 20 73 71 6c 69 74 65 33 42 74 72 65  void sqlite3Btre
1730: 65 45 6e 74 65 72 41 6c 6c 28 73 71 6c 69 74 65  eEnterAll(sqlite
1740: 33 20 2a 64 62 29 7b 0a 20 20 69 6e 74 20 69 3b  3 *db){.  int i;
1750: 0a 20 20 42 74 72 65 65 20 2a 70 2c 20 2a 70 4c  .  Btree *p, *pL
1760: 61 74 65 72 3b 0a 20 20 61 73 73 65 72 74 28 20  ater;.  assert( 
1770: 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 68 65  sqlite3_mutex_he
1780: 6c 64 28 64 62 2d 3e 6d 75 74 65 78 29 20 29 3b  ld(db->mutex) );
1790: 0a 20 20 66 6f 72 28 69 3d 30 3b 20 69 3c 64 62  .  for(i=0; i<db
17a0: 2d 3e 6e 44 62 3b 20 69 2b 2b 29 7b 0a 20 20 20  ->nDb; i++){.   
17b0: 20 70 20 3d 20 64 62 2d 3e 61 44 62 5b 69 5d 2e   p = db->aDb[i].
17c0: 70 42 74 3b 0a 20 20 20 20 61 73 73 65 72 74 28  pBt;.    assert(
17d0: 20 21 70 20 7c 7c 20 28 70 2d 3e 6c 6f 63 6b 65   !p || (p->locke
17e0: 64 3d 3d 30 20 26 26 20 70 2d 3e 73 68 61 72 61  d==0 && p->shara
17f0: 62 6c 65 29 20 7c 7c 20 70 2d 3e 70 42 74 2d 3e  ble) || p->pBt->
1800: 64 62 3d 3d 70 2d 3e 64 62 20 29 3b 0a 20 20 20  db==p->db );.   
1810: 20 69 66 28 20 70 20 26 26 20 70 2d 3e 73 68 61   if( p && p->sha
1820: 72 61 62 6c 65 20 29 7b 0a 20 20 20 20 20 20 70  rable ){.      p
1830: 2d 3e 77 61 6e 74 54 6f 4c 6f 63 6b 2b 2b 3b 0a  ->wantToLock++;.
1840: 20 20 20 20 20 20 69 66 28 20 21 70 2d 3e 6c 6f        if( !p->lo
1850: 63 6b 65 64 20 29 7b 0a 20 20 20 20 20 20 20 20  cked ){.        
1860: 61 73 73 65 72 74 28 20 70 2d 3e 77 61 6e 74 54  assert( p->wantT
1870: 6f 4c 6f 63 6b 3d 3d 31 20 29 3b 0a 20 20 20 20  oLock==1 );.    
1880: 20 20 20 20 77 68 69 6c 65 28 20 70 2d 3e 70 50      while( p->pP
1890: 72 65 76 20 29 20 70 20 3d 20 70 2d 3e 70 50 72  rev ) p = p->pPr
18a0: 65 76 3b 0a 20 20 20 20 20 20 20 20 2f 2a 20 52  ev;.        /* R
18b0: 65 61 73 6f 6e 20 66 6f 72 20 41 4c 57 41 59 53  eason for ALWAYS
18c0: 3a 20 20 54 68 65 72 65 20 6d 75 73 74 20 62 65  :  There must be
18d0: 20 61 74 20 6c 65 61 73 74 20 6f 6e 20 75 6e 6c   at least on unl
18e0: 6f 63 6b 65 64 20 42 74 72 65 65 20 69 6e 0a 20  ocked Btree in. 
18f0: 20 20 20 20 20 20 20 2a 2a 20 74 68 65 20 63 68         ** the ch
1900: 61 69 6e 2e 20 20 4f 74 68 65 72 77 69 73 65 20  ain.  Otherwise 
1910: 74 68 65 20 21 70 2d 3e 6c 6f 63 6b 65 64 20 74  the !p->locked t
1920: 65 73 74 20 61 62 6f 76 65 20 77 6f 75 6c 64 20  est above would 
1930: 68 61 76 65 20 66 61 69 6c 65 64 20 2a 2f 0a 20  have failed */. 
1940: 20 20 20 20 20 20 20 77 68 69 6c 65 28 20 70 2d         while( p-
1950: 3e 6c 6f 63 6b 65 64 20 26 26 20 41 4c 57 41 59  >locked && ALWAY
1960: 53 28 70 2d 3e 70 4e 65 78 74 29 20 29 20 70 20  S(p->pNext) ) p 
1970: 3d 20 70 2d 3e 70 4e 65 78 74 3b 0a 20 20 20 20  = p->pNext;.    
1980: 20 20 20 20 66 6f 72 28 70 4c 61 74 65 72 20 3d      for(pLater =
1990: 20 70 2d 3e 70 4e 65 78 74 3b 20 70 4c 61 74 65   p->pNext; pLate
19a0: 72 3b 20 70 4c 61 74 65 72 3d 70 4c 61 74 65 72  r; pLater=pLater
19b0: 2d 3e 70 4e 65 78 74 29 7b 0a 20 20 20 20 20 20  ->pNext){.      
19c0: 20 20 20 20 69 66 28 20 70 4c 61 74 65 72 2d 3e      if( pLater->
19d0: 6c 6f 63 6b 65 64 20 29 7b 0a 20 20 20 20 20 20  locked ){.      
19e0: 20 20 20 20 20 20 75 6e 6c 6f 63 6b 42 74 72 65        unlockBtre
19f0: 65 4d 75 74 65 78 28 70 4c 61 74 65 72 29 3b 0a  eMutex(pLater);.
1a00: 20 20 20 20 20 20 20 20 20 20 7d 0a 20 20 20 20            }.    
1a10: 20 20 20 20 7d 0a 20 20 20 20 20 20 20 20 77 68      }.        wh
1a20: 69 6c 65 28 20 70 20 29 7b 0a 20 20 20 20 20 20  ile( p ){.      
1a30: 20 20 20 20 6c 6f 63 6b 42 74 72 65 65 4d 75 74      lockBtreeMut
1a40: 65 78 28 70 29 3b 0a 20 20 20 20 20 20 20 20 20  ex(p);.         
1a50: 20 70 20 3d 20 70 2d 3e 70 4e 65 78 74 3b 0a 20   p = p->pNext;. 
1a60: 20 20 20 20 20 20 20 7d 0a 20 20 20 20 20 20 7d         }.      }
1a70: 0a 20 20 20 20 7d 0a 20 20 7d 0a 7d 0a 76 6f 69  .    }.  }.}.voi
1a80: 64 20 73 71 6c 69 74 65 33 42 74 72 65 65 4c 65  d sqlite3BtreeLe
1a90: 61 76 65 41 6c 6c 28 73 71 6c 69 74 65 33 20 2a  aveAll(sqlite3 *
1aa0: 64 62 29 7b 0a 20 20 69 6e 74 20 69 3b 0a 20 20  db){.  int i;.  
1ab0: 42 74 72 65 65 20 2a 70 3b 0a 20 20 61 73 73 65  Btree *p;.  asse
1ac0: 72 74 28 20 73 71 6c 69 74 65 33 5f 6d 75 74 65  rt( sqlite3_mute
1ad0: 78 5f 68 65 6c 64 28 64 62 2d 3e 6d 75 74 65 78  x_held(db->mutex
1ae0: 29 20 29 3b 0a 20 20 66 6f 72 28 69 3d 30 3b 20  ) );.  for(i=0; 
1af0: 69 3c 64 62 2d 3e 6e 44 62 3b 20 69 2b 2b 29 7b  i<db->nDb; i++){
1b00: 0a 20 20 20 20 70 20 3d 20 64 62 2d 3e 61 44 62  .    p = db->aDb
1b10: 5b 69 5d 2e 70 42 74 3b 0a 20 20 20 20 69 66 28  [i].pBt;.    if(
1b20: 20 70 20 26 26 20 70 2d 3e 73 68 61 72 61 62 6c   p && p->sharabl
1b30: 65 20 29 7b 0a 20 20 20 20 20 20 61 73 73 65 72  e ){.      asser
1b40: 74 28 20 70 2d 3e 77 61 6e 74 54 6f 4c 6f 63 6b  t( p->wantToLock
1b50: 3e 30 20 29 3b 0a 20 20 20 20 20 20 70 2d 3e 77  >0 );.      p->w
1b60: 61 6e 74 54 6f 4c 6f 63 6b 2d 2d 3b 0a 20 20 20  antToLock--;.   
1b70: 20 20 20 69 66 28 20 70 2d 3e 77 61 6e 74 54 6f     if( p->wantTo
1b80: 4c 6f 63 6b 3d 3d 30 20 29 7b 0a 20 20 20 20 20  Lock==0 ){.     
1b90: 20 20 20 75 6e 6c 6f 63 6b 42 74 72 65 65 4d 75     unlockBtreeMu
1ba0: 74 65 78 28 70 29 3b 0a 20 20 20 20 20 20 7d 0a  tex(p);.      }.
1bb0: 20 20 20 20 7d 0a 20 20 7d 0a 7d 0a 0a 23 69 66      }.  }.}..#if
1bc0: 6e 64 65 66 20 4e 44 45 42 55 47 0a 2f 2a 0a 2a  ndef NDEBUG./*.*
1bd0: 2a 20 52 65 74 75 72 6e 20 74 72 75 65 20 69 66  * Return true if
1be0: 20 74 68 65 20 63 75 72 72 65 6e 74 20 74 68 72   the current thr
1bf0: 65 61 64 20 68 6f 6c 64 73 20 74 68 65 20 64 61  ead holds the da
1c00: 74 61 62 61 73 65 20 63 6f 6e 6e 65 63 74 69 6f  tabase connectio
1c10: 6e 0a 2a 2a 20 6d 75 74 65 78 20 61 6e 64 20 61  n.** mutex and a
1c20: 6c 6c 20 72 65 71 75 69 72 65 64 20 42 74 53 68  ll required BtSh
1c30: 61 72 65 64 20 6d 75 74 65 78 65 73 2e 0a 2a 2a  ared mutexes..**
1c40: 0a 2a 2a 20 54 68 69 73 20 72 6f 75 74 69 6e 65  .** This routine
1c50: 20 69 73 20 75 73 65 64 20 69 6e 73 69 64 65 20   is used inside 
1c60: 61 73 73 65 72 74 28 29 20 73 74 61 74 65 6d 65  assert() stateme
1c70: 6e 74 73 20 6f 6e 6c 79 2e 0a 2a 2f 0a 69 6e 74  nts only..*/.int
1c80: 20 73 71 6c 69 74 65 33 42 74 72 65 65 48 6f 6c   sqlite3BtreeHol
1c90: 64 73 41 6c 6c 4d 75 74 65 78 65 73 28 73 71 6c  dsAllMutexes(sql
1ca0: 69 74 65 33 20 2a 64 62 29 7b 0a 20 20 69 6e 74  ite3 *db){.  int
1cb0: 20 69 3b 0a 20 20 69 66 28 20 21 73 71 6c 69 74   i;.  if( !sqlit
1cc0: 65 33 5f 6d 75 74 65 78 5f 68 65 6c 64 28 64 62  e3_mutex_held(db
1cd0: 2d 3e 6d 75 74 65 78 29 20 29 7b 0a 20 20 20 20  ->mutex) ){.    
1ce0: 72 65 74 75 72 6e 20 30 3b 0a 20 20 7d 0a 20 20  return 0;.  }.  
1cf0: 66 6f 72 28 69 3d 30 3b 20 69 3c 64 62 2d 3e 6e  for(i=0; i<db->n
1d00: 44 62 3b 20 69 2b 2b 29 7b 0a 20 20 20 20 42 74  Db; i++){.    Bt
1d10: 72 65 65 20 2a 70 3b 0a 20 20 20 20 70 20 3d 20  ree *p;.    p = 
1d20: 64 62 2d 3e 61 44 62 5b 69 5d 2e 70 42 74 3b 0a  db->aDb[i].pBt;.
1d30: 20 20 20 20 69 66 28 20 70 20 26 26 20 70 2d 3e      if( p && p->
1d40: 73 68 61 72 61 62 6c 65 20 26 26 0a 20 20 20 20  sharable &&.    
1d50: 20 20 20 20 20 28 70 2d 3e 77 61 6e 74 54 6f 4c       (p->wantToL
1d60: 6f 63 6b 3d 3d 30 20 7c 7c 20 21 73 71 6c 69 74  ock==0 || !sqlit
1d70: 65 33 5f 6d 75 74 65 78 5f 68 65 6c 64 28 70 2d  e3_mutex_held(p-
1d80: 3e 70 42 74 2d 3e 6d 75 74 65 78 29 29 20 29 7b  >pBt->mutex)) ){
1d90: 0a 20 20 20 20 20 20 72 65 74 75 72 6e 20 30 3b  .      return 0;
1da0: 0a 20 20 20 20 7d 0a 20 20 7d 0a 20 20 72 65 74  .    }.  }.  ret
1db0: 75 72 6e 20 31 3b 0a 7d 0a 23 65 6e 64 69 66 20  urn 1;.}.#endif 
1dc0: 2f 2a 20 4e 44 45 42 55 47 20 2a 2f 0a 0a 2f 2a  /* NDEBUG */../*
1dd0: 0a 2a 2a 20 41 64 64 20 61 20 6e 65 77 20 42 74  .** Add a new Bt
1de0: 72 65 65 20 70 6f 69 6e 74 65 72 20 74 6f 20 61  ree pointer to a
1df0: 20 42 74 72 65 65 4d 75 74 65 78 41 72 72 61 79   BtreeMutexArray
1e00: 2e 20 0a 2a 2a 20 69 66 20 74 68 65 20 70 6f 69  . .** if the poi
1e10: 6e 74 65 72 20 63 61 6e 20 70 6f 73 73 69 62 6c  nter can possibl
1e20: 79 20 62 65 20 73 68 61 72 65 64 20 77 69 74 68  y be shared with
1e30: 0a 2a 2a 20 61 6e 6f 74 68 65 72 20 64 61 74 61  .** another data
1e40: 62 61 73 65 20 63 6f 6e 6e 65 63 74 69 6f 6e 2e  base connection.
1e50: 0a 2a 2a 0a 2a 2a 20 54 68 65 20 70 6f 69 6e 74  .**.** The point
1e60: 65 72 73 20 61 72 65 20 6b 65 70 74 20 69 6e 20  ers are kept in 
1e70: 73 6f 72 74 65 64 20 6f 72 64 65 72 20 62 79 20  sorted order by 
1e80: 70 42 74 72 65 65 2d 3e 70 42 74 2e 20 20 54 68  pBtree->pBt.  Th
1e90: 61 74 0a 2a 2a 20 77 61 79 20 77 68 65 6e 20 77  at.** way when w
1ea0: 65 20 67 6f 20 74 6f 20 65 6e 74 65 72 20 61 6c  e go to enter al
1eb0: 6c 20 74 68 65 20 6d 75 74 65 78 65 73 2c 20 77  l the mutexes, w
1ec0: 65 20 63 61 6e 20 65 6e 74 65 72 20 74 68 65 6d  e can enter them
1ed0: 0a 2a 2a 20 69 6e 20 6f 72 64 65 72 20 77 69 74  .** in order wit
1ee0: 68 6f 75 74 20 65 76 65 72 79 20 68 61 76 69 6e  hout every havin
1ef0: 67 20 74 6f 20 62 61 63 6b 75 70 20 61 6e 64 20  g to backup and 
1f00: 72 65 74 72 79 20 61 6e 64 20 77 69 74 68 6f 75  retry and withou
1f10: 74 0a 2a 2a 20 77 6f 72 72 79 69 6e 67 20 61 62  t.** worrying ab
1f20: 6f 75 74 20 64 65 61 64 6c 6f 63 6b 2e 0a 2a 2a  out deadlock..**
1f30: 0a 2a 2a 20 54 68 65 20 6e 75 6d 62 65 72 20 6f  .** The number o
1f40: 66 20 73 68 61 72 65 64 20 62 74 72 65 65 73 20  f shared btrees 
1f50: 77 69 6c 6c 20 61 6c 77 61 79 73 20 62 65 20 73  will always be s
1f60: 6d 61 6c 6c 20 28 75 73 75 61 6c 6c 79 20 30 20  mall (usually 0 
1f70: 6f 72 20 31 29 0a 2a 2a 20 73 6f 20 61 6e 20 69  or 1).** so an i
1f80: 6e 73 65 72 74 69 6f 6e 20 73 6f 72 74 20 69 73  nsertion sort is
1f90: 20 61 6e 20 61 64 65 71 75 61 74 65 20 61 6c 67   an adequate alg
1fa0: 6f 72 69 74 68 6d 20 68 65 72 65 2e 0a 2a 2f 0a  orithm here..*/.
1fb0: 76 6f 69 64 20 73 71 6c 69 74 65 33 42 74 72 65  void sqlite3Btre
1fc0: 65 4d 75 74 65 78 41 72 72 61 79 49 6e 73 65 72  eMutexArrayInser
1fd0: 74 28 42 74 72 65 65 4d 75 74 65 78 41 72 72 61  t(BtreeMutexArra
1fe0: 79 20 2a 70 41 72 72 61 79 2c 20 42 74 72 65 65  y *pArray, Btree
1ff0: 20 2a 70 42 74 72 65 65 29 7b 0a 20 20 69 6e 74   *pBtree){.  int
2000: 20 69 2c 20 6a 3b 0a 20 20 42 74 53 68 61 72 65   i, j;.  BtShare
2010: 64 20 2a 70 42 74 3b 0a 20 20 69 66 28 20 70 42  d *pBt;.  if( pB
2020: 74 72 65 65 3d 3d 30 20 7c 7c 20 70 42 74 72 65  tree==0 || pBtre
2030: 65 2d 3e 73 68 61 72 61 62 6c 65 3d 3d 30 20 29  e->sharable==0 )
2040: 20 72 65 74 75 72 6e 3b 0a 23 69 66 6e 64 65 66   return;.#ifndef
2050: 20 4e 44 45 42 55 47 0a 20 20 7b 0a 20 20 20 20   NDEBUG.  {.    
2060: 66 6f 72 28 69 3d 30 3b 20 69 3c 70 41 72 72 61  for(i=0; i<pArra
2070: 79 2d 3e 6e 4d 75 74 65 78 3b 20 69 2b 2b 29 7b  y->nMutex; i++){
2080: 0a 20 20 20 20 20 20 61 73 73 65 72 74 28 20 70  .      assert( p
2090: 41 72 72 61 79 2d 3e 61 42 74 72 65 65 5b 69 5d  Array->aBtree[i]
20a0: 21 3d 70 42 74 72 65 65 20 29 3b 0a 20 20 20 20  !=pBtree );.    
20b0: 7d 0a 20 20 7d 0a 23 65 6e 64 69 66 0a 20 20 61  }.  }.#endif.  a
20c0: 73 73 65 72 74 28 20 70 41 72 72 61 79 2d 3e 6e  ssert( pArray->n
20d0: 4d 75 74 65 78 3e 3d 30 20 29 3b 0a 20 20 61 73  Mutex>=0 );.  as
20e0: 73 65 72 74 28 20 70 41 72 72 61 79 2d 3e 6e 4d  sert( pArray->nM
20f0: 75 74 65 78 3c 41 72 72 61 79 53 69 7a 65 28 70  utex<ArraySize(p
2100: 41 72 72 61 79 2d 3e 61 42 74 72 65 65 29 2d 31  Array->aBtree)-1
2110: 20 29 3b 0a 20 20 70 42 74 20 3d 20 70 42 74 72   );.  pBt = pBtr
2120: 65 65 2d 3e 70 42 74 3b 0a 20 20 66 6f 72 28 69  ee->pBt;.  for(i
2130: 3d 30 3b 20 69 3c 70 41 72 72 61 79 2d 3e 6e 4d  =0; i<pArray->nM
2140: 75 74 65 78 3b 20 69 2b 2b 29 7b 0a 20 20 20 20  utex; i++){.    
2150: 61 73 73 65 72 74 28 20 70 41 72 72 61 79 2d 3e  assert( pArray->
2160: 61 42 74 72 65 65 5b 69 5d 21 3d 70 42 74 72 65  aBtree[i]!=pBtre
2170: 65 20 29 3b 0a 20 20 20 20 69 66 28 20 70 41 72  e );.    if( pAr
2180: 72 61 79 2d 3e 61 42 74 72 65 65 5b 69 5d 2d 3e  ray->aBtree[i]->
2190: 70 42 74 3e 70 42 74 20 29 7b 0a 20 20 20 20 20  pBt>pBt ){.     
21a0: 20 66 6f 72 28 6a 3d 70 41 72 72 61 79 2d 3e 6e   for(j=pArray->n
21b0: 4d 75 74 65 78 3b 20 6a 3e 69 3b 20 6a 2d 2d 29  Mutex; j>i; j--)
21c0: 7b 0a 20 20 20 20 20 20 20 20 70 41 72 72 61 79  {.        pArray
21d0: 2d 3e 61 42 74 72 65 65 5b 6a 5d 20 3d 20 70 41  ->aBtree[j] = pA
21e0: 72 72 61 79 2d 3e 61 42 74 72 65 65 5b 6a 2d 31  rray->aBtree[j-1
21f0: 5d 3b 0a 20 20 20 20 20 20 7d 0a 20 20 20 20 20  ];.      }.     
2200: 20 70 41 72 72 61 79 2d 3e 61 42 74 72 65 65 5b   pArray->aBtree[
2210: 69 5d 20 3d 20 70 42 74 72 65 65 3b 0a 20 20 20  i] = pBtree;.   
2220: 20 20 20 70 41 72 72 61 79 2d 3e 6e 4d 75 74 65     pArray->nMute
2230: 78 2b 2b 3b 0a 20 20 20 20 20 20 72 65 74 75 72  x++;.      retur
2240: 6e 3b 0a 20 20 20 20 7d 0a 20 20 7d 0a 20 20 70  n;.    }.  }.  p
2250: 41 72 72 61 79 2d 3e 61 42 74 72 65 65 5b 70 41  Array->aBtree[pA
2260: 72 72 61 79 2d 3e 6e 4d 75 74 65 78 2b 2b 5d 20  rray->nMutex++] 
2270: 3d 20 70 42 74 72 65 65 3b 0a 7d 0a 0a 2f 2a 0a  = pBtree;.}../*.
2280: 2a 2a 20 45 6e 74 65 72 20 74 68 65 20 6d 75 74  ** Enter the mut
2290: 65 78 20 6f 66 20 65 76 65 72 79 20 62 74 72 65  ex of every btre
22a0: 65 20 69 6e 20 74 68 65 20 61 72 72 61 79 2e 20  e in the array. 
22b0: 20 54 68 69 73 20 72 6f 75 74 69 6e 65 20 69 73   This routine is
22c0: 0a 2a 2a 20 63 61 6c 6c 65 64 20 61 74 20 74 68  .** called at th
22d0: 65 20 62 65 67 69 6e 6e 69 6e 67 20 6f 66 20 73  e beginning of s
22e0: 71 6c 69 74 65 33 56 64 62 65 45 78 65 63 28 29  qlite3VdbeExec()
22f0: 2e 20 20 54 68 65 20 6d 75 74 65 78 65 73 20 61  .  The mutexes a
2300: 72 65 0a 2a 2a 20 65 78 69 74 65 64 20 61 74 20  re.** exited at 
2310: 74 68 65 20 65 6e 64 20 6f 66 20 74 68 65 20 73  the end of the s
2320: 61 6d 65 20 66 75 6e 63 74 69 6f 6e 2e 0a 2a 2f  ame function..*/
2330: 0a 76 6f 69 64 20 73 71 6c 69 74 65 33 42 74 72  .void sqlite3Btr
2340: 65 65 4d 75 74 65 78 41 72 72 61 79 45 6e 74 65  eeMutexArrayEnte
2350: 72 28 42 74 72 65 65 4d 75 74 65 78 41 72 72 61  r(BtreeMutexArra
2360: 79 20 2a 70 41 72 72 61 79 29 7b 0a 20 20 69 6e  y *pArray){.  in
2370: 74 20 69 3b 0a 20 20 66 6f 72 28 69 3d 30 3b 20  t i;.  for(i=0; 
2380: 69 3c 70 41 72 72 61 79 2d 3e 6e 4d 75 74 65 78  i<pArray->nMutex
2390: 3b 20 69 2b 2b 29 7b 0a 20 20 20 20 42 74 72 65  ; i++){.    Btre
23a0: 65 20 2a 70 20 3d 20 70 41 72 72 61 79 2d 3e 61  e *p = pArray->a
23b0: 42 74 72 65 65 5b 69 5d 3b 0a 20 20 20 20 2f 2a  Btree[i];.    /*
23c0: 20 53 6f 6d 65 20 62 61 73 69 63 20 73 61 6e 69   Some basic sani
23d0: 74 79 20 63 68 65 63 6b 69 6e 67 20 2a 2f 0a 20  ty checking */. 
23e0: 20 20 20 61 73 73 65 72 74 28 20 69 3d 3d 30 20     assert( i==0 
23f0: 7c 7c 20 70 41 72 72 61 79 2d 3e 61 42 74 72 65  || pArray->aBtre
2400: 65 5b 69 2d 31 5d 2d 3e 70 42 74 3c 70 2d 3e 70  e[i-1]->pBt<p->p
2410: 42 74 20 29 3b 0a 20 20 20 20 61 73 73 65 72 74  Bt );.    assert
2420: 28 20 21 70 2d 3e 6c 6f 63 6b 65 64 20 7c 7c 20  ( !p->locked || 
2430: 70 2d 3e 77 61 6e 74 54 6f 4c 6f 63 6b 3e 30 20  p->wantToLock>0 
2440: 29 3b 0a 0a 20 20 20 20 2f 2a 20 57 65 20 73 68  );..    /* We sh
2450: 6f 75 6c 64 20 61 6c 72 65 61 64 79 20 68 6f 6c  ould already hol
2460: 64 20 61 20 6c 6f 63 6b 20 6f 6e 20 74 68 65 20  d a lock on the 
2470: 64 61 74 61 62 61 73 65 20 63 6f 6e 6e 65 63 74  database connect
2480: 69 6f 6e 20 2a 2f 0a 20 20 20 20 61 73 73 65 72  ion */.    asser
2490: 74 28 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  t( sqlite3_mutex
24a0: 5f 68 65 6c 64 28 70 2d 3e 64 62 2d 3e 6d 75 74  _held(p->db->mut
24b0: 65 78 29 20 29 3b 0a 0a 20 20 20 20 2f 2a 20 54  ex) );..    /* T
24c0: 68 65 20 42 74 72 65 65 20 69 73 20 73 68 61 72  he Btree is shar
24d0: 61 62 6c 65 20 62 65 63 61 75 73 65 20 6f 6e 6c  able because onl
24e0: 79 20 73 68 61 72 61 62 6c 65 20 42 74 72 65 65  y sharable Btree
24f0: 73 20 61 72 65 20 65 6e 74 65 72 65 64 0a 20 20  s are entered.  
2500: 20 20 2a 2a 20 69 6e 74 6f 20 74 68 65 20 61 72    ** into the ar
2510: 72 61 79 20 69 6e 20 74 68 65 20 66 69 72 73 74  ray in the first
2520: 20 70 6c 61 63 65 2e 20 2a 2f 0a 20 20 20 20 61   place. */.    a
2530: 73 73 65 72 74 28 20 70 2d 3e 73 68 61 72 61 62  ssert( p->sharab
2540: 6c 65 20 29 3b 0a 0a 20 20 20 20 70 2d 3e 77 61  le );..    p->wa
2550: 6e 74 54 6f 4c 6f 63 6b 2b 2b 3b 0a 20 20 20 20  ntToLock++;.    
2560: 69 66 28 20 21 70 2d 3e 6c 6f 63 6b 65 64 20 29  if( !p->locked )
2570: 7b 0a 20 20 20 20 20 20 6c 6f 63 6b 42 74 72 65  {.      lockBtre
2580: 65 4d 75 74 65 78 28 70 29 3b 0a 20 20 20 20 7d  eMutex(p);.    }
2590: 0a 20 20 7d 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 4c 65  .  }.}../*.** Le
25a0: 61 76 65 20 74 68 65 20 6d 75 74 65 78 20 6f 66  ave the mutex of
25b0: 20 65 76 65 72 79 20 62 74 72 65 65 20 69 6e 20   every btree in 
25c0: 74 68 65 20 67 72 6f 75 70 2e 0a 2a 2f 0a 76 6f  the group..*/.vo
25d0: 69 64 20 73 71 6c 69 74 65 33 42 74 72 65 65 4d  id sqlite3BtreeM
25e0: 75 74 65 78 41 72 72 61 79 4c 65 61 76 65 28 42  utexArrayLeave(B
25f0: 74 72 65 65 4d 75 74 65 78 41 72 72 61 79 20 2a  treeMutexArray *
2600: 70 41 72 72 61 79 29 7b 0a 20 20 69 6e 74 20 69  pArray){.  int i
2610: 3b 0a 20 20 66 6f 72 28 69 3d 30 3b 20 69 3c 70  ;.  for(i=0; i<p
2620: 41 72 72 61 79 2d 3e 6e 4d 75 74 65 78 3b 20 69  Array->nMutex; i
2630: 2b 2b 29 7b 0a 20 20 20 20 42 74 72 65 65 20 2a  ++){.    Btree *
2640: 70 20 3d 20 70 41 72 72 61 79 2d 3e 61 42 74 72  p = pArray->aBtr
2650: 65 65 5b 69 5d 3b 0a 20 20 20 20 2f 2a 20 53 6f  ee[i];.    /* So
2660: 6d 65 20 62 61 73 69 63 20 73 61 6e 69 74 79 20  me basic sanity 
2670: 63 68 65 63 6b 69 6e 67 20 2a 2f 0a 20 20 20 20  checking */.    
2680: 61 73 73 65 72 74 28 20 69 3d 3d 30 20 7c 7c 20  assert( i==0 || 
2690: 70 41 72 72 61 79 2d 3e 61 42 74 72 65 65 5b 69  pArray->aBtree[i
26a0: 2d 31 5d 2d 3e 70 42 74 3c 70 2d 3e 70 42 74 20  -1]->pBt<p->pBt 
26b0: 29 3b 0a 20 20 20 20 61 73 73 65 72 74 28 20 70  );.    assert( p
26c0: 2d 3e 6c 6f 63 6b 65 64 20 29 3b 0a 20 20 20 20  ->locked );.    
26d0: 61 73 73 65 72 74 28 20 70 2d 3e 77 61 6e 74 54  assert( p->wantT
26e0: 6f 4c 6f 63 6b 3e 30 20 29 3b 0a 0a 20 20 20 20  oLock>0 );..    
26f0: 2f 2a 20 57 65 20 73 68 6f 75 6c 64 20 61 6c 72  /* We should alr
2700: 65 61 64 79 20 68 6f 6c 64 20 61 20 6c 6f 63 6b  eady hold a lock
2710: 20 6f 6e 20 74 68 65 20 64 61 74 61 62 61 73 65   on the database
2720: 20 63 6f 6e 6e 65 63 74 69 6f 6e 20 2a 2f 0a 20   connection */. 
2730: 20 20 20 61 73 73 65 72 74 28 20 73 71 6c 69 74     assert( sqlit
2740: 65 33 5f 6d 75 74 65 78 5f 68 65 6c 64 28 70 2d  e3_mutex_held(p-
2750: 3e 64 62 2d 3e 6d 75 74 65 78 29 20 29 3b 0a 0a  >db->mutex) );..
2760: 20 20 20 20 70 2d 3e 77 61 6e 74 54 6f 4c 6f 63      p->wantToLoc
2770: 6b 2d 2d 3b 0a 20 20 20 20 69 66 28 20 70 2d 3e  k--;.    if( p->
2780: 77 61 6e 74 54 6f 4c 6f 63 6b 3d 3d 30 20 29 7b  wantToLock==0 ){
2790: 0a 20 20 20 20 20 20 75 6e 6c 6f 63 6b 42 74 72  .      unlockBtr
27a0: 65 65 4d 75 74 65 78 28 70 29 3b 0a 20 20 20 20  eeMutex(p);.    
27b0: 7d 0a 20 20 7d 0a 7d 0a 0a 23 65 6c 73 65 0a 76  }.  }.}..#else.v
27c0: 6f 69 64 20 73 71 6c 69 74 65 33 42 74 72 65 65  oid sqlite3Btree
27d0: 45 6e 74 65 72 28 42 74 72 65 65 20 2a 70 29 7b  Enter(Btree *p){
27e0: 0a 20 20 70 2d 3e 70 42 74 2d 3e 64 62 20 3d 20  .  p->pBt->db = 
27f0: 70 2d 3e 64 62 3b 0a 7d 0a 76 6f 69 64 20 73 71  p->db;.}.void sq
2800: 6c 69 74 65 33 42 74 72 65 65 45 6e 74 65 72 41  lite3BtreeEnterA
2810: 6c 6c 28 73 71 6c 69 74 65 33 20 2a 64 62 29 7b  ll(sqlite3 *db){
2820: 0a 20 20 69 6e 74 20 69 3b 0a 20 20 66 6f 72 28  .  int i;.  for(
2830: 69 3d 30 3b 20 69 3c 64 62 2d 3e 6e 44 62 3b 20  i=0; i<db->nDb; 
2840: 69 2b 2b 29 7b 0a 20 20 20 20 42 74 72 65 65 20  i++){.    Btree 
2850: 2a 70 20 3d 20 64 62 2d 3e 61 44 62 5b 69 5d 2e  *p = db->aDb[i].
2860: 70 42 74 3b 0a 20 20 20 20 69 66 28 20 70 20 29  pBt;.    if( p )
2870: 7b 0a 20 20 20 20 20 20 70 2d 3e 70 42 74 2d 3e  {.      p->pBt->
2880: 64 62 20 3d 20 70 2d 3e 64 62 3b 0a 20 20 20 20  db = p->db;.    
2890: 7d 0a 20 20 7d 0a 7d 0a 23 65 6e 64 69 66 20 2f  }.  }.}.#endif /
28a0: 2a 20 69 66 20 53 51 4c 49 54 45 5f 54 48 52 45  * if SQLITE_THRE
28b0: 41 44 53 41 46 45 20 2a 2f 0a 23 65 6e 64 69 66  ADSAFE */.#endif
28c0: 20 2f 2a 20 69 66 6e 64 65 66 20 53 51 4c 49 54   /* ifndef SQLIT
28d0: 45 5f 4f 4d 49 54 5f 53 48 41 52 45 44 5f 43 41  E_OMIT_SHARED_CA
28e0: 43 48 45 20 2a 2f 0a                             CHE */.