/ Hex Artifact Content
Login

Artifact 2f936339dfef1a4c142db290d575a3509b77315f:


0000: 2f 2a 0a 2a 2a 20 32 30 30 37 20 41 75 67 75 73  /*.** 2007 Augus
0010: 74 20 32 38 0a 2a 2a 0a 2a 2a 20 54 68 65 20 61  t 28.**.** 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 20 54 68 69 73 20 66 69 6c 65  ***.** This file
0180: 20 63 6f 6e 74 61 69 6e 73 20 74 68 65 20 43 20   contains the C 
0190: 66 75 6e 63 74 69 6f 6e 73 20 74 68 61 74 20 69  functions that i
01a0: 6d 70 6c 65 6d 65 6e 74 20 6d 75 74 65 78 65 73  mplement mutexes
01b0: 20 66 6f 72 20 70 74 68 72 65 61 64 73 0a 2a 2a   for pthreads.**
01c0: 0a 2a 2a 20 24 49 64 3a 20 6d 75 74 65 78 5f 75  .** $Id: mutex_u
01d0: 6e 69 78 2e 63 2c 76 20 31 2e 31 36 20 32 30 30  nix.c,v 1.16 200
01e0: 38 2f 31 32 2f 30 38 20 31 38 3a 31 39 3a 31 38  8/12/08 18:19:18
01f0: 20 64 72 68 20 45 78 70 20 24 0a 2a 2f 0a 23 69   drh Exp $.*/.#i
0200: 6e 63 6c 75 64 65 20 22 73 71 6c 69 74 65 49 6e  nclude "sqliteIn
0210: 74 2e 68 22 0a 0a 2f 2a 0a 2a 2a 20 54 68 65 20  t.h"../*.** The 
0220: 63 6f 64 65 20 69 6e 20 74 68 69 73 20 66 69 6c  code in this fil
0230: 65 20 69 73 20 6f 6e 6c 79 20 75 73 65 64 20 69  e is only used i
0240: 66 20 77 65 20 61 72 65 20 63 6f 6d 70 69 6c 69  f we are compili
0250: 6e 67 20 74 68 72 65 61 64 73 61 66 65 0a 2a 2a  ng threadsafe.**
0260: 20 75 6e 64 65 72 20 75 6e 69 78 20 77 69 74 68   under unix with
0270: 20 70 74 68 72 65 61 64 73 2e 0a 2a 2a 0a 2a 2a   pthreads..**.**
0280: 20 4e 6f 74 65 20 74 68 61 74 20 74 68 69 73 20   Note that this 
0290: 69 6d 70 6c 65 6d 65 6e 74 61 74 69 6f 6e 20 72  implementation r
02a0: 65 71 75 69 72 65 73 20 61 20 76 65 72 73 69 6f  equires a versio
02b0: 6e 20 6f 66 20 70 74 68 72 65 61 64 73 20 74 68  n of pthreads th
02c0: 61 74 0a 2a 2a 20 73 75 70 70 6f 72 74 73 20 72  at.** supports r
02d0: 65 63 75 72 73 69 76 65 20 6d 75 74 65 78 65 73  ecursive mutexes
02e0: 2e 0a 2a 2f 0a 23 69 66 64 65 66 20 53 51 4c 49  ..*/.#ifdef SQLI
02f0: 54 45 5f 4d 55 54 45 58 5f 50 54 48 52 45 41 44  TE_MUTEX_PTHREAD
0300: 53 0a 0a 23 69 6e 63 6c 75 64 65 20 3c 70 74 68  S..#include <pth
0310: 72 65 61 64 2e 68 3e 0a 0a 0a 2f 2a 0a 2a 2a 20  read.h>.../*.** 
0320: 45 61 63 68 20 72 65 63 75 72 73 69 76 65 20 6d  Each recursive m
0330: 75 74 65 78 20 69 73 20 61 6e 20 69 6e 73 74 61  utex is an insta
0340: 6e 63 65 20 6f 66 20 74 68 65 20 66 6f 6c 6c 6f  nce of the follo
0350: 77 69 6e 67 20 73 74 72 75 63 74 75 72 65 2e 0a  wing structure..
0360: 2a 2f 0a 73 74 72 75 63 74 20 73 71 6c 69 74 65  */.struct sqlite
0370: 33 5f 6d 75 74 65 78 20 7b 0a 20 20 70 74 68 72  3_mutex {.  pthr
0380: 65 61 64 5f 6d 75 74 65 78 5f 74 20 6d 75 74 65  ead_mutex_t mute
0390: 78 3b 20 20 20 20 20 2f 2a 20 4d 75 74 65 78 20  x;     /* Mutex 
03a0: 63 6f 6e 74 72 6f 6c 6c 69 6e 67 20 74 68 65 20  controlling the 
03b0: 6c 6f 63 6b 20 2a 2f 0a 20 20 69 6e 74 20 69 64  lock */.  int id
03c0: 3b 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20  ;               
03d0: 20 20 20 20 20 2f 2a 20 4d 75 74 65 78 20 74 79       /* Mutex ty
03e0: 70 65 20 2a 2f 0a 20 20 69 6e 74 20 6e 52 65 66  pe */.  int nRef
03f0: 3b 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20  ;               
0400: 20 20 20 2f 2a 20 4e 75 6d 62 65 72 20 6f 66 20     /* Number of 
0410: 65 6e 74 72 61 6e 63 65 73 20 2a 2f 0a 20 20 70  entrances */.  p
0420: 74 68 72 65 61 64 5f 74 20 6f 77 6e 65 72 3b 20  thread_t owner; 
0430: 20 20 20 20 20 20 20 20 20 20 2f 2a 20 54 68 72            /* Thr
0440: 65 61 64 20 74 68 61 74 20 69 73 20 77 69 74 68  ead that is with
0450: 69 6e 20 74 68 69 73 20 6d 75 74 65 78 20 2a 2f  in this mutex */
0460: 0a 23 69 66 64 65 66 20 53 51 4c 49 54 45 5f 44  .#ifdef SQLITE_D
0470: 45 42 55 47 0a 20 20 69 6e 74 20 74 72 61 63 65  EBUG.  int trace
0480: 3b 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20  ;               
0490: 20 20 2f 2a 20 54 72 75 65 20 74 6f 20 74 72 61    /* True to tra
04a0: 63 65 20 63 68 61 6e 67 65 73 20 2a 2f 0a 23 65  ce changes */.#e
04b0: 6e 64 69 66 0a 7d 3b 0a 23 69 66 64 65 66 20 53  ndif.};.#ifdef S
04c0: 51 4c 49 54 45 5f 44 45 42 55 47 0a 23 64 65 66  QLITE_DEBUG.#def
04d0: 69 6e 65 20 53 51 4c 49 54 45 33 5f 4d 55 54 45  ine SQLITE3_MUTE
04e0: 58 5f 49 4e 49 54 49 41 4c 49 5a 45 52 20 7b 20  X_INITIALIZER { 
04f0: 50 54 48 52 45 41 44 5f 4d 55 54 45 58 5f 49 4e  PTHREAD_MUTEX_IN
0500: 49 54 49 41 4c 49 5a 45 52 2c 20 30 2c 20 30 2c  ITIALIZER, 0, 0,
0510: 20 28 70 74 68 72 65 61 64 5f 74 29 30 2c 20 30   (pthread_t)0, 0
0520: 20 7d 0a 23 65 6c 73 65 0a 23 64 65 66 69 6e 65   }.#else.#define
0530: 20 53 51 4c 49 54 45 33 5f 4d 55 54 45 58 5f 49   SQLITE3_MUTEX_I
0540: 4e 49 54 49 41 4c 49 5a 45 52 20 7b 20 50 54 48  NITIALIZER { PTH
0550: 52 45 41 44 5f 4d 55 54 45 58 5f 49 4e 49 54 49  READ_MUTEX_INITI
0560: 41 4c 49 5a 45 52 2c 20 30 2c 20 30 2c 20 28 70  ALIZER, 0, 0, (p
0570: 74 68 72 65 61 64 5f 74 29 30 20 7d 0a 23 65 6e  thread_t)0 }.#en
0580: 64 69 66 0a 0a 2f 2a 0a 2a 2a 20 54 68 65 20 73  dif../*.** The s
0590: 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 68 65 6c  qlite3_mutex_hel
05a0: 64 28 29 20 61 6e 64 20 73 71 6c 69 74 65 33 5f  d() and sqlite3_
05b0: 6d 75 74 65 78 5f 6e 6f 74 68 65 6c 64 28 29 20  mutex_notheld() 
05c0: 72 6f 75 74 69 6e 65 20 61 72 65 0a 2a 2a 20 69  routine are.** i
05d0: 6e 74 65 6e 64 65 64 20 66 6f 72 20 75 73 65 20  ntended for use 
05e0: 6f 6e 6c 79 20 69 6e 73 69 64 65 20 61 73 73 65  only inside asse
05f0: 72 74 28 29 20 73 74 61 74 65 6d 65 6e 74 73 2e  rt() statements.
0600: 20 20 4f 6e 20 73 6f 6d 65 20 70 6c 61 74 66 6f    On some platfo
0610: 72 6d 73 2c 0a 2a 2a 20 74 68 65 72 65 20 6d 69  rms,.** there mi
0620: 67 68 74 20 62 65 20 72 61 63 65 20 63 6f 6e 64  ght be race cond
0630: 69 74 69 6f 6e 73 20 74 68 61 74 20 63 61 6e 20  itions that can 
0640: 63 61 75 73 65 20 74 68 65 73 65 20 72 6f 75 74  cause these rout
0650: 69 6e 65 73 20 74 6f 0a 2a 2a 20 64 65 6c 69 76  ines to.** deliv
0660: 65 72 20 69 6e 63 6f 72 72 65 63 74 20 72 65 73  er incorrect res
0670: 75 6c 74 73 2e 20 20 49 6e 20 70 61 72 74 69 63  ults.  In partic
0680: 75 6c 61 72 2c 20 69 66 20 70 74 68 72 65 61 64  ular, if pthread
0690: 5f 65 71 75 61 6c 28 29 20 69 73 0a 2a 2a 20 6e  _equal() is.** n
06a0: 6f 74 20 61 6e 20 61 74 6f 6d 69 63 20 6f 70 65  ot an atomic ope
06b0: 72 61 74 69 6f 6e 2c 20 74 68 65 6e 20 74 68 65  ration, then the
06c0: 73 65 20 72 6f 75 74 69 6e 65 73 20 6d 69 67 68  se routines migh
06d0: 74 20 64 65 6c 69 76 65 72 79 0a 2a 2a 20 69 6e  t delivery.** in
06e0: 63 6f 72 72 65 63 74 20 72 65 73 75 6c 74 73 2e  correct results.
06f0: 20 20 4f 6e 20 6d 6f 73 74 20 70 6c 61 74 66 6f    On most platfo
0700: 72 6d 73 2c 20 70 74 68 72 65 61 64 5f 65 71 75  rms, pthread_equ
0710: 61 6c 28 29 20 69 73 20 61 20 0a 2a 2a 20 63 6f  al() is a .** co
0720: 6d 70 61 72 69 73 6f 6e 20 6f 66 20 74 77 6f 20  mparison of two 
0730: 69 6e 74 65 67 65 72 73 20 61 6e 64 20 69 73 20  integers and is 
0740: 74 68 65 72 65 66 6f 72 65 20 61 74 6f 6d 69 63  therefore atomic
0750: 2e 20 20 42 75 74 20 77 65 20 61 72 65 0a 2a 2a  .  But we are.**
0760: 20 74 6f 6c 64 20 74 68 61 74 20 48 50 55 58 20   told that HPUX 
0770: 69 73 20 6e 6f 74 20 73 75 63 68 20 61 20 70 6c  is not such a pl
0780: 61 74 66 6f 72 6d 2e 20 20 49 66 20 73 6f 2c 20  atform.  If so, 
0790: 74 68 65 6e 20 74 68 65 73 65 20 72 6f 75 74 69  then these routi
07a0: 6e 65 73 0a 2a 2a 20 77 69 6c 6c 20 6e 6f 74 20  nes.** will not 
07b0: 61 6c 77 61 79 73 20 77 6f 72 6b 20 63 6f 72 72  always work corr
07c0: 65 63 74 6c 79 20 6f 6e 20 48 50 55 58 2e 0a 2a  ectly on HPUX..*
07d0: 2a 0a 2a 2a 20 4f 6e 20 74 68 6f 73 65 20 70 6c  *.** On those pl
07e0: 61 74 66 6f 72 6d 73 20 77 68 65 72 65 20 70 74  atforms where pt
07f0: 68 72 65 61 64 5f 65 71 75 61 6c 28 29 20 69 73  hread_equal() is
0800: 20 6e 6f 74 20 61 74 6f 6d 69 63 2c 20 53 51 4c   not atomic, SQL
0810: 69 74 65 0a 2a 2a 20 73 68 6f 75 6c 64 20 62 65  ite.** should be
0820: 20 63 6f 6d 70 69 6c 65 64 20 77 69 74 68 6f 75   compiled withou
0830: 74 20 2d 44 53 51 4c 49 54 45 5f 44 45 42 55 47  t -DSQLITE_DEBUG
0840: 20 61 6e 64 20 77 69 74 68 20 2d 44 4e 44 45 42   and with -DNDEB
0850: 55 47 20 74 6f 0a 2a 2a 20 6d 61 6b 65 20 73 75  UG to.** make su
0860: 72 65 20 6e 6f 20 61 73 73 65 72 74 28 29 20 73  re no assert() s
0870: 74 61 74 65 6d 65 6e 74 73 20 61 72 65 20 65 76  tatements are ev
0880: 61 6c 75 61 74 65 64 20 61 6e 64 20 68 65 6e 63  aluated and henc
0890: 65 20 74 68 65 73 65 0a 2a 2a 20 72 6f 75 74 69  e these.** routi
08a0: 6e 65 73 20 61 72 65 20 6e 65 76 65 72 20 63 61  nes are never ca
08b0: 6c 6c 65 64 2e 0a 2a 2f 0a 23 69 66 20 21 64 65  lled..*/.#if !de
08c0: 66 69 6e 65 64 28 4e 44 45 42 55 47 29 20 7c 7c  fined(NDEBUG) ||
08d0: 20 64 65 66 69 6e 65 64 28 53 51 4c 49 54 45 5f   defined(SQLITE_
08e0: 44 45 42 55 47 29 0a 73 74 61 74 69 63 20 69 6e  DEBUG).static in
08f0: 74 20 70 74 68 72 65 61 64 4d 75 74 65 78 48 65  t pthreadMutexHe
0900: 6c 64 28 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  ld(sqlite3_mutex
0910: 20 2a 70 29 7b 0a 20 20 72 65 74 75 72 6e 20 28   *p){.  return (
0920: 70 2d 3e 6e 52 65 66 21 3d 30 20 26 26 20 70 74  p->nRef!=0 && pt
0930: 68 72 65 61 64 5f 65 71 75 61 6c 28 70 2d 3e 6f  hread_equal(p->o
0940: 77 6e 65 72 2c 20 70 74 68 72 65 61 64 5f 73 65  wner, pthread_se
0950: 6c 66 28 29 29 29 3b 0a 7d 0a 73 74 61 74 69 63  lf()));.}.static
0960: 20 69 6e 74 20 70 74 68 72 65 61 64 4d 75 74 65   int pthreadMute
0970: 78 4e 6f 74 68 65 6c 64 28 73 71 6c 69 74 65 33  xNotheld(sqlite3
0980: 5f 6d 75 74 65 78 20 2a 70 29 7b 0a 20 20 72 65  _mutex *p){.  re
0990: 74 75 72 6e 20 70 2d 3e 6e 52 65 66 3d 3d 30 20  turn p->nRef==0 
09a0: 7c 7c 20 70 74 68 72 65 61 64 5f 65 71 75 61 6c  || pthread_equal
09b0: 28 70 2d 3e 6f 77 6e 65 72 2c 20 70 74 68 72 65  (p->owner, pthre
09c0: 61 64 5f 73 65 6c 66 28 29 29 3d 3d 30 3b 0a 7d  ad_self())==0;.}
09d0: 0a 23 65 6e 64 69 66 0a 0a 2f 2a 0a 2a 2a 20 49  .#endif../*.** I
09e0: 6e 69 74 69 61 6c 69 7a 65 20 61 6e 64 20 64 65  nitialize and de
09f0: 69 6e 69 74 69 61 6c 69 7a 65 20 74 68 65 20 6d  initialize the m
0a00: 75 74 65 78 20 73 75 62 73 79 73 74 65 6d 2e 0a  utex subsystem..
0a10: 2a 2f 0a 73 74 61 74 69 63 20 69 6e 74 20 70 74  */.static int pt
0a20: 68 72 65 61 64 4d 75 74 65 78 49 6e 69 74 28 76  hreadMutexInit(v
0a30: 6f 69 64 29 7b 20 72 65 74 75 72 6e 20 53 51 4c  oid){ return SQL
0a40: 49 54 45 5f 4f 4b 3b 20 7d 0a 73 74 61 74 69 63  ITE_OK; }.static
0a50: 20 69 6e 74 20 70 74 68 72 65 61 64 4d 75 74 65   int pthreadMute
0a60: 78 45 6e 64 28 76 6f 69 64 29 7b 20 72 65 74 75  xEnd(void){ retu
0a70: 72 6e 20 53 51 4c 49 54 45 5f 4f 4b 3b 20 7d 0a  rn SQLITE_OK; }.
0a80: 0a 2f 2a 0a 2a 2a 20 54 68 65 20 73 71 6c 69 74  ./*.** The sqlit
0a90: 65 33 5f 6d 75 74 65 78 5f 61 6c 6c 6f 63 28 29  e3_mutex_alloc()
0aa0: 20 72 6f 75 74 69 6e 65 20 61 6c 6c 6f 63 61 74   routine allocat
0ab0: 65 73 20 61 20 6e 65 77 0a 2a 2a 20 6d 75 74 65  es a new.** mute
0ac0: 78 20 61 6e 64 20 72 65 74 75 72 6e 73 20 61 20  x and returns a 
0ad0: 70 6f 69 6e 74 65 72 20 74 6f 20 69 74 2e 20 20  pointer to it.  
0ae0: 49 66 20 69 74 20 72 65 74 75 72 6e 73 20 4e 55  If it returns NU
0af0: 4c 4c 0a 2a 2a 20 74 68 61 74 20 6d 65 61 6e 73  LL.** that means
0b00: 20 74 68 61 74 20 61 20 6d 75 74 65 78 20 63 6f   that a mutex co
0b10: 75 6c 64 20 6e 6f 74 20 62 65 20 61 6c 6c 6f 63  uld not be alloc
0b20: 61 74 65 64 2e 20 20 53 51 4c 69 74 65 0a 2a 2a  ated.  SQLite.**
0b30: 20 77 69 6c 6c 20 75 6e 77 69 6e 64 20 69 74 73   will unwind its
0b40: 20 73 74 61 63 6b 20 61 6e 64 20 72 65 74 75 72   stack and retur
0b50: 6e 20 61 6e 20 65 72 72 6f 72 2e 20 20 54 68 65  n an error.  The
0b60: 20 61 72 67 75 6d 65 6e 74 0a 2a 2a 20 74 6f 20   argument.** to 
0b70: 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 61 6c  sqlite3_mutex_al
0b80: 6c 6f 63 28 29 20 69 73 20 6f 6e 65 20 6f 66 20  loc() is one of 
0b90: 74 68 65 73 65 20 69 6e 74 65 67 65 72 20 63 6f  these integer co
0ba0: 6e 73 74 61 6e 74 73 3a 0a 2a 2a 0a 2a 2a 20 3c  nstants:.**.** <
0bb0: 75 6c 3e 0a 2a 2a 20 3c 6c 69 3e 20 20 53 51 4c  ul>.** <li>  SQL
0bc0: 49 54 45 5f 4d 55 54 45 58 5f 46 41 53 54 0a 2a  ITE_MUTEX_FAST.*
0bd0: 2a 20 3c 6c 69 3e 20 20 53 51 4c 49 54 45 5f 4d  * <li>  SQLITE_M
0be0: 55 54 45 58 5f 52 45 43 55 52 53 49 56 45 0a 2a  UTEX_RECURSIVE.*
0bf0: 2a 20 3c 6c 69 3e 20 20 53 51 4c 49 54 45 5f 4d  * <li>  SQLITE_M
0c00: 55 54 45 58 5f 53 54 41 54 49 43 5f 4d 41 53 54  UTEX_STATIC_MAST
0c10: 45 52 0a 2a 2a 20 3c 6c 69 3e 20 20 53 51 4c 49  ER.** <li>  SQLI
0c20: 54 45 5f 4d 55 54 45 58 5f 53 54 41 54 49 43 5f  TE_MUTEX_STATIC_
0c30: 4d 45 4d 0a 2a 2a 20 3c 6c 69 3e 20 20 53 51 4c  MEM.** <li>  SQL
0c40: 49 54 45 5f 4d 55 54 45 58 5f 53 54 41 54 49 43  ITE_MUTEX_STATIC
0c50: 5f 4d 45 4d 32 0a 2a 2a 20 3c 6c 69 3e 20 20 53  _MEM2.** <li>  S
0c60: 51 4c 49 54 45 5f 4d 55 54 45 58 5f 53 54 41 54  QLITE_MUTEX_STAT
0c70: 49 43 5f 50 52 4e 47 0a 2a 2a 20 3c 6c 69 3e 20  IC_PRNG.** <li> 
0c80: 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 53 54   SQLITE_MUTEX_ST
0c90: 41 54 49 43 5f 4c 52 55 0a 2a 2a 20 3c 2f 75 6c  ATIC_LRU.** </ul
0ca0: 3e 0a 2a 2a 0a 2a 2a 20 54 68 65 20 66 69 72 73  >.**.** The firs
0cb0: 74 20 74 77 6f 20 63 6f 6e 73 74 61 6e 74 73 20  t two constants 
0cc0: 63 61 75 73 65 20 73 71 6c 69 74 65 33 5f 6d 75  cause sqlite3_mu
0cd0: 74 65 78 5f 61 6c 6c 6f 63 28 29 20 74 6f 20 63  tex_alloc() to c
0ce0: 72 65 61 74 65 0a 2a 2a 20 61 20 6e 65 77 20 6d  reate.** a new m
0cf0: 75 74 65 78 2e 20 20 54 68 65 20 6e 65 77 20 6d  utex.  The new m
0d00: 75 74 65 78 20 69 73 20 72 65 63 75 72 73 69 76  utex is recursiv
0d10: 65 20 77 68 65 6e 20 53 51 4c 49 54 45 5f 4d 55  e when SQLITE_MU
0d20: 54 45 58 5f 52 45 43 55 52 53 49 56 45 0a 2a 2a  TEX_RECURSIVE.**
0d30: 20 69 73 20 75 73 65 64 20 62 75 74 20 6e 6f 74   is used but not
0d40: 20 6e 65 63 65 73 73 61 72 69 6c 79 20 73 6f 20   necessarily so 
0d50: 77 68 65 6e 20 53 51 4c 49 54 45 5f 4d 55 54 45  when SQLITE_MUTE
0d60: 58 5f 46 41 53 54 20 69 73 20 75 73 65 64 2e 0a  X_FAST is used..
0d70: 2a 2a 20 54 68 65 20 6d 75 74 65 78 20 69 6d 70  ** The mutex imp
0d80: 6c 65 6d 65 6e 74 61 74 69 6f 6e 20 64 6f 65 73  lementation does
0d90: 20 6e 6f 74 20 6e 65 65 64 20 74 6f 20 6d 61 6b   not need to mak
0da0: 65 20 61 20 64 69 73 74 69 6e 63 74 69 6f 6e 0a  e a distinction.
0db0: 2a 2a 20 62 65 74 77 65 65 6e 20 53 51 4c 49 54  ** between SQLIT
0dc0: 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56  E_MUTEX_RECURSIV
0dd0: 45 20 61 6e 64 20 53 51 4c 49 54 45 5f 4d 55 54  E and SQLITE_MUT
0de0: 45 58 5f 46 41 53 54 20 69 66 20 69 74 20 64 6f  EX_FAST if it do
0df0: 65 73 0a 2a 2a 20 6e 6f 74 20 77 61 6e 74 20 74  es.** not want t
0e00: 6f 2e 20 20 42 75 74 20 53 51 4c 69 74 65 20 77  o.  But SQLite w
0e10: 69 6c 6c 20 6f 6e 6c 79 20 72 65 71 75 65 73 74  ill only request
0e20: 20 61 20 72 65 63 75 72 73 69 76 65 20 6d 75 74   a recursive mut
0e30: 65 78 20 69 6e 0a 2a 2a 20 63 61 73 65 73 20 77  ex in.** cases w
0e40: 68 65 72 65 20 69 74 20 72 65 61 6c 6c 79 20 6e  here it really n
0e50: 65 65 64 73 20 6f 6e 65 2e 20 20 49 66 20 61 20  eeds one.  If a 
0e60: 66 61 73 74 65 72 20 6e 6f 6e 2d 72 65 63 75 72  faster non-recur
0e70: 73 69 76 65 20 6d 75 74 65 78 0a 2a 2a 20 69 6d  sive mutex.** im
0e80: 70 6c 65 6d 65 6e 74 61 74 69 6f 6e 20 69 73 20  plementation is 
0e90: 61 76 61 69 6c 61 62 6c 65 20 6f 6e 20 74 68 65  available on the
0ea0: 20 68 6f 73 74 20 70 6c 61 74 66 6f 72 6d 2c 20   host platform, 
0eb0: 74 68 65 20 6d 75 74 65 78 20 73 75 62 73 79 73  the mutex subsys
0ec0: 74 65 6d 0a 2a 2a 20 6d 69 67 68 74 20 72 65 74  tem.** might ret
0ed0: 75 72 6e 20 73 75 63 68 20 61 20 6d 75 74 65 78  urn such a mutex
0ee0: 20 69 6e 20 72 65 73 70 6f 6e 73 65 20 74 6f 20   in response to 
0ef0: 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 46 41 53  SQLITE_MUTEX_FAS
0f00: 54 2e 0a 2a 2a 0a 2a 2a 20 54 68 65 20 6f 74 68  T..**.** The oth
0f10: 65 72 20 61 6c 6c 6f 77 65 64 20 70 61 72 61 6d  er allowed param
0f20: 65 74 65 72 73 20 74 6f 20 73 71 6c 69 74 65 33  eters to sqlite3
0f30: 5f 6d 75 74 65 78 5f 61 6c 6c 6f 63 28 29 20 65  _mutex_alloc() e
0f40: 61 63 68 20 72 65 74 75 72 6e 0a 2a 2a 20 61 20  ach return.** a 
0f50: 70 6f 69 6e 74 65 72 20 74 6f 20 61 20 73 74 61  pointer to a sta
0f60: 74 69 63 20 70 72 65 65 78 69 73 74 69 6e 67 20  tic preexisting 
0f70: 6d 75 74 65 78 2e 20 20 54 68 72 65 65 20 73 74  mutex.  Three st
0f80: 61 74 69 63 20 6d 75 74 65 78 65 73 20 61 72 65  atic mutexes are
0f90: 0a 2a 2a 20 75 73 65 64 20 62 79 20 74 68 65 20  .** used by the 
0fa0: 63 75 72 72 65 6e 74 20 76 65 72 73 69 6f 6e 20  current version 
0fb0: 6f 66 20 53 51 4c 69 74 65 2e 20 20 46 75 74 75  of SQLite.  Futu
0fc0: 72 65 20 76 65 72 73 69 6f 6e 73 20 6f 66 20 53  re versions of S
0fd0: 51 4c 69 74 65 0a 2a 2a 20 6d 61 79 20 61 64 64  QLite.** may add
0fe0: 20 61 64 64 69 74 69 6f 6e 61 6c 20 73 74 61 74   additional stat
0ff0: 69 63 20 6d 75 74 65 78 65 73 2e 20 20 53 74 61  ic mutexes.  Sta
1000: 74 69 63 20 6d 75 74 65 78 65 73 20 61 72 65 20  tic mutexes are 
1010: 66 6f 72 20 69 6e 74 65 72 6e 61 6c 0a 2a 2a 20  for internal.** 
1020: 75 73 65 20 62 79 20 53 51 4c 69 74 65 20 6f 6e  use by SQLite on
1030: 6c 79 2e 20 20 41 70 70 6c 69 63 61 74 69 6f 6e  ly.  Application
1040: 73 20 74 68 61 74 20 75 73 65 20 53 51 4c 69 74  s that use SQLit
1050: 65 20 6d 75 74 65 78 65 73 20 73 68 6f 75 6c 64  e mutexes should
1060: 0a 2a 2a 20 75 73 65 20 6f 6e 6c 79 20 74 68 65  .** use only the
1070: 20 64 79 6e 61 6d 69 63 20 6d 75 74 65 78 65 73   dynamic mutexes
1080: 20 72 65 74 75 72 6e 65 64 20 62 79 20 53 51 4c   returned by SQL
1090: 49 54 45 5f 4d 55 54 45 58 5f 46 41 53 54 20 6f  ITE_MUTEX_FAST o
10a0: 72 0a 2a 2a 20 53 51 4c 49 54 45 5f 4d 55 54 45  r.** SQLITE_MUTE
10b0: 58 5f 52 45 43 55 52 53 49 56 45 2e 0a 2a 2a 0a  X_RECURSIVE..**.
10c0: 2a 2a 20 4e 6f 74 65 20 74 68 61 74 20 69 66 20  ** Note that if 
10d0: 6f 6e 65 20 6f 66 20 74 68 65 20 64 79 6e 61 6d  one of the dynam
10e0: 69 63 20 6d 75 74 65 78 20 70 61 72 61 6d 65 74  ic mutex paramet
10f0: 65 72 73 20 28 53 51 4c 49 54 45 5f 4d 55 54 45  ers (SQLITE_MUTE
1100: 58 5f 46 41 53 54 0a 2a 2a 20 6f 72 20 53 51 4c  X_FAST.** or SQL
1110: 49 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53  ITE_MUTEX_RECURS
1120: 49 56 45 29 20 69 73 20 75 73 65 64 20 74 68 65  IVE) is used the
1130: 6e 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f  n sqlite3_mutex_
1140: 61 6c 6c 6f 63 28 29 0a 2a 2a 20 72 65 74 75 72  alloc().** retur
1150: 6e 73 20 61 20 64 69 66 66 65 72 65 6e 74 20 6d  ns a different m
1160: 75 74 65 78 20 6f 6e 20 65 76 65 72 79 20 63 61  utex on every ca
1170: 6c 6c 2e 20 20 42 75 74 20 66 6f 72 20 74 68 65  ll.  But for the
1180: 20 73 74 61 74 69 63 20 0a 2a 2a 20 6d 75 74 65   static .** mute
1190: 78 20 74 79 70 65 73 2c 20 74 68 65 20 73 61 6d  x types, the sam
11a0: 65 20 6d 75 74 65 78 20 69 73 20 72 65 74 75 72  e mutex is retur
11b0: 6e 65 64 20 6f 6e 20 65 76 65 72 79 20 63 61 6c  ned on every cal
11c0: 6c 20 74 68 61 74 20 68 61 73 0a 2a 2a 20 74 68  l that has.** th
11d0: 65 20 73 61 6d 65 20 74 79 70 65 20 6e 75 6d 62  e same type numb
11e0: 65 72 2e 0a 2a 2f 0a 73 74 61 74 69 63 20 73 71  er..*/.static sq
11f0: 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a 70 74 68  lite3_mutex *pth
1200: 72 65 61 64 4d 75 74 65 78 41 6c 6c 6f 63 28 69  readMutexAlloc(i
1210: 6e 74 20 69 54 79 70 65 29 7b 0a 20 20 73 74 61  nt iType){.  sta
1220: 74 69 63 20 73 71 6c 69 74 65 33 5f 6d 75 74 65  tic sqlite3_mute
1230: 78 20 73 74 61 74 69 63 4d 75 74 65 78 65 73 5b  x staticMutexes[
1240: 5d 20 3d 20 7b 0a 20 20 20 20 53 51 4c 49 54 45  ] = {.    SQLITE
1250: 33 5f 4d 55 54 45 58 5f 49 4e 49 54 49 41 4c 49  3_MUTEX_INITIALI
1260: 5a 45 52 2c 0a 20 20 20 20 53 51 4c 49 54 45 33  ZER,.    SQLITE3
1270: 5f 4d 55 54 45 58 5f 49 4e 49 54 49 41 4c 49 5a  _MUTEX_INITIALIZ
1280: 45 52 2c 0a 20 20 20 20 53 51 4c 49 54 45 33 5f  ER,.    SQLITE3_
1290: 4d 55 54 45 58 5f 49 4e 49 54 49 41 4c 49 5a 45  MUTEX_INITIALIZE
12a0: 52 2c 0a 20 20 20 20 53 51 4c 49 54 45 33 5f 4d  R,.    SQLITE3_M
12b0: 55 54 45 58 5f 49 4e 49 54 49 41 4c 49 5a 45 52  UTEX_INITIALIZER
12c0: 2c 0a 20 20 20 20 53 51 4c 49 54 45 33 5f 4d 55  ,.    SQLITE3_MU
12d0: 54 45 58 5f 49 4e 49 54 49 41 4c 49 5a 45 52 2c  TEX_INITIALIZER,
12e0: 0a 20 20 20 20 53 51 4c 49 54 45 33 5f 4d 55 54  .    SQLITE3_MUT
12f0: 45 58 5f 49 4e 49 54 49 41 4c 49 5a 45 52 0a 20  EX_INITIALIZER. 
1300: 20 7d 3b 0a 20 20 73 71 6c 69 74 65 33 5f 6d 75   };.  sqlite3_mu
1310: 74 65 78 20 2a 70 3b 0a 20 20 73 77 69 74 63 68  tex *p;.  switch
1320: 28 20 69 54 79 70 65 20 29 7b 0a 20 20 20 20 63  ( iType ){.    c
1330: 61 73 65 20 53 51 4c 49 54 45 5f 4d 55 54 45 58  ase SQLITE_MUTEX
1340: 5f 52 45 43 55 52 53 49 56 45 3a 20 7b 0a 20 20  _RECURSIVE: {.  
1350: 20 20 20 20 70 20 3d 20 73 71 6c 69 74 65 33 4d      p = sqlite3M
1360: 61 6c 6c 6f 63 5a 65 72 6f 28 20 73 69 7a 65 6f  allocZero( sizeo
1370: 66 28 2a 70 29 20 29 3b 0a 20 20 20 20 20 20 69  f(*p) );.      i
1380: 66 28 20 70 20 29 7b 0a 23 69 66 64 65 66 20 53  f( p ){.#ifdef S
1390: 51 4c 49 54 45 5f 48 4f 4d 45 47 52 4f 57 4e 5f  QLITE_HOMEGROWN_
13a0: 52 45 43 55 52 53 49 56 45 5f 4d 55 54 45 58 0a  RECURSIVE_MUTEX.
13b0: 20 20 20 20 20 20 20 20 2f 2a 20 49 66 20 72 65          /* If re
13c0: 63 75 72 73 69 76 65 20 6d 75 74 65 78 65 73 20  cursive mutexes 
13d0: 61 72 65 20 6e 6f 74 20 61 76 61 69 6c 61 62 6c  are not availabl
13e0: 65 2c 20 77 65 20 77 69 6c 6c 20 68 61 76 65 20  e, we will have 
13f0: 74 6f 0a 20 20 20 20 20 20 20 20 2a 2a 20 62 75  to.        ** bu
1400: 69 6c 64 20 6f 75 72 20 6f 77 6e 2e 20 20 53 65  ild our own.  Se
1410: 65 20 62 65 6c 6f 77 2e 20 2a 2f 0a 20 20 20 20  e below. */.    
1420: 20 20 20 20 70 74 68 72 65 61 64 5f 6d 75 74 65      pthread_mute
1430: 78 5f 69 6e 69 74 28 26 70 2d 3e 6d 75 74 65 78  x_init(&p->mutex
1440: 2c 20 30 29 3b 0a 23 65 6c 73 65 0a 20 20 20 20  , 0);.#else.    
1450: 20 20 20 20 2f 2a 20 55 73 65 20 61 20 72 65 63      /* Use a rec
1460: 75 72 73 69 76 65 20 6d 75 74 65 78 20 69 66 20  ursive mutex if 
1470: 69 74 20 69 73 20 61 76 61 69 6c 61 62 6c 65 20  it is available 
1480: 2a 2f 0a 20 20 20 20 20 20 20 20 70 74 68 72 65  */.        pthre
1490: 61 64 5f 6d 75 74 65 78 61 74 74 72 5f 74 20 72  ad_mutexattr_t r
14a0: 65 63 75 72 73 69 76 65 41 74 74 72 3b 0a 20 20  ecursiveAttr;.  
14b0: 20 20 20 20 20 20 70 74 68 72 65 61 64 5f 6d 75        pthread_mu
14c0: 74 65 78 61 74 74 72 5f 69 6e 69 74 28 26 72 65  texattr_init(&re
14d0: 63 75 72 73 69 76 65 41 74 74 72 29 3b 0a 20 20  cursiveAttr);.  
14e0: 20 20 20 20 20 20 70 74 68 72 65 61 64 5f 6d 75        pthread_mu
14f0: 74 65 78 61 74 74 72 5f 73 65 74 74 79 70 65 28  texattr_settype(
1500: 26 72 65 63 75 72 73 69 76 65 41 74 74 72 2c 20  &recursiveAttr, 
1510: 50 54 48 52 45 41 44 5f 4d 55 54 45 58 5f 52 45  PTHREAD_MUTEX_RE
1520: 43 55 52 53 49 56 45 29 3b 0a 20 20 20 20 20 20  CURSIVE);.      
1530: 20 20 70 74 68 72 65 61 64 5f 6d 75 74 65 78 5f    pthread_mutex_
1540: 69 6e 69 74 28 26 70 2d 3e 6d 75 74 65 78 2c 20  init(&p->mutex, 
1550: 26 72 65 63 75 72 73 69 76 65 41 74 74 72 29 3b  &recursiveAttr);
1560: 0a 20 20 20 20 20 20 20 20 70 74 68 72 65 61 64  .        pthread
1570: 5f 6d 75 74 65 78 61 74 74 72 5f 64 65 73 74 72  _mutexattr_destr
1580: 6f 79 28 26 72 65 63 75 72 73 69 76 65 41 74 74  oy(&recursiveAtt
1590: 72 29 3b 0a 23 65 6e 64 69 66 0a 20 20 20 20 20  r);.#endif.     
15a0: 20 20 20 70 2d 3e 69 64 20 3d 20 69 54 79 70 65     p->id = iType
15b0: 3b 0a 20 20 20 20 20 20 7d 0a 20 20 20 20 20 20  ;.      }.      
15c0: 62 72 65 61 6b 3b 0a 20 20 20 20 7d 0a 20 20 20  break;.    }.   
15d0: 20 63 61 73 65 20 53 51 4c 49 54 45 5f 4d 55 54   case SQLITE_MUT
15e0: 45 58 5f 46 41 53 54 3a 20 7b 0a 20 20 20 20 20  EX_FAST: {.     
15f0: 20 70 20 3d 20 73 71 6c 69 74 65 33 4d 61 6c 6c   p = sqlite3Mall
1600: 6f 63 5a 65 72 6f 28 20 73 69 7a 65 6f 66 28 2a  ocZero( sizeof(*
1610: 70 29 20 29 3b 0a 20 20 20 20 20 20 69 66 28 20  p) );.      if( 
1620: 70 20 29 7b 0a 20 20 20 20 20 20 20 20 70 2d 3e  p ){.        p->
1630: 69 64 20 3d 20 69 54 79 70 65 3b 0a 20 20 20 20  id = iType;.    
1640: 20 20 20 20 70 74 68 72 65 61 64 5f 6d 75 74 65      pthread_mute
1650: 78 5f 69 6e 69 74 28 26 70 2d 3e 6d 75 74 65 78  x_init(&p->mutex
1660: 2c 20 30 29 3b 0a 20 20 20 20 20 20 7d 0a 20 20  , 0);.      }.  
1670: 20 20 20 20 62 72 65 61 6b 3b 0a 20 20 20 20 7d      break;.    }
1680: 0a 20 20 20 20 64 65 66 61 75 6c 74 3a 20 7b 0a  .    default: {.
1690: 20 20 20 20 20 20 61 73 73 65 72 74 28 20 69 54        assert( iT
16a0: 79 70 65 2d 32 20 3e 3d 20 30 20 29 3b 0a 20 20  ype-2 >= 0 );.  
16b0: 20 20 20 20 61 73 73 65 72 74 28 20 69 54 79 70      assert( iTyp
16c0: 65 2d 32 20 3c 20 41 72 72 61 79 53 69 7a 65 28  e-2 < ArraySize(
16d0: 73 74 61 74 69 63 4d 75 74 65 78 65 73 29 20 29  staticMutexes) )
16e0: 3b 0a 20 20 20 20 20 20 70 20 3d 20 26 73 74 61  ;.      p = &sta
16f0: 74 69 63 4d 75 74 65 78 65 73 5b 69 54 79 70 65  ticMutexes[iType
1700: 2d 32 5d 3b 0a 20 20 20 20 20 20 70 2d 3e 69 64  -2];.      p->id
1710: 20 3d 20 69 54 79 70 65 3b 0a 20 20 20 20 20 20   = iType;.      
1720: 62 72 65 61 6b 3b 0a 20 20 20 20 7d 0a 20 20 7d  break;.    }.  }
1730: 0a 20 20 72 65 74 75 72 6e 20 70 3b 0a 7d 0a 0a  .  return p;.}..
1740: 0a 2f 2a 0a 2a 2a 20 54 68 69 73 20 72 6f 75 74  ./*.** This rout
1750: 69 6e 65 20 64 65 61 6c 6c 6f 63 61 74 65 73 20  ine deallocates 
1760: 61 20 70 72 65 76 69 6f 75 73 6c 79 0a 2a 2a 20  a previously.** 
1770: 61 6c 6c 6f 63 61 74 65 64 20 6d 75 74 65 78 2e  allocated mutex.
1780: 20 20 53 51 4c 69 74 65 20 69 73 20 63 61 72 65    SQLite is care
1790: 66 75 6c 20 74 6f 20 64 65 61 6c 6c 6f 63 61 74  ful to deallocat
17a0: 65 20 65 76 65 72 79 0a 2a 2a 20 6d 75 74 65 78  e every.** mutex
17b0: 20 74 68 61 74 20 69 74 20 61 6c 6c 6f 63 61 74   that it allocat
17c0: 65 73 2e 0a 2a 2f 0a 73 74 61 74 69 63 20 76 6f  es..*/.static vo
17d0: 69 64 20 70 74 68 72 65 61 64 4d 75 74 65 78 46  id pthreadMutexF
17e0: 72 65 65 28 73 71 6c 69 74 65 33 5f 6d 75 74 65  ree(sqlite3_mute
17f0: 78 20 2a 70 29 7b 0a 20 20 61 73 73 65 72 74 28  x *p){.  assert(
1800: 20 70 2d 3e 6e 52 65 66 3d 3d 30 20 29 3b 0a 20   p->nRef==0 );. 
1810: 20 61 73 73 65 72 74 28 20 70 2d 3e 69 64 3d 3d   assert( p->id==
1820: 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 46 41 53  SQLITE_MUTEX_FAS
1830: 54 20 7c 7c 20 70 2d 3e 69 64 3d 3d 53 51 4c 49  T || p->id==SQLI
1840: 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49  TE_MUTEX_RECURSI
1850: 56 45 20 29 3b 0a 20 20 70 74 68 72 65 61 64 5f  VE );.  pthread_
1860: 6d 75 74 65 78 5f 64 65 73 74 72 6f 79 28 26 70  mutex_destroy(&p
1870: 2d 3e 6d 75 74 65 78 29 3b 0a 20 20 73 71 6c 69  ->mutex);.  sqli
1880: 74 65 33 5f 66 72 65 65 28 70 29 3b 0a 7d 0a 0a  te3_free(p);.}..
1890: 2f 2a 0a 2a 2a 20 54 68 65 20 73 71 6c 69 74 65  /*.** The sqlite
18a0: 33 5f 6d 75 74 65 78 5f 65 6e 74 65 72 28 29 20  3_mutex_enter() 
18b0: 61 6e 64 20 73 71 6c 69 74 65 33 5f 6d 75 74 65  and sqlite3_mute
18c0: 78 5f 74 72 79 28 29 20 72 6f 75 74 69 6e 65 73  x_try() routines
18d0: 20 61 74 74 65 6d 70 74 0a 2a 2a 20 74 6f 20 65   attempt.** to e
18e0: 6e 74 65 72 20 61 20 6d 75 74 65 78 2e 20 20 49  nter a mutex.  I
18f0: 66 20 61 6e 6f 74 68 65 72 20 74 68 72 65 61 64  f another thread
1900: 20 69 73 20 61 6c 72 65 61 64 79 20 77 69 74 68   is already with
1910: 69 6e 20 74 68 65 20 6d 75 74 65 78 2c 0a 2a 2a  in the mutex,.**
1920: 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 65   sqlite3_mutex_e
1930: 6e 74 65 72 28 29 20 77 69 6c 6c 20 62 6c 6f 63  nter() will bloc
1940: 6b 20 61 6e 64 20 73 71 6c 69 74 65 33 5f 6d 75  k and sqlite3_mu
1950: 74 65 78 5f 74 72 79 28 29 20 77 69 6c 6c 20 72  tex_try() will r
1960: 65 74 75 72 6e 0a 2a 2a 20 53 51 4c 49 54 45 5f  eturn.** SQLITE_
1970: 42 55 53 59 2e 20 20 54 68 65 20 73 71 6c 69 74  BUSY.  The sqlit
1980: 65 33 5f 6d 75 74 65 78 5f 74 72 79 28 29 20 69  e3_mutex_try() i
1990: 6e 74 65 72 66 61 63 65 20 72 65 74 75 72 6e 73  nterface returns
19a0: 20 53 51 4c 49 54 45 5f 4f 4b 0a 2a 2a 20 75 70   SQLITE_OK.** up
19b0: 6f 6e 20 73 75 63 63 65 73 73 66 75 6c 20 65 6e  on successful en
19c0: 74 72 79 2e 20 20 4d 75 74 65 78 65 73 20 63 72  try.  Mutexes cr
19d0: 65 61 74 65 64 20 75 73 69 6e 67 20 53 51 4c 49  eated using SQLI
19e0: 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49  TE_MUTEX_RECURSI
19f0: 56 45 20 63 61 6e 0a 2a 2a 20 62 65 20 65 6e 74  VE can.** be ent
1a00: 65 72 65 64 20 6d 75 6c 74 69 70 6c 65 20 74 69  ered multiple ti
1a10: 6d 65 73 20 62 79 20 74 68 65 20 73 61 6d 65 20  mes by the same 
1a20: 74 68 72 65 61 64 2e 20 20 49 6e 20 73 75 63 68  thread.  In such
1a30: 20 63 61 73 65 73 20 74 68 65 2c 0a 2a 2a 20 6d   cases the,.** m
1a40: 75 74 65 78 20 6d 75 73 74 20 62 65 20 65 78 69  utex must be exi
1a50: 74 65 64 20 61 6e 20 65 71 75 61 6c 20 6e 75 6d  ted an equal num
1a60: 62 65 72 20 6f 66 20 74 69 6d 65 73 20 62 65 66  ber of times bef
1a70: 6f 72 65 20 61 6e 6f 74 68 65 72 20 74 68 72 65  ore another thre
1a80: 61 64 0a 2a 2a 20 63 61 6e 20 65 6e 74 65 72 2e  ad.** can enter.
1a90: 20 20 49 66 20 74 68 65 20 73 61 6d 65 20 74 68    If the same th
1aa0: 72 65 61 64 20 74 72 69 65 73 20 74 6f 20 65 6e  read tries to en
1ab0: 74 65 72 20 61 6e 79 20 6f 74 68 65 72 20 6b 69  ter any other ki
1ac0: 6e 64 20 6f 66 20 6d 75 74 65 78 0a 2a 2a 20 6d  nd of mutex.** m
1ad0: 6f 72 65 20 74 68 61 6e 20 6f 6e 63 65 2c 20 74  ore than once, t
1ae0: 68 65 20 62 65 68 61 76 69 6f 72 20 69 73 20 75  he behavior is u
1af0: 6e 64 65 66 69 6e 65 64 2e 0a 2a 2f 0a 73 74 61  ndefined..*/.sta
1b00: 74 69 63 20 76 6f 69 64 20 70 74 68 72 65 61 64  tic void pthread
1b10: 4d 75 74 65 78 45 6e 74 65 72 28 73 71 6c 69 74  MutexEnter(sqlit
1b20: 65 33 5f 6d 75 74 65 78 20 2a 70 29 7b 0a 20 20  e3_mutex *p){.  
1b30: 61 73 73 65 72 74 28 20 70 2d 3e 69 64 3d 3d 53  assert( p->id==S
1b40: 51 4c 49 54 45 5f 4d 55 54 45 58 5f 52 45 43 55  QLITE_MUTEX_RECU
1b50: 52 53 49 56 45 20 7c 7c 20 70 74 68 72 65 61 64  RSIVE || pthread
1b60: 4d 75 74 65 78 4e 6f 74 68 65 6c 64 28 70 29 20  MutexNotheld(p) 
1b70: 29 3b 0a 0a 23 69 66 64 65 66 20 53 51 4c 49 54  );..#ifdef SQLIT
1b80: 45 5f 48 4f 4d 45 47 52 4f 57 4e 5f 52 45 43 55  E_HOMEGROWN_RECU
1b90: 52 53 49 56 45 5f 4d 55 54 45 58 0a 20 20 2f 2a  RSIVE_MUTEX.  /*
1ba0: 20 49 66 20 72 65 63 75 72 73 69 76 65 20 6d 75   If recursive mu
1bb0: 74 65 78 65 73 20 61 72 65 20 6e 6f 74 20 61 76  texes are not av
1bc0: 61 69 6c 61 62 6c 65 2c 20 74 68 65 6e 20 77 65  ailable, then we
1bd0: 20 68 61 76 65 20 74 6f 20 67 72 6f 77 0a 20 20   have to grow.  
1be0: 2a 2a 20 6f 75 72 20 6f 77 6e 2e 20 20 54 68 69  ** our own.  Thi
1bf0: 73 20 69 6d 70 6c 65 6d 65 6e 74 61 74 69 6f 6e  s implementation
1c00: 20 61 73 73 75 6d 65 73 20 74 68 61 74 20 70 74   assumes that pt
1c10: 68 72 65 61 64 5f 65 71 75 61 6c 28 29 0a 20 20  hread_equal().  
1c20: 2a 2a 20 69 73 20 61 74 6f 6d 69 63 20 2d 20 74  ** is atomic - t
1c30: 68 61 74 20 69 74 20 63 61 6e 6e 6f 74 20 62 65  hat it cannot be
1c40: 20 64 65 63 65 69 76 65 64 20 69 6e 74 6f 20 74   deceived into t
1c50: 68 69 6e 6b 69 6e 67 20 73 65 6c 66 0a 20 20 2a  hinking self.  *
1c60: 2a 20 61 6e 64 20 70 2d 3e 6f 77 6e 65 72 20 61  * and p->owner a
1c70: 72 65 20 65 71 75 61 6c 20 69 66 20 70 2d 3e 6f  re equal if p->o
1c80: 77 6e 65 72 20 63 68 61 6e 67 65 73 20 62 65 74  wner changes bet
1c90: 77 65 65 6e 20 74 77 6f 20 76 61 6c 75 65 73 0a  ween two values.
1ca0: 20 20 2a 2a 20 74 68 61 74 20 61 72 65 20 6e 6f    ** that are no
1cb0: 74 20 65 71 75 61 6c 20 74 6f 20 73 65 6c 66 20  t equal to self 
1cc0: 77 68 69 6c 65 20 74 68 65 20 63 6f 6d 70 61 72  while the compar
1cd0: 69 73 6f 6e 20 69 73 20 74 61 6b 69 6e 67 20 70  ison is taking p
1ce0: 6c 61 63 65 2e 0a 20 20 2a 2a 20 54 68 69 73 20  lace..  ** This 
1cf0: 69 6d 70 6c 65 6d 65 6e 74 61 74 69 6f 6e 20 61  implementation a
1d00: 6c 73 6f 20 61 73 73 75 6d 65 73 20 61 20 63 6f  lso assumes a co
1d10: 68 65 72 65 6e 74 20 63 61 63 68 65 20 2d 20 74  herent cache - t
1d20: 68 61 74 20 0a 20 20 2a 2a 20 73 65 70 61 72 61  hat .  ** separa
1d30: 74 65 20 70 72 6f 63 65 73 73 65 73 20 63 61 6e  te processes can
1d40: 6e 6f 74 20 72 65 61 64 20 64 69 66 66 65 72 65  not read differe
1d50: 6e 74 20 76 61 6c 75 65 73 20 66 72 6f 6d 20 74  nt values from t
1d60: 68 65 20 73 61 6d 65 0a 20 20 2a 2a 20 61 64 64  he same.  ** add
1d70: 72 65 73 73 20 61 74 20 74 68 65 20 73 61 6d 65  ress at the same
1d80: 20 74 69 6d 65 2e 20 20 49 66 20 65 69 74 68 65   time.  If eithe
1d90: 72 20 6f 66 20 74 68 65 73 65 20 74 77 6f 20 63  r of these two c
1da0: 6f 6e 64 69 74 69 6f 6e 73 0a 20 20 2a 2a 20 61  onditions.  ** a
1db0: 72 65 20 6e 6f 74 20 6d 65 74 2c 20 74 68 65 6e  re not met, then
1dc0: 20 74 68 65 20 6d 75 74 65 78 65 73 20 77 69 6c   the mutexes wil
1dd0: 6c 20 66 61 69 6c 20 61 6e 64 20 70 72 6f 62 6c  l fail and probl
1de0: 65 6d 73 20 77 69 6c 6c 20 72 65 73 75 6c 74 2e  ems will result.
1df0: 0a 20 20 2a 2f 0a 20 20 7b 0a 20 20 20 20 70 74  .  */.  {.    pt
1e00: 68 72 65 61 64 5f 74 20 73 65 6c 66 20 3d 20 70  hread_t self = p
1e10: 74 68 72 65 61 64 5f 73 65 6c 66 28 29 3b 0a 20  thread_self();. 
1e20: 20 20 20 69 66 28 20 70 2d 3e 6e 52 65 66 3e 30     if( p->nRef>0
1e30: 20 26 26 20 70 74 68 72 65 61 64 5f 65 71 75 61   && pthread_equa
1e40: 6c 28 70 2d 3e 6f 77 6e 65 72 2c 20 73 65 6c 66  l(p->owner, self
1e50: 29 20 29 7b 0a 20 20 20 20 20 20 70 2d 3e 6e 52  ) ){.      p->nR
1e60: 65 66 2b 2b 3b 0a 20 20 20 20 7d 65 6c 73 65 7b  ef++;.    }else{
1e70: 0a 20 20 20 20 20 20 70 74 68 72 65 61 64 5f 6d  .      pthread_m
1e80: 75 74 65 78 5f 6c 6f 63 6b 28 26 70 2d 3e 6d 75  utex_lock(&p->mu
1e90: 74 65 78 29 3b 0a 20 20 20 20 20 20 61 73 73 65  tex);.      asse
1ea0: 72 74 28 20 70 2d 3e 6e 52 65 66 3d 3d 30 20 29  rt( p->nRef==0 )
1eb0: 3b 0a 20 20 20 20 20 20 70 2d 3e 6f 77 6e 65 72  ;.      p->owner
1ec0: 20 3d 20 73 65 6c 66 3b 0a 20 20 20 20 20 20 70   = self;.      p
1ed0: 2d 3e 6e 52 65 66 20 3d 20 31 3b 0a 20 20 20 20  ->nRef = 1;.    
1ee0: 7d 0a 20 20 7d 0a 23 65 6c 73 65 0a 20 20 2f 2a  }.  }.#else.  /*
1ef0: 20 55 73 65 20 74 68 65 20 62 75 69 6c 74 2d 69   Use the built-i
1f00: 6e 20 72 65 63 75 72 73 69 76 65 20 6d 75 74 65  n recursive mute
1f10: 78 65 73 20 69 66 20 74 68 65 79 20 61 72 65 20  xes if they are 
1f20: 61 76 61 69 6c 61 62 6c 65 2e 0a 20 20 2a 2f 0a  available..  */.
1f30: 20 20 70 74 68 72 65 61 64 5f 6d 75 74 65 78 5f    pthread_mutex_
1f40: 6c 6f 63 6b 28 26 70 2d 3e 6d 75 74 65 78 29 3b  lock(&p->mutex);
1f50: 0a 20 20 70 2d 3e 6f 77 6e 65 72 20 3d 20 70 74  .  p->owner = pt
1f60: 68 72 65 61 64 5f 73 65 6c 66 28 29 3b 0a 20 20  hread_self();.  
1f70: 70 2d 3e 6e 52 65 66 2b 2b 3b 0a 23 65 6e 64 69  p->nRef++;.#endi
1f80: 66 0a 0a 23 69 66 64 65 66 20 53 51 4c 49 54 45  f..#ifdef SQLITE
1f90: 5f 44 45 42 55 47 0a 20 20 69 66 28 20 70 2d 3e  _DEBUG.  if( p->
1fa0: 74 72 61 63 65 20 29 7b 0a 20 20 20 20 70 72 69  trace ){.    pri
1fb0: 6e 74 66 28 22 65 6e 74 65 72 20 6d 75 74 65 78  ntf("enter mutex
1fc0: 20 25 70 20 28 25 64 29 20 77 69 74 68 20 6e 52   %p (%d) with nR
1fd0: 65 66 3d 25 64 5c 6e 22 2c 20 70 2c 20 70 2d 3e  ef=%d\n", p, p->
1fe0: 74 72 61 63 65 2c 20 70 2d 3e 6e 52 65 66 29 3b  trace, p->nRef);
1ff0: 0a 20 20 7d 0a 23 65 6e 64 69 66 0a 7d 0a 73 74  .  }.#endif.}.st
2000: 61 74 69 63 20 69 6e 74 20 70 74 68 72 65 61 64  atic int pthread
2010: 4d 75 74 65 78 54 72 79 28 73 71 6c 69 74 65 33  MutexTry(sqlite3
2020: 5f 6d 75 74 65 78 20 2a 70 29 7b 0a 20 20 69 6e  _mutex *p){.  in
2030: 74 20 72 63 3b 0a 20 20 61 73 73 65 72 74 28 20  t rc;.  assert( 
2040: 70 2d 3e 69 64 3d 3d 53 51 4c 49 54 45 5f 4d 55  p->id==SQLITE_MU
2050: 54 45 58 5f 52 45 43 55 52 53 49 56 45 20 7c 7c  TEX_RECURSIVE ||
2060: 20 70 74 68 72 65 61 64 4d 75 74 65 78 4e 6f 74   pthreadMutexNot
2070: 68 65 6c 64 28 70 29 20 29 3b 0a 0a 23 69 66 64  held(p) );..#ifd
2080: 65 66 20 53 51 4c 49 54 45 5f 48 4f 4d 45 47 52  ef SQLITE_HOMEGR
2090: 4f 57 4e 5f 52 45 43 55 52 53 49 56 45 5f 4d 55  OWN_RECURSIVE_MU
20a0: 54 45 58 0a 20 20 2f 2a 20 49 66 20 72 65 63 75  TEX.  /* If recu
20b0: 72 73 69 76 65 20 6d 75 74 65 78 65 73 20 61 72  rsive mutexes ar
20c0: 65 20 6e 6f 74 20 61 76 61 69 6c 61 62 6c 65 2c  e not available,
20d0: 20 74 68 65 6e 20 77 65 20 68 61 76 65 20 74 6f   then we have to
20e0: 20 67 72 6f 77 0a 20 20 2a 2a 20 6f 75 72 20 6f   grow.  ** our o
20f0: 77 6e 2e 20 20 54 68 69 73 20 69 6d 70 6c 65 6d  wn.  This implem
2100: 65 6e 74 61 74 69 6f 6e 20 61 73 73 75 6d 65 73  entation assumes
2110: 20 74 68 61 74 20 70 74 68 72 65 61 64 5f 65 71   that pthread_eq
2120: 75 61 6c 28 29 0a 20 20 2a 2a 20 69 73 20 61 74  ual().  ** is at
2130: 6f 6d 69 63 20 2d 20 74 68 61 74 20 69 74 20 63  omic - that it c
2140: 61 6e 6e 6f 74 20 62 65 20 64 65 63 65 69 76 65  annot be deceive
2150: 64 20 69 6e 74 6f 20 74 68 69 6e 6b 69 6e 67 20  d into thinking 
2160: 73 65 6c 66 0a 20 20 2a 2a 20 61 6e 64 20 70 2d  self.  ** and p-
2170: 3e 6f 77 6e 65 72 20 61 72 65 20 65 71 75 61 6c  >owner are equal
2180: 20 69 66 20 70 2d 3e 6f 77 6e 65 72 20 63 68 61   if p->owner cha
2190: 6e 67 65 73 20 62 65 74 77 65 65 6e 20 74 77 6f  nges between two
21a0: 20 76 61 6c 75 65 73 0a 20 20 2a 2a 20 74 68 61   values.  ** tha
21b0: 74 20 61 72 65 20 6e 6f 74 20 65 71 75 61 6c 20  t are not equal 
21c0: 74 6f 20 73 65 6c 66 20 77 68 69 6c 65 20 74 68  to self while th
21d0: 65 20 63 6f 6d 70 61 72 69 73 6f 6e 20 69 73 20  e comparison is 
21e0: 74 61 6b 69 6e 67 20 70 6c 61 63 65 2e 0a 20 20  taking place..  
21f0: 2a 2a 20 54 68 69 73 20 69 6d 70 6c 65 6d 65 6e  ** This implemen
2200: 74 61 74 69 6f 6e 20 61 6c 73 6f 20 61 73 73 75  tation also assu
2210: 6d 65 73 20 61 20 63 6f 68 65 72 65 6e 74 20 63  mes a coherent c
2220: 61 63 68 65 20 2d 20 74 68 61 74 20 0a 20 20 2a  ache - that .  *
2230: 2a 20 73 65 70 61 72 61 74 65 20 70 72 6f 63 65  * separate proce
2240: 73 73 65 73 20 63 61 6e 6e 6f 74 20 72 65 61 64  sses cannot read
2250: 20 64 69 66 66 65 72 65 6e 74 20 76 61 6c 75 65   different value
2260: 73 20 66 72 6f 6d 20 74 68 65 20 73 61 6d 65 0a  s from the same.
2270: 20 20 2a 2a 20 61 64 64 72 65 73 73 20 61 74 20    ** address at 
2280: 74 68 65 20 73 61 6d 65 20 74 69 6d 65 2e 20 20  the same time.  
2290: 49 66 20 65 69 74 68 65 72 20 6f 66 20 74 68 65  If either of the
22a0: 73 65 20 74 77 6f 20 63 6f 6e 64 69 74 69 6f 6e  se two condition
22b0: 73 0a 20 20 2a 2a 20 61 72 65 20 6e 6f 74 20 6d  s.  ** are not m
22c0: 65 74 2c 20 74 68 65 6e 20 74 68 65 20 6d 75 74  et, then the mut
22d0: 65 78 65 73 20 77 69 6c 6c 20 66 61 69 6c 20 61  exes will fail a
22e0: 6e 64 20 70 72 6f 62 6c 65 6d 73 20 77 69 6c 6c  nd problems will
22f0: 20 72 65 73 75 6c 74 2e 0a 20 20 2a 2f 0a 20 20   result..  */.  
2300: 7b 0a 20 20 20 20 70 74 68 72 65 61 64 5f 74 20  {.    pthread_t 
2310: 73 65 6c 66 20 3d 20 70 74 68 72 65 61 64 5f 73  self = pthread_s
2320: 65 6c 66 28 29 3b 0a 20 20 20 20 69 66 28 20 70  elf();.    if( p
2330: 2d 3e 6e 52 65 66 3e 30 20 26 26 20 70 74 68 72  ->nRef>0 && pthr
2340: 65 61 64 5f 65 71 75 61 6c 28 70 2d 3e 6f 77 6e  ead_equal(p->own
2350: 65 72 2c 20 73 65 6c 66 29 20 29 7b 0a 20 20 20  er, self) ){.   
2360: 20 20 20 70 2d 3e 6e 52 65 66 2b 2b 3b 0a 20 20     p->nRef++;.  
2370: 20 20 20 20 72 63 20 3d 20 53 51 4c 49 54 45 5f      rc = SQLITE_
2380: 4f 4b 3b 0a 20 20 20 20 7d 65 6c 73 65 20 69 66  OK;.    }else if
2390: 28 20 70 74 68 72 65 61 64 5f 6d 75 74 65 78 5f  ( pthread_mutex_
23a0: 74 72 79 6c 6f 63 6b 28 26 70 2d 3e 6d 75 74 65  trylock(&p->mute
23b0: 78 29 3d 3d 30 20 29 7b 0a 20 20 20 20 20 20 61  x)==0 ){.      a
23c0: 73 73 65 72 74 28 20 70 2d 3e 6e 52 65 66 3d 3d  ssert( p->nRef==
23d0: 30 20 29 3b 0a 20 20 20 20 20 20 70 2d 3e 6f 77  0 );.      p->ow
23e0: 6e 65 72 20 3d 20 73 65 6c 66 3b 0a 20 20 20 20  ner = self;.    
23f0: 20 20 70 2d 3e 6e 52 65 66 20 3d 20 31 3b 0a 20    p->nRef = 1;. 
2400: 20 20 20 20 20 72 63 20 3d 20 53 51 4c 49 54 45       rc = SQLITE
2410: 5f 4f 4b 3b 0a 20 20 20 20 7d 65 6c 73 65 7b 0a  _OK;.    }else{.
2420: 20 20 20 20 20 20 72 63 20 3d 20 53 51 4c 49 54        rc = SQLIT
2430: 45 5f 42 55 53 59 3b 0a 20 20 20 20 7d 0a 20 20  E_BUSY;.    }.  
2440: 7d 0a 23 65 6c 73 65 0a 20 20 2f 2a 20 55 73 65  }.#else.  /* Use
2450: 20 74 68 65 20 62 75 69 6c 74 2d 69 6e 20 72 65   the built-in re
2460: 63 75 72 73 69 76 65 20 6d 75 74 65 78 65 73 20  cursive mutexes 
2470: 69 66 20 74 68 65 79 20 61 72 65 20 61 76 61 69  if they are avai
2480: 6c 61 62 6c 65 2e 0a 20 20 2a 2f 0a 20 20 69 66  lable..  */.  if
2490: 28 20 70 74 68 72 65 61 64 5f 6d 75 74 65 78 5f  ( pthread_mutex_
24a0: 74 72 79 6c 6f 63 6b 28 26 70 2d 3e 6d 75 74 65  trylock(&p->mute
24b0: 78 29 3d 3d 30 20 29 7b 0a 20 20 20 20 70 2d 3e  x)==0 ){.    p->
24c0: 6f 77 6e 65 72 20 3d 20 70 74 68 72 65 61 64 5f  owner = pthread_
24d0: 73 65 6c 66 28 29 3b 0a 20 20 20 20 70 2d 3e 6e  self();.    p->n
24e0: 52 65 66 2b 2b 3b 0a 20 20 20 20 72 63 20 3d 20  Ref++;.    rc = 
24f0: 53 51 4c 49 54 45 5f 4f 4b 3b 0a 20 20 7d 65 6c  SQLITE_OK;.  }el
2500: 73 65 7b 0a 20 20 20 20 72 63 20 3d 20 53 51 4c  se{.    rc = SQL
2510: 49 54 45 5f 42 55 53 59 3b 0a 20 20 7d 0a 23 65  ITE_BUSY;.  }.#e
2520: 6e 64 69 66 0a 0a 23 69 66 64 65 66 20 53 51 4c  ndif..#ifdef SQL
2530: 49 54 45 5f 44 45 42 55 47 0a 20 20 69 66 28 20  ITE_DEBUG.  if( 
2540: 72 63 3d 3d 53 51 4c 49 54 45 5f 4f 4b 20 26 26  rc==SQLITE_OK &&
2550: 20 70 2d 3e 74 72 61 63 65 20 29 7b 0a 20 20 20   p->trace ){.   
2560: 20 70 72 69 6e 74 66 28 22 65 6e 74 65 72 20 6d   printf("enter m
2570: 75 74 65 78 20 25 70 20 28 25 64 29 20 77 69 74  utex %p (%d) wit
2580: 68 20 6e 52 65 66 3d 25 64 5c 6e 22 2c 20 70 2c  h nRef=%d\n", p,
2590: 20 70 2d 3e 74 72 61 63 65 2c 20 70 2d 3e 6e 52   p->trace, p->nR
25a0: 65 66 29 3b 0a 20 20 7d 0a 23 65 6e 64 69 66 0a  ef);.  }.#endif.
25b0: 20 20 72 65 74 75 72 6e 20 72 63 3b 0a 7d 0a 0a    return rc;.}..
25c0: 2f 2a 0a 2a 2a 20 54 68 65 20 73 71 6c 69 74 65  /*.** The sqlite
25d0: 33 5f 6d 75 74 65 78 5f 6c 65 61 76 65 28 29 20  3_mutex_leave() 
25e0: 72 6f 75 74 69 6e 65 20 65 78 69 74 73 20 61 20  routine exits a 
25f0: 6d 75 74 65 78 20 74 68 61 74 20 77 61 73 0a 2a  mutex that was.*
2600: 2a 20 70 72 65 76 69 6f 75 73 6c 79 20 65 6e 74  * previously ent
2610: 65 72 65 64 20 62 79 20 74 68 65 20 73 61 6d 65  ered by the same
2620: 20 74 68 72 65 61 64 2e 20 20 54 68 65 20 62 65   thread.  The be
2630: 68 61 76 69 6f 72 0a 2a 2a 20 69 73 20 75 6e 64  havior.** is und
2640: 65 66 69 6e 65 64 20 69 66 20 74 68 65 20 6d 75  efined if the mu
2650: 74 65 78 20 69 73 20 6e 6f 74 20 63 75 72 72 65  tex is not curre
2660: 6e 74 6c 79 20 65 6e 74 65 72 65 64 20 6f 72 0a  ntly entered or.
2670: 2a 2a 20 69 73 20 6e 6f 74 20 63 75 72 72 65 6e  ** is not curren
2680: 74 6c 79 20 61 6c 6c 6f 63 61 74 65 64 2e 20 20  tly allocated.  
2690: 53 51 4c 69 74 65 20 77 69 6c 6c 20 6e 65 76 65  SQLite will neve
26a0: 72 20 64 6f 20 65 69 74 68 65 72 2e 0a 2a 2f 0a  r do either..*/.
26b0: 73 74 61 74 69 63 20 76 6f 69 64 20 70 74 68 72  static void pthr
26c0: 65 61 64 4d 75 74 65 78 4c 65 61 76 65 28 73 71  eadMutexLeave(sq
26d0: 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a 70 29 7b  lite3_mutex *p){
26e0: 0a 20 20 61 73 73 65 72 74 28 20 70 74 68 72 65  .  assert( pthre
26f0: 61 64 4d 75 74 65 78 48 65 6c 64 28 70 29 20 29  adMutexHeld(p) )
2700: 3b 0a 20 20 70 2d 3e 6e 52 65 66 2d 2d 3b 0a 20  ;.  p->nRef--;. 
2710: 20 61 73 73 65 72 74 28 20 70 2d 3e 6e 52 65 66   assert( p->nRef
2720: 3d 3d 30 20 7c 7c 20 70 2d 3e 69 64 3d 3d 53 51  ==0 || p->id==SQ
2730: 4c 49 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52  LITE_MUTEX_RECUR
2740: 53 49 56 45 20 29 3b 0a 0a 23 69 66 64 65 66 20  SIVE );..#ifdef 
2750: 53 51 4c 49 54 45 5f 48 4f 4d 45 47 52 4f 57 4e  SQLITE_HOMEGROWN
2760: 5f 52 45 43 55 52 53 49 56 45 5f 4d 55 54 45 58  _RECURSIVE_MUTEX
2770: 0a 20 20 69 66 28 20 70 2d 3e 6e 52 65 66 3d 3d  .  if( p->nRef==
2780: 30 20 29 7b 0a 20 20 20 20 70 74 68 72 65 61 64  0 ){.    pthread
2790: 5f 6d 75 74 65 78 5f 75 6e 6c 6f 63 6b 28 26 70  _mutex_unlock(&p
27a0: 2d 3e 6d 75 74 65 78 29 3b 0a 20 20 7d 0a 23 65  ->mutex);.  }.#e
27b0: 6c 73 65 0a 20 20 70 74 68 72 65 61 64 5f 6d 75  lse.  pthread_mu
27c0: 74 65 78 5f 75 6e 6c 6f 63 6b 28 26 70 2d 3e 6d  tex_unlock(&p->m
27d0: 75 74 65 78 29 3b 0a 23 65 6e 64 69 66 0a 0a 23  utex);.#endif..#
27e0: 69 66 64 65 66 20 53 51 4c 49 54 45 5f 44 45 42  ifdef SQLITE_DEB
27f0: 55 47 0a 20 20 69 66 28 20 70 2d 3e 74 72 61 63  UG.  if( p->trac
2800: 65 20 29 7b 0a 20 20 20 20 70 72 69 6e 74 66 28  e ){.    printf(
2810: 22 6c 65 61 76 65 20 6d 75 74 65 78 20 25 70 20  "leave mutex %p 
2820: 28 25 64 29 20 77 69 74 68 20 6e 52 65 66 3d 25  (%d) with nRef=%
2830: 64 5c 6e 22 2c 20 70 2c 20 70 2d 3e 74 72 61 63  d\n", p, p->trac
2840: 65 2c 20 70 2d 3e 6e 52 65 66 29 3b 0a 20 20 7d  e, p->nRef);.  }
2850: 0a 23 65 6e 64 69 66 0a 7d 0a 0a 73 71 6c 69 74  .#endif.}..sqlit
2860: 65 33 5f 6d 75 74 65 78 5f 6d 65 74 68 6f 64 73  e3_mutex_methods
2870: 20 2a 73 71 6c 69 74 65 33 44 65 66 61 75 6c 74   *sqlite3Default
2880: 4d 75 74 65 78 28 76 6f 69 64 29 7b 0a 20 20 73  Mutex(void){.  s
2890: 74 61 74 69 63 20 73 71 6c 69 74 65 33 5f 6d 75  tatic sqlite3_mu
28a0: 74 65 78 5f 6d 65 74 68 6f 64 73 20 73 4d 75 74  tex_methods sMut
28b0: 65 78 20 3d 20 7b 0a 20 20 20 20 70 74 68 72 65  ex = {.    pthre
28c0: 61 64 4d 75 74 65 78 49 6e 69 74 2c 0a 20 20 20  adMutexInit,.   
28d0: 20 70 74 68 72 65 61 64 4d 75 74 65 78 45 6e 64   pthreadMutexEnd
28e0: 2c 0a 20 20 20 20 70 74 68 72 65 61 64 4d 75 74  ,.    pthreadMut
28f0: 65 78 41 6c 6c 6f 63 2c 0a 20 20 20 20 70 74 68  exAlloc,.    pth
2900: 72 65 61 64 4d 75 74 65 78 46 72 65 65 2c 0a 20  readMutexFree,. 
2910: 20 20 20 70 74 68 72 65 61 64 4d 75 74 65 78 45     pthreadMutexE
2920: 6e 74 65 72 2c 0a 20 20 20 20 70 74 68 72 65 61  nter,.    pthrea
2930: 64 4d 75 74 65 78 54 72 79 2c 0a 20 20 20 20 70  dMutexTry,.    p
2940: 74 68 72 65 61 64 4d 75 74 65 78 4c 65 61 76 65  threadMutexLeave
2950: 2c 0a 23 69 66 64 65 66 20 53 51 4c 49 54 45 5f  ,.#ifdef SQLITE_
2960: 44 45 42 55 47 0a 20 20 20 20 70 74 68 72 65 61  DEBUG.    pthrea
2970: 64 4d 75 74 65 78 48 65 6c 64 2c 0a 20 20 20 20  dMutexHeld,.    
2980: 70 74 68 72 65 61 64 4d 75 74 65 78 4e 6f 74 68  pthreadMutexNoth
2990: 65 6c 64 0a 23 65 6c 73 65 0a 20 20 20 20 30 2c  eld.#else.    0,
29a0: 0a 20 20 20 20 30 0a 23 65 6e 64 69 66 0a 20 20  .    0.#endif.  
29b0: 7d 3b 0a 0a 20 20 72 65 74 75 72 6e 20 26 73 4d  };..  return &sM
29c0: 75 74 65 78 3b 0a 7d 0a 0a 23 65 6e 64 69 66 20  utex;.}..#endif 
29d0: 2f 2a 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f  /* SQLITE_MUTEX_
29e0: 50 54 48 52 45 41 44 20 2a 2f 0a                 PTHREAD */.