/ Hex Artifact Content
Login

Artifact 77d84839735aec71f9fe731bfd845d81cec2bb65:


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 0a 2a 2a 20 61  tialization.** a
0b90: 6e 64 20 61 6c 73 6f 20 66 6f 72 20 74 68 65 20  nd also for the 
0ba0: 69 6d 70 6c 65 6d 65 6e 74 61 74 69 6f 6e 20 6f  implementation o
0bb0: 66 20 78 53 68 6d 42 61 72 72 69 65 72 20 69 6e  f xShmBarrier in
0bc0: 20 74 68 65 20 56 46 53 20 69 6e 20 63 61 73 65   the VFS in case
0bd0: 73 0a 2a 2a 20 77 68 65 72 65 20 53 51 4c 69 74  s.** where SQLit
0be0: 65 20 69 73 20 63 6f 6d 70 69 6c 65 64 20 77 69  e is compiled wi
0bf0: 74 68 6f 75 74 20 6d 75 74 65 78 65 73 2e 0a 2a  thout mutexes..*
0c00: 2f 0a 76 6f 69 64 20 73 71 6c 69 74 65 33 4d 65  /.void sqlite3Me
0c10: 6d 6f 72 79 42 61 72 72 69 65 72 28 76 6f 69 64  moryBarrier(void
0c20: 29 7b 0a 23 69 66 20 64 65 66 69 6e 65 64 28 53  ){.#if defined(S
0c30: 51 4c 49 54 45 5f 4d 45 4d 4f 52 59 5f 42 41 52  QLITE_MEMORY_BAR
0c40: 52 49 45 52 29 0a 20 20 53 51 4c 49 54 45 5f 4d  RIER).  SQLITE_M
0c50: 45 4d 4f 52 59 5f 42 41 52 52 49 45 52 3b 0a 23  EMORY_BARRIER;.#
0c60: 65 6c 69 66 20 64 65 66 69 6e 65 64 28 5f 5f 47  elif defined(__G
0c70: 4e 55 43 5f 5f 29 20 26 26 20 47 43 43 5f 56 45  NUC__) && GCC_VE
0c80: 52 53 49 4f 4e 3e 3d 34 30 30 31 30 30 30 0a 20  RSION>=4001000. 
0c90: 20 5f 5f 73 79 6e 63 5f 73 79 6e 63 68 72 6f 6e   __sync_synchron
0ca0: 69 7a 65 28 29 3b 0a 23 65 6e 64 69 66 0a 7d 0a  ize();.#endif.}.
0cb0: 0a 2f 2a 0a 2a 2a 20 54 72 79 20 74 6f 20 70 72  ./*.** Try to pr
0cc0: 6f 76 69 64 65 20 61 6e 20 61 74 6f 6d 69 63 20  ovide an atomic 
0cd0: 63 6f 6d 70 61 72 65 2d 61 6e 64 2d 73 77 61 70  compare-and-swap
0ce0: 20 6f 70 65 72 61 74 69 6f 6e 20 6f 6e 20 61 20   operation on a 
0cf0: 76 6f 69 64 20 70 6f 69 6e 74 65 72 2c 0a 2a 2a  void pointer,.**
0d00: 20 6e 65 65 64 65 64 20 66 6f 72 20 69 6e 69 74   needed for init
0d10: 69 61 6c 69 7a 61 74 69 6f 6e 20 6f 6e 6c 79 2e  ialization only.
0d20: 0a 2a 2f 0a 76 6f 69 64 20 2a 73 71 6c 69 74 65  .*/.void *sqlite
0d30: 33 43 6f 6d 70 61 72 65 41 6e 64 53 77 61 70 28  3CompareAndSwap(
0d40: 0a 20 20 76 6f 69 64 20 2a 76 6f 6c 61 74 69 6c  .  void *volatil
0d50: 65 20 2a 70 43 75 72 56 61 6c 2c 0a 20 20 76 6f  e *pCurVal,.  vo
0d60: 69 64 20 2a 63 6d 70 56 61 6c 2c 0a 20 20 76 6f  id *cmpVal,.  vo
0d70: 69 64 20 2a 73 77 61 70 56 61 6c 0a 29 7b 0a 23  id *swapVal.){.#
0d80: 69 66 20 64 65 66 69 6e 65 64 28 53 51 4c 49 54  if defined(SQLIT
0d90: 45 5f 43 4f 4d 50 41 52 45 5f 41 4e 44 5f 53 57  E_COMPARE_AND_SW
0da0: 41 50 29 0a 20 20 72 65 74 75 72 6e 20 53 51 4c  AP).  return SQL
0db0: 49 54 45 5f 43 4f 4d 50 41 52 45 5f 41 4e 44 5f  ITE_COMPARE_AND_
0dc0: 53 57 41 50 28 70 43 75 72 56 61 6c 2c 20 63 6d  SWAP(pCurVal, cm
0dd0: 70 56 61 6c 2c 20 73 77 61 70 56 61 6c 29 3b 0a  pVal, swapVal);.
0de0: 23 65 6c 69 66 20 64 65 66 69 6e 65 64 28 5f 5f  #elif defined(__
0df0: 47 4e 55 43 5f 5f 29 20 26 26 20 47 43 43 5f 56  GNUC__) && GCC_V
0e00: 45 52 53 49 4f 4e 3e 3d 34 30 30 31 30 30 30 20  ERSION>=4001000 
0e10: 26 26 20 53 51 4c 49 54 45 5f 50 54 52 53 49 5a  && SQLITE_PTRSIZ
0e20: 45 3e 34 0a 20 20 72 65 74 75 72 6e 20 28 76 6f  E>4.  return (vo
0e30: 69 64 20 2a 29 5f 5f 73 79 6e 63 5f 76 61 6c 5f  id *)__sync_val_
0e40: 63 6f 6d 70 61 72 65 5f 61 6e 64 5f 73 77 61 70  compare_and_swap
0e50: 5f 38 28 0a 20 20 20 20 20 20 28 75 36 34 20 76  _8(.      (u64 v
0e60: 6f 6c 61 74 69 6c 65 20 2a 29 70 43 75 72 56 61  olatile *)pCurVa
0e70: 6c 2c 20 28 75 36 34 29 63 6d 70 56 61 6c 2c 20  l, (u64)cmpVal, 
0e80: 28 75 36 34 29 73 77 61 70 56 61 6c 29 3b 0a 23  (u64)swapVal);.#
0e90: 65 6c 69 66 20 64 65 66 69 6e 65 64 28 5f 5f 47  elif defined(__G
0ea0: 4e 55 43 5f 5f 29 20 26 26 20 47 43 43 5f 56 45  NUC__) && GCC_VE
0eb0: 52 53 49 4f 4e 3e 3d 34 30 30 31 30 30 30 0a 20  RSION>=4001000. 
0ec0: 20 72 65 74 75 72 6e 20 28 76 6f 69 64 20 2a 29   return (void *)
0ed0: 5f 5f 73 79 6e 63 5f 76 61 6c 5f 63 6f 6d 70 61  __sync_val_compa
0ee0: 72 65 5f 61 6e 64 5f 73 77 61 70 5f 34 28 0a 20  re_and_swap_4(. 
0ef0: 20 20 20 20 20 28 75 33 32 20 76 6f 6c 61 74 69       (u32 volati
0f00: 6c 65 20 2a 29 70 43 75 72 56 61 6c 2c 20 28 75  le *)pCurVal, (u
0f10: 33 32 29 63 6d 70 56 61 6c 2c 20 28 75 33 32 29  32)cmpVal, (u32)
0f20: 73 77 61 70 56 61 6c 29 3b 0a 23 65 6c 73 65 0a  swapVal);.#else.
0f30: 20 20 2f 2a 0a 20 20 2a 2a 20 54 68 69 73 20 70    /*.  ** This p
0f40: 6c 61 74 66 6f 72 6d 20 6d 61 79 20 6e 6f 74 20  latform may not 
0f50: 68 61 76 65 20 61 20 77 61 79 20 74 6f 20 70 65  have a way to pe
0f60: 72 66 6f 72 6d 20 61 6e 20 61 74 6f 6d 69 63 20  rform an atomic 
0f70: 63 6f 6d 70 61 72 65 2d 61 6e 64 2d 73 77 61 70  compare-and-swap
0f80: 0a 20 20 2a 2a 20 6f 70 65 72 61 74 69 6f 6e 3b  .  ** operation;
0f90: 20 74 68 65 72 65 66 6f 72 65 2c 20 75 73 65 20   therefore, use 
0fa0: 74 68 65 20 66 61 6c 6c 62 61 63 6b 20 61 6c 67  the fallback alg
0fb0: 6f 72 69 74 68 6d 2e 0a 20 20 2a 2a 0a 20 20 2a  orithm..  **.  *
0fc0: 2a 20 57 41 52 4e 49 4e 47 3a 20 54 68 69 73 20  * WARNING: This 
0fd0: 63 6f 64 65 20 69 73 20 61 6c 6d 6f 73 74 20 63  code is almost c
0fe0: 65 72 74 61 69 6e 6c 79 20 6e 6f 74 20 74 68 72  ertainly not thr
0ff0: 65 61 64 2d 73 61 66 65 2e 0a 20 20 2a 2f 0a 20  ead-safe..  */. 
1000: 20 72 65 74 75 72 6e 20 73 71 6c 69 74 65 33 4e   return sqlite3N
1010: 6f 6f 70 43 6f 6d 70 61 72 65 41 6e 64 53 77 61  oopCompareAndSwa
1020: 70 28 70 43 75 72 56 61 6c 2c 20 63 6d 70 56 61  p(pCurVal, cmpVa
1030: 6c 2c 20 73 77 61 70 56 61 6c 29 3b 0a 23 65 6e  l, swapVal);.#en
1040: 64 69 66 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 49 6e 69  dif.}../*.** Ini
1050: 74 69 61 6c 69 7a 65 20 61 6e 64 20 64 65 69 6e  tialize and dein
1060: 69 74 69 61 6c 69 7a 65 20 74 68 65 20 6d 75 74  itialize the mut
1070: 65 78 20 73 75 62 73 79 73 74 65 6d 2e 0a 2a 2f  ex subsystem..*/
1080: 0a 73 74 61 74 69 63 20 69 6e 74 20 70 74 68 72  .static int pthr
1090: 65 61 64 4d 75 74 65 78 49 6e 69 74 28 76 6f 69  eadMutexInit(voi
10a0: 64 29 7b 20 72 65 74 75 72 6e 20 53 51 4c 49 54  d){ return SQLIT
10b0: 45 5f 4f 4b 3b 20 7d 0a 73 74 61 74 69 63 20 69  E_OK; }.static i
10c0: 6e 74 20 70 74 68 72 65 61 64 4d 75 74 65 78 45  nt pthreadMutexE
10d0: 6e 64 28 76 6f 69 64 29 7b 20 72 65 74 75 72 6e  nd(void){ return
10e0: 20 53 51 4c 49 54 45 5f 4f 4b 3b 20 7d 0a 0a 2f   SQLITE_OK; }../
10f0: 2a 0a 2a 2a 20 54 68 65 20 73 71 6c 69 74 65 33  *.** The sqlite3
1100: 5f 6d 75 74 65 78 5f 61 6c 6c 6f 63 28 29 20 72  _mutex_alloc() r
1110: 6f 75 74 69 6e 65 20 61 6c 6c 6f 63 61 74 65 73  outine allocates
1120: 20 61 20 6e 65 77 0a 2a 2a 20 6d 75 74 65 78 20   a new.** mutex 
1130: 61 6e 64 20 72 65 74 75 72 6e 73 20 61 20 70 6f  and returns a po
1140: 69 6e 74 65 72 20 74 6f 20 69 74 2e 20 20 49 66  inter to it.  If
1150: 20 69 74 20 72 65 74 75 72 6e 73 20 4e 55 4c 4c   it returns NULL
1160: 0a 2a 2a 20 74 68 61 74 20 6d 65 61 6e 73 20 74  .** that means t
1170: 68 61 74 20 61 20 6d 75 74 65 78 20 63 6f 75 6c  hat a mutex coul
1180: 64 20 6e 6f 74 20 62 65 20 61 6c 6c 6f 63 61 74  d not be allocat
1190: 65 64 2e 20 20 53 51 4c 69 74 65 0a 2a 2a 20 77  ed.  SQLite.** w
11a0: 69 6c 6c 20 75 6e 77 69 6e 64 20 69 74 73 20 73  ill unwind its s
11b0: 74 61 63 6b 20 61 6e 64 20 72 65 74 75 72 6e 20  tack and return 
11c0: 61 6e 20 65 72 72 6f 72 2e 20 20 54 68 65 20 61  an error.  The a
11d0: 72 67 75 6d 65 6e 74 0a 2a 2a 20 74 6f 20 73 71  rgument.** to sq
11e0: 6c 69 74 65 33 5f 6d 75 74 65 78 5f 61 6c 6c 6f  lite3_mutex_allo
11f0: 63 28 29 20 69 73 20 6f 6e 65 20 6f 66 20 74 68  c() is one of th
1200: 65 73 65 20 69 6e 74 65 67 65 72 20 63 6f 6e 73  ese integer cons
1210: 74 61 6e 74 73 3a 0a 2a 2a 0a 2a 2a 20 3c 75 6c  tants:.**.** <ul
1220: 3e 0a 2a 2a 20 3c 6c 69 3e 20 20 53 51 4c 49 54  >.** <li>  SQLIT
1230: 45 5f 4d 55 54 45 58 5f 46 41 53 54 0a 2a 2a 20  E_MUTEX_FAST.** 
1240: 3c 6c 69 3e 20 20 53 51 4c 49 54 45 5f 4d 55 54  <li>  SQLITE_MUT
1250: 45 58 5f 52 45 43 55 52 53 49 56 45 0a 2a 2a 20  EX_RECURSIVE.** 
1260: 3c 6c 69 3e 20 20 53 51 4c 49 54 45 5f 4d 55 54  <li>  SQLITE_MUT
1270: 45 58 5f 53 54 41 54 49 43 5f 4d 41 53 54 45 52  EX_STATIC_MASTER
1280: 0a 2a 2a 20 3c 6c 69 3e 20 20 53 51 4c 49 54 45  .** <li>  SQLITE
1290: 5f 4d 55 54 45 58 5f 53 54 41 54 49 43 5f 4d 45  _MUTEX_STATIC_ME
12a0: 4d 0a 2a 2a 20 3c 6c 69 3e 20 20 53 51 4c 49 54  M.** <li>  SQLIT
12b0: 45 5f 4d 55 54 45 58 5f 53 54 41 54 49 43 5f 4f  E_MUTEX_STATIC_O
12c0: 50 45 4e 0a 2a 2a 20 3c 6c 69 3e 20 20 53 51 4c  PEN.** <li>  SQL
12d0: 49 54 45 5f 4d 55 54 45 58 5f 53 54 41 54 49 43  ITE_MUTEX_STATIC
12e0: 5f 50 52 4e 47 0a 2a 2a 20 3c 6c 69 3e 20 20 53  _PRNG.** <li>  S
12f0: 51 4c 49 54 45 5f 4d 55 54 45 58 5f 53 54 41 54  QLITE_MUTEX_STAT
1300: 49 43 5f 4c 52 55 0a 2a 2a 20 3c 6c 69 3e 20 20  IC_LRU.** <li>  
1310: 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 53 54 41  SQLITE_MUTEX_STA
1320: 54 49 43 5f 50 4d 45 4d 0a 2a 2a 20 3c 6c 69 3e  TIC_PMEM.** <li>
1330: 20 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 53    SQLITE_MUTEX_S
1340: 54 41 54 49 43 5f 41 50 50 31 0a 2a 2a 20 3c 6c  TATIC_APP1.** <l
1350: 69 3e 20 20 53 51 4c 49 54 45 5f 4d 55 54 45 58  i>  SQLITE_MUTEX
1360: 5f 53 54 41 54 49 43 5f 41 50 50 32 0a 2a 2a 20  _STATIC_APP2.** 
1370: 3c 6c 69 3e 20 20 53 51 4c 49 54 45 5f 4d 55 54  <li>  SQLITE_MUT
1380: 45 58 5f 53 54 41 54 49 43 5f 41 50 50 33 0a 2a  EX_STATIC_APP3.*
1390: 2a 20 3c 6c 69 3e 20 20 53 51 4c 49 54 45 5f 4d  * <li>  SQLITE_M
13a0: 55 54 45 58 5f 53 54 41 54 49 43 5f 56 46 53 31  UTEX_STATIC_VFS1
13b0: 0a 2a 2a 20 3c 6c 69 3e 20 20 53 51 4c 49 54 45  .** <li>  SQLITE
13c0: 5f 4d 55 54 45 58 5f 53 54 41 54 49 43 5f 56 46  _MUTEX_STATIC_VF
13d0: 53 32 0a 2a 2a 20 3c 6c 69 3e 20 20 53 51 4c 49  S2.** <li>  SQLI
13e0: 54 45 5f 4d 55 54 45 58 5f 53 54 41 54 49 43 5f  TE_MUTEX_STATIC_
13f0: 56 46 53 33 0a 2a 2a 20 3c 2f 75 6c 3e 0a 2a 2a  VFS3.** </ul>.**
1400: 0a 2a 2a 20 54 68 65 20 66 69 72 73 74 20 74 77  .** The first tw
1410: 6f 20 63 6f 6e 73 74 61 6e 74 73 20 63 61 75 73  o constants caus
1420: 65 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f  e sqlite3_mutex_
1430: 61 6c 6c 6f 63 28 29 20 74 6f 20 63 72 65 61 74  alloc() to creat
1440: 65 0a 2a 2a 20 61 20 6e 65 77 20 6d 75 74 65 78  e.** a new mutex
1450: 2e 20 20 54 68 65 20 6e 65 77 20 6d 75 74 65 78  .  The new mutex
1460: 20 69 73 20 72 65 63 75 72 73 69 76 65 20 77 68   is recursive wh
1470: 65 6e 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f  en SQLITE_MUTEX_
1480: 52 45 43 55 52 53 49 56 45 0a 2a 2a 20 69 73 20  RECURSIVE.** is 
1490: 75 73 65 64 20 62 75 74 20 6e 6f 74 20 6e 65 63  used but not nec
14a0: 65 73 73 61 72 69 6c 79 20 73 6f 20 77 68 65 6e  essarily so when
14b0: 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 46 41   SQLITE_MUTEX_FA
14c0: 53 54 20 69 73 20 75 73 65 64 2e 0a 2a 2a 20 54  ST is used..** T
14d0: 68 65 20 6d 75 74 65 78 20 69 6d 70 6c 65 6d 65  he mutex impleme
14e0: 6e 74 61 74 69 6f 6e 20 64 6f 65 73 20 6e 6f 74  ntation does not
14f0: 20 6e 65 65 64 20 74 6f 20 6d 61 6b 65 20 61 20   need to make a 
1500: 64 69 73 74 69 6e 63 74 69 6f 6e 0a 2a 2a 20 62  distinction.** b
1510: 65 74 77 65 65 6e 20 53 51 4c 49 54 45 5f 4d 55  etween SQLITE_MU
1520: 54 45 58 5f 52 45 43 55 52 53 49 56 45 20 61 6e  TEX_RECURSIVE an
1530: 64 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 46  d SQLITE_MUTEX_F
1540: 41 53 54 20 69 66 20 69 74 20 64 6f 65 73 0a 2a  AST if it does.*
1550: 2a 20 6e 6f 74 20 77 61 6e 74 20 74 6f 2e 20 20  * not want to.  
1560: 42 75 74 20 53 51 4c 69 74 65 20 77 69 6c 6c 20  But SQLite will 
1570: 6f 6e 6c 79 20 72 65 71 75 65 73 74 20 61 20 72  only request a r
1580: 65 63 75 72 73 69 76 65 20 6d 75 74 65 78 20 69  ecursive mutex i
1590: 6e 0a 2a 2a 20 63 61 73 65 73 20 77 68 65 72 65  n.** cases where
15a0: 20 69 74 20 72 65 61 6c 6c 79 20 6e 65 65 64 73   it really needs
15b0: 20 6f 6e 65 2e 20 20 49 66 20 61 20 66 61 73 74   one.  If a fast
15c0: 65 72 20 6e 6f 6e 2d 72 65 63 75 72 73 69 76 65  er non-recursive
15d0: 20 6d 75 74 65 78 0a 2a 2a 20 69 6d 70 6c 65 6d   mutex.** implem
15e0: 65 6e 74 61 74 69 6f 6e 20 69 73 20 61 76 61 69  entation is avai
15f0: 6c 61 62 6c 65 20 6f 6e 20 74 68 65 20 68 6f 73  lable on the hos
1600: 74 20 70 6c 61 74 66 6f 72 6d 2c 20 74 68 65 20  t platform, the 
1610: 6d 75 74 65 78 20 73 75 62 73 79 73 74 65 6d 0a  mutex subsystem.
1620: 2a 2a 20 6d 69 67 68 74 20 72 65 74 75 72 6e 20  ** might return 
1630: 73 75 63 68 20 61 20 6d 75 74 65 78 20 69 6e 20  such a mutex in 
1640: 72 65 73 70 6f 6e 73 65 20 74 6f 20 53 51 4c 49  response to SQLI
1650: 54 45 5f 4d 55 54 45 58 5f 46 41 53 54 2e 0a 2a  TE_MUTEX_FAST..*
1660: 2a 0a 2a 2a 20 54 68 65 20 6f 74 68 65 72 20 61  *.** The other a
1670: 6c 6c 6f 77 65 64 20 70 61 72 61 6d 65 74 65 72  llowed parameter
1680: 73 20 74 6f 20 73 71 6c 69 74 65 33 5f 6d 75 74  s to sqlite3_mut
1690: 65 78 5f 61 6c 6c 6f 63 28 29 20 65 61 63 68 20  ex_alloc() each 
16a0: 72 65 74 75 72 6e 0a 2a 2a 20 61 20 70 6f 69 6e  return.** a poin
16b0: 74 65 72 20 74 6f 20 61 20 73 74 61 74 69 63 20  ter to a static 
16c0: 70 72 65 65 78 69 73 74 69 6e 67 20 6d 75 74 65  preexisting mute
16d0: 78 2e 20 20 53 69 78 20 73 74 61 74 69 63 20 6d  x.  Six static m
16e0: 75 74 65 78 65 73 20 61 72 65 0a 2a 2a 20 75 73  utexes are.** us
16f0: 65 64 20 62 79 20 74 68 65 20 63 75 72 72 65 6e  ed by the curren
1700: 74 20 76 65 72 73 69 6f 6e 20 6f 66 20 53 51 4c  t version of SQL
1710: 69 74 65 2e 20 20 46 75 74 75 72 65 20 76 65 72  ite.  Future ver
1720: 73 69 6f 6e 73 20 6f 66 20 53 51 4c 69 74 65 0a  sions of SQLite.
1730: 2a 2a 20 6d 61 79 20 61 64 64 20 61 64 64 69 74  ** may add addit
1740: 69 6f 6e 61 6c 20 73 74 61 74 69 63 20 6d 75 74  ional static mut
1750: 65 78 65 73 2e 20 20 53 74 61 74 69 63 20 6d 75  exes.  Static mu
1760: 74 65 78 65 73 20 61 72 65 20 66 6f 72 20 69 6e  texes are for in
1770: 74 65 72 6e 61 6c 0a 2a 2a 20 75 73 65 20 62 79  ternal.** use by
1780: 20 53 51 4c 69 74 65 20 6f 6e 6c 79 2e 20 20 41   SQLite only.  A
1790: 70 70 6c 69 63 61 74 69 6f 6e 73 20 74 68 61 74  pplications that
17a0: 20 75 73 65 20 53 51 4c 69 74 65 20 6d 75 74 65   use SQLite mute
17b0: 78 65 73 20 73 68 6f 75 6c 64 0a 2a 2a 20 75 73  xes should.** us
17c0: 65 20 6f 6e 6c 79 20 74 68 65 20 64 79 6e 61 6d  e only the dynam
17d0: 69 63 20 6d 75 74 65 78 65 73 20 72 65 74 75 72  ic mutexes retur
17e0: 6e 65 64 20 62 79 20 53 51 4c 49 54 45 5f 4d 55  ned by SQLITE_MU
17f0: 54 45 58 5f 46 41 53 54 20 6f 72 0a 2a 2a 20 53  TEX_FAST or.** S
1800: 51 4c 49 54 45 5f 4d 55 54 45 58 5f 52 45 43 55  QLITE_MUTEX_RECU
1810: 52 53 49 56 45 2e 0a 2a 2a 0a 2a 2a 20 4e 6f 74  RSIVE..**.** Not
1820: 65 20 74 68 61 74 20 69 66 20 6f 6e 65 20 6f 66  e that if one of
1830: 20 74 68 65 20 64 79 6e 61 6d 69 63 20 6d 75 74   the dynamic mut
1840: 65 78 20 70 61 72 61 6d 65 74 65 72 73 20 28 53  ex parameters (S
1850: 51 4c 49 54 45 5f 4d 55 54 45 58 5f 46 41 53 54  QLITE_MUTEX_FAST
1860: 0a 2a 2a 20 6f 72 20 53 51 4c 49 54 45 5f 4d 55  .** or SQLITE_MU
1870: 54 45 58 5f 52 45 43 55 52 53 49 56 45 29 20 69  TEX_RECURSIVE) i
1880: 73 20 75 73 65 64 20 74 68 65 6e 20 73 71 6c 69  s used then sqli
1890: 74 65 33 5f 6d 75 74 65 78 5f 61 6c 6c 6f 63 28  te3_mutex_alloc(
18a0: 29 0a 2a 2a 20 72 65 74 75 72 6e 73 20 61 20 64  ).** returns a d
18b0: 69 66 66 65 72 65 6e 74 20 6d 75 74 65 78 20 6f  ifferent mutex o
18c0: 6e 20 65 76 65 72 79 20 63 61 6c 6c 2e 20 20 42  n every call.  B
18d0: 75 74 20 66 6f 72 20 74 68 65 20 73 74 61 74 69  ut for the stati
18e0: 63 20 0a 2a 2a 20 6d 75 74 65 78 20 74 79 70 65  c .** mutex type
18f0: 73 2c 20 74 68 65 20 73 61 6d 65 20 6d 75 74 65  s, the same mute
1900: 78 20 69 73 20 72 65 74 75 72 6e 65 64 20 6f 6e  x is returned on
1910: 20 65 76 65 72 79 20 63 61 6c 6c 20 74 68 61 74   every call that
1920: 20 68 61 73 0a 2a 2a 20 74 68 65 20 73 61 6d 65   has.** the same
1930: 20 74 79 70 65 20 6e 75 6d 62 65 72 2e 0a 2a 2f   type number..*/
1940: 0a 73 74 61 74 69 63 20 73 71 6c 69 74 65 33 5f  .static sqlite3_
1950: 6d 75 74 65 78 20 2a 70 74 68 72 65 61 64 4d 75  mutex *pthreadMu
1960: 74 65 78 41 6c 6c 6f 63 28 69 6e 74 20 69 54 79  texAlloc(int iTy
1970: 70 65 29 7b 0a 20 20 73 74 61 74 69 63 20 73 71  pe){.  static sq
1980: 6c 69 74 65 33 5f 6d 75 74 65 78 20 73 74 61 74  lite3_mutex stat
1990: 69 63 4d 75 74 65 78 65 73 5b 5d 20 3d 20 7b 0a  icMutexes[] = {.
19a0: 20 20 20 20 53 51 4c 49 54 45 33 5f 4d 55 54 45      SQLITE3_MUTE
19b0: 58 5f 49 4e 49 54 49 41 4c 49 5a 45 52 2c 0a 20  X_INITIALIZER,. 
19c0: 20 20 20 53 51 4c 49 54 45 33 5f 4d 55 54 45 58     SQLITE3_MUTEX
19d0: 5f 49 4e 49 54 49 41 4c 49 5a 45 52 2c 0a 20 20  _INITIALIZER,.  
19e0: 20 20 53 51 4c 49 54 45 33 5f 4d 55 54 45 58 5f    SQLITE3_MUTEX_
19f0: 49 4e 49 54 49 41 4c 49 5a 45 52 2c 0a 20 20 20  INITIALIZER,.   
1a00: 20 53 51 4c 49 54 45 33 5f 4d 55 54 45 58 5f 49   SQLITE3_MUTEX_I
1a10: 4e 49 54 49 41 4c 49 5a 45 52 2c 0a 20 20 20 20  NITIALIZER,.    
1a20: 53 51 4c 49 54 45 33 5f 4d 55 54 45 58 5f 49 4e  SQLITE3_MUTEX_IN
1a30: 49 54 49 41 4c 49 5a 45 52 2c 0a 20 20 20 20 53  ITIALIZER,.    S
1a40: 51 4c 49 54 45 33 5f 4d 55 54 45 58 5f 49 4e 49  QLITE3_MUTEX_INI
1a50: 54 49 41 4c 49 5a 45 52 2c 0a 20 20 20 20 53 51  TIALIZER,.    SQ
1a60: 4c 49 54 45 33 5f 4d 55 54 45 58 5f 49 4e 49 54  LITE3_MUTEX_INIT
1a70: 49 41 4c 49 5a 45 52 2c 0a 20 20 20 20 53 51 4c  IALIZER,.    SQL
1a80: 49 54 45 33 5f 4d 55 54 45 58 5f 49 4e 49 54 49  ITE3_MUTEX_INITI
1a90: 41 4c 49 5a 45 52 2c 0a 20 20 20 20 53 51 4c 49  ALIZER,.    SQLI
1aa0: 54 45 33 5f 4d 55 54 45 58 5f 49 4e 49 54 49 41  TE3_MUTEX_INITIA
1ab0: 4c 49 5a 45 52 2c 0a 20 20 20 20 53 51 4c 49 54  LIZER,.    SQLIT
1ac0: 45 33 5f 4d 55 54 45 58 5f 49 4e 49 54 49 41 4c  E3_MUTEX_INITIAL
1ad0: 49 5a 45 52 2c 0a 20 20 20 20 53 51 4c 49 54 45  IZER,.    SQLITE
1ae0: 33 5f 4d 55 54 45 58 5f 49 4e 49 54 49 41 4c 49  3_MUTEX_INITIALI
1af0: 5a 45 52 2c 0a 20 20 20 20 53 51 4c 49 54 45 33  ZER,.    SQLITE3
1b00: 5f 4d 55 54 45 58 5f 49 4e 49 54 49 41 4c 49 5a  _MUTEX_INITIALIZ
1b10: 45 52 0a 20 20 7d 3b 0a 20 20 73 71 6c 69 74 65  ER.  };.  sqlite
1b20: 33 5f 6d 75 74 65 78 20 2a 70 3b 0a 20 20 73 77  3_mutex *p;.  sw
1b30: 69 74 63 68 28 20 69 54 79 70 65 20 29 7b 0a 20  itch( iType ){. 
1b40: 20 20 20 63 61 73 65 20 53 51 4c 49 54 45 5f 4d     case SQLITE_M
1b50: 55 54 45 58 5f 52 45 43 55 52 53 49 56 45 3a 20  UTEX_RECURSIVE: 
1b60: 7b 0a 20 20 20 20 20 20 70 20 3d 20 73 71 6c 69  {.      p = sqli
1b70: 74 65 33 4d 61 6c 6c 6f 63 5a 65 72 6f 28 20 73  te3MallocZero( s
1b80: 69 7a 65 6f 66 28 2a 70 29 20 29 3b 0a 20 20 20  izeof(*p) );.   
1b90: 20 20 20 69 66 28 20 70 20 29 7b 0a 23 69 66 64     if( p ){.#ifd
1ba0: 65 66 20 53 51 4c 49 54 45 5f 48 4f 4d 45 47 52  ef SQLITE_HOMEGR
1bb0: 4f 57 4e 5f 52 45 43 55 52 53 49 56 45 5f 4d 55  OWN_RECURSIVE_MU
1bc0: 54 45 58 0a 20 20 20 20 20 20 20 20 2f 2a 20 49  TEX.        /* I
1bd0: 66 20 72 65 63 75 72 73 69 76 65 20 6d 75 74 65  f recursive mute
1be0: 78 65 73 20 61 72 65 20 6e 6f 74 20 61 76 61 69  xes are not avai
1bf0: 6c 61 62 6c 65 2c 20 77 65 20 77 69 6c 6c 20 68  lable, we will h
1c00: 61 76 65 20 74 6f 0a 20 20 20 20 20 20 20 20 2a  ave to.        *
1c10: 2a 20 62 75 69 6c 64 20 6f 75 72 20 6f 77 6e 2e  * build our own.
1c20: 20 20 53 65 65 20 62 65 6c 6f 77 2e 20 2a 2f 0a    See below. */.
1c30: 20 20 20 20 20 20 20 20 70 74 68 72 65 61 64 5f          pthread_
1c40: 6d 75 74 65 78 5f 69 6e 69 74 28 26 70 2d 3e 6d  mutex_init(&p->m
1c50: 75 74 65 78 2c 20 30 29 3b 0a 23 65 6c 73 65 0a  utex, 0);.#else.
1c60: 20 20 20 20 20 20 20 20 2f 2a 20 55 73 65 20 61          /* Use a
1c70: 20 72 65 63 75 72 73 69 76 65 20 6d 75 74 65 78   recursive mutex
1c80: 20 69 66 20 69 74 20 69 73 20 61 76 61 69 6c 61   if it is availa
1c90: 62 6c 65 20 2a 2f 0a 20 20 20 20 20 20 20 20 70  ble */.        p
1ca0: 74 68 72 65 61 64 5f 6d 75 74 65 78 61 74 74 72  thread_mutexattr
1cb0: 5f 74 20 72 65 63 75 72 73 69 76 65 41 74 74 72  _t recursiveAttr
1cc0: 3b 0a 20 20 20 20 20 20 20 20 70 74 68 72 65 61  ;.        pthrea
1cd0: 64 5f 6d 75 74 65 78 61 74 74 72 5f 69 6e 69 74  d_mutexattr_init
1ce0: 28 26 72 65 63 75 72 73 69 76 65 41 74 74 72 29  (&recursiveAttr)
1cf0: 3b 0a 20 20 20 20 20 20 20 20 70 74 68 72 65 61  ;.        pthrea
1d00: 64 5f 6d 75 74 65 78 61 74 74 72 5f 73 65 74 74  d_mutexattr_sett
1d10: 79 70 65 28 26 72 65 63 75 72 73 69 76 65 41 74  ype(&recursiveAt
1d20: 74 72 2c 20 50 54 48 52 45 41 44 5f 4d 55 54 45  tr, PTHREAD_MUTE
1d30: 58 5f 52 45 43 55 52 53 49 56 45 29 3b 0a 20 20  X_RECURSIVE);.  
1d40: 20 20 20 20 20 20 70 74 68 72 65 61 64 5f 6d 75        pthread_mu
1d50: 74 65 78 5f 69 6e 69 74 28 26 70 2d 3e 6d 75 74  tex_init(&p->mut
1d60: 65 78 2c 20 26 72 65 63 75 72 73 69 76 65 41 74  ex, &recursiveAt
1d70: 74 72 29 3b 0a 20 20 20 20 20 20 20 20 70 74 68  tr);.        pth
1d80: 72 65 61 64 5f 6d 75 74 65 78 61 74 74 72 5f 64  read_mutexattr_d
1d90: 65 73 74 72 6f 79 28 26 72 65 63 75 72 73 69 76  estroy(&recursiv
1da0: 65 41 74 74 72 29 3b 0a 23 65 6e 64 69 66 0a 20  eAttr);.#endif. 
1db0: 20 20 20 20 20 7d 0a 20 20 20 20 20 20 62 72 65       }.      bre
1dc0: 61 6b 3b 0a 20 20 20 20 7d 0a 20 20 20 20 63 61  ak;.    }.    ca
1dd0: 73 65 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f  se SQLITE_MUTEX_
1de0: 46 41 53 54 3a 20 7b 0a 20 20 20 20 20 20 70 20  FAST: {.      p 
1df0: 3d 20 73 71 6c 69 74 65 33 4d 61 6c 6c 6f 63 5a  = sqlite3MallocZ
1e00: 65 72 6f 28 20 73 69 7a 65 6f 66 28 2a 70 29 20  ero( sizeof(*p) 
1e10: 29 3b 0a 20 20 20 20 20 20 69 66 28 20 70 20 29  );.      if( p )
1e20: 7b 0a 20 20 20 20 20 20 20 20 70 74 68 72 65 61  {.        pthrea
1e30: 64 5f 6d 75 74 65 78 5f 69 6e 69 74 28 26 70 2d  d_mutex_init(&p-
1e40: 3e 6d 75 74 65 78 2c 20 30 29 3b 0a 20 20 20 20  >mutex, 0);.    
1e50: 20 20 7d 0a 20 20 20 20 20 20 62 72 65 61 6b 3b    }.      break;
1e60: 0a 20 20 20 20 7d 0a 20 20 20 20 64 65 66 61 75  .    }.    defau
1e70: 6c 74 3a 20 7b 0a 23 69 66 64 65 66 20 53 51 4c  lt: {.#ifdef SQL
1e80: 49 54 45 5f 45 4e 41 42 4c 45 5f 41 50 49 5f 41  ITE_ENABLE_API_A
1e90: 52 4d 4f 52 0a 20 20 20 20 20 20 69 66 28 20 69  RMOR.      if( i
1ea0: 54 79 70 65 2d 32 3c 30 20 7c 7c 20 69 54 79 70  Type-2<0 || iTyp
1eb0: 65 2d 32 3e 3d 41 72 72 61 79 53 69 7a 65 28 73  e-2>=ArraySize(s
1ec0: 74 61 74 69 63 4d 75 74 65 78 65 73 29 20 29 7b  taticMutexes) ){
1ed0: 0a 20 20 20 20 20 20 20 20 28 76 6f 69 64 29 53  .        (void)S
1ee0: 51 4c 49 54 45 5f 4d 49 53 55 53 45 5f 42 4b 50  QLITE_MISUSE_BKP
1ef0: 54 3b 0a 20 20 20 20 20 20 20 20 72 65 74 75 72  T;.        retur
1f00: 6e 20 30 3b 0a 20 20 20 20 20 20 7d 0a 23 65 6e  n 0;.      }.#en
1f10: 64 69 66 0a 20 20 20 20 20 20 70 20 3d 20 26 73  dif.      p = &s
1f20: 74 61 74 69 63 4d 75 74 65 78 65 73 5b 69 54 79  taticMutexes[iTy
1f30: 70 65 2d 32 5d 3b 0a 20 20 20 20 20 20 62 72 65  pe-2];.      bre
1f40: 61 6b 3b 0a 20 20 20 20 7d 0a 20 20 7d 0a 23 69  ak;.    }.  }.#i
1f50: 66 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 4e  f SQLITE_MUTEX_N
1f60: 52 45 46 20 7c 7c 20 64 65 66 69 6e 65 64 28 53  REF || defined(S
1f70: 51 4c 49 54 45 5f 45 4e 41 42 4c 45 5f 41 50 49  QLITE_ENABLE_API
1f80: 5f 41 52 4d 4f 52 29 0a 20 20 69 66 28 20 70 20  _ARMOR).  if( p 
1f90: 29 20 70 2d 3e 69 64 20 3d 20 69 54 79 70 65 3b  ) p->id = iType;
1fa0: 0a 23 65 6e 64 69 66 0a 20 20 72 65 74 75 72 6e  .#endif.  return
1fb0: 20 70 3b 0a 7d 0a 0a 0a 2f 2a 0a 2a 2a 20 54 68   p;.}.../*.** Th
1fc0: 69 73 20 72 6f 75 74 69 6e 65 20 64 65 61 6c 6c  is routine deall
1fd0: 6f 63 61 74 65 73 20 61 20 70 72 65 76 69 6f 75  ocates a previou
1fe0: 73 6c 79 0a 2a 2a 20 61 6c 6c 6f 63 61 74 65 64  sly.** allocated
1ff0: 20 6d 75 74 65 78 2e 20 20 53 51 4c 69 74 65 20   mutex.  SQLite 
2000: 69 73 20 63 61 72 65 66 75 6c 20 74 6f 20 64 65  is careful to de
2010: 61 6c 6c 6f 63 61 74 65 20 65 76 65 72 79 0a 2a  allocate every.*
2020: 2a 20 6d 75 74 65 78 20 74 68 61 74 20 69 74 20  * mutex that it 
2030: 61 6c 6c 6f 63 61 74 65 73 2e 0a 2a 2f 0a 73 74  allocates..*/.st
2040: 61 74 69 63 20 76 6f 69 64 20 70 74 68 72 65 61  atic void pthrea
2050: 64 4d 75 74 65 78 46 72 65 65 28 73 71 6c 69 74  dMutexFree(sqlit
2060: 65 33 5f 6d 75 74 65 78 20 2a 70 29 7b 0a 20 20  e3_mutex *p){.  
2070: 61 73 73 65 72 74 28 20 70 2d 3e 6e 52 65 66 3d  assert( p->nRef=
2080: 3d 30 20 29 3b 0a 23 69 66 20 53 51 4c 49 54 45  =0 );.#if SQLITE
2090: 5f 45 4e 41 42 4c 45 5f 41 50 49 5f 41 52 4d 4f  _ENABLE_API_ARMO
20a0: 52 0a 20 20 69 66 28 20 70 2d 3e 69 64 3d 3d 53  R.  if( p->id==S
20b0: 51 4c 49 54 45 5f 4d 55 54 45 58 5f 46 41 53 54  QLITE_MUTEX_FAST
20c0: 20 7c 7c 20 70 2d 3e 69 64 3d 3d 53 51 4c 49 54   || p->id==SQLIT
20d0: 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56  E_MUTEX_RECURSIV
20e0: 45 20 29 0a 23 65 6e 64 69 66 0a 20 20 7b 0a 20  E ).#endif.  {. 
20f0: 20 20 20 70 74 68 72 65 61 64 5f 6d 75 74 65 78     pthread_mutex
2100: 5f 64 65 73 74 72 6f 79 28 26 70 2d 3e 6d 75 74  _destroy(&p->mut
2110: 65 78 29 3b 0a 20 20 20 20 73 71 6c 69 74 65 33  ex);.    sqlite3
2120: 5f 66 72 65 65 28 70 29 3b 0a 20 20 7d 0a 23 69  _free(p);.  }.#i
2130: 66 64 65 66 20 53 51 4c 49 54 45 5f 45 4e 41 42  fdef SQLITE_ENAB
2140: 4c 45 5f 41 50 49 5f 41 52 4d 4f 52 0a 20 20 65  LE_API_ARMOR.  e
2150: 6c 73 65 7b 0a 20 20 20 20 28 76 6f 69 64 29 53  lse{.    (void)S
2160: 51 4c 49 54 45 5f 4d 49 53 55 53 45 5f 42 4b 50  QLITE_MISUSE_BKP
2170: 54 3b 0a 20 20 7d 0a 23 65 6e 64 69 66 0a 7d 0a  T;.  }.#endif.}.
2180: 0a 2f 2a 0a 2a 2a 20 54 68 65 20 73 71 6c 69 74  ./*.** The sqlit
2190: 65 33 5f 6d 75 74 65 78 5f 65 6e 74 65 72 28 29  e3_mutex_enter()
21a0: 20 61 6e 64 20 73 71 6c 69 74 65 33 5f 6d 75 74   and sqlite3_mut
21b0: 65 78 5f 74 72 79 28 29 20 72 6f 75 74 69 6e 65  ex_try() routine
21c0: 73 20 61 74 74 65 6d 70 74 0a 2a 2a 20 74 6f 20  s attempt.** to 
21d0: 65 6e 74 65 72 20 61 20 6d 75 74 65 78 2e 20 20  enter a mutex.  
21e0: 49 66 20 61 6e 6f 74 68 65 72 20 74 68 72 65 61  If another threa
21f0: 64 20 69 73 20 61 6c 72 65 61 64 79 20 77 69 74  d is already wit
2200: 68 69 6e 20 74 68 65 20 6d 75 74 65 78 2c 0a 2a  hin the mutex,.*
2210: 2a 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f  * sqlite3_mutex_
2220: 65 6e 74 65 72 28 29 20 77 69 6c 6c 20 62 6c 6f  enter() will blo
2230: 63 6b 20 61 6e 64 20 73 71 6c 69 74 65 33 5f 6d  ck and sqlite3_m
2240: 75 74 65 78 5f 74 72 79 28 29 20 77 69 6c 6c 20  utex_try() will 
2250: 72 65 74 75 72 6e 0a 2a 2a 20 53 51 4c 49 54 45  return.** SQLITE
2260: 5f 42 55 53 59 2e 20 20 54 68 65 20 73 71 6c 69  _BUSY.  The sqli
2270: 74 65 33 5f 6d 75 74 65 78 5f 74 72 79 28 29 20  te3_mutex_try() 
2280: 69 6e 74 65 72 66 61 63 65 20 72 65 74 75 72 6e  interface return
2290: 73 20 53 51 4c 49 54 45 5f 4f 4b 0a 2a 2a 20 75  s SQLITE_OK.** u
22a0: 70 6f 6e 20 73 75 63 63 65 73 73 66 75 6c 20 65  pon successful e
22b0: 6e 74 72 79 2e 20 20 4d 75 74 65 78 65 73 20 63  ntry.  Mutexes c
22c0: 72 65 61 74 65 64 20 75 73 69 6e 67 20 53 51 4c  reated using SQL
22d0: 49 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53  ITE_MUTEX_RECURS
22e0: 49 56 45 20 63 61 6e 0a 2a 2a 20 62 65 20 65 6e  IVE can.** be en
22f0: 74 65 72 65 64 20 6d 75 6c 74 69 70 6c 65 20 74  tered multiple t
2300: 69 6d 65 73 20 62 79 20 74 68 65 20 73 61 6d 65  imes by the same
2310: 20 74 68 72 65 61 64 2e 20 20 49 6e 20 73 75 63   thread.  In suc
2320: 68 20 63 61 73 65 73 20 74 68 65 2c 0a 2a 2a 20  h cases the,.** 
2330: 6d 75 74 65 78 20 6d 75 73 74 20 62 65 20 65 78  mutex must be ex
2340: 69 74 65 64 20 61 6e 20 65 71 75 61 6c 20 6e 75  ited an equal nu
2350: 6d 62 65 72 20 6f 66 20 74 69 6d 65 73 20 62 65  mber of times be
2360: 66 6f 72 65 20 61 6e 6f 74 68 65 72 20 74 68 72  fore another thr
2370: 65 61 64 0a 2a 2a 20 63 61 6e 20 65 6e 74 65 72  ead.** can enter
2380: 2e 20 20 49 66 20 74 68 65 20 73 61 6d 65 20 74  .  If the same t
2390: 68 72 65 61 64 20 74 72 69 65 73 20 74 6f 20 65  hread tries to e
23a0: 6e 74 65 72 20 61 6e 79 20 6f 74 68 65 72 20 6b  nter any other k
23b0: 69 6e 64 20 6f 66 20 6d 75 74 65 78 0a 2a 2a 20  ind of mutex.** 
23c0: 6d 6f 72 65 20 74 68 61 6e 20 6f 6e 63 65 2c 20  more than once, 
23d0: 74 68 65 20 62 65 68 61 76 69 6f 72 20 69 73 20  the behavior is 
23e0: 75 6e 64 65 66 69 6e 65 64 2e 0a 2a 2f 0a 73 74  undefined..*/.st
23f0: 61 74 69 63 20 76 6f 69 64 20 70 74 68 72 65 61  atic void pthrea
2400: 64 4d 75 74 65 78 45 6e 74 65 72 28 73 71 6c 69  dMutexEnter(sqli
2410: 74 65 33 5f 6d 75 74 65 78 20 2a 70 29 7b 0a 20  te3_mutex *p){. 
2420: 20 61 73 73 65 72 74 28 20 70 2d 3e 69 64 3d 3d   assert( p->id==
2430: 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 52 45 43  SQLITE_MUTEX_REC
2440: 55 52 53 49 56 45 20 7c 7c 20 70 74 68 72 65 61  URSIVE || pthrea
2450: 64 4d 75 74 65 78 4e 6f 74 68 65 6c 64 28 70 29  dMutexNotheld(p)
2460: 20 29 3b 0a 0a 23 69 66 64 65 66 20 53 51 4c 49   );..#ifdef SQLI
2470: 54 45 5f 48 4f 4d 45 47 52 4f 57 4e 5f 52 45 43  TE_HOMEGROWN_REC
2480: 55 52 53 49 56 45 5f 4d 55 54 45 58 0a 20 20 2f  URSIVE_MUTEX.  /
2490: 2a 20 49 66 20 72 65 63 75 72 73 69 76 65 20 6d  * If recursive m
24a0: 75 74 65 78 65 73 20 61 72 65 20 6e 6f 74 20 61  utexes are not a
24b0: 76 61 69 6c 61 62 6c 65 2c 20 74 68 65 6e 20 77  vailable, then w
24c0: 65 20 68 61 76 65 20 74 6f 20 67 72 6f 77 0a 20  e have to grow. 
24d0: 20 2a 2a 20 6f 75 72 20 6f 77 6e 2e 20 20 54 68   ** our own.  Th
24e0: 69 73 20 69 6d 70 6c 65 6d 65 6e 74 61 74 69 6f  is implementatio
24f0: 6e 20 61 73 73 75 6d 65 73 20 74 68 61 74 20 70  n assumes that p
2500: 74 68 72 65 61 64 5f 65 71 75 61 6c 28 29 0a 20  thread_equal(). 
2510: 20 2a 2a 20 69 73 20 61 74 6f 6d 69 63 20 2d 20   ** is atomic - 
2520: 74 68 61 74 20 69 74 20 63 61 6e 6e 6f 74 20 62  that it cannot b
2530: 65 20 64 65 63 65 69 76 65 64 20 69 6e 74 6f 20  e deceived into 
2540: 74 68 69 6e 6b 69 6e 67 20 73 65 6c 66 0a 20 20  thinking self.  
2550: 2a 2a 20 61 6e 64 20 70 2d 3e 6f 77 6e 65 72 20  ** and p->owner 
2560: 61 72 65 20 65 71 75 61 6c 20 69 66 20 70 2d 3e  are equal if p->
2570: 6f 77 6e 65 72 20 63 68 61 6e 67 65 73 20 62 65  owner changes be
2580: 74 77 65 65 6e 20 74 77 6f 20 76 61 6c 75 65 73  tween two values
2590: 0a 20 20 2a 2a 20 74 68 61 74 20 61 72 65 20 6e  .  ** that are n
25a0: 6f 74 20 65 71 75 61 6c 20 74 6f 20 73 65 6c 66  ot equal to self
25b0: 20 77 68 69 6c 65 20 74 68 65 20 63 6f 6d 70 61   while the compa
25c0: 72 69 73 6f 6e 20 69 73 20 74 61 6b 69 6e 67 20  rison is taking 
25d0: 70 6c 61 63 65 2e 0a 20 20 2a 2a 20 54 68 69 73  place..  ** This
25e0: 20 69 6d 70 6c 65 6d 65 6e 74 61 74 69 6f 6e 20   implementation 
25f0: 61 6c 73 6f 20 61 73 73 75 6d 65 73 20 61 20 63  also assumes a c
2600: 6f 68 65 72 65 6e 74 20 63 61 63 68 65 20 2d 20  oherent cache - 
2610: 74 68 61 74 20 0a 20 20 2a 2a 20 73 65 70 61 72  that .  ** separ
2620: 61 74 65 20 70 72 6f 63 65 73 73 65 73 20 63 61  ate processes ca
2630: 6e 6e 6f 74 20 72 65 61 64 20 64 69 66 66 65 72  nnot read differ
2640: 65 6e 74 20 76 61 6c 75 65 73 20 66 72 6f 6d 20  ent values from 
2650: 74 68 65 20 73 61 6d 65 0a 20 20 2a 2a 20 61 64  the same.  ** ad
2660: 64 72 65 73 73 20 61 74 20 74 68 65 20 73 61 6d  dress at the sam
2670: 65 20 74 69 6d 65 2e 20 20 49 66 20 65 69 74 68  e time.  If eith
2680: 65 72 20 6f 66 20 74 68 65 73 65 20 74 77 6f 20  er of these two 
2690: 63 6f 6e 64 69 74 69 6f 6e 73 0a 20 20 2a 2a 20  conditions.  ** 
26a0: 61 72 65 20 6e 6f 74 20 6d 65 74 2c 20 74 68 65  are not met, the
26b0: 6e 20 74 68 65 20 6d 75 74 65 78 65 73 20 77 69  n the mutexes wi
26c0: 6c 6c 20 66 61 69 6c 20 61 6e 64 20 70 72 6f 62  ll fail and prob
26d0: 6c 65 6d 73 20 77 69 6c 6c 20 72 65 73 75 6c 74  lems will result
26e0: 2e 0a 20 20 2a 2f 0a 20 20 7b 0a 20 20 20 20 70  ..  */.  {.    p
26f0: 74 68 72 65 61 64 5f 74 20 73 65 6c 66 20 3d 20  thread_t self = 
2700: 70 74 68 72 65 61 64 5f 73 65 6c 66 28 29 3b 0a  pthread_self();.
2710: 20 20 20 20 69 66 28 20 70 2d 3e 6e 52 65 66 3e      if( p->nRef>
2720: 30 20 26 26 20 70 74 68 72 65 61 64 5f 65 71 75  0 && pthread_equ
2730: 61 6c 28 70 2d 3e 6f 77 6e 65 72 2c 20 73 65 6c  al(p->owner, sel
2740: 66 29 20 29 7b 0a 20 20 20 20 20 20 70 2d 3e 6e  f) ){.      p->n
2750: 52 65 66 2b 2b 3b 0a 20 20 20 20 7d 65 6c 73 65  Ref++;.    }else
2760: 7b 0a 20 20 20 20 20 20 70 74 68 72 65 61 64 5f  {.      pthread_
2770: 6d 75 74 65 78 5f 6c 6f 63 6b 28 26 70 2d 3e 6d  mutex_lock(&p->m
2780: 75 74 65 78 29 3b 0a 20 20 20 20 20 20 61 73 73  utex);.      ass
2790: 65 72 74 28 20 70 2d 3e 6e 52 65 66 3d 3d 30 20  ert( p->nRef==0 
27a0: 29 3b 0a 20 20 20 20 20 20 70 2d 3e 6f 77 6e 65  );.      p->owne
27b0: 72 20 3d 20 73 65 6c 66 3b 0a 20 20 20 20 20 20  r = self;.      
27c0: 70 2d 3e 6e 52 65 66 20 3d 20 31 3b 0a 20 20 20  p->nRef = 1;.   
27d0: 20 7d 0a 20 20 7d 0a 23 65 6c 73 65 0a 20 20 2f   }.  }.#else.  /
27e0: 2a 20 55 73 65 20 74 68 65 20 62 75 69 6c 74 2d  * Use the built-
27f0: 69 6e 20 72 65 63 75 72 73 69 76 65 20 6d 75 74  in recursive mut
2800: 65 78 65 73 20 69 66 20 74 68 65 79 20 61 72 65  exes if they are
2810: 20 61 76 61 69 6c 61 62 6c 65 2e 0a 20 20 2a 2f   available..  */
2820: 0a 20 20 70 74 68 72 65 61 64 5f 6d 75 74 65 78  .  pthread_mutex
2830: 5f 6c 6f 63 6b 28 26 70 2d 3e 6d 75 74 65 78 29  _lock(&p->mutex)
2840: 3b 0a 23 69 66 20 53 51 4c 49 54 45 5f 4d 55 54  ;.#if SQLITE_MUT
2850: 45 58 5f 4e 52 45 46 0a 20 20 61 73 73 65 72 74  EX_NREF.  assert
2860: 28 20 70 2d 3e 6e 52 65 66 3e 30 20 7c 7c 20 70  ( p->nRef>0 || p
2870: 2d 3e 6f 77 6e 65 72 3d 3d 30 20 29 3b 0a 20 20  ->owner==0 );.  
2880: 70 2d 3e 6f 77 6e 65 72 20 3d 20 70 74 68 72 65  p->owner = pthre
2890: 61 64 5f 73 65 6c 66 28 29 3b 0a 20 20 70 2d 3e  ad_self();.  p->
28a0: 6e 52 65 66 2b 2b 3b 0a 23 65 6e 64 69 66 0a 23  nRef++;.#endif.#
28b0: 65 6e 64 69 66 0a 0a 23 69 66 64 65 66 20 53 51  endif..#ifdef SQ
28c0: 4c 49 54 45 5f 44 45 42 55 47 0a 20 20 69 66 28  LITE_DEBUG.  if(
28d0: 20 70 2d 3e 74 72 61 63 65 20 29 7b 0a 20 20 20   p->trace ){.   
28e0: 20 70 72 69 6e 74 66 28 22 65 6e 74 65 72 20 6d   printf("enter m
28f0: 75 74 65 78 20 25 70 20 28 25 64 29 20 77 69 74  utex %p (%d) wit
2900: 68 20 6e 52 65 66 3d 25 64 5c 6e 22 2c 20 70 2c  h nRef=%d\n", p,
2910: 20 70 2d 3e 74 72 61 63 65 2c 20 70 2d 3e 6e 52   p->trace, p->nR
2920: 65 66 29 3b 0a 20 20 7d 0a 23 65 6e 64 69 66 0a  ef);.  }.#endif.
2930: 7d 0a 73 74 61 74 69 63 20 69 6e 74 20 70 74 68  }.static int pth
2940: 72 65 61 64 4d 75 74 65 78 54 72 79 28 73 71 6c  readMutexTry(sql
2950: 69 74 65 33 5f 6d 75 74 65 78 20 2a 70 29 7b 0a  ite3_mutex *p){.
2960: 20 20 69 6e 74 20 72 63 3b 0a 20 20 61 73 73 65    int rc;.  asse
2970: 72 74 28 20 70 2d 3e 69 64 3d 3d 53 51 4c 49 54  rt( p->id==SQLIT
2980: 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56  E_MUTEX_RECURSIV
2990: 45 20 7c 7c 20 70 74 68 72 65 61 64 4d 75 74 65  E || pthreadMute
29a0: 78 4e 6f 74 68 65 6c 64 28 70 29 20 29 3b 0a 0a  xNotheld(p) );..
29b0: 23 69 66 64 65 66 20 53 51 4c 49 54 45 5f 48 4f  #ifdef SQLITE_HO
29c0: 4d 45 47 52 4f 57 4e 5f 52 45 43 55 52 53 49 56  MEGROWN_RECURSIV
29d0: 45 5f 4d 55 54 45 58 0a 20 20 2f 2a 20 49 66 20  E_MUTEX.  /* If 
29e0: 72 65 63 75 72 73 69 76 65 20 6d 75 74 65 78 65  recursive mutexe
29f0: 73 20 61 72 65 20 6e 6f 74 20 61 76 61 69 6c 61  s are not availa
2a00: 62 6c 65 2c 20 74 68 65 6e 20 77 65 20 68 61 76  ble, then we hav
2a10: 65 20 74 6f 20 67 72 6f 77 0a 20 20 2a 2a 20 6f  e to grow.  ** o
2a20: 75 72 20 6f 77 6e 2e 20 20 54 68 69 73 20 69 6d  ur own.  This im
2a30: 70 6c 65 6d 65 6e 74 61 74 69 6f 6e 20 61 73 73  plementation ass
2a40: 75 6d 65 73 20 74 68 61 74 20 70 74 68 72 65 61  umes that pthrea
2a50: 64 5f 65 71 75 61 6c 28 29 0a 20 20 2a 2a 20 69  d_equal().  ** i
2a60: 73 20 61 74 6f 6d 69 63 20 2d 20 74 68 61 74 20  s atomic - that 
2a70: 69 74 20 63 61 6e 6e 6f 74 20 62 65 20 64 65 63  it cannot be dec
2a80: 65 69 76 65 64 20 69 6e 74 6f 20 74 68 69 6e 6b  eived into think
2a90: 69 6e 67 20 73 65 6c 66 0a 20 20 2a 2a 20 61 6e  ing self.  ** an
2aa0: 64 20 70 2d 3e 6f 77 6e 65 72 20 61 72 65 20 65  d p->owner are e
2ab0: 71 75 61 6c 20 69 66 20 70 2d 3e 6f 77 6e 65 72  qual if p->owner
2ac0: 20 63 68 61 6e 67 65 73 20 62 65 74 77 65 65 6e   changes between
2ad0: 20 74 77 6f 20 76 61 6c 75 65 73 0a 20 20 2a 2a   two values.  **
2ae0: 20 74 68 61 74 20 61 72 65 20 6e 6f 74 20 65 71   that are not eq
2af0: 75 61 6c 20 74 6f 20 73 65 6c 66 20 77 68 69 6c  ual to self whil
2b00: 65 20 74 68 65 20 63 6f 6d 70 61 72 69 73 6f 6e  e the comparison
2b10: 20 69 73 20 74 61 6b 69 6e 67 20 70 6c 61 63 65   is taking place
2b20: 2e 0a 20 20 2a 2a 20 54 68 69 73 20 69 6d 70 6c  ..  ** This impl
2b30: 65 6d 65 6e 74 61 74 69 6f 6e 20 61 6c 73 6f 20  ementation also 
2b40: 61 73 73 75 6d 65 73 20 61 20 63 6f 68 65 72 65  assumes a cohere
2b50: 6e 74 20 63 61 63 68 65 20 2d 20 74 68 61 74 20  nt cache - that 
2b60: 0a 20 20 2a 2a 20 73 65 70 61 72 61 74 65 20 70  .  ** separate p
2b70: 72 6f 63 65 73 73 65 73 20 63 61 6e 6e 6f 74 20  rocesses cannot 
2b80: 72 65 61 64 20 64 69 66 66 65 72 65 6e 74 20 76  read different v
2b90: 61 6c 75 65 73 20 66 72 6f 6d 20 74 68 65 20 73  alues from the s
2ba0: 61 6d 65 0a 20 20 2a 2a 20 61 64 64 72 65 73 73  ame.  ** address
2bb0: 20 61 74 20 74 68 65 20 73 61 6d 65 20 74 69 6d   at the same tim
2bc0: 65 2e 20 20 49 66 20 65 69 74 68 65 72 20 6f 66  e.  If either of
2bd0: 20 74 68 65 73 65 20 74 77 6f 20 63 6f 6e 64 69   these two condi
2be0: 74 69 6f 6e 73 0a 20 20 2a 2a 20 61 72 65 20 6e  tions.  ** are n
2bf0: 6f 74 20 6d 65 74 2c 20 74 68 65 6e 20 74 68 65  ot met, then the
2c00: 20 6d 75 74 65 78 65 73 20 77 69 6c 6c 20 66 61   mutexes will fa
2c10: 69 6c 20 61 6e 64 20 70 72 6f 62 6c 65 6d 73 20  il and problems 
2c20: 77 69 6c 6c 20 72 65 73 75 6c 74 2e 0a 20 20 2a  will result..  *
2c30: 2f 0a 20 20 7b 0a 20 20 20 20 70 74 68 72 65 61  /.  {.    pthrea
2c40: 64 5f 74 20 73 65 6c 66 20 3d 20 70 74 68 72 65  d_t self = pthre
2c50: 61 64 5f 73 65 6c 66 28 29 3b 0a 20 20 20 20 69  ad_self();.    i
2c60: 66 28 20 70 2d 3e 6e 52 65 66 3e 30 20 26 26 20  f( p->nRef>0 && 
2c70: 70 74 68 72 65 61 64 5f 65 71 75 61 6c 28 70 2d  pthread_equal(p-
2c80: 3e 6f 77 6e 65 72 2c 20 73 65 6c 66 29 20 29 7b  >owner, self) ){
2c90: 0a 20 20 20 20 20 20 70 2d 3e 6e 52 65 66 2b 2b  .      p->nRef++
2ca0: 3b 0a 20 20 20 20 20 20 72 63 20 3d 20 53 51 4c  ;.      rc = SQL
2cb0: 49 54 45 5f 4f 4b 3b 0a 20 20 20 20 7d 65 6c 73  ITE_OK;.    }els
2cc0: 65 20 69 66 28 20 70 74 68 72 65 61 64 5f 6d 75  e if( pthread_mu
2cd0: 74 65 78 5f 74 72 79 6c 6f 63 6b 28 26 70 2d 3e  tex_trylock(&p->
2ce0: 6d 75 74 65 78 29 3d 3d 30 20 29 7b 0a 20 20 20  mutex)==0 ){.   
2cf0: 20 20 20 61 73 73 65 72 74 28 20 70 2d 3e 6e 52     assert( p->nR
2d00: 65 66 3d 3d 30 20 29 3b 0a 20 20 20 20 20 20 70  ef==0 );.      p
2d10: 2d 3e 6f 77 6e 65 72 20 3d 20 73 65 6c 66 3b 0a  ->owner = self;.
2d20: 20 20 20 20 20 20 70 2d 3e 6e 52 65 66 20 3d 20        p->nRef = 
2d30: 31 3b 0a 20 20 20 20 20 20 72 63 20 3d 20 53 51  1;.      rc = SQ
2d40: 4c 49 54 45 5f 4f 4b 3b 0a 20 20 20 20 7d 65 6c  LITE_OK;.    }el
2d50: 73 65 7b 0a 20 20 20 20 20 20 72 63 20 3d 20 53  se{.      rc = S
2d60: 51 4c 49 54 45 5f 42 55 53 59 3b 0a 20 20 20 20  QLITE_BUSY;.    
2d70: 7d 0a 20 20 7d 0a 23 65 6c 73 65 0a 20 20 2f 2a  }.  }.#else.  /*
2d80: 20 55 73 65 20 74 68 65 20 62 75 69 6c 74 2d 69   Use the built-i
2d90: 6e 20 72 65 63 75 72 73 69 76 65 20 6d 75 74 65  n recursive mute
2da0: 78 65 73 20 69 66 20 74 68 65 79 20 61 72 65 20  xes if they are 
2db0: 61 76 61 69 6c 61 62 6c 65 2e 0a 20 20 2a 2f 0a  available..  */.
2dc0: 20 20 69 66 28 20 70 74 68 72 65 61 64 5f 6d 75    if( pthread_mu
2dd0: 74 65 78 5f 74 72 79 6c 6f 63 6b 28 26 70 2d 3e  tex_trylock(&p->
2de0: 6d 75 74 65 78 29 3d 3d 30 20 29 7b 0a 23 69 66  mutex)==0 ){.#if
2df0: 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 4e 52   SQLITE_MUTEX_NR
2e00: 45 46 0a 20 20 20 20 70 2d 3e 6f 77 6e 65 72 20  EF.    p->owner 
2e10: 3d 20 70 74 68 72 65 61 64 5f 73 65 6c 66 28 29  = pthread_self()
2e20: 3b 0a 20 20 20 20 70 2d 3e 6e 52 65 66 2b 2b 3b  ;.    p->nRef++;
2e30: 0a 23 65 6e 64 69 66 0a 20 20 20 20 72 63 20 3d  .#endif.    rc =
2e40: 20 53 51 4c 49 54 45 5f 4f 4b 3b 0a 20 20 7d 65   SQLITE_OK;.  }e
2e50: 6c 73 65 7b 0a 20 20 20 20 72 63 20 3d 20 53 51  lse{.    rc = SQ
2e60: 4c 49 54 45 5f 42 55 53 59 3b 0a 20 20 7d 0a 23  LITE_BUSY;.  }.#
2e70: 65 6e 64 69 66 0a 0a 23 69 66 64 65 66 20 53 51  endif..#ifdef SQ
2e80: 4c 49 54 45 5f 44 45 42 55 47 0a 20 20 69 66 28  LITE_DEBUG.  if(
2e90: 20 72 63 3d 3d 53 51 4c 49 54 45 5f 4f 4b 20 26   rc==SQLITE_OK &
2ea0: 26 20 70 2d 3e 74 72 61 63 65 20 29 7b 0a 20 20  & p->trace ){.  
2eb0: 20 20 70 72 69 6e 74 66 28 22 65 6e 74 65 72 20    printf("enter 
2ec0: 6d 75 74 65 78 20 25 70 20 28 25 64 29 20 77 69  mutex %p (%d) wi
2ed0: 74 68 20 6e 52 65 66 3d 25 64 5c 6e 22 2c 20 70  th nRef=%d\n", p
2ee0: 2c 20 70 2d 3e 74 72 61 63 65 2c 20 70 2d 3e 6e  , p->trace, p->n
2ef0: 52 65 66 29 3b 0a 20 20 7d 0a 23 65 6e 64 69 66  Ref);.  }.#endif
2f00: 0a 20 20 72 65 74 75 72 6e 20 72 63 3b 0a 7d 0a  .  return rc;.}.
2f10: 0a 2f 2a 0a 2a 2a 20 54 68 65 20 73 71 6c 69 74  ./*.** The sqlit
2f20: 65 33 5f 6d 75 74 65 78 5f 6c 65 61 76 65 28 29  e3_mutex_leave()
2f30: 20 72 6f 75 74 69 6e 65 20 65 78 69 74 73 20 61   routine exits a
2f40: 20 6d 75 74 65 78 20 74 68 61 74 20 77 61 73 0a   mutex that was.
2f50: 2a 2a 20 70 72 65 76 69 6f 75 73 6c 79 20 65 6e  ** previously en
2f60: 74 65 72 65 64 20 62 79 20 74 68 65 20 73 61 6d  tered by the sam
2f70: 65 20 74 68 72 65 61 64 2e 20 20 54 68 65 20 62  e thread.  The b
2f80: 65 68 61 76 69 6f 72 0a 2a 2a 20 69 73 20 75 6e  ehavior.** is un
2f90: 64 65 66 69 6e 65 64 20 69 66 20 74 68 65 20 6d  defined if the m
2fa0: 75 74 65 78 20 69 73 20 6e 6f 74 20 63 75 72 72  utex is not curr
2fb0: 65 6e 74 6c 79 20 65 6e 74 65 72 65 64 20 6f 72  ently entered or
2fc0: 0a 2a 2a 20 69 73 20 6e 6f 74 20 63 75 72 72 65  .** is not curre
2fd0: 6e 74 6c 79 20 61 6c 6c 6f 63 61 74 65 64 2e 20  ntly allocated. 
2fe0: 20 53 51 4c 69 74 65 20 77 69 6c 6c 20 6e 65 76   SQLite will nev
2ff0: 65 72 20 64 6f 20 65 69 74 68 65 72 2e 0a 2a 2f  er do either..*/
3000: 0a 73 74 61 74 69 63 20 76 6f 69 64 20 70 74 68  .static void pth
3010: 72 65 61 64 4d 75 74 65 78 4c 65 61 76 65 28 73  readMutexLeave(s
3020: 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a 70 29  qlite3_mutex *p)
3030: 7b 0a 20 20 61 73 73 65 72 74 28 20 70 74 68 72  {.  assert( pthr
3040: 65 61 64 4d 75 74 65 78 48 65 6c 64 28 70 29 20  eadMutexHeld(p) 
3050: 29 3b 0a 23 69 66 20 53 51 4c 49 54 45 5f 4d 55  );.#if SQLITE_MU
3060: 54 45 58 5f 4e 52 45 46 0a 20 20 70 2d 3e 6e 52  TEX_NREF.  p->nR
3070: 65 66 2d 2d 3b 0a 20 20 69 66 28 20 70 2d 3e 6e  ef--;.  if( p->n
3080: 52 65 66 3d 3d 30 20 29 20 70 2d 3e 6f 77 6e 65  Ref==0 ) p->owne
3090: 72 20 3d 20 30 3b 0a 23 65 6e 64 69 66 0a 20 20  r = 0;.#endif.  
30a0: 61 73 73 65 72 74 28 20 70 2d 3e 6e 52 65 66 3d  assert( p->nRef=
30b0: 3d 30 20 7c 7c 20 70 2d 3e 69 64 3d 3d 53 51 4c  =0 || p->id==SQL
30c0: 49 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53  ITE_MUTEX_RECURS
30d0: 49 56 45 20 29 3b 0a 0a 23 69 66 64 65 66 20 53  IVE );..#ifdef S
30e0: 51 4c 49 54 45 5f 48 4f 4d 45 47 52 4f 57 4e 5f  QLITE_HOMEGROWN_
30f0: 52 45 43 55 52 53 49 56 45 5f 4d 55 54 45 58 0a  RECURSIVE_MUTEX.
3100: 20 20 69 66 28 20 70 2d 3e 6e 52 65 66 3d 3d 30    if( p->nRef==0
3110: 20 29 7b 0a 20 20 20 20 70 74 68 72 65 61 64 5f   ){.    pthread_
3120: 6d 75 74 65 78 5f 75 6e 6c 6f 63 6b 28 26 70 2d  mutex_unlock(&p-
3130: 3e 6d 75 74 65 78 29 3b 0a 20 20 7d 0a 23 65 6c  >mutex);.  }.#el
3140: 73 65 0a 20 20 70 74 68 72 65 61 64 5f 6d 75 74  se.  pthread_mut
3150: 65 78 5f 75 6e 6c 6f 63 6b 28 26 70 2d 3e 6d 75  ex_unlock(&p->mu
3160: 74 65 78 29 3b 0a 23 65 6e 64 69 66 0a 0a 23 69  tex);.#endif..#i
3170: 66 64 65 66 20 53 51 4c 49 54 45 5f 44 45 42 55  fdef SQLITE_DEBU
3180: 47 0a 20 20 69 66 28 20 70 2d 3e 74 72 61 63 65  G.  if( p->trace
3190: 20 29 7b 0a 20 20 20 20 70 72 69 6e 74 66 28 22   ){.    printf("
31a0: 6c 65 61 76 65 20 6d 75 74 65 78 20 25 70 20 28  leave mutex %p (
31b0: 25 64 29 20 77 69 74 68 20 6e 52 65 66 3d 25 64  %d) with nRef=%d
31c0: 5c 6e 22 2c 20 70 2c 20 70 2d 3e 74 72 61 63 65  \n", p, p->trace
31d0: 2c 20 70 2d 3e 6e 52 65 66 29 3b 0a 20 20 7d 0a  , p->nRef);.  }.
31e0: 23 65 6e 64 69 66 0a 7d 0a 0a 73 71 6c 69 74 65  #endif.}..sqlite
31f0: 33 5f 6d 75 74 65 78 5f 6d 65 74 68 6f 64 73 20  3_mutex_methods 
3200: 63 6f 6e 73 74 20 2a 73 71 6c 69 74 65 33 44 65  const *sqlite3De
3210: 66 61 75 6c 74 4d 75 74 65 78 28 76 6f 69 64 29  faultMutex(void)
3220: 7b 0a 20 20 73 74 61 74 69 63 20 63 6f 6e 73 74  {.  static const
3230: 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 6d   sqlite3_mutex_m
3240: 65 74 68 6f 64 73 20 73 4d 75 74 65 78 20 3d 20  ethods sMutex = 
3250: 7b 0a 20 20 20 20 70 74 68 72 65 61 64 4d 75 74  {.    pthreadMut
3260: 65 78 49 6e 69 74 2c 0a 20 20 20 20 70 74 68 72  exInit,.    pthr
3270: 65 61 64 4d 75 74 65 78 45 6e 64 2c 0a 20 20 20  eadMutexEnd,.   
3280: 20 70 74 68 72 65 61 64 4d 75 74 65 78 41 6c 6c   pthreadMutexAll
3290: 6f 63 2c 0a 20 20 20 20 70 74 68 72 65 61 64 4d  oc,.    pthreadM
32a0: 75 74 65 78 46 72 65 65 2c 0a 20 20 20 20 70 74  utexFree,.    pt
32b0: 68 72 65 61 64 4d 75 74 65 78 45 6e 74 65 72 2c  hreadMutexEnter,
32c0: 0a 20 20 20 20 70 74 68 72 65 61 64 4d 75 74 65  .    pthreadMute
32d0: 78 54 72 79 2c 0a 20 20 20 20 70 74 68 72 65 61  xTry,.    pthrea
32e0: 64 4d 75 74 65 78 4c 65 61 76 65 2c 0a 23 69 66  dMutexLeave,.#if
32f0: 64 65 66 20 53 51 4c 49 54 45 5f 44 45 42 55 47  def SQLITE_DEBUG
3300: 0a 20 20 20 20 70 74 68 72 65 61 64 4d 75 74 65  .    pthreadMute
3310: 78 48 65 6c 64 2c 0a 20 20 20 20 70 74 68 72 65  xHeld,.    pthre
3320: 61 64 4d 75 74 65 78 4e 6f 74 68 65 6c 64 0a 23  adMutexNotheld.#
3330: 65 6c 73 65 0a 20 20 20 20 30 2c 0a 20 20 20 20  else.    0,.    
3340: 30 0a 23 65 6e 64 69 66 0a 20 20 7d 3b 0a 0a 20  0.#endif.  };.. 
3350: 20 72 65 74 75 72 6e 20 26 73 4d 75 74 65 78 3b   return &sMutex;
3360: 0a 7d 0a 0a 23 65 6e 64 69 66 20 2f 2a 20 53 51  .}..#endif /* SQ
3370: 4c 49 54 45 5f 4d 55 54 45 58 5f 50 54 48 52 45  LITE_MUTEX_PTHRE
3380: 41 44 53 20 2a 2f 0a                             ADS */.