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

Artifact 8cfa6e83c618d2fcae0fe63f4d2b5bb16b11a97a:


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 20 50 54 48 52  ITIALIZER { PTHR
0670: 45 41 44 5f 4d 55 54 45 58 5f 49 4e 49 54 49 41  EAD_MUTEX_INITIA
0680: 4c 49 5a 45 52 2c 20 30 2c 20 30 2c 20 28 70 74  LIZER, 0, 0, (pt
0690: 68 72 65 61 64 5f 74 29 30 2c 20 30 20 7d 0a 23  hread_t)0, 0 }.#
06a0: 65 6c 73 65 0a 23 64 65 66 69 6e 65 20 53 51 4c  else.#define SQL
06b0: 49 54 45 33 5f 4d 55 54 45 58 5f 49 4e 49 54 49  ITE3_MUTEX_INITI
06c0: 41 4c 49 5a 45 52 20 7b 20 50 54 48 52 45 41 44  ALIZER { PTHREAD
06d0: 5f 4d 55 54 45 58 5f 49 4e 49 54 49 41 4c 49 5a  _MUTEX_INITIALIZ
06e0: 45 52 20 7d 0a 23 65 6e 64 69 66 0a 0a 2f 2a 0a  ER }.#endif../*.
06f0: 2a 2a 20 54 68 65 20 73 71 6c 69 74 65 33 5f 6d  ** The sqlite3_m
0700: 75 74 65 78 5f 68 65 6c 64 28 29 20 61 6e 64 20  utex_held() and 
0710: 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 6e 6f  sqlite3_mutex_no
0720: 74 68 65 6c 64 28 29 20 72 6f 75 74 69 6e 65 20  theld() routine 
0730: 61 72 65 0a 2a 2a 20 69 6e 74 65 6e 64 65 64 20  are.** intended 
0740: 66 6f 72 20 75 73 65 20 6f 6e 6c 79 20 69 6e 73  for use only ins
0750: 69 64 65 20 61 73 73 65 72 74 28 29 20 73 74 61  ide assert() sta
0760: 74 65 6d 65 6e 74 73 2e 20 20 4f 6e 20 73 6f 6d  tements.  On som
0770: 65 20 70 6c 61 74 66 6f 72 6d 73 2c 0a 2a 2a 20  e platforms,.** 
0780: 74 68 65 72 65 20 6d 69 67 68 74 20 62 65 20 72  there might be r
0790: 61 63 65 20 63 6f 6e 64 69 74 69 6f 6e 73 20 74  ace conditions t
07a0: 68 61 74 20 63 61 6e 20 63 61 75 73 65 20 74 68  hat can cause th
07b0: 65 73 65 20 72 6f 75 74 69 6e 65 73 20 74 6f 0a  ese routines to.
07c0: 2a 2a 20 64 65 6c 69 76 65 72 20 69 6e 63 6f 72  ** deliver incor
07d0: 72 65 63 74 20 72 65 73 75 6c 74 73 2e 20 20 49  rect results.  I
07e0: 6e 20 70 61 72 74 69 63 75 6c 61 72 2c 20 69 66  n particular, if
07f0: 20 70 74 68 72 65 61 64 5f 65 71 75 61 6c 28 29   pthread_equal()
0800: 20 69 73 0a 2a 2a 20 6e 6f 74 20 61 6e 20 61 74   is.** not an at
0810: 6f 6d 69 63 20 6f 70 65 72 61 74 69 6f 6e 2c 20  omic operation, 
0820: 74 68 65 6e 20 74 68 65 73 65 20 72 6f 75 74 69  then these routi
0830: 6e 65 73 20 6d 69 67 68 74 20 64 65 6c 69 76 65  nes might delive
0840: 72 79 0a 2a 2a 20 69 6e 63 6f 72 72 65 63 74 20  ry.** incorrect 
0850: 72 65 73 75 6c 74 73 2e 20 20 4f 6e 20 6d 6f 73  results.  On mos
0860: 74 20 70 6c 61 74 66 6f 72 6d 73 2c 20 70 74 68  t platforms, pth
0870: 72 65 61 64 5f 65 71 75 61 6c 28 29 20 69 73 20  read_equal() is 
0880: 61 20 0a 2a 2a 20 63 6f 6d 70 61 72 69 73 6f 6e  a .** comparison
0890: 20 6f 66 20 74 77 6f 20 69 6e 74 65 67 65 72 73   of two integers
08a0: 20 61 6e 64 20 69 73 20 74 68 65 72 65 66 6f 72   and is therefor
08b0: 65 20 61 74 6f 6d 69 63 2e 20 20 42 75 74 20 77  e atomic.  But w
08c0: 65 20 61 72 65 0a 2a 2a 20 74 6f 6c 64 20 74 68  e are.** told th
08d0: 61 74 20 48 50 55 58 20 69 73 20 6e 6f 74 20 73  at HPUX is not s
08e0: 75 63 68 20 61 20 70 6c 61 74 66 6f 72 6d 2e 20  uch a platform. 
08f0: 20 49 66 20 73 6f 2c 20 74 68 65 6e 20 74 68 65   If so, then the
0900: 73 65 20 72 6f 75 74 69 6e 65 73 0a 2a 2a 20 77  se routines.** w
0910: 69 6c 6c 20 6e 6f 74 20 61 6c 77 61 79 73 20 77  ill not always w
0920: 6f 72 6b 20 63 6f 72 72 65 63 74 6c 79 20 6f 6e  ork correctly on
0930: 20 48 50 55 58 2e 0a 2a 2a 0a 2a 2a 20 4f 6e 20   HPUX..**.** On 
0940: 74 68 6f 73 65 20 70 6c 61 74 66 6f 72 6d 73 20  those platforms 
0950: 77 68 65 72 65 20 70 74 68 72 65 61 64 5f 65 71  where pthread_eq
0960: 75 61 6c 28 29 20 69 73 20 6e 6f 74 20 61 74 6f  ual() is not ato
0970: 6d 69 63 2c 20 53 51 4c 69 74 65 0a 2a 2a 20 73  mic, SQLite.** s
0980: 68 6f 75 6c 64 20 62 65 20 63 6f 6d 70 69 6c 65  hould be compile
0990: 64 20 77 69 74 68 6f 75 74 20 2d 44 53 51 4c 49  d without -DSQLI
09a0: 54 45 5f 44 45 42 55 47 20 61 6e 64 20 77 69 74  TE_DEBUG and wit
09b0: 68 20 2d 44 4e 44 45 42 55 47 20 74 6f 0a 2a 2a  h -DNDEBUG to.**
09c0: 20 6d 61 6b 65 20 73 75 72 65 20 6e 6f 20 61 73   make sure no as
09d0: 73 65 72 74 28 29 20 73 74 61 74 65 6d 65 6e 74  sert() statement
09e0: 73 20 61 72 65 20 65 76 61 6c 75 61 74 65 64 20  s are evaluated 
09f0: 61 6e 64 20 68 65 6e 63 65 20 74 68 65 73 65 0a  and hence these.
0a00: 2a 2a 20 72 6f 75 74 69 6e 65 73 20 61 72 65 20  ** routines are 
0a10: 6e 65 76 65 72 20 63 61 6c 6c 65 64 2e 0a 2a 2f  never called..*/
0a20: 0a 23 69 66 20 21 64 65 66 69 6e 65 64 28 4e 44  .#if !defined(ND
0a30: 45 42 55 47 29 20 7c 7c 20 64 65 66 69 6e 65 64  EBUG) || defined
0a40: 28 53 51 4c 49 54 45 5f 44 45 42 55 47 29 0a 73  (SQLITE_DEBUG).s
0a50: 74 61 74 69 63 20 69 6e 74 20 70 74 68 72 65 61  tatic int pthrea
0a60: 64 4d 75 74 65 78 48 65 6c 64 28 73 71 6c 69 74  dMutexHeld(sqlit
0a70: 65 33 5f 6d 75 74 65 78 20 2a 70 29 7b 0a 20 20  e3_mutex *p){.  
0a80: 72 65 74 75 72 6e 20 28 70 2d 3e 6e 52 65 66 21  return (p->nRef!
0a90: 3d 30 20 26 26 20 70 74 68 72 65 61 64 5f 65 71  =0 && pthread_eq
0aa0: 75 61 6c 28 70 2d 3e 6f 77 6e 65 72 2c 20 70 74  ual(p->owner, pt
0ab0: 68 72 65 61 64 5f 73 65 6c 66 28 29 29 29 3b 0a  hread_self()));.
0ac0: 7d 0a 73 74 61 74 69 63 20 69 6e 74 20 70 74 68  }.static int pth
0ad0: 72 65 61 64 4d 75 74 65 78 4e 6f 74 68 65 6c 64  readMutexNotheld
0ae0: 28 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a  (sqlite3_mutex *
0af0: 70 29 7b 0a 20 20 72 65 74 75 72 6e 20 70 2d 3e  p){.  return p->
0b00: 6e 52 65 66 3d 3d 30 20 7c 7c 20 70 74 68 72 65  nRef==0 || pthre
0b10: 61 64 5f 65 71 75 61 6c 28 70 2d 3e 6f 77 6e 65  ad_equal(p->owne
0b20: 72 2c 20 70 74 68 72 65 61 64 5f 73 65 6c 66 28  r, pthread_self(
0b30: 29 29 3d 3d 30 3b 0a 7d 0a 23 65 6e 64 69 66 0a  ))==0;.}.#endif.
0b40: 0a 2f 2a 0a 2a 2a 20 54 72 79 20 74 6f 20 70 72  ./*.** Try to pr
0b50: 6f 76 69 64 65 20 61 20 6d 65 6d 6f 72 79 20 62  ovide a memory b
0b60: 61 72 72 69 65 72 20 6f 70 65 72 61 74 69 6f 6e  arrier operation
0b70: 2c 20 6e 65 65 64 65 64 20 66 6f 72 20 69 6e 69  , needed for ini
0b80: 74 69 61 6c 69 7a 61 74 69 6f 6e 20 6f 6e 6c 79  tialization only
0b90: 2e 0a 2a 2f 0a 76 6f 69 64 20 73 71 6c 69 74 65  ..*/.void sqlite
0ba0: 33 4d 65 6d 6f 72 79 42 61 72 72 69 65 72 28 76  3MemoryBarrier(v
0bb0: 6f 69 64 29 7b 0a 23 69 66 20 64 65 66 69 6e 65  oid){.#if define
0bc0: 64 28 53 51 4c 49 54 45 5f 4d 45 4d 4f 52 59 5f  d(SQLITE_MEMORY_
0bd0: 42 41 52 52 49 45 52 29 0a 20 20 53 51 4c 49 54  BARRIER).  SQLIT
0be0: 45 5f 4d 45 4d 4f 52 59 5f 42 41 52 52 49 45 52  E_MEMORY_BARRIER
0bf0: 3b 0a 23 65 6c 69 66 20 64 65 66 69 6e 65 64 28  ;.#elif defined(
0c00: 5f 5f 47 4e 55 43 5f 5f 29 20 26 26 20 47 43 43  __GNUC__) && GCC
0c10: 5f 56 45 52 53 49 4f 4e 3e 3d 34 30 30 31 30 30  _VERSION>=400100
0c20: 30 0a 20 20 5f 5f 73 79 6e 63 5f 73 79 6e 63 68  0.  __sync_synch
0c30: 72 6f 6e 69 7a 65 28 29 3b 0a 23 65 6e 64 69 66  ronize();.#endif
0c40: 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 49 6e 69 74 69 61  .}../*.** Initia
0c50: 6c 69 7a 65 20 61 6e 64 20 64 65 69 6e 69 74 69  lize and deiniti
0c60: 61 6c 69 7a 65 20 74 68 65 20 6d 75 74 65 78 20  alize the mutex 
0c70: 73 75 62 73 79 73 74 65 6d 2e 0a 2a 2f 0a 73 74  subsystem..*/.st
0c80: 61 74 69 63 20 69 6e 74 20 70 74 68 72 65 61 64  atic int pthread
0c90: 4d 75 74 65 78 49 6e 69 74 28 76 6f 69 64 29 7b  MutexInit(void){
0ca0: 20 72 65 74 75 72 6e 20 53 51 4c 49 54 45 5f 4f   return SQLITE_O
0cb0: 4b 3b 20 7d 0a 73 74 61 74 69 63 20 69 6e 74 20  K; }.static int 
0cc0: 70 74 68 72 65 61 64 4d 75 74 65 78 45 6e 64 28  pthreadMutexEnd(
0cd0: 76 6f 69 64 29 7b 20 72 65 74 75 72 6e 20 53 51  void){ return SQ
0ce0: 4c 49 54 45 5f 4f 4b 3b 20 7d 0a 0a 2f 2a 0a 2a  LITE_OK; }../*.*
0cf0: 2a 20 54 68 65 20 73 71 6c 69 74 65 33 5f 6d 75  * The sqlite3_mu
0d00: 74 65 78 5f 61 6c 6c 6f 63 28 29 20 72 6f 75 74  tex_alloc() rout
0d10: 69 6e 65 20 61 6c 6c 6f 63 61 74 65 73 20 61 20  ine allocates a 
0d20: 6e 65 77 0a 2a 2a 20 6d 75 74 65 78 20 61 6e 64  new.** mutex and
0d30: 20 72 65 74 75 72 6e 73 20 61 20 70 6f 69 6e 74   returns a point
0d40: 65 72 20 74 6f 20 69 74 2e 20 20 49 66 20 69 74  er to it.  If it
0d50: 20 72 65 74 75 72 6e 73 20 4e 55 4c 4c 0a 2a 2a   returns NULL.**
0d60: 20 74 68 61 74 20 6d 65 61 6e 73 20 74 68 61 74   that means that
0d70: 20 61 20 6d 75 74 65 78 20 63 6f 75 6c 64 20 6e   a mutex could n
0d80: 6f 74 20 62 65 20 61 6c 6c 6f 63 61 74 65 64 2e  ot be allocated.
0d90: 20 20 53 51 4c 69 74 65 0a 2a 2a 20 77 69 6c 6c    SQLite.** will
0da0: 20 75 6e 77 69 6e 64 20 69 74 73 20 73 74 61 63   unwind its stac
0db0: 6b 20 61 6e 64 20 72 65 74 75 72 6e 20 61 6e 20  k and return an 
0dc0: 65 72 72 6f 72 2e 20 20 54 68 65 20 61 72 67 75  error.  The argu
0dd0: 6d 65 6e 74 0a 2a 2a 20 74 6f 20 73 71 6c 69 74  ment.** to sqlit
0de0: 65 33 5f 6d 75 74 65 78 5f 61 6c 6c 6f 63 28 29  e3_mutex_alloc()
0df0: 20 69 73 20 6f 6e 65 20 6f 66 20 74 68 65 73 65   is one of these
0e00: 20 69 6e 74 65 67 65 72 20 63 6f 6e 73 74 61 6e   integer constan
0e10: 74 73 3a 0a 2a 2a 0a 2a 2a 20 3c 75 6c 3e 0a 2a  ts:.**.** <ul>.*
0e20: 2a 20 3c 6c 69 3e 20 20 53 51 4c 49 54 45 5f 4d  * <li>  SQLITE_M
0e30: 55 54 45 58 5f 46 41 53 54 0a 2a 2a 20 3c 6c 69  UTEX_FAST.** <li
0e40: 3e 20 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f  >  SQLITE_MUTEX_
0e50: 52 45 43 55 52 53 49 56 45 0a 2a 2a 20 3c 6c 69  RECURSIVE.** <li
0e60: 3e 20 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f  >  SQLITE_MUTEX_
0e70: 53 54 41 54 49 43 5f 4d 41 53 54 45 52 0a 2a 2a  STATIC_MASTER.**
0e80: 20 3c 6c 69 3e 20 20 53 51 4c 49 54 45 5f 4d 55   <li>  SQLITE_MU
0e90: 54 45 58 5f 53 54 41 54 49 43 5f 4d 45 4d 0a 2a  TEX_STATIC_MEM.*
0ea0: 2a 20 3c 6c 69 3e 20 20 53 51 4c 49 54 45 5f 4d  * <li>  SQLITE_M
0eb0: 55 54 45 58 5f 53 54 41 54 49 43 5f 4f 50 45 4e  UTEX_STATIC_OPEN
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 50 52  _MUTEX_STATIC_PR
0ee0: 4e 47 0a 2a 2a 20 3c 6c 69 3e 20 20 53 51 4c 49  NG.** <li>  SQLI
0ef0: 54 45 5f 4d 55 54 45 58 5f 53 54 41 54 49 43 5f  TE_MUTEX_STATIC_
0f00: 4c 52 55 0a 2a 2a 20 3c 6c 69 3e 20 20 53 51 4c  LRU.** <li>  SQL
0f10: 49 54 45 5f 4d 55 54 45 58 5f 53 54 41 54 49 43  ITE_MUTEX_STATIC
0f20: 5f 50 4d 45 4d 0a 2a 2a 20 3c 6c 69 3e 20 20 53  _PMEM.** <li>  S
0f30: 51 4c 49 54 45 5f 4d 55 54 45 58 5f 53 54 41 54  QLITE_MUTEX_STAT
0f40: 49 43 5f 41 50 50 31 0a 2a 2a 20 3c 6c 69 3e 20  IC_APP1.** <li> 
0f50: 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 53 54   SQLITE_MUTEX_ST
0f60: 41 54 49 43 5f 41 50 50 32 0a 2a 2a 20 3c 6c 69  ATIC_APP2.** <li
0f70: 3e 20 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f  >  SQLITE_MUTEX_
0f80: 53 54 41 54 49 43 5f 41 50 50 33 0a 2a 2a 20 3c  STATIC_APP3.** <
0f90: 6c 69 3e 20 20 53 51 4c 49 54 45 5f 4d 55 54 45  li>  SQLITE_MUTE
0fa0: 58 5f 53 54 41 54 49 43 5f 56 46 53 31 0a 2a 2a  X_STATIC_VFS1.**
0fb0: 20 3c 6c 69 3e 20 20 53 51 4c 49 54 45 5f 4d 55   <li>  SQLITE_MU
0fc0: 54 45 58 5f 53 54 41 54 49 43 5f 56 46 53 32 0a  TEX_STATIC_VFS2.
0fd0: 2a 2a 20 3c 6c 69 3e 20 20 53 51 4c 49 54 45 5f  ** <li>  SQLITE_
0fe0: 4d 55 54 45 58 5f 53 54 41 54 49 43 5f 56 46 53  MUTEX_STATIC_VFS
0ff0: 33 0a 2a 2a 20 3c 2f 75 6c 3e 0a 2a 2a 0a 2a 2a  3.** </ul>.**.**
1000: 20 54 68 65 20 66 69 72 73 74 20 74 77 6f 20 63   The first two c
1010: 6f 6e 73 74 61 6e 74 73 20 63 61 75 73 65 20 73  onstants cause s
1020: 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 61 6c 6c  qlite3_mutex_all
1030: 6f 63 28 29 20 74 6f 20 63 72 65 61 74 65 0a 2a  oc() to create.*
1040: 2a 20 61 20 6e 65 77 20 6d 75 74 65 78 2e 20 20  * a new mutex.  
1050: 54 68 65 20 6e 65 77 20 6d 75 74 65 78 20 69 73  The new mutex is
1060: 20 72 65 63 75 72 73 69 76 65 20 77 68 65 6e 20   recursive when 
1070: 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 52 45 43  SQLITE_MUTEX_REC
1080: 55 52 53 49 56 45 0a 2a 2a 20 69 73 20 75 73 65  URSIVE.** is use
1090: 64 20 62 75 74 20 6e 6f 74 20 6e 65 63 65 73 73  d but not necess
10a0: 61 72 69 6c 79 20 73 6f 20 77 68 65 6e 20 53 51  arily so when SQ
10b0: 4c 49 54 45 5f 4d 55 54 45 58 5f 46 41 53 54 20  LITE_MUTEX_FAST 
10c0: 69 73 20 75 73 65 64 2e 0a 2a 2a 20 54 68 65 20  is used..** The 
10d0: 6d 75 74 65 78 20 69 6d 70 6c 65 6d 65 6e 74 61  mutex implementa
10e0: 74 69 6f 6e 20 64 6f 65 73 20 6e 6f 74 20 6e 65  tion does not ne
10f0: 65 64 20 74 6f 20 6d 61 6b 65 20 61 20 64 69 73  ed to make a dis
1100: 74 69 6e 63 74 69 6f 6e 0a 2a 2a 20 62 65 74 77  tinction.** betw
1110: 65 65 6e 20 53 51 4c 49 54 45 5f 4d 55 54 45 58  een SQLITE_MUTEX
1120: 5f 52 45 43 55 52 53 49 56 45 20 61 6e 64 20 53  _RECURSIVE and S
1130: 51 4c 49 54 45 5f 4d 55 54 45 58 5f 46 41 53 54  QLITE_MUTEX_FAST
1140: 20 69 66 20 69 74 20 64 6f 65 73 0a 2a 2a 20 6e   if it does.** n
1150: 6f 74 20 77 61 6e 74 20 74 6f 2e 20 20 42 75 74  ot want to.  But
1160: 20 53 51 4c 69 74 65 20 77 69 6c 6c 20 6f 6e 6c   SQLite will onl
1170: 79 20 72 65 71 75 65 73 74 20 61 20 72 65 63 75  y request a recu
1180: 72 73 69 76 65 20 6d 75 74 65 78 20 69 6e 0a 2a  rsive mutex in.*
1190: 2a 20 63 61 73 65 73 20 77 68 65 72 65 20 69 74  * cases where it
11a0: 20 72 65 61 6c 6c 79 20 6e 65 65 64 73 20 6f 6e   really needs on
11b0: 65 2e 20 20 49 66 20 61 20 66 61 73 74 65 72 20  e.  If a faster 
11c0: 6e 6f 6e 2d 72 65 63 75 72 73 69 76 65 20 6d 75  non-recursive mu
11d0: 74 65 78 0a 2a 2a 20 69 6d 70 6c 65 6d 65 6e 74  tex.** implement
11e0: 61 74 69 6f 6e 20 69 73 20 61 76 61 69 6c 61 62  ation is availab
11f0: 6c 65 20 6f 6e 20 74 68 65 20 68 6f 73 74 20 70  le on the host p
1200: 6c 61 74 66 6f 72 6d 2c 20 74 68 65 20 6d 75 74  latform, the mut
1210: 65 78 20 73 75 62 73 79 73 74 65 6d 0a 2a 2a 20  ex subsystem.** 
1220: 6d 69 67 68 74 20 72 65 74 75 72 6e 20 73 75 63  might return suc
1230: 68 20 61 20 6d 75 74 65 78 20 69 6e 20 72 65 73  h a mutex in res
1240: 70 6f 6e 73 65 20 74 6f 20 53 51 4c 49 54 45 5f  ponse to SQLITE_
1250: 4d 55 54 45 58 5f 46 41 53 54 2e 0a 2a 2a 0a 2a  MUTEX_FAST..**.*
1260: 2a 20 54 68 65 20 6f 74 68 65 72 20 61 6c 6c 6f  * The other allo
1270: 77 65 64 20 70 61 72 61 6d 65 74 65 72 73 20 74  wed parameters t
1280: 6f 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f  o sqlite3_mutex_
1290: 61 6c 6c 6f 63 28 29 20 65 61 63 68 20 72 65 74  alloc() each ret
12a0: 75 72 6e 0a 2a 2a 20 61 20 70 6f 69 6e 74 65 72  urn.** a pointer
12b0: 20 74 6f 20 61 20 73 74 61 74 69 63 20 70 72 65   to a static pre
12c0: 65 78 69 73 74 69 6e 67 20 6d 75 74 65 78 2e 20  existing mutex. 
12d0: 20 53 69 78 20 73 74 61 74 69 63 20 6d 75 74 65   Six static mute
12e0: 78 65 73 20 61 72 65 0a 2a 2a 20 75 73 65 64 20  xes are.** used 
12f0: 62 79 20 74 68 65 20 63 75 72 72 65 6e 74 20 76  by the current v
1300: 65 72 73 69 6f 6e 20 6f 66 20 53 51 4c 69 74 65  ersion of SQLite
1310: 2e 20 20 46 75 74 75 72 65 20 76 65 72 73 69 6f  .  Future versio
1320: 6e 73 20 6f 66 20 53 51 4c 69 74 65 0a 2a 2a 20  ns of SQLite.** 
1330: 6d 61 79 20 61 64 64 20 61 64 64 69 74 69 6f 6e  may add addition
1340: 61 6c 20 73 74 61 74 69 63 20 6d 75 74 65 78 65  al static mutexe
1350: 73 2e 20 20 53 74 61 74 69 63 20 6d 75 74 65 78  s.  Static mutex
1360: 65 73 20 61 72 65 20 66 6f 72 20 69 6e 74 65 72  es are for inter
1370: 6e 61 6c 0a 2a 2a 20 75 73 65 20 62 79 20 53 51  nal.** use by SQ
1380: 4c 69 74 65 20 6f 6e 6c 79 2e 20 20 41 70 70 6c  Lite only.  Appl
1390: 69 63 61 74 69 6f 6e 73 20 74 68 61 74 20 75 73  ications that us
13a0: 65 20 53 51 4c 69 74 65 20 6d 75 74 65 78 65 73  e SQLite mutexes
13b0: 20 73 68 6f 75 6c 64 0a 2a 2a 20 75 73 65 20 6f   should.** use o
13c0: 6e 6c 79 20 74 68 65 20 64 79 6e 61 6d 69 63 20  nly the dynamic 
13d0: 6d 75 74 65 78 65 73 20 72 65 74 75 72 6e 65 64  mutexes returned
13e0: 20 62 79 20 53 51 4c 49 54 45 5f 4d 55 54 45 58   by SQLITE_MUTEX
13f0: 5f 46 41 53 54 20 6f 72 0a 2a 2a 20 53 51 4c 49  _FAST or.** SQLI
1400: 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49  TE_MUTEX_RECURSI
1410: 56 45 2e 0a 2a 2a 0a 2a 2a 20 4e 6f 74 65 20 74  VE..**.** Note t
1420: 68 61 74 20 69 66 20 6f 6e 65 20 6f 66 20 74 68  hat if one of th
1430: 65 20 64 79 6e 61 6d 69 63 20 6d 75 74 65 78 20  e dynamic mutex 
1440: 70 61 72 61 6d 65 74 65 72 73 20 28 53 51 4c 49  parameters (SQLI
1450: 54 45 5f 4d 55 54 45 58 5f 46 41 53 54 0a 2a 2a  TE_MUTEX_FAST.**
1460: 20 6f 72 20 53 51 4c 49 54 45 5f 4d 55 54 45 58   or SQLITE_MUTEX
1470: 5f 52 45 43 55 52 53 49 56 45 29 20 69 73 20 75  _RECURSIVE) is u
1480: 73 65 64 20 74 68 65 6e 20 73 71 6c 69 74 65 33  sed then sqlite3
1490: 5f 6d 75 74 65 78 5f 61 6c 6c 6f 63 28 29 0a 2a  _mutex_alloc().*
14a0: 2a 20 72 65 74 75 72 6e 73 20 61 20 64 69 66 66  * returns a diff
14b0: 65 72 65 6e 74 20 6d 75 74 65 78 20 6f 6e 20 65  erent mutex on e
14c0: 76 65 72 79 20 63 61 6c 6c 2e 20 20 42 75 74 20  very call.  But 
14d0: 66 6f 72 20 74 68 65 20 73 74 61 74 69 63 20 0a  for the static .
14e0: 2a 2a 20 6d 75 74 65 78 20 74 79 70 65 73 2c 20  ** mutex types, 
14f0: 74 68 65 20 73 61 6d 65 20 6d 75 74 65 78 20 69  the same mutex i
1500: 73 20 72 65 74 75 72 6e 65 64 20 6f 6e 20 65 76  s returned on ev
1510: 65 72 79 20 63 61 6c 6c 20 74 68 61 74 20 68 61  ery call that ha
1520: 73 0a 2a 2a 20 74 68 65 20 73 61 6d 65 20 74 79  s.** the same ty
1530: 70 65 20 6e 75 6d 62 65 72 2e 0a 2a 2f 0a 73 74  pe number..*/.st
1540: 61 74 69 63 20 73 71 6c 69 74 65 33 5f 6d 75 74  atic sqlite3_mut
1550: 65 78 20 2a 70 74 68 72 65 61 64 4d 75 74 65 78  ex *pthreadMutex
1560: 41 6c 6c 6f 63 28 69 6e 74 20 69 54 79 70 65 29  Alloc(int iType)
1570: 7b 0a 20 20 73 74 61 74 69 63 20 73 71 6c 69 74  {.  static sqlit
1580: 65 33 5f 6d 75 74 65 78 20 73 74 61 74 69 63 4d  e3_mutex staticM
1590: 75 74 65 78 65 73 5b 5d 20 3d 20 7b 0a 20 20 20  utexes[] = {.   
15a0: 20 53 51 4c 49 54 45 33 5f 4d 55 54 45 58 5f 49   SQLITE3_MUTEX_I
15b0: 4e 49 54 49 41 4c 49 5a 45 52 2c 0a 20 20 20 20  NITIALIZER,.    
15c0: 53 51 4c 49 54 45 33 5f 4d 55 54 45 58 5f 49 4e  SQLITE3_MUTEX_IN
15d0: 49 54 49 41 4c 49 5a 45 52 2c 0a 20 20 20 20 53  ITIALIZER,.    S
15e0: 51 4c 49 54 45 33 5f 4d 55 54 45 58 5f 49 4e 49  QLITE3_MUTEX_INI
15f0: 54 49 41 4c 49 5a 45 52 2c 0a 20 20 20 20 53 51  TIALIZER,.    SQ
1600: 4c 49 54 45 33 5f 4d 55 54 45 58 5f 49 4e 49 54  LITE3_MUTEX_INIT
1610: 49 41 4c 49 5a 45 52 2c 0a 20 20 20 20 53 51 4c  IALIZER,.    SQL
1620: 49 54 45 33 5f 4d 55 54 45 58 5f 49 4e 49 54 49  ITE3_MUTEX_INITI
1630: 41 4c 49 5a 45 52 2c 0a 20 20 20 20 53 51 4c 49  ALIZER,.    SQLI
1640: 54 45 33 5f 4d 55 54 45 58 5f 49 4e 49 54 49 41  TE3_MUTEX_INITIA
1650: 4c 49 5a 45 52 2c 0a 20 20 20 20 53 51 4c 49 54  LIZER,.    SQLIT
1660: 45 33 5f 4d 55 54 45 58 5f 49 4e 49 54 49 41 4c  E3_MUTEX_INITIAL
1670: 49 5a 45 52 2c 0a 20 20 20 20 53 51 4c 49 54 45  IZER,.    SQLITE
1680: 33 5f 4d 55 54 45 58 5f 49 4e 49 54 49 41 4c 49  3_MUTEX_INITIALI
1690: 5a 45 52 2c 0a 20 20 20 20 53 51 4c 49 54 45 33  ZER,.    SQLITE3
16a0: 5f 4d 55 54 45 58 5f 49 4e 49 54 49 41 4c 49 5a  _MUTEX_INITIALIZ
16b0: 45 52 2c 0a 20 20 20 20 53 51 4c 49 54 45 33 5f  ER,.    SQLITE3_
16c0: 4d 55 54 45 58 5f 49 4e 49 54 49 41 4c 49 5a 45  MUTEX_INITIALIZE
16d0: 52 2c 0a 20 20 20 20 53 51 4c 49 54 45 33 5f 4d  R,.    SQLITE3_M
16e0: 55 54 45 58 5f 49 4e 49 54 49 41 4c 49 5a 45 52  UTEX_INITIALIZER
16f0: 2c 0a 20 20 20 20 53 51 4c 49 54 45 33 5f 4d 55  ,.    SQLITE3_MU
1700: 54 45 58 5f 49 4e 49 54 49 41 4c 49 5a 45 52 0a  TEX_INITIALIZER.
1710: 20 20 7d 3b 0a 20 20 73 71 6c 69 74 65 33 5f 6d    };.  sqlite3_m
1720: 75 74 65 78 20 2a 70 3b 0a 20 20 73 77 69 74 63  utex *p;.  switc
1730: 68 28 20 69 54 79 70 65 20 29 7b 0a 20 20 20 20  h( iType ){.    
1740: 63 61 73 65 20 53 51 4c 49 54 45 5f 4d 55 54 45  case SQLITE_MUTE
1750: 58 5f 52 45 43 55 52 53 49 56 45 3a 20 7b 0a 20  X_RECURSIVE: {. 
1760: 20 20 20 20 20 70 20 3d 20 73 71 6c 69 74 65 33       p = sqlite3
1770: 4d 61 6c 6c 6f 63 5a 65 72 6f 28 20 73 69 7a 65  MallocZero( size
1780: 6f 66 28 2a 70 29 20 29 3b 0a 20 20 20 20 20 20  of(*p) );.      
1790: 69 66 28 20 70 20 29 7b 0a 23 69 66 64 65 66 20  if( p ){.#ifdef 
17a0: 53 51 4c 49 54 45 5f 48 4f 4d 45 47 52 4f 57 4e  SQLITE_HOMEGROWN
17b0: 5f 52 45 43 55 52 53 49 56 45 5f 4d 55 54 45 58  _RECURSIVE_MUTEX
17c0: 0a 20 20 20 20 20 20 20 20 2f 2a 20 49 66 20 72  .        /* If r
17d0: 65 63 75 72 73 69 76 65 20 6d 75 74 65 78 65 73  ecursive mutexes
17e0: 20 61 72 65 20 6e 6f 74 20 61 76 61 69 6c 61 62   are not availab
17f0: 6c 65 2c 20 77 65 20 77 69 6c 6c 20 68 61 76 65  le, we will have
1800: 20 74 6f 0a 20 20 20 20 20 20 20 20 2a 2a 20 62   to.        ** b
1810: 75 69 6c 64 20 6f 75 72 20 6f 77 6e 2e 20 20 53  uild our own.  S
1820: 65 65 20 62 65 6c 6f 77 2e 20 2a 2f 0a 20 20 20  ee below. */.   
1830: 20 20 20 20 20 70 74 68 72 65 61 64 5f 6d 75 74       pthread_mut
1840: 65 78 5f 69 6e 69 74 28 26 70 2d 3e 6d 75 74 65  ex_init(&p->mute
1850: 78 2c 20 30 29 3b 0a 23 65 6c 73 65 0a 20 20 20  x, 0);.#else.   
1860: 20 20 20 20 20 2f 2a 20 55 73 65 20 61 20 72 65       /* Use a re
1870: 63 75 72 73 69 76 65 20 6d 75 74 65 78 20 69 66  cursive mutex if
1880: 20 69 74 20 69 73 20 61 76 61 69 6c 61 62 6c 65   it is available
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 61 74 74 72 5f 74 20  ead_mutexattr_t 
18b0: 72 65 63 75 72 73 69 76 65 41 74 74 72 3b 0a 20  recursiveAttr;. 
18c0: 20 20 20 20 20 20 20 70 74 68 72 65 61 64 5f 6d         pthread_m
18d0: 75 74 65 78 61 74 74 72 5f 69 6e 69 74 28 26 72  utexattr_init(&r
18e0: 65 63 75 72 73 69 76 65 41 74 74 72 29 3b 0a 20  ecursiveAttr);. 
18f0: 20 20 20 20 20 20 20 70 74 68 72 65 61 64 5f 6d         pthread_m
1900: 75 74 65 78 61 74 74 72 5f 73 65 74 74 79 70 65  utexattr_settype
1910: 28 26 72 65 63 75 72 73 69 76 65 41 74 74 72 2c  (&recursiveAttr,
1920: 20 50 54 48 52 45 41 44 5f 4d 55 54 45 58 5f 52   PTHREAD_MUTEX_R
1930: 45 43 55 52 53 49 56 45 29 3b 0a 20 20 20 20 20  ECURSIVE);.     
1940: 20 20 20 70 74 68 72 65 61 64 5f 6d 75 74 65 78     pthread_mutex
1950: 5f 69 6e 69 74 28 26 70 2d 3e 6d 75 74 65 78 2c  _init(&p->mutex,
1960: 20 26 72 65 63 75 72 73 69 76 65 41 74 74 72 29   &recursiveAttr)
1970: 3b 0a 20 20 20 20 20 20 20 20 70 74 68 72 65 61  ;.        pthrea
1980: 64 5f 6d 75 74 65 78 61 74 74 72 5f 64 65 73 74  d_mutexattr_dest
1990: 72 6f 79 28 26 72 65 63 75 72 73 69 76 65 41 74  roy(&recursiveAt
19a0: 74 72 29 3b 0a 23 65 6e 64 69 66 0a 20 20 20 20  tr);.#endif.    
19b0: 20 20 7d 0a 20 20 20 20 20 20 62 72 65 61 6b 3b    }.      break;
19c0: 0a 20 20 20 20 7d 0a 20 20 20 20 63 61 73 65 20  .    }.    case 
19d0: 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 46 41 53  SQLITE_MUTEX_FAS
19e0: 54 3a 20 7b 0a 20 20 20 20 20 20 70 20 3d 20 73  T: {.      p = s
19f0: 71 6c 69 74 65 33 4d 61 6c 6c 6f 63 5a 65 72 6f  qlite3MallocZero
1a00: 28 20 73 69 7a 65 6f 66 28 2a 70 29 20 29 3b 0a  ( sizeof(*p) );.
1a10: 20 20 20 20 20 20 69 66 28 20 70 20 29 7b 0a 20        if( p ){. 
1a20: 20 20 20 20 20 20 20 70 74 68 72 65 61 64 5f 6d         pthread_m
1a30: 75 74 65 78 5f 69 6e 69 74 28 26 70 2d 3e 6d 75  utex_init(&p->mu
1a40: 74 65 78 2c 20 30 29 3b 0a 20 20 20 20 20 20 7d  tex, 0);.      }
1a50: 0a 20 20 20 20 20 20 62 72 65 61 6b 3b 0a 20 20  .      break;.  
1a60: 20 20 7d 0a 20 20 20 20 64 65 66 61 75 6c 74 3a    }.    default:
1a70: 20 7b 0a 23 69 66 64 65 66 20 53 51 4c 49 54 45   {.#ifdef SQLITE
1a80: 5f 45 4e 41 42 4c 45 5f 41 50 49 5f 41 52 4d 4f  _ENABLE_API_ARMO
1a90: 52 0a 20 20 20 20 20 20 69 66 28 20 69 54 79 70  R.      if( iTyp
1aa0: 65 2d 32 3c 30 20 7c 7c 20 69 54 79 70 65 2d 32  e-2<0 || iType-2
1ab0: 3e 3d 41 72 72 61 79 53 69 7a 65 28 73 74 61 74  >=ArraySize(stat
1ac0: 69 63 4d 75 74 65 78 65 73 29 20 29 7b 0a 20 20  icMutexes) ){.  
1ad0: 20 20 20 20 20 20 28 76 6f 69 64 29 53 51 4c 49        (void)SQLI
1ae0: 54 45 5f 4d 49 53 55 53 45 5f 42 4b 50 54 3b 0a  TE_MISUSE_BKPT;.
1af0: 20 20 20 20 20 20 20 20 72 65 74 75 72 6e 20 30          return 0
1b00: 3b 0a 20 20 20 20 20 20 7d 0a 23 65 6e 64 69 66  ;.      }.#endif
1b10: 0a 20 20 20 20 20 20 70 20 3d 20 26 73 74 61 74  .      p = &stat
1b20: 69 63 4d 75 74 65 78 65 73 5b 69 54 79 70 65 2d  icMutexes[iType-
1b30: 32 5d 3b 0a 20 20 20 20 20 20 62 72 65 61 6b 3b  2];.      break;
1b40: 0a 20 20 20 20 7d 0a 20 20 7d 0a 23 69 66 20 53  .    }.  }.#if S
1b50: 51 4c 49 54 45 5f 4d 55 54 45 58 5f 4e 52 45 46  QLITE_MUTEX_NREF
1b60: 20 7c 7c 20 64 65 66 69 6e 65 64 28 53 51 4c 49   || defined(SQLI
1b70: 54 45 5f 45 4e 41 42 4c 45 5f 41 50 49 5f 41 52  TE_ENABLE_API_AR
1b80: 4d 4f 52 29 0a 20 20 69 66 28 20 70 20 29 20 70  MOR).  if( p ) p
1b90: 2d 3e 69 64 20 3d 20 69 54 79 70 65 3b 0a 23 65  ->id = iType;.#e
1ba0: 6e 64 69 66 0a 20 20 72 65 74 75 72 6e 20 70 3b  ndif.  return p;
1bb0: 0a 7d 0a 0a 0a 2f 2a 0a 2a 2a 20 54 68 69 73 20  .}.../*.** This 
1bc0: 72 6f 75 74 69 6e 65 20 64 65 61 6c 6c 6f 63 61  routine dealloca
1bd0: 74 65 73 20 61 20 70 72 65 76 69 6f 75 73 6c 79  tes a previously
1be0: 0a 2a 2a 20 61 6c 6c 6f 63 61 74 65 64 20 6d 75  .** allocated mu
1bf0: 74 65 78 2e 20 20 53 51 4c 69 74 65 20 69 73 20  tex.  SQLite is 
1c00: 63 61 72 65 66 75 6c 20 74 6f 20 64 65 61 6c 6c  careful to deall
1c10: 6f 63 61 74 65 20 65 76 65 72 79 0a 2a 2a 20 6d  ocate every.** m
1c20: 75 74 65 78 20 74 68 61 74 20 69 74 20 61 6c 6c  utex that it all
1c30: 6f 63 61 74 65 73 2e 0a 2a 2f 0a 73 74 61 74 69  ocates..*/.stati
1c40: 63 20 76 6f 69 64 20 70 74 68 72 65 61 64 4d 75  c void pthreadMu
1c50: 74 65 78 46 72 65 65 28 73 71 6c 69 74 65 33 5f  texFree(sqlite3_
1c60: 6d 75 74 65 78 20 2a 70 29 7b 0a 20 20 61 73 73  mutex *p){.  ass
1c70: 65 72 74 28 20 70 2d 3e 6e 52 65 66 3d 3d 30 20  ert( p->nRef==0 
1c80: 29 3b 0a 23 69 66 20 53 51 4c 49 54 45 5f 45 4e  );.#if SQLITE_EN
1c90: 41 42 4c 45 5f 41 50 49 5f 41 52 4d 4f 52 0a 20  ABLE_API_ARMOR. 
1ca0: 20 69 66 28 20 70 2d 3e 69 64 3d 3d 53 51 4c 49   if( p->id==SQLI
1cb0: 54 45 5f 4d 55 54 45 58 5f 46 41 53 54 20 7c 7c  TE_MUTEX_FAST ||
1cc0: 20 70 2d 3e 69 64 3d 3d 53 51 4c 49 54 45 5f 4d   p->id==SQLITE_M
1cd0: 55 54 45 58 5f 52 45 43 55 52 53 49 56 45 20 29  UTEX_RECURSIVE )
1ce0: 0a 23 65 6e 64 69 66 0a 20 20 7b 0a 20 20 20 20  .#endif.  {.    
1cf0: 70 74 68 72 65 61 64 5f 6d 75 74 65 78 5f 64 65  pthread_mutex_de
1d00: 73 74 72 6f 79 28 26 70 2d 3e 6d 75 74 65 78 29  stroy(&p->mutex)
1d10: 3b 0a 20 20 20 20 73 71 6c 69 74 65 33 5f 66 72  ;.    sqlite3_fr
1d20: 65 65 28 70 29 3b 0a 20 20 7d 0a 23 69 66 64 65  ee(p);.  }.#ifde
1d30: 66 20 53 51 4c 49 54 45 5f 45 4e 41 42 4c 45 5f  f SQLITE_ENABLE_
1d40: 41 50 49 5f 41 52 4d 4f 52 0a 20 20 65 6c 73 65  API_ARMOR.  else
1d50: 7b 0a 20 20 20 20 28 76 6f 69 64 29 53 51 4c 49  {.    (void)SQLI
1d60: 54 45 5f 4d 49 53 55 53 45 5f 42 4b 50 54 3b 0a  TE_MISUSE_BKPT;.
1d70: 20 20 7d 0a 23 65 6e 64 69 66 0a 7d 0a 0a 2f 2a    }.#endif.}../*
1d80: 0a 2a 2a 20 54 68 65 20 73 71 6c 69 74 65 33 5f  .** The sqlite3_
1d90: 6d 75 74 65 78 5f 65 6e 74 65 72 28 29 20 61 6e  mutex_enter() an
1da0: 64 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f  d sqlite3_mutex_
1db0: 74 72 79 28 29 20 72 6f 75 74 69 6e 65 73 20 61  try() routines a
1dc0: 74 74 65 6d 70 74 0a 2a 2a 20 74 6f 20 65 6e 74  ttempt.** to ent
1dd0: 65 72 20 61 20 6d 75 74 65 78 2e 20 20 49 66 20  er a mutex.  If 
1de0: 61 6e 6f 74 68 65 72 20 74 68 72 65 61 64 20 69  another thread i
1df0: 73 20 61 6c 72 65 61 64 79 20 77 69 74 68 69 6e  s already within
1e00: 20 74 68 65 20 6d 75 74 65 78 2c 0a 2a 2a 20 73   the mutex,.** s
1e10: 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 65 6e 74  qlite3_mutex_ent
1e20: 65 72 28 29 20 77 69 6c 6c 20 62 6c 6f 63 6b 20  er() will block 
1e30: 61 6e 64 20 73 71 6c 69 74 65 33 5f 6d 75 74 65  and sqlite3_mute
1e40: 78 5f 74 72 79 28 29 20 77 69 6c 6c 20 72 65 74  x_try() will ret
1e50: 75 72 6e 0a 2a 2a 20 53 51 4c 49 54 45 5f 42 55  urn.** SQLITE_BU
1e60: 53 59 2e 20 20 54 68 65 20 73 71 6c 69 74 65 33  SY.  The sqlite3
1e70: 5f 6d 75 74 65 78 5f 74 72 79 28 29 20 69 6e 74  _mutex_try() int
1e80: 65 72 66 61 63 65 20 72 65 74 75 72 6e 73 20 53  erface returns S
1e90: 51 4c 49 54 45 5f 4f 4b 0a 2a 2a 20 75 70 6f 6e  QLITE_OK.** upon
1ea0: 20 73 75 63 63 65 73 73 66 75 6c 20 65 6e 74 72   successful entr
1eb0: 79 2e 20 20 4d 75 74 65 78 65 73 20 63 72 65 61  y.  Mutexes crea
1ec0: 74 65 64 20 75 73 69 6e 67 20 53 51 4c 49 54 45  ted using SQLITE
1ed0: 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56 45  _MUTEX_RECURSIVE
1ee0: 20 63 61 6e 0a 2a 2a 20 62 65 20 65 6e 74 65 72   can.** be enter
1ef0: 65 64 20 6d 75 6c 74 69 70 6c 65 20 74 69 6d 65  ed multiple time
1f00: 73 20 62 79 20 74 68 65 20 73 61 6d 65 20 74 68  s by the same th
1f10: 72 65 61 64 2e 20 20 49 6e 20 73 75 63 68 20 63  read.  In such c
1f20: 61 73 65 73 20 74 68 65 2c 0a 2a 2a 20 6d 75 74  ases the,.** mut
1f30: 65 78 20 6d 75 73 74 20 62 65 20 65 78 69 74 65  ex must be exite
1f40: 64 20 61 6e 20 65 71 75 61 6c 20 6e 75 6d 62 65  d an equal numbe
1f50: 72 20 6f 66 20 74 69 6d 65 73 20 62 65 66 6f 72  r of times befor
1f60: 65 20 61 6e 6f 74 68 65 72 20 74 68 72 65 61 64  e another thread
1f70: 0a 2a 2a 20 63 61 6e 20 65 6e 74 65 72 2e 20 20  .** can enter.  
1f80: 49 66 20 74 68 65 20 73 61 6d 65 20 74 68 72 65  If the same thre
1f90: 61 64 20 74 72 69 65 73 20 74 6f 20 65 6e 74 65  ad tries to ente
1fa0: 72 20 61 6e 79 20 6f 74 68 65 72 20 6b 69 6e 64  r any other kind
1fb0: 20 6f 66 20 6d 75 74 65 78 0a 2a 2a 20 6d 6f 72   of mutex.** mor
1fc0: 65 20 74 68 61 6e 20 6f 6e 63 65 2c 20 74 68 65  e than once, the
1fd0: 20 62 65 68 61 76 69 6f 72 20 69 73 20 75 6e 64   behavior is und
1fe0: 65 66 69 6e 65 64 2e 0a 2a 2f 0a 73 74 61 74 69  efined..*/.stati
1ff0: 63 20 76 6f 69 64 20 70 74 68 72 65 61 64 4d 75  c void pthreadMu
2000: 74 65 78 45 6e 74 65 72 28 73 71 6c 69 74 65 33  texEnter(sqlite3
2010: 5f 6d 75 74 65 78 20 2a 70 29 7b 0a 20 20 61 73  _mutex *p){.  as
2020: 73 65 72 74 28 20 70 2d 3e 69 64 3d 3d 53 51 4c  sert( p->id==SQL
2030: 49 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53  ITE_MUTEX_RECURS
2040: 49 56 45 20 7c 7c 20 70 74 68 72 65 61 64 4d 75  IVE || pthreadMu
2050: 74 65 78 4e 6f 74 68 65 6c 64 28 70 29 20 29 3b  texNotheld(p) );
2060: 0a 0a 23 69 66 64 65 66 20 53 51 4c 49 54 45 5f  ..#ifdef SQLITE_
2070: 48 4f 4d 45 47 52 4f 57 4e 5f 52 45 43 55 52 53  HOMEGROWN_RECURS
2080: 49 56 45 5f 4d 55 54 45 58 0a 20 20 2f 2a 20 49  IVE_MUTEX.  /* I
2090: 66 20 72 65 63 75 72 73 69 76 65 20 6d 75 74 65  f recursive mute
20a0: 78 65 73 20 61 72 65 20 6e 6f 74 20 61 76 61 69  xes are not avai
20b0: 6c 61 62 6c 65 2c 20 74 68 65 6e 20 77 65 20 68  lable, then we h
20c0: 61 76 65 20 74 6f 20 67 72 6f 77 0a 20 20 2a 2a  ave to grow.  **
20d0: 20 6f 75 72 20 6f 77 6e 2e 20 20 54 68 69 73 20   our own.  This 
20e0: 69 6d 70 6c 65 6d 65 6e 74 61 74 69 6f 6e 20 61  implementation a
20f0: 73 73 75 6d 65 73 20 74 68 61 74 20 70 74 68 72  ssumes that pthr
2100: 65 61 64 5f 65 71 75 61 6c 28 29 0a 20 20 2a 2a  ead_equal().  **
2110: 20 69 73 20 61 74 6f 6d 69 63 20 2d 20 74 68 61   is atomic - tha
2120: 74 20 69 74 20 63 61 6e 6e 6f 74 20 62 65 20 64  t it cannot be d
2130: 65 63 65 69 76 65 64 20 69 6e 74 6f 20 74 68 69  eceived into thi
2140: 6e 6b 69 6e 67 20 73 65 6c 66 0a 20 20 2a 2a 20  nking self.  ** 
2150: 61 6e 64 20 70 2d 3e 6f 77 6e 65 72 20 61 72 65  and p->owner are
2160: 20 65 71 75 61 6c 20 69 66 20 70 2d 3e 6f 77 6e   equal if p->own
2170: 65 72 20 63 68 61 6e 67 65 73 20 62 65 74 77 65  er changes betwe
2180: 65 6e 20 74 77 6f 20 76 61 6c 75 65 73 0a 20 20  en two values.  
2190: 2a 2a 20 74 68 61 74 20 61 72 65 20 6e 6f 74 20  ** that are not 
21a0: 65 71 75 61 6c 20 74 6f 20 73 65 6c 66 20 77 68  equal to self wh
21b0: 69 6c 65 20 74 68 65 20 63 6f 6d 70 61 72 69 73  ile the comparis
21c0: 6f 6e 20 69 73 20 74 61 6b 69 6e 67 20 70 6c 61  on is taking pla
21d0: 63 65 2e 0a 20 20 2a 2a 20 54 68 69 73 20 69 6d  ce..  ** This im
21e0: 70 6c 65 6d 65 6e 74 61 74 69 6f 6e 20 61 6c 73  plementation als
21f0: 6f 20 61 73 73 75 6d 65 73 20 61 20 63 6f 68 65  o assumes a cohe
2200: 72 65 6e 74 20 63 61 63 68 65 20 2d 20 74 68 61  rent cache - tha
2210: 74 20 0a 20 20 2a 2a 20 73 65 70 61 72 61 74 65  t .  ** separate
2220: 20 70 72 6f 63 65 73 73 65 73 20 63 61 6e 6e 6f   processes canno
2230: 74 20 72 65 61 64 20 64 69 66 66 65 72 65 6e 74  t read different
2240: 20 76 61 6c 75 65 73 20 66 72 6f 6d 20 74 68 65   values from the
2250: 20 73 61 6d 65 0a 20 20 2a 2a 20 61 64 64 72 65   same.  ** addre
2260: 73 73 20 61 74 20 74 68 65 20 73 61 6d 65 20 74  ss at the same t
2270: 69 6d 65 2e 20 20 49 66 20 65 69 74 68 65 72 20  ime.  If either 
2280: 6f 66 20 74 68 65 73 65 20 74 77 6f 20 63 6f 6e  of these two con
2290: 64 69 74 69 6f 6e 73 0a 20 20 2a 2a 20 61 72 65  ditions.  ** are
22a0: 20 6e 6f 74 20 6d 65 74 2c 20 74 68 65 6e 20 74   not met, then t
22b0: 68 65 20 6d 75 74 65 78 65 73 20 77 69 6c 6c 20  he mutexes will 
22c0: 66 61 69 6c 20 61 6e 64 20 70 72 6f 62 6c 65 6d  fail and problem
22d0: 73 20 77 69 6c 6c 20 72 65 73 75 6c 74 2e 0a 20  s will result.. 
22e0: 20 2a 2f 0a 20 20 7b 0a 20 20 20 20 70 74 68 72   */.  {.    pthr
22f0: 65 61 64 5f 74 20 73 65 6c 66 20 3d 20 70 74 68  ead_t self = pth
2300: 72 65 61 64 5f 73 65 6c 66 28 29 3b 0a 20 20 20  read_self();.   
2310: 20 69 66 28 20 70 2d 3e 6e 52 65 66 3e 30 20 26   if( p->nRef>0 &
2320: 26 20 70 74 68 72 65 61 64 5f 65 71 75 61 6c 28  & pthread_equal(
2330: 70 2d 3e 6f 77 6e 65 72 2c 20 73 65 6c 66 29 20  p->owner, self) 
2340: 29 7b 0a 20 20 20 20 20 20 70 2d 3e 6e 52 65 66  ){.      p->nRef
2350: 2b 2b 3b 0a 20 20 20 20 7d 65 6c 73 65 7b 0a 20  ++;.    }else{. 
2360: 20 20 20 20 20 70 74 68 72 65 61 64 5f 6d 75 74       pthread_mut
2370: 65 78 5f 6c 6f 63 6b 28 26 70 2d 3e 6d 75 74 65  ex_lock(&p->mute
2380: 78 29 3b 0a 20 20 20 20 20 20 61 73 73 65 72 74  x);.      assert
2390: 28 20 70 2d 3e 6e 52 65 66 3d 3d 30 20 29 3b 0a  ( p->nRef==0 );.
23a0: 20 20 20 20 20 20 70 2d 3e 6f 77 6e 65 72 20 3d        p->owner =
23b0: 20 73 65 6c 66 3b 0a 20 20 20 20 20 20 70 2d 3e   self;.      p->
23c0: 6e 52 65 66 20 3d 20 31 3b 0a 20 20 20 20 7d 0a  nRef = 1;.    }.
23d0: 20 20 7d 0a 23 65 6c 73 65 0a 20 20 2f 2a 20 55    }.#else.  /* U
23e0: 73 65 20 74 68 65 20 62 75 69 6c 74 2d 69 6e 20  se the built-in 
23f0: 72 65 63 75 72 73 69 76 65 20 6d 75 74 65 78 65  recursive mutexe
2400: 73 20 69 66 20 74 68 65 79 20 61 72 65 20 61 76  s if they are av
2410: 61 69 6c 61 62 6c 65 2e 0a 20 20 2a 2f 0a 20 20  ailable..  */.  
2420: 70 74 68 72 65 61 64 5f 6d 75 74 65 78 5f 6c 6f  pthread_mutex_lo
2430: 63 6b 28 26 70 2d 3e 6d 75 74 65 78 29 3b 0a 23  ck(&p->mutex);.#
2440: 69 66 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f  if SQLITE_MUTEX_
2450: 4e 52 45 46 0a 20 20 61 73 73 65 72 74 28 20 70  NREF.  assert( p
2460: 2d 3e 6e 52 65 66 3e 30 20 7c 7c 20 70 2d 3e 6f  ->nRef>0 || p->o
2470: 77 6e 65 72 3d 3d 30 20 29 3b 0a 20 20 70 2d 3e  wner==0 );.  p->
2480: 6f 77 6e 65 72 20 3d 20 70 74 68 72 65 61 64 5f  owner = pthread_
2490: 73 65 6c 66 28 29 3b 0a 20 20 70 2d 3e 6e 52 65  self();.  p->nRe
24a0: 66 2b 2b 3b 0a 23 65 6e 64 69 66 0a 23 65 6e 64  f++;.#endif.#end
24b0: 69 66 0a 0a 23 69 66 64 65 66 20 53 51 4c 49 54  if..#ifdef SQLIT
24c0: 45 5f 44 45 42 55 47 0a 20 20 69 66 28 20 70 2d  E_DEBUG.  if( p-
24d0: 3e 74 72 61 63 65 20 29 7b 0a 20 20 20 20 70 72  >trace ){.    pr
24e0: 69 6e 74 66 28 22 65 6e 74 65 72 20 6d 75 74 65  intf("enter mute
24f0: 78 20 25 70 20 28 25 64 29 20 77 69 74 68 20 6e  x %p (%d) with n
2500: 52 65 66 3d 25 64 5c 6e 22 2c 20 70 2c 20 70 2d  Ref=%d\n", p, p-
2510: 3e 74 72 61 63 65 2c 20 70 2d 3e 6e 52 65 66 29  >trace, p->nRef)
2520: 3b 0a 20 20 7d 0a 23 65 6e 64 69 66 0a 7d 0a 73  ;.  }.#endif.}.s
2530: 74 61 74 69 63 20 69 6e 74 20 70 74 68 72 65 61  tatic int pthrea
2540: 64 4d 75 74 65 78 54 72 79 28 73 71 6c 69 74 65  dMutexTry(sqlite
2550: 33 5f 6d 75 74 65 78 20 2a 70 29 7b 0a 20 20 69  3_mutex *p){.  i
2560: 6e 74 20 72 63 3b 0a 20 20 61 73 73 65 72 74 28  nt rc;.  assert(
2570: 20 70 2d 3e 69 64 3d 3d 53 51 4c 49 54 45 5f 4d   p->id==SQLITE_M
2580: 55 54 45 58 5f 52 45 43 55 52 53 49 56 45 20 7c  UTEX_RECURSIVE |
2590: 7c 20 70 74 68 72 65 61 64 4d 75 74 65 78 4e 6f  | pthreadMutexNo
25a0: 74 68 65 6c 64 28 70 29 20 29 3b 0a 0a 23 69 66  theld(p) );..#if
25b0: 64 65 66 20 53 51 4c 49 54 45 5f 48 4f 4d 45 47  def SQLITE_HOMEG
25c0: 52 4f 57 4e 5f 52 45 43 55 52 53 49 56 45 5f 4d  ROWN_RECURSIVE_M
25d0: 55 54 45 58 0a 20 20 2f 2a 20 49 66 20 72 65 63  UTEX.  /* If rec
25e0: 75 72 73 69 76 65 20 6d 75 74 65 78 65 73 20 61  ursive mutexes a
25f0: 72 65 20 6e 6f 74 20 61 76 61 69 6c 61 62 6c 65  re not available
2600: 2c 20 74 68 65 6e 20 77 65 20 68 61 76 65 20 74  , then we have t
2610: 6f 20 67 72 6f 77 0a 20 20 2a 2a 20 6f 75 72 20  o grow.  ** our 
2620: 6f 77 6e 2e 20 20 54 68 69 73 20 69 6d 70 6c 65  own.  This imple
2630: 6d 65 6e 74 61 74 69 6f 6e 20 61 73 73 75 6d 65  mentation assume
2640: 73 20 74 68 61 74 20 70 74 68 72 65 61 64 5f 65  s that pthread_e
2650: 71 75 61 6c 28 29 0a 20 20 2a 2a 20 69 73 20 61  qual().  ** is a
2660: 74 6f 6d 69 63 20 2d 20 74 68 61 74 20 69 74 20  tomic - that it 
2670: 63 61 6e 6e 6f 74 20 62 65 20 64 65 63 65 69 76  cannot be deceiv
2680: 65 64 20 69 6e 74 6f 20 74 68 69 6e 6b 69 6e 67  ed into thinking
2690: 20 73 65 6c 66 0a 20 20 2a 2a 20 61 6e 64 20 70   self.  ** and p
26a0: 2d 3e 6f 77 6e 65 72 20 61 72 65 20 65 71 75 61  ->owner are equa
26b0: 6c 20 69 66 20 70 2d 3e 6f 77 6e 65 72 20 63 68  l if p->owner ch
26c0: 61 6e 67 65 73 20 62 65 74 77 65 65 6e 20 74 77  anges between tw
26d0: 6f 20 76 61 6c 75 65 73 0a 20 20 2a 2a 20 74 68  o values.  ** th
26e0: 61 74 20 61 72 65 20 6e 6f 74 20 65 71 75 61 6c  at are not equal
26f0: 20 74 6f 20 73 65 6c 66 20 77 68 69 6c 65 20 74   to self while t
2700: 68 65 20 63 6f 6d 70 61 72 69 73 6f 6e 20 69 73  he comparison is
2710: 20 74 61 6b 69 6e 67 20 70 6c 61 63 65 2e 0a 20   taking place.. 
2720: 20 2a 2a 20 54 68 69 73 20 69 6d 70 6c 65 6d 65   ** This impleme
2730: 6e 74 61 74 69 6f 6e 20 61 6c 73 6f 20 61 73 73  ntation also ass
2740: 75 6d 65 73 20 61 20 63 6f 68 65 72 65 6e 74 20  umes a coherent 
2750: 63 61 63 68 65 20 2d 20 74 68 61 74 20 0a 20 20  cache - that .  
2760: 2a 2a 20 73 65 70 61 72 61 74 65 20 70 72 6f 63  ** separate proc
2770: 65 73 73 65 73 20 63 61 6e 6e 6f 74 20 72 65 61  esses cannot rea
2780: 64 20 64 69 66 66 65 72 65 6e 74 20 76 61 6c 75  d different valu
2790: 65 73 20 66 72 6f 6d 20 74 68 65 20 73 61 6d 65  es from the same
27a0: 0a 20 20 2a 2a 20 61 64 64 72 65 73 73 20 61 74  .  ** address at
27b0: 20 74 68 65 20 73 61 6d 65 20 74 69 6d 65 2e 20   the same time. 
27c0: 20 49 66 20 65 69 74 68 65 72 20 6f 66 20 74 68   If either of th
27d0: 65 73 65 20 74 77 6f 20 63 6f 6e 64 69 74 69 6f  ese two conditio
27e0: 6e 73 0a 20 20 2a 2a 20 61 72 65 20 6e 6f 74 20  ns.  ** are not 
27f0: 6d 65 74 2c 20 74 68 65 6e 20 74 68 65 20 6d 75  met, then the mu
2800: 74 65 78 65 73 20 77 69 6c 6c 20 66 61 69 6c 20  texes will fail 
2810: 61 6e 64 20 70 72 6f 62 6c 65 6d 73 20 77 69 6c  and problems wil
2820: 6c 20 72 65 73 75 6c 74 2e 0a 20 20 2a 2f 0a 20  l result..  */. 
2830: 20 7b 0a 20 20 20 20 70 74 68 72 65 61 64 5f 74   {.    pthread_t
2840: 20 73 65 6c 66 20 3d 20 70 74 68 72 65 61 64 5f   self = pthread_
2850: 73 65 6c 66 28 29 3b 0a 20 20 20 20 69 66 28 20  self();.    if( 
2860: 70 2d 3e 6e 52 65 66 3e 30 20 26 26 20 70 74 68  p->nRef>0 && pth
2870: 72 65 61 64 5f 65 71 75 61 6c 28 70 2d 3e 6f 77  read_equal(p->ow
2880: 6e 65 72 2c 20 73 65 6c 66 29 20 29 7b 0a 20 20  ner, self) ){.  
2890: 20 20 20 20 70 2d 3e 6e 52 65 66 2b 2b 3b 0a 20      p->nRef++;. 
28a0: 20 20 20 20 20 72 63 20 3d 20 53 51 4c 49 54 45       rc = SQLITE
28b0: 5f 4f 4b 3b 0a 20 20 20 20 7d 65 6c 73 65 20 69  _OK;.    }else i
28c0: 66 28 20 70 74 68 72 65 61 64 5f 6d 75 74 65 78  f( pthread_mutex
28d0: 5f 74 72 79 6c 6f 63 6b 28 26 70 2d 3e 6d 75 74  _trylock(&p->mut
28e0: 65 78 29 3d 3d 30 20 29 7b 0a 20 20 20 20 20 20  ex)==0 ){.      
28f0: 61 73 73 65 72 74 28 20 70 2d 3e 6e 52 65 66 3d  assert( p->nRef=
2900: 3d 30 20 29 3b 0a 20 20 20 20 20 20 70 2d 3e 6f  =0 );.      p->o
2910: 77 6e 65 72 20 3d 20 73 65 6c 66 3b 0a 20 20 20  wner = self;.   
2920: 20 20 20 70 2d 3e 6e 52 65 66 20 3d 20 31 3b 0a     p->nRef = 1;.
2930: 20 20 20 20 20 20 72 63 20 3d 20 53 51 4c 49 54        rc = SQLIT
2940: 45 5f 4f 4b 3b 0a 20 20 20 20 7d 65 6c 73 65 7b  E_OK;.    }else{
2950: 0a 20 20 20 20 20 20 72 63 20 3d 20 53 51 4c 49  .      rc = SQLI
2960: 54 45 5f 42 55 53 59 3b 0a 20 20 20 20 7d 0a 20  TE_BUSY;.    }. 
2970: 20 7d 0a 23 65 6c 73 65 0a 20 20 2f 2a 20 55 73   }.#else.  /* Us
2980: 65 20 74 68 65 20 62 75 69 6c 74 2d 69 6e 20 72  e the built-in r
2990: 65 63 75 72 73 69 76 65 20 6d 75 74 65 78 65 73  ecursive mutexes
29a0: 20 69 66 20 74 68 65 79 20 61 72 65 20 61 76 61   if they are ava
29b0: 69 6c 61 62 6c 65 2e 0a 20 20 2a 2f 0a 20 20 69  ilable..  */.  i
29c0: 66 28 20 70 74 68 72 65 61 64 5f 6d 75 74 65 78  f( pthread_mutex
29d0: 5f 74 72 79 6c 6f 63 6b 28 26 70 2d 3e 6d 75 74  _trylock(&p->mut
29e0: 65 78 29 3d 3d 30 20 29 7b 0a 23 69 66 20 53 51  ex)==0 ){.#if SQ
29f0: 4c 49 54 45 5f 4d 55 54 45 58 5f 4e 52 45 46 0a  LITE_MUTEX_NREF.
2a00: 20 20 20 20 70 2d 3e 6f 77 6e 65 72 20 3d 20 70      p->owner = p
2a10: 74 68 72 65 61 64 5f 73 65 6c 66 28 29 3b 0a 20  thread_self();. 
2a20: 20 20 20 70 2d 3e 6e 52 65 66 2b 2b 3b 0a 23 65     p->nRef++;.#e
2a30: 6e 64 69 66 0a 20 20 20 20 72 63 20 3d 20 53 51  ndif.    rc = SQ
2a40: 4c 49 54 45 5f 4f 4b 3b 0a 20 20 7d 65 6c 73 65  LITE_OK;.  }else
2a50: 7b 0a 20 20 20 20 72 63 20 3d 20 53 51 4c 49 54  {.    rc = SQLIT
2a60: 45 5f 42 55 53 59 3b 0a 20 20 7d 0a 23 65 6e 64  E_BUSY;.  }.#end
2a70: 69 66 0a 0a 23 69 66 64 65 66 20 53 51 4c 49 54  if..#ifdef SQLIT
2a80: 45 5f 44 45 42 55 47 0a 20 20 69 66 28 20 72 63  E_DEBUG.  if( rc
2a90: 3d 3d 53 51 4c 49 54 45 5f 4f 4b 20 26 26 20 70  ==SQLITE_OK && p
2aa0: 2d 3e 74 72 61 63 65 20 29 7b 0a 20 20 20 20 70  ->trace ){.    p
2ab0: 72 69 6e 74 66 28 22 65 6e 74 65 72 20 6d 75 74  rintf("enter mut
2ac0: 65 78 20 25 70 20 28 25 64 29 20 77 69 74 68 20  ex %p (%d) with 
2ad0: 6e 52 65 66 3d 25 64 5c 6e 22 2c 20 70 2c 20 70  nRef=%d\n", p, p
2ae0: 2d 3e 74 72 61 63 65 2c 20 70 2d 3e 6e 52 65 66  ->trace, p->nRef
2af0: 29 3b 0a 20 20 7d 0a 23 65 6e 64 69 66 0a 20 20  );.  }.#endif.  
2b00: 72 65 74 75 72 6e 20 72 63 3b 0a 7d 0a 0a 2f 2a  return rc;.}../*
2b10: 0a 2a 2a 20 54 68 65 20 73 71 6c 69 74 65 33 5f  .** The sqlite3_
2b20: 6d 75 74 65 78 5f 6c 65 61 76 65 28 29 20 72 6f  mutex_leave() ro
2b30: 75 74 69 6e 65 20 65 78 69 74 73 20 61 20 6d 75  utine exits a mu
2b40: 74 65 78 20 74 68 61 74 20 77 61 73 0a 2a 2a 20  tex that was.** 
2b50: 70 72 65 76 69 6f 75 73 6c 79 20 65 6e 74 65 72  previously enter
2b60: 65 64 20 62 79 20 74 68 65 20 73 61 6d 65 20 74  ed by the same t
2b70: 68 72 65 61 64 2e 20 20 54 68 65 20 62 65 68 61  hread.  The beha
2b80: 76 69 6f 72 0a 2a 2a 20 69 73 20 75 6e 64 65 66  vior.** is undef
2b90: 69 6e 65 64 20 69 66 20 74 68 65 20 6d 75 74 65  ined if the mute
2ba0: 78 20 69 73 20 6e 6f 74 20 63 75 72 72 65 6e 74  x is not current
2bb0: 6c 79 20 65 6e 74 65 72 65 64 20 6f 72 0a 2a 2a  ly entered or.**
2bc0: 20 69 73 20 6e 6f 74 20 63 75 72 72 65 6e 74 6c   is not currentl
2bd0: 79 20 61 6c 6c 6f 63 61 74 65 64 2e 20 20 53 51  y allocated.  SQ
2be0: 4c 69 74 65 20 77 69 6c 6c 20 6e 65 76 65 72 20  Lite will never 
2bf0: 64 6f 20 65 69 74 68 65 72 2e 0a 2a 2f 0a 73 74  do either..*/.st
2c00: 61 74 69 63 20 76 6f 69 64 20 70 74 68 72 65 61  atic void pthrea
2c10: 64 4d 75 74 65 78 4c 65 61 76 65 28 73 71 6c 69  dMutexLeave(sqli
2c20: 74 65 33 5f 6d 75 74 65 78 20 2a 70 29 7b 0a 20  te3_mutex *p){. 
2c30: 20 61 73 73 65 72 74 28 20 70 74 68 72 65 61 64   assert( pthread
2c40: 4d 75 74 65 78 48 65 6c 64 28 70 29 20 29 3b 0a  MutexHeld(p) );.
2c50: 23 69 66 20 53 51 4c 49 54 45 5f 4d 55 54 45 58  #if SQLITE_MUTEX
2c60: 5f 4e 52 45 46 0a 20 20 70 2d 3e 6e 52 65 66 2d  _NREF.  p->nRef-
2c70: 2d 3b 0a 20 20 69 66 28 20 70 2d 3e 6e 52 65 66  -;.  if( p->nRef
2c80: 3d 3d 30 20 29 20 70 2d 3e 6f 77 6e 65 72 20 3d  ==0 ) p->owner =
2c90: 20 30 3b 0a 23 65 6e 64 69 66 0a 20 20 61 73 73   0;.#endif.  ass
2ca0: 65 72 74 28 20 70 2d 3e 6e 52 65 66 3d 3d 30 20  ert( p->nRef==0 
2cb0: 7c 7c 20 70 2d 3e 69 64 3d 3d 53 51 4c 49 54 45  || p->id==SQLITE
2cc0: 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56 45  _MUTEX_RECURSIVE
2cd0: 20 29 3b 0a 0a 23 69 66 64 65 66 20 53 51 4c 49   );..#ifdef SQLI
2ce0: 54 45 5f 48 4f 4d 45 47 52 4f 57 4e 5f 52 45 43  TE_HOMEGROWN_REC
2cf0: 55 52 53 49 56 45 5f 4d 55 54 45 58 0a 20 20 69  URSIVE_MUTEX.  i
2d00: 66 28 20 70 2d 3e 6e 52 65 66 3d 3d 30 20 29 7b  f( p->nRef==0 ){
2d10: 0a 20 20 20 20 70 74 68 72 65 61 64 5f 6d 75 74  .    pthread_mut
2d20: 65 78 5f 75 6e 6c 6f 63 6b 28 26 70 2d 3e 6d 75  ex_unlock(&p->mu
2d30: 74 65 78 29 3b 0a 20 20 7d 0a 23 65 6c 73 65 0a  tex);.  }.#else.
2d40: 20 20 70 74 68 72 65 61 64 5f 6d 75 74 65 78 5f    pthread_mutex_
2d50: 75 6e 6c 6f 63 6b 28 26 70 2d 3e 6d 75 74 65 78  unlock(&p->mutex
2d60: 29 3b 0a 23 65 6e 64 69 66 0a 0a 23 69 66 64 65  );.#endif..#ifde
2d70: 66 20 53 51 4c 49 54 45 5f 44 45 42 55 47 0a 20  f SQLITE_DEBUG. 
2d80: 20 69 66 28 20 70 2d 3e 74 72 61 63 65 20 29 7b   if( p->trace ){
2d90: 0a 20 20 20 20 70 72 69 6e 74 66 28 22 6c 65 61  .    printf("lea
2da0: 76 65 20 6d 75 74 65 78 20 25 70 20 28 25 64 29  ve mutex %p (%d)
2db0: 20 77 69 74 68 20 6e 52 65 66 3d 25 64 5c 6e 22   with nRef=%d\n"
2dc0: 2c 20 70 2c 20 70 2d 3e 74 72 61 63 65 2c 20 70  , p, p->trace, p
2dd0: 2d 3e 6e 52 65 66 29 3b 0a 20 20 7d 0a 23 65 6e  ->nRef);.  }.#en
2de0: 64 69 66 0a 7d 0a 0a 73 71 6c 69 74 65 33 5f 6d  dif.}..sqlite3_m
2df0: 75 74 65 78 5f 6d 65 74 68 6f 64 73 20 63 6f 6e  utex_methods con
2e00: 73 74 20 2a 73 71 6c 69 74 65 33 44 65 66 61 75  st *sqlite3Defau
2e10: 6c 74 4d 75 74 65 78 28 76 6f 69 64 29 7b 0a 20  ltMutex(void){. 
2e20: 20 73 74 61 74 69 63 20 63 6f 6e 73 74 20 73 71   static const sq
2e30: 6c 69 74 65 33 5f 6d 75 74 65 78 5f 6d 65 74 68  lite3_mutex_meth
2e40: 6f 64 73 20 73 4d 75 74 65 78 20 3d 20 7b 0a 20  ods sMutex = {. 
2e50: 20 20 20 70 74 68 72 65 61 64 4d 75 74 65 78 49     pthreadMutexI
2e60: 6e 69 74 2c 0a 20 20 20 20 70 74 68 72 65 61 64  nit,.    pthread
2e70: 4d 75 74 65 78 45 6e 64 2c 0a 20 20 20 20 70 74  MutexEnd,.    pt
2e80: 68 72 65 61 64 4d 75 74 65 78 41 6c 6c 6f 63 2c  hreadMutexAlloc,
2e90: 0a 20 20 20 20 70 74 68 72 65 61 64 4d 75 74 65  .    pthreadMute
2ea0: 78 46 72 65 65 2c 0a 20 20 20 20 70 74 68 72 65  xFree,.    pthre
2eb0: 61 64 4d 75 74 65 78 45 6e 74 65 72 2c 0a 20 20  adMutexEnter,.  
2ec0: 20 20 70 74 68 72 65 61 64 4d 75 74 65 78 54 72    pthreadMutexTr
2ed0: 79 2c 0a 20 20 20 20 70 74 68 72 65 61 64 4d 75  y,.    pthreadMu
2ee0: 74 65 78 4c 65 61 76 65 2c 0a 23 69 66 64 65 66  texLeave,.#ifdef
2ef0: 20 53 51 4c 49 54 45 5f 44 45 42 55 47 0a 20 20   SQLITE_DEBUG.  
2f00: 20 20 70 74 68 72 65 61 64 4d 75 74 65 78 48 65    pthreadMutexHe
2f10: 6c 64 2c 0a 20 20 20 20 70 74 68 72 65 61 64 4d  ld,.    pthreadM
2f20: 75 74 65 78 4e 6f 74 68 65 6c 64 0a 23 65 6c 73  utexNotheld.#els
2f30: 65 0a 20 20 20 20 30 2c 0a 20 20 20 20 30 0a 23  e.    0,.    0.#
2f40: 65 6e 64 69 66 0a 20 20 7d 3b 0a 0a 20 20 72 65  endif.  };..  re
2f50: 74 75 72 6e 20 26 73 4d 75 74 65 78 3b 0a 7d 0a  turn &sMutex;.}.
2f60: 0a 23 65 6e 64 69 66 20 2f 2a 20 53 51 4c 49 54  .#endif /* SQLIT
2f70: 45 5f 4d 55 54 45 58 5f 50 54 48 52 45 41 44 53  E_MUTEX_PTHREADS
2f80: 20 2a 2f 0a                                       */.