/ Hex Artifact Content
Login

Artifact 74a6755912ad2a924026b54b4b5a64d327748aa5:


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 39 20 32 30 30 38  nix.c,v 1.9 2008
01e0: 2f 30 36 2f 31 37 20 31 37 3a 32 31 3a 31 38 20  /06/17 17:21:18 
01f0: 64 61 6e 69 65 6c 6b 31 39 37 37 20 45 78 70 20  danielk1977 Exp 
0200: 24 0a 2a 2f 0a 23 69 6e 63 6c 75 64 65 20 22 73  $.*/.#include "s
0210: 71 6c 69 74 65 49 6e 74 2e 68 22 0a 0a 2f 2a 0a  qliteInt.h"../*.
0220: 2a 2a 20 54 68 65 20 63 6f 64 65 20 69 6e 20 74  ** The code in t
0230: 68 69 73 20 66 69 6c 65 20 69 73 20 6f 6e 6c 79  his file is only
0240: 20 75 73 65 64 20 69 66 20 77 65 20 61 72 65 20   used if we are 
0250: 63 6f 6d 70 69 6c 69 6e 67 20 74 68 72 65 61 64  compiling thread
0260: 73 61 66 65 0a 2a 2a 20 75 6e 64 65 72 20 75 6e  safe.** under un
0270: 69 78 20 77 69 74 68 20 70 74 68 72 65 61 64 73  ix with pthreads
0280: 2e 0a 2a 2a 0a 2a 2a 20 4e 6f 74 65 20 74 68 61  ..**.** Note tha
0290: 74 20 74 68 69 73 20 69 6d 70 6c 65 6d 65 6e 74  t this implement
02a0: 61 74 69 6f 6e 20 72 65 71 75 69 72 65 73 20 61  ation requires a
02b0: 20 76 65 72 73 69 6f 6e 20 6f 66 20 70 74 68 72   version of pthr
02c0: 65 61 64 73 20 74 68 61 74 0a 2a 2a 20 73 75 70  eads that.** sup
02d0: 70 6f 72 74 73 20 72 65 63 75 72 73 69 76 65 20  ports recursive 
02e0: 6d 75 74 65 78 65 73 2e 0a 2a 2f 0a 23 69 66 64  mutexes..*/.#ifd
02f0: 65 66 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f  ef SQLITE_MUTEX_
0300: 50 54 48 52 45 41 44 53 0a 0a 23 69 6e 63 6c 75  PTHREADS..#inclu
0310: 64 65 20 3c 70 74 68 72 65 61 64 2e 68 3e 0a 0a  de <pthread.h>..
0320: 0a 2f 2a 0a 2a 2a 20 45 61 63 68 20 72 65 63 75  ./*.** Each recu
0330: 72 73 69 76 65 20 6d 75 74 65 78 20 69 73 20 61  rsive mutex is a
0340: 6e 20 69 6e 73 74 61 6e 63 65 20 6f 66 20 74 68  n instance of th
0350: 65 20 66 6f 6c 6c 6f 77 69 6e 67 20 73 74 72 75  e following stru
0360: 63 74 75 72 65 2e 0a 2a 2f 0a 73 74 72 75 63 74  cture..*/.struct
0370: 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 7b   sqlite3_mutex {
0380: 0a 20 20 70 74 68 72 65 61 64 5f 6d 75 74 65 78  .  pthread_mutex
0390: 5f 74 20 6d 75 74 65 78 3b 20 20 20 20 20 2f 2a  _t mutex;     /*
03a0: 20 4d 75 74 65 78 20 63 6f 6e 74 72 6f 6c 6c 69   Mutex controlli
03b0: 6e 67 20 74 68 65 20 6c 6f 63 6b 20 2a 2f 0a 20  ng the lock */. 
03c0: 20 69 6e 74 20 69 64 3b 20 20 20 20 20 20 20 20   int id;        
03d0: 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20 4d              /* M
03e0: 75 74 65 78 20 74 79 70 65 20 2a 2f 0a 20 20 69  utex type */.  i
03f0: 6e 74 20 6e 52 65 66 3b 20 20 20 20 20 20 20 20  nt nRef;        
0400: 20 20 20 20 20 20 20 20 20 20 2f 2a 20 4e 75 6d            /* Num
0410: 62 65 72 20 6f 66 20 65 6e 74 72 61 6e 63 65 73  ber of entrances
0420: 20 2a 2f 0a 20 20 70 74 68 72 65 61 64 5f 74 20   */.  pthread_t 
0430: 6f 77 6e 65 72 3b 20 20 20 20 20 20 20 20 20 20  owner;          
0440: 20 2f 2a 20 54 68 72 65 61 64 20 74 68 61 74 20   /* Thread that 
0450: 69 73 20 77 69 74 68 69 6e 20 74 68 69 73 20 6d  is within this m
0460: 75 74 65 78 20 2a 2f 0a 23 69 66 64 65 66 20 53  utex */.#ifdef S
0470: 51 4c 49 54 45 5f 44 45 42 55 47 0a 20 20 69 6e  QLITE_DEBUG.  in
0480: 74 20 74 72 61 63 65 3b 20 20 20 20 20 20 20 20  t trace;        
0490: 20 20 20 20 20 20 20 20 20 2f 2a 20 54 72 75 65           /* True
04a0: 20 74 6f 20 74 72 61 63 65 20 63 68 61 6e 67 65   to trace change
04b0: 73 20 2a 2f 0a 23 65 6e 64 69 66 0a 7d 3b 0a 23  s */.#endif.};.#
04c0: 69 66 64 65 66 20 53 51 4c 49 54 45 5f 44 45 42  ifdef SQLITE_DEB
04d0: 55 47 0a 23 64 65 66 69 6e 65 20 53 51 4c 49 54  UG.#define SQLIT
04e0: 45 33 5f 4d 55 54 45 58 5f 49 4e 49 54 49 41 4c  E3_MUTEX_INITIAL
04f0: 49 5a 45 52 20 7b 20 50 54 48 52 45 41 44 5f 4d  IZER { PTHREAD_M
0500: 55 54 45 58 5f 49 4e 49 54 49 41 4c 49 5a 45 52  UTEX_INITIALIZER
0510: 2c 20 30 2c 20 30 2c 20 28 70 74 68 72 65 61 64  , 0, 0, (pthread
0520: 5f 74 29 30 2c 20 30 20 7d 0a 23 65 6c 73 65 0a  _t)0, 0 }.#else.
0530: 23 64 65 66 69 6e 65 20 53 51 4c 49 54 45 33 5f  #define SQLITE3_
0540: 4d 55 54 45 58 5f 49 4e 49 54 49 41 4c 49 5a 45  MUTEX_INITIALIZE
0550: 52 20 7b 20 50 54 48 52 45 41 44 5f 4d 55 54 45  R { PTHREAD_MUTE
0560: 58 5f 49 4e 49 54 49 41 4c 49 5a 45 52 2c 20 30  X_INITIALIZER, 0
0570: 2c 20 30 2c 20 28 70 74 68 72 65 61 64 5f 74 29  , 0, (pthread_t)
0580: 30 20 7d 0a 23 65 6e 64 69 66 0a 0a 2f 2a 0a 2a  0 }.#endif../*.*
0590: 2a 20 54 68 65 20 73 71 6c 69 74 65 33 5f 6d 75  * The sqlite3_mu
05a0: 74 65 78 5f 68 65 6c 64 28 29 20 61 6e 64 20 73  tex_held() and s
05b0: 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 6e 6f 74  qlite3_mutex_not
05c0: 68 65 6c 64 28 29 20 72 6f 75 74 69 6e 65 20 61  held() routine a
05d0: 72 65 0a 2a 2a 20 69 6e 74 65 6e 64 65 64 20 66  re.** intended f
05e0: 6f 72 20 75 73 65 20 6f 6e 6c 79 20 69 6e 73 69  or use only insi
05f0: 64 65 20 61 73 73 65 72 74 28 29 20 73 74 61 74  de assert() stat
0600: 65 6d 65 6e 74 73 2e 20 20 4f 6e 20 73 6f 6d 65  ements.  On some
0610: 20 70 6c 61 74 66 6f 72 6d 73 2c 0a 2a 2a 20 74   platforms,.** t
0620: 68 65 72 65 20 6d 69 67 68 74 20 62 65 20 72 61  here might be ra
0630: 63 65 20 63 6f 6e 64 69 74 69 6f 6e 73 20 74 68  ce conditions th
0640: 61 74 20 63 61 6e 20 63 61 75 73 65 20 74 68 65  at can cause the
0650: 73 65 20 72 6f 75 74 69 6e 65 73 20 74 6f 0a 2a  se routines to.*
0660: 2a 20 64 65 6c 69 76 65 72 20 69 6e 63 6f 72 72  * deliver incorr
0670: 65 63 74 20 72 65 73 75 6c 74 73 2e 20 20 49 6e  ect results.  In
0680: 20 70 61 72 74 69 63 75 6c 61 72 2c 20 69 66 20   particular, if 
0690: 70 74 68 72 65 61 64 5f 65 71 75 61 6c 28 29 20  pthread_equal() 
06a0: 69 73 0a 2a 2a 20 6e 6f 74 20 61 6e 20 61 74 6f  is.** not an ato
06b0: 6d 69 63 20 6f 70 65 72 61 74 69 6f 6e 2c 20 74  mic operation, t
06c0: 68 65 6e 20 74 68 65 73 65 20 72 6f 75 74 69 6e  hen these routin
06d0: 65 73 20 6d 69 67 68 74 20 64 65 6c 69 76 65 72  es might deliver
06e0: 79 0a 2a 2a 20 69 6e 63 6f 72 72 65 63 74 20 72  y.** incorrect r
06f0: 65 73 75 6c 74 73 2e 20 20 4f 6e 20 6d 6f 73 74  esults.  On most
0700: 20 70 6c 61 74 66 6f 72 6d 73 2c 20 70 74 68 72   platforms, pthr
0710: 65 61 64 5f 65 71 75 61 6c 28 29 20 69 73 20 61  ead_equal() is a
0720: 20 0a 2a 2a 20 63 6f 6d 70 61 72 69 73 6f 6e 20   .** comparison 
0730: 6f 66 20 74 77 6f 20 69 6e 74 65 67 65 72 73 20  of two integers 
0740: 61 6e 64 20 69 73 20 74 68 65 72 65 66 6f 72 65  and is therefore
0750: 20 61 74 6f 6d 69 63 2e 20 20 42 75 74 20 77 65   atomic.  But we
0760: 20 61 72 65 0a 2a 2a 20 74 6f 6c 64 20 74 68 61   are.** told tha
0770: 74 20 48 50 55 58 20 69 73 20 6e 6f 74 20 73 75  t HPUX is not su
0780: 63 68 20 61 20 70 6c 61 74 66 6f 72 6d 2e 20 20  ch a platform.  
0790: 49 66 20 73 6f 2c 20 74 68 65 6e 20 74 68 65 73  If so, then thes
07a0: 65 20 72 6f 75 74 69 6e 65 73 0a 2a 2a 20 77 69  e routines.** wi
07b0: 6c 6c 20 6e 6f 74 20 61 6c 77 61 79 73 20 77 6f  ll not always wo
07c0: 72 6b 20 63 6f 72 72 65 63 74 6c 79 20 6f 6e 20  rk correctly on 
07d0: 48 50 55 58 2e 0a 2a 2a 0a 2a 2a 20 4f 6e 20 74  HPUX..**.** On t
07e0: 68 6f 73 65 20 70 6c 61 74 66 6f 72 6d 73 20 77  hose platforms w
07f0: 68 65 72 65 20 70 74 68 72 65 61 64 5f 65 71 75  here pthread_equ
0800: 61 6c 28 29 20 69 73 20 6e 6f 74 20 61 74 6f 6d  al() is not atom
0810: 69 63 2c 20 53 51 4c 69 74 65 0a 2a 2a 20 73 68  ic, SQLite.** sh
0820: 6f 75 6c 64 20 62 65 20 63 6f 6d 70 69 6c 65 64  ould be compiled
0830: 20 77 69 74 68 6f 75 74 20 2d 44 53 51 4c 49 54   without -DSQLIT
0840: 45 5f 44 45 42 55 47 20 61 6e 64 20 77 69 74 68  E_DEBUG and with
0850: 20 2d 44 4e 44 45 42 55 47 20 74 6f 0a 2a 2a 20   -DNDEBUG to.** 
0860: 6d 61 6b 65 20 73 75 72 65 20 6e 6f 20 61 73 73  make sure no ass
0870: 65 72 74 28 29 20 73 74 61 74 65 6d 65 6e 74 73  ert() statements
0880: 20 61 72 65 20 65 76 61 6c 75 61 74 65 64 20 61   are evaluated a
0890: 6e 64 20 68 65 6e 63 65 20 74 68 65 73 65 0a 2a  nd hence these.*
08a0: 2a 20 72 6f 75 74 69 6e 65 73 20 61 72 65 20 6e  * routines are n
08b0: 65 76 65 72 20 63 61 6c 6c 65 64 2e 0a 2a 2f 0a  ever called..*/.
08c0: 23 69 66 6e 64 65 66 20 4e 44 45 42 55 47 0a 73  #ifndef NDEBUG.s
08d0: 74 61 74 69 63 20 69 6e 74 20 70 74 68 72 65 61  tatic int pthrea
08e0: 64 4d 75 74 65 78 48 65 6c 64 28 73 71 6c 69 74  dMutexHeld(sqlit
08f0: 65 33 5f 6d 75 74 65 78 20 2a 70 29 7b 0a 20 20  e3_mutex *p){.  
0900: 72 65 74 75 72 6e 20 28 70 2d 3e 6e 52 65 66 21  return (p->nRef!
0910: 3d 30 20 26 26 20 70 74 68 72 65 61 64 5f 65 71  =0 && pthread_eq
0920: 75 61 6c 28 70 2d 3e 6f 77 6e 65 72 2c 20 70 74  ual(p->owner, pt
0930: 68 72 65 61 64 5f 73 65 6c 66 28 29 29 29 3b 0a  hread_self()));.
0940: 7d 0a 73 74 61 74 69 63 20 69 6e 74 20 70 74 68  }.static int pth
0950: 72 65 61 64 4d 75 74 65 78 4e 6f 74 68 65 6c 64  readMutexNotheld
0960: 28 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a  (sqlite3_mutex *
0970: 70 29 7b 0a 20 20 72 65 74 75 72 6e 20 70 2d 3e  p){.  return p->
0980: 6e 52 65 66 3d 3d 30 20 7c 7c 20 70 74 68 72 65  nRef==0 || pthre
0990: 61 64 5f 65 71 75 61 6c 28 70 2d 3e 6f 77 6e 65  ad_equal(p->owne
09a0: 72 2c 20 70 74 68 72 65 61 64 5f 73 65 6c 66 28  r, pthread_self(
09b0: 29 29 3d 3d 30 3b 0a 7d 0a 23 65 6e 64 69 66 0a  ))==0;.}.#endif.
09c0: 0a 2f 2a 0a 2a 2a 20 49 6e 69 74 69 61 6c 69 7a  ./*.** Initializ
09d0: 65 20 61 6e 64 20 64 65 69 6e 69 74 69 61 6c 69  e and deinitiali
09e0: 7a 65 20 74 68 65 20 6d 75 74 65 78 20 73 75 62  ze the mutex sub
09f0: 73 79 73 74 65 6d 2e 0a 2a 2f 0a 73 74 61 74 69  system..*/.stati
0a00: 63 20 69 6e 74 20 70 74 68 72 65 61 64 4d 75 74  c int pthreadMut
0a10: 65 78 49 6e 69 74 28 76 6f 69 64 29 7b 20 72 65  exInit(void){ re
0a20: 74 75 72 6e 20 53 51 4c 49 54 45 5f 4f 4b 3b 20  turn SQLITE_OK; 
0a30: 7d 0a 73 74 61 74 69 63 20 69 6e 74 20 70 74 68  }.static int pth
0a40: 72 65 61 64 4d 75 74 65 78 45 6e 64 28 76 6f 69  readMutexEnd(voi
0a50: 64 29 7b 20 72 65 74 75 72 6e 20 53 51 4c 49 54  d){ return SQLIT
0a60: 45 5f 4f 4b 3b 20 7d 0a 0a 2f 2a 0a 2a 2a 20 54  E_OK; }../*.** T
0a70: 68 65 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  he sqlite3_mutex
0a80: 5f 61 6c 6c 6f 63 28 29 20 72 6f 75 74 69 6e 65  _alloc() routine
0a90: 20 61 6c 6c 6f 63 61 74 65 73 20 61 20 6e 65 77   allocates a new
0aa0: 0a 2a 2a 20 6d 75 74 65 78 20 61 6e 64 20 72 65  .** mutex and re
0ab0: 74 75 72 6e 73 20 61 20 70 6f 69 6e 74 65 72 20  turns a pointer 
0ac0: 74 6f 20 69 74 2e 20 20 49 66 20 69 74 20 72 65  to it.  If it re
0ad0: 74 75 72 6e 73 20 4e 55 4c 4c 0a 2a 2a 20 74 68  turns NULL.** th
0ae0: 61 74 20 6d 65 61 6e 73 20 74 68 61 74 20 61 20  at means that a 
0af0: 6d 75 74 65 78 20 63 6f 75 6c 64 20 6e 6f 74 20  mutex could not 
0b00: 62 65 20 61 6c 6c 6f 63 61 74 65 64 2e 20 20 53  be allocated.  S
0b10: 51 4c 69 74 65 0a 2a 2a 20 77 69 6c 6c 20 75 6e  QLite.** will un
0b20: 77 69 6e 64 20 69 74 73 20 73 74 61 63 6b 20 61  wind its stack a
0b30: 6e 64 20 72 65 74 75 72 6e 20 61 6e 20 65 72 72  nd return an err
0b40: 6f 72 2e 20 20 54 68 65 20 61 72 67 75 6d 65 6e  or.  The argumen
0b50: 74 0a 2a 2a 20 74 6f 20 73 71 6c 69 74 65 33 5f  t.** to sqlite3_
0b60: 6d 75 74 65 78 5f 61 6c 6c 6f 63 28 29 20 69 73  mutex_alloc() is
0b70: 20 6f 6e 65 20 6f 66 20 74 68 65 73 65 20 69 6e   one of these in
0b80: 74 65 67 65 72 20 63 6f 6e 73 74 61 6e 74 73 3a  teger constants:
0b90: 0a 2a 2a 0a 2a 2a 20 3c 75 6c 3e 0a 2a 2a 20 3c  .**.** <ul>.** <
0ba0: 6c 69 3e 20 20 53 51 4c 49 54 45 5f 4d 55 54 45  li>  SQLITE_MUTE
0bb0: 58 5f 46 41 53 54 0a 2a 2a 20 3c 6c 69 3e 20 20  X_FAST.** <li>  
0bc0: 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 52 45 43  SQLITE_MUTEX_REC
0bd0: 55 52 53 49 56 45 0a 2a 2a 20 3c 6c 69 3e 20 20  URSIVE.** <li>  
0be0: 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 53 54 41  SQLITE_MUTEX_STA
0bf0: 54 49 43 5f 4d 41 53 54 45 52 0a 2a 2a 20 3c 6c  TIC_MASTER.** <l
0c00: 69 3e 20 20 53 51 4c 49 54 45 5f 4d 55 54 45 58  i>  SQLITE_MUTEX
0c10: 5f 53 54 41 54 49 43 5f 4d 45 4d 0a 2a 2a 20 3c  _STATIC_MEM.** <
0c20: 6c 69 3e 20 20 53 51 4c 49 54 45 5f 4d 55 54 45  li>  SQLITE_MUTE
0c30: 58 5f 53 54 41 54 49 43 5f 4d 45 4d 32 0a 2a 2a  X_STATIC_MEM2.**
0c40: 20 3c 6c 69 3e 20 20 53 51 4c 49 54 45 5f 4d 55   <li>  SQLITE_MU
0c50: 54 45 58 5f 53 54 41 54 49 43 5f 50 52 4e 47 0a  TEX_STATIC_PRNG.
0c60: 2a 2a 20 3c 6c 69 3e 20 20 53 51 4c 49 54 45 5f  ** <li>  SQLITE_
0c70: 4d 55 54 45 58 5f 53 54 41 54 49 43 5f 4c 52 55  MUTEX_STATIC_LRU
0c80: 0a 2a 2a 20 3c 2f 75 6c 3e 0a 2a 2a 0a 2a 2a 20  .** </ul>.**.** 
0c90: 54 68 65 20 66 69 72 73 74 20 74 77 6f 20 63 6f  The first two co
0ca0: 6e 73 74 61 6e 74 73 20 63 61 75 73 65 20 73 71  nstants cause sq
0cb0: 6c 69 74 65 33 5f 6d 75 74 65 78 5f 61 6c 6c 6f  lite3_mutex_allo
0cc0: 63 28 29 20 74 6f 20 63 72 65 61 74 65 0a 2a 2a  c() to create.**
0cd0: 20 61 20 6e 65 77 20 6d 75 74 65 78 2e 20 20 54   a new mutex.  T
0ce0: 68 65 20 6e 65 77 20 6d 75 74 65 78 20 69 73 20  he new mutex is 
0cf0: 72 65 63 75 72 73 69 76 65 20 77 68 65 6e 20 53  recursive when S
0d00: 51 4c 49 54 45 5f 4d 55 54 45 58 5f 52 45 43 55  QLITE_MUTEX_RECU
0d10: 52 53 49 56 45 0a 2a 2a 20 69 73 20 75 73 65 64  RSIVE.** is used
0d20: 20 62 75 74 20 6e 6f 74 20 6e 65 63 65 73 73 61   but not necessa
0d30: 72 69 6c 79 20 73 6f 20 77 68 65 6e 20 53 51 4c  rily so when SQL
0d40: 49 54 45 5f 4d 55 54 45 58 5f 46 41 53 54 20 69  ITE_MUTEX_FAST i
0d50: 73 20 75 73 65 64 2e 0a 2a 2a 20 54 68 65 20 6d  s used..** The m
0d60: 75 74 65 78 20 69 6d 70 6c 65 6d 65 6e 74 61 74  utex implementat
0d70: 69 6f 6e 20 64 6f 65 73 20 6e 6f 74 20 6e 65 65  ion does not nee
0d80: 64 20 74 6f 20 6d 61 6b 65 20 61 20 64 69 73 74  d to make a dist
0d90: 69 6e 63 74 69 6f 6e 0a 2a 2a 20 62 65 74 77 65  inction.** betwe
0da0: 65 6e 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f  en SQLITE_MUTEX_
0db0: 52 45 43 55 52 53 49 56 45 20 61 6e 64 20 53 51  RECURSIVE and SQ
0dc0: 4c 49 54 45 5f 4d 55 54 45 58 5f 46 41 53 54 20  LITE_MUTEX_FAST 
0dd0: 69 66 20 69 74 20 64 6f 65 73 0a 2a 2a 20 6e 6f  if it does.** no
0de0: 74 20 77 61 6e 74 20 74 6f 2e 20 20 42 75 74 20  t want to.  But 
0df0: 53 51 4c 69 74 65 20 77 69 6c 6c 20 6f 6e 6c 79  SQLite will only
0e00: 20 72 65 71 75 65 73 74 20 61 20 72 65 63 75 72   request a recur
0e10: 73 69 76 65 20 6d 75 74 65 78 20 69 6e 0a 2a 2a  sive mutex in.**
0e20: 20 63 61 73 65 73 20 77 68 65 72 65 20 69 74 20   cases where it 
0e30: 72 65 61 6c 6c 79 20 6e 65 65 64 73 20 6f 6e 65  really needs one
0e40: 2e 20 20 49 66 20 61 20 66 61 73 74 65 72 20 6e  .  If a faster n
0e50: 6f 6e 2d 72 65 63 75 72 73 69 76 65 20 6d 75 74  on-recursive mut
0e60: 65 78 0a 2a 2a 20 69 6d 70 6c 65 6d 65 6e 74 61  ex.** implementa
0e70: 74 69 6f 6e 20 69 73 20 61 76 61 69 6c 61 62 6c  tion is availabl
0e80: 65 20 6f 6e 20 74 68 65 20 68 6f 73 74 20 70 6c  e on the host pl
0e90: 61 74 66 6f 72 6d 2c 20 74 68 65 20 6d 75 74 65  atform, the mute
0ea0: 78 20 73 75 62 73 79 73 74 65 6d 0a 2a 2a 20 6d  x subsystem.** m
0eb0: 69 67 68 74 20 72 65 74 75 72 6e 20 73 75 63 68  ight return such
0ec0: 20 61 20 6d 75 74 65 78 20 69 6e 20 72 65 73 70   a mutex in resp
0ed0: 6f 6e 73 65 20 74 6f 20 53 51 4c 49 54 45 5f 4d  onse to SQLITE_M
0ee0: 55 54 45 58 5f 46 41 53 54 2e 0a 2a 2a 0a 2a 2a  UTEX_FAST..**.**
0ef0: 20 54 68 65 20 6f 74 68 65 72 20 61 6c 6c 6f 77   The other allow
0f00: 65 64 20 70 61 72 61 6d 65 74 65 72 73 20 74 6f  ed parameters to
0f10: 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 61   sqlite3_mutex_a
0f20: 6c 6c 6f 63 28 29 20 65 61 63 68 20 72 65 74 75  lloc() each retu
0f30: 72 6e 0a 2a 2a 20 61 20 70 6f 69 6e 74 65 72 20  rn.** a pointer 
0f40: 74 6f 20 61 20 73 74 61 74 69 63 20 70 72 65 65  to a static pree
0f50: 78 69 73 74 69 6e 67 20 6d 75 74 65 78 2e 20 20  xisting mutex.  
0f60: 54 68 72 65 65 20 73 74 61 74 69 63 20 6d 75 74  Three static mut
0f70: 65 78 65 73 20 61 72 65 0a 2a 2a 20 75 73 65 64  exes are.** used
0f80: 20 62 79 20 74 68 65 20 63 75 72 72 65 6e 74 20   by the current 
0f90: 76 65 72 73 69 6f 6e 20 6f 66 20 53 51 4c 69 74  version of SQLit
0fa0: 65 2e 20 20 46 75 74 75 72 65 20 76 65 72 73 69  e.  Future versi
0fb0: 6f 6e 73 20 6f 66 20 53 51 4c 69 74 65 0a 2a 2a  ons of SQLite.**
0fc0: 20 6d 61 79 20 61 64 64 20 61 64 64 69 74 69 6f   may add additio
0fd0: 6e 61 6c 20 73 74 61 74 69 63 20 6d 75 74 65 78  nal static mutex
0fe0: 65 73 2e 20 20 53 74 61 74 69 63 20 6d 75 74 65  es.  Static mute
0ff0: 78 65 73 20 61 72 65 20 66 6f 72 20 69 6e 74 65  xes are for inte
1000: 72 6e 61 6c 0a 2a 2a 20 75 73 65 20 62 79 20 53  rnal.** use by S
1010: 51 4c 69 74 65 20 6f 6e 6c 79 2e 20 20 41 70 70  QLite only.  App
1020: 6c 69 63 61 74 69 6f 6e 73 20 74 68 61 74 20 75  lications that u
1030: 73 65 20 53 51 4c 69 74 65 20 6d 75 74 65 78 65  se SQLite mutexe
1040: 73 20 73 68 6f 75 6c 64 0a 2a 2a 20 75 73 65 20  s should.** use 
1050: 6f 6e 6c 79 20 74 68 65 20 64 79 6e 61 6d 69 63  only the dynamic
1060: 20 6d 75 74 65 78 65 73 20 72 65 74 75 72 6e 65   mutexes returne
1070: 64 20 62 79 20 53 51 4c 49 54 45 5f 4d 55 54 45  d by SQLITE_MUTE
1080: 58 5f 46 41 53 54 20 6f 72 0a 2a 2a 20 53 51 4c  X_FAST or.** SQL
1090: 49 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53  ITE_MUTEX_RECURS
10a0: 49 56 45 2e 0a 2a 2a 0a 2a 2a 20 4e 6f 74 65 20  IVE..**.** Note 
10b0: 74 68 61 74 20 69 66 20 6f 6e 65 20 6f 66 20 74  that if one of t
10c0: 68 65 20 64 79 6e 61 6d 69 63 20 6d 75 74 65 78  he dynamic mutex
10d0: 20 70 61 72 61 6d 65 74 65 72 73 20 28 53 51 4c   parameters (SQL
10e0: 49 54 45 5f 4d 55 54 45 58 5f 46 41 53 54 0a 2a  ITE_MUTEX_FAST.*
10f0: 2a 20 6f 72 20 53 51 4c 49 54 45 5f 4d 55 54 45  * or SQLITE_MUTE
1100: 58 5f 52 45 43 55 52 53 49 56 45 29 20 69 73 20  X_RECURSIVE) is 
1110: 75 73 65 64 20 74 68 65 6e 20 73 71 6c 69 74 65  used then sqlite
1120: 33 5f 6d 75 74 65 78 5f 61 6c 6c 6f 63 28 29 0a  3_mutex_alloc().
1130: 2a 2a 20 72 65 74 75 72 6e 73 20 61 20 64 69 66  ** returns a dif
1140: 66 65 72 65 6e 74 20 6d 75 74 65 78 20 6f 6e 20  ferent mutex on 
1150: 65 76 65 72 79 20 63 61 6c 6c 2e 20 20 42 75 74  every call.  But
1160: 20 66 6f 72 20 74 68 65 20 73 74 61 74 69 63 20   for the static 
1170: 0a 2a 2a 20 6d 75 74 65 78 20 74 79 70 65 73 2c  .** mutex types,
1180: 20 74 68 65 20 73 61 6d 65 20 6d 75 74 65 78 20   the same mutex 
1190: 69 73 20 72 65 74 75 72 6e 65 64 20 6f 6e 20 65  is returned on e
11a0: 76 65 72 79 20 63 61 6c 6c 20 74 68 61 74 20 68  very call that h
11b0: 61 73 0a 2a 2a 20 74 68 65 20 73 61 6d 65 20 74  as.** the same t
11c0: 79 70 65 20 6e 75 6d 62 65 72 2e 0a 2a 2f 0a 73  ype number..*/.s
11d0: 74 61 74 69 63 20 73 71 6c 69 74 65 33 5f 6d 75  tatic sqlite3_mu
11e0: 74 65 78 20 2a 70 74 68 72 65 61 64 4d 75 74 65  tex *pthreadMute
11f0: 78 41 6c 6c 6f 63 28 69 6e 74 20 69 54 79 70 65  xAlloc(int iType
1200: 29 7b 0a 20 20 73 74 61 74 69 63 20 73 71 6c 69  ){.  static sqli
1210: 74 65 33 5f 6d 75 74 65 78 20 73 74 61 74 69 63  te3_mutex static
1220: 4d 75 74 65 78 65 73 5b 5d 20 3d 20 7b 0a 20 20  Mutexes[] = {.  
1230: 20 20 53 51 4c 49 54 45 33 5f 4d 55 54 45 58 5f    SQLITE3_MUTEX_
1240: 49 4e 49 54 49 41 4c 49 5a 45 52 2c 0a 20 20 20  INITIALIZER,.   
1250: 20 53 51 4c 49 54 45 33 5f 4d 55 54 45 58 5f 49   SQLITE3_MUTEX_I
1260: 4e 49 54 49 41 4c 49 5a 45 52 2c 0a 20 20 20 20  NITIALIZER,.    
1270: 53 51 4c 49 54 45 33 5f 4d 55 54 45 58 5f 49 4e  SQLITE3_MUTEX_IN
1280: 49 54 49 41 4c 49 5a 45 52 2c 0a 20 20 20 20 53  ITIALIZER,.    S
1290: 51 4c 49 54 45 33 5f 4d 55 54 45 58 5f 49 4e 49  QLITE3_MUTEX_INI
12a0: 54 49 41 4c 49 5a 45 52 2c 0a 20 20 20 20 53 51  TIALIZER,.    SQ
12b0: 4c 49 54 45 33 5f 4d 55 54 45 58 5f 49 4e 49 54  LITE3_MUTEX_INIT
12c0: 49 41 4c 49 5a 45 52 2c 0a 20 20 20 20 53 51 4c  IALIZER,.    SQL
12d0: 49 54 45 33 5f 4d 55 54 45 58 5f 49 4e 49 54 49  ITE3_MUTEX_INITI
12e0: 41 4c 49 5a 45 52 0a 20 20 7d 3b 0a 20 20 73 71  ALIZER.  };.  sq
12f0: 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a 70 3b 0a  lite3_mutex *p;.
1300: 20 20 73 77 69 74 63 68 28 20 69 54 79 70 65 20    switch( iType 
1310: 29 7b 0a 20 20 20 20 63 61 73 65 20 53 51 4c 49  ){.    case SQLI
1320: 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49  TE_MUTEX_RECURSI
1330: 56 45 3a 20 7b 0a 20 20 20 20 20 20 70 20 3d 20  VE: {.      p = 
1340: 73 71 6c 69 74 65 33 4d 61 6c 6c 6f 63 5a 65 72  sqlite3MallocZer
1350: 6f 28 20 73 69 7a 65 6f 66 28 2a 70 29 20 29 3b  o( sizeof(*p) );
1360: 0a 20 20 20 20 20 20 69 66 28 20 70 20 29 7b 0a  .      if( p ){.
1370: 23 69 66 64 65 66 20 53 51 4c 49 54 45 5f 48 4f  #ifdef SQLITE_HO
1380: 4d 45 47 52 4f 57 4e 5f 52 45 43 55 52 53 49 56  MEGROWN_RECURSIV
1390: 45 5f 4d 55 54 45 58 0a 20 20 20 20 20 20 20 20  E_MUTEX.        
13a0: 2f 2a 20 49 66 20 72 65 63 75 72 73 69 76 65 20  /* If recursive 
13b0: 6d 75 74 65 78 65 73 20 61 72 65 20 6e 6f 74 20  mutexes are not 
13c0: 61 76 61 69 6c 61 62 6c 65 2c 20 77 65 20 77 69  available, we wi
13d0: 6c 6c 20 68 61 76 65 20 74 6f 0a 20 20 20 20 20  ll have to.     
13e0: 20 20 20 2a 2a 20 62 75 69 6c 64 20 6f 75 72 20     ** build our 
13f0: 6f 77 6e 2e 20 20 53 65 65 20 62 65 6c 6f 77 2e  own.  See below.
1400: 20 2a 2f 0a 20 20 20 20 20 20 20 20 70 74 68 72   */.        pthr
1410: 65 61 64 5f 6d 75 74 65 78 5f 69 6e 69 74 28 26  ead_mutex_init(&
1420: 70 2d 3e 6d 75 74 65 78 2c 20 30 29 3b 0a 23 65  p->mutex, 0);.#e
1430: 6c 73 65 0a 20 20 20 20 20 20 20 20 2f 2a 20 55  lse.        /* U
1440: 73 65 20 61 20 72 65 63 75 72 73 69 76 65 20 6d  se a recursive m
1450: 75 74 65 78 20 69 66 20 69 74 20 69 73 20 61 76  utex if it is av
1460: 61 69 6c 61 62 6c 65 20 2a 2f 0a 20 20 20 20 20  ailable */.     
1470: 20 20 20 70 74 68 72 65 61 64 5f 6d 75 74 65 78     pthread_mutex
1480: 61 74 74 72 5f 74 20 72 65 63 75 72 73 69 76 65  attr_t recursive
1490: 41 74 74 72 3b 0a 20 20 20 20 20 20 20 20 70 74  Attr;.        pt
14a0: 68 72 65 61 64 5f 6d 75 74 65 78 61 74 74 72 5f  hread_mutexattr_
14b0: 69 6e 69 74 28 26 72 65 63 75 72 73 69 76 65 41  init(&recursiveA
14c0: 74 74 72 29 3b 0a 20 20 20 20 20 20 20 20 70 74  ttr);.        pt
14d0: 68 72 65 61 64 5f 6d 75 74 65 78 61 74 74 72 5f  hread_mutexattr_
14e0: 73 65 74 74 79 70 65 28 26 72 65 63 75 72 73 69  settype(&recursi
14f0: 76 65 41 74 74 72 2c 20 50 54 48 52 45 41 44 5f  veAttr, PTHREAD_
1500: 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56 45 29  MUTEX_RECURSIVE)
1510: 3b 0a 20 20 20 20 20 20 20 20 70 74 68 72 65 61  ;.        pthrea
1520: 64 5f 6d 75 74 65 78 5f 69 6e 69 74 28 26 70 2d  d_mutex_init(&p-
1530: 3e 6d 75 74 65 78 2c 20 26 72 65 63 75 72 73 69  >mutex, &recursi
1540: 76 65 41 74 74 72 29 3b 0a 20 20 20 20 20 20 20  veAttr);.       
1550: 20 70 74 68 72 65 61 64 5f 6d 75 74 65 78 61 74   pthread_mutexat
1560: 74 72 5f 64 65 73 74 72 6f 79 28 26 72 65 63 75  tr_destroy(&recu
1570: 72 73 69 76 65 41 74 74 72 29 3b 0a 23 65 6e 64  rsiveAttr);.#end
1580: 69 66 0a 20 20 20 20 20 20 20 20 70 2d 3e 69 64  if.        p->id
1590: 20 3d 20 69 54 79 70 65 3b 0a 20 20 20 20 20 20   = iType;.      
15a0: 7d 0a 20 20 20 20 20 20 62 72 65 61 6b 3b 0a 20  }.      break;. 
15b0: 20 20 20 7d 0a 20 20 20 20 63 61 73 65 20 53 51     }.    case SQ
15c0: 4c 49 54 45 5f 4d 55 54 45 58 5f 46 41 53 54 3a  LITE_MUTEX_FAST:
15d0: 20 7b 0a 20 20 20 20 20 20 70 20 3d 20 73 71 6c   {.      p = sql
15e0: 69 74 65 33 4d 61 6c 6c 6f 63 5a 65 72 6f 28 20  ite3MallocZero( 
15f0: 73 69 7a 65 6f 66 28 2a 70 29 20 29 3b 0a 20 20  sizeof(*p) );.  
1600: 20 20 20 20 69 66 28 20 70 20 29 7b 0a 20 20 20      if( p ){.   
1610: 20 20 20 20 20 70 2d 3e 69 64 20 3d 20 69 54 79       p->id = iTy
1620: 70 65 3b 0a 20 20 20 20 20 20 20 20 70 74 68 72  pe;.        pthr
1630: 65 61 64 5f 6d 75 74 65 78 5f 69 6e 69 74 28 26  ead_mutex_init(&
1640: 70 2d 3e 6d 75 74 65 78 2c 20 30 29 3b 0a 20 20  p->mutex, 0);.  
1650: 20 20 20 20 7d 0a 20 20 20 20 20 20 62 72 65 61      }.      brea
1660: 6b 3b 0a 20 20 20 20 7d 0a 20 20 20 20 64 65 66  k;.    }.    def
1670: 61 75 6c 74 3a 20 7b 0a 20 20 20 20 20 20 61 73  ault: {.      as
1680: 73 65 72 74 28 20 69 54 79 70 65 2d 32 20 3e 3d  sert( iType-2 >=
1690: 20 30 20 29 3b 0a 20 20 20 20 20 20 61 73 73 65   0 );.      asse
16a0: 72 74 28 20 69 54 79 70 65 2d 32 20 3c 20 73 69  rt( iType-2 < si
16b0: 7a 65 6f 66 28 73 74 61 74 69 63 4d 75 74 65 78  zeof(staticMutex
16c0: 65 73 29 2f 73 69 7a 65 6f 66 28 73 74 61 74 69  es)/sizeof(stati
16d0: 63 4d 75 74 65 78 65 73 5b 30 5d 29 20 29 3b 0a  cMutexes[0]) );.
16e0: 20 20 20 20 20 20 70 20 3d 20 26 73 74 61 74 69        p = &stati
16f0: 63 4d 75 74 65 78 65 73 5b 69 54 79 70 65 2d 32  cMutexes[iType-2
1700: 5d 3b 0a 20 20 20 20 20 20 70 2d 3e 69 64 20 3d  ];.      p->id =
1710: 20 69 54 79 70 65 3b 0a 20 20 20 20 20 20 62 72   iType;.      br
1720: 65 61 6b 3b 0a 20 20 20 20 7d 0a 20 20 7d 0a 20  eak;.    }.  }. 
1730: 20 72 65 74 75 72 6e 20 70 3b 0a 7d 0a 0a 0a 2f   return p;.}.../
1740: 2a 0a 2a 2a 20 54 68 69 73 20 72 6f 75 74 69 6e  *.** This routin
1750: 65 20 64 65 61 6c 6c 6f 63 61 74 65 73 20 61 20  e deallocates a 
1760: 70 72 65 76 69 6f 75 73 6c 79 0a 2a 2a 20 61 6c  previously.** al
1770: 6c 6f 63 61 74 65 64 20 6d 75 74 65 78 2e 20 20  located mutex.  
1780: 53 51 4c 69 74 65 20 69 73 20 63 61 72 65 66 75  SQLite is carefu
1790: 6c 20 74 6f 20 64 65 61 6c 6c 6f 63 61 74 65 20  l to deallocate 
17a0: 65 76 65 72 79 0a 2a 2a 20 6d 75 74 65 78 20 74  every.** mutex t
17b0: 68 61 74 20 69 74 20 61 6c 6c 6f 63 61 74 65 73  hat it allocates
17c0: 2e 0a 2a 2f 0a 73 74 61 74 69 63 20 76 6f 69 64  ..*/.static void
17d0: 20 70 74 68 72 65 61 64 4d 75 74 65 78 46 72 65   pthreadMutexFre
17e0: 65 28 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20  e(sqlite3_mutex 
17f0: 2a 70 29 7b 0a 20 20 61 73 73 65 72 74 28 20 70  *p){.  assert( p
1800: 2d 3e 6e 52 65 66 3d 3d 30 20 29 3b 0a 20 20 61  ->nRef==0 );.  a
1810: 73 73 65 72 74 28 20 70 2d 3e 69 64 3d 3d 53 51  ssert( p->id==SQ
1820: 4c 49 54 45 5f 4d 55 54 45 58 5f 46 41 53 54 20  LITE_MUTEX_FAST 
1830: 7c 7c 20 70 2d 3e 69 64 3d 3d 53 51 4c 49 54 45  || p->id==SQLITE
1840: 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56 45  _MUTEX_RECURSIVE
1850: 20 29 3b 0a 20 20 70 74 68 72 65 61 64 5f 6d 75   );.  pthread_mu
1860: 74 65 78 5f 64 65 73 74 72 6f 79 28 26 70 2d 3e  tex_destroy(&p->
1870: 6d 75 74 65 78 29 3b 0a 20 20 73 71 6c 69 74 65  mutex);.  sqlite
1880: 33 5f 66 72 65 65 28 70 29 3b 0a 7d 0a 0a 2f 2a  3_free(p);.}../*
1890: 0a 2a 2a 20 54 68 65 20 73 71 6c 69 74 65 33 5f  .** The sqlite3_
18a0: 6d 75 74 65 78 5f 65 6e 74 65 72 28 29 20 61 6e  mutex_enter() an
18b0: 64 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f  d sqlite3_mutex_
18c0: 74 72 79 28 29 20 72 6f 75 74 69 6e 65 73 20 61  try() routines a
18d0: 74 74 65 6d 70 74 0a 2a 2a 20 74 6f 20 65 6e 74  ttempt.** to ent
18e0: 65 72 20 61 20 6d 75 74 65 78 2e 20 20 49 66 20  er a mutex.  If 
18f0: 61 6e 6f 74 68 65 72 20 74 68 72 65 61 64 20 69  another thread i
1900: 73 20 61 6c 72 65 61 64 79 20 77 69 74 68 69 6e  s already within
1910: 20 74 68 65 20 6d 75 74 65 78 2c 0a 2a 2a 20 73   the mutex,.** s
1920: 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 65 6e 74  qlite3_mutex_ent
1930: 65 72 28 29 20 77 69 6c 6c 20 62 6c 6f 63 6b 20  er() will block 
1940: 61 6e 64 20 73 71 6c 69 74 65 33 5f 6d 75 74 65  and sqlite3_mute
1950: 78 5f 74 72 79 28 29 20 77 69 6c 6c 20 72 65 74  x_try() will ret
1960: 75 72 6e 0a 2a 2a 20 53 51 4c 49 54 45 5f 42 55  urn.** SQLITE_BU
1970: 53 59 2e 20 20 54 68 65 20 73 71 6c 69 74 65 33  SY.  The sqlite3
1980: 5f 6d 75 74 65 78 5f 74 72 79 28 29 20 69 6e 74  _mutex_try() int
1990: 65 72 66 61 63 65 20 72 65 74 75 72 6e 73 20 53  erface returns S
19a0: 51 4c 49 54 45 5f 4f 4b 0a 2a 2a 20 75 70 6f 6e  QLITE_OK.** upon
19b0: 20 73 75 63 63 65 73 73 66 75 6c 20 65 6e 74 72   successful entr
19c0: 79 2e 20 20 4d 75 74 65 78 65 73 20 63 72 65 61  y.  Mutexes crea
19d0: 74 65 64 20 75 73 69 6e 67 20 53 51 4c 49 54 45  ted using SQLITE
19e0: 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56 45  _MUTEX_RECURSIVE
19f0: 20 63 61 6e 0a 2a 2a 20 62 65 20 65 6e 74 65 72   can.** be enter
1a00: 65 64 20 6d 75 6c 74 69 70 6c 65 20 74 69 6d 65  ed multiple time
1a10: 73 20 62 79 20 74 68 65 20 73 61 6d 65 20 74 68  s by the same th
1a20: 72 65 61 64 2e 20 20 49 6e 20 73 75 63 68 20 63  read.  In such c
1a30: 61 73 65 73 20 74 68 65 2c 0a 2a 2a 20 6d 75 74  ases the,.** mut
1a40: 65 78 20 6d 75 73 74 20 62 65 20 65 78 69 74 65  ex must be exite
1a50: 64 20 61 6e 20 65 71 75 61 6c 20 6e 75 6d 62 65  d an equal numbe
1a60: 72 20 6f 66 20 74 69 6d 65 73 20 62 65 66 6f 72  r of times befor
1a70: 65 20 61 6e 6f 74 68 65 72 20 74 68 72 65 61 64  e another thread
1a80: 0a 2a 2a 20 63 61 6e 20 65 6e 74 65 72 2e 20 20  .** can enter.  
1a90: 49 66 20 74 68 65 20 73 61 6d 65 20 74 68 72 65  If the same thre
1aa0: 61 64 20 74 72 69 65 73 20 74 6f 20 65 6e 74 65  ad tries to ente
1ab0: 72 20 61 6e 79 20 6f 74 68 65 72 20 6b 69 6e 64  r any other kind
1ac0: 20 6f 66 20 6d 75 74 65 78 0a 2a 2a 20 6d 6f 72   of mutex.** mor
1ad0: 65 20 74 68 61 6e 20 6f 6e 63 65 2c 20 74 68 65  e than once, the
1ae0: 20 62 65 68 61 76 69 6f 72 20 69 73 20 75 6e 64   behavior is und
1af0: 65 66 69 6e 65 64 2e 0a 2a 2f 0a 73 74 61 74 69  efined..*/.stati
1b00: 63 20 76 6f 69 64 20 70 74 68 72 65 61 64 4d 75  c void pthreadMu
1b10: 74 65 78 45 6e 74 65 72 28 73 71 6c 69 74 65 33  texEnter(sqlite3
1b20: 5f 6d 75 74 65 78 20 2a 70 29 7b 0a 20 20 61 73  _mutex *p){.  as
1b30: 73 65 72 74 28 20 70 2d 3e 69 64 3d 3d 53 51 4c  sert( p->id==SQL
1b40: 49 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53  ITE_MUTEX_RECURS
1b50: 49 56 45 20 7c 7c 20 70 74 68 72 65 61 64 4d 75  IVE || pthreadMu
1b60: 74 65 78 4e 6f 74 68 65 6c 64 28 70 29 20 29 3b  texNotheld(p) );
1b70: 0a 0a 23 69 66 64 65 66 20 53 51 4c 49 54 45 5f  ..#ifdef SQLITE_
1b80: 48 4f 4d 45 47 52 4f 57 4e 5f 52 45 43 55 52 53  HOMEGROWN_RECURS
1b90: 49 56 45 5f 4d 55 54 45 58 0a 20 20 2f 2a 20 49  IVE_MUTEX.  /* I
1ba0: 66 20 72 65 63 75 72 73 69 76 65 20 6d 75 74 65  f recursive mute
1bb0: 78 65 73 20 61 72 65 20 6e 6f 74 20 61 76 61 69  xes are not avai
1bc0: 6c 61 62 6c 65 2c 20 74 68 65 6e 20 77 65 20 68  lable, then we h
1bd0: 61 76 65 20 74 6f 20 67 72 6f 77 0a 20 20 2a 2a  ave to grow.  **
1be0: 20 6f 75 72 20 6f 77 6e 2e 20 20 54 68 69 73 20   our own.  This 
1bf0: 69 6d 70 6c 65 6d 65 6e 74 61 74 69 6f 6e 20 61  implementation a
1c00: 73 73 75 6d 65 73 20 74 68 61 74 20 70 74 68 72  ssumes that pthr
1c10: 65 61 64 5f 65 71 75 61 6c 28 29 0a 20 20 2a 2a  ead_equal().  **
1c20: 20 69 73 20 61 74 6f 6d 69 63 20 2d 20 74 68 61   is atomic - tha
1c30: 74 20 69 74 20 63 61 6e 6e 6f 74 20 62 65 20 64  t it cannot be d
1c40: 65 63 65 69 76 65 64 20 69 6e 74 6f 20 74 68 69  eceived into thi
1c50: 6e 6b 69 6e 67 20 73 65 6c 66 0a 20 20 2a 2a 20  nking self.  ** 
1c60: 61 6e 64 20 70 2d 3e 6f 77 6e 65 72 20 61 72 65  and p->owner are
1c70: 20 65 71 75 61 6c 20 69 66 20 70 2d 3e 6f 77 6e   equal if p->own
1c80: 65 72 20 63 68 61 6e 67 65 73 20 62 65 74 77 65  er changes betwe
1c90: 65 6e 20 74 77 6f 20 76 61 6c 75 65 73 0a 20 20  en two values.  
1ca0: 2a 2a 20 74 68 61 74 20 61 72 65 20 6e 6f 74 20  ** that are not 
1cb0: 65 71 75 61 6c 20 74 6f 20 73 65 6c 66 20 77 68  equal to self wh
1cc0: 69 6c 65 20 74 68 65 20 63 6f 6d 70 61 72 69 73  ile the comparis
1cd0: 6f 6e 20 69 73 20 74 61 6b 69 6e 67 20 70 6c 61  on is taking pla
1ce0: 63 65 2e 0a 20 20 2a 2a 20 54 68 69 73 20 69 6d  ce..  ** This im
1cf0: 70 6c 65 6d 65 6e 74 61 74 69 6f 6e 20 61 6c 73  plementation als
1d00: 6f 20 61 73 73 75 6d 65 73 20 61 20 63 6f 68 65  o assumes a cohe
1d10: 72 65 6e 74 20 63 61 63 68 65 20 2d 20 74 68 61  rent cache - tha
1d20: 74 20 0a 20 20 2a 2a 20 73 65 70 61 72 61 74 65  t .  ** separate
1d30: 20 70 72 6f 63 65 73 73 65 73 20 63 61 6e 6e 6f   processes canno
1d40: 74 20 72 65 61 64 20 64 69 66 66 65 72 65 6e 74  t read different
1d50: 20 76 61 6c 75 65 73 20 66 72 6f 6d 20 74 68 65   values from the
1d60: 20 73 61 6d 65 0a 20 20 2a 2a 20 61 64 64 72 65   same.  ** addre
1d70: 73 73 20 61 74 20 74 68 65 20 73 61 6d 65 20 74  ss at the same t
1d80: 69 6d 65 2e 20 20 49 66 20 65 69 74 68 65 72 20  ime.  If either 
1d90: 6f 66 20 74 68 65 73 65 20 74 77 6f 20 63 6f 6e  of these two con
1da0: 64 69 74 69 6f 6e 73 0a 20 20 2a 2a 20 61 72 65  ditions.  ** are
1db0: 20 6e 6f 74 20 6d 65 74 2c 20 74 68 65 6e 20 74   not met, then t
1dc0: 68 65 20 6d 75 74 65 78 65 73 20 77 69 6c 6c 20  he mutexes will 
1dd0: 66 61 69 6c 20 61 6e 64 20 70 72 6f 62 6c 65 6d  fail and problem
1de0: 73 20 77 69 6c 6c 20 72 65 73 75 6c 74 2e 0a 20  s will result.. 
1df0: 20 2a 2f 0a 20 20 7b 0a 20 20 20 20 70 74 68 72   */.  {.    pthr
1e00: 65 61 64 5f 74 20 73 65 6c 66 20 3d 20 70 74 68  ead_t self = pth
1e10: 72 65 61 64 5f 73 65 6c 66 28 29 3b 0a 20 20 20  read_self();.   
1e20: 20 69 66 28 20 70 2d 3e 6e 52 65 66 3e 30 20 26   if( p->nRef>0 &
1e30: 26 20 70 74 68 72 65 61 64 5f 65 71 75 61 6c 28  & pthread_equal(
1e40: 70 2d 3e 6f 77 6e 65 72 2c 20 73 65 6c 66 29 20  p->owner, self) 
1e50: 29 7b 0a 20 20 20 20 20 20 70 2d 3e 6e 52 65 66  ){.      p->nRef
1e60: 2b 2b 3b 0a 20 20 20 20 7d 65 6c 73 65 7b 0a 20  ++;.    }else{. 
1e70: 20 20 20 20 20 70 74 68 72 65 61 64 5f 6d 75 74       pthread_mut
1e80: 65 78 5f 6c 6f 63 6b 28 26 70 2d 3e 6d 75 74 65  ex_lock(&p->mute
1e90: 78 29 3b 0a 20 20 20 20 20 20 61 73 73 65 72 74  x);.      assert
1ea0: 28 20 70 2d 3e 6e 52 65 66 3d 3d 30 20 29 3b 0a  ( p->nRef==0 );.
1eb0: 20 20 20 20 20 20 70 2d 3e 6f 77 6e 65 72 20 3d        p->owner =
1ec0: 20 73 65 6c 66 3b 0a 20 20 20 20 20 20 70 2d 3e   self;.      p->
1ed0: 6e 52 65 66 20 3d 20 31 3b 0a 20 20 20 20 7d 0a  nRef = 1;.    }.
1ee0: 20 20 7d 0a 23 65 6c 73 65 0a 20 20 2f 2a 20 55    }.#else.  /* U
1ef0: 73 65 20 74 68 65 20 62 75 69 6c 74 2d 69 6e 20  se the built-in 
1f00: 72 65 63 75 72 73 69 76 65 20 6d 75 74 65 78 65  recursive mutexe
1f10: 73 20 69 66 20 74 68 65 79 20 61 72 65 20 61 76  s if they are av
1f20: 61 69 6c 61 62 6c 65 2e 0a 20 20 2a 2f 0a 20 20  ailable..  */.  
1f30: 70 74 68 72 65 61 64 5f 6d 75 74 65 78 5f 6c 6f  pthread_mutex_lo
1f40: 63 6b 28 26 70 2d 3e 6d 75 74 65 78 29 3b 0a 20  ck(&p->mutex);. 
1f50: 20 70 2d 3e 6f 77 6e 65 72 20 3d 20 70 74 68 72   p->owner = pthr
1f60: 65 61 64 5f 73 65 6c 66 28 29 3b 0a 20 20 70 2d  ead_self();.  p-
1f70: 3e 6e 52 65 66 2b 2b 3b 0a 23 65 6e 64 69 66 0a  >nRef++;.#endif.
1f80: 0a 23 69 66 64 65 66 20 53 51 4c 49 54 45 5f 44  .#ifdef SQLITE_D
1f90: 45 42 55 47 0a 20 20 69 66 28 20 70 2d 3e 74 72  EBUG.  if( p->tr
1fa0: 61 63 65 20 29 7b 0a 20 20 20 20 70 72 69 6e 74  ace ){.    print
1fb0: 66 28 22 65 6e 74 65 72 20 6d 75 74 65 78 20 25  f("enter mutex %
1fc0: 70 20 28 25 64 29 20 77 69 74 68 20 6e 52 65 66  p (%d) with nRef
1fd0: 3d 25 64 5c 6e 22 2c 20 70 2c 20 70 2d 3e 74 72  =%d\n", p, p->tr
1fe0: 61 63 65 2c 20 70 2d 3e 6e 52 65 66 29 3b 0a 20  ace, p->nRef);. 
1ff0: 20 7d 0a 23 65 6e 64 69 66 0a 7d 0a 73 74 61 74   }.#endif.}.stat
2000: 69 63 20 69 6e 74 20 70 74 68 72 65 61 64 4d 75  ic int pthreadMu
2010: 74 65 78 54 72 79 28 73 71 6c 69 74 65 33 5f 6d  texTry(sqlite3_m
2020: 75 74 65 78 20 2a 70 29 7b 0a 20 20 69 6e 74 20  utex *p){.  int 
2030: 72 63 3b 0a 20 20 61 73 73 65 72 74 28 20 70 2d  rc;.  assert( p-
2040: 3e 69 64 3d 3d 53 51 4c 49 54 45 5f 4d 55 54 45  >id==SQLITE_MUTE
2050: 58 5f 52 45 43 55 52 53 49 56 45 20 7c 7c 20 70  X_RECURSIVE || p
2060: 74 68 72 65 61 64 4d 75 74 65 78 4e 6f 74 68 65  threadMutexNothe
2070: 6c 64 28 70 29 20 29 3b 0a 0a 23 69 66 64 65 66  ld(p) );..#ifdef
2080: 20 53 51 4c 49 54 45 5f 48 4f 4d 45 47 52 4f 57   SQLITE_HOMEGROW
2090: 4e 5f 52 45 43 55 52 53 49 56 45 5f 4d 55 54 45  N_RECURSIVE_MUTE
20a0: 58 0a 20 20 2f 2a 20 49 66 20 72 65 63 75 72 73  X.  /* If recurs
20b0: 69 76 65 20 6d 75 74 65 78 65 73 20 61 72 65 20  ive mutexes are 
20c0: 6e 6f 74 20 61 76 61 69 6c 61 62 6c 65 2c 20 74  not available, t
20d0: 68 65 6e 20 77 65 20 68 61 76 65 20 74 6f 20 67  hen we have to g
20e0: 72 6f 77 0a 20 20 2a 2a 20 6f 75 72 20 6f 77 6e  row.  ** our own
20f0: 2e 20 20 54 68 69 73 20 69 6d 70 6c 65 6d 65 6e  .  This implemen
2100: 74 61 74 69 6f 6e 20 61 73 73 75 6d 65 73 20 74  tation assumes t
2110: 68 61 74 20 70 74 68 72 65 61 64 5f 65 71 75 61  hat pthread_equa
2120: 6c 28 29 0a 20 20 2a 2a 20 69 73 20 61 74 6f 6d  l().  ** is atom
2130: 69 63 20 2d 20 74 68 61 74 20 69 74 20 63 61 6e  ic - that it can
2140: 6e 6f 74 20 62 65 20 64 65 63 65 69 76 65 64 20  not be deceived 
2150: 69 6e 74 6f 20 74 68 69 6e 6b 69 6e 67 20 73 65  into thinking se
2160: 6c 66 0a 20 20 2a 2a 20 61 6e 64 20 70 2d 3e 6f  lf.  ** and p->o
2170: 77 6e 65 72 20 61 72 65 20 65 71 75 61 6c 20 69  wner are equal i
2180: 66 20 70 2d 3e 6f 77 6e 65 72 20 63 68 61 6e 67  f p->owner chang
2190: 65 73 20 62 65 74 77 65 65 6e 20 74 77 6f 20 76  es between two v
21a0: 61 6c 75 65 73 0a 20 20 2a 2a 20 74 68 61 74 20  alues.  ** that 
21b0: 61 72 65 20 6e 6f 74 20 65 71 75 61 6c 20 74 6f  are not equal to
21c0: 20 73 65 6c 66 20 77 68 69 6c 65 20 74 68 65 20   self while the 
21d0: 63 6f 6d 70 61 72 69 73 6f 6e 20 69 73 20 74 61  comparison is ta
21e0: 6b 69 6e 67 20 70 6c 61 63 65 2e 0a 20 20 2a 2a  king place..  **
21f0: 20 54 68 69 73 20 69 6d 70 6c 65 6d 65 6e 74 61   This implementa
2200: 74 69 6f 6e 20 61 6c 73 6f 20 61 73 73 75 6d 65  tion also assume
2210: 73 20 61 20 63 6f 68 65 72 65 6e 74 20 63 61 63  s a coherent cac
2220: 68 65 20 2d 20 74 68 61 74 20 0a 20 20 2a 2a 20  he - that .  ** 
2230: 73 65 70 61 72 61 74 65 20 70 72 6f 63 65 73 73  separate process
2240: 65 73 20 63 61 6e 6e 6f 74 20 72 65 61 64 20 64  es cannot read d
2250: 69 66 66 65 72 65 6e 74 20 76 61 6c 75 65 73 20  ifferent values 
2260: 66 72 6f 6d 20 74 68 65 20 73 61 6d 65 0a 20 20  from the same.  
2270: 2a 2a 20 61 64 64 72 65 73 73 20 61 74 20 74 68  ** address at th
2280: 65 20 73 61 6d 65 20 74 69 6d 65 2e 20 20 49 66  e same time.  If
2290: 20 65 69 74 68 65 72 20 6f 66 20 74 68 65 73 65   either of these
22a0: 20 74 77 6f 20 63 6f 6e 64 69 74 69 6f 6e 73 0a   two conditions.
22b0: 20 20 2a 2a 20 61 72 65 20 6e 6f 74 20 6d 65 74    ** are not met
22c0: 2c 20 74 68 65 6e 20 74 68 65 20 6d 75 74 65 78  , then the mutex
22d0: 65 73 20 77 69 6c 6c 20 66 61 69 6c 20 61 6e 64  es will fail and
22e0: 20 70 72 6f 62 6c 65 6d 73 20 77 69 6c 6c 20 72   problems will r
22f0: 65 73 75 6c 74 2e 0a 20 20 2a 2f 0a 20 20 7b 0a  esult..  */.  {.
2300: 20 20 20 20 70 74 68 72 65 61 64 5f 74 20 73 65      pthread_t se
2310: 6c 66 20 3d 20 70 74 68 72 65 61 64 5f 73 65 6c  lf = pthread_sel
2320: 66 28 29 3b 0a 20 20 20 20 69 66 28 20 70 2d 3e  f();.    if( p->
2330: 6e 52 65 66 3e 30 20 26 26 20 70 74 68 72 65 61  nRef>0 && pthrea
2340: 64 5f 65 71 75 61 6c 28 70 2d 3e 6f 77 6e 65 72  d_equal(p->owner
2350: 2c 20 73 65 6c 66 29 20 29 7b 0a 20 20 20 20 20  , self) ){.     
2360: 20 70 2d 3e 6e 52 65 66 2b 2b 3b 0a 20 20 20 20   p->nRef++;.    
2370: 20 20 72 63 20 3d 20 53 51 4c 49 54 45 5f 4f 4b    rc = SQLITE_OK
2380: 3b 0a 20 20 20 20 7d 65 6c 73 65 20 69 66 28 20  ;.    }else if( 
2390: 70 74 68 72 65 61 64 5f 6d 75 74 65 78 5f 6c 6f  pthread_mutex_lo
23a0: 63 6b 28 26 70 2d 3e 6d 75 74 65 78 29 3d 3d 30  ck(&p->mutex)==0
23b0: 20 29 7b 0a 20 20 20 20 20 20 61 73 73 65 72 74   ){.      assert
23c0: 28 20 70 2d 3e 6e 52 65 66 3d 3d 30 20 29 3b 0a  ( p->nRef==0 );.
23d0: 20 20 20 20 20 20 70 2d 3e 6f 77 6e 65 72 20 3d        p->owner =
23e0: 20 73 65 6c 66 3b 0a 20 20 20 20 20 20 70 2d 3e   self;.      p->
23f0: 6e 52 65 66 20 3d 20 31 3b 0a 20 20 20 20 20 20  nRef = 1;.      
2400: 72 63 20 3d 20 53 51 4c 49 54 45 5f 4f 4b 3b 0a  rc = SQLITE_OK;.
2410: 20 20 20 20 7d 65 6c 73 65 7b 0a 20 20 20 20 20      }else{.     
2420: 20 72 63 20 3d 20 53 51 4c 49 54 45 5f 42 55 53   rc = SQLITE_BUS
2430: 59 3b 0a 20 20 20 20 7d 0a 20 20 7d 0a 23 65 6c  Y;.    }.  }.#el
2440: 73 65 0a 20 20 2f 2a 20 55 73 65 20 74 68 65 20  se.  /* Use the 
2450: 62 75 69 6c 74 2d 69 6e 20 72 65 63 75 72 73 69  built-in recursi
2460: 76 65 20 6d 75 74 65 78 65 73 20 69 66 20 74 68  ve mutexes if th
2470: 65 79 20 61 72 65 20 61 76 61 69 6c 61 62 6c 65  ey are available
2480: 2e 0a 20 20 2a 2f 0a 20 20 69 66 28 20 70 74 68  ..  */.  if( pth
2490: 72 65 61 64 5f 6d 75 74 65 78 5f 74 72 79 6c 6f  read_mutex_trylo
24a0: 63 6b 28 26 70 2d 3e 6d 75 74 65 78 29 3d 3d 30  ck(&p->mutex)==0
24b0: 20 29 7b 0a 20 20 20 20 70 2d 3e 6f 77 6e 65 72   ){.    p->owner
24c0: 20 3d 20 70 74 68 72 65 61 64 5f 73 65 6c 66 28   = pthread_self(
24d0: 29 3b 0a 20 20 20 20 70 2d 3e 6e 52 65 66 2b 2b  );.    p->nRef++
24e0: 3b 0a 20 20 20 20 72 63 20 3d 20 53 51 4c 49 54  ;.    rc = SQLIT
24f0: 45 5f 4f 4b 3b 0a 20 20 7d 65 6c 73 65 7b 0a 20  E_OK;.  }else{. 
2500: 20 20 20 72 63 20 3d 20 53 51 4c 49 54 45 5f 42     rc = SQLITE_B
2510: 55 53 59 3b 0a 20 20 7d 0a 23 65 6e 64 69 66 0a  USY;.  }.#endif.
2520: 0a 23 69 66 64 65 66 20 53 51 4c 49 54 45 5f 44  .#ifdef SQLITE_D
2530: 45 42 55 47 0a 20 20 69 66 28 20 72 63 3d 3d 53  EBUG.  if( rc==S
2540: 51 4c 49 54 45 5f 4f 4b 20 26 26 20 70 2d 3e 74  QLITE_OK && p->t
2550: 72 61 63 65 20 29 7b 0a 20 20 20 20 70 72 69 6e  race ){.    prin
2560: 74 66 28 22 65 6e 74 65 72 20 6d 75 74 65 78 20  tf("enter mutex 
2570: 25 70 20 28 25 64 29 20 77 69 74 68 20 6e 52 65  %p (%d) with nRe
2580: 66 3d 25 64 5c 6e 22 2c 20 70 2c 20 70 2d 3e 74  f=%d\n", p, p->t
2590: 72 61 63 65 2c 20 70 2d 3e 6e 52 65 66 29 3b 0a  race, p->nRef);.
25a0: 20 20 7d 0a 23 65 6e 64 69 66 0a 20 20 72 65 74    }.#endif.  ret
25b0: 75 72 6e 20 72 63 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a  urn rc;.}../*.**
25c0: 20 54 68 65 20 73 71 6c 69 74 65 33 5f 6d 75 74   The sqlite3_mut
25d0: 65 78 5f 6c 65 61 76 65 28 29 20 72 6f 75 74 69  ex_leave() routi
25e0: 6e 65 20 65 78 69 74 73 20 61 20 6d 75 74 65 78  ne exits a mutex
25f0: 20 74 68 61 74 20 77 61 73 0a 2a 2a 20 70 72 65   that was.** pre
2600: 76 69 6f 75 73 6c 79 20 65 6e 74 65 72 65 64 20  viously entered 
2610: 62 79 20 74 68 65 20 73 61 6d 65 20 74 68 72 65  by the same thre
2620: 61 64 2e 20 20 54 68 65 20 62 65 68 61 76 69 6f  ad.  The behavio
2630: 72 0a 2a 2a 20 69 73 20 75 6e 64 65 66 69 6e 65  r.** is undefine
2640: 64 20 69 66 20 74 68 65 20 6d 75 74 65 78 20 69  d if the mutex i
2650: 73 20 6e 6f 74 20 63 75 72 72 65 6e 74 6c 79 20  s not currently 
2660: 65 6e 74 65 72 65 64 20 6f 72 0a 2a 2a 20 69 73  entered or.** is
2670: 20 6e 6f 74 20 63 75 72 72 65 6e 74 6c 79 20 61   not currently a
2680: 6c 6c 6f 63 61 74 65 64 2e 20 20 53 51 4c 69 74  llocated.  SQLit
2690: 65 20 77 69 6c 6c 20 6e 65 76 65 72 20 64 6f 20  e will never do 
26a0: 65 69 74 68 65 72 2e 0a 2a 2f 0a 73 74 61 74 69  either..*/.stati
26b0: 63 20 76 6f 69 64 20 70 74 68 72 65 61 64 4d 75  c void pthreadMu
26c0: 74 65 78 4c 65 61 76 65 28 73 71 6c 69 74 65 33  texLeave(sqlite3
26d0: 5f 6d 75 74 65 78 20 2a 70 29 7b 0a 20 20 61 73  _mutex *p){.  as
26e0: 73 65 72 74 28 20 73 71 6c 69 74 65 33 5f 6d 75  sert( sqlite3_mu
26f0: 74 65 78 5f 68 65 6c 64 28 70 29 20 29 3b 0a 20  tex_held(p) );. 
2700: 20 70 2d 3e 6e 52 65 66 2d 2d 3b 0a 20 20 61 73   p->nRef--;.  as
2710: 73 65 72 74 28 20 70 2d 3e 6e 52 65 66 3d 3d 30  sert( p->nRef==0
2720: 20 7c 7c 20 70 2d 3e 69 64 3d 3d 53 51 4c 49 54   || p->id==SQLIT
2730: 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56  E_MUTEX_RECURSIV
2740: 45 20 29 3b 0a 0a 23 69 66 64 65 66 20 53 51 4c  E );..#ifdef SQL
2750: 49 54 45 5f 48 4f 4d 45 47 52 4f 57 4e 5f 52 45  ITE_HOMEGROWN_RE
2760: 43 55 52 53 49 56 45 5f 4d 55 54 45 58 0a 20 20  CURSIVE_MUTEX.  
2770: 69 66 28 20 70 2d 3e 6e 52 65 66 3d 3d 30 20 29  if( p->nRef==0 )
2780: 7b 0a 20 20 20 20 70 74 68 72 65 61 64 5f 6d 75  {.    pthread_mu
2790: 74 65 78 5f 75 6e 6c 6f 63 6b 28 26 70 2d 3e 6d  tex_unlock(&p->m
27a0: 75 74 65 78 29 3b 0a 20 20 7d 0a 23 65 6c 73 65  utex);.  }.#else
27b0: 0a 20 20 70 74 68 72 65 61 64 5f 6d 75 74 65 78  .  pthread_mutex
27c0: 5f 75 6e 6c 6f 63 6b 28 26 70 2d 3e 6d 75 74 65  _unlock(&p->mute
27d0: 78 29 3b 0a 23 65 6e 64 69 66 0a 0a 23 69 66 64  x);.#endif..#ifd
27e0: 65 66 20 53 51 4c 49 54 45 5f 44 45 42 55 47 0a  ef SQLITE_DEBUG.
27f0: 20 20 69 66 28 20 70 2d 3e 74 72 61 63 65 20 29    if( p->trace )
2800: 7b 0a 20 20 20 20 70 72 69 6e 74 66 28 22 6c 65  {.    printf("le
2810: 61 76 65 20 6d 75 74 65 78 20 25 70 20 28 25 64  ave mutex %p (%d
2820: 29 20 77 69 74 68 20 6e 52 65 66 3d 25 64 5c 6e  ) with nRef=%d\n
2830: 22 2c 20 70 2c 20 70 2d 3e 74 72 61 63 65 2c 20  ", p, p->trace, 
2840: 70 2d 3e 6e 52 65 66 29 3b 0a 20 20 7d 0a 23 65  p->nRef);.  }.#e
2850: 6e 64 69 66 0a 7d 0a 0a 73 71 6c 69 74 65 33 5f  ndif.}..sqlite3_
2860: 6d 75 74 65 78 5f 6d 65 74 68 6f 64 73 20 2a 73  mutex_methods *s
2870: 71 6c 69 74 65 33 44 65 66 61 75 6c 74 4d 75 74  qlite3DefaultMut
2880: 65 78 28 76 6f 69 64 29 7b 0a 20 20 73 74 61 74  ex(void){.  stat
2890: 69 63 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  ic sqlite3_mutex
28a0: 5f 6d 65 74 68 6f 64 73 20 73 4d 75 74 65 78 20  _methods sMutex 
28b0: 3d 20 7b 0a 20 20 20 20 70 74 68 72 65 61 64 4d  = {.    pthreadM
28c0: 75 74 65 78 49 6e 69 74 2c 0a 20 20 20 20 70 74  utexInit,.    pt
28d0: 68 72 65 61 64 4d 75 74 65 78 41 6c 6c 6f 63 2c  hreadMutexAlloc,
28e0: 0a 20 20 20 20 70 74 68 72 65 61 64 4d 75 74 65  .    pthreadMute
28f0: 78 46 72 65 65 2c 0a 20 20 20 20 70 74 68 72 65  xFree,.    pthre
2900: 61 64 4d 75 74 65 78 45 6e 74 65 72 2c 0a 20 20  adMutexEnter,.  
2910: 20 20 70 74 68 72 65 61 64 4d 75 74 65 78 54 72    pthreadMutexTr
2920: 79 2c 0a 20 20 20 20 70 74 68 72 65 61 64 4d 75  y,.    pthreadMu
2930: 74 65 78 4c 65 61 76 65 2c 0a 20 20 20 20 70 74  texLeave,.    pt
2940: 68 72 65 61 64 4d 75 74 65 78 45 6e 64 2c 0a 0a  hreadMutexEnd,..
2950: 20 20 20 20 70 74 68 72 65 61 64 4d 75 74 65 78      pthreadMutex
2960: 48 65 6c 64 2c 0a 20 20 20 20 70 74 68 72 65 61  Held,.    pthrea
2970: 64 4d 75 74 65 78 4e 6f 74 68 65 6c 64 0a 20 20  dMutexNotheld.  
2980: 7d 3b 0a 0a 20 20 72 65 74 75 72 6e 20 26 73 4d  };..  return &sM
2990: 75 74 65 78 3b 0a 7d 0a 0a 23 65 6e 64 69 66 20  utex;.}..#endif 
29a0: 2f 2a 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f  /* SQLITE_MUTEX_
29b0: 50 54 48 52 45 41 44 20 2a 2f 0a                 PTHREAD */.