/ Hex Artifact Content
Login
SQLite training in Houston TX on 2019-11-05 (details)
Part of the 2019 Tcl Conference

Artifact 27bb6cc49485ee46711a6580ab7b3f1402211d23:


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 69 66 20 64  d_t)0,0}.#elif d
06a0: 65 66 69 6e 65 64 28 53 51 4c 49 54 45 5f 45 4e  efined(SQLITE_EN
06b0: 41 42 4c 45 5f 41 50 49 5f 41 52 4d 4f 52 29 0a  ABLE_API_ARMOR).
06c0: 23 64 65 66 69 6e 65 20 53 51 4c 49 54 45 33 5f  #define SQLITE3_
06d0: 4d 55 54 45 58 5f 49 4e 49 54 49 41 4c 49 5a 45  MUTEX_INITIALIZE
06e0: 52 20 7b 20 50 54 48 52 45 41 44 5f 4d 55 54 45  R { PTHREAD_MUTE
06f0: 58 5f 49 4e 49 54 49 41 4c 49 5a 45 52 2c 20 30  X_INITIALIZER, 0
0700: 20 7d 0a 23 65 6c 73 65 0a 23 64 65 66 69 6e 65   }.#else.#define
0710: 20 53 51 4c 49 54 45 33 5f 4d 55 54 45 58 5f 49   SQLITE3_MUTEX_I
0720: 4e 49 54 49 41 4c 49 5a 45 52 20 7b 20 50 54 48  NITIALIZER { PTH
0730: 52 45 41 44 5f 4d 55 54 45 58 5f 49 4e 49 54 49  READ_MUTEX_INITI
0740: 41 4c 49 5a 45 52 20 7d 0a 23 65 6e 64 69 66 0a  ALIZER }.#endif.
0750: 0a 2f 2a 0a 2a 2a 20 54 68 65 20 73 71 6c 69 74  ./*.** The sqlit
0760: 65 33 5f 6d 75 74 65 78 5f 68 65 6c 64 28 29 20  e3_mutex_held() 
0770: 61 6e 64 20 73 71 6c 69 74 65 33 5f 6d 75 74 65  and sqlite3_mute
0780: 78 5f 6e 6f 74 68 65 6c 64 28 29 20 72 6f 75 74  x_notheld() rout
0790: 69 6e 65 20 61 72 65 0a 2a 2a 20 69 6e 74 65 6e  ine are.** inten
07a0: 64 65 64 20 66 6f 72 20 75 73 65 20 6f 6e 6c 79  ded for use only
07b0: 20 69 6e 73 69 64 65 20 61 73 73 65 72 74 28 29   inside assert()
07c0: 20 73 74 61 74 65 6d 65 6e 74 73 2e 20 20 4f 6e   statements.  On
07d0: 20 73 6f 6d 65 20 70 6c 61 74 66 6f 72 6d 73 2c   some platforms,
07e0: 0a 2a 2a 20 74 68 65 72 65 20 6d 69 67 68 74 20  .** there might 
07f0: 62 65 20 72 61 63 65 20 63 6f 6e 64 69 74 69 6f  be race conditio
0800: 6e 73 20 74 68 61 74 20 63 61 6e 20 63 61 75 73  ns that can caus
0810: 65 20 74 68 65 73 65 20 72 6f 75 74 69 6e 65 73  e these routines
0820: 20 74 6f 0a 2a 2a 20 64 65 6c 69 76 65 72 20 69   to.** deliver i
0830: 6e 63 6f 72 72 65 63 74 20 72 65 73 75 6c 74 73  ncorrect results
0840: 2e 20 20 49 6e 20 70 61 72 74 69 63 75 6c 61 72  .  In particular
0850: 2c 20 69 66 20 70 74 68 72 65 61 64 5f 65 71 75  , if pthread_equ
0860: 61 6c 28 29 20 69 73 0a 2a 2a 20 6e 6f 74 20 61  al() is.** not a
0870: 6e 20 61 74 6f 6d 69 63 20 6f 70 65 72 61 74 69  n atomic operati
0880: 6f 6e 2c 20 74 68 65 6e 20 74 68 65 73 65 20 72  on, then these r
0890: 6f 75 74 69 6e 65 73 20 6d 69 67 68 74 20 64 65  outines might de
08a0: 6c 69 76 65 72 79 0a 2a 2a 20 69 6e 63 6f 72 72  livery.** incorr
08b0: 65 63 74 20 72 65 73 75 6c 74 73 2e 20 20 4f 6e  ect results.  On
08c0: 20 6d 6f 73 74 20 70 6c 61 74 66 6f 72 6d 73 2c   most platforms,
08d0: 20 70 74 68 72 65 61 64 5f 65 71 75 61 6c 28 29   pthread_equal()
08e0: 20 69 73 20 61 20 0a 2a 2a 20 63 6f 6d 70 61 72   is a .** compar
08f0: 69 73 6f 6e 20 6f 66 20 74 77 6f 20 69 6e 74 65  ison of two inte
0900: 67 65 72 73 20 61 6e 64 20 69 73 20 74 68 65 72  gers and is ther
0910: 65 66 6f 72 65 20 61 74 6f 6d 69 63 2e 20 20 42  efore atomic.  B
0920: 75 74 20 77 65 20 61 72 65 0a 2a 2a 20 74 6f 6c  ut we are.** tol
0930: 64 20 74 68 61 74 20 48 50 55 58 20 69 73 20 6e  d that HPUX is n
0940: 6f 74 20 73 75 63 68 20 61 20 70 6c 61 74 66 6f  ot such a platfo
0950: 72 6d 2e 20 20 49 66 20 73 6f 2c 20 74 68 65 6e  rm.  If so, then
0960: 20 74 68 65 73 65 20 72 6f 75 74 69 6e 65 73 0a   these routines.
0970: 2a 2a 20 77 69 6c 6c 20 6e 6f 74 20 61 6c 77 61  ** will not alwa
0980: 79 73 20 77 6f 72 6b 20 63 6f 72 72 65 63 74 6c  ys work correctl
0990: 79 20 6f 6e 20 48 50 55 58 2e 0a 2a 2a 0a 2a 2a  y on HPUX..**.**
09a0: 20 4f 6e 20 74 68 6f 73 65 20 70 6c 61 74 66 6f   On those platfo
09b0: 72 6d 73 20 77 68 65 72 65 20 70 74 68 72 65 61  rms where pthrea
09c0: 64 5f 65 71 75 61 6c 28 29 20 69 73 20 6e 6f 74  d_equal() is not
09d0: 20 61 74 6f 6d 69 63 2c 20 53 51 4c 69 74 65 0a   atomic, SQLite.
09e0: 2a 2a 20 73 68 6f 75 6c 64 20 62 65 20 63 6f 6d  ** should be com
09f0: 70 69 6c 65 64 20 77 69 74 68 6f 75 74 20 2d 44  piled without -D
0a00: 53 51 4c 49 54 45 5f 44 45 42 55 47 20 61 6e 64  SQLITE_DEBUG and
0a10: 20 77 69 74 68 20 2d 44 4e 44 45 42 55 47 20 74   with -DNDEBUG t
0a20: 6f 0a 2a 2a 20 6d 61 6b 65 20 73 75 72 65 20 6e  o.** make sure n
0a30: 6f 20 61 73 73 65 72 74 28 29 20 73 74 61 74 65  o assert() state
0a40: 6d 65 6e 74 73 20 61 72 65 20 65 76 61 6c 75 61  ments are evalua
0a50: 74 65 64 20 61 6e 64 20 68 65 6e 63 65 20 74 68  ted and hence th
0a60: 65 73 65 0a 2a 2a 20 72 6f 75 74 69 6e 65 73 20  ese.** routines 
0a70: 61 72 65 20 6e 65 76 65 72 20 63 61 6c 6c 65 64  are never called
0a80: 2e 0a 2a 2f 0a 23 69 66 20 21 64 65 66 69 6e 65  ..*/.#if !define
0a90: 64 28 4e 44 45 42 55 47 29 20 7c 7c 20 64 65 66  d(NDEBUG) || def
0aa0: 69 6e 65 64 28 53 51 4c 49 54 45 5f 44 45 42 55  ined(SQLITE_DEBU
0ab0: 47 29 0a 73 74 61 74 69 63 20 69 6e 74 20 70 74  G).static int pt
0ac0: 68 72 65 61 64 4d 75 74 65 78 48 65 6c 64 28 73  hreadMutexHeld(s
0ad0: 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a 70 29  qlite3_mutex *p)
0ae0: 7b 0a 20 20 72 65 74 75 72 6e 20 28 70 2d 3e 6e  {.  return (p->n
0af0: 52 65 66 21 3d 30 20 26 26 20 70 74 68 72 65 61  Ref!=0 && pthrea
0b00: 64 5f 65 71 75 61 6c 28 70 2d 3e 6f 77 6e 65 72  d_equal(p->owner
0b10: 2c 20 70 74 68 72 65 61 64 5f 73 65 6c 66 28 29  , pthread_self()
0b20: 29 29 3b 0a 7d 0a 73 74 61 74 69 63 20 69 6e 74  ));.}.static int
0b30: 20 70 74 68 72 65 61 64 4d 75 74 65 78 4e 6f 74   pthreadMutexNot
0b40: 68 65 6c 64 28 73 71 6c 69 74 65 33 5f 6d 75 74  held(sqlite3_mut
0b50: 65 78 20 2a 70 29 7b 0a 20 20 72 65 74 75 72 6e  ex *p){.  return
0b60: 20 70 2d 3e 6e 52 65 66 3d 3d 30 20 7c 7c 20 70   p->nRef==0 || p
0b70: 74 68 72 65 61 64 5f 65 71 75 61 6c 28 70 2d 3e  thread_equal(p->
0b80: 6f 77 6e 65 72 2c 20 70 74 68 72 65 61 64 5f 73  owner, pthread_s
0b90: 65 6c 66 28 29 29 3d 3d 30 3b 0a 7d 0a 23 65 6e  elf())==0;.}.#en
0ba0: 64 69 66 0a 0a 2f 2a 0a 2a 2a 20 54 72 79 20 74  dif../*.** Try t
0bb0: 6f 20 70 72 6f 76 69 64 65 20 61 20 6d 65 6d 6f  o provide a memo
0bc0: 72 79 20 62 61 72 72 69 65 72 20 6f 70 65 72 61  ry barrier opera
0bd0: 74 69 6f 6e 2c 20 6e 65 65 64 65 64 20 66 6f 72  tion, needed for
0be0: 20 69 6e 69 74 69 61 6c 69 7a 61 74 69 6f 6e 0a   initialization.
0bf0: 2a 2a 20 61 6e 64 20 61 6c 73 6f 20 66 6f 72 20  ** and also for 
0c00: 74 68 65 20 69 6d 70 6c 65 6d 65 6e 74 61 74 69  the implementati
0c10: 6f 6e 20 6f 66 20 78 53 68 6d 42 61 72 72 69 65  on of xShmBarrie
0c20: 72 20 69 6e 20 74 68 65 20 56 46 53 20 69 6e 20  r in the VFS in 
0c30: 63 61 73 65 73 0a 2a 2a 20 77 68 65 72 65 20 53  cases.** where S
0c40: 51 4c 69 74 65 20 69 73 20 63 6f 6d 70 69 6c 65  QLite is compile
0c50: 64 20 77 69 74 68 6f 75 74 20 6d 75 74 65 78 65  d without mutexe
0c60: 73 2e 0a 2a 2f 0a 76 6f 69 64 20 73 71 6c 69 74  s..*/.void sqlit
0c70: 65 33 4d 65 6d 6f 72 79 42 61 72 72 69 65 72 28  e3MemoryBarrier(
0c80: 76 6f 69 64 29 7b 0a 23 69 66 20 64 65 66 69 6e  void){.#if defin
0c90: 65 64 28 53 51 4c 49 54 45 5f 4d 45 4d 4f 52 59  ed(SQLITE_MEMORY
0ca0: 5f 42 41 52 52 49 45 52 29 0a 20 20 53 51 4c 49  _BARRIER).  SQLI
0cb0: 54 45 5f 4d 45 4d 4f 52 59 5f 42 41 52 52 49 45  TE_MEMORY_BARRIE
0cc0: 52 3b 0a 23 65 6c 69 66 20 64 65 66 69 6e 65 64  R;.#elif defined
0cd0: 28 5f 5f 47 4e 55 43 5f 5f 29 20 26 26 20 47 43  (__GNUC__) && GC
0ce0: 43 5f 56 45 52 53 49 4f 4e 3e 3d 34 30 30 31 30  C_VERSION>=40010
0cf0: 30 30 0a 20 20 5f 5f 73 79 6e 63 5f 73 79 6e 63  00.  __sync_sync
0d00: 68 72 6f 6e 69 7a 65 28 29 3b 0a 23 65 6e 64 69  hronize();.#endi
0d10: 66 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 49 6e 69 74 69  f.}../*.** Initi
0d20: 61 6c 69 7a 65 20 61 6e 64 20 64 65 69 6e 69 74  alize and deinit
0d30: 69 61 6c 69 7a 65 20 74 68 65 20 6d 75 74 65 78  ialize the mutex
0d40: 20 73 75 62 73 79 73 74 65 6d 2e 0a 2a 2f 0a 73   subsystem..*/.s
0d50: 74 61 74 69 63 20 69 6e 74 20 70 74 68 72 65 61  tatic int pthrea
0d60: 64 4d 75 74 65 78 49 6e 69 74 28 76 6f 69 64 29  dMutexInit(void)
0d70: 7b 20 72 65 74 75 72 6e 20 53 51 4c 49 54 45 5f  { return SQLITE_
0d80: 4f 4b 3b 20 7d 0a 73 74 61 74 69 63 20 69 6e 74  OK; }.static int
0d90: 20 70 74 68 72 65 61 64 4d 75 74 65 78 45 6e 64   pthreadMutexEnd
0da0: 28 76 6f 69 64 29 7b 20 72 65 74 75 72 6e 20 53  (void){ return S
0db0: 51 4c 49 54 45 5f 4f 4b 3b 20 7d 0a 0a 2f 2a 0a  QLITE_OK; }../*.
0dc0: 2a 2a 20 54 68 65 20 73 71 6c 69 74 65 33 5f 6d  ** The sqlite3_m
0dd0: 75 74 65 78 5f 61 6c 6c 6f 63 28 29 20 72 6f 75  utex_alloc() rou
0de0: 74 69 6e 65 20 61 6c 6c 6f 63 61 74 65 73 20 61  tine allocates a
0df0: 20 6e 65 77 0a 2a 2a 20 6d 75 74 65 78 20 61 6e   new.** mutex an
0e00: 64 20 72 65 74 75 72 6e 73 20 61 20 70 6f 69 6e  d returns a poin
0e10: 74 65 72 20 74 6f 20 69 74 2e 20 20 49 66 20 69  ter to it.  If i
0e20: 74 20 72 65 74 75 72 6e 73 20 4e 55 4c 4c 0a 2a  t returns NULL.*
0e30: 2a 20 74 68 61 74 20 6d 65 61 6e 73 20 74 68 61  * that means tha
0e40: 74 20 61 20 6d 75 74 65 78 20 63 6f 75 6c 64 20  t a mutex could 
0e50: 6e 6f 74 20 62 65 20 61 6c 6c 6f 63 61 74 65 64  not be allocated
0e60: 2e 20 20 53 51 4c 69 74 65 0a 2a 2a 20 77 69 6c  .  SQLite.** wil
0e70: 6c 20 75 6e 77 69 6e 64 20 69 74 73 20 73 74 61  l unwind its sta
0e80: 63 6b 20 61 6e 64 20 72 65 74 75 72 6e 20 61 6e  ck and return an
0e90: 20 65 72 72 6f 72 2e 20 20 54 68 65 20 61 72 67   error.  The arg
0ea0: 75 6d 65 6e 74 0a 2a 2a 20 74 6f 20 73 71 6c 69  ument.** to sqli
0eb0: 74 65 33 5f 6d 75 74 65 78 5f 61 6c 6c 6f 63 28  te3_mutex_alloc(
0ec0: 29 20 69 73 20 6f 6e 65 20 6f 66 20 74 68 65 73  ) is one of thes
0ed0: 65 20 69 6e 74 65 67 65 72 20 63 6f 6e 73 74 61  e integer consta
0ee0: 6e 74 73 3a 0a 2a 2a 0a 2a 2a 20 3c 75 6c 3e 0a  nts:.**.** <ul>.
0ef0: 2a 2a 20 3c 6c 69 3e 20 20 53 51 4c 49 54 45 5f  ** <li>  SQLITE_
0f00: 4d 55 54 45 58 5f 46 41 53 54 0a 2a 2a 20 3c 6c  MUTEX_FAST.** <l
0f10: 69 3e 20 20 53 51 4c 49 54 45 5f 4d 55 54 45 58  i>  SQLITE_MUTEX
0f20: 5f 52 45 43 55 52 53 49 56 45 0a 2a 2a 20 3c 6c  _RECURSIVE.** <l
0f30: 69 3e 20 20 53 51 4c 49 54 45 5f 4d 55 54 45 58  i>  SQLITE_MUTEX
0f40: 5f 53 54 41 54 49 43 5f 4d 41 53 54 45 52 0a 2a  _STATIC_MASTER.*
0f50: 2a 20 3c 6c 69 3e 20 20 53 51 4c 49 54 45 5f 4d  * <li>  SQLITE_M
0f60: 55 54 45 58 5f 53 54 41 54 49 43 5f 4d 45 4d 0a  UTEX_STATIC_MEM.
0f70: 2a 2a 20 3c 6c 69 3e 20 20 53 51 4c 49 54 45 5f  ** <li>  SQLITE_
0f80: 4d 55 54 45 58 5f 53 54 41 54 49 43 5f 4f 50 45  MUTEX_STATIC_OPE
0f90: 4e 0a 2a 2a 20 3c 6c 69 3e 20 20 53 51 4c 49 54  N.** <li>  SQLIT
0fa0: 45 5f 4d 55 54 45 58 5f 53 54 41 54 49 43 5f 50  E_MUTEX_STATIC_P
0fb0: 52 4e 47 0a 2a 2a 20 3c 6c 69 3e 20 20 53 51 4c  RNG.** <li>  SQL
0fc0: 49 54 45 5f 4d 55 54 45 58 5f 53 54 41 54 49 43  ITE_MUTEX_STATIC
0fd0: 5f 4c 52 55 0a 2a 2a 20 3c 6c 69 3e 20 20 53 51  _LRU.** <li>  SQ
0fe0: 4c 49 54 45 5f 4d 55 54 45 58 5f 53 54 41 54 49  LITE_MUTEX_STATI
0ff0: 43 5f 50 4d 45 4d 0a 2a 2a 20 3c 6c 69 3e 20 20  C_PMEM.** <li>  
1000: 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 53 54 41  SQLITE_MUTEX_STA
1010: 54 49 43 5f 41 50 50 31 0a 2a 2a 20 3c 6c 69 3e  TIC_APP1.** <li>
1020: 20 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 53    SQLITE_MUTEX_S
1030: 54 41 54 49 43 5f 41 50 50 32 0a 2a 2a 20 3c 6c  TATIC_APP2.** <l
1040: 69 3e 20 20 53 51 4c 49 54 45 5f 4d 55 54 45 58  i>  SQLITE_MUTEX
1050: 5f 53 54 41 54 49 43 5f 41 50 50 33 0a 2a 2a 20  _STATIC_APP3.** 
1060: 3c 6c 69 3e 20 20 53 51 4c 49 54 45 5f 4d 55 54  <li>  SQLITE_MUT
1070: 45 58 5f 53 54 41 54 49 43 5f 56 46 53 31 0a 2a  EX_STATIC_VFS1.*
1080: 2a 20 3c 6c 69 3e 20 20 53 51 4c 49 54 45 5f 4d  * <li>  SQLITE_M
1090: 55 54 45 58 5f 53 54 41 54 49 43 5f 56 46 53 32  UTEX_STATIC_VFS2
10a0: 0a 2a 2a 20 3c 6c 69 3e 20 20 53 51 4c 49 54 45  .** <li>  SQLITE
10b0: 5f 4d 55 54 45 58 5f 53 54 41 54 49 43 5f 56 46  _MUTEX_STATIC_VF
10c0: 53 33 0a 2a 2a 20 3c 2f 75 6c 3e 0a 2a 2a 0a 2a  S3.** </ul>.**.*
10d0: 2a 20 54 68 65 20 66 69 72 73 74 20 74 77 6f 20  * The first two 
10e0: 63 6f 6e 73 74 61 6e 74 73 20 63 61 75 73 65 20  constants cause 
10f0: 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 61 6c  sqlite3_mutex_al
1100: 6c 6f 63 28 29 20 74 6f 20 63 72 65 61 74 65 0a  loc() to create.
1110: 2a 2a 20 61 20 6e 65 77 20 6d 75 74 65 78 2e 20  ** a new mutex. 
1120: 20 54 68 65 20 6e 65 77 20 6d 75 74 65 78 20 69   The new mutex i
1130: 73 20 72 65 63 75 72 73 69 76 65 20 77 68 65 6e  s recursive when
1140: 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 52 45   SQLITE_MUTEX_RE
1150: 43 55 52 53 49 56 45 0a 2a 2a 20 69 73 20 75 73  CURSIVE.** is us
1160: 65 64 20 62 75 74 20 6e 6f 74 20 6e 65 63 65 73  ed but not neces
1170: 73 61 72 69 6c 79 20 73 6f 20 77 68 65 6e 20 53  sarily so when S
1180: 51 4c 49 54 45 5f 4d 55 54 45 58 5f 46 41 53 54  QLITE_MUTEX_FAST
1190: 20 69 73 20 75 73 65 64 2e 0a 2a 2a 20 54 68 65   is used..** The
11a0: 20 6d 75 74 65 78 20 69 6d 70 6c 65 6d 65 6e 74   mutex implement
11b0: 61 74 69 6f 6e 20 64 6f 65 73 20 6e 6f 74 20 6e  ation does not n
11c0: 65 65 64 20 74 6f 20 6d 61 6b 65 20 61 20 64 69  eed to make a di
11d0: 73 74 69 6e 63 74 69 6f 6e 0a 2a 2a 20 62 65 74  stinction.** bet
11e0: 77 65 65 6e 20 53 51 4c 49 54 45 5f 4d 55 54 45  ween SQLITE_MUTE
11f0: 58 5f 52 45 43 55 52 53 49 56 45 20 61 6e 64 20  X_RECURSIVE and 
1200: 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 46 41 53  SQLITE_MUTEX_FAS
1210: 54 20 69 66 20 69 74 20 64 6f 65 73 0a 2a 2a 20  T if it does.** 
1220: 6e 6f 74 20 77 61 6e 74 20 74 6f 2e 20 20 42 75  not want to.  Bu
1230: 74 20 53 51 4c 69 74 65 20 77 69 6c 6c 20 6f 6e  t SQLite will on
1240: 6c 79 20 72 65 71 75 65 73 74 20 61 20 72 65 63  ly request a rec
1250: 75 72 73 69 76 65 20 6d 75 74 65 78 20 69 6e 0a  ursive mutex in.
1260: 2a 2a 20 63 61 73 65 73 20 77 68 65 72 65 20 69  ** cases where i
1270: 74 20 72 65 61 6c 6c 79 20 6e 65 65 64 73 20 6f  t really needs o
1280: 6e 65 2e 20 20 49 66 20 61 20 66 61 73 74 65 72  ne.  If a faster
1290: 20 6e 6f 6e 2d 72 65 63 75 72 73 69 76 65 20 6d   non-recursive m
12a0: 75 74 65 78 0a 2a 2a 20 69 6d 70 6c 65 6d 65 6e  utex.** implemen
12b0: 74 61 74 69 6f 6e 20 69 73 20 61 76 61 69 6c 61  tation is availa
12c0: 62 6c 65 20 6f 6e 20 74 68 65 20 68 6f 73 74 20  ble on the host 
12d0: 70 6c 61 74 66 6f 72 6d 2c 20 74 68 65 20 6d 75  platform, the mu
12e0: 74 65 78 20 73 75 62 73 79 73 74 65 6d 0a 2a 2a  tex subsystem.**
12f0: 20 6d 69 67 68 74 20 72 65 74 75 72 6e 20 73 75   might return su
1300: 63 68 20 61 20 6d 75 74 65 78 20 69 6e 20 72 65  ch a mutex in re
1310: 73 70 6f 6e 73 65 20 74 6f 20 53 51 4c 49 54 45  sponse to SQLITE
1320: 5f 4d 55 54 45 58 5f 46 41 53 54 2e 0a 2a 2a 0a  _MUTEX_FAST..**.
1330: 2a 2a 20 54 68 65 20 6f 74 68 65 72 20 61 6c 6c  ** The other all
1340: 6f 77 65 64 20 70 61 72 61 6d 65 74 65 72 73 20  owed parameters 
1350: 74 6f 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  to sqlite3_mutex
1360: 5f 61 6c 6c 6f 63 28 29 20 65 61 63 68 20 72 65  _alloc() each re
1370: 74 75 72 6e 0a 2a 2a 20 61 20 70 6f 69 6e 74 65  turn.** a pointe
1380: 72 20 74 6f 20 61 20 73 74 61 74 69 63 20 70 72  r to a static pr
1390: 65 65 78 69 73 74 69 6e 67 20 6d 75 74 65 78 2e  eexisting mutex.
13a0: 20 20 53 69 78 20 73 74 61 74 69 63 20 6d 75 74    Six static mut
13b0: 65 78 65 73 20 61 72 65 0a 2a 2a 20 75 73 65 64  exes are.** used
13c0: 20 62 79 20 74 68 65 20 63 75 72 72 65 6e 74 20   by the current 
13d0: 76 65 72 73 69 6f 6e 20 6f 66 20 53 51 4c 69 74  version of SQLit
13e0: 65 2e 20 20 46 75 74 75 72 65 20 76 65 72 73 69  e.  Future versi
13f0: 6f 6e 73 20 6f 66 20 53 51 4c 69 74 65 0a 2a 2a  ons of SQLite.**
1400: 20 6d 61 79 20 61 64 64 20 61 64 64 69 74 69 6f   may add additio
1410: 6e 61 6c 20 73 74 61 74 69 63 20 6d 75 74 65 78  nal static mutex
1420: 65 73 2e 20 20 53 74 61 74 69 63 20 6d 75 74 65  es.  Static mute
1430: 78 65 73 20 61 72 65 20 66 6f 72 20 69 6e 74 65  xes are for inte
1440: 72 6e 61 6c 0a 2a 2a 20 75 73 65 20 62 79 20 53  rnal.** use by S
1450: 51 4c 69 74 65 20 6f 6e 6c 79 2e 20 20 41 70 70  QLite only.  App
1460: 6c 69 63 61 74 69 6f 6e 73 20 74 68 61 74 20 75  lications that u
1470: 73 65 20 53 51 4c 69 74 65 20 6d 75 74 65 78 65  se SQLite mutexe
1480: 73 20 73 68 6f 75 6c 64 0a 2a 2a 20 75 73 65 20  s should.** use 
1490: 6f 6e 6c 79 20 74 68 65 20 64 79 6e 61 6d 69 63  only the dynamic
14a0: 20 6d 75 74 65 78 65 73 20 72 65 74 75 72 6e 65   mutexes returne
14b0: 64 20 62 79 20 53 51 4c 49 54 45 5f 4d 55 54 45  d by SQLITE_MUTE
14c0: 58 5f 46 41 53 54 20 6f 72 0a 2a 2a 20 53 51 4c  X_FAST or.** SQL
14d0: 49 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53  ITE_MUTEX_RECURS
14e0: 49 56 45 2e 0a 2a 2a 0a 2a 2a 20 4e 6f 74 65 20  IVE..**.** Note 
14f0: 74 68 61 74 20 69 66 20 6f 6e 65 20 6f 66 20 74  that if one of t
1500: 68 65 20 64 79 6e 61 6d 69 63 20 6d 75 74 65 78  he dynamic mutex
1510: 20 70 61 72 61 6d 65 74 65 72 73 20 28 53 51 4c   parameters (SQL
1520: 49 54 45 5f 4d 55 54 45 58 5f 46 41 53 54 0a 2a  ITE_MUTEX_FAST.*
1530: 2a 20 6f 72 20 53 51 4c 49 54 45 5f 4d 55 54 45  * or SQLITE_MUTE
1540: 58 5f 52 45 43 55 52 53 49 56 45 29 20 69 73 20  X_RECURSIVE) is 
1550: 75 73 65 64 20 74 68 65 6e 20 73 71 6c 69 74 65  used then sqlite
1560: 33 5f 6d 75 74 65 78 5f 61 6c 6c 6f 63 28 29 0a  3_mutex_alloc().
1570: 2a 2a 20 72 65 74 75 72 6e 73 20 61 20 64 69 66  ** returns a dif
1580: 66 65 72 65 6e 74 20 6d 75 74 65 78 20 6f 6e 20  ferent mutex on 
1590: 65 76 65 72 79 20 63 61 6c 6c 2e 20 20 42 75 74  every call.  But
15a0: 20 66 6f 72 20 74 68 65 20 73 74 61 74 69 63 20   for the static 
15b0: 0a 2a 2a 20 6d 75 74 65 78 20 74 79 70 65 73 2c  .** mutex types,
15c0: 20 74 68 65 20 73 61 6d 65 20 6d 75 74 65 78 20   the same mutex 
15d0: 69 73 20 72 65 74 75 72 6e 65 64 20 6f 6e 20 65  is returned on e
15e0: 76 65 72 79 20 63 61 6c 6c 20 74 68 61 74 20 68  very call that h
15f0: 61 73 0a 2a 2a 20 74 68 65 20 73 61 6d 65 20 74  as.** the same t
1600: 79 70 65 20 6e 75 6d 62 65 72 2e 0a 2a 2f 0a 73  ype number..*/.s
1610: 74 61 74 69 63 20 73 71 6c 69 74 65 33 5f 6d 75  tatic sqlite3_mu
1620: 74 65 78 20 2a 70 74 68 72 65 61 64 4d 75 74 65  tex *pthreadMute
1630: 78 41 6c 6c 6f 63 28 69 6e 74 20 69 54 79 70 65  xAlloc(int iType
1640: 29 7b 0a 20 20 73 74 61 74 69 63 20 73 71 6c 69  ){.  static sqli
1650: 74 65 33 5f 6d 75 74 65 78 20 73 74 61 74 69 63  te3_mutex static
1660: 4d 75 74 65 78 65 73 5b 5d 20 3d 20 7b 0a 20 20  Mutexes[] = {.  
1670: 20 20 53 51 4c 49 54 45 33 5f 4d 55 54 45 58 5f    SQLITE3_MUTEX_
1680: 49 4e 49 54 49 41 4c 49 5a 45 52 2c 0a 20 20 20  INITIALIZER,.   
1690: 20 53 51 4c 49 54 45 33 5f 4d 55 54 45 58 5f 49   SQLITE3_MUTEX_I
16a0: 4e 49 54 49 41 4c 49 5a 45 52 2c 0a 20 20 20 20  NITIALIZER,.    
16b0: 53 51 4c 49 54 45 33 5f 4d 55 54 45 58 5f 49 4e  SQLITE3_MUTEX_IN
16c0: 49 54 49 41 4c 49 5a 45 52 2c 0a 20 20 20 20 53  ITIALIZER,.    S
16d0: 51 4c 49 54 45 33 5f 4d 55 54 45 58 5f 49 4e 49  QLITE3_MUTEX_INI
16e0: 54 49 41 4c 49 5a 45 52 2c 0a 20 20 20 20 53 51  TIALIZER,.    SQ
16f0: 4c 49 54 45 33 5f 4d 55 54 45 58 5f 49 4e 49 54  LITE3_MUTEX_INIT
1700: 49 41 4c 49 5a 45 52 2c 0a 20 20 20 20 53 51 4c  IALIZER,.    SQL
1710: 49 54 45 33 5f 4d 55 54 45 58 5f 49 4e 49 54 49  ITE3_MUTEX_INITI
1720: 41 4c 49 5a 45 52 2c 0a 20 20 20 20 53 51 4c 49  ALIZER,.    SQLI
1730: 54 45 33 5f 4d 55 54 45 58 5f 49 4e 49 54 49 41  TE3_MUTEX_INITIA
1740: 4c 49 5a 45 52 2c 0a 20 20 20 20 53 51 4c 49 54  LIZER,.    SQLIT
1750: 45 33 5f 4d 55 54 45 58 5f 49 4e 49 54 49 41 4c  E3_MUTEX_INITIAL
1760: 49 5a 45 52 2c 0a 20 20 20 20 53 51 4c 49 54 45  IZER,.    SQLITE
1770: 33 5f 4d 55 54 45 58 5f 49 4e 49 54 49 41 4c 49  3_MUTEX_INITIALI
1780: 5a 45 52 2c 0a 20 20 20 20 53 51 4c 49 54 45 33  ZER,.    SQLITE3
1790: 5f 4d 55 54 45 58 5f 49 4e 49 54 49 41 4c 49 5a  _MUTEX_INITIALIZ
17a0: 45 52 2c 0a 20 20 20 20 53 51 4c 49 54 45 33 5f  ER,.    SQLITE3_
17b0: 4d 55 54 45 58 5f 49 4e 49 54 49 41 4c 49 5a 45  MUTEX_INITIALIZE
17c0: 52 2c 0a 20 20 20 20 53 51 4c 49 54 45 33 5f 4d  R,.    SQLITE3_M
17d0: 55 54 45 58 5f 49 4e 49 54 49 41 4c 49 5a 45 52  UTEX_INITIALIZER
17e0: 0a 20 20 7d 3b 0a 20 20 73 71 6c 69 74 65 33 5f  .  };.  sqlite3_
17f0: 6d 75 74 65 78 20 2a 70 3b 0a 20 20 73 77 69 74  mutex *p;.  swit
1800: 63 68 28 20 69 54 79 70 65 20 29 7b 0a 20 20 20  ch( iType ){.   
1810: 20 63 61 73 65 20 53 51 4c 49 54 45 5f 4d 55 54   case SQLITE_MUT
1820: 45 58 5f 52 45 43 55 52 53 49 56 45 3a 20 7b 0a  EX_RECURSIVE: {.
1830: 20 20 20 20 20 20 70 20 3d 20 73 71 6c 69 74 65        p = sqlite
1840: 33 4d 61 6c 6c 6f 63 5a 65 72 6f 28 20 73 69 7a  3MallocZero( siz
1850: 65 6f 66 28 2a 70 29 20 29 3b 0a 20 20 20 20 20  eof(*p) );.     
1860: 20 69 66 28 20 70 20 29 7b 0a 23 69 66 64 65 66   if( p ){.#ifdef
1870: 20 53 51 4c 49 54 45 5f 48 4f 4d 45 47 52 4f 57   SQLITE_HOMEGROW
1880: 4e 5f 52 45 43 55 52 53 49 56 45 5f 4d 55 54 45  N_RECURSIVE_MUTE
1890: 58 0a 20 20 20 20 20 20 20 20 2f 2a 20 49 66 20  X.        /* If 
18a0: 72 65 63 75 72 73 69 76 65 20 6d 75 74 65 78 65  recursive mutexe
18b0: 73 20 61 72 65 20 6e 6f 74 20 61 76 61 69 6c 61  s are not availa
18c0: 62 6c 65 2c 20 77 65 20 77 69 6c 6c 20 68 61 76  ble, we will hav
18d0: 65 20 74 6f 0a 20 20 20 20 20 20 20 20 2a 2a 20  e to.        ** 
18e0: 62 75 69 6c 64 20 6f 75 72 20 6f 77 6e 2e 20 20  build our own.  
18f0: 53 65 65 20 62 65 6c 6f 77 2e 20 2a 2f 0a 20 20  See below. */.  
1900: 20 20 20 20 20 20 70 74 68 72 65 61 64 5f 6d 75        pthread_mu
1910: 74 65 78 5f 69 6e 69 74 28 26 70 2d 3e 6d 75 74  tex_init(&p->mut
1920: 65 78 2c 20 30 29 3b 0a 23 65 6c 73 65 0a 20 20  ex, 0);.#else.  
1930: 20 20 20 20 20 20 2f 2a 20 55 73 65 20 61 20 72        /* Use a r
1940: 65 63 75 72 73 69 76 65 20 6d 75 74 65 78 20 69  ecursive mutex i
1950: 66 20 69 74 20 69 73 20 61 76 61 69 6c 61 62 6c  f it is availabl
1960: 65 20 2a 2f 0a 20 20 20 20 20 20 20 20 70 74 68  e */.        pth
1970: 72 65 61 64 5f 6d 75 74 65 78 61 74 74 72 5f 74  read_mutexattr_t
1980: 20 72 65 63 75 72 73 69 76 65 41 74 74 72 3b 0a   recursiveAttr;.
1990: 20 20 20 20 20 20 20 20 70 74 68 72 65 61 64 5f          pthread_
19a0: 6d 75 74 65 78 61 74 74 72 5f 69 6e 69 74 28 26  mutexattr_init(&
19b0: 72 65 63 75 72 73 69 76 65 41 74 74 72 29 3b 0a  recursiveAttr);.
19c0: 20 20 20 20 20 20 20 20 70 74 68 72 65 61 64 5f          pthread_
19d0: 6d 75 74 65 78 61 74 74 72 5f 73 65 74 74 79 70  mutexattr_settyp
19e0: 65 28 26 72 65 63 75 72 73 69 76 65 41 74 74 72  e(&recursiveAttr
19f0: 2c 20 50 54 48 52 45 41 44 5f 4d 55 54 45 58 5f  , PTHREAD_MUTEX_
1a00: 52 45 43 55 52 53 49 56 45 29 3b 0a 20 20 20 20  RECURSIVE);.    
1a10: 20 20 20 20 70 74 68 72 65 61 64 5f 6d 75 74 65      pthread_mute
1a20: 78 5f 69 6e 69 74 28 26 70 2d 3e 6d 75 74 65 78  x_init(&p->mutex
1a30: 2c 20 26 72 65 63 75 72 73 69 76 65 41 74 74 72  , &recursiveAttr
1a40: 29 3b 0a 20 20 20 20 20 20 20 20 70 74 68 72 65  );.        pthre
1a50: 61 64 5f 6d 75 74 65 78 61 74 74 72 5f 64 65 73  ad_mutexattr_des
1a60: 74 72 6f 79 28 26 72 65 63 75 72 73 69 76 65 41  troy(&recursiveA
1a70: 74 74 72 29 3b 0a 23 65 6e 64 69 66 0a 20 20 20  ttr);.#endif.   
1a80: 20 20 20 7d 0a 20 20 20 20 20 20 62 72 65 61 6b     }.      break
1a90: 3b 0a 20 20 20 20 7d 0a 20 20 20 20 63 61 73 65  ;.    }.    case
1aa0: 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 46 41   SQLITE_MUTEX_FA
1ab0: 53 54 3a 20 7b 0a 20 20 20 20 20 20 70 20 3d 20  ST: {.      p = 
1ac0: 73 71 6c 69 74 65 33 4d 61 6c 6c 6f 63 5a 65 72  sqlite3MallocZer
1ad0: 6f 28 20 73 69 7a 65 6f 66 28 2a 70 29 20 29 3b  o( sizeof(*p) );
1ae0: 0a 20 20 20 20 20 20 69 66 28 20 70 20 29 7b 0a  .      if( p ){.
1af0: 20 20 20 20 20 20 20 20 70 74 68 72 65 61 64 5f          pthread_
1b00: 6d 75 74 65 78 5f 69 6e 69 74 28 26 70 2d 3e 6d  mutex_init(&p->m
1b10: 75 74 65 78 2c 20 30 29 3b 0a 20 20 20 20 20 20  utex, 0);.      
1b20: 7d 0a 20 20 20 20 20 20 62 72 65 61 6b 3b 0a 20  }.      break;. 
1b30: 20 20 20 7d 0a 20 20 20 20 64 65 66 61 75 6c 74     }.    default
1b40: 3a 20 7b 0a 23 69 66 64 65 66 20 53 51 4c 49 54  : {.#ifdef SQLIT
1b50: 45 5f 45 4e 41 42 4c 45 5f 41 50 49 5f 41 52 4d  E_ENABLE_API_ARM
1b60: 4f 52 0a 20 20 20 20 20 20 69 66 28 20 69 54 79  OR.      if( iTy
1b70: 70 65 2d 32 3c 30 20 7c 7c 20 69 54 79 70 65 2d  pe-2<0 || iType-
1b80: 32 3e 3d 41 72 72 61 79 53 69 7a 65 28 73 74 61  2>=ArraySize(sta
1b90: 74 69 63 4d 75 74 65 78 65 73 29 20 29 7b 0a 20  ticMutexes) ){. 
1ba0: 20 20 20 20 20 20 20 28 76 6f 69 64 29 53 51 4c         (void)SQL
1bb0: 49 54 45 5f 4d 49 53 55 53 45 5f 42 4b 50 54 3b  ITE_MISUSE_BKPT;
1bc0: 0a 20 20 20 20 20 20 20 20 72 65 74 75 72 6e 20  .        return 
1bd0: 30 3b 0a 20 20 20 20 20 20 7d 0a 23 65 6e 64 69  0;.      }.#endi
1be0: 66 0a 20 20 20 20 20 20 70 20 3d 20 26 73 74 61  f.      p = &sta
1bf0: 74 69 63 4d 75 74 65 78 65 73 5b 69 54 79 70 65  ticMutexes[iType
1c00: 2d 32 5d 3b 0a 20 20 20 20 20 20 62 72 65 61 6b  -2];.      break
1c10: 3b 0a 20 20 20 20 7d 0a 20 20 7d 0a 23 69 66 20  ;.    }.  }.#if 
1c20: 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 4e 52 45  SQLITE_MUTEX_NRE
1c30: 46 20 7c 7c 20 64 65 66 69 6e 65 64 28 53 51 4c  F || defined(SQL
1c40: 49 54 45 5f 45 4e 41 42 4c 45 5f 41 50 49 5f 41  ITE_ENABLE_API_A
1c50: 52 4d 4f 52 29 0a 20 20 69 66 28 20 70 20 29 20  RMOR).  if( p ) 
1c60: 70 2d 3e 69 64 20 3d 20 69 54 79 70 65 3b 0a 23  p->id = iType;.#
1c70: 65 6e 64 69 66 0a 20 20 72 65 74 75 72 6e 20 70  endif.  return p
1c80: 3b 0a 7d 0a 0a 0a 2f 2a 0a 2a 2a 20 54 68 69 73  ;.}.../*.** This
1c90: 20 72 6f 75 74 69 6e 65 20 64 65 61 6c 6c 6f 63   routine dealloc
1ca0: 61 74 65 73 20 61 20 70 72 65 76 69 6f 75 73 6c  ates a previousl
1cb0: 79 0a 2a 2a 20 61 6c 6c 6f 63 61 74 65 64 20 6d  y.** allocated m
1cc0: 75 74 65 78 2e 20 20 53 51 4c 69 74 65 20 69 73  utex.  SQLite is
1cd0: 20 63 61 72 65 66 75 6c 20 74 6f 20 64 65 61 6c   careful to deal
1ce0: 6c 6f 63 61 74 65 20 65 76 65 72 79 0a 2a 2a 20  locate every.** 
1cf0: 6d 75 74 65 78 20 74 68 61 74 20 69 74 20 61 6c  mutex that it al
1d00: 6c 6f 63 61 74 65 73 2e 0a 2a 2f 0a 73 74 61 74  locates..*/.stat
1d10: 69 63 20 76 6f 69 64 20 70 74 68 72 65 61 64 4d  ic void pthreadM
1d20: 75 74 65 78 46 72 65 65 28 73 71 6c 69 74 65 33  utexFree(sqlite3
1d30: 5f 6d 75 74 65 78 20 2a 70 29 7b 0a 20 20 61 73  _mutex *p){.  as
1d40: 73 65 72 74 28 20 70 2d 3e 6e 52 65 66 3d 3d 30  sert( p->nRef==0
1d50: 20 29 3b 0a 23 69 66 20 53 51 4c 49 54 45 5f 45   );.#if SQLITE_E
1d60: 4e 41 42 4c 45 5f 41 50 49 5f 41 52 4d 4f 52 0a  NABLE_API_ARMOR.
1d70: 20 20 69 66 28 20 70 2d 3e 69 64 3d 3d 53 51 4c    if( p->id==SQL
1d80: 49 54 45 5f 4d 55 54 45 58 5f 46 41 53 54 20 7c  ITE_MUTEX_FAST |
1d90: 7c 20 70 2d 3e 69 64 3d 3d 53 51 4c 49 54 45 5f  | p->id==SQLITE_
1da0: 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56 45 20  MUTEX_RECURSIVE 
1db0: 29 0a 23 65 6e 64 69 66 0a 20 20 7b 0a 20 20 20  ).#endif.  {.   
1dc0: 20 70 74 68 72 65 61 64 5f 6d 75 74 65 78 5f 64   pthread_mutex_d
1dd0: 65 73 74 72 6f 79 28 26 70 2d 3e 6d 75 74 65 78  estroy(&p->mutex
1de0: 29 3b 0a 20 20 20 20 73 71 6c 69 74 65 33 5f 66  );.    sqlite3_f
1df0: 72 65 65 28 70 29 3b 0a 20 20 7d 0a 23 69 66 64  ree(p);.  }.#ifd
1e00: 65 66 20 53 51 4c 49 54 45 5f 45 4e 41 42 4c 45  ef SQLITE_ENABLE
1e10: 5f 41 50 49 5f 41 52 4d 4f 52 0a 20 20 65 6c 73  _API_ARMOR.  els
1e20: 65 7b 0a 20 20 20 20 28 76 6f 69 64 29 53 51 4c  e{.    (void)SQL
1e30: 49 54 45 5f 4d 49 53 55 53 45 5f 42 4b 50 54 3b  ITE_MISUSE_BKPT;
1e40: 0a 20 20 7d 0a 23 65 6e 64 69 66 0a 7d 0a 0a 2f  .  }.#endif.}../
1e50: 2a 0a 2a 2a 20 54 68 65 20 73 71 6c 69 74 65 33  *.** The sqlite3
1e60: 5f 6d 75 74 65 78 5f 65 6e 74 65 72 28 29 20 61  _mutex_enter() a
1e70: 6e 64 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  nd sqlite3_mutex
1e80: 5f 74 72 79 28 29 20 72 6f 75 74 69 6e 65 73 20  _try() routines 
1e90: 61 74 74 65 6d 70 74 0a 2a 2a 20 74 6f 20 65 6e  attempt.** to en
1ea0: 74 65 72 20 61 20 6d 75 74 65 78 2e 20 20 49 66  ter a mutex.  If
1eb0: 20 61 6e 6f 74 68 65 72 20 74 68 72 65 61 64 20   another thread 
1ec0: 69 73 20 61 6c 72 65 61 64 79 20 77 69 74 68 69  is already withi
1ed0: 6e 20 74 68 65 20 6d 75 74 65 78 2c 0a 2a 2a 20  n the mutex,.** 
1ee0: 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 65 6e  sqlite3_mutex_en
1ef0: 74 65 72 28 29 20 77 69 6c 6c 20 62 6c 6f 63 6b  ter() will block
1f00: 20 61 6e 64 20 73 71 6c 69 74 65 33 5f 6d 75 74   and sqlite3_mut
1f10: 65 78 5f 74 72 79 28 29 20 77 69 6c 6c 20 72 65  ex_try() will re
1f20: 74 75 72 6e 0a 2a 2a 20 53 51 4c 49 54 45 5f 42  turn.** SQLITE_B
1f30: 55 53 59 2e 20 20 54 68 65 20 73 71 6c 69 74 65  USY.  The sqlite
1f40: 33 5f 6d 75 74 65 78 5f 74 72 79 28 29 20 69 6e  3_mutex_try() in
1f50: 74 65 72 66 61 63 65 20 72 65 74 75 72 6e 73 20  terface returns 
1f60: 53 51 4c 49 54 45 5f 4f 4b 0a 2a 2a 20 75 70 6f  SQLITE_OK.** upo
1f70: 6e 20 73 75 63 63 65 73 73 66 75 6c 20 65 6e 74  n successful ent
1f80: 72 79 2e 20 20 4d 75 74 65 78 65 73 20 63 72 65  ry.  Mutexes cre
1f90: 61 74 65 64 20 75 73 69 6e 67 20 53 51 4c 49 54  ated using SQLIT
1fa0: 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56  E_MUTEX_RECURSIV
1fb0: 45 20 63 61 6e 0a 2a 2a 20 62 65 20 65 6e 74 65  E can.** be ente
1fc0: 72 65 64 20 6d 75 6c 74 69 70 6c 65 20 74 69 6d  red multiple tim
1fd0: 65 73 20 62 79 20 74 68 65 20 73 61 6d 65 20 74  es by the same t
1fe0: 68 72 65 61 64 2e 20 20 49 6e 20 73 75 63 68 20  hread.  In such 
1ff0: 63 61 73 65 73 20 74 68 65 2c 0a 2a 2a 20 6d 75  cases the,.** mu
2000: 74 65 78 20 6d 75 73 74 20 62 65 20 65 78 69 74  tex must be exit
2010: 65 64 20 61 6e 20 65 71 75 61 6c 20 6e 75 6d 62  ed an equal numb
2020: 65 72 20 6f 66 20 74 69 6d 65 73 20 62 65 66 6f  er of times befo
2030: 72 65 20 61 6e 6f 74 68 65 72 20 74 68 72 65 61  re another threa
2040: 64 0a 2a 2a 20 63 61 6e 20 65 6e 74 65 72 2e 20  d.** can enter. 
2050: 20 49 66 20 74 68 65 20 73 61 6d 65 20 74 68 72   If the same thr
2060: 65 61 64 20 74 72 69 65 73 20 74 6f 20 65 6e 74  ead tries to ent
2070: 65 72 20 61 6e 79 20 6f 74 68 65 72 20 6b 69 6e  er any other kin
2080: 64 20 6f 66 20 6d 75 74 65 78 0a 2a 2a 20 6d 6f  d of mutex.** mo
2090: 72 65 20 74 68 61 6e 20 6f 6e 63 65 2c 20 74 68  re than once, th
20a0: 65 20 62 65 68 61 76 69 6f 72 20 69 73 20 75 6e  e behavior is un
20b0: 64 65 66 69 6e 65 64 2e 0a 2a 2f 0a 73 74 61 74  defined..*/.stat
20c0: 69 63 20 76 6f 69 64 20 70 74 68 72 65 61 64 4d  ic void pthreadM
20d0: 75 74 65 78 45 6e 74 65 72 28 73 71 6c 69 74 65  utexEnter(sqlite
20e0: 33 5f 6d 75 74 65 78 20 2a 70 29 7b 0a 20 20 61  3_mutex *p){.  a
20f0: 73 73 65 72 74 28 20 70 2d 3e 69 64 3d 3d 53 51  ssert( p->id==SQ
2100: 4c 49 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52  LITE_MUTEX_RECUR
2110: 53 49 56 45 20 7c 7c 20 70 74 68 72 65 61 64 4d  SIVE || pthreadM
2120: 75 74 65 78 4e 6f 74 68 65 6c 64 28 70 29 20 29  utexNotheld(p) )
2130: 3b 0a 0a 23 69 66 64 65 66 20 53 51 4c 49 54 45  ;..#ifdef SQLITE
2140: 5f 48 4f 4d 45 47 52 4f 57 4e 5f 52 45 43 55 52  _HOMEGROWN_RECUR
2150: 53 49 56 45 5f 4d 55 54 45 58 0a 20 20 2f 2a 20  SIVE_MUTEX.  /* 
2160: 49 66 20 72 65 63 75 72 73 69 76 65 20 6d 75 74  If recursive mut
2170: 65 78 65 73 20 61 72 65 20 6e 6f 74 20 61 76 61  exes are not ava
2180: 69 6c 61 62 6c 65 2c 20 74 68 65 6e 20 77 65 20  ilable, then we 
2190: 68 61 76 65 20 74 6f 20 67 72 6f 77 0a 20 20 2a  have to grow.  *
21a0: 2a 20 6f 75 72 20 6f 77 6e 2e 20 20 54 68 69 73  * our own.  This
21b0: 20 69 6d 70 6c 65 6d 65 6e 74 61 74 69 6f 6e 20   implementation 
21c0: 61 73 73 75 6d 65 73 20 74 68 61 74 20 70 74 68  assumes that pth
21d0: 72 65 61 64 5f 65 71 75 61 6c 28 29 0a 20 20 2a  read_equal().  *
21e0: 2a 20 69 73 20 61 74 6f 6d 69 63 20 2d 20 74 68  * is atomic - th
21f0: 61 74 20 69 74 20 63 61 6e 6e 6f 74 20 62 65 20  at it cannot be 
2200: 64 65 63 65 69 76 65 64 20 69 6e 74 6f 20 74 68  deceived into th
2210: 69 6e 6b 69 6e 67 20 73 65 6c 66 0a 20 20 2a 2a  inking self.  **
2220: 20 61 6e 64 20 70 2d 3e 6f 77 6e 65 72 20 61 72   and p->owner ar
2230: 65 20 65 71 75 61 6c 20 69 66 20 70 2d 3e 6f 77  e equal if p->ow
2240: 6e 65 72 20 63 68 61 6e 67 65 73 20 62 65 74 77  ner changes betw
2250: 65 65 6e 20 74 77 6f 20 76 61 6c 75 65 73 0a 20  een two values. 
2260: 20 2a 2a 20 74 68 61 74 20 61 72 65 20 6e 6f 74   ** that are not
2270: 20 65 71 75 61 6c 20 74 6f 20 73 65 6c 66 20 77   equal to self w
2280: 68 69 6c 65 20 74 68 65 20 63 6f 6d 70 61 72 69  hile the compari
2290: 73 6f 6e 20 69 73 20 74 61 6b 69 6e 67 20 70 6c  son is taking pl
22a0: 61 63 65 2e 0a 20 20 2a 2a 20 54 68 69 73 20 69  ace..  ** This i
22b0: 6d 70 6c 65 6d 65 6e 74 61 74 69 6f 6e 20 61 6c  mplementation al
22c0: 73 6f 20 61 73 73 75 6d 65 73 20 61 20 63 6f 68  so assumes a coh
22d0: 65 72 65 6e 74 20 63 61 63 68 65 20 2d 20 74 68  erent cache - th
22e0: 61 74 20 0a 20 20 2a 2a 20 73 65 70 61 72 61 74  at .  ** separat
22f0: 65 20 70 72 6f 63 65 73 73 65 73 20 63 61 6e 6e  e processes cann
2300: 6f 74 20 72 65 61 64 20 64 69 66 66 65 72 65 6e  ot read differen
2310: 74 20 76 61 6c 75 65 73 20 66 72 6f 6d 20 74 68  t values from th
2320: 65 20 73 61 6d 65 0a 20 20 2a 2a 20 61 64 64 72  e same.  ** addr
2330: 65 73 73 20 61 74 20 74 68 65 20 73 61 6d 65 20  ess at the same 
2340: 74 69 6d 65 2e 20 20 49 66 20 65 69 74 68 65 72  time.  If either
2350: 20 6f 66 20 74 68 65 73 65 20 74 77 6f 20 63 6f   of these two co
2360: 6e 64 69 74 69 6f 6e 73 0a 20 20 2a 2a 20 61 72  nditions.  ** ar
2370: 65 20 6e 6f 74 20 6d 65 74 2c 20 74 68 65 6e 20  e not met, then 
2380: 74 68 65 20 6d 75 74 65 78 65 73 20 77 69 6c 6c  the mutexes will
2390: 20 66 61 69 6c 20 61 6e 64 20 70 72 6f 62 6c 65   fail and proble
23a0: 6d 73 20 77 69 6c 6c 20 72 65 73 75 6c 74 2e 0a  ms will result..
23b0: 20 20 2a 2f 0a 20 20 7b 0a 20 20 20 20 70 74 68    */.  {.    pth
23c0: 72 65 61 64 5f 74 20 73 65 6c 66 20 3d 20 70 74  read_t self = pt
23d0: 68 72 65 61 64 5f 73 65 6c 66 28 29 3b 0a 20 20  hread_self();.  
23e0: 20 20 69 66 28 20 70 2d 3e 6e 52 65 66 3e 30 20    if( p->nRef>0 
23f0: 26 26 20 70 74 68 72 65 61 64 5f 65 71 75 61 6c  && pthread_equal
2400: 28 70 2d 3e 6f 77 6e 65 72 2c 20 73 65 6c 66 29  (p->owner, self)
2410: 20 29 7b 0a 20 20 20 20 20 20 70 2d 3e 6e 52 65   ){.      p->nRe
2420: 66 2b 2b 3b 0a 20 20 20 20 7d 65 6c 73 65 7b 0a  f++;.    }else{.
2430: 20 20 20 20 20 20 70 74 68 72 65 61 64 5f 6d 75        pthread_mu
2440: 74 65 78 5f 6c 6f 63 6b 28 26 70 2d 3e 6d 75 74  tex_lock(&p->mut
2450: 65 78 29 3b 0a 20 20 20 20 20 20 61 73 73 65 72  ex);.      asser
2460: 74 28 20 70 2d 3e 6e 52 65 66 3d 3d 30 20 29 3b  t( p->nRef==0 );
2470: 0a 20 20 20 20 20 20 70 2d 3e 6f 77 6e 65 72 20  .      p->owner 
2480: 3d 20 73 65 6c 66 3b 0a 20 20 20 20 20 20 70 2d  = self;.      p-
2490: 3e 6e 52 65 66 20 3d 20 31 3b 0a 20 20 20 20 7d  >nRef = 1;.    }
24a0: 0a 20 20 7d 0a 23 65 6c 73 65 0a 20 20 2f 2a 20  .  }.#else.  /* 
24b0: 55 73 65 20 74 68 65 20 62 75 69 6c 74 2d 69 6e  Use the built-in
24c0: 20 72 65 63 75 72 73 69 76 65 20 6d 75 74 65 78   recursive mutex
24d0: 65 73 20 69 66 20 74 68 65 79 20 61 72 65 20 61  es if they are a
24e0: 76 61 69 6c 61 62 6c 65 2e 0a 20 20 2a 2f 0a 20  vailable..  */. 
24f0: 20 70 74 68 72 65 61 64 5f 6d 75 74 65 78 5f 6c   pthread_mutex_l
2500: 6f 63 6b 28 26 70 2d 3e 6d 75 74 65 78 29 3b 0a  ock(&p->mutex);.
2510: 23 69 66 20 53 51 4c 49 54 45 5f 4d 55 54 45 58  #if SQLITE_MUTEX
2520: 5f 4e 52 45 46 0a 20 20 61 73 73 65 72 74 28 20  _NREF.  assert( 
2530: 70 2d 3e 6e 52 65 66 3e 30 20 7c 7c 20 70 2d 3e  p->nRef>0 || p->
2540: 6f 77 6e 65 72 3d 3d 30 20 29 3b 0a 20 20 70 2d  owner==0 );.  p-
2550: 3e 6f 77 6e 65 72 20 3d 20 70 74 68 72 65 61 64  >owner = pthread
2560: 5f 73 65 6c 66 28 29 3b 0a 20 20 70 2d 3e 6e 52  _self();.  p->nR
2570: 65 66 2b 2b 3b 0a 23 65 6e 64 69 66 0a 23 65 6e  ef++;.#endif.#en
2580: 64 69 66 0a 0a 23 69 66 64 65 66 20 53 51 4c 49  dif..#ifdef SQLI
2590: 54 45 5f 44 45 42 55 47 0a 20 20 69 66 28 20 70  TE_DEBUG.  if( p
25a0: 2d 3e 74 72 61 63 65 20 29 7b 0a 20 20 20 20 70  ->trace ){.    p
25b0: 72 69 6e 74 66 28 22 65 6e 74 65 72 20 6d 75 74  rintf("enter mut
25c0: 65 78 20 25 70 20 28 25 64 29 20 77 69 74 68 20  ex %p (%d) with 
25d0: 6e 52 65 66 3d 25 64 5c 6e 22 2c 20 70 2c 20 70  nRef=%d\n", p, p
25e0: 2d 3e 74 72 61 63 65 2c 20 70 2d 3e 6e 52 65 66  ->trace, p->nRef
25f0: 29 3b 0a 20 20 7d 0a 23 65 6e 64 69 66 0a 7d 0a  );.  }.#endif.}.
2600: 73 74 61 74 69 63 20 69 6e 74 20 70 74 68 72 65  static int pthre
2610: 61 64 4d 75 74 65 78 54 72 79 28 73 71 6c 69 74  adMutexTry(sqlit
2620: 65 33 5f 6d 75 74 65 78 20 2a 70 29 7b 0a 20 20  e3_mutex *p){.  
2630: 69 6e 74 20 72 63 3b 0a 20 20 61 73 73 65 72 74  int rc;.  assert
2640: 28 20 70 2d 3e 69 64 3d 3d 53 51 4c 49 54 45 5f  ( p->id==SQLITE_
2650: 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56 45 20  MUTEX_RECURSIVE 
2660: 7c 7c 20 70 74 68 72 65 61 64 4d 75 74 65 78 4e  || pthreadMutexN
2670: 6f 74 68 65 6c 64 28 70 29 20 29 3b 0a 0a 23 69  otheld(p) );..#i
2680: 66 64 65 66 20 53 51 4c 49 54 45 5f 48 4f 4d 45  fdef SQLITE_HOME
2690: 47 52 4f 57 4e 5f 52 45 43 55 52 53 49 56 45 5f  GROWN_RECURSIVE_
26a0: 4d 55 54 45 58 0a 20 20 2f 2a 20 49 66 20 72 65  MUTEX.  /* If re
26b0: 63 75 72 73 69 76 65 20 6d 75 74 65 78 65 73 20  cursive mutexes 
26c0: 61 72 65 20 6e 6f 74 20 61 76 61 69 6c 61 62 6c  are not availabl
26d0: 65 2c 20 74 68 65 6e 20 77 65 20 68 61 76 65 20  e, then we have 
26e0: 74 6f 20 67 72 6f 77 0a 20 20 2a 2a 20 6f 75 72  to grow.  ** our
26f0: 20 6f 77 6e 2e 20 20 54 68 69 73 20 69 6d 70 6c   own.  This impl
2700: 65 6d 65 6e 74 61 74 69 6f 6e 20 61 73 73 75 6d  ementation assum
2710: 65 73 20 74 68 61 74 20 70 74 68 72 65 61 64 5f  es that pthread_
2720: 65 71 75 61 6c 28 29 0a 20 20 2a 2a 20 69 73 20  equal().  ** is 
2730: 61 74 6f 6d 69 63 20 2d 20 74 68 61 74 20 69 74  atomic - that it
2740: 20 63 61 6e 6e 6f 74 20 62 65 20 64 65 63 65 69   cannot be decei
2750: 76 65 64 20 69 6e 74 6f 20 74 68 69 6e 6b 69 6e  ved into thinkin
2760: 67 20 73 65 6c 66 0a 20 20 2a 2a 20 61 6e 64 20  g self.  ** and 
2770: 70 2d 3e 6f 77 6e 65 72 20 61 72 65 20 65 71 75  p->owner are equ
2780: 61 6c 20 69 66 20 70 2d 3e 6f 77 6e 65 72 20 63  al if p->owner c
2790: 68 61 6e 67 65 73 20 62 65 74 77 65 65 6e 20 74  hanges between t
27a0: 77 6f 20 76 61 6c 75 65 73 0a 20 20 2a 2a 20 74  wo values.  ** t
27b0: 68 61 74 20 61 72 65 20 6e 6f 74 20 65 71 75 61  hat are not equa
27c0: 6c 20 74 6f 20 73 65 6c 66 20 77 68 69 6c 65 20  l to self while 
27d0: 74 68 65 20 63 6f 6d 70 61 72 69 73 6f 6e 20 69  the comparison i
27e0: 73 20 74 61 6b 69 6e 67 20 70 6c 61 63 65 2e 0a  s taking place..
27f0: 20 20 2a 2a 20 54 68 69 73 20 69 6d 70 6c 65 6d    ** This implem
2800: 65 6e 74 61 74 69 6f 6e 20 61 6c 73 6f 20 61 73  entation also as
2810: 73 75 6d 65 73 20 61 20 63 6f 68 65 72 65 6e 74  sumes a coherent
2820: 20 63 61 63 68 65 20 2d 20 74 68 61 74 20 0a 20   cache - that . 
2830: 20 2a 2a 20 73 65 70 61 72 61 74 65 20 70 72 6f   ** separate pro
2840: 63 65 73 73 65 73 20 63 61 6e 6e 6f 74 20 72 65  cesses cannot re
2850: 61 64 20 64 69 66 66 65 72 65 6e 74 20 76 61 6c  ad different val
2860: 75 65 73 20 66 72 6f 6d 20 74 68 65 20 73 61 6d  ues from the sam
2870: 65 0a 20 20 2a 2a 20 61 64 64 72 65 73 73 20 61  e.  ** address a
2880: 74 20 74 68 65 20 73 61 6d 65 20 74 69 6d 65 2e  t the same time.
2890: 20 20 49 66 20 65 69 74 68 65 72 20 6f 66 20 74    If either of t
28a0: 68 65 73 65 20 74 77 6f 20 63 6f 6e 64 69 74 69  hese two conditi
28b0: 6f 6e 73 0a 20 20 2a 2a 20 61 72 65 20 6e 6f 74  ons.  ** are not
28c0: 20 6d 65 74 2c 20 74 68 65 6e 20 74 68 65 20 6d   met, then the m
28d0: 75 74 65 78 65 73 20 77 69 6c 6c 20 66 61 69 6c  utexes will fail
28e0: 20 61 6e 64 20 70 72 6f 62 6c 65 6d 73 20 77 69   and problems wi
28f0: 6c 6c 20 72 65 73 75 6c 74 2e 0a 20 20 2a 2f 0a  ll result..  */.
2900: 20 20 7b 0a 20 20 20 20 70 74 68 72 65 61 64 5f    {.    pthread_
2910: 74 20 73 65 6c 66 20 3d 20 70 74 68 72 65 61 64  t self = pthread
2920: 5f 73 65 6c 66 28 29 3b 0a 20 20 20 20 69 66 28  _self();.    if(
2930: 20 70 2d 3e 6e 52 65 66 3e 30 20 26 26 20 70 74   p->nRef>0 && pt
2940: 68 72 65 61 64 5f 65 71 75 61 6c 28 70 2d 3e 6f  hread_equal(p->o
2950: 77 6e 65 72 2c 20 73 65 6c 66 29 20 29 7b 0a 20  wner, self) ){. 
2960: 20 20 20 20 20 70 2d 3e 6e 52 65 66 2b 2b 3b 0a       p->nRef++;.
2970: 20 20 20 20 20 20 72 63 20 3d 20 53 51 4c 49 54        rc = SQLIT
2980: 45 5f 4f 4b 3b 0a 20 20 20 20 7d 65 6c 73 65 20  E_OK;.    }else 
2990: 69 66 28 20 70 74 68 72 65 61 64 5f 6d 75 74 65  if( pthread_mute
29a0: 78 5f 74 72 79 6c 6f 63 6b 28 26 70 2d 3e 6d 75  x_trylock(&p->mu
29b0: 74 65 78 29 3d 3d 30 20 29 7b 0a 20 20 20 20 20  tex)==0 ){.     
29c0: 20 61 73 73 65 72 74 28 20 70 2d 3e 6e 52 65 66   assert( p->nRef
29d0: 3d 3d 30 20 29 3b 0a 20 20 20 20 20 20 70 2d 3e  ==0 );.      p->
29e0: 6f 77 6e 65 72 20 3d 20 73 65 6c 66 3b 0a 20 20  owner = self;.  
29f0: 20 20 20 20 70 2d 3e 6e 52 65 66 20 3d 20 31 3b      p->nRef = 1;
2a00: 0a 20 20 20 20 20 20 72 63 20 3d 20 53 51 4c 49  .      rc = SQLI
2a10: 54 45 5f 4f 4b 3b 0a 20 20 20 20 7d 65 6c 73 65  TE_OK;.    }else
2a20: 7b 0a 20 20 20 20 20 20 72 63 20 3d 20 53 51 4c  {.      rc = SQL
2a30: 49 54 45 5f 42 55 53 59 3b 0a 20 20 20 20 7d 0a  ITE_BUSY;.    }.
2a40: 20 20 7d 0a 23 65 6c 73 65 0a 20 20 2f 2a 20 55    }.#else.  /* U
2a50: 73 65 20 74 68 65 20 62 75 69 6c 74 2d 69 6e 20  se the built-in 
2a60: 72 65 63 75 72 73 69 76 65 20 6d 75 74 65 78 65  recursive mutexe
2a70: 73 20 69 66 20 74 68 65 79 20 61 72 65 20 61 76  s if they are av
2a80: 61 69 6c 61 62 6c 65 2e 0a 20 20 2a 2f 0a 20 20  ailable..  */.  
2a90: 69 66 28 20 70 74 68 72 65 61 64 5f 6d 75 74 65  if( pthread_mute
2aa0: 78 5f 74 72 79 6c 6f 63 6b 28 26 70 2d 3e 6d 75  x_trylock(&p->mu
2ab0: 74 65 78 29 3d 3d 30 20 29 7b 0a 23 69 66 20 53  tex)==0 ){.#if S
2ac0: 51 4c 49 54 45 5f 4d 55 54 45 58 5f 4e 52 45 46  QLITE_MUTEX_NREF
2ad0: 0a 20 20 20 20 70 2d 3e 6f 77 6e 65 72 20 3d 20  .    p->owner = 
2ae0: 70 74 68 72 65 61 64 5f 73 65 6c 66 28 29 3b 0a  pthread_self();.
2af0: 20 20 20 20 70 2d 3e 6e 52 65 66 2b 2b 3b 0a 23      p->nRef++;.#
2b00: 65 6e 64 69 66 0a 20 20 20 20 72 63 20 3d 20 53  endif.    rc = S
2b10: 51 4c 49 54 45 5f 4f 4b 3b 0a 20 20 7d 65 6c 73  QLITE_OK;.  }els
2b20: 65 7b 0a 20 20 20 20 72 63 20 3d 20 53 51 4c 49  e{.    rc = SQLI
2b30: 54 45 5f 42 55 53 59 3b 0a 20 20 7d 0a 23 65 6e  TE_BUSY;.  }.#en
2b40: 64 69 66 0a 0a 23 69 66 64 65 66 20 53 51 4c 49  dif..#ifdef SQLI
2b50: 54 45 5f 44 45 42 55 47 0a 20 20 69 66 28 20 72  TE_DEBUG.  if( r
2b60: 63 3d 3d 53 51 4c 49 54 45 5f 4f 4b 20 26 26 20  c==SQLITE_OK && 
2b70: 70 2d 3e 74 72 61 63 65 20 29 7b 0a 20 20 20 20  p->trace ){.    
2b80: 70 72 69 6e 74 66 28 22 65 6e 74 65 72 20 6d 75  printf("enter mu
2b90: 74 65 78 20 25 70 20 28 25 64 29 20 77 69 74 68  tex %p (%d) with
2ba0: 20 6e 52 65 66 3d 25 64 5c 6e 22 2c 20 70 2c 20   nRef=%d\n", p, 
2bb0: 70 2d 3e 74 72 61 63 65 2c 20 70 2d 3e 6e 52 65  p->trace, p->nRe
2bc0: 66 29 3b 0a 20 20 7d 0a 23 65 6e 64 69 66 0a 20  f);.  }.#endif. 
2bd0: 20 72 65 74 75 72 6e 20 72 63 3b 0a 7d 0a 0a 2f   return rc;.}../
2be0: 2a 0a 2a 2a 20 54 68 65 20 73 71 6c 69 74 65 33  *.** The sqlite3
2bf0: 5f 6d 75 74 65 78 5f 6c 65 61 76 65 28 29 20 72  _mutex_leave() r
2c00: 6f 75 74 69 6e 65 20 65 78 69 74 73 20 61 20 6d  outine exits a m
2c10: 75 74 65 78 20 74 68 61 74 20 77 61 73 0a 2a 2a  utex that was.**
2c20: 20 70 72 65 76 69 6f 75 73 6c 79 20 65 6e 74 65   previously ente
2c30: 72 65 64 20 62 79 20 74 68 65 20 73 61 6d 65 20  red by the same 
2c40: 74 68 72 65 61 64 2e 20 20 54 68 65 20 62 65 68  thread.  The beh
2c50: 61 76 69 6f 72 0a 2a 2a 20 69 73 20 75 6e 64 65  avior.** is unde
2c60: 66 69 6e 65 64 20 69 66 20 74 68 65 20 6d 75 74  fined if the mut
2c70: 65 78 20 69 73 20 6e 6f 74 20 63 75 72 72 65 6e  ex is not curren
2c80: 74 6c 79 20 65 6e 74 65 72 65 64 20 6f 72 0a 2a  tly entered or.*
2c90: 2a 20 69 73 20 6e 6f 74 20 63 75 72 72 65 6e 74  * is not current
2ca0: 6c 79 20 61 6c 6c 6f 63 61 74 65 64 2e 20 20 53  ly allocated.  S
2cb0: 51 4c 69 74 65 20 77 69 6c 6c 20 6e 65 76 65 72  QLite will never
2cc0: 20 64 6f 20 65 69 74 68 65 72 2e 0a 2a 2f 0a 73   do either..*/.s
2cd0: 74 61 74 69 63 20 76 6f 69 64 20 70 74 68 72 65  tatic void pthre
2ce0: 61 64 4d 75 74 65 78 4c 65 61 76 65 28 73 71 6c  adMutexLeave(sql
2cf0: 69 74 65 33 5f 6d 75 74 65 78 20 2a 70 29 7b 0a  ite3_mutex *p){.
2d00: 20 20 61 73 73 65 72 74 28 20 70 74 68 72 65 61    assert( pthrea
2d10: 64 4d 75 74 65 78 48 65 6c 64 28 70 29 20 29 3b  dMutexHeld(p) );
2d20: 0a 23 69 66 20 53 51 4c 49 54 45 5f 4d 55 54 45  .#if SQLITE_MUTE
2d30: 58 5f 4e 52 45 46 0a 20 20 70 2d 3e 6e 52 65 66  X_NREF.  p->nRef
2d40: 2d 2d 3b 0a 20 20 69 66 28 20 70 2d 3e 6e 52 65  --;.  if( p->nRe
2d50: 66 3d 3d 30 20 29 20 70 2d 3e 6f 77 6e 65 72 20  f==0 ) p->owner 
2d60: 3d 20 30 3b 0a 23 65 6e 64 69 66 0a 20 20 61 73  = 0;.#endif.  as
2d70: 73 65 72 74 28 20 70 2d 3e 6e 52 65 66 3d 3d 30  sert( p->nRef==0
2d80: 20 7c 7c 20 70 2d 3e 69 64 3d 3d 53 51 4c 49 54   || p->id==SQLIT
2d90: 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56  E_MUTEX_RECURSIV
2da0: 45 20 29 3b 0a 0a 23 69 66 64 65 66 20 53 51 4c  E );..#ifdef SQL
2db0: 49 54 45 5f 48 4f 4d 45 47 52 4f 57 4e 5f 52 45  ITE_HOMEGROWN_RE
2dc0: 43 55 52 53 49 56 45 5f 4d 55 54 45 58 0a 20 20  CURSIVE_MUTEX.  
2dd0: 69 66 28 20 70 2d 3e 6e 52 65 66 3d 3d 30 20 29  if( p->nRef==0 )
2de0: 7b 0a 20 20 20 20 70 74 68 72 65 61 64 5f 6d 75  {.    pthread_mu
2df0: 74 65 78 5f 75 6e 6c 6f 63 6b 28 26 70 2d 3e 6d  tex_unlock(&p->m
2e00: 75 74 65 78 29 3b 0a 20 20 7d 0a 23 65 6c 73 65  utex);.  }.#else
2e10: 0a 20 20 70 74 68 72 65 61 64 5f 6d 75 74 65 78  .  pthread_mutex
2e20: 5f 75 6e 6c 6f 63 6b 28 26 70 2d 3e 6d 75 74 65  _unlock(&p->mute
2e30: 78 29 3b 0a 23 65 6e 64 69 66 0a 0a 23 69 66 64  x);.#endif..#ifd
2e40: 65 66 20 53 51 4c 49 54 45 5f 44 45 42 55 47 0a  ef SQLITE_DEBUG.
2e50: 20 20 69 66 28 20 70 2d 3e 74 72 61 63 65 20 29    if( p->trace )
2e60: 7b 0a 20 20 20 20 70 72 69 6e 74 66 28 22 6c 65  {.    printf("le
2e70: 61 76 65 20 6d 75 74 65 78 20 25 70 20 28 25 64  ave mutex %p (%d
2e80: 29 20 77 69 74 68 20 6e 52 65 66 3d 25 64 5c 6e  ) with nRef=%d\n
2e90: 22 2c 20 70 2c 20 70 2d 3e 74 72 61 63 65 2c 20  ", p, p->trace, 
2ea0: 70 2d 3e 6e 52 65 66 29 3b 0a 20 20 7d 0a 23 65  p->nRef);.  }.#e
2eb0: 6e 64 69 66 0a 7d 0a 0a 73 71 6c 69 74 65 33 5f  ndif.}..sqlite3_
2ec0: 6d 75 74 65 78 5f 6d 65 74 68 6f 64 73 20 63 6f  mutex_methods co
2ed0: 6e 73 74 20 2a 73 71 6c 69 74 65 33 44 65 66 61  nst *sqlite3Defa
2ee0: 75 6c 74 4d 75 74 65 78 28 76 6f 69 64 29 7b 0a  ultMutex(void){.
2ef0: 20 20 73 74 61 74 69 63 20 63 6f 6e 73 74 20 73    static const s
2f00: 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 6d 65 74  qlite3_mutex_met
2f10: 68 6f 64 73 20 73 4d 75 74 65 78 20 3d 20 7b 0a  hods sMutex = {.
2f20: 20 20 20 20 70 74 68 72 65 61 64 4d 75 74 65 78      pthreadMutex
2f30: 49 6e 69 74 2c 0a 20 20 20 20 70 74 68 72 65 61  Init,.    pthrea
2f40: 64 4d 75 74 65 78 45 6e 64 2c 0a 20 20 20 20 70  dMutexEnd,.    p
2f50: 74 68 72 65 61 64 4d 75 74 65 78 41 6c 6c 6f 63  threadMutexAlloc
2f60: 2c 0a 20 20 20 20 70 74 68 72 65 61 64 4d 75 74  ,.    pthreadMut
2f70: 65 78 46 72 65 65 2c 0a 20 20 20 20 70 74 68 72  exFree,.    pthr
2f80: 65 61 64 4d 75 74 65 78 45 6e 74 65 72 2c 0a 20  eadMutexEnter,. 
2f90: 20 20 20 70 74 68 72 65 61 64 4d 75 74 65 78 54     pthreadMutexT
2fa0: 72 79 2c 0a 20 20 20 20 70 74 68 72 65 61 64 4d  ry,.    pthreadM
2fb0: 75 74 65 78 4c 65 61 76 65 2c 0a 23 69 66 64 65  utexLeave,.#ifde
2fc0: 66 20 53 51 4c 49 54 45 5f 44 45 42 55 47 0a 20  f SQLITE_DEBUG. 
2fd0: 20 20 20 70 74 68 72 65 61 64 4d 75 74 65 78 48     pthreadMutexH
2fe0: 65 6c 64 2c 0a 20 20 20 20 70 74 68 72 65 61 64  eld,.    pthread
2ff0: 4d 75 74 65 78 4e 6f 74 68 65 6c 64 0a 23 65 6c  MutexNotheld.#el
3000: 73 65 0a 20 20 20 20 30 2c 0a 20 20 20 20 30 0a  se.    0,.    0.
3010: 23 65 6e 64 69 66 0a 20 20 7d 3b 0a 0a 20 20 72  #endif.  };..  r
3020: 65 74 75 72 6e 20 26 73 4d 75 74 65 78 3b 0a 7d  eturn &sMutex;.}
3030: 0a 0a 23 65 6e 64 69 66 20 2f 2a 20 53 51 4c 49  ..#endif /* SQLI
3040: 54 45 5f 4d 55 54 45 58 5f 50 54 48 52 45 41 44  TE_MUTEX_PTHREAD
3050: 53 20 2a 2f 0a                                   S */.