/ Hex Artifact Content
Login

Artifact 543aab0a578f09ad15e2b743789e4cfe8ab04cf5:


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 2f   for pthreads.*/
01c0: 0a 23 69 6e 63 6c 75 64 65 20 22 73 71 6c 69 74  .#include "sqlit
01d0: 65 49 6e 74 2e 68 22 0a 0a 2f 2a 0a 2a 2a 20 54  eInt.h"../*.** T
01e0: 68 65 20 63 6f 64 65 20 69 6e 20 74 68 69 73 20  he code in this 
01f0: 66 69 6c 65 20 69 73 20 6f 6e 6c 79 20 75 73 65  file is only use
0200: 64 20 69 66 20 77 65 20 61 72 65 20 63 6f 6d 70  d if we are comp
0210: 69 6c 69 6e 67 20 74 68 72 65 61 64 73 61 66 65  iling threadsafe
0220: 0a 2a 2a 20 75 6e 64 65 72 20 75 6e 69 78 20 77  .** under unix w
0230: 69 74 68 20 70 74 68 72 65 61 64 73 2e 0a 2a 2a  ith pthreads..**
0240: 0a 2a 2a 20 4e 6f 74 65 20 74 68 61 74 20 74 68  .** Note that th
0250: 69 73 20 69 6d 70 6c 65 6d 65 6e 74 61 74 69 6f  is implementatio
0260: 6e 20 72 65 71 75 69 72 65 73 20 61 20 76 65 72  n requires a ver
0270: 73 69 6f 6e 20 6f 66 20 70 74 68 72 65 61 64 73  sion of pthreads
0280: 20 74 68 61 74 0a 2a 2a 20 73 75 70 70 6f 72 74   that.** support
0290: 73 20 72 65 63 75 72 73 69 76 65 20 6d 75 74 65  s recursive mute
02a0: 78 65 73 2e 0a 2a 2f 0a 23 69 66 64 65 66 20 53  xes..*/.#ifdef S
02b0: 51 4c 49 54 45 5f 4d 55 54 45 58 5f 50 54 48 52  QLITE_MUTEX_PTHR
02c0: 45 41 44 53 0a 0a 23 69 6e 63 6c 75 64 65 20 3c  EADS..#include <
02d0: 70 74 68 72 65 61 64 2e 68 3e 0a 0a 2f 2a 0a 2a  pthread.h>../*.*
02e0: 2a 20 54 68 65 20 73 71 6c 69 74 65 33 5f 6d 75  * The sqlite3_mu
02f0: 74 65 78 2e 69 64 2c 20 73 71 6c 69 74 65 33 5f  tex.id, sqlite3_
0300: 6d 75 74 65 78 2e 6e 52 65 66 2c 20 61 6e 64 20  mutex.nRef, and 
0310: 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 2e 6f 77  sqlite3_mutex.ow
0320: 6e 65 72 20 66 69 65 6c 64 73 0a 2a 2a 20 61 72  ner fields.** ar
0330: 65 20 6e 65 63 65 73 73 61 72 79 20 75 6e 64 65  e necessary unde
0340: 72 20 74 77 6f 20 63 6f 6e 64 69 64 74 69 6f 6e  r two condidtion
0350: 73 3a 20 20 28 31 29 20 44 65 62 75 67 20 62 75  s:  (1) Debug bu
0360: 69 6c 64 73 20 61 6e 64 20 28 32 29 20 75 73 69  ilds and (2) usi
0370: 6e 67 0a 2a 2a 20 68 6f 6d 65 2d 67 72 6f 77 6e  ng.** home-grown
0380: 20 6d 75 74 65 78 65 73 2e 20 20 45 6e 63 61 70   mutexes.  Encap
0390: 73 75 6c 61 74 65 20 74 68 65 73 65 20 63 6f 6e  sulate these con
03a0: 64 69 74 69 6f 6e 73 20 69 6e 74 6f 20 61 20 73  ditions into a s
03b0: 69 6e 67 6c 65 20 23 64 65 66 69 6e 65 2e 0a 2a  ingle #define..*
03c0: 2f 0a 23 69 66 20 64 65 66 69 6e 65 64 28 53 51  /.#if defined(SQ
03d0: 4c 49 54 45 5f 44 45 42 55 47 29 20 7c 7c 20 64  LITE_DEBUG) || d
03e0: 65 66 69 6e 65 64 28 53 51 4c 49 54 45 5f 48 4f  efined(SQLITE_HO
03f0: 4d 45 47 52 4f 57 4e 5f 52 45 43 55 52 53 49 56  MEGROWN_RECURSIV
0400: 45 5f 4d 55 54 45 58 29 0a 23 20 64 65 66 69 6e  E_MUTEX).# defin
0410: 65 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 4e  e SQLITE_MUTEX_N
0420: 52 45 46 20 31 0a 23 65 6c 73 65 0a 23 20 64 65  REF 1.#else.# de
0430: 66 69 6e 65 20 53 51 4c 49 54 45 5f 4d 55 54 45  fine SQLITE_MUTE
0440: 58 5f 4e 52 45 46 20 30 0a 23 65 6e 64 69 66 0a  X_NREF 0.#endif.
0450: 0a 2f 2a 0a 2a 2a 20 45 61 63 68 20 72 65 63 75  ./*.** Each recu
0460: 72 73 69 76 65 20 6d 75 74 65 78 20 69 73 20 61  rsive mutex is a
0470: 6e 20 69 6e 73 74 61 6e 63 65 20 6f 66 20 74 68  n instance of th
0480: 65 20 66 6f 6c 6c 6f 77 69 6e 67 20 73 74 72 75  e following stru
0490: 63 74 75 72 65 2e 0a 2a 2f 0a 73 74 72 75 63 74  cture..*/.struct
04a0: 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 7b   sqlite3_mutex {
04b0: 0a 20 20 70 74 68 72 65 61 64 5f 6d 75 74 65 78  .  pthread_mutex
04c0: 5f 74 20 6d 75 74 65 78 3b 20 20 20 20 20 2f 2a  _t mutex;     /*
04d0: 20 4d 75 74 65 78 20 63 6f 6e 74 72 6f 6c 6c 69   Mutex controlli
04e0: 6e 67 20 74 68 65 20 6c 6f 63 6b 20 2a 2f 0a 23  ng the lock */.#
04f0: 69 66 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f  if SQLITE_MUTEX_
0500: 4e 52 45 46 0a 20 20 69 6e 74 20 69 64 3b 20 20  NREF.  int id;  
0510: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0520: 20 20 2f 2a 20 4d 75 74 65 78 20 74 79 70 65 20    /* Mutex type 
0530: 2a 2f 0a 20 20 76 6f 6c 61 74 69 6c 65 20 69 6e  */.  volatile in
0540: 74 20 6e 52 65 66 3b 20 20 20 20 20 20 20 20 20  t nRef;         
0550: 2f 2a 20 4e 75 6d 62 65 72 20 6f 66 20 65 6e 74  /* Number of ent
0560: 72 61 6e 63 65 73 20 2a 2f 0a 20 20 76 6f 6c 61  rances */.  vola
0570: 74 69 6c 65 20 70 74 68 72 65 61 64 5f 74 20 6f  tile pthread_t o
0580: 77 6e 65 72 3b 20 20 2f 2a 20 54 68 72 65 61 64  wner;  /* Thread
0590: 20 74 68 61 74 20 69 73 20 77 69 74 68 69 6e 20   that is within 
05a0: 74 68 69 73 20 6d 75 74 65 78 20 2a 2f 0a 20 20  this mutex */.  
05b0: 69 6e 74 20 74 72 61 63 65 3b 20 20 20 20 20 20  int trace;      
05c0: 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20 54 72             /* Tr
05d0: 75 65 20 74 6f 20 74 72 61 63 65 20 63 68 61 6e  ue to trace chan
05e0: 67 65 73 20 2a 2f 0a 23 65 6e 64 69 66 0a 7d 3b  ges */.#endif.};
05f0: 0a 23 69 66 20 53 51 4c 49 54 45 5f 4d 55 54 45  .#if SQLITE_MUTE
0600: 58 5f 4e 52 45 46 0a 23 64 65 66 69 6e 65 20 53  X_NREF.#define S
0610: 51 4c 49 54 45 33 5f 4d 55 54 45 58 5f 49 4e 49  QLITE3_MUTEX_INI
0620: 54 49 41 4c 49 5a 45 52 20 7b 20 50 54 48 52 45  TIALIZER { PTHRE
0630: 41 44 5f 4d 55 54 45 58 5f 49 4e 49 54 49 41 4c  AD_MUTEX_INITIAL
0640: 49 5a 45 52 2c 20 30 2c 20 30 2c 20 28 70 74 68  IZER, 0, 0, (pth
0650: 72 65 61 64 5f 74 29 30 2c 20 30 20 7d 0a 23 65  read_t)0, 0 }.#e
0660: 6c 73 65 0a 23 64 65 66 69 6e 65 20 53 51 4c 49  lse.#define SQLI
0670: 54 45 33 5f 4d 55 54 45 58 5f 49 4e 49 54 49 41  TE3_MUTEX_INITIA
0680: 4c 49 5a 45 52 20 7b 20 50 54 48 52 45 41 44 5f  LIZER { PTHREAD_
0690: 4d 55 54 45 58 5f 49 4e 49 54 49 41 4c 49 5a 45  MUTEX_INITIALIZE
06a0: 52 20 7d 0a 23 65 6e 64 69 66 0a 0a 2f 2a 0a 2a  R }.#endif../*.*
06b0: 2a 20 54 68 65 20 73 71 6c 69 74 65 33 5f 6d 75  * The sqlite3_mu
06c0: 74 65 78 5f 68 65 6c 64 28 29 20 61 6e 64 20 73  tex_held() and s
06d0: 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 6e 6f 74  qlite3_mutex_not
06e0: 68 65 6c 64 28 29 20 72 6f 75 74 69 6e 65 20 61  held() routine a
06f0: 72 65 0a 2a 2a 20 69 6e 74 65 6e 64 65 64 20 66  re.** intended f
0700: 6f 72 20 75 73 65 20 6f 6e 6c 79 20 69 6e 73 69  or use only insi
0710: 64 65 20 61 73 73 65 72 74 28 29 20 73 74 61 74  de assert() stat
0720: 65 6d 65 6e 74 73 2e 20 20 4f 6e 20 73 6f 6d 65  ements.  On some
0730: 20 70 6c 61 74 66 6f 72 6d 73 2c 0a 2a 2a 20 74   platforms,.** t
0740: 68 65 72 65 20 6d 69 67 68 74 20 62 65 20 72 61  here might be ra
0750: 63 65 20 63 6f 6e 64 69 74 69 6f 6e 73 20 74 68  ce conditions th
0760: 61 74 20 63 61 6e 20 63 61 75 73 65 20 74 68 65  at can cause the
0770: 73 65 20 72 6f 75 74 69 6e 65 73 20 74 6f 0a 2a  se routines to.*
0780: 2a 20 64 65 6c 69 76 65 72 20 69 6e 63 6f 72 72  * deliver incorr
0790: 65 63 74 20 72 65 73 75 6c 74 73 2e 20 20 49 6e  ect results.  In
07a0: 20 70 61 72 74 69 63 75 6c 61 72 2c 20 69 66 20   particular, if 
07b0: 70 74 68 72 65 61 64 5f 65 71 75 61 6c 28 29 20  pthread_equal() 
07c0: 69 73 0a 2a 2a 20 6e 6f 74 20 61 6e 20 61 74 6f  is.** not an ato
07d0: 6d 69 63 20 6f 70 65 72 61 74 69 6f 6e 2c 20 74  mic operation, t
07e0: 68 65 6e 20 74 68 65 73 65 20 72 6f 75 74 69 6e  hen these routin
07f0: 65 73 20 6d 69 67 68 74 20 64 65 6c 69 76 65 72  es might deliver
0800: 79 0a 2a 2a 20 69 6e 63 6f 72 72 65 63 74 20 72  y.** incorrect r
0810: 65 73 75 6c 74 73 2e 20 20 4f 6e 20 6d 6f 73 74  esults.  On most
0820: 20 70 6c 61 74 66 6f 72 6d 73 2c 20 70 74 68 72   platforms, pthr
0830: 65 61 64 5f 65 71 75 61 6c 28 29 20 69 73 20 61  ead_equal() is a
0840: 20 0a 2a 2a 20 63 6f 6d 70 61 72 69 73 6f 6e 20   .** comparison 
0850: 6f 66 20 74 77 6f 20 69 6e 74 65 67 65 72 73 20  of two integers 
0860: 61 6e 64 20 69 73 20 74 68 65 72 65 66 6f 72 65  and is therefore
0870: 20 61 74 6f 6d 69 63 2e 20 20 42 75 74 20 77 65   atomic.  But we
0880: 20 61 72 65 0a 2a 2a 20 74 6f 6c 64 20 74 68 61   are.** told tha
0890: 74 20 48 50 55 58 20 69 73 20 6e 6f 74 20 73 75  t HPUX is not su
08a0: 63 68 20 61 20 70 6c 61 74 66 6f 72 6d 2e 20 20  ch a platform.  
08b0: 49 66 20 73 6f 2c 20 74 68 65 6e 20 74 68 65 73  If so, then thes
08c0: 65 20 72 6f 75 74 69 6e 65 73 0a 2a 2a 20 77 69  e routines.** wi
08d0: 6c 6c 20 6e 6f 74 20 61 6c 77 61 79 73 20 77 6f  ll not always wo
08e0: 72 6b 20 63 6f 72 72 65 63 74 6c 79 20 6f 6e 20  rk correctly on 
08f0: 48 50 55 58 2e 0a 2a 2a 0a 2a 2a 20 4f 6e 20 74  HPUX..**.** On t
0900: 68 6f 73 65 20 70 6c 61 74 66 6f 72 6d 73 20 77  hose platforms w
0910: 68 65 72 65 20 70 74 68 72 65 61 64 5f 65 71 75  here pthread_equ
0920: 61 6c 28 29 20 69 73 20 6e 6f 74 20 61 74 6f 6d  al() is not atom
0930: 69 63 2c 20 53 51 4c 69 74 65 0a 2a 2a 20 73 68  ic, SQLite.** sh
0940: 6f 75 6c 64 20 62 65 20 63 6f 6d 70 69 6c 65 64  ould be compiled
0950: 20 77 69 74 68 6f 75 74 20 2d 44 53 51 4c 49 54   without -DSQLIT
0960: 45 5f 44 45 42 55 47 20 61 6e 64 20 77 69 74 68  E_DEBUG and with
0970: 20 2d 44 4e 44 45 42 55 47 20 74 6f 0a 2a 2a 20   -DNDEBUG to.** 
0980: 6d 61 6b 65 20 73 75 72 65 20 6e 6f 20 61 73 73  make sure no ass
0990: 65 72 74 28 29 20 73 74 61 74 65 6d 65 6e 74 73  ert() statements
09a0: 20 61 72 65 20 65 76 61 6c 75 61 74 65 64 20 61   are evaluated a
09b0: 6e 64 20 68 65 6e 63 65 20 74 68 65 73 65 0a 2a  nd hence these.*
09c0: 2a 20 72 6f 75 74 69 6e 65 73 20 61 72 65 20 6e  * routines are n
09d0: 65 76 65 72 20 63 61 6c 6c 65 64 2e 0a 2a 2f 0a  ever called..*/.
09e0: 23 69 66 20 21 64 65 66 69 6e 65 64 28 4e 44 45  #if !defined(NDE
09f0: 42 55 47 29 20 7c 7c 20 64 65 66 69 6e 65 64 28  BUG) || defined(
0a00: 53 51 4c 49 54 45 5f 44 45 42 55 47 29 0a 73 74  SQLITE_DEBUG).st
0a10: 61 74 69 63 20 69 6e 74 20 70 74 68 72 65 61 64  atic int pthread
0a20: 4d 75 74 65 78 48 65 6c 64 28 73 71 6c 69 74 65  MutexHeld(sqlite
0a30: 33 5f 6d 75 74 65 78 20 2a 70 29 7b 0a 20 20 72  3_mutex *p){.  r
0a40: 65 74 75 72 6e 20 28 70 2d 3e 6e 52 65 66 21 3d  eturn (p->nRef!=
0a50: 30 20 26 26 20 70 74 68 72 65 61 64 5f 65 71 75  0 && pthread_equ
0a60: 61 6c 28 70 2d 3e 6f 77 6e 65 72 2c 20 70 74 68  al(p->owner, pth
0a70: 72 65 61 64 5f 73 65 6c 66 28 29 29 29 3b 0a 7d  read_self()));.}
0a80: 0a 73 74 61 74 69 63 20 69 6e 74 20 70 74 68 72  .static int pthr
0a90: 65 61 64 4d 75 74 65 78 4e 6f 74 68 65 6c 64 28  eadMutexNotheld(
0aa0: 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a 70  sqlite3_mutex *p
0ab0: 29 7b 0a 20 20 72 65 74 75 72 6e 20 70 2d 3e 6e  ){.  return p->n
0ac0: 52 65 66 3d 3d 30 20 7c 7c 20 70 74 68 72 65 61  Ref==0 || pthrea
0ad0: 64 5f 65 71 75 61 6c 28 70 2d 3e 6f 77 6e 65 72  d_equal(p->owner
0ae0: 2c 20 70 74 68 72 65 61 64 5f 73 65 6c 66 28 29  , pthread_self()
0af0: 29 3d 3d 30 3b 0a 7d 0a 23 65 6e 64 69 66 0a 0a  )==0;.}.#endif..
0b00: 2f 2a 0a 2a 2a 20 49 6e 69 74 69 61 6c 69 7a 65  /*.** Initialize
0b10: 20 61 6e 64 20 64 65 69 6e 69 74 69 61 6c 69 7a   and deinitializ
0b20: 65 20 74 68 65 20 6d 75 74 65 78 20 73 75 62 73  e the mutex subs
0b30: 79 73 74 65 6d 2e 0a 2a 2f 0a 73 74 61 74 69 63  ystem..*/.static
0b40: 20 69 6e 74 20 70 74 68 72 65 61 64 4d 75 74 65   int pthreadMute
0b50: 78 49 6e 69 74 28 76 6f 69 64 29 7b 20 72 65 74  xInit(void){ ret
0b60: 75 72 6e 20 53 51 4c 49 54 45 5f 4f 4b 3b 20 7d  urn SQLITE_OK; }
0b70: 0a 73 74 61 74 69 63 20 69 6e 74 20 70 74 68 72  .static int pthr
0b80: 65 61 64 4d 75 74 65 78 45 6e 64 28 76 6f 69 64  eadMutexEnd(void
0b90: 29 7b 20 72 65 74 75 72 6e 20 53 51 4c 49 54 45  ){ return SQLITE
0ba0: 5f 4f 4b 3b 20 7d 0a 0a 2f 2a 0a 2a 2a 20 54 68  _OK; }../*.** Th
0bb0: 65 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f  e sqlite3_mutex_
0bc0: 61 6c 6c 6f 63 28 29 20 72 6f 75 74 69 6e 65 20  alloc() routine 
0bd0: 61 6c 6c 6f 63 61 74 65 73 20 61 20 6e 65 77 0a  allocates a new.
0be0: 2a 2a 20 6d 75 74 65 78 20 61 6e 64 20 72 65 74  ** mutex and ret
0bf0: 75 72 6e 73 20 61 20 70 6f 69 6e 74 65 72 20 74  urns a pointer t
0c00: 6f 20 69 74 2e 20 20 49 66 20 69 74 20 72 65 74  o it.  If it ret
0c10: 75 72 6e 73 20 4e 55 4c 4c 0a 2a 2a 20 74 68 61  urns NULL.** tha
0c20: 74 20 6d 65 61 6e 73 20 74 68 61 74 20 61 20 6d  t means that a m
0c30: 75 74 65 78 20 63 6f 75 6c 64 20 6e 6f 74 20 62  utex could not b
0c40: 65 20 61 6c 6c 6f 63 61 74 65 64 2e 20 20 53 51  e allocated.  SQ
0c50: 4c 69 74 65 0a 2a 2a 20 77 69 6c 6c 20 75 6e 77  Lite.** will unw
0c60: 69 6e 64 20 69 74 73 20 73 74 61 63 6b 20 61 6e  ind its stack an
0c70: 64 20 72 65 74 75 72 6e 20 61 6e 20 65 72 72 6f  d return an erro
0c80: 72 2e 20 20 54 68 65 20 61 72 67 75 6d 65 6e 74  r.  The argument
0c90: 0a 2a 2a 20 74 6f 20 73 71 6c 69 74 65 33 5f 6d  .** to sqlite3_m
0ca0: 75 74 65 78 5f 61 6c 6c 6f 63 28 29 20 69 73 20  utex_alloc() is 
0cb0: 6f 6e 65 20 6f 66 20 74 68 65 73 65 20 69 6e 74  one of these int
0cc0: 65 67 65 72 20 63 6f 6e 73 74 61 6e 74 73 3a 0a  eger constants:.
0cd0: 2a 2a 0a 2a 2a 20 3c 75 6c 3e 0a 2a 2a 20 3c 6c  **.** <ul>.** <l
0ce0: 69 3e 20 20 53 51 4c 49 54 45 5f 4d 55 54 45 58  i>  SQLITE_MUTEX
0cf0: 5f 46 41 53 54 0a 2a 2a 20 3c 6c 69 3e 20 20 53  _FAST.** <li>  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 3c 6c 69 3e 20 20 53  RSIVE.** <li>  S
0d20: 51 4c 49 54 45 5f 4d 55 54 45 58 5f 53 54 41 54  QLITE_MUTEX_STAT
0d30: 49 43 5f 4d 41 53 54 45 52 0a 2a 2a 20 3c 6c 69  IC_MASTER.** <li
0d40: 3e 20 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f  >  SQLITE_MUTEX_
0d50: 53 54 41 54 49 43 5f 4d 45 4d 0a 2a 2a 20 3c 6c  STATIC_MEM.** <l
0d60: 69 3e 20 20 53 51 4c 49 54 45 5f 4d 55 54 45 58  i>  SQLITE_MUTEX
0d70: 5f 53 54 41 54 49 43 5f 4f 50 45 4e 0a 2a 2a 20  _STATIC_OPEN.** 
0d80: 3c 6c 69 3e 20 20 53 51 4c 49 54 45 5f 4d 55 54  <li>  SQLITE_MUT
0d90: 45 58 5f 53 54 41 54 49 43 5f 50 52 4e 47 0a 2a  EX_STATIC_PRNG.*
0da0: 2a 20 3c 6c 69 3e 20 20 53 51 4c 49 54 45 5f 4d  * <li>  SQLITE_M
0db0: 55 54 45 58 5f 53 54 41 54 49 43 5f 4c 52 55 0a  UTEX_STATIC_LRU.
0dc0: 2a 2a 20 3c 6c 69 3e 20 20 53 51 4c 49 54 45 5f  ** <li>  SQLITE_
0dd0: 4d 55 54 45 58 5f 53 54 41 54 49 43 5f 50 4d 45  MUTEX_STATIC_PME
0de0: 4d 0a 2a 2a 20 3c 6c 69 3e 20 20 53 51 4c 49 54  M.** <li>  SQLIT
0df0: 45 5f 4d 55 54 45 58 5f 53 54 41 54 49 43 5f 41  E_MUTEX_STATIC_A
0e00: 50 50 31 0a 2a 2a 20 3c 6c 69 3e 20 20 53 51 4c  PP1.** <li>  SQL
0e10: 49 54 45 5f 4d 55 54 45 58 5f 53 54 41 54 49 43  ITE_MUTEX_STATIC
0e20: 5f 41 50 50 32 0a 2a 2a 20 3c 6c 69 3e 20 20 53  _APP2.** <li>  S
0e30: 51 4c 49 54 45 5f 4d 55 54 45 58 5f 53 54 41 54  QLITE_MUTEX_STAT
0e40: 49 43 5f 41 50 50 33 0a 2a 2a 20 3c 2f 75 6c 3e  IC_APP3.** </ul>
0e50: 0a 2a 2a 0a 2a 2a 20 54 68 65 20 66 69 72 73 74  .**.** The first
0e60: 20 74 77 6f 20 63 6f 6e 73 74 61 6e 74 73 20 63   two constants c
0e70: 61 75 73 65 20 73 71 6c 69 74 65 33 5f 6d 75 74  ause sqlite3_mut
0e80: 65 78 5f 61 6c 6c 6f 63 28 29 20 74 6f 20 63 72  ex_alloc() to cr
0e90: 65 61 74 65 0a 2a 2a 20 61 20 6e 65 77 20 6d 75  eate.** a new mu
0ea0: 74 65 78 2e 20 20 54 68 65 20 6e 65 77 20 6d 75  tex.  The new mu
0eb0: 74 65 78 20 69 73 20 72 65 63 75 72 73 69 76 65  tex is recursive
0ec0: 20 77 68 65 6e 20 53 51 4c 49 54 45 5f 4d 55 54   when SQLITE_MUT
0ed0: 45 58 5f 52 45 43 55 52 53 49 56 45 0a 2a 2a 20  EX_RECURSIVE.** 
0ee0: 69 73 20 75 73 65 64 20 62 75 74 20 6e 6f 74 20  is used but not 
0ef0: 6e 65 63 65 73 73 61 72 69 6c 79 20 73 6f 20 77  necessarily so w
0f00: 68 65 6e 20 53 51 4c 49 54 45 5f 4d 55 54 45 58  hen SQLITE_MUTEX
0f10: 5f 46 41 53 54 20 69 73 20 75 73 65 64 2e 0a 2a  _FAST is used..*
0f20: 2a 20 54 68 65 20 6d 75 74 65 78 20 69 6d 70 6c  * The mutex impl
0f30: 65 6d 65 6e 74 61 74 69 6f 6e 20 64 6f 65 73 20  ementation does 
0f40: 6e 6f 74 20 6e 65 65 64 20 74 6f 20 6d 61 6b 65  not need to make
0f50: 20 61 20 64 69 73 74 69 6e 63 74 69 6f 6e 0a 2a   a distinction.*
0f60: 2a 20 62 65 74 77 65 65 6e 20 53 51 4c 49 54 45  * between SQLITE
0f70: 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56 45  _MUTEX_RECURSIVE
0f80: 20 61 6e 64 20 53 51 4c 49 54 45 5f 4d 55 54 45   and SQLITE_MUTE
0f90: 58 5f 46 41 53 54 20 69 66 20 69 74 20 64 6f 65  X_FAST if it doe
0fa0: 73 0a 2a 2a 20 6e 6f 74 20 77 61 6e 74 20 74 6f  s.** not want to
0fb0: 2e 20 20 42 75 74 20 53 51 4c 69 74 65 20 77 69  .  But SQLite wi
0fc0: 6c 6c 20 6f 6e 6c 79 20 72 65 71 75 65 73 74 20  ll only request 
0fd0: 61 20 72 65 63 75 72 73 69 76 65 20 6d 75 74 65  a recursive mute
0fe0: 78 20 69 6e 0a 2a 2a 20 63 61 73 65 73 20 77 68  x in.** cases wh
0ff0: 65 72 65 20 69 74 20 72 65 61 6c 6c 79 20 6e 65  ere it really ne
1000: 65 64 73 20 6f 6e 65 2e 20 20 49 66 20 61 20 66  eds one.  If a f
1010: 61 73 74 65 72 20 6e 6f 6e 2d 72 65 63 75 72 73  aster non-recurs
1020: 69 76 65 20 6d 75 74 65 78 0a 2a 2a 20 69 6d 70  ive mutex.** imp
1030: 6c 65 6d 65 6e 74 61 74 69 6f 6e 20 69 73 20 61  lementation is a
1040: 76 61 69 6c 61 62 6c 65 20 6f 6e 20 74 68 65 20  vailable on the 
1050: 68 6f 73 74 20 70 6c 61 74 66 6f 72 6d 2c 20 74  host platform, t
1060: 68 65 20 6d 75 74 65 78 20 73 75 62 73 79 73 74  he mutex subsyst
1070: 65 6d 0a 2a 2a 20 6d 69 67 68 74 20 72 65 74 75  em.** might retu
1080: 72 6e 20 73 75 63 68 20 61 20 6d 75 74 65 78 20  rn such a mutex 
1090: 69 6e 20 72 65 73 70 6f 6e 73 65 20 74 6f 20 53  in response to S
10a0: 51 4c 49 54 45 5f 4d 55 54 45 58 5f 46 41 53 54  QLITE_MUTEX_FAST
10b0: 2e 0a 2a 2a 0a 2a 2a 20 54 68 65 20 6f 74 68 65  ..**.** The othe
10c0: 72 20 61 6c 6c 6f 77 65 64 20 70 61 72 61 6d 65  r allowed parame
10d0: 74 65 72 73 20 74 6f 20 73 71 6c 69 74 65 33 5f  ters to sqlite3_
10e0: 6d 75 74 65 78 5f 61 6c 6c 6f 63 28 29 20 65 61  mutex_alloc() ea
10f0: 63 68 20 72 65 74 75 72 6e 0a 2a 2a 20 61 20 70  ch return.** a p
1100: 6f 69 6e 74 65 72 20 74 6f 20 61 20 73 74 61 74  ointer to a stat
1110: 69 63 20 70 72 65 65 78 69 73 74 69 6e 67 20 6d  ic preexisting m
1120: 75 74 65 78 2e 20 20 53 69 78 20 73 74 61 74 69  utex.  Six stati
1130: 63 20 6d 75 74 65 78 65 73 20 61 72 65 0a 2a 2a  c mutexes are.**
1140: 20 75 73 65 64 20 62 79 20 74 68 65 20 63 75 72   used by the cur
1150: 72 65 6e 74 20 76 65 72 73 69 6f 6e 20 6f 66 20  rent version of 
1160: 53 51 4c 69 74 65 2e 20 20 46 75 74 75 72 65 20  SQLite.  Future 
1170: 76 65 72 73 69 6f 6e 73 20 6f 66 20 53 51 4c 69  versions of SQLi
1180: 74 65 0a 2a 2a 20 6d 61 79 20 61 64 64 20 61 64  te.** may add ad
1190: 64 69 74 69 6f 6e 61 6c 20 73 74 61 74 69 63 20  ditional static 
11a0: 6d 75 74 65 78 65 73 2e 20 20 53 74 61 74 69 63  mutexes.  Static
11b0: 20 6d 75 74 65 78 65 73 20 61 72 65 20 66 6f 72   mutexes are for
11c0: 20 69 6e 74 65 72 6e 61 6c 0a 2a 2a 20 75 73 65   internal.** use
11d0: 20 62 79 20 53 51 4c 69 74 65 20 6f 6e 6c 79 2e   by SQLite only.
11e0: 20 20 41 70 70 6c 69 63 61 74 69 6f 6e 73 20 74    Applications t
11f0: 68 61 74 20 75 73 65 20 53 51 4c 69 74 65 20 6d  hat use SQLite m
1200: 75 74 65 78 65 73 20 73 68 6f 75 6c 64 0a 2a 2a  utexes should.**
1210: 20 75 73 65 20 6f 6e 6c 79 20 74 68 65 20 64 79   use only the dy
1220: 6e 61 6d 69 63 20 6d 75 74 65 78 65 73 20 72 65  namic mutexes re
1230: 74 75 72 6e 65 64 20 62 79 20 53 51 4c 49 54 45  turned by SQLITE
1240: 5f 4d 55 54 45 58 5f 46 41 53 54 20 6f 72 0a 2a  _MUTEX_FAST or.*
1250: 2a 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 52  * SQLITE_MUTEX_R
1260: 45 43 55 52 53 49 56 45 2e 0a 2a 2a 0a 2a 2a 20  ECURSIVE..**.** 
1270: 4e 6f 74 65 20 74 68 61 74 20 69 66 20 6f 6e 65  Note that if one
1280: 20 6f 66 20 74 68 65 20 64 79 6e 61 6d 69 63 20   of the dynamic 
1290: 6d 75 74 65 78 20 70 61 72 61 6d 65 74 65 72 73  mutex parameters
12a0: 20 28 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 46   (SQLITE_MUTEX_F
12b0: 41 53 54 0a 2a 2a 20 6f 72 20 53 51 4c 49 54 45  AST.** or SQLITE
12c0: 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56 45  _MUTEX_RECURSIVE
12d0: 29 20 69 73 20 75 73 65 64 20 74 68 65 6e 20 73  ) is used then s
12e0: 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 61 6c 6c  qlite3_mutex_all
12f0: 6f 63 28 29 0a 2a 2a 20 72 65 74 75 72 6e 73 20  oc().** returns 
1300: 61 20 64 69 66 66 65 72 65 6e 74 20 6d 75 74 65  a different mute
1310: 78 20 6f 6e 20 65 76 65 72 79 20 63 61 6c 6c 2e  x on every call.
1320: 20 20 42 75 74 20 66 6f 72 20 74 68 65 20 73 74    But for the st
1330: 61 74 69 63 20 0a 2a 2a 20 6d 75 74 65 78 20 74  atic .** mutex t
1340: 79 70 65 73 2c 20 74 68 65 20 73 61 6d 65 20 6d  ypes, the same m
1350: 75 74 65 78 20 69 73 20 72 65 74 75 72 6e 65 64  utex is returned
1360: 20 6f 6e 20 65 76 65 72 79 20 63 61 6c 6c 20 74   on every call t
1370: 68 61 74 20 68 61 73 0a 2a 2a 20 74 68 65 20 73  hat has.** the s
1380: 61 6d 65 20 74 79 70 65 20 6e 75 6d 62 65 72 2e  ame type number.
1390: 0a 2a 2f 0a 73 74 61 74 69 63 20 73 71 6c 69 74  .*/.static sqlit
13a0: 65 33 5f 6d 75 74 65 78 20 2a 70 74 68 72 65 61  e3_mutex *pthrea
13b0: 64 4d 75 74 65 78 41 6c 6c 6f 63 28 69 6e 74 20  dMutexAlloc(int 
13c0: 69 54 79 70 65 29 7b 0a 20 20 73 74 61 74 69 63  iType){.  static
13d0: 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 73   sqlite3_mutex s
13e0: 74 61 74 69 63 4d 75 74 65 78 65 73 5b 5d 20 3d  taticMutexes[] =
13f0: 20 7b 0a 20 20 20 20 53 51 4c 49 54 45 33 5f 4d   {.    SQLITE3_M
1400: 55 54 45 58 5f 49 4e 49 54 49 41 4c 49 5a 45 52  UTEX_INITIALIZER
1410: 2c 0a 20 20 20 20 53 51 4c 49 54 45 33 5f 4d 55  ,.    SQLITE3_MU
1420: 54 45 58 5f 49 4e 49 54 49 41 4c 49 5a 45 52 2c  TEX_INITIALIZER,
1430: 0a 20 20 20 20 53 51 4c 49 54 45 33 5f 4d 55 54  .    SQLITE3_MUT
1440: 45 58 5f 49 4e 49 54 49 41 4c 49 5a 45 52 2c 0a  EX_INITIALIZER,.
1450: 20 20 20 20 53 51 4c 49 54 45 33 5f 4d 55 54 45      SQLITE3_MUTE
1460: 58 5f 49 4e 49 54 49 41 4c 49 5a 45 52 2c 0a 20  X_INITIALIZER,. 
1470: 20 20 20 53 51 4c 49 54 45 33 5f 4d 55 54 45 58     SQLITE3_MUTEX
1480: 5f 49 4e 49 54 49 41 4c 49 5a 45 52 2c 0a 20 20  _INITIALIZER,.  
1490: 20 20 53 51 4c 49 54 45 33 5f 4d 55 54 45 58 5f    SQLITE3_MUTEX_
14a0: 49 4e 49 54 49 41 4c 49 5a 45 52 2c 0a 20 20 20  INITIALIZER,.   
14b0: 20 53 51 4c 49 54 45 33 5f 4d 55 54 45 58 5f 49   SQLITE3_MUTEX_I
14c0: 4e 49 54 49 41 4c 49 5a 45 52 2c 0a 20 20 20 20  NITIALIZER,.    
14d0: 53 51 4c 49 54 45 33 5f 4d 55 54 45 58 5f 49 4e  SQLITE3_MUTEX_IN
14e0: 49 54 49 41 4c 49 5a 45 52 2c 0a 20 20 20 20 53  ITIALIZER,.    S
14f0: 51 4c 49 54 45 33 5f 4d 55 54 45 58 5f 49 4e 49  QLITE3_MUTEX_INI
1500: 54 49 41 4c 49 5a 45 52 0a 20 20 7d 3b 0a 20 20  TIALIZER.  };.  
1510: 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a 70  sqlite3_mutex *p
1520: 3b 0a 20 20 73 77 69 74 63 68 28 20 69 54 79 70  ;.  switch( iTyp
1530: 65 20 29 7b 0a 20 20 20 20 63 61 73 65 20 53 51  e ){.    case SQ
1540: 4c 49 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52  LITE_MUTEX_RECUR
1550: 53 49 56 45 3a 20 7b 0a 20 20 20 20 20 20 70 20  SIVE: {.      p 
1560: 3d 20 73 71 6c 69 74 65 33 4d 61 6c 6c 6f 63 5a  = sqlite3MallocZ
1570: 65 72 6f 28 20 73 69 7a 65 6f 66 28 2a 70 29 20  ero( sizeof(*p) 
1580: 29 3b 0a 20 20 20 20 20 20 69 66 28 20 70 20 29  );.      if( p )
1590: 7b 0a 23 69 66 64 65 66 20 53 51 4c 49 54 45 5f  {.#ifdef SQLITE_
15a0: 48 4f 4d 45 47 52 4f 57 4e 5f 52 45 43 55 52 53  HOMEGROWN_RECURS
15b0: 49 56 45 5f 4d 55 54 45 58 0a 20 20 20 20 20 20  IVE_MUTEX.      
15c0: 20 20 2f 2a 20 49 66 20 72 65 63 75 72 73 69 76    /* If recursiv
15d0: 65 20 6d 75 74 65 78 65 73 20 61 72 65 20 6e 6f  e mutexes are no
15e0: 74 20 61 76 61 69 6c 61 62 6c 65 2c 20 77 65 20  t available, we 
15f0: 77 69 6c 6c 20 68 61 76 65 20 74 6f 0a 20 20 20  will have to.   
1600: 20 20 20 20 20 2a 2a 20 62 75 69 6c 64 20 6f 75       ** build ou
1610: 72 20 6f 77 6e 2e 20 20 53 65 65 20 62 65 6c 6f  r own.  See belo
1620: 77 2e 20 2a 2f 0a 20 20 20 20 20 20 20 20 70 74  w. */.        pt
1630: 68 72 65 61 64 5f 6d 75 74 65 78 5f 69 6e 69 74  hread_mutex_init
1640: 28 26 70 2d 3e 6d 75 74 65 78 2c 20 30 29 3b 0a  (&p->mutex, 0);.
1650: 23 65 6c 73 65 0a 20 20 20 20 20 20 20 20 2f 2a  #else.        /*
1660: 20 55 73 65 20 61 20 72 65 63 75 72 73 69 76 65   Use a recursive
1670: 20 6d 75 74 65 78 20 69 66 20 69 74 20 69 73 20   mutex if it is 
1680: 61 76 61 69 6c 61 62 6c 65 20 2a 2f 0a 20 20 20  available */.   
1690: 20 20 20 20 20 70 74 68 72 65 61 64 5f 6d 75 74       pthread_mut
16a0: 65 78 61 74 74 72 5f 74 20 72 65 63 75 72 73 69  exattr_t recursi
16b0: 76 65 41 74 74 72 3b 0a 20 20 20 20 20 20 20 20  veAttr;.        
16c0: 70 74 68 72 65 61 64 5f 6d 75 74 65 78 61 74 74  pthread_mutexatt
16d0: 72 5f 69 6e 69 74 28 26 72 65 63 75 72 73 69 76  r_init(&recursiv
16e0: 65 41 74 74 72 29 3b 0a 20 20 20 20 20 20 20 20  eAttr);.        
16f0: 70 74 68 72 65 61 64 5f 6d 75 74 65 78 61 74 74  pthread_mutexatt
1700: 72 5f 73 65 74 74 79 70 65 28 26 72 65 63 75 72  r_settype(&recur
1710: 73 69 76 65 41 74 74 72 2c 20 50 54 48 52 45 41  siveAttr, PTHREA
1720: 44 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56  D_MUTEX_RECURSIV
1730: 45 29 3b 0a 20 20 20 20 20 20 20 20 70 74 68 72  E);.        pthr
1740: 65 61 64 5f 6d 75 74 65 78 5f 69 6e 69 74 28 26  ead_mutex_init(&
1750: 70 2d 3e 6d 75 74 65 78 2c 20 26 72 65 63 75 72  p->mutex, &recur
1760: 73 69 76 65 41 74 74 72 29 3b 0a 20 20 20 20 20  siveAttr);.     
1770: 20 20 20 70 74 68 72 65 61 64 5f 6d 75 74 65 78     pthread_mutex
1780: 61 74 74 72 5f 64 65 73 74 72 6f 79 28 26 72 65  attr_destroy(&re
1790: 63 75 72 73 69 76 65 41 74 74 72 29 3b 0a 23 65  cursiveAttr);.#e
17a0: 6e 64 69 66 0a 23 69 66 20 53 51 4c 49 54 45 5f  ndif.#if SQLITE_
17b0: 4d 55 54 45 58 5f 4e 52 45 46 0a 20 20 20 20 20  MUTEX_NREF.     
17c0: 20 20 20 70 2d 3e 69 64 20 3d 20 69 54 79 70 65     p->id = iType
17d0: 3b 0a 23 65 6e 64 69 66 0a 20 20 20 20 20 20 7d  ;.#endif.      }
17e0: 0a 20 20 20 20 20 20 62 72 65 61 6b 3b 0a 20 20  .      break;.  
17f0: 20 20 7d 0a 20 20 20 20 63 61 73 65 20 53 51 4c    }.    case SQL
1800: 49 54 45 5f 4d 55 54 45 58 5f 46 41 53 54 3a 20  ITE_MUTEX_FAST: 
1810: 7b 0a 20 20 20 20 20 20 70 20 3d 20 73 71 6c 69  {.      p = sqli
1820: 74 65 33 4d 61 6c 6c 6f 63 5a 65 72 6f 28 20 73  te3MallocZero( s
1830: 69 7a 65 6f 66 28 2a 70 29 20 29 3b 0a 20 20 20  izeof(*p) );.   
1840: 20 20 20 69 66 28 20 70 20 29 7b 0a 23 69 66 20     if( p ){.#if 
1850: 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 4e 52 45  SQLITE_MUTEX_NRE
1860: 46 0a 20 20 20 20 20 20 20 20 70 2d 3e 69 64 20  F.        p->id 
1870: 3d 20 69 54 79 70 65 3b 0a 23 65 6e 64 69 66 0a  = iType;.#endif.
1880: 20 20 20 20 20 20 20 20 70 74 68 72 65 61 64 5f          pthread_
1890: 6d 75 74 65 78 5f 69 6e 69 74 28 26 70 2d 3e 6d  mutex_init(&p->m
18a0: 75 74 65 78 2c 20 30 29 3b 0a 20 20 20 20 20 20  utex, 0);.      
18b0: 7d 0a 20 20 20 20 20 20 62 72 65 61 6b 3b 0a 20  }.      break;. 
18c0: 20 20 20 7d 0a 20 20 20 20 64 65 66 61 75 6c 74     }.    default
18d0: 3a 20 7b 0a 20 20 20 20 20 20 61 73 73 65 72 74  : {.      assert
18e0: 28 20 69 54 79 70 65 2d 32 20 3e 3d 20 30 20 29  ( iType-2 >= 0 )
18f0: 3b 0a 20 20 20 20 20 20 61 73 73 65 72 74 28 20  ;.      assert( 
1900: 69 54 79 70 65 2d 32 20 3c 20 41 72 72 61 79 53  iType-2 < ArrayS
1910: 69 7a 65 28 73 74 61 74 69 63 4d 75 74 65 78 65  ize(staticMutexe
1920: 73 29 20 29 3b 0a 20 20 20 20 20 20 70 20 3d 20  s) );.      p = 
1930: 26 73 74 61 74 69 63 4d 75 74 65 78 65 73 5b 69  &staticMutexes[i
1940: 54 79 70 65 2d 32 5d 3b 0a 23 69 66 20 53 51 4c  Type-2];.#if SQL
1950: 49 54 45 5f 4d 55 54 45 58 5f 4e 52 45 46 0a 20  ITE_MUTEX_NREF. 
1960: 20 20 20 20 20 70 2d 3e 69 64 20 3d 20 69 54 79       p->id = iTy
1970: 70 65 3b 0a 23 65 6e 64 69 66 0a 20 20 20 20 20  pe;.#endif.     
1980: 20 62 72 65 61 6b 3b 0a 20 20 20 20 7d 0a 20 20   break;.    }.  
1990: 7d 0a 20 20 72 65 74 75 72 6e 20 70 3b 0a 7d 0a  }.  return p;.}.
19a0: 0a 0a 2f 2a 0a 2a 2a 20 54 68 69 73 20 72 6f 75  ../*.** This rou
19b0: 74 69 6e 65 20 64 65 61 6c 6c 6f 63 61 74 65 73  tine deallocates
19c0: 20 61 20 70 72 65 76 69 6f 75 73 6c 79 0a 2a 2a   a previously.**
19d0: 20 61 6c 6c 6f 63 61 74 65 64 20 6d 75 74 65 78   allocated mutex
19e0: 2e 20 20 53 51 4c 69 74 65 20 69 73 20 63 61 72  .  SQLite is car
19f0: 65 66 75 6c 20 74 6f 20 64 65 61 6c 6c 6f 63 61  eful to dealloca
1a00: 74 65 20 65 76 65 72 79 0a 2a 2a 20 6d 75 74 65  te every.** mute
1a10: 78 20 74 68 61 74 20 69 74 20 61 6c 6c 6f 63 61  x that it alloca
1a20: 74 65 73 2e 0a 2a 2f 0a 73 74 61 74 69 63 20 76  tes..*/.static v
1a30: 6f 69 64 20 70 74 68 72 65 61 64 4d 75 74 65 78  oid pthreadMutex
1a40: 46 72 65 65 28 73 71 6c 69 74 65 33 5f 6d 75 74  Free(sqlite3_mut
1a50: 65 78 20 2a 70 29 7b 0a 20 20 61 73 73 65 72 74  ex *p){.  assert
1a60: 28 20 70 2d 3e 6e 52 65 66 3d 3d 30 20 29 3b 0a  ( p->nRef==0 );.
1a70: 20 20 61 73 73 65 72 74 28 20 70 2d 3e 69 64 3d    assert( p->id=
1a80: 3d 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 46 41  =SQLITE_MUTEX_FA
1a90: 53 54 20 7c 7c 20 70 2d 3e 69 64 3d 3d 53 51 4c  ST || p->id==SQL
1aa0: 49 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53  ITE_MUTEX_RECURS
1ab0: 49 56 45 20 29 3b 0a 20 20 70 74 68 72 65 61 64  IVE );.  pthread
1ac0: 5f 6d 75 74 65 78 5f 64 65 73 74 72 6f 79 28 26  _mutex_destroy(&
1ad0: 70 2d 3e 6d 75 74 65 78 29 3b 0a 20 20 73 71 6c  p->mutex);.  sql
1ae0: 69 74 65 33 5f 66 72 65 65 28 70 29 3b 0a 7d 0a  ite3_free(p);.}.
1af0: 0a 23 69 6e 63 6c 75 64 65 20 3c 73 79 73 2f 74  .#include <sys/t
1b00: 69 6d 65 2e 68 3e 0a 23 69 66 64 65 66 20 53 51  ime.h>.#ifdef SQ
1b10: 4c 49 54 45 5f 4d 55 54 45 58 5f 4e 52 45 46 0a  LITE_MUTEX_NREF.
1b20: 23 20 64 65 66 69 6e 65 20 4d 55 54 45 58 5f 49  # define MUTEX_I
1b30: 44 28 70 29 20 20 28 70 2d 3e 69 64 29 0a 23 65  D(p)  (p->id).#e
1b40: 6c 73 65 0a 23 20 64 65 66 69 6e 65 20 4d 55 54  lse.# define MUT
1b50: 45 58 5f 49 44 28 70 29 20 20 30 0a 23 65 6e 64  EX_ID(p)  0.#end
1b60: 69 66 0a 0a 2f 2a 0a 2a 2a 20 54 68 65 20 73 71  if../*.** The sq
1b70: 6c 69 74 65 33 5f 6d 75 74 65 78 5f 65 6e 74 65  lite3_mutex_ente
1b80: 72 28 29 20 61 6e 64 20 73 71 6c 69 74 65 33 5f  r() and sqlite3_
1b90: 6d 75 74 65 78 5f 74 72 79 28 29 20 72 6f 75 74  mutex_try() rout
1ba0: 69 6e 65 73 20 61 74 74 65 6d 70 74 0a 2a 2a 20  ines attempt.** 
1bb0: 74 6f 20 65 6e 74 65 72 20 61 20 6d 75 74 65 78  to enter a mutex
1bc0: 2e 20 20 49 66 20 61 6e 6f 74 68 65 72 20 74 68  .  If another th
1bd0: 72 65 61 64 20 69 73 20 61 6c 72 65 61 64 79 20  read is already 
1be0: 77 69 74 68 69 6e 20 74 68 65 20 6d 75 74 65 78  within the mutex
1bf0: 2c 0a 2a 2a 20 73 71 6c 69 74 65 33 5f 6d 75 74  ,.** sqlite3_mut
1c00: 65 78 5f 65 6e 74 65 72 28 29 20 77 69 6c 6c 20  ex_enter() will 
1c10: 62 6c 6f 63 6b 20 61 6e 64 20 73 71 6c 69 74 65  block and sqlite
1c20: 33 5f 6d 75 74 65 78 5f 74 72 79 28 29 20 77 69  3_mutex_try() wi
1c30: 6c 6c 20 72 65 74 75 72 6e 0a 2a 2a 20 53 51 4c  ll return.** SQL
1c40: 49 54 45 5f 42 55 53 59 2e 20 20 54 68 65 20 73  ITE_BUSY.  The s
1c50: 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 74 72 79  qlite3_mutex_try
1c60: 28 29 20 69 6e 74 65 72 66 61 63 65 20 72 65 74  () interface ret
1c70: 75 72 6e 73 20 53 51 4c 49 54 45 5f 4f 4b 0a 2a  urns SQLITE_OK.*
1c80: 2a 20 75 70 6f 6e 20 73 75 63 63 65 73 73 66 75  * upon successfu
1c90: 6c 20 65 6e 74 72 79 2e 20 20 4d 75 74 65 78 65  l entry.  Mutexe
1ca0: 73 20 63 72 65 61 74 65 64 20 75 73 69 6e 67 20  s created using 
1cb0: 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 52 45 43  SQLITE_MUTEX_REC
1cc0: 55 52 53 49 56 45 20 63 61 6e 0a 2a 2a 20 62 65  URSIVE can.** be
1cd0: 20 65 6e 74 65 72 65 64 20 6d 75 6c 74 69 70 6c   entered multipl
1ce0: 65 20 74 69 6d 65 73 20 62 79 20 74 68 65 20 73  e times by the s
1cf0: 61 6d 65 20 74 68 72 65 61 64 2e 20 20 49 6e 20  ame thread.  In 
1d00: 73 75 63 68 20 63 61 73 65 73 20 74 68 65 2c 0a  such cases the,.
1d10: 2a 2a 20 6d 75 74 65 78 20 6d 75 73 74 20 62 65  ** mutex must be
1d20: 20 65 78 69 74 65 64 20 61 6e 20 65 71 75 61 6c   exited an equal
1d30: 20 6e 75 6d 62 65 72 20 6f 66 20 74 69 6d 65 73   number of times
1d40: 20 62 65 66 6f 72 65 20 61 6e 6f 74 68 65 72 20   before another 
1d50: 74 68 72 65 61 64 0a 2a 2a 20 63 61 6e 20 65 6e  thread.** can en
1d60: 74 65 72 2e 20 20 49 66 20 74 68 65 20 73 61 6d  ter.  If the sam
1d70: 65 20 74 68 72 65 61 64 20 74 72 69 65 73 20 74  e thread tries t
1d80: 6f 20 65 6e 74 65 72 20 61 6e 79 20 6f 74 68 65  o enter any othe
1d90: 72 20 6b 69 6e 64 20 6f 66 20 6d 75 74 65 78 0a  r kind of mutex.
1da0: 2a 2a 20 6d 6f 72 65 20 74 68 61 6e 20 6f 6e 63  ** more than onc
1db0: 65 2c 20 74 68 65 20 62 65 68 61 76 69 6f 72 20  e, the behavior 
1dc0: 69 73 20 75 6e 64 65 66 69 6e 65 64 2e 0a 2a 2f  is undefined..*/
1dd0: 0a 73 74 61 74 69 63 20 76 6f 69 64 20 70 74 68  .static void pth
1de0: 72 65 61 64 4d 75 74 65 78 45 6e 74 65 72 28 73  readMutexEnter(s
1df0: 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a 70 29  qlite3_mutex *p)
1e00: 7b 0a 0a 20 20 53 54 41 52 54 5f 44 45 42 55 47  {..  START_DEBUG
1e10: 5f 54 49 4d 45 52 3b 0a 20 20 61 73 73 65 72 74  _TIMER;.  assert
1e20: 28 20 70 2d 3e 69 64 3d 3d 53 51 4c 49 54 45 5f  ( p->id==SQLITE_
1e30: 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56 45 20  MUTEX_RECURSIVE 
1e40: 7c 7c 20 70 74 68 72 65 61 64 4d 75 74 65 78 4e  || pthreadMutexN
1e50: 6f 74 68 65 6c 64 28 70 29 20 29 3b 0a 0a 23 69  otheld(p) );..#i
1e60: 66 64 65 66 20 53 51 4c 49 54 45 5f 48 4f 4d 45  fdef SQLITE_HOME
1e70: 47 52 4f 57 4e 5f 52 45 43 55 52 53 49 56 45 5f  GROWN_RECURSIVE_
1e80: 4d 55 54 45 58 0a 20 20 2f 2a 20 49 66 20 72 65  MUTEX.  /* If re
1e90: 63 75 72 73 69 76 65 20 6d 75 74 65 78 65 73 20  cursive mutexes 
1ea0: 61 72 65 20 6e 6f 74 20 61 76 61 69 6c 61 62 6c  are not availabl
1eb0: 65 2c 20 74 68 65 6e 20 77 65 20 68 61 76 65 20  e, then we have 
1ec0: 74 6f 20 67 72 6f 77 0a 20 20 2a 2a 20 6f 75 72  to grow.  ** our
1ed0: 20 6f 77 6e 2e 20 20 54 68 69 73 20 69 6d 70 6c   own.  This impl
1ee0: 65 6d 65 6e 74 61 74 69 6f 6e 20 61 73 73 75 6d  ementation assum
1ef0: 65 73 20 74 68 61 74 20 70 74 68 72 65 61 64 5f  es that pthread_
1f00: 65 71 75 61 6c 28 29 0a 20 20 2a 2a 20 69 73 20  equal().  ** is 
1f10: 61 74 6f 6d 69 63 20 2d 20 74 68 61 74 20 69 74  atomic - that it
1f20: 20 63 61 6e 6e 6f 74 20 62 65 20 64 65 63 65 69   cannot be decei
1f30: 76 65 64 20 69 6e 74 6f 20 74 68 69 6e 6b 69 6e  ved into thinkin
1f40: 67 20 73 65 6c 66 0a 20 20 2a 2a 20 61 6e 64 20  g self.  ** and 
1f50: 70 2d 3e 6f 77 6e 65 72 20 61 72 65 20 65 71 75  p->owner are equ
1f60: 61 6c 20 69 66 20 70 2d 3e 6f 77 6e 65 72 20 63  al if p->owner c
1f70: 68 61 6e 67 65 73 20 62 65 74 77 65 65 6e 20 74  hanges between t
1f80: 77 6f 20 76 61 6c 75 65 73 0a 20 20 2a 2a 20 74  wo values.  ** t
1f90: 68 61 74 20 61 72 65 20 6e 6f 74 20 65 71 75 61  hat are not equa
1fa0: 6c 20 74 6f 20 73 65 6c 66 20 77 68 69 6c 65 20  l to self while 
1fb0: 74 68 65 20 63 6f 6d 70 61 72 69 73 6f 6e 20 69  the comparison i
1fc0: 73 20 74 61 6b 69 6e 67 20 70 6c 61 63 65 2e 0a  s taking place..
1fd0: 20 20 2a 2a 20 54 68 69 73 20 69 6d 70 6c 65 6d    ** This implem
1fe0: 65 6e 74 61 74 69 6f 6e 20 61 6c 73 6f 20 61 73  entation also as
1ff0: 73 75 6d 65 73 20 61 20 63 6f 68 65 72 65 6e 74  sumes a coherent
2000: 20 63 61 63 68 65 20 2d 20 74 68 61 74 20 0a 20   cache - that . 
2010: 20 2a 2a 20 73 65 70 61 72 61 74 65 20 70 72 6f   ** separate pro
2020: 63 65 73 73 65 73 20 63 61 6e 6e 6f 74 20 72 65  cesses cannot re
2030: 61 64 20 64 69 66 66 65 72 65 6e 74 20 76 61 6c  ad different val
2040: 75 65 73 20 66 72 6f 6d 20 74 68 65 20 73 61 6d  ues from the sam
2050: 65 0a 20 20 2a 2a 20 61 64 64 72 65 73 73 20 61  e.  ** address a
2060: 74 20 74 68 65 20 73 61 6d 65 20 74 69 6d 65 2e  t the same time.
2070: 20 20 49 66 20 65 69 74 68 65 72 20 6f 66 20 74    If either of t
2080: 68 65 73 65 20 74 77 6f 20 63 6f 6e 64 69 74 69  hese two conditi
2090: 6f 6e 73 0a 20 20 2a 2a 20 61 72 65 20 6e 6f 74  ons.  ** are not
20a0: 20 6d 65 74 2c 20 74 68 65 6e 20 74 68 65 20 6d   met, then the m
20b0: 75 74 65 78 65 73 20 77 69 6c 6c 20 66 61 69 6c  utexes will fail
20c0: 20 61 6e 64 20 70 72 6f 62 6c 65 6d 73 20 77 69   and problems wi
20d0: 6c 6c 20 72 65 73 75 6c 74 2e 0a 20 20 2a 2f 0a  ll result..  */.
20e0: 20 20 7b 0a 20 20 20 20 70 74 68 72 65 61 64 5f    {.    pthread_
20f0: 74 20 73 65 6c 66 20 3d 20 70 74 68 72 65 61 64  t self = pthread
2100: 5f 73 65 6c 66 28 29 3b 0a 20 20 20 20 69 66 28  _self();.    if(
2110: 20 70 2d 3e 6e 52 65 66 3e 30 20 26 26 20 70 74   p->nRef>0 && pt
2120: 68 72 65 61 64 5f 65 71 75 61 6c 28 70 2d 3e 6f  hread_equal(p->o
2130: 77 6e 65 72 2c 20 73 65 6c 66 29 20 29 7b 0a 20  wner, self) ){. 
2140: 20 20 20 20 20 70 2d 3e 6e 52 65 66 2b 2b 3b 0a       p->nRef++;.
2150: 20 20 20 20 7d 65 6c 73 65 7b 0a 20 20 20 20 20      }else{.     
2160: 20 70 74 68 72 65 61 64 5f 6d 75 74 65 78 5f 6c   pthread_mutex_l
2170: 6f 63 6b 28 26 70 2d 3e 6d 75 74 65 78 29 3b 0a  ock(&p->mutex);.
2180: 20 20 20 20 20 20 61 73 73 65 72 74 28 20 70 2d        assert( p-
2190: 3e 6e 52 65 66 3d 3d 30 20 29 3b 0a 20 20 20 20  >nRef==0 );.    
21a0: 20 20 70 2d 3e 6f 77 6e 65 72 20 3d 20 73 65 6c    p->owner = sel
21b0: 66 3b 0a 20 20 20 20 20 20 70 2d 3e 6e 52 65 66  f;.      p->nRef
21c0: 20 3d 20 31 3b 0a 20 20 20 20 7d 0a 20 20 7d 0a   = 1;.    }.  }.
21d0: 23 65 6c 73 65 0a 20 20 2f 2a 20 55 73 65 20 74  #else.  /* Use t
21e0: 68 65 20 62 75 69 6c 74 2d 69 6e 20 72 65 63 75  he built-in recu
21f0: 72 73 69 76 65 20 6d 75 74 65 78 65 73 20 69 66  rsive mutexes if
2200: 20 74 68 65 79 20 61 72 65 20 61 76 61 69 6c 61   they are availa
2210: 62 6c 65 2e 0a 20 20 2a 2f 0a 20 20 70 74 68 72  ble..  */.  pthr
2220: 65 61 64 5f 6d 75 74 65 78 5f 6c 6f 63 6b 28 26  ead_mutex_lock(&
2230: 70 2d 3e 6d 75 74 65 78 29 3b 0a 23 69 66 20 53  p->mutex);.#if S
2240: 51 4c 49 54 45 5f 4d 55 54 45 58 5f 4e 52 45 46  QLITE_MUTEX_NREF
2250: 0a 20 20 61 73 73 65 72 74 28 20 70 2d 3e 6e 52  .  assert( p->nR
2260: 65 66 3e 30 20 7c 7c 20 70 2d 3e 6f 77 6e 65 72  ef>0 || p->owner
2270: 3d 3d 30 20 29 3b 0a 20 20 70 2d 3e 6f 77 6e 65  ==0 );.  p->owne
2280: 72 20 3d 20 70 74 68 72 65 61 64 5f 73 65 6c 66  r = pthread_self
2290: 28 29 3b 0a 20 20 70 2d 3e 6e 52 65 66 2b 2b 3b  ();.  p->nRef++;
22a0: 0a 23 65 6e 64 69 66 0a 20 20 45 4e 44 5f 44 45  .#endif.  END_DE
22b0: 42 55 47 5f 54 49 4d 45 52 28 35 30 30 29 20 7b  BUG_TIMER(500) {
22c0: 0a 20 20 20 20 73 71 6c 69 74 65 33 5f 6d 75 74  .    sqlite3_mut
22d0: 65 78 20 2a 70 4d 61 73 74 65 72 20 3d 20 73 71  ex *pMaster = sq
22e0: 6c 69 74 65 33 5f 6d 75 74 65 78 5f 61 6c 6c 6f  lite3_mutex_allo
22f0: 63 28 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 53  c(SQLITE_MUTEX_S
2300: 54 41 54 49 43 5f 4d 41 53 54 45 52 29 3b 0a 20  TATIC_MASTER);. 
2310: 20 20 20 69 6e 74 20 69 64 20 3d 20 2d 31 3b 0a     int id = -1;.
2320: 20 20 20 20 69 66 28 20 70 3e 3d 70 4d 61 73 74      if( p>=pMast
2330: 65 72 20 26 26 20 70 3c 3d 26 70 4d 61 73 74 65  er && p<=&pMaste
2340: 72 5b 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 53  r[SQLITE_MUTEX_S
2350: 54 41 54 49 43 5f 41 50 50 33 2d 32 5d 20 29 7b  TATIC_APP3-2] ){
2360: 0a 20 20 20 20 20 20 69 64 20 3d 20 28 69 6e 74  .      id = (int
2370: 29 28 70 20 2d 20 70 4d 61 73 74 65 72 29 20 2b  )(p - pMaster) +
2380: 20 32 3b 0a 20 20 20 20 7d 0a 20 20 20 20 73 71   2;.    }.    sq
2390: 6c 69 74 65 33 5f 6c 6f 67 28 53 51 4c 49 54 45  lite3_log(SQLITE
23a0: 5f 4e 4f 54 49 43 45 2c 20 22 73 6c 6f 77 20 6d  _NOTICE, "slow m
23b0: 75 74 65 78 3a 20 25 6c 6c 75 20 75 53 20 6f 6e  utex: %llu uS on
23c0: 20 25 64 2f 25 70 22 2c 69 44 65 62 75 67 54 69   %d/%p",iDebugTi
23d0: 6d 65 72 2c 69 64 2c 70 29 3b 0a 20 20 7d 0a 23  mer,id,p);.  }.#
23e0: 65 6e 64 69 66 0a 0a 23 69 66 64 65 66 20 53 51  endif..#ifdef SQ
23f0: 4c 49 54 45 5f 44 45 42 55 47 0a 20 20 69 66 28  LITE_DEBUG.  if(
2400: 20 70 2d 3e 74 72 61 63 65 20 29 7b 0a 20 20 20   p->trace ){.   
2410: 20 70 72 69 6e 74 66 28 22 65 6e 74 65 72 20 6d   printf("enter m
2420: 75 74 65 78 20 25 70 20 28 25 64 29 20 77 69 74  utex %p (%d) wit
2430: 68 20 6e 52 65 66 3d 25 64 5c 6e 22 2c 20 70 2c  h nRef=%d\n", p,
2440: 20 70 2d 3e 74 72 61 63 65 2c 20 70 2d 3e 6e 52   p->trace, p->nR
2450: 65 66 29 3b 0a 20 20 7d 0a 23 65 6e 64 69 66 0a  ef);.  }.#endif.
2460: 7d 0a 73 74 61 74 69 63 20 69 6e 74 20 70 74 68  }.static int pth
2470: 72 65 61 64 4d 75 74 65 78 54 72 79 28 73 71 6c  readMutexTry(sql
2480: 69 74 65 33 5f 6d 75 74 65 78 20 2a 70 29 7b 0a  ite3_mutex *p){.
2490: 20 20 69 6e 74 20 72 63 3b 0a 20 20 61 73 73 65    int rc;.  asse
24a0: 72 74 28 20 70 2d 3e 69 64 3d 3d 53 51 4c 49 54  rt( p->id==SQLIT
24b0: 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56  E_MUTEX_RECURSIV
24c0: 45 20 7c 7c 20 70 74 68 72 65 61 64 4d 75 74 65  E || pthreadMute
24d0: 78 4e 6f 74 68 65 6c 64 28 70 29 20 29 3b 0a 0a  xNotheld(p) );..
24e0: 23 69 66 64 65 66 20 53 51 4c 49 54 45 5f 48 4f  #ifdef SQLITE_HO
24f0: 4d 45 47 52 4f 57 4e 5f 52 45 43 55 52 53 49 56  MEGROWN_RECURSIV
2500: 45 5f 4d 55 54 45 58 0a 20 20 2f 2a 20 49 66 20  E_MUTEX.  /* If 
2510: 72 65 63 75 72 73 69 76 65 20 6d 75 74 65 78 65  recursive mutexe
2520: 73 20 61 72 65 20 6e 6f 74 20 61 76 61 69 6c 61  s are not availa
2530: 62 6c 65 2c 20 74 68 65 6e 20 77 65 20 68 61 76  ble, then we hav
2540: 65 20 74 6f 20 67 72 6f 77 0a 20 20 2a 2a 20 6f  e to grow.  ** o
2550: 75 72 20 6f 77 6e 2e 20 20 54 68 69 73 20 69 6d  ur own.  This im
2560: 70 6c 65 6d 65 6e 74 61 74 69 6f 6e 20 61 73 73  plementation ass
2570: 75 6d 65 73 20 74 68 61 74 20 70 74 68 72 65 61  umes that pthrea
2580: 64 5f 65 71 75 61 6c 28 29 0a 20 20 2a 2a 20 69  d_equal().  ** i
2590: 73 20 61 74 6f 6d 69 63 20 2d 20 74 68 61 74 20  s atomic - that 
25a0: 69 74 20 63 61 6e 6e 6f 74 20 62 65 20 64 65 63  it cannot be dec
25b0: 65 69 76 65 64 20 69 6e 74 6f 20 74 68 69 6e 6b  eived into think
25c0: 69 6e 67 20 73 65 6c 66 0a 20 20 2a 2a 20 61 6e  ing self.  ** an
25d0: 64 20 70 2d 3e 6f 77 6e 65 72 20 61 72 65 20 65  d p->owner are e
25e0: 71 75 61 6c 20 69 66 20 70 2d 3e 6f 77 6e 65 72  qual if p->owner
25f0: 20 63 68 61 6e 67 65 73 20 62 65 74 77 65 65 6e   changes between
2600: 20 74 77 6f 20 76 61 6c 75 65 73 0a 20 20 2a 2a   two values.  **
2610: 20 74 68 61 74 20 61 72 65 20 6e 6f 74 20 65 71   that are not eq
2620: 75 61 6c 20 74 6f 20 73 65 6c 66 20 77 68 69 6c  ual to self whil
2630: 65 20 74 68 65 20 63 6f 6d 70 61 72 69 73 6f 6e  e the comparison
2640: 20 69 73 20 74 61 6b 69 6e 67 20 70 6c 61 63 65   is taking place
2650: 2e 0a 20 20 2a 2a 20 54 68 69 73 20 69 6d 70 6c  ..  ** This impl
2660: 65 6d 65 6e 74 61 74 69 6f 6e 20 61 6c 73 6f 20  ementation also 
2670: 61 73 73 75 6d 65 73 20 61 20 63 6f 68 65 72 65  assumes a cohere
2680: 6e 74 20 63 61 63 68 65 20 2d 20 74 68 61 74 20  nt cache - that 
2690: 0a 20 20 2a 2a 20 73 65 70 61 72 61 74 65 20 70  .  ** separate p
26a0: 72 6f 63 65 73 73 65 73 20 63 61 6e 6e 6f 74 20  rocesses cannot 
26b0: 72 65 61 64 20 64 69 66 66 65 72 65 6e 74 20 76  read different v
26c0: 61 6c 75 65 73 20 66 72 6f 6d 20 74 68 65 20 73  alues from the s
26d0: 61 6d 65 0a 20 20 2a 2a 20 61 64 64 72 65 73 73  ame.  ** address
26e0: 20 61 74 20 74 68 65 20 73 61 6d 65 20 74 69 6d   at the same tim
26f0: 65 2e 20 20 49 66 20 65 69 74 68 65 72 20 6f 66  e.  If either of
2700: 20 74 68 65 73 65 20 74 77 6f 20 63 6f 6e 64 69   these two condi
2710: 74 69 6f 6e 73 0a 20 20 2a 2a 20 61 72 65 20 6e  tions.  ** are n
2720: 6f 74 20 6d 65 74 2c 20 74 68 65 6e 20 74 68 65  ot met, then the
2730: 20 6d 75 74 65 78 65 73 20 77 69 6c 6c 20 66 61   mutexes will fa
2740: 69 6c 20 61 6e 64 20 70 72 6f 62 6c 65 6d 73 20  il and problems 
2750: 77 69 6c 6c 20 72 65 73 75 6c 74 2e 0a 20 20 2a  will result..  *
2760: 2f 0a 20 20 7b 0a 20 20 20 20 70 74 68 72 65 61  /.  {.    pthrea
2770: 64 5f 74 20 73 65 6c 66 20 3d 20 70 74 68 72 65  d_t self = pthre
2780: 61 64 5f 73 65 6c 66 28 29 3b 0a 20 20 20 20 69  ad_self();.    i
2790: 66 28 20 70 2d 3e 6e 52 65 66 3e 30 20 26 26 20  f( p->nRef>0 && 
27a0: 70 74 68 72 65 61 64 5f 65 71 75 61 6c 28 70 2d  pthread_equal(p-
27b0: 3e 6f 77 6e 65 72 2c 20 73 65 6c 66 29 20 29 7b  >owner, self) ){
27c0: 0a 20 20 20 20 20 20 70 2d 3e 6e 52 65 66 2b 2b  .      p->nRef++
27d0: 3b 0a 20 20 20 20 20 20 72 63 20 3d 20 53 51 4c  ;.      rc = SQL
27e0: 49 54 45 5f 4f 4b 3b 0a 20 20 20 20 7d 65 6c 73  ITE_OK;.    }els
27f0: 65 20 69 66 28 20 70 74 68 72 65 61 64 5f 6d 75  e if( pthread_mu
2800: 74 65 78 5f 74 72 79 6c 6f 63 6b 28 26 70 2d 3e  tex_trylock(&p->
2810: 6d 75 74 65 78 29 3d 3d 30 20 29 7b 0a 20 20 20  mutex)==0 ){.   
2820: 20 20 20 61 73 73 65 72 74 28 20 70 2d 3e 6e 52     assert( p->nR
2830: 65 66 3d 3d 30 20 29 3b 0a 20 20 20 20 20 20 70  ef==0 );.      p
2840: 2d 3e 6f 77 6e 65 72 20 3d 20 73 65 6c 66 3b 0a  ->owner = self;.
2850: 20 20 20 20 20 20 70 2d 3e 6e 52 65 66 20 3d 20        p->nRef = 
2860: 31 3b 0a 20 20 20 20 20 20 72 63 20 3d 20 53 51  1;.      rc = SQ
2870: 4c 49 54 45 5f 4f 4b 3b 0a 20 20 20 20 7d 65 6c  LITE_OK;.    }el
2880: 73 65 7b 0a 20 20 20 20 20 20 72 63 20 3d 20 53  se{.      rc = S
2890: 51 4c 49 54 45 5f 42 55 53 59 3b 0a 20 20 20 20  QLITE_BUSY;.    
28a0: 7d 0a 20 20 7d 0a 23 65 6c 73 65 0a 20 20 2f 2a  }.  }.#else.  /*
28b0: 20 55 73 65 20 74 68 65 20 62 75 69 6c 74 2d 69   Use the built-i
28c0: 6e 20 72 65 63 75 72 73 69 76 65 20 6d 75 74 65  n recursive mute
28d0: 78 65 73 20 69 66 20 74 68 65 79 20 61 72 65 20  xes if they are 
28e0: 61 76 61 69 6c 61 62 6c 65 2e 0a 20 20 2a 2f 0a  available..  */.
28f0: 20 20 69 66 28 20 70 74 68 72 65 61 64 5f 6d 75    if( pthread_mu
2900: 74 65 78 5f 74 72 79 6c 6f 63 6b 28 26 70 2d 3e  tex_trylock(&p->
2910: 6d 75 74 65 78 29 3d 3d 30 20 29 7b 0a 23 69 66  mutex)==0 ){.#if
2920: 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 4e 52   SQLITE_MUTEX_NR
2930: 45 46 0a 20 20 20 20 70 2d 3e 6f 77 6e 65 72 20  EF.    p->owner 
2940: 3d 20 70 74 68 72 65 61 64 5f 73 65 6c 66 28 29  = pthread_self()
2950: 3b 0a 20 20 20 20 70 2d 3e 6e 52 65 66 2b 2b 3b  ;.    p->nRef++;
2960: 0a 23 65 6e 64 69 66 0a 20 20 20 20 72 63 20 3d  .#endif.    rc =
2970: 20 53 51 4c 49 54 45 5f 4f 4b 3b 0a 20 20 7d 65   SQLITE_OK;.  }e
2980: 6c 73 65 7b 0a 20 20 20 20 72 63 20 3d 20 53 51  lse{.    rc = SQ
2990: 4c 49 54 45 5f 42 55 53 59 3b 0a 20 20 7d 0a 23  LITE_BUSY;.  }.#
29a0: 65 6e 64 69 66 0a 0a 23 69 66 64 65 66 20 53 51  endif..#ifdef SQ
29b0: 4c 49 54 45 5f 44 45 42 55 47 0a 20 20 69 66 28  LITE_DEBUG.  if(
29c0: 20 72 63 3d 3d 53 51 4c 49 54 45 5f 4f 4b 20 26   rc==SQLITE_OK &
29d0: 26 20 70 2d 3e 74 72 61 63 65 20 29 7b 0a 20 20  & p->trace ){.  
29e0: 20 20 70 72 69 6e 74 66 28 22 65 6e 74 65 72 20    printf("enter 
29f0: 6d 75 74 65 78 20 25 70 20 28 25 64 29 20 77 69  mutex %p (%d) wi
2a00: 74 68 20 6e 52 65 66 3d 25 64 5c 6e 22 2c 20 70  th nRef=%d\n", p
2a10: 2c 20 70 2d 3e 74 72 61 63 65 2c 20 70 2d 3e 6e  , p->trace, p->n
2a20: 52 65 66 29 3b 0a 20 20 7d 0a 23 65 6e 64 69 66  Ref);.  }.#endif
2a30: 0a 20 20 72 65 74 75 72 6e 20 72 63 3b 0a 7d 0a  .  return rc;.}.
2a40: 0a 2f 2a 0a 2a 2a 20 54 68 65 20 73 71 6c 69 74  ./*.** The sqlit
2a50: 65 33 5f 6d 75 74 65 78 5f 6c 65 61 76 65 28 29  e3_mutex_leave()
2a60: 20 72 6f 75 74 69 6e 65 20 65 78 69 74 73 20 61   routine exits a
2a70: 20 6d 75 74 65 78 20 74 68 61 74 20 77 61 73 0a   mutex that was.
2a80: 2a 2a 20 70 72 65 76 69 6f 75 73 6c 79 20 65 6e  ** previously en
2a90: 74 65 72 65 64 20 62 79 20 74 68 65 20 73 61 6d  tered by the sam
2aa0: 65 20 74 68 72 65 61 64 2e 20 20 54 68 65 20 62  e thread.  The b
2ab0: 65 68 61 76 69 6f 72 0a 2a 2a 20 69 73 20 75 6e  ehavior.** is un
2ac0: 64 65 66 69 6e 65 64 20 69 66 20 74 68 65 20 6d  defined if the m
2ad0: 75 74 65 78 20 69 73 20 6e 6f 74 20 63 75 72 72  utex is not curr
2ae0: 65 6e 74 6c 79 20 65 6e 74 65 72 65 64 20 6f 72  ently entered or
2af0: 0a 2a 2a 20 69 73 20 6e 6f 74 20 63 75 72 72 65  .** is not curre
2b00: 6e 74 6c 79 20 61 6c 6c 6f 63 61 74 65 64 2e 20  ntly allocated. 
2b10: 20 53 51 4c 69 74 65 20 77 69 6c 6c 20 6e 65 76   SQLite will nev
2b20: 65 72 20 64 6f 20 65 69 74 68 65 72 2e 0a 2a 2f  er do either..*/
2b30: 0a 73 74 61 74 69 63 20 76 6f 69 64 20 70 74 68  .static void pth
2b40: 72 65 61 64 4d 75 74 65 78 4c 65 61 76 65 28 73  readMutexLeave(s
2b50: 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a 70 29  qlite3_mutex *p)
2b60: 7b 0a 20 20 61 73 73 65 72 74 28 20 70 74 68 72  {.  assert( pthr
2b70: 65 61 64 4d 75 74 65 78 48 65 6c 64 28 70 29 20  eadMutexHeld(p) 
2b80: 29 3b 0a 23 69 66 20 53 51 4c 49 54 45 5f 4d 55  );.#if SQLITE_MU
2b90: 54 45 58 5f 4e 52 45 46 0a 20 20 70 2d 3e 6e 52  TEX_NREF.  p->nR
2ba0: 65 66 2d 2d 3b 0a 20 20 69 66 28 20 70 2d 3e 6e  ef--;.  if( p->n
2bb0: 52 65 66 3d 3d 30 20 29 20 70 2d 3e 6f 77 6e 65  Ref==0 ) p->owne
2bc0: 72 20 3d 20 30 3b 0a 23 65 6e 64 69 66 0a 20 20  r = 0;.#endif.  
2bd0: 61 73 73 65 72 74 28 20 70 2d 3e 6e 52 65 66 3d  assert( p->nRef=
2be0: 3d 30 20 7c 7c 20 70 2d 3e 69 64 3d 3d 53 51 4c  =0 || p->id==SQL
2bf0: 49 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53  ITE_MUTEX_RECURS
2c00: 49 56 45 20 29 3b 0a 0a 23 69 66 64 65 66 20 53  IVE );..#ifdef S
2c10: 51 4c 49 54 45 5f 48 4f 4d 45 47 52 4f 57 4e 5f  QLITE_HOMEGROWN_
2c20: 52 45 43 55 52 53 49 56 45 5f 4d 55 54 45 58 0a  RECURSIVE_MUTEX.
2c30: 20 20 69 66 28 20 70 2d 3e 6e 52 65 66 3d 3d 30    if( p->nRef==0
2c40: 20 29 7b 0a 20 20 20 20 70 74 68 72 65 61 64 5f   ){.    pthread_
2c50: 6d 75 74 65 78 5f 75 6e 6c 6f 63 6b 28 26 70 2d  mutex_unlock(&p-
2c60: 3e 6d 75 74 65 78 29 3b 0a 20 20 7d 0a 23 65 6c  >mutex);.  }.#el
2c70: 73 65 0a 20 20 70 74 68 72 65 61 64 5f 6d 75 74  se.  pthread_mut
2c80: 65 78 5f 75 6e 6c 6f 63 6b 28 26 70 2d 3e 6d 75  ex_unlock(&p->mu
2c90: 74 65 78 29 3b 0a 23 65 6e 64 69 66 0a 0a 23 69  tex);.#endif..#i
2ca0: 66 64 65 66 20 53 51 4c 49 54 45 5f 44 45 42 55  fdef SQLITE_DEBU
2cb0: 47 0a 20 20 69 66 28 20 70 2d 3e 74 72 61 63 65  G.  if( p->trace
2cc0: 20 29 7b 0a 20 20 20 20 70 72 69 6e 74 66 28 22   ){.    printf("
2cd0: 6c 65 61 76 65 20 6d 75 74 65 78 20 25 70 20 28  leave mutex %p (
2ce0: 25 64 29 20 77 69 74 68 20 6e 52 65 66 3d 25 64  %d) with nRef=%d
2cf0: 5c 6e 22 2c 20 70 2c 20 70 2d 3e 74 72 61 63 65  \n", p, p->trace
2d00: 2c 20 70 2d 3e 6e 52 65 66 29 3b 0a 20 20 7d 0a  , p->nRef);.  }.
2d10: 23 65 6e 64 69 66 0a 7d 0a 0a 73 71 6c 69 74 65  #endif.}..sqlite
2d20: 33 5f 6d 75 74 65 78 5f 6d 65 74 68 6f 64 73 20  3_mutex_methods 
2d30: 63 6f 6e 73 74 20 2a 73 71 6c 69 74 65 33 44 65  const *sqlite3De
2d40: 66 61 75 6c 74 4d 75 74 65 78 28 76 6f 69 64 29  faultMutex(void)
2d50: 7b 0a 20 20 73 74 61 74 69 63 20 63 6f 6e 73 74  {.  static const
2d60: 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 6d   sqlite3_mutex_m
2d70: 65 74 68 6f 64 73 20 73 4d 75 74 65 78 20 3d 20  ethods sMutex = 
2d80: 7b 0a 20 20 20 20 70 74 68 72 65 61 64 4d 75 74  {.    pthreadMut
2d90: 65 78 49 6e 69 74 2c 0a 20 20 20 20 70 74 68 72  exInit,.    pthr
2da0: 65 61 64 4d 75 74 65 78 45 6e 64 2c 0a 20 20 20  eadMutexEnd,.   
2db0: 20 70 74 68 72 65 61 64 4d 75 74 65 78 41 6c 6c   pthreadMutexAll
2dc0: 6f 63 2c 0a 20 20 20 20 70 74 68 72 65 61 64 4d  oc,.    pthreadM
2dd0: 75 74 65 78 46 72 65 65 2c 0a 20 20 20 20 70 74  utexFree,.    pt
2de0: 68 72 65 61 64 4d 75 74 65 78 45 6e 74 65 72 2c  hreadMutexEnter,
2df0: 0a 20 20 20 20 70 74 68 72 65 61 64 4d 75 74 65  .    pthreadMute
2e00: 78 54 72 79 2c 0a 20 20 20 20 70 74 68 72 65 61  xTry,.    pthrea
2e10: 64 4d 75 74 65 78 4c 65 61 76 65 2c 0a 23 69 66  dMutexLeave,.#if
2e20: 64 65 66 20 53 51 4c 49 54 45 5f 44 45 42 55 47  def SQLITE_DEBUG
2e30: 0a 20 20 20 20 70 74 68 72 65 61 64 4d 75 74 65  .    pthreadMute
2e40: 78 48 65 6c 64 2c 0a 20 20 20 20 70 74 68 72 65  xHeld,.    pthre
2e50: 61 64 4d 75 74 65 78 4e 6f 74 68 65 6c 64 0a 23  adMutexNotheld.#
2e60: 65 6c 73 65 0a 20 20 20 20 30 2c 0a 20 20 20 20  else.    0,.    
2e70: 30 0a 23 65 6e 64 69 66 0a 20 20 7d 3b 0a 0a 20  0.#endif.  };.. 
2e80: 20 72 65 74 75 72 6e 20 26 73 4d 75 74 65 78 3b   return &sMutex;
2e90: 0a 7d 0a 0a 23 65 6e 64 69 66 20 2f 2a 20 53 51  .}..#endif /* SQ
2ea0: 4c 49 54 45 5f 4d 55 54 45 58 5f 50 54 48 52 45  LITE_MUTEX_PTHRE
2eb0: 41 44 53 20 2a 2f 0a                             ADS */.