/ Hex Artifact Content
Login

Artifact fc54f25b2a750d53b32512a4a728cec28039ae2a:


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 20 7c 7c 20 64 65 66 69 6e 65 64 28  NREF || defined(
0510: 53 51 4c 49 54 45 5f 45 4e 41 42 4c 45 5f 41 50  SQLITE_ENABLE_AP
0520: 49 5f 41 52 4d 4f 52 29 0a 20 20 69 6e 74 20 69  I_ARMOR).  int i
0530: 64 3b 20 20 20 20 20 20 20 20 20 20 20 20 20 20  d;              
0540: 20 20 20 20 20 20 2f 2a 20 4d 75 74 65 78 20 74        /* Mutex t
0550: 79 70 65 20 2a 2f 0a 23 65 6e 64 69 66 0a 23 69  ype */.#endif.#i
0560: 66 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 4e  f SQLITE_MUTEX_N
0570: 52 45 46 0a 20 20 76 6f 6c 61 74 69 6c 65 20 69  REF.  volatile i
0580: 6e 74 20 6e 52 65 66 3b 20 20 20 20 20 20 20 20  nt nRef;        
0590: 20 2f 2a 20 4e 75 6d 62 65 72 20 6f 66 20 65 6e   /* Number of en
05a0: 74 72 61 6e 63 65 73 20 2a 2f 0a 20 20 76 6f 6c  trances */.  vol
05b0: 61 74 69 6c 65 20 70 74 68 72 65 61 64 5f 74 20  atile pthread_t 
05c0: 6f 77 6e 65 72 3b 20 20 2f 2a 20 54 68 72 65 61  owner;  /* Threa
05d0: 64 20 74 68 61 74 20 69 73 20 77 69 74 68 69 6e  d that is within
05e0: 20 74 68 69 73 20 6d 75 74 65 78 20 2a 2f 0a 20   this mutex */. 
05f0: 20 69 6e 74 20 74 72 61 63 65 3b 20 20 20 20 20   int trace;     
0600: 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20 54              /* T
0610: 72 75 65 20 74 6f 20 74 72 61 63 65 20 63 68 61  rue to trace cha
0620: 6e 67 65 73 20 2a 2f 0a 23 65 6e 64 69 66 0a 7d  nges */.#endif.}
0630: 3b 0a 23 69 66 20 53 51 4c 49 54 45 5f 4d 55 54  ;.#if SQLITE_MUT
0640: 45 58 5f 4e 52 45 46 0a 23 64 65 66 69 6e 65 20  EX_NREF.#define 
0650: 53 51 4c 49 54 45 33 5f 4d 55 54 45 58 5f 49 4e  SQLITE3_MUTEX_IN
0660: 49 54 49 41 4c 49 5a 45 52 20 7b 50 54 48 52 45  ITIALIZER {PTHRE
0670: 41 44 5f 4d 55 54 45 58 5f 49 4e 49 54 49 41 4c  AD_MUTEX_INITIAL
0680: 49 5a 45 52 2c 30 2c 30 2c 28 70 74 68 72 65 61  IZER,0,0,(pthrea
0690: 64 5f 74 29 30 2c 30 7d 0a 23 65 6c 73 65 0a 23  d_t)0,0}.#else.#
06a0: 64 65 66 69 6e 65 20 53 51 4c 49 54 45 33 5f 4d  define SQLITE3_M
06b0: 55 54 45 58 5f 49 4e 49 54 49 41 4c 49 5a 45 52  UTEX_INITIALIZER
06c0: 20 7b 20 50 54 48 52 45 41 44 5f 4d 55 54 45 58   { PTHREAD_MUTEX
06d0: 5f 49 4e 49 54 49 41 4c 49 5a 45 52 20 7d 0a 23  _INITIALIZER }.#
06e0: 65 6e 64 69 66 0a 0a 2f 2a 0a 2a 2a 20 54 68 65  endif../*.** The
06f0: 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 68   sqlite3_mutex_h
0700: 65 6c 64 28 29 20 61 6e 64 20 73 71 6c 69 74 65  eld() and sqlite
0710: 33 5f 6d 75 74 65 78 5f 6e 6f 74 68 65 6c 64 28  3_mutex_notheld(
0720: 29 20 72 6f 75 74 69 6e 65 20 61 72 65 0a 2a 2a  ) routine are.**
0730: 20 69 6e 74 65 6e 64 65 64 20 66 6f 72 20 75 73   intended for us
0740: 65 20 6f 6e 6c 79 20 69 6e 73 69 64 65 20 61 73  e only inside as
0750: 73 65 72 74 28 29 20 73 74 61 74 65 6d 65 6e 74  sert() statement
0760: 73 2e 20 20 4f 6e 20 73 6f 6d 65 20 70 6c 61 74  s.  On some plat
0770: 66 6f 72 6d 73 2c 0a 2a 2a 20 74 68 65 72 65 20  forms,.** there 
0780: 6d 69 67 68 74 20 62 65 20 72 61 63 65 20 63 6f  might be race co
0790: 6e 64 69 74 69 6f 6e 73 20 74 68 61 74 20 63 61  nditions that ca
07a0: 6e 20 63 61 75 73 65 20 74 68 65 73 65 20 72 6f  n cause these ro
07b0: 75 74 69 6e 65 73 20 74 6f 0a 2a 2a 20 64 65 6c  utines to.** del
07c0: 69 76 65 72 20 69 6e 63 6f 72 72 65 63 74 20 72  iver incorrect r
07d0: 65 73 75 6c 74 73 2e 20 20 49 6e 20 70 61 72 74  esults.  In part
07e0: 69 63 75 6c 61 72 2c 20 69 66 20 70 74 68 72 65  icular, if pthre
07f0: 61 64 5f 65 71 75 61 6c 28 29 20 69 73 0a 2a 2a  ad_equal() is.**
0800: 20 6e 6f 74 20 61 6e 20 61 74 6f 6d 69 63 20 6f   not an atomic o
0810: 70 65 72 61 74 69 6f 6e 2c 20 74 68 65 6e 20 74  peration, then t
0820: 68 65 73 65 20 72 6f 75 74 69 6e 65 73 20 6d 69  hese routines mi
0830: 67 68 74 20 64 65 6c 69 76 65 72 79 0a 2a 2a 20  ght delivery.** 
0840: 69 6e 63 6f 72 72 65 63 74 20 72 65 73 75 6c 74  incorrect result
0850: 73 2e 20 20 4f 6e 20 6d 6f 73 74 20 70 6c 61 74  s.  On most plat
0860: 66 6f 72 6d 73 2c 20 70 74 68 72 65 61 64 5f 65  forms, pthread_e
0870: 71 75 61 6c 28 29 20 69 73 20 61 20 0a 2a 2a 20  qual() is a .** 
0880: 63 6f 6d 70 61 72 69 73 6f 6e 20 6f 66 20 74 77  comparison of tw
0890: 6f 20 69 6e 74 65 67 65 72 73 20 61 6e 64 20 69  o integers and i
08a0: 73 20 74 68 65 72 65 66 6f 72 65 20 61 74 6f 6d  s therefore atom
08b0: 69 63 2e 20 20 42 75 74 20 77 65 20 61 72 65 0a  ic.  But we are.
08c0: 2a 2a 20 74 6f 6c 64 20 74 68 61 74 20 48 50 55  ** told that HPU
08d0: 58 20 69 73 20 6e 6f 74 20 73 75 63 68 20 61 20  X is not such a 
08e0: 70 6c 61 74 66 6f 72 6d 2e 20 20 49 66 20 73 6f  platform.  If so
08f0: 2c 20 74 68 65 6e 20 74 68 65 73 65 20 72 6f 75  , then these rou
0900: 74 69 6e 65 73 0a 2a 2a 20 77 69 6c 6c 20 6e 6f  tines.** will no
0910: 74 20 61 6c 77 61 79 73 20 77 6f 72 6b 20 63 6f  t always work co
0920: 72 72 65 63 74 6c 79 20 6f 6e 20 48 50 55 58 2e  rrectly on HPUX.
0930: 0a 2a 2a 0a 2a 2a 20 4f 6e 20 74 68 6f 73 65 20  .**.** On those 
0940: 70 6c 61 74 66 6f 72 6d 73 20 77 68 65 72 65 20  platforms where 
0950: 70 74 68 72 65 61 64 5f 65 71 75 61 6c 28 29 20  pthread_equal() 
0960: 69 73 20 6e 6f 74 20 61 74 6f 6d 69 63 2c 20 53  is not atomic, S
0970: 51 4c 69 74 65 0a 2a 2a 20 73 68 6f 75 6c 64 20  QLite.** should 
0980: 62 65 20 63 6f 6d 70 69 6c 65 64 20 77 69 74 68  be compiled with
0990: 6f 75 74 20 2d 44 53 51 4c 49 54 45 5f 44 45 42  out -DSQLITE_DEB
09a0: 55 47 20 61 6e 64 20 77 69 74 68 20 2d 44 4e 44  UG and with -DND
09b0: 45 42 55 47 20 74 6f 0a 2a 2a 20 6d 61 6b 65 20  EBUG to.** make 
09c0: 73 75 72 65 20 6e 6f 20 61 73 73 65 72 74 28 29  sure no assert()
09d0: 20 73 74 61 74 65 6d 65 6e 74 73 20 61 72 65 20   statements are 
09e0: 65 76 61 6c 75 61 74 65 64 20 61 6e 64 20 68 65  evaluated and he
09f0: 6e 63 65 20 74 68 65 73 65 0a 2a 2a 20 72 6f 75  nce these.** rou
0a00: 74 69 6e 65 73 20 61 72 65 20 6e 65 76 65 72 20  tines are never 
0a10: 63 61 6c 6c 65 64 2e 0a 2a 2f 0a 23 69 66 20 21  called..*/.#if !
0a20: 64 65 66 69 6e 65 64 28 4e 44 45 42 55 47 29 20  defined(NDEBUG) 
0a30: 7c 7c 20 64 65 66 69 6e 65 64 28 53 51 4c 49 54  || defined(SQLIT
0a40: 45 5f 44 45 42 55 47 29 0a 73 74 61 74 69 63 20  E_DEBUG).static 
0a50: 69 6e 74 20 70 74 68 72 65 61 64 4d 75 74 65 78  int pthreadMutex
0a60: 48 65 6c 64 28 73 71 6c 69 74 65 33 5f 6d 75 74  Held(sqlite3_mut
0a70: 65 78 20 2a 70 29 7b 0a 20 20 72 65 74 75 72 6e  ex *p){.  return
0a80: 20 28 70 2d 3e 6e 52 65 66 21 3d 30 20 26 26 20   (p->nRef!=0 && 
0a90: 70 74 68 72 65 61 64 5f 65 71 75 61 6c 28 70 2d  pthread_equal(p-
0aa0: 3e 6f 77 6e 65 72 2c 20 70 74 68 72 65 61 64 5f  >owner, pthread_
0ab0: 73 65 6c 66 28 29 29 29 3b 0a 7d 0a 73 74 61 74  self()));.}.stat
0ac0: 69 63 20 69 6e 74 20 70 74 68 72 65 61 64 4d 75  ic int pthreadMu
0ad0: 74 65 78 4e 6f 74 68 65 6c 64 28 73 71 6c 69 74  texNotheld(sqlit
0ae0: 65 33 5f 6d 75 74 65 78 20 2a 70 29 7b 0a 20 20  e3_mutex *p){.  
0af0: 72 65 74 75 72 6e 20 70 2d 3e 6e 52 65 66 3d 3d  return p->nRef==
0b00: 30 20 7c 7c 20 70 74 68 72 65 61 64 5f 65 71 75  0 || pthread_equ
0b10: 61 6c 28 70 2d 3e 6f 77 6e 65 72 2c 20 70 74 68  al(p->owner, pth
0b20: 72 65 61 64 5f 73 65 6c 66 28 29 29 3d 3d 30 3b  read_self())==0;
0b30: 0a 7d 0a 23 65 6e 64 69 66 0a 0a 2f 2a 0a 2a 2a  .}.#endif../*.**
0b40: 20 54 72 79 20 74 6f 20 70 72 6f 76 69 64 65 20   Try to provide 
0b50: 61 20 6d 65 6d 6f 72 79 20 62 61 72 72 69 65 72  a memory barrier
0b60: 20 6f 70 65 72 61 74 69 6f 6e 2c 20 6e 65 65 64   operation, need
0b70: 65 64 20 66 6f 72 20 69 6e 69 74 69 61 6c 69 7a  ed for initializ
0b80: 61 74 69 6f 6e 0a 2a 2a 20 61 6e 64 20 61 6c 73  ation.** and als
0b90: 6f 20 66 6f 72 20 74 68 65 20 69 6d 70 6c 65 6d  o for the implem
0ba0: 65 6e 74 61 74 69 6f 6e 20 6f 66 20 78 53 68 6d  entation of xShm
0bb0: 42 61 72 72 69 65 72 20 69 6e 20 74 68 65 20 56  Barrier in the V
0bc0: 46 53 20 69 6e 20 63 61 73 65 73 0a 2a 2a 20 77  FS in cases.** w
0bd0: 68 65 72 65 20 53 51 4c 69 74 65 20 69 73 20 63  here SQLite is c
0be0: 6f 6d 70 69 6c 65 64 20 77 69 74 68 6f 75 74 20  ompiled without 
0bf0: 6d 75 74 65 78 65 73 2e 0a 2a 2f 0a 76 6f 69 64  mutexes..*/.void
0c00: 20 73 71 6c 69 74 65 33 4d 65 6d 6f 72 79 42 61   sqlite3MemoryBa
0c10: 72 72 69 65 72 28 76 6f 69 64 29 7b 0a 23 69 66  rrier(void){.#if
0c20: 20 64 65 66 69 6e 65 64 28 53 51 4c 49 54 45 5f   defined(SQLITE_
0c30: 4d 45 4d 4f 52 59 5f 42 41 52 52 49 45 52 29 0a  MEMORY_BARRIER).
0c40: 20 20 53 51 4c 49 54 45 5f 4d 45 4d 4f 52 59 5f    SQLITE_MEMORY_
0c50: 42 41 52 52 49 45 52 3b 0a 23 65 6c 69 66 20 64  BARRIER;.#elif d
0c60: 65 66 69 6e 65 64 28 5f 5f 47 4e 55 43 5f 5f 29  efined(__GNUC__)
0c70: 20 26 26 20 47 43 43 5f 56 45 52 53 49 4f 4e 3e   && GCC_VERSION>
0c80: 3d 34 30 30 31 30 30 30 0a 20 20 5f 5f 73 79 6e  =4001000.  __syn
0c90: 63 5f 73 79 6e 63 68 72 6f 6e 69 7a 65 28 29 3b  c_synchronize();
0ca0: 0a 23 65 6e 64 69 66 0a 7d 0a 0a 2f 2a 0a 2a 2a  .#endif.}../*.**
0cb0: 20 49 6e 69 74 69 61 6c 69 7a 65 20 61 6e 64 20   Initialize and 
0cc0: 64 65 69 6e 69 74 69 61 6c 69 7a 65 20 74 68 65  deinitialize the
0cd0: 20 6d 75 74 65 78 20 73 75 62 73 79 73 74 65 6d   mutex subsystem
0ce0: 2e 0a 2a 2f 0a 73 74 61 74 69 63 20 69 6e 74 20  ..*/.static int 
0cf0: 70 74 68 72 65 61 64 4d 75 74 65 78 49 6e 69 74  pthreadMutexInit
0d00: 28 76 6f 69 64 29 7b 20 72 65 74 75 72 6e 20 53  (void){ return S
0d10: 51 4c 49 54 45 5f 4f 4b 3b 20 7d 0a 73 74 61 74  QLITE_OK; }.stat
0d20: 69 63 20 69 6e 74 20 70 74 68 72 65 61 64 4d 75  ic int pthreadMu
0d30: 74 65 78 45 6e 64 28 76 6f 69 64 29 7b 20 72 65  texEnd(void){ re
0d40: 74 75 72 6e 20 53 51 4c 49 54 45 5f 4f 4b 3b 20  turn SQLITE_OK; 
0d50: 7d 0a 0a 2f 2a 0a 2a 2a 20 54 68 65 20 73 71 6c  }../*.** The sql
0d60: 69 74 65 33 5f 6d 75 74 65 78 5f 61 6c 6c 6f 63  ite3_mutex_alloc
0d70: 28 29 20 72 6f 75 74 69 6e 65 20 61 6c 6c 6f 63  () routine alloc
0d80: 61 74 65 73 20 61 20 6e 65 77 0a 2a 2a 20 6d 75  ates a new.** mu
0d90: 74 65 78 20 61 6e 64 20 72 65 74 75 72 6e 73 20  tex and returns 
0da0: 61 20 70 6f 69 6e 74 65 72 20 74 6f 20 69 74 2e  a pointer to it.
0db0: 20 20 49 66 20 69 74 20 72 65 74 75 72 6e 73 20    If it returns 
0dc0: 4e 55 4c 4c 0a 2a 2a 20 74 68 61 74 20 6d 65 61  NULL.** that mea
0dd0: 6e 73 20 74 68 61 74 20 61 20 6d 75 74 65 78 20  ns that a mutex 
0de0: 63 6f 75 6c 64 20 6e 6f 74 20 62 65 20 61 6c 6c  could not be all
0df0: 6f 63 61 74 65 64 2e 20 20 53 51 4c 69 74 65 0a  ocated.  SQLite.
0e00: 2a 2a 20 77 69 6c 6c 20 75 6e 77 69 6e 64 20 69  ** will unwind i
0e10: 74 73 20 73 74 61 63 6b 20 61 6e 64 20 72 65 74  ts stack and ret
0e20: 75 72 6e 20 61 6e 20 65 72 72 6f 72 2e 20 20 54  urn an error.  T
0e30: 68 65 20 61 72 67 75 6d 65 6e 74 0a 2a 2a 20 74  he argument.** t
0e40: 6f 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f  o sqlite3_mutex_
0e50: 61 6c 6c 6f 63 28 29 20 69 73 20 6f 6e 65 20 6f  alloc() is one o
0e60: 66 20 74 68 65 73 65 20 69 6e 74 65 67 65 72 20  f these integer 
0e70: 63 6f 6e 73 74 61 6e 74 73 3a 0a 2a 2a 0a 2a 2a  constants:.**.**
0e80: 20 3c 75 6c 3e 0a 2a 2a 20 3c 6c 69 3e 20 20 53   <ul>.** <li>  S
0e90: 51 4c 49 54 45 5f 4d 55 54 45 58 5f 46 41 53 54  QLITE_MUTEX_FAST
0ea0: 0a 2a 2a 20 3c 6c 69 3e 20 20 53 51 4c 49 54 45  .** <li>  SQLITE
0eb0: 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56 45  _MUTEX_RECURSIVE
0ec0: 0a 2a 2a 20 3c 6c 69 3e 20 20 53 51 4c 49 54 45  .** <li>  SQLITE
0ed0: 5f 4d 55 54 45 58 5f 53 54 41 54 49 43 5f 4d 41  _MUTEX_STATIC_MA
0ee0: 53 54 45 52 0a 2a 2a 20 3c 6c 69 3e 20 20 53 51  STER.** <li>  SQ
0ef0: 4c 49 54 45 5f 4d 55 54 45 58 5f 53 54 41 54 49  LITE_MUTEX_STATI
0f00: 43 5f 4d 45 4d 0a 2a 2a 20 3c 6c 69 3e 20 20 53  C_MEM.** <li>  S
0f10: 51 4c 49 54 45 5f 4d 55 54 45 58 5f 53 54 41 54  QLITE_MUTEX_STAT
0f20: 49 43 5f 4f 50 45 4e 0a 2a 2a 20 3c 6c 69 3e 20  IC_OPEN.** <li> 
0f30: 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 53 54   SQLITE_MUTEX_ST
0f40: 41 54 49 43 5f 50 52 4e 47 0a 2a 2a 20 3c 6c 69  ATIC_PRNG.** <li
0f50: 3e 20 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f  >  SQLITE_MUTEX_
0f60: 53 54 41 54 49 43 5f 4c 52 55 0a 2a 2a 20 3c 6c  STATIC_LRU.** <l
0f70: 69 3e 20 20 53 51 4c 49 54 45 5f 4d 55 54 45 58  i>  SQLITE_MUTEX
0f80: 5f 53 54 41 54 49 43 5f 50 4d 45 4d 0a 2a 2a 20  _STATIC_PMEM.** 
0f90: 3c 6c 69 3e 20 20 53 51 4c 49 54 45 5f 4d 55 54  <li>  SQLITE_MUT
0fa0: 45 58 5f 53 54 41 54 49 43 5f 41 50 50 31 0a 2a  EX_STATIC_APP1.*
0fb0: 2a 20 3c 6c 69 3e 20 20 53 51 4c 49 54 45 5f 4d  * <li>  SQLITE_M
0fc0: 55 54 45 58 5f 53 54 41 54 49 43 5f 41 50 50 32  UTEX_STATIC_APP2
0fd0: 0a 2a 2a 20 3c 6c 69 3e 20 20 53 51 4c 49 54 45  .** <li>  SQLITE
0fe0: 5f 4d 55 54 45 58 5f 53 54 41 54 49 43 5f 41 50  _MUTEX_STATIC_AP
0ff0: 50 33 0a 2a 2a 20 3c 6c 69 3e 20 20 53 51 4c 49  P3.** <li>  SQLI
1000: 54 45 5f 4d 55 54 45 58 5f 53 54 41 54 49 43 5f  TE_MUTEX_STATIC_
1010: 56 46 53 31 0a 2a 2a 20 3c 6c 69 3e 20 20 53 51  VFS1.** <li>  SQ
1020: 4c 49 54 45 5f 4d 55 54 45 58 5f 53 54 41 54 49  LITE_MUTEX_STATI
1030: 43 5f 56 46 53 32 0a 2a 2a 20 3c 6c 69 3e 20 20  C_VFS2.** <li>  
1040: 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 53 54 41  SQLITE_MUTEX_STA
1050: 54 49 43 5f 56 46 53 33 0a 2a 2a 20 3c 2f 75 6c  TIC_VFS3.** </ul
1060: 3e 0a 2a 2a 0a 2a 2a 20 54 68 65 20 66 69 72 73  >.**.** The firs
1070: 74 20 74 77 6f 20 63 6f 6e 73 74 61 6e 74 73 20  t two constants 
1080: 63 61 75 73 65 20 73 71 6c 69 74 65 33 5f 6d 75  cause sqlite3_mu
1090: 74 65 78 5f 61 6c 6c 6f 63 28 29 20 74 6f 20 63  tex_alloc() to c
10a0: 72 65 61 74 65 0a 2a 2a 20 61 20 6e 65 77 20 6d  reate.** a new m
10b0: 75 74 65 78 2e 20 20 54 68 65 20 6e 65 77 20 6d  utex.  The new m
10c0: 75 74 65 78 20 69 73 20 72 65 63 75 72 73 69 76  utex is recursiv
10d0: 65 20 77 68 65 6e 20 53 51 4c 49 54 45 5f 4d 55  e when SQLITE_MU
10e0: 54 45 58 5f 52 45 43 55 52 53 49 56 45 0a 2a 2a  TEX_RECURSIVE.**
10f0: 20 69 73 20 75 73 65 64 20 62 75 74 20 6e 6f 74   is used but not
1100: 20 6e 65 63 65 73 73 61 72 69 6c 79 20 73 6f 20   necessarily so 
1110: 77 68 65 6e 20 53 51 4c 49 54 45 5f 4d 55 54 45  when SQLITE_MUTE
1120: 58 5f 46 41 53 54 20 69 73 20 75 73 65 64 2e 0a  X_FAST is used..
1130: 2a 2a 20 54 68 65 20 6d 75 74 65 78 20 69 6d 70  ** The mutex imp
1140: 6c 65 6d 65 6e 74 61 74 69 6f 6e 20 64 6f 65 73  lementation does
1150: 20 6e 6f 74 20 6e 65 65 64 20 74 6f 20 6d 61 6b   not need to mak
1160: 65 20 61 20 64 69 73 74 69 6e 63 74 69 6f 6e 0a  e a distinction.
1170: 2a 2a 20 62 65 74 77 65 65 6e 20 53 51 4c 49 54  ** between SQLIT
1180: 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56  E_MUTEX_RECURSIV
1190: 45 20 61 6e 64 20 53 51 4c 49 54 45 5f 4d 55 54  E and SQLITE_MUT
11a0: 45 58 5f 46 41 53 54 20 69 66 20 69 74 20 64 6f  EX_FAST if it do
11b0: 65 73 0a 2a 2a 20 6e 6f 74 20 77 61 6e 74 20 74  es.** not want t
11c0: 6f 2e 20 20 42 75 74 20 53 51 4c 69 74 65 20 77  o.  But SQLite w
11d0: 69 6c 6c 20 6f 6e 6c 79 20 72 65 71 75 65 73 74  ill only request
11e0: 20 61 20 72 65 63 75 72 73 69 76 65 20 6d 75 74   a recursive mut
11f0: 65 78 20 69 6e 0a 2a 2a 20 63 61 73 65 73 20 77  ex in.** cases w
1200: 68 65 72 65 20 69 74 20 72 65 61 6c 6c 79 20 6e  here it really n
1210: 65 65 64 73 20 6f 6e 65 2e 20 20 49 66 20 61 20  eeds one.  If a 
1220: 66 61 73 74 65 72 20 6e 6f 6e 2d 72 65 63 75 72  faster non-recur
1230: 73 69 76 65 20 6d 75 74 65 78 0a 2a 2a 20 69 6d  sive mutex.** im
1240: 70 6c 65 6d 65 6e 74 61 74 69 6f 6e 20 69 73 20  plementation is 
1250: 61 76 61 69 6c 61 62 6c 65 20 6f 6e 20 74 68 65  available on the
1260: 20 68 6f 73 74 20 70 6c 61 74 66 6f 72 6d 2c 20   host platform, 
1270: 74 68 65 20 6d 75 74 65 78 20 73 75 62 73 79 73  the mutex subsys
1280: 74 65 6d 0a 2a 2a 20 6d 69 67 68 74 20 72 65 74  tem.** might ret
1290: 75 72 6e 20 73 75 63 68 20 61 20 6d 75 74 65 78  urn such a mutex
12a0: 20 69 6e 20 72 65 73 70 6f 6e 73 65 20 74 6f 20   in response to 
12b0: 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 46 41 53  SQLITE_MUTEX_FAS
12c0: 54 2e 0a 2a 2a 0a 2a 2a 20 54 68 65 20 6f 74 68  T..**.** The oth
12d0: 65 72 20 61 6c 6c 6f 77 65 64 20 70 61 72 61 6d  er allowed param
12e0: 65 74 65 72 73 20 74 6f 20 73 71 6c 69 74 65 33  eters to sqlite3
12f0: 5f 6d 75 74 65 78 5f 61 6c 6c 6f 63 28 29 20 65  _mutex_alloc() e
1300: 61 63 68 20 72 65 74 75 72 6e 0a 2a 2a 20 61 20  ach return.** a 
1310: 70 6f 69 6e 74 65 72 20 74 6f 20 61 20 73 74 61  pointer to a sta
1320: 74 69 63 20 70 72 65 65 78 69 73 74 69 6e 67 20  tic preexisting 
1330: 6d 75 74 65 78 2e 20 20 53 69 78 20 73 74 61 74  mutex.  Six stat
1340: 69 63 20 6d 75 74 65 78 65 73 20 61 72 65 0a 2a  ic mutexes are.*
1350: 2a 20 75 73 65 64 20 62 79 20 74 68 65 20 63 75  * used by the cu
1360: 72 72 65 6e 74 20 76 65 72 73 69 6f 6e 20 6f 66  rrent version of
1370: 20 53 51 4c 69 74 65 2e 20 20 46 75 74 75 72 65   SQLite.  Future
1380: 20 76 65 72 73 69 6f 6e 73 20 6f 66 20 53 51 4c   versions of SQL
1390: 69 74 65 0a 2a 2a 20 6d 61 79 20 61 64 64 20 61  ite.** may add a
13a0: 64 64 69 74 69 6f 6e 61 6c 20 73 74 61 74 69 63  dditional static
13b0: 20 6d 75 74 65 78 65 73 2e 20 20 53 74 61 74 69   mutexes.  Stati
13c0: 63 20 6d 75 74 65 78 65 73 20 61 72 65 20 66 6f  c mutexes are fo
13d0: 72 20 69 6e 74 65 72 6e 61 6c 0a 2a 2a 20 75 73  r internal.** us
13e0: 65 20 62 79 20 53 51 4c 69 74 65 20 6f 6e 6c 79  e by SQLite only
13f0: 2e 20 20 41 70 70 6c 69 63 61 74 69 6f 6e 73 20  .  Applications 
1400: 74 68 61 74 20 75 73 65 20 53 51 4c 69 74 65 20  that use SQLite 
1410: 6d 75 74 65 78 65 73 20 73 68 6f 75 6c 64 0a 2a  mutexes should.*
1420: 2a 20 75 73 65 20 6f 6e 6c 79 20 74 68 65 20 64  * use only the d
1430: 79 6e 61 6d 69 63 20 6d 75 74 65 78 65 73 20 72  ynamic mutexes r
1440: 65 74 75 72 6e 65 64 20 62 79 20 53 51 4c 49 54  eturned by SQLIT
1450: 45 5f 4d 55 54 45 58 5f 46 41 53 54 20 6f 72 0a  E_MUTEX_FAST or.
1460: 2a 2a 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f  ** SQLITE_MUTEX_
1470: 52 45 43 55 52 53 49 56 45 2e 0a 2a 2a 0a 2a 2a  RECURSIVE..**.**
1480: 20 4e 6f 74 65 20 74 68 61 74 20 69 66 20 6f 6e   Note that if on
1490: 65 20 6f 66 20 74 68 65 20 64 79 6e 61 6d 69 63  e of the dynamic
14a0: 20 6d 75 74 65 78 20 70 61 72 61 6d 65 74 65 72   mutex parameter
14b0: 73 20 28 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f  s (SQLITE_MUTEX_
14c0: 46 41 53 54 0a 2a 2a 20 6f 72 20 53 51 4c 49 54  FAST.** or SQLIT
14d0: 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56  E_MUTEX_RECURSIV
14e0: 45 29 20 69 73 20 75 73 65 64 20 74 68 65 6e 20  E) is used then 
14f0: 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 61 6c  sqlite3_mutex_al
1500: 6c 6f 63 28 29 0a 2a 2a 20 72 65 74 75 72 6e 73  loc().** returns
1510: 20 61 20 64 69 66 66 65 72 65 6e 74 20 6d 75 74   a different mut
1520: 65 78 20 6f 6e 20 65 76 65 72 79 20 63 61 6c 6c  ex on every call
1530: 2e 20 20 42 75 74 20 66 6f 72 20 74 68 65 20 73  .  But for the s
1540: 74 61 74 69 63 20 0a 2a 2a 20 6d 75 74 65 78 20  tatic .** mutex 
1550: 74 79 70 65 73 2c 20 74 68 65 20 73 61 6d 65 20  types, the same 
1560: 6d 75 74 65 78 20 69 73 20 72 65 74 75 72 6e 65  mutex is returne
1570: 64 20 6f 6e 20 65 76 65 72 79 20 63 61 6c 6c 20  d on every call 
1580: 74 68 61 74 20 68 61 73 0a 2a 2a 20 74 68 65 20  that has.** the 
1590: 73 61 6d 65 20 74 79 70 65 20 6e 75 6d 62 65 72  same type number
15a0: 2e 0a 2a 2f 0a 73 74 61 74 69 63 20 73 71 6c 69  ..*/.static sqli
15b0: 74 65 33 5f 6d 75 74 65 78 20 2a 70 74 68 72 65  te3_mutex *pthre
15c0: 61 64 4d 75 74 65 78 41 6c 6c 6f 63 28 69 6e 74  adMutexAlloc(int
15d0: 20 69 54 79 70 65 29 7b 0a 20 20 73 74 61 74 69   iType){.  stati
15e0: 63 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20  c sqlite3_mutex 
15f0: 73 74 61 74 69 63 4d 75 74 65 78 65 73 5b 5d 20  staticMutexes[] 
1600: 3d 20 7b 0a 20 20 20 20 53 51 4c 49 54 45 33 5f  = {.    SQLITE3_
1610: 4d 55 54 45 58 5f 49 4e 49 54 49 41 4c 49 5a 45  MUTEX_INITIALIZE
1620: 52 2c 0a 20 20 20 20 53 51 4c 49 54 45 33 5f 4d  R,.    SQLITE3_M
1630: 55 54 45 58 5f 49 4e 49 54 49 41 4c 49 5a 45 52  UTEX_INITIALIZER
1640: 2c 0a 20 20 20 20 53 51 4c 49 54 45 33 5f 4d 55  ,.    SQLITE3_MU
1650: 54 45 58 5f 49 4e 49 54 49 41 4c 49 5a 45 52 2c  TEX_INITIALIZER,
1660: 0a 20 20 20 20 53 51 4c 49 54 45 33 5f 4d 55 54  .    SQLITE3_MUT
1670: 45 58 5f 49 4e 49 54 49 41 4c 49 5a 45 52 2c 0a  EX_INITIALIZER,.
1680: 20 20 20 20 53 51 4c 49 54 45 33 5f 4d 55 54 45      SQLITE3_MUTE
1690: 58 5f 49 4e 49 54 49 41 4c 49 5a 45 52 2c 0a 20  X_INITIALIZER,. 
16a0: 20 20 20 53 51 4c 49 54 45 33 5f 4d 55 54 45 58     SQLITE3_MUTEX
16b0: 5f 49 4e 49 54 49 41 4c 49 5a 45 52 2c 0a 20 20  _INITIALIZER,.  
16c0: 20 20 53 51 4c 49 54 45 33 5f 4d 55 54 45 58 5f    SQLITE3_MUTEX_
16d0: 49 4e 49 54 49 41 4c 49 5a 45 52 2c 0a 20 20 20  INITIALIZER,.   
16e0: 20 53 51 4c 49 54 45 33 5f 4d 55 54 45 58 5f 49   SQLITE3_MUTEX_I
16f0: 4e 49 54 49 41 4c 49 5a 45 52 2c 0a 20 20 20 20  NITIALIZER,.    
1700: 53 51 4c 49 54 45 33 5f 4d 55 54 45 58 5f 49 4e  SQLITE3_MUTEX_IN
1710: 49 54 49 41 4c 49 5a 45 52 2c 0a 20 20 20 20 53  ITIALIZER,.    S
1720: 51 4c 49 54 45 33 5f 4d 55 54 45 58 5f 49 4e 49  QLITE3_MUTEX_INI
1730: 54 49 41 4c 49 5a 45 52 2c 0a 20 20 20 20 53 51  TIALIZER,.    SQ
1740: 4c 49 54 45 33 5f 4d 55 54 45 58 5f 49 4e 49 54  LITE3_MUTEX_INIT
1750: 49 41 4c 49 5a 45 52 2c 0a 20 20 20 20 53 51 4c  IALIZER,.    SQL
1760: 49 54 45 33 5f 4d 55 54 45 58 5f 49 4e 49 54 49  ITE3_MUTEX_INITI
1770: 41 4c 49 5a 45 52 0a 20 20 7d 3b 0a 20 20 73 71  ALIZER.  };.  sq
1780: 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a 70 3b 0a  lite3_mutex *p;.
1790: 20 20 73 77 69 74 63 68 28 20 69 54 79 70 65 20    switch( iType 
17a0: 29 7b 0a 20 20 20 20 63 61 73 65 20 53 51 4c 49  ){.    case SQLI
17b0: 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49  TE_MUTEX_RECURSI
17c0: 56 45 3a 20 7b 0a 20 20 20 20 20 20 70 20 3d 20  VE: {.      p = 
17d0: 73 71 6c 69 74 65 33 4d 61 6c 6c 6f 63 5a 65 72  sqlite3MallocZer
17e0: 6f 28 20 73 69 7a 65 6f 66 28 2a 70 29 20 29 3b  o( sizeof(*p) );
17f0: 0a 20 20 20 20 20 20 69 66 28 20 70 20 29 7b 0a  .      if( p ){.
1800: 23 69 66 64 65 66 20 53 51 4c 49 54 45 5f 48 4f  #ifdef SQLITE_HO
1810: 4d 45 47 52 4f 57 4e 5f 52 45 43 55 52 53 49 56  MEGROWN_RECURSIV
1820: 45 5f 4d 55 54 45 58 0a 20 20 20 20 20 20 20 20  E_MUTEX.        
1830: 2f 2a 20 49 66 20 72 65 63 75 72 73 69 76 65 20  /* If recursive 
1840: 6d 75 74 65 78 65 73 20 61 72 65 20 6e 6f 74 20  mutexes are not 
1850: 61 76 61 69 6c 61 62 6c 65 2c 20 77 65 20 77 69  available, we wi
1860: 6c 6c 20 68 61 76 65 20 74 6f 0a 20 20 20 20 20  ll have to.     
1870: 20 20 20 2a 2a 20 62 75 69 6c 64 20 6f 75 72 20     ** build our 
1880: 6f 77 6e 2e 20 20 53 65 65 20 62 65 6c 6f 77 2e  own.  See below.
1890: 20 2a 2f 0a 20 20 20 20 20 20 20 20 70 74 68 72   */.        pthr
18a0: 65 61 64 5f 6d 75 74 65 78 5f 69 6e 69 74 28 26  ead_mutex_init(&
18b0: 70 2d 3e 6d 75 74 65 78 2c 20 30 29 3b 0a 23 65  p->mutex, 0);.#e
18c0: 6c 73 65 0a 20 20 20 20 20 20 20 20 2f 2a 20 55  lse.        /* U
18d0: 73 65 20 61 20 72 65 63 75 72 73 69 76 65 20 6d  se a recursive m
18e0: 75 74 65 78 20 69 66 20 69 74 20 69 73 20 61 76  utex if it is av
18f0: 61 69 6c 61 62 6c 65 20 2a 2f 0a 20 20 20 20 20  ailable */.     
1900: 20 20 20 70 74 68 72 65 61 64 5f 6d 75 74 65 78     pthread_mutex
1910: 61 74 74 72 5f 74 20 72 65 63 75 72 73 69 76 65  attr_t recursive
1920: 41 74 74 72 3b 0a 20 20 20 20 20 20 20 20 70 74  Attr;.        pt
1930: 68 72 65 61 64 5f 6d 75 74 65 78 61 74 74 72 5f  hread_mutexattr_
1940: 69 6e 69 74 28 26 72 65 63 75 72 73 69 76 65 41  init(&recursiveA
1950: 74 74 72 29 3b 0a 20 20 20 20 20 20 20 20 70 74  ttr);.        pt
1960: 68 72 65 61 64 5f 6d 75 74 65 78 61 74 74 72 5f  hread_mutexattr_
1970: 73 65 74 74 79 70 65 28 26 72 65 63 75 72 73 69  settype(&recursi
1980: 76 65 41 74 74 72 2c 20 50 54 48 52 45 41 44 5f  veAttr, PTHREAD_
1990: 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56 45 29  MUTEX_RECURSIVE)
19a0: 3b 0a 20 20 20 20 20 20 20 20 70 74 68 72 65 61  ;.        pthrea
19b0: 64 5f 6d 75 74 65 78 5f 69 6e 69 74 28 26 70 2d  d_mutex_init(&p-
19c0: 3e 6d 75 74 65 78 2c 20 26 72 65 63 75 72 73 69  >mutex, &recursi
19d0: 76 65 41 74 74 72 29 3b 0a 20 20 20 20 20 20 20  veAttr);.       
19e0: 20 70 74 68 72 65 61 64 5f 6d 75 74 65 78 61 74   pthread_mutexat
19f0: 74 72 5f 64 65 73 74 72 6f 79 28 26 72 65 63 75  tr_destroy(&recu
1a00: 72 73 69 76 65 41 74 74 72 29 3b 0a 23 65 6e 64  rsiveAttr);.#end
1a10: 69 66 0a 20 20 20 20 20 20 7d 0a 20 20 20 20 20  if.      }.     
1a20: 20 62 72 65 61 6b 3b 0a 20 20 20 20 7d 0a 20 20   break;.    }.  
1a30: 20 20 63 61 73 65 20 53 51 4c 49 54 45 5f 4d 55    case SQLITE_MU
1a40: 54 45 58 5f 46 41 53 54 3a 20 7b 0a 20 20 20 20  TEX_FAST: {.    
1a50: 20 20 70 20 3d 20 73 71 6c 69 74 65 33 4d 61 6c    p = sqlite3Mal
1a60: 6c 6f 63 5a 65 72 6f 28 20 73 69 7a 65 6f 66 28  locZero( sizeof(
1a70: 2a 70 29 20 29 3b 0a 20 20 20 20 20 20 69 66 28  *p) );.      if(
1a80: 20 70 20 29 7b 0a 20 20 20 20 20 20 20 20 70 74   p ){.        pt
1a90: 68 72 65 61 64 5f 6d 75 74 65 78 5f 69 6e 69 74  hread_mutex_init
1aa0: 28 26 70 2d 3e 6d 75 74 65 78 2c 20 30 29 3b 0a  (&p->mutex, 0);.
1ab0: 20 20 20 20 20 20 7d 0a 20 20 20 20 20 20 62 72        }.      br
1ac0: 65 61 6b 3b 0a 20 20 20 20 7d 0a 20 20 20 20 64  eak;.    }.    d
1ad0: 65 66 61 75 6c 74 3a 20 7b 0a 23 69 66 64 65 66  efault: {.#ifdef
1ae0: 20 53 51 4c 49 54 45 5f 45 4e 41 42 4c 45 5f 41   SQLITE_ENABLE_A
1af0: 50 49 5f 41 52 4d 4f 52 0a 20 20 20 20 20 20 69  PI_ARMOR.      i
1b00: 66 28 20 69 54 79 70 65 2d 32 3c 30 20 7c 7c 20  f( iType-2<0 || 
1b10: 69 54 79 70 65 2d 32 3e 3d 41 72 72 61 79 53 69  iType-2>=ArraySi
1b20: 7a 65 28 73 74 61 74 69 63 4d 75 74 65 78 65 73  ze(staticMutexes
1b30: 29 20 29 7b 0a 20 20 20 20 20 20 20 20 28 76 6f  ) ){.        (vo
1b40: 69 64 29 53 51 4c 49 54 45 5f 4d 49 53 55 53 45  id)SQLITE_MISUSE
1b50: 5f 42 4b 50 54 3b 0a 20 20 20 20 20 20 20 20 72  _BKPT;.        r
1b60: 65 74 75 72 6e 20 30 3b 0a 20 20 20 20 20 20 7d  eturn 0;.      }
1b70: 0a 23 65 6e 64 69 66 0a 20 20 20 20 20 20 70 20  .#endif.      p 
1b80: 3d 20 26 73 74 61 74 69 63 4d 75 74 65 78 65 73  = &staticMutexes
1b90: 5b 69 54 79 70 65 2d 32 5d 3b 0a 20 20 20 20 20  [iType-2];.     
1ba0: 20 62 72 65 61 6b 3b 0a 20 20 20 20 7d 0a 20 20   break;.    }.  
1bb0: 7d 0a 23 69 66 20 53 51 4c 49 54 45 5f 4d 55 54  }.#if SQLITE_MUT
1bc0: 45 58 5f 4e 52 45 46 20 7c 7c 20 64 65 66 69 6e  EX_NREF || defin
1bd0: 65 64 28 53 51 4c 49 54 45 5f 45 4e 41 42 4c 45  ed(SQLITE_ENABLE
1be0: 5f 41 50 49 5f 41 52 4d 4f 52 29 0a 20 20 69 66  _API_ARMOR).  if
1bf0: 28 20 70 20 29 20 70 2d 3e 69 64 20 3d 20 69 54  ( p ) p->id = iT
1c00: 79 70 65 3b 0a 23 65 6e 64 69 66 0a 20 20 72 65  ype;.#endif.  re
1c10: 74 75 72 6e 20 70 3b 0a 7d 0a 0a 0a 2f 2a 0a 2a  turn p;.}.../*.*
1c20: 2a 20 54 68 69 73 20 72 6f 75 74 69 6e 65 20 64  * This routine d
1c30: 65 61 6c 6c 6f 63 61 74 65 73 20 61 20 70 72 65  eallocates a pre
1c40: 76 69 6f 75 73 6c 79 0a 2a 2a 20 61 6c 6c 6f 63  viously.** alloc
1c50: 61 74 65 64 20 6d 75 74 65 78 2e 20 20 53 51 4c  ated mutex.  SQL
1c60: 69 74 65 20 69 73 20 63 61 72 65 66 75 6c 20 74  ite is careful t
1c70: 6f 20 64 65 61 6c 6c 6f 63 61 74 65 20 65 76 65  o deallocate eve
1c80: 72 79 0a 2a 2a 20 6d 75 74 65 78 20 74 68 61 74  ry.** mutex that
1c90: 20 69 74 20 61 6c 6c 6f 63 61 74 65 73 2e 0a 2a   it allocates..*
1ca0: 2f 0a 73 74 61 74 69 63 20 76 6f 69 64 20 70 74  /.static void pt
1cb0: 68 72 65 61 64 4d 75 74 65 78 46 72 65 65 28 73  hreadMutexFree(s
1cc0: 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a 70 29  qlite3_mutex *p)
1cd0: 7b 0a 20 20 61 73 73 65 72 74 28 20 70 2d 3e 6e  {.  assert( p->n
1ce0: 52 65 66 3d 3d 30 20 29 3b 0a 23 69 66 20 53 51  Ref==0 );.#if SQ
1cf0: 4c 49 54 45 5f 45 4e 41 42 4c 45 5f 41 50 49 5f  LITE_ENABLE_API_
1d00: 41 52 4d 4f 52 0a 20 20 69 66 28 20 70 2d 3e 69  ARMOR.  if( p->i
1d10: 64 3d 3d 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f  d==SQLITE_MUTEX_
1d20: 46 41 53 54 20 7c 7c 20 70 2d 3e 69 64 3d 3d 53  FAST || p->id==S
1d30: 51 4c 49 54 45 5f 4d 55 54 45 58 5f 52 45 43 55  QLITE_MUTEX_RECU
1d40: 52 53 49 56 45 20 29 0a 23 65 6e 64 69 66 0a 20  RSIVE ).#endif. 
1d50: 20 7b 0a 20 20 20 20 70 74 68 72 65 61 64 5f 6d   {.    pthread_m
1d60: 75 74 65 78 5f 64 65 73 74 72 6f 79 28 26 70 2d  utex_destroy(&p-
1d70: 3e 6d 75 74 65 78 29 3b 0a 20 20 20 20 73 71 6c  >mutex);.    sql
1d80: 69 74 65 33 5f 66 72 65 65 28 70 29 3b 0a 20 20  ite3_free(p);.  
1d90: 7d 0a 23 69 66 64 65 66 20 53 51 4c 49 54 45 5f  }.#ifdef SQLITE_
1da0: 45 4e 41 42 4c 45 5f 41 50 49 5f 41 52 4d 4f 52  ENABLE_API_ARMOR
1db0: 0a 20 20 65 6c 73 65 7b 0a 20 20 20 20 28 76 6f  .  else{.    (vo
1dc0: 69 64 29 53 51 4c 49 54 45 5f 4d 49 53 55 53 45  id)SQLITE_MISUSE
1dd0: 5f 42 4b 50 54 3b 0a 20 20 7d 0a 23 65 6e 64 69  _BKPT;.  }.#endi
1de0: 66 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 54 68 65 20 73  f.}../*.** The s
1df0: 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 65 6e 74  qlite3_mutex_ent
1e00: 65 72 28 29 20 61 6e 64 20 73 71 6c 69 74 65 33  er() and sqlite3
1e10: 5f 6d 75 74 65 78 5f 74 72 79 28 29 20 72 6f 75  _mutex_try() rou
1e20: 74 69 6e 65 73 20 61 74 74 65 6d 70 74 0a 2a 2a  tines attempt.**
1e30: 20 74 6f 20 65 6e 74 65 72 20 61 20 6d 75 74 65   to enter a mute
1e40: 78 2e 20 20 49 66 20 61 6e 6f 74 68 65 72 20 74  x.  If another t
1e50: 68 72 65 61 64 20 69 73 20 61 6c 72 65 61 64 79  hread is already
1e60: 20 77 69 74 68 69 6e 20 74 68 65 20 6d 75 74 65   within the mute
1e70: 78 2c 0a 2a 2a 20 73 71 6c 69 74 65 33 5f 6d 75  x,.** sqlite3_mu
1e80: 74 65 78 5f 65 6e 74 65 72 28 29 20 77 69 6c 6c  tex_enter() will
1e90: 20 62 6c 6f 63 6b 20 61 6e 64 20 73 71 6c 69 74   block and sqlit
1ea0: 65 33 5f 6d 75 74 65 78 5f 74 72 79 28 29 20 77  e3_mutex_try() w
1eb0: 69 6c 6c 20 72 65 74 75 72 6e 0a 2a 2a 20 53 51  ill return.** SQ
1ec0: 4c 49 54 45 5f 42 55 53 59 2e 20 20 54 68 65 20  LITE_BUSY.  The 
1ed0: 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 74 72  sqlite3_mutex_tr
1ee0: 79 28 29 20 69 6e 74 65 72 66 61 63 65 20 72 65  y() interface re
1ef0: 74 75 72 6e 73 20 53 51 4c 49 54 45 5f 4f 4b 0a  turns SQLITE_OK.
1f00: 2a 2a 20 75 70 6f 6e 20 73 75 63 63 65 73 73 66  ** upon successf
1f10: 75 6c 20 65 6e 74 72 79 2e 20 20 4d 75 74 65 78  ul entry.  Mutex
1f20: 65 73 20 63 72 65 61 74 65 64 20 75 73 69 6e 67  es created using
1f30: 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 52 45   SQLITE_MUTEX_RE
1f40: 43 55 52 53 49 56 45 20 63 61 6e 0a 2a 2a 20 62  CURSIVE can.** b
1f50: 65 20 65 6e 74 65 72 65 64 20 6d 75 6c 74 69 70  e entered multip
1f60: 6c 65 20 74 69 6d 65 73 20 62 79 20 74 68 65 20  le times by the 
1f70: 73 61 6d 65 20 74 68 72 65 61 64 2e 20 20 49 6e  same thread.  In
1f80: 20 73 75 63 68 20 63 61 73 65 73 20 74 68 65 2c   such cases the,
1f90: 0a 2a 2a 20 6d 75 74 65 78 20 6d 75 73 74 20 62  .** mutex must b
1fa0: 65 20 65 78 69 74 65 64 20 61 6e 20 65 71 75 61  e exited an equa
1fb0: 6c 20 6e 75 6d 62 65 72 20 6f 66 20 74 69 6d 65  l number of time
1fc0: 73 20 62 65 66 6f 72 65 20 61 6e 6f 74 68 65 72  s before another
1fd0: 20 74 68 72 65 61 64 0a 2a 2a 20 63 61 6e 20 65   thread.** can e
1fe0: 6e 74 65 72 2e 20 20 49 66 20 74 68 65 20 73 61  nter.  If the sa
1ff0: 6d 65 20 74 68 72 65 61 64 20 74 72 69 65 73 20  me thread tries 
2000: 74 6f 20 65 6e 74 65 72 20 61 6e 79 20 6f 74 68  to enter any oth
2010: 65 72 20 6b 69 6e 64 20 6f 66 20 6d 75 74 65 78  er kind of mutex
2020: 0a 2a 2a 20 6d 6f 72 65 20 74 68 61 6e 20 6f 6e  .** more than on
2030: 63 65 2c 20 74 68 65 20 62 65 68 61 76 69 6f 72  ce, the behavior
2040: 20 69 73 20 75 6e 64 65 66 69 6e 65 64 2e 0a 2a   is undefined..*
2050: 2f 0a 73 74 61 74 69 63 20 76 6f 69 64 20 70 74  /.static void pt
2060: 68 72 65 61 64 4d 75 74 65 78 45 6e 74 65 72 28  hreadMutexEnter(
2070: 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a 70  sqlite3_mutex *p
2080: 29 7b 0a 20 20 61 73 73 65 72 74 28 20 70 2d 3e  ){.  assert( p->
2090: 69 64 3d 3d 53 51 4c 49 54 45 5f 4d 55 54 45 58  id==SQLITE_MUTEX
20a0: 5f 52 45 43 55 52 53 49 56 45 20 7c 7c 20 70 74  _RECURSIVE || pt
20b0: 68 72 65 61 64 4d 75 74 65 78 4e 6f 74 68 65 6c  hreadMutexNothel
20c0: 64 28 70 29 20 29 3b 0a 0a 23 69 66 64 65 66 20  d(p) );..#ifdef 
20d0: 53 51 4c 49 54 45 5f 48 4f 4d 45 47 52 4f 57 4e  SQLITE_HOMEGROWN
20e0: 5f 52 45 43 55 52 53 49 56 45 5f 4d 55 54 45 58  _RECURSIVE_MUTEX
20f0: 0a 20 20 2f 2a 20 49 66 20 72 65 63 75 72 73 69  .  /* If recursi
2100: 76 65 20 6d 75 74 65 78 65 73 20 61 72 65 20 6e  ve mutexes are n
2110: 6f 74 20 61 76 61 69 6c 61 62 6c 65 2c 20 74 68  ot available, th
2120: 65 6e 20 77 65 20 68 61 76 65 20 74 6f 20 67 72  en we have to gr
2130: 6f 77 0a 20 20 2a 2a 20 6f 75 72 20 6f 77 6e 2e  ow.  ** our own.
2140: 20 20 54 68 69 73 20 69 6d 70 6c 65 6d 65 6e 74    This implement
2150: 61 74 69 6f 6e 20 61 73 73 75 6d 65 73 20 74 68  ation assumes th
2160: 61 74 20 70 74 68 72 65 61 64 5f 65 71 75 61 6c  at pthread_equal
2170: 28 29 0a 20 20 2a 2a 20 69 73 20 61 74 6f 6d 69  ().  ** is atomi
2180: 63 20 2d 20 74 68 61 74 20 69 74 20 63 61 6e 6e  c - that it cann
2190: 6f 74 20 62 65 20 64 65 63 65 69 76 65 64 20 69  ot be deceived i
21a0: 6e 74 6f 20 74 68 69 6e 6b 69 6e 67 20 73 65 6c  nto thinking sel
21b0: 66 0a 20 20 2a 2a 20 61 6e 64 20 70 2d 3e 6f 77  f.  ** and p->ow
21c0: 6e 65 72 20 61 72 65 20 65 71 75 61 6c 20 69 66  ner are equal if
21d0: 20 70 2d 3e 6f 77 6e 65 72 20 63 68 61 6e 67 65   p->owner change
21e0: 73 20 62 65 74 77 65 65 6e 20 74 77 6f 20 76 61  s between two va
21f0: 6c 75 65 73 0a 20 20 2a 2a 20 74 68 61 74 20 61  lues.  ** that a
2200: 72 65 20 6e 6f 74 20 65 71 75 61 6c 20 74 6f 20  re not equal to 
2210: 73 65 6c 66 20 77 68 69 6c 65 20 74 68 65 20 63  self while the c
2220: 6f 6d 70 61 72 69 73 6f 6e 20 69 73 20 74 61 6b  omparison is tak
2230: 69 6e 67 20 70 6c 61 63 65 2e 0a 20 20 2a 2a 20  ing place..  ** 
2240: 54 68 69 73 20 69 6d 70 6c 65 6d 65 6e 74 61 74  This implementat
2250: 69 6f 6e 20 61 6c 73 6f 20 61 73 73 75 6d 65 73  ion also assumes
2260: 20 61 20 63 6f 68 65 72 65 6e 74 20 63 61 63 68   a coherent cach
2270: 65 20 2d 20 74 68 61 74 20 0a 20 20 2a 2a 20 73  e - that .  ** s
2280: 65 70 61 72 61 74 65 20 70 72 6f 63 65 73 73 65  eparate processe
2290: 73 20 63 61 6e 6e 6f 74 20 72 65 61 64 20 64 69  s cannot read di
22a0: 66 66 65 72 65 6e 74 20 76 61 6c 75 65 73 20 66  fferent values f
22b0: 72 6f 6d 20 74 68 65 20 73 61 6d 65 0a 20 20 2a  rom the same.  *
22c0: 2a 20 61 64 64 72 65 73 73 20 61 74 20 74 68 65  * address at the
22d0: 20 73 61 6d 65 20 74 69 6d 65 2e 20 20 49 66 20   same time.  If 
22e0: 65 69 74 68 65 72 20 6f 66 20 74 68 65 73 65 20  either of these 
22f0: 74 77 6f 20 63 6f 6e 64 69 74 69 6f 6e 73 0a 20  two conditions. 
2300: 20 2a 2a 20 61 72 65 20 6e 6f 74 20 6d 65 74 2c   ** are not met,
2310: 20 74 68 65 6e 20 74 68 65 20 6d 75 74 65 78 65   then the mutexe
2320: 73 20 77 69 6c 6c 20 66 61 69 6c 20 61 6e 64 20  s will fail and 
2330: 70 72 6f 62 6c 65 6d 73 20 77 69 6c 6c 20 72 65  problems will re
2340: 73 75 6c 74 2e 0a 20 20 2a 2f 0a 20 20 7b 0a 20  sult..  */.  {. 
2350: 20 20 20 70 74 68 72 65 61 64 5f 74 20 73 65 6c     pthread_t sel
2360: 66 20 3d 20 70 74 68 72 65 61 64 5f 73 65 6c 66  f = pthread_self
2370: 28 29 3b 0a 20 20 20 20 69 66 28 20 70 2d 3e 6e  ();.    if( p->n
2380: 52 65 66 3e 30 20 26 26 20 70 74 68 72 65 61 64  Ref>0 && pthread
2390: 5f 65 71 75 61 6c 28 70 2d 3e 6f 77 6e 65 72 2c  _equal(p->owner,
23a0: 20 73 65 6c 66 29 20 29 7b 0a 20 20 20 20 20 20   self) ){.      
23b0: 70 2d 3e 6e 52 65 66 2b 2b 3b 0a 20 20 20 20 7d  p->nRef++;.    }
23c0: 65 6c 73 65 7b 0a 20 20 20 20 20 20 70 74 68 72  else{.      pthr
23d0: 65 61 64 5f 6d 75 74 65 78 5f 6c 6f 63 6b 28 26  ead_mutex_lock(&
23e0: 70 2d 3e 6d 75 74 65 78 29 3b 0a 20 20 20 20 20  p->mutex);.     
23f0: 20 61 73 73 65 72 74 28 20 70 2d 3e 6e 52 65 66   assert( p->nRef
2400: 3d 3d 30 20 29 3b 0a 20 20 20 20 20 20 70 2d 3e  ==0 );.      p->
2410: 6f 77 6e 65 72 20 3d 20 73 65 6c 66 3b 0a 20 20  owner = self;.  
2420: 20 20 20 20 70 2d 3e 6e 52 65 66 20 3d 20 31 3b      p->nRef = 1;
2430: 0a 20 20 20 20 7d 0a 20 20 7d 0a 23 65 6c 73 65  .    }.  }.#else
2440: 0a 20 20 2f 2a 20 55 73 65 20 74 68 65 20 62 75  .  /* Use the bu
2450: 69 6c 74 2d 69 6e 20 72 65 63 75 72 73 69 76 65  ilt-in recursive
2460: 20 6d 75 74 65 78 65 73 20 69 66 20 74 68 65 79   mutexes if they
2470: 20 61 72 65 20 61 76 61 69 6c 61 62 6c 65 2e 0a   are available..
2480: 20 20 2a 2f 0a 20 20 70 74 68 72 65 61 64 5f 6d    */.  pthread_m
2490: 75 74 65 78 5f 6c 6f 63 6b 28 26 70 2d 3e 6d 75  utex_lock(&p->mu
24a0: 74 65 78 29 3b 0a 23 69 66 20 53 51 4c 49 54 45  tex);.#if SQLITE
24b0: 5f 4d 55 54 45 58 5f 4e 52 45 46 0a 20 20 61 73  _MUTEX_NREF.  as
24c0: 73 65 72 74 28 20 70 2d 3e 6e 52 65 66 3e 30 20  sert( p->nRef>0 
24d0: 7c 7c 20 70 2d 3e 6f 77 6e 65 72 3d 3d 30 20 29  || p->owner==0 )
24e0: 3b 0a 20 20 70 2d 3e 6f 77 6e 65 72 20 3d 20 70  ;.  p->owner = p
24f0: 74 68 72 65 61 64 5f 73 65 6c 66 28 29 3b 0a 20  thread_self();. 
2500: 20 70 2d 3e 6e 52 65 66 2b 2b 3b 0a 23 65 6e 64   p->nRef++;.#end
2510: 69 66 0a 23 65 6e 64 69 66 0a 0a 23 69 66 64 65  if.#endif..#ifde
2520: 66 20 53 51 4c 49 54 45 5f 44 45 42 55 47 0a 20  f SQLITE_DEBUG. 
2530: 20 69 66 28 20 70 2d 3e 74 72 61 63 65 20 29 7b   if( p->trace ){
2540: 0a 20 20 20 20 70 72 69 6e 74 66 28 22 65 6e 74  .    printf("ent
2550: 65 72 20 6d 75 74 65 78 20 25 70 20 28 25 64 29  er mutex %p (%d)
2560: 20 77 69 74 68 20 6e 52 65 66 3d 25 64 5c 6e 22   with nRef=%d\n"
2570: 2c 20 70 2c 20 70 2d 3e 74 72 61 63 65 2c 20 70  , p, p->trace, p
2580: 2d 3e 6e 52 65 66 29 3b 0a 20 20 7d 0a 23 65 6e  ->nRef);.  }.#en
2590: 64 69 66 0a 7d 0a 73 74 61 74 69 63 20 69 6e 74  dif.}.static int
25a0: 20 70 74 68 72 65 61 64 4d 75 74 65 78 54 72 79   pthreadMutexTry
25b0: 28 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a  (sqlite3_mutex *
25c0: 70 29 7b 0a 20 20 69 6e 74 20 72 63 3b 0a 20 20  p){.  int rc;.  
25d0: 61 73 73 65 72 74 28 20 70 2d 3e 69 64 3d 3d 53  assert( p->id==S
25e0: 51 4c 49 54 45 5f 4d 55 54 45 58 5f 52 45 43 55  QLITE_MUTEX_RECU
25f0: 52 53 49 56 45 20 7c 7c 20 70 74 68 72 65 61 64  RSIVE || pthread
2600: 4d 75 74 65 78 4e 6f 74 68 65 6c 64 28 70 29 20  MutexNotheld(p) 
2610: 29 3b 0a 0a 23 69 66 64 65 66 20 53 51 4c 49 54  );..#ifdef SQLIT
2620: 45 5f 48 4f 4d 45 47 52 4f 57 4e 5f 52 45 43 55  E_HOMEGROWN_RECU
2630: 52 53 49 56 45 5f 4d 55 54 45 58 0a 20 20 2f 2a  RSIVE_MUTEX.  /*
2640: 20 49 66 20 72 65 63 75 72 73 69 76 65 20 6d 75   If recursive mu
2650: 74 65 78 65 73 20 61 72 65 20 6e 6f 74 20 61 76  texes are not av
2660: 61 69 6c 61 62 6c 65 2c 20 74 68 65 6e 20 77 65  ailable, then we
2670: 20 68 61 76 65 20 74 6f 20 67 72 6f 77 0a 20 20   have to grow.  
2680: 2a 2a 20 6f 75 72 20 6f 77 6e 2e 20 20 54 68 69  ** our own.  Thi
2690: 73 20 69 6d 70 6c 65 6d 65 6e 74 61 74 69 6f 6e  s implementation
26a0: 20 61 73 73 75 6d 65 73 20 74 68 61 74 20 70 74   assumes that pt
26b0: 68 72 65 61 64 5f 65 71 75 61 6c 28 29 0a 20 20  hread_equal().  
26c0: 2a 2a 20 69 73 20 61 74 6f 6d 69 63 20 2d 20 74  ** is atomic - t
26d0: 68 61 74 20 69 74 20 63 61 6e 6e 6f 74 20 62 65  hat it cannot be
26e0: 20 64 65 63 65 69 76 65 64 20 69 6e 74 6f 20 74   deceived into t
26f0: 68 69 6e 6b 69 6e 67 20 73 65 6c 66 0a 20 20 2a  hinking self.  *
2700: 2a 20 61 6e 64 20 70 2d 3e 6f 77 6e 65 72 20 61  * and p->owner a
2710: 72 65 20 65 71 75 61 6c 20 69 66 20 70 2d 3e 6f  re equal if p->o
2720: 77 6e 65 72 20 63 68 61 6e 67 65 73 20 62 65 74  wner changes bet
2730: 77 65 65 6e 20 74 77 6f 20 76 61 6c 75 65 73 0a  ween two values.
2740: 20 20 2a 2a 20 74 68 61 74 20 61 72 65 20 6e 6f    ** that are no
2750: 74 20 65 71 75 61 6c 20 74 6f 20 73 65 6c 66 20  t equal to self 
2760: 77 68 69 6c 65 20 74 68 65 20 63 6f 6d 70 61 72  while the compar
2770: 69 73 6f 6e 20 69 73 20 74 61 6b 69 6e 67 20 70  ison is taking p
2780: 6c 61 63 65 2e 0a 20 20 2a 2a 20 54 68 69 73 20  lace..  ** This 
2790: 69 6d 70 6c 65 6d 65 6e 74 61 74 69 6f 6e 20 61  implementation a
27a0: 6c 73 6f 20 61 73 73 75 6d 65 73 20 61 20 63 6f  lso assumes a co
27b0: 68 65 72 65 6e 74 20 63 61 63 68 65 20 2d 20 74  herent cache - t
27c0: 68 61 74 20 0a 20 20 2a 2a 20 73 65 70 61 72 61  hat .  ** separa
27d0: 74 65 20 70 72 6f 63 65 73 73 65 73 20 63 61 6e  te processes can
27e0: 6e 6f 74 20 72 65 61 64 20 64 69 66 66 65 72 65  not read differe
27f0: 6e 74 20 76 61 6c 75 65 73 20 66 72 6f 6d 20 74  nt values from t
2800: 68 65 20 73 61 6d 65 0a 20 20 2a 2a 20 61 64 64  he same.  ** add
2810: 72 65 73 73 20 61 74 20 74 68 65 20 73 61 6d 65  ress at the same
2820: 20 74 69 6d 65 2e 20 20 49 66 20 65 69 74 68 65   time.  If eithe
2830: 72 20 6f 66 20 74 68 65 73 65 20 74 77 6f 20 63  r of these two c
2840: 6f 6e 64 69 74 69 6f 6e 73 0a 20 20 2a 2a 20 61  onditions.  ** a
2850: 72 65 20 6e 6f 74 20 6d 65 74 2c 20 74 68 65 6e  re not met, then
2860: 20 74 68 65 20 6d 75 74 65 78 65 73 20 77 69 6c   the mutexes wil
2870: 6c 20 66 61 69 6c 20 61 6e 64 20 70 72 6f 62 6c  l fail and probl
2880: 65 6d 73 20 77 69 6c 6c 20 72 65 73 75 6c 74 2e  ems will result.
2890: 0a 20 20 2a 2f 0a 20 20 7b 0a 20 20 20 20 70 74  .  */.  {.    pt
28a0: 68 72 65 61 64 5f 74 20 73 65 6c 66 20 3d 20 70  hread_t self = p
28b0: 74 68 72 65 61 64 5f 73 65 6c 66 28 29 3b 0a 20  thread_self();. 
28c0: 20 20 20 69 66 28 20 70 2d 3e 6e 52 65 66 3e 30     if( p->nRef>0
28d0: 20 26 26 20 70 74 68 72 65 61 64 5f 65 71 75 61   && pthread_equa
28e0: 6c 28 70 2d 3e 6f 77 6e 65 72 2c 20 73 65 6c 66  l(p->owner, self
28f0: 29 20 29 7b 0a 20 20 20 20 20 20 70 2d 3e 6e 52  ) ){.      p->nR
2900: 65 66 2b 2b 3b 0a 20 20 20 20 20 20 72 63 20 3d  ef++;.      rc =
2910: 20 53 51 4c 49 54 45 5f 4f 4b 3b 0a 20 20 20 20   SQLITE_OK;.    
2920: 7d 65 6c 73 65 20 69 66 28 20 70 74 68 72 65 61  }else if( pthrea
2930: 64 5f 6d 75 74 65 78 5f 74 72 79 6c 6f 63 6b 28  d_mutex_trylock(
2940: 26 70 2d 3e 6d 75 74 65 78 29 3d 3d 30 20 29 7b  &p->mutex)==0 ){
2950: 0a 20 20 20 20 20 20 61 73 73 65 72 74 28 20 70  .      assert( p
2960: 2d 3e 6e 52 65 66 3d 3d 30 20 29 3b 0a 20 20 20  ->nRef==0 );.   
2970: 20 20 20 70 2d 3e 6f 77 6e 65 72 20 3d 20 73 65     p->owner = se
2980: 6c 66 3b 0a 20 20 20 20 20 20 70 2d 3e 6e 52 65  lf;.      p->nRe
2990: 66 20 3d 20 31 3b 0a 20 20 20 20 20 20 72 63 20  f = 1;.      rc 
29a0: 3d 20 53 51 4c 49 54 45 5f 4f 4b 3b 0a 20 20 20  = SQLITE_OK;.   
29b0: 20 7d 65 6c 73 65 7b 0a 20 20 20 20 20 20 72 63   }else{.      rc
29c0: 20 3d 20 53 51 4c 49 54 45 5f 42 55 53 59 3b 0a   = SQLITE_BUSY;.
29d0: 20 20 20 20 7d 0a 20 20 7d 0a 23 65 6c 73 65 0a      }.  }.#else.
29e0: 20 20 2f 2a 20 55 73 65 20 74 68 65 20 62 75 69    /* Use the bui
29f0: 6c 74 2d 69 6e 20 72 65 63 75 72 73 69 76 65 20  lt-in recursive 
2a00: 6d 75 74 65 78 65 73 20 69 66 20 74 68 65 79 20  mutexes if they 
2a10: 61 72 65 20 61 76 61 69 6c 61 62 6c 65 2e 0a 20  are available.. 
2a20: 20 2a 2f 0a 20 20 69 66 28 20 70 74 68 72 65 61   */.  if( pthrea
2a30: 64 5f 6d 75 74 65 78 5f 74 72 79 6c 6f 63 6b 28  d_mutex_trylock(
2a40: 26 70 2d 3e 6d 75 74 65 78 29 3d 3d 30 20 29 7b  &p->mutex)==0 ){
2a50: 0a 23 69 66 20 53 51 4c 49 54 45 5f 4d 55 54 45  .#if SQLITE_MUTE
2a60: 58 5f 4e 52 45 46 0a 20 20 20 20 70 2d 3e 6f 77  X_NREF.    p->ow
2a70: 6e 65 72 20 3d 20 70 74 68 72 65 61 64 5f 73 65  ner = pthread_se
2a80: 6c 66 28 29 3b 0a 20 20 20 20 70 2d 3e 6e 52 65  lf();.    p->nRe
2a90: 66 2b 2b 3b 0a 23 65 6e 64 69 66 0a 20 20 20 20  f++;.#endif.    
2aa0: 72 63 20 3d 20 53 51 4c 49 54 45 5f 4f 4b 3b 0a  rc = SQLITE_OK;.
2ab0: 20 20 7d 65 6c 73 65 7b 0a 20 20 20 20 72 63 20    }else{.    rc 
2ac0: 3d 20 53 51 4c 49 54 45 5f 42 55 53 59 3b 0a 20  = SQLITE_BUSY;. 
2ad0: 20 7d 0a 23 65 6e 64 69 66 0a 0a 23 69 66 64 65   }.#endif..#ifde
2ae0: 66 20 53 51 4c 49 54 45 5f 44 45 42 55 47 0a 20  f SQLITE_DEBUG. 
2af0: 20 69 66 28 20 72 63 3d 3d 53 51 4c 49 54 45 5f   if( rc==SQLITE_
2b00: 4f 4b 20 26 26 20 70 2d 3e 74 72 61 63 65 20 29  OK && p->trace )
2b10: 7b 0a 20 20 20 20 70 72 69 6e 74 66 28 22 65 6e  {.    printf("en
2b20: 74 65 72 20 6d 75 74 65 78 20 25 70 20 28 25 64  ter mutex %p (%d
2b30: 29 20 77 69 74 68 20 6e 52 65 66 3d 25 64 5c 6e  ) with nRef=%d\n
2b40: 22 2c 20 70 2c 20 70 2d 3e 74 72 61 63 65 2c 20  ", p, p->trace, 
2b50: 70 2d 3e 6e 52 65 66 29 3b 0a 20 20 7d 0a 23 65  p->nRef);.  }.#e
2b60: 6e 64 69 66 0a 20 20 72 65 74 75 72 6e 20 72 63  ndif.  return rc
2b70: 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 54 68 65 20 73  ;.}../*.** The s
2b80: 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 6c 65 61  qlite3_mutex_lea
2b90: 76 65 28 29 20 72 6f 75 74 69 6e 65 20 65 78 69  ve() routine exi
2ba0: 74 73 20 61 20 6d 75 74 65 78 20 74 68 61 74 20  ts a mutex that 
2bb0: 77 61 73 0a 2a 2a 20 70 72 65 76 69 6f 75 73 6c  was.** previousl
2bc0: 79 20 65 6e 74 65 72 65 64 20 62 79 20 74 68 65  y entered by the
2bd0: 20 73 61 6d 65 20 74 68 72 65 61 64 2e 20 20 54   same thread.  T
2be0: 68 65 20 62 65 68 61 76 69 6f 72 0a 2a 2a 20 69  he behavior.** i
2bf0: 73 20 75 6e 64 65 66 69 6e 65 64 20 69 66 20 74  s undefined if t
2c00: 68 65 20 6d 75 74 65 78 20 69 73 20 6e 6f 74 20  he mutex is not 
2c10: 63 75 72 72 65 6e 74 6c 79 20 65 6e 74 65 72 65  currently entere
2c20: 64 20 6f 72 0a 2a 2a 20 69 73 20 6e 6f 74 20 63  d or.** is not c
2c30: 75 72 72 65 6e 74 6c 79 20 61 6c 6c 6f 63 61 74  urrently allocat
2c40: 65 64 2e 20 20 53 51 4c 69 74 65 20 77 69 6c 6c  ed.  SQLite will
2c50: 20 6e 65 76 65 72 20 64 6f 20 65 69 74 68 65 72   never do either
2c60: 2e 0a 2a 2f 0a 73 74 61 74 69 63 20 76 6f 69 64  ..*/.static void
2c70: 20 70 74 68 72 65 61 64 4d 75 74 65 78 4c 65 61   pthreadMutexLea
2c80: 76 65 28 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  ve(sqlite3_mutex
2c90: 20 2a 70 29 7b 0a 20 20 61 73 73 65 72 74 28 20   *p){.  assert( 
2ca0: 70 74 68 72 65 61 64 4d 75 74 65 78 48 65 6c 64  pthreadMutexHeld
2cb0: 28 70 29 20 29 3b 0a 23 69 66 20 53 51 4c 49 54  (p) );.#if SQLIT
2cc0: 45 5f 4d 55 54 45 58 5f 4e 52 45 46 0a 20 20 70  E_MUTEX_NREF.  p
2cd0: 2d 3e 6e 52 65 66 2d 2d 3b 0a 20 20 69 66 28 20  ->nRef--;.  if( 
2ce0: 70 2d 3e 6e 52 65 66 3d 3d 30 20 29 20 70 2d 3e  p->nRef==0 ) p->
2cf0: 6f 77 6e 65 72 20 3d 20 30 3b 0a 23 65 6e 64 69  owner = 0;.#endi
2d00: 66 0a 20 20 61 73 73 65 72 74 28 20 70 2d 3e 6e  f.  assert( p->n
2d10: 52 65 66 3d 3d 30 20 7c 7c 20 70 2d 3e 69 64 3d  Ref==0 || p->id=
2d20: 3d 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 52 45  =SQLITE_MUTEX_RE
2d30: 43 55 52 53 49 56 45 20 29 3b 0a 0a 23 69 66 64  CURSIVE );..#ifd
2d40: 65 66 20 53 51 4c 49 54 45 5f 48 4f 4d 45 47 52  ef SQLITE_HOMEGR
2d50: 4f 57 4e 5f 52 45 43 55 52 53 49 56 45 5f 4d 55  OWN_RECURSIVE_MU
2d60: 54 45 58 0a 20 20 69 66 28 20 70 2d 3e 6e 52 65  TEX.  if( p->nRe
2d70: 66 3d 3d 30 20 29 7b 0a 20 20 20 20 70 74 68 72  f==0 ){.    pthr
2d80: 65 61 64 5f 6d 75 74 65 78 5f 75 6e 6c 6f 63 6b  ead_mutex_unlock
2d90: 28 26 70 2d 3e 6d 75 74 65 78 29 3b 0a 20 20 7d  (&p->mutex);.  }
2da0: 0a 23 65 6c 73 65 0a 20 20 70 74 68 72 65 61 64  .#else.  pthread
2db0: 5f 6d 75 74 65 78 5f 75 6e 6c 6f 63 6b 28 26 70  _mutex_unlock(&p
2dc0: 2d 3e 6d 75 74 65 78 29 3b 0a 23 65 6e 64 69 66  ->mutex);.#endif
2dd0: 0a 0a 23 69 66 64 65 66 20 53 51 4c 49 54 45 5f  ..#ifdef SQLITE_
2de0: 44 45 42 55 47 0a 20 20 69 66 28 20 70 2d 3e 74  DEBUG.  if( p->t
2df0: 72 61 63 65 20 29 7b 0a 20 20 20 20 70 72 69 6e  race ){.    prin
2e00: 74 66 28 22 6c 65 61 76 65 20 6d 75 74 65 78 20  tf("leave mutex 
2e10: 25 70 20 28 25 64 29 20 77 69 74 68 20 6e 52 65  %p (%d) with nRe
2e20: 66 3d 25 64 5c 6e 22 2c 20 70 2c 20 70 2d 3e 74  f=%d\n", p, p->t
2e30: 72 61 63 65 2c 20 70 2d 3e 6e 52 65 66 29 3b 0a  race, p->nRef);.
2e40: 20 20 7d 0a 23 65 6e 64 69 66 0a 7d 0a 0a 73 71    }.#endif.}..sq
2e50: 6c 69 74 65 33 5f 6d 75 74 65 78 5f 6d 65 74 68  lite3_mutex_meth
2e60: 6f 64 73 20 63 6f 6e 73 74 20 2a 73 71 6c 69 74  ods const *sqlit
2e70: 65 33 44 65 66 61 75 6c 74 4d 75 74 65 78 28 76  e3DefaultMutex(v
2e80: 6f 69 64 29 7b 0a 20 20 73 74 61 74 69 63 20 63  oid){.  static c
2e90: 6f 6e 73 74 20 73 71 6c 69 74 65 33 5f 6d 75 74  onst sqlite3_mut
2ea0: 65 78 5f 6d 65 74 68 6f 64 73 20 73 4d 75 74 65  ex_methods sMute
2eb0: 78 20 3d 20 7b 0a 20 20 20 20 70 74 68 72 65 61  x = {.    pthrea
2ec0: 64 4d 75 74 65 78 49 6e 69 74 2c 0a 20 20 20 20  dMutexInit,.    
2ed0: 70 74 68 72 65 61 64 4d 75 74 65 78 45 6e 64 2c  pthreadMutexEnd,
2ee0: 0a 20 20 20 20 70 74 68 72 65 61 64 4d 75 74 65  .    pthreadMute
2ef0: 78 41 6c 6c 6f 63 2c 0a 20 20 20 20 70 74 68 72  xAlloc,.    pthr
2f00: 65 61 64 4d 75 74 65 78 46 72 65 65 2c 0a 20 20  eadMutexFree,.  
2f10: 20 20 70 74 68 72 65 61 64 4d 75 74 65 78 45 6e    pthreadMutexEn
2f20: 74 65 72 2c 0a 20 20 20 20 70 74 68 72 65 61 64  ter,.    pthread
2f30: 4d 75 74 65 78 54 72 79 2c 0a 20 20 20 20 70 74  MutexTry,.    pt
2f40: 68 72 65 61 64 4d 75 74 65 78 4c 65 61 76 65 2c  hreadMutexLeave,
2f50: 0a 23 69 66 64 65 66 20 53 51 4c 49 54 45 5f 44  .#ifdef SQLITE_D
2f60: 45 42 55 47 0a 20 20 20 20 70 74 68 72 65 61 64  EBUG.    pthread
2f70: 4d 75 74 65 78 48 65 6c 64 2c 0a 20 20 20 20 70  MutexHeld,.    p
2f80: 74 68 72 65 61 64 4d 75 74 65 78 4e 6f 74 68 65  threadMutexNothe
2f90: 6c 64 0a 23 65 6c 73 65 0a 20 20 20 20 30 2c 0a  ld.#else.    0,.
2fa0: 20 20 20 20 30 0a 23 65 6e 64 69 66 0a 20 20 7d      0.#endif.  }
2fb0: 3b 0a 0a 20 20 72 65 74 75 72 6e 20 26 73 4d 75  ;..  return &sMu
2fc0: 74 65 78 3b 0a 7d 0a 0a 23 65 6e 64 69 66 20 2f  tex;.}..#endif /
2fd0: 2a 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 50  * SQLITE_MUTEX_P
2fe0: 54 48 52 45 41 44 53 20 2a 2f 0a                 THREADS */.