/ Hex Artifact Content
Login

Artifact 469a35c105435794375d683f75cad9e848817d19:


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 2a   for pthreads.**
01c0: 0a 2a 2a 20 24 49 64 3a 20 6d 75 74 65 78 5f 75  .** $Id: mutex_u
01d0: 6e 69 78 2e 63 2c 76 20 31 2e 31 30 20 32 30 30  nix.c,v 1.10 200
01e0: 38 2f 30 36 2f 31 38 20 30 39 3a 34 35 3a 35 36  8/06/18 09:45:56
01f0: 20 64 61 6e 69 65 6c 6b 31 39 37 37 20 45 78 70   danielk1977 Exp
0200: 20 24 0a 2a 2f 0a 23 69 6e 63 6c 75 64 65 20 22   $.*/.#include "
0210: 73 71 6c 69 74 65 49 6e 74 2e 68 22 0a 0a 2f 2a  sqliteInt.h"../*
0220: 0a 2a 2a 20 54 68 65 20 63 6f 64 65 20 69 6e 20  .** The code in 
0230: 74 68 69 73 20 66 69 6c 65 20 69 73 20 6f 6e 6c  this file is onl
0240: 79 20 75 73 65 64 20 69 66 20 77 65 20 61 72 65  y used if we are
0250: 20 63 6f 6d 70 69 6c 69 6e 67 20 74 68 72 65 61   compiling threa
0260: 64 73 61 66 65 0a 2a 2a 20 75 6e 64 65 72 20 75  dsafe.** under u
0270: 6e 69 78 20 77 69 74 68 20 70 74 68 72 65 61 64  nix with pthread
0280: 73 2e 0a 2a 2a 0a 2a 2a 20 4e 6f 74 65 20 74 68  s..**.** Note th
0290: 61 74 20 74 68 69 73 20 69 6d 70 6c 65 6d 65 6e  at this implemen
02a0: 74 61 74 69 6f 6e 20 72 65 71 75 69 72 65 73 20  tation requires 
02b0: 61 20 76 65 72 73 69 6f 6e 20 6f 66 20 70 74 68  a version of pth
02c0: 72 65 61 64 73 20 74 68 61 74 0a 2a 2a 20 73 75  reads that.** su
02d0: 70 70 6f 72 74 73 20 72 65 63 75 72 73 69 76 65  pports recursive
02e0: 20 6d 75 74 65 78 65 73 2e 0a 2a 2f 0a 23 69 66   mutexes..*/.#if
02f0: 64 65 66 20 53 51 4c 49 54 45 5f 4d 55 54 45 58  def SQLITE_MUTEX
0300: 5f 50 54 48 52 45 41 44 53 0a 0a 23 69 6e 63 6c  _PTHREADS..#incl
0310: 75 64 65 20 3c 70 74 68 72 65 61 64 2e 68 3e 0a  ude <pthread.h>.
0320: 0a 0a 2f 2a 0a 2a 2a 20 45 61 63 68 20 72 65 63  ../*.** Each rec
0330: 75 72 73 69 76 65 20 6d 75 74 65 78 20 69 73 20  ursive mutex is 
0340: 61 6e 20 69 6e 73 74 61 6e 63 65 20 6f 66 20 74  an instance of t
0350: 68 65 20 66 6f 6c 6c 6f 77 69 6e 67 20 73 74 72  he following str
0360: 75 63 74 75 72 65 2e 0a 2a 2f 0a 73 74 72 75 63  ucture..*/.struc
0370: 74 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20  t sqlite3_mutex 
0380: 7b 0a 20 20 70 74 68 72 65 61 64 5f 6d 75 74 65  {.  pthread_mute
0390: 78 5f 74 20 6d 75 74 65 78 3b 20 20 20 20 20 2f  x_t mutex;     /
03a0: 2a 20 4d 75 74 65 78 20 63 6f 6e 74 72 6f 6c 6c  * Mutex controll
03b0: 69 6e 67 20 74 68 65 20 6c 6f 63 6b 20 2a 2f 0a  ing the lock */.
03c0: 20 20 69 6e 74 20 69 64 3b 20 20 20 20 20 20 20    int id;       
03d0: 20 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20               /* 
03e0: 4d 75 74 65 78 20 74 79 70 65 20 2a 2f 0a 20 20  Mutex type */.  
03f0: 69 6e 74 20 6e 52 65 66 3b 20 20 20 20 20 20 20  int nRef;       
0400: 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20 4e 75             /* Nu
0410: 6d 62 65 72 20 6f 66 20 65 6e 74 72 61 6e 63 65  mber of entrance
0420: 73 20 2a 2f 0a 20 20 70 74 68 72 65 61 64 5f 74  s */.  pthread_t
0430: 20 6f 77 6e 65 72 3b 20 20 20 20 20 20 20 20 20   owner;         
0440: 20 20 2f 2a 20 54 68 72 65 61 64 20 74 68 61 74    /* Thread that
0450: 20 69 73 20 77 69 74 68 69 6e 20 74 68 69 73 20   is within this 
0460: 6d 75 74 65 78 20 2a 2f 0a 23 69 66 64 65 66 20  mutex */.#ifdef 
0470: 53 51 4c 49 54 45 5f 44 45 42 55 47 0a 20 20 69  SQLITE_DEBUG.  i
0480: 6e 74 20 74 72 61 63 65 3b 20 20 20 20 20 20 20  nt trace;       
0490: 20 20 20 20 20 20 20 20 20 20 2f 2a 20 54 72 75            /* Tru
04a0: 65 20 74 6f 20 74 72 61 63 65 20 63 68 61 6e 67  e to trace chang
04b0: 65 73 20 2a 2f 0a 23 65 6e 64 69 66 0a 7d 3b 0a  es */.#endif.};.
04c0: 23 69 66 64 65 66 20 53 51 4c 49 54 45 5f 44 45  #ifdef SQLITE_DE
04d0: 42 55 47 0a 23 64 65 66 69 6e 65 20 53 51 4c 49  BUG.#define SQLI
04e0: 54 45 33 5f 4d 55 54 45 58 5f 49 4e 49 54 49 41  TE3_MUTEX_INITIA
04f0: 4c 49 5a 45 52 20 7b 20 50 54 48 52 45 41 44 5f  LIZER { PTHREAD_
0500: 4d 55 54 45 58 5f 49 4e 49 54 49 41 4c 49 5a 45  MUTEX_INITIALIZE
0510: 52 2c 20 30 2c 20 30 2c 20 28 70 74 68 72 65 61  R, 0, 0, (pthrea
0520: 64 5f 74 29 30 2c 20 30 20 7d 0a 23 65 6c 73 65  d_t)0, 0 }.#else
0530: 0a 23 64 65 66 69 6e 65 20 53 51 4c 49 54 45 33  .#define SQLITE3
0540: 5f 4d 55 54 45 58 5f 49 4e 49 54 49 41 4c 49 5a  _MUTEX_INITIALIZ
0550: 45 52 20 7b 20 50 54 48 52 45 41 44 5f 4d 55 54  ER { PTHREAD_MUT
0560: 45 58 5f 49 4e 49 54 49 41 4c 49 5a 45 52 2c 20  EX_INITIALIZER, 
0570: 30 2c 20 30 2c 20 28 70 74 68 72 65 61 64 5f 74  0, 0, (pthread_t
0580: 29 30 20 7d 0a 23 65 6e 64 69 66 0a 0a 2f 2a 0a  )0 }.#endif../*.
0590: 2a 2a 20 54 68 65 20 73 71 6c 69 74 65 33 5f 6d  ** The sqlite3_m
05a0: 75 74 65 78 5f 68 65 6c 64 28 29 20 61 6e 64 20  utex_held() and 
05b0: 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 6e 6f  sqlite3_mutex_no
05c0: 74 68 65 6c 64 28 29 20 72 6f 75 74 69 6e 65 20  theld() routine 
05d0: 61 72 65 0a 2a 2a 20 69 6e 74 65 6e 64 65 64 20  are.** intended 
05e0: 66 6f 72 20 75 73 65 20 6f 6e 6c 79 20 69 6e 73  for use only ins
05f0: 69 64 65 20 61 73 73 65 72 74 28 29 20 73 74 61  ide assert() sta
0600: 74 65 6d 65 6e 74 73 2e 20 20 4f 6e 20 73 6f 6d  tements.  On som
0610: 65 20 70 6c 61 74 66 6f 72 6d 73 2c 0a 2a 2a 20  e platforms,.** 
0620: 74 68 65 72 65 20 6d 69 67 68 74 20 62 65 20 72  there might be r
0630: 61 63 65 20 63 6f 6e 64 69 74 69 6f 6e 73 20 74  ace conditions t
0640: 68 61 74 20 63 61 6e 20 63 61 75 73 65 20 74 68  hat can cause th
0650: 65 73 65 20 72 6f 75 74 69 6e 65 73 20 74 6f 0a  ese routines to.
0660: 2a 2a 20 64 65 6c 69 76 65 72 20 69 6e 63 6f 72  ** deliver incor
0670: 72 65 63 74 20 72 65 73 75 6c 74 73 2e 20 20 49  rect results.  I
0680: 6e 20 70 61 72 74 69 63 75 6c 61 72 2c 20 69 66  n particular, if
0690: 20 70 74 68 72 65 61 64 5f 65 71 75 61 6c 28 29   pthread_equal()
06a0: 20 69 73 0a 2a 2a 20 6e 6f 74 20 61 6e 20 61 74   is.** not an at
06b0: 6f 6d 69 63 20 6f 70 65 72 61 74 69 6f 6e 2c 20  omic operation, 
06c0: 74 68 65 6e 20 74 68 65 73 65 20 72 6f 75 74 69  then these routi
06d0: 6e 65 73 20 6d 69 67 68 74 20 64 65 6c 69 76 65  nes might delive
06e0: 72 79 0a 2a 2a 20 69 6e 63 6f 72 72 65 63 74 20  ry.** incorrect 
06f0: 72 65 73 75 6c 74 73 2e 20 20 4f 6e 20 6d 6f 73  results.  On mos
0700: 74 20 70 6c 61 74 66 6f 72 6d 73 2c 20 70 74 68  t platforms, pth
0710: 72 65 61 64 5f 65 71 75 61 6c 28 29 20 69 73 20  read_equal() is 
0720: 61 20 0a 2a 2a 20 63 6f 6d 70 61 72 69 73 6f 6e  a .** comparison
0730: 20 6f 66 20 74 77 6f 20 69 6e 74 65 67 65 72 73   of two integers
0740: 20 61 6e 64 20 69 73 20 74 68 65 72 65 66 6f 72   and is therefor
0750: 65 20 61 74 6f 6d 69 63 2e 20 20 42 75 74 20 77  e atomic.  But w
0760: 65 20 61 72 65 0a 2a 2a 20 74 6f 6c 64 20 74 68  e are.** told th
0770: 61 74 20 48 50 55 58 20 69 73 20 6e 6f 74 20 73  at HPUX is not s
0780: 75 63 68 20 61 20 70 6c 61 74 66 6f 72 6d 2e 20  uch a platform. 
0790: 20 49 66 20 73 6f 2c 20 74 68 65 6e 20 74 68 65   If so, then the
07a0: 73 65 20 72 6f 75 74 69 6e 65 73 0a 2a 2a 20 77  se routines.** w
07b0: 69 6c 6c 20 6e 6f 74 20 61 6c 77 61 79 73 20 77  ill not always w
07c0: 6f 72 6b 20 63 6f 72 72 65 63 74 6c 79 20 6f 6e  ork correctly on
07d0: 20 48 50 55 58 2e 0a 2a 2a 0a 2a 2a 20 4f 6e 20   HPUX..**.** On 
07e0: 74 68 6f 73 65 20 70 6c 61 74 66 6f 72 6d 73 20  those platforms 
07f0: 77 68 65 72 65 20 70 74 68 72 65 61 64 5f 65 71  where pthread_eq
0800: 75 61 6c 28 29 20 69 73 20 6e 6f 74 20 61 74 6f  ual() is not ato
0810: 6d 69 63 2c 20 53 51 4c 69 74 65 0a 2a 2a 20 73  mic, SQLite.** s
0820: 68 6f 75 6c 64 20 62 65 20 63 6f 6d 70 69 6c 65  hould be compile
0830: 64 20 77 69 74 68 6f 75 74 20 2d 44 53 51 4c 49  d without -DSQLI
0840: 54 45 5f 44 45 42 55 47 20 61 6e 64 20 77 69 74  TE_DEBUG and wit
0850: 68 20 2d 44 4e 44 45 42 55 47 20 74 6f 0a 2a 2a  h -DNDEBUG to.**
0860: 20 6d 61 6b 65 20 73 75 72 65 20 6e 6f 20 61 73   make sure no as
0870: 73 65 72 74 28 29 20 73 74 61 74 65 6d 65 6e 74  sert() statement
0880: 73 20 61 72 65 20 65 76 61 6c 75 61 74 65 64 20  s are evaluated 
0890: 61 6e 64 20 68 65 6e 63 65 20 74 68 65 73 65 0a  and hence these.
08a0: 2a 2a 20 72 6f 75 74 69 6e 65 73 20 61 72 65 20  ** routines are 
08b0: 6e 65 76 65 72 20 63 61 6c 6c 65 64 2e 0a 2a 2f  never called..*/
08c0: 0a 23 69 66 6e 64 65 66 20 4e 44 45 42 55 47 0a  .#ifndef NDEBUG.
08d0: 73 74 61 74 69 63 20 69 6e 74 20 70 74 68 72 65  static int pthre
08e0: 61 64 4d 75 74 65 78 48 65 6c 64 28 73 71 6c 69  adMutexHeld(sqli
08f0: 74 65 33 5f 6d 75 74 65 78 20 2a 70 29 7b 0a 20  te3_mutex *p){. 
0900: 20 72 65 74 75 72 6e 20 28 70 2d 3e 6e 52 65 66   return (p->nRef
0910: 21 3d 30 20 26 26 20 70 74 68 72 65 61 64 5f 65  !=0 && pthread_e
0920: 71 75 61 6c 28 70 2d 3e 6f 77 6e 65 72 2c 20 70  qual(p->owner, p
0930: 74 68 72 65 61 64 5f 73 65 6c 66 28 29 29 29 3b  thread_self()));
0940: 0a 7d 0a 73 74 61 74 69 63 20 69 6e 74 20 70 74  .}.static int pt
0950: 68 72 65 61 64 4d 75 74 65 78 4e 6f 74 68 65 6c  hreadMutexNothel
0960: 64 28 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20  d(sqlite3_mutex 
0970: 2a 70 29 7b 0a 20 20 72 65 74 75 72 6e 20 70 2d  *p){.  return p-
0980: 3e 6e 52 65 66 3d 3d 30 20 7c 7c 20 70 74 68 72  >nRef==0 || pthr
0990: 65 61 64 5f 65 71 75 61 6c 28 70 2d 3e 6f 77 6e  ead_equal(p->own
09a0: 65 72 2c 20 70 74 68 72 65 61 64 5f 73 65 6c 66  er, pthread_self
09b0: 28 29 29 3d 3d 30 3b 0a 7d 0a 23 65 6e 64 69 66  ())==0;.}.#endif
09c0: 0a 0a 2f 2a 0a 2a 2a 20 49 6e 69 74 69 61 6c 69  ../*.** Initiali
09d0: 7a 65 20 61 6e 64 20 64 65 69 6e 69 74 69 61 6c  ze and deinitial
09e0: 69 7a 65 20 74 68 65 20 6d 75 74 65 78 20 73 75  ize the mutex su
09f0: 62 73 79 73 74 65 6d 2e 0a 2a 2f 0a 73 74 61 74  bsystem..*/.stat
0a00: 69 63 20 69 6e 74 20 70 74 68 72 65 61 64 4d 75  ic int pthreadMu
0a10: 74 65 78 49 6e 69 74 28 76 6f 69 64 29 7b 20 72  texInit(void){ r
0a20: 65 74 75 72 6e 20 53 51 4c 49 54 45 5f 4f 4b 3b  eturn SQLITE_OK;
0a30: 20 7d 0a 73 74 61 74 69 63 20 69 6e 74 20 70 74   }.static int pt
0a40: 68 72 65 61 64 4d 75 74 65 78 45 6e 64 28 76 6f  hreadMutexEnd(vo
0a50: 69 64 29 7b 20 72 65 74 75 72 6e 20 53 51 4c 49  id){ return SQLI
0a60: 54 45 5f 4f 4b 3b 20 7d 0a 0a 2f 2a 0a 2a 2a 20  TE_OK; }../*.** 
0a70: 54 68 65 20 73 71 6c 69 74 65 33 5f 6d 75 74 65  The sqlite3_mute
0a80: 78 5f 61 6c 6c 6f 63 28 29 20 72 6f 75 74 69 6e  x_alloc() routin
0a90: 65 20 61 6c 6c 6f 63 61 74 65 73 20 61 20 6e 65  e allocates a ne
0aa0: 77 0a 2a 2a 20 6d 75 74 65 78 20 61 6e 64 20 72  w.** mutex and r
0ab0: 65 74 75 72 6e 73 20 61 20 70 6f 69 6e 74 65 72  eturns a pointer
0ac0: 20 74 6f 20 69 74 2e 20 20 49 66 20 69 74 20 72   to it.  If it r
0ad0: 65 74 75 72 6e 73 20 4e 55 4c 4c 0a 2a 2a 20 74  eturns NULL.** t
0ae0: 68 61 74 20 6d 65 61 6e 73 20 74 68 61 74 20 61  hat means that a
0af0: 20 6d 75 74 65 78 20 63 6f 75 6c 64 20 6e 6f 74   mutex could not
0b00: 20 62 65 20 61 6c 6c 6f 63 61 74 65 64 2e 20 20   be allocated.  
0b10: 53 51 4c 69 74 65 0a 2a 2a 20 77 69 6c 6c 20 75  SQLite.** will u
0b20: 6e 77 69 6e 64 20 69 74 73 20 73 74 61 63 6b 20  nwind its stack 
0b30: 61 6e 64 20 72 65 74 75 72 6e 20 61 6e 20 65 72  and return an er
0b40: 72 6f 72 2e 20 20 54 68 65 20 61 72 67 75 6d 65  ror.  The argume
0b50: 6e 74 0a 2a 2a 20 74 6f 20 73 71 6c 69 74 65 33  nt.** to sqlite3
0b60: 5f 6d 75 74 65 78 5f 61 6c 6c 6f 63 28 29 20 69  _mutex_alloc() i
0b70: 73 20 6f 6e 65 20 6f 66 20 74 68 65 73 65 20 69  s one of these i
0b80: 6e 74 65 67 65 72 20 63 6f 6e 73 74 61 6e 74 73  nteger constants
0b90: 3a 0a 2a 2a 0a 2a 2a 20 3c 75 6c 3e 0a 2a 2a 20  :.**.** <ul>.** 
0ba0: 3c 6c 69 3e 20 20 53 51 4c 49 54 45 5f 4d 55 54  <li>  SQLITE_MUT
0bb0: 45 58 5f 46 41 53 54 0a 2a 2a 20 3c 6c 69 3e 20  EX_FAST.** <li> 
0bc0: 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 52 45   SQLITE_MUTEX_RE
0bd0: 43 55 52 53 49 56 45 0a 2a 2a 20 3c 6c 69 3e 20  CURSIVE.** <li> 
0be0: 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 53 54   SQLITE_MUTEX_ST
0bf0: 41 54 49 43 5f 4d 41 53 54 45 52 0a 2a 2a 20 3c  ATIC_MASTER.** <
0c00: 6c 69 3e 20 20 53 51 4c 49 54 45 5f 4d 55 54 45  li>  SQLITE_MUTE
0c10: 58 5f 53 54 41 54 49 43 5f 4d 45 4d 0a 2a 2a 20  X_STATIC_MEM.** 
0c20: 3c 6c 69 3e 20 20 53 51 4c 49 54 45 5f 4d 55 54  <li>  SQLITE_MUT
0c30: 45 58 5f 53 54 41 54 49 43 5f 4d 45 4d 32 0a 2a  EX_STATIC_MEM2.*
0c40: 2a 20 3c 6c 69 3e 20 20 53 51 4c 49 54 45 5f 4d  * <li>  SQLITE_M
0c50: 55 54 45 58 5f 53 54 41 54 49 43 5f 50 52 4e 47  UTEX_STATIC_PRNG
0c60: 0a 2a 2a 20 3c 6c 69 3e 20 20 53 51 4c 49 54 45  .** <li>  SQLITE
0c70: 5f 4d 55 54 45 58 5f 53 54 41 54 49 43 5f 4c 52  _MUTEX_STATIC_LR
0c80: 55 0a 2a 2a 20 3c 2f 75 6c 3e 0a 2a 2a 0a 2a 2a  U.** </ul>.**.**
0c90: 20 54 68 65 20 66 69 72 73 74 20 74 77 6f 20 63   The first two c
0ca0: 6f 6e 73 74 61 6e 74 73 20 63 61 75 73 65 20 73  onstants cause s
0cb0: 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 61 6c 6c  qlite3_mutex_all
0cc0: 6f 63 28 29 20 74 6f 20 63 72 65 61 74 65 0a 2a  oc() to create.*
0cd0: 2a 20 61 20 6e 65 77 20 6d 75 74 65 78 2e 20 20  * a new mutex.  
0ce0: 54 68 65 20 6e 65 77 20 6d 75 74 65 78 20 69 73  The new mutex is
0cf0: 20 72 65 63 75 72 73 69 76 65 20 77 68 65 6e 20   recursive when 
0d00: 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 52 45 43  SQLITE_MUTEX_REC
0d10: 55 52 53 49 56 45 0a 2a 2a 20 69 73 20 75 73 65  URSIVE.** is use
0d20: 64 20 62 75 74 20 6e 6f 74 20 6e 65 63 65 73 73  d but not necess
0d30: 61 72 69 6c 79 20 73 6f 20 77 68 65 6e 20 53 51  arily so when SQ
0d40: 4c 49 54 45 5f 4d 55 54 45 58 5f 46 41 53 54 20  LITE_MUTEX_FAST 
0d50: 69 73 20 75 73 65 64 2e 0a 2a 2a 20 54 68 65 20  is used..** The 
0d60: 6d 75 74 65 78 20 69 6d 70 6c 65 6d 65 6e 74 61  mutex implementa
0d70: 74 69 6f 6e 20 64 6f 65 73 20 6e 6f 74 20 6e 65  tion does not ne
0d80: 65 64 20 74 6f 20 6d 61 6b 65 20 61 20 64 69 73  ed to make a dis
0d90: 74 69 6e 63 74 69 6f 6e 0a 2a 2a 20 62 65 74 77  tinction.** betw
0da0: 65 65 6e 20 53 51 4c 49 54 45 5f 4d 55 54 45 58  een SQLITE_MUTEX
0db0: 5f 52 45 43 55 52 53 49 56 45 20 61 6e 64 20 53  _RECURSIVE and S
0dc0: 51 4c 49 54 45 5f 4d 55 54 45 58 5f 46 41 53 54  QLITE_MUTEX_FAST
0dd0: 20 69 66 20 69 74 20 64 6f 65 73 0a 2a 2a 20 6e   if it does.** n
0de0: 6f 74 20 77 61 6e 74 20 74 6f 2e 20 20 42 75 74  ot want to.  But
0df0: 20 53 51 4c 69 74 65 20 77 69 6c 6c 20 6f 6e 6c   SQLite will onl
0e00: 79 20 72 65 71 75 65 73 74 20 61 20 72 65 63 75  y request a recu
0e10: 72 73 69 76 65 20 6d 75 74 65 78 20 69 6e 0a 2a  rsive mutex in.*
0e20: 2a 20 63 61 73 65 73 20 77 68 65 72 65 20 69 74  * cases where it
0e30: 20 72 65 61 6c 6c 79 20 6e 65 65 64 73 20 6f 6e   really needs on
0e40: 65 2e 20 20 49 66 20 61 20 66 61 73 74 65 72 20  e.  If a faster 
0e50: 6e 6f 6e 2d 72 65 63 75 72 73 69 76 65 20 6d 75  non-recursive mu
0e60: 74 65 78 0a 2a 2a 20 69 6d 70 6c 65 6d 65 6e 74  tex.** implement
0e70: 61 74 69 6f 6e 20 69 73 20 61 76 61 69 6c 61 62  ation is availab
0e80: 6c 65 20 6f 6e 20 74 68 65 20 68 6f 73 74 20 70  le on the host p
0e90: 6c 61 74 66 6f 72 6d 2c 20 74 68 65 20 6d 75 74  latform, the mut
0ea0: 65 78 20 73 75 62 73 79 73 74 65 6d 0a 2a 2a 20  ex subsystem.** 
0eb0: 6d 69 67 68 74 20 72 65 74 75 72 6e 20 73 75 63  might return suc
0ec0: 68 20 61 20 6d 75 74 65 78 20 69 6e 20 72 65 73  h a mutex in res
0ed0: 70 6f 6e 73 65 20 74 6f 20 53 51 4c 49 54 45 5f  ponse to SQLITE_
0ee0: 4d 55 54 45 58 5f 46 41 53 54 2e 0a 2a 2a 0a 2a  MUTEX_FAST..**.*
0ef0: 2a 20 54 68 65 20 6f 74 68 65 72 20 61 6c 6c 6f  * The other allo
0f00: 77 65 64 20 70 61 72 61 6d 65 74 65 72 73 20 74  wed parameters t
0f10: 6f 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f  o sqlite3_mutex_
0f20: 61 6c 6c 6f 63 28 29 20 65 61 63 68 20 72 65 74  alloc() each ret
0f30: 75 72 6e 0a 2a 2a 20 61 20 70 6f 69 6e 74 65 72  urn.** a pointer
0f40: 20 74 6f 20 61 20 73 74 61 74 69 63 20 70 72 65   to a static pre
0f50: 65 78 69 73 74 69 6e 67 20 6d 75 74 65 78 2e 20  existing mutex. 
0f60: 20 54 68 72 65 65 20 73 74 61 74 69 63 20 6d 75   Three static mu
0f70: 74 65 78 65 73 20 61 72 65 0a 2a 2a 20 75 73 65  texes are.** use
0f80: 64 20 62 79 20 74 68 65 20 63 75 72 72 65 6e 74  d by the current
0f90: 20 76 65 72 73 69 6f 6e 20 6f 66 20 53 51 4c 69   version of SQLi
0fa0: 74 65 2e 20 20 46 75 74 75 72 65 20 76 65 72 73  te.  Future vers
0fb0: 69 6f 6e 73 20 6f 66 20 53 51 4c 69 74 65 0a 2a  ions of SQLite.*
0fc0: 2a 20 6d 61 79 20 61 64 64 20 61 64 64 69 74 69  * may add additi
0fd0: 6f 6e 61 6c 20 73 74 61 74 69 63 20 6d 75 74 65  onal static mute
0fe0: 78 65 73 2e 20 20 53 74 61 74 69 63 20 6d 75 74  xes.  Static mut
0ff0: 65 78 65 73 20 61 72 65 20 66 6f 72 20 69 6e 74  exes are for int
1000: 65 72 6e 61 6c 0a 2a 2a 20 75 73 65 20 62 79 20  ernal.** use by 
1010: 53 51 4c 69 74 65 20 6f 6e 6c 79 2e 20 20 41 70  SQLite only.  Ap
1020: 70 6c 69 63 61 74 69 6f 6e 73 20 74 68 61 74 20  plications that 
1030: 75 73 65 20 53 51 4c 69 74 65 20 6d 75 74 65 78  use SQLite mutex
1040: 65 73 20 73 68 6f 75 6c 64 0a 2a 2a 20 75 73 65  es should.** use
1050: 20 6f 6e 6c 79 20 74 68 65 20 64 79 6e 61 6d 69   only the dynami
1060: 63 20 6d 75 74 65 78 65 73 20 72 65 74 75 72 6e  c mutexes return
1070: 65 64 20 62 79 20 53 51 4c 49 54 45 5f 4d 55 54  ed by SQLITE_MUT
1080: 45 58 5f 46 41 53 54 20 6f 72 0a 2a 2a 20 53 51  EX_FAST or.** SQ
1090: 4c 49 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52  LITE_MUTEX_RECUR
10a0: 53 49 56 45 2e 0a 2a 2a 0a 2a 2a 20 4e 6f 74 65  SIVE..**.** Note
10b0: 20 74 68 61 74 20 69 66 20 6f 6e 65 20 6f 66 20   that if one of 
10c0: 74 68 65 20 64 79 6e 61 6d 69 63 20 6d 75 74 65  the dynamic mute
10d0: 78 20 70 61 72 61 6d 65 74 65 72 73 20 28 53 51  x parameters (SQ
10e0: 4c 49 54 45 5f 4d 55 54 45 58 5f 46 41 53 54 0a  LITE_MUTEX_FAST.
10f0: 2a 2a 20 6f 72 20 53 51 4c 49 54 45 5f 4d 55 54  ** or SQLITE_MUT
1100: 45 58 5f 52 45 43 55 52 53 49 56 45 29 20 69 73  EX_RECURSIVE) is
1110: 20 75 73 65 64 20 74 68 65 6e 20 73 71 6c 69 74   used then sqlit
1120: 65 33 5f 6d 75 74 65 78 5f 61 6c 6c 6f 63 28 29  e3_mutex_alloc()
1130: 0a 2a 2a 20 72 65 74 75 72 6e 73 20 61 20 64 69  .** returns a di
1140: 66 66 65 72 65 6e 74 20 6d 75 74 65 78 20 6f 6e  fferent mutex on
1150: 20 65 76 65 72 79 20 63 61 6c 6c 2e 20 20 42 75   every call.  Bu
1160: 74 20 66 6f 72 20 74 68 65 20 73 74 61 74 69 63  t for the static
1170: 20 0a 2a 2a 20 6d 75 74 65 78 20 74 79 70 65 73   .** mutex types
1180: 2c 20 74 68 65 20 73 61 6d 65 20 6d 75 74 65 78  , the same mutex
1190: 20 69 73 20 72 65 74 75 72 6e 65 64 20 6f 6e 20   is returned on 
11a0: 65 76 65 72 79 20 63 61 6c 6c 20 74 68 61 74 20  every call that 
11b0: 68 61 73 0a 2a 2a 20 74 68 65 20 73 61 6d 65 20  has.** the same 
11c0: 74 79 70 65 20 6e 75 6d 62 65 72 2e 0a 2a 2f 0a  type number..*/.
11d0: 73 74 61 74 69 63 20 73 71 6c 69 74 65 33 5f 6d  static sqlite3_m
11e0: 75 74 65 78 20 2a 70 74 68 72 65 61 64 4d 75 74  utex *pthreadMut
11f0: 65 78 41 6c 6c 6f 63 28 69 6e 74 20 69 54 79 70  exAlloc(int iTyp
1200: 65 29 7b 0a 20 20 73 74 61 74 69 63 20 73 71 6c  e){.  static sql
1210: 69 74 65 33 5f 6d 75 74 65 78 20 73 74 61 74 69  ite3_mutex stati
1220: 63 4d 75 74 65 78 65 73 5b 5d 20 3d 20 7b 0a 20  cMutexes[] = {. 
1230: 20 20 20 53 51 4c 49 54 45 33 5f 4d 55 54 45 58     SQLITE3_MUTEX
1240: 5f 49 4e 49 54 49 41 4c 49 5a 45 52 2c 0a 20 20  _INITIALIZER,.  
1250: 20 20 53 51 4c 49 54 45 33 5f 4d 55 54 45 58 5f    SQLITE3_MUTEX_
1260: 49 4e 49 54 49 41 4c 49 5a 45 52 2c 0a 20 20 20  INITIALIZER,.   
1270: 20 53 51 4c 49 54 45 33 5f 4d 55 54 45 58 5f 49   SQLITE3_MUTEX_I
1280: 4e 49 54 49 41 4c 49 5a 45 52 2c 0a 20 20 20 20  NITIALIZER,.    
1290: 53 51 4c 49 54 45 33 5f 4d 55 54 45 58 5f 49 4e  SQLITE3_MUTEX_IN
12a0: 49 54 49 41 4c 49 5a 45 52 2c 0a 20 20 20 20 53  ITIALIZER,.    S
12b0: 51 4c 49 54 45 33 5f 4d 55 54 45 58 5f 49 4e 49  QLITE3_MUTEX_INI
12c0: 54 49 41 4c 49 5a 45 52 2c 0a 20 20 20 20 53 51  TIALIZER,.    SQ
12d0: 4c 49 54 45 33 5f 4d 55 54 45 58 5f 49 4e 49 54  LITE3_MUTEX_INIT
12e0: 49 41 4c 49 5a 45 52 0a 20 20 7d 3b 0a 20 20 73  IALIZER.  };.  s
12f0: 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a 70 3b  qlite3_mutex *p;
1300: 0a 20 20 73 77 69 74 63 68 28 20 69 54 79 70 65  .  switch( iType
1310: 20 29 7b 0a 20 20 20 20 63 61 73 65 20 53 51 4c   ){.    case SQL
1320: 49 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53  ITE_MUTEX_RECURS
1330: 49 56 45 3a 20 7b 0a 20 20 20 20 20 20 70 20 3d  IVE: {.      p =
1340: 20 73 71 6c 69 74 65 33 4d 61 6c 6c 6f 63 5a 65   sqlite3MallocZe
1350: 72 6f 28 20 73 69 7a 65 6f 66 28 2a 70 29 20 29  ro( sizeof(*p) )
1360: 3b 0a 20 20 20 20 20 20 69 66 28 20 70 20 29 7b  ;.      if( p ){
1370: 0a 23 69 66 64 65 66 20 53 51 4c 49 54 45 5f 48  .#ifdef SQLITE_H
1380: 4f 4d 45 47 52 4f 57 4e 5f 52 45 43 55 52 53 49  OMEGROWN_RECURSI
1390: 56 45 5f 4d 55 54 45 58 0a 20 20 20 20 20 20 20  VE_MUTEX.       
13a0: 20 2f 2a 20 49 66 20 72 65 63 75 72 73 69 76 65   /* If recursive
13b0: 20 6d 75 74 65 78 65 73 20 61 72 65 20 6e 6f 74   mutexes are not
13c0: 20 61 76 61 69 6c 61 62 6c 65 2c 20 77 65 20 77   available, we w
13d0: 69 6c 6c 20 68 61 76 65 20 74 6f 0a 20 20 20 20  ill have to.    
13e0: 20 20 20 20 2a 2a 20 62 75 69 6c 64 20 6f 75 72      ** build our
13f0: 20 6f 77 6e 2e 20 20 53 65 65 20 62 65 6c 6f 77   own.  See below
1400: 2e 20 2a 2f 0a 20 20 20 20 20 20 20 20 70 74 68  . */.        pth
1410: 72 65 61 64 5f 6d 75 74 65 78 5f 69 6e 69 74 28  read_mutex_init(
1420: 26 70 2d 3e 6d 75 74 65 78 2c 20 30 29 3b 0a 23  &p->mutex, 0);.#
1430: 65 6c 73 65 0a 20 20 20 20 20 20 20 20 2f 2a 20  else.        /* 
1440: 55 73 65 20 61 20 72 65 63 75 72 73 69 76 65 20  Use a recursive 
1450: 6d 75 74 65 78 20 69 66 20 69 74 20 69 73 20 61  mutex if it is a
1460: 76 61 69 6c 61 62 6c 65 20 2a 2f 0a 20 20 20 20  vailable */.    
1470: 20 20 20 20 70 74 68 72 65 61 64 5f 6d 75 74 65      pthread_mute
1480: 78 61 74 74 72 5f 74 20 72 65 63 75 72 73 69 76  xattr_t recursiv
1490: 65 41 74 74 72 3b 0a 20 20 20 20 20 20 20 20 70  eAttr;.        p
14a0: 74 68 72 65 61 64 5f 6d 75 74 65 78 61 74 74 72  thread_mutexattr
14b0: 5f 69 6e 69 74 28 26 72 65 63 75 72 73 69 76 65  _init(&recursive
14c0: 41 74 74 72 29 3b 0a 20 20 20 20 20 20 20 20 70  Attr);.        p
14d0: 74 68 72 65 61 64 5f 6d 75 74 65 78 61 74 74 72  thread_mutexattr
14e0: 5f 73 65 74 74 79 70 65 28 26 72 65 63 75 72 73  _settype(&recurs
14f0: 69 76 65 41 74 74 72 2c 20 50 54 48 52 45 41 44  iveAttr, PTHREAD
1500: 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56 45  _MUTEX_RECURSIVE
1510: 29 3b 0a 20 20 20 20 20 20 20 20 70 74 68 72 65  );.        pthre
1520: 61 64 5f 6d 75 74 65 78 5f 69 6e 69 74 28 26 70  ad_mutex_init(&p
1530: 2d 3e 6d 75 74 65 78 2c 20 26 72 65 63 75 72 73  ->mutex, &recurs
1540: 69 76 65 41 74 74 72 29 3b 0a 20 20 20 20 20 20  iveAttr);.      
1550: 20 20 70 74 68 72 65 61 64 5f 6d 75 74 65 78 61    pthread_mutexa
1560: 74 74 72 5f 64 65 73 74 72 6f 79 28 26 72 65 63  ttr_destroy(&rec
1570: 75 72 73 69 76 65 41 74 74 72 29 3b 0a 23 65 6e  ursiveAttr);.#en
1580: 64 69 66 0a 20 20 20 20 20 20 20 20 70 2d 3e 69  dif.        p->i
1590: 64 20 3d 20 69 54 79 70 65 3b 0a 20 20 20 20 20  d = iType;.     
15a0: 20 7d 0a 20 20 20 20 20 20 62 72 65 61 6b 3b 0a   }.      break;.
15b0: 20 20 20 20 7d 0a 20 20 20 20 63 61 73 65 20 53      }.    case S
15c0: 51 4c 49 54 45 5f 4d 55 54 45 58 5f 46 41 53 54  QLITE_MUTEX_FAST
15d0: 3a 20 7b 0a 20 20 20 20 20 20 70 20 3d 20 73 71  : {.      p = sq
15e0: 6c 69 74 65 33 4d 61 6c 6c 6f 63 5a 65 72 6f 28  lite3MallocZero(
15f0: 20 73 69 7a 65 6f 66 28 2a 70 29 20 29 3b 0a 20   sizeof(*p) );. 
1600: 20 20 20 20 20 69 66 28 20 70 20 29 7b 0a 20 20       if( p ){.  
1610: 20 20 20 20 20 20 70 2d 3e 69 64 20 3d 20 69 54        p->id = iT
1620: 79 70 65 3b 0a 20 20 20 20 20 20 20 20 70 74 68  ype;.        pth
1630: 72 65 61 64 5f 6d 75 74 65 78 5f 69 6e 69 74 28  read_mutex_init(
1640: 26 70 2d 3e 6d 75 74 65 78 2c 20 30 29 3b 0a 20  &p->mutex, 0);. 
1650: 20 20 20 20 20 7d 0a 20 20 20 20 20 20 62 72 65       }.      bre
1660: 61 6b 3b 0a 20 20 20 20 7d 0a 20 20 20 20 64 65  ak;.    }.    de
1670: 66 61 75 6c 74 3a 20 7b 0a 20 20 20 20 20 20 61  fault: {.      a
1680: 73 73 65 72 74 28 20 69 54 79 70 65 2d 32 20 3e  ssert( iType-2 >
1690: 3d 20 30 20 29 3b 0a 20 20 20 20 20 20 61 73 73  = 0 );.      ass
16a0: 65 72 74 28 20 69 54 79 70 65 2d 32 20 3c 20 73  ert( iType-2 < s
16b0: 69 7a 65 6f 66 28 73 74 61 74 69 63 4d 75 74 65  izeof(staticMute
16c0: 78 65 73 29 2f 73 69 7a 65 6f 66 28 73 74 61 74  xes)/sizeof(stat
16d0: 69 63 4d 75 74 65 78 65 73 5b 30 5d 29 20 29 3b  icMutexes[0]) );
16e0: 0a 20 20 20 20 20 20 70 20 3d 20 26 73 74 61 74  .      p = &stat
16f0: 69 63 4d 75 74 65 78 65 73 5b 69 54 79 70 65 2d  icMutexes[iType-
1700: 32 5d 3b 0a 20 20 20 20 20 20 70 2d 3e 69 64 20  2];.      p->id 
1710: 3d 20 69 54 79 70 65 3b 0a 20 20 20 20 20 20 62  = iType;.      b
1720: 72 65 61 6b 3b 0a 20 20 20 20 7d 0a 20 20 7d 0a  reak;.    }.  }.
1730: 20 20 72 65 74 75 72 6e 20 70 3b 0a 7d 0a 0a 0a    return p;.}...
1740: 2f 2a 0a 2a 2a 20 54 68 69 73 20 72 6f 75 74 69  /*.** This routi
1750: 6e 65 20 64 65 61 6c 6c 6f 63 61 74 65 73 20 61  ne deallocates a
1760: 20 70 72 65 76 69 6f 75 73 6c 79 0a 2a 2a 20 61   previously.** a
1770: 6c 6c 6f 63 61 74 65 64 20 6d 75 74 65 78 2e 20  llocated mutex. 
1780: 20 53 51 4c 69 74 65 20 69 73 20 63 61 72 65 66   SQLite is caref
1790: 75 6c 20 74 6f 20 64 65 61 6c 6c 6f 63 61 74 65  ul to deallocate
17a0: 20 65 76 65 72 79 0a 2a 2a 20 6d 75 74 65 78 20   every.** mutex 
17b0: 74 68 61 74 20 69 74 20 61 6c 6c 6f 63 61 74 65  that it allocate
17c0: 73 2e 0a 2a 2f 0a 73 74 61 74 69 63 20 76 6f 69  s..*/.static voi
17d0: 64 20 70 74 68 72 65 61 64 4d 75 74 65 78 46 72  d pthreadMutexFr
17e0: 65 65 28 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  ee(sqlite3_mutex
17f0: 20 2a 70 29 7b 0a 20 20 61 73 73 65 72 74 28 20   *p){.  assert( 
1800: 70 2d 3e 6e 52 65 66 3d 3d 30 20 29 3b 0a 20 20  p->nRef==0 );.  
1810: 61 73 73 65 72 74 28 20 70 2d 3e 69 64 3d 3d 53  assert( p->id==S
1820: 51 4c 49 54 45 5f 4d 55 54 45 58 5f 46 41 53 54  QLITE_MUTEX_FAST
1830: 20 7c 7c 20 70 2d 3e 69 64 3d 3d 53 51 4c 49 54   || p->id==SQLIT
1840: 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56  E_MUTEX_RECURSIV
1850: 45 20 29 3b 0a 20 20 70 74 68 72 65 61 64 5f 6d  E );.  pthread_m
1860: 75 74 65 78 5f 64 65 73 74 72 6f 79 28 26 70 2d  utex_destroy(&p-
1870: 3e 6d 75 74 65 78 29 3b 0a 20 20 73 71 6c 69 74  >mutex);.  sqlit
1880: 65 33 5f 66 72 65 65 28 70 29 3b 0a 7d 0a 0a 2f  e3_free(p);.}../
1890: 2a 0a 2a 2a 20 54 68 65 20 73 71 6c 69 74 65 33  *.** The sqlite3
18a0: 5f 6d 75 74 65 78 5f 65 6e 74 65 72 28 29 20 61  _mutex_enter() a
18b0: 6e 64 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  nd sqlite3_mutex
18c0: 5f 74 72 79 28 29 20 72 6f 75 74 69 6e 65 73 20  _try() routines 
18d0: 61 74 74 65 6d 70 74 0a 2a 2a 20 74 6f 20 65 6e  attempt.** to en
18e0: 74 65 72 20 61 20 6d 75 74 65 78 2e 20 20 49 66  ter a mutex.  If
18f0: 20 61 6e 6f 74 68 65 72 20 74 68 72 65 61 64 20   another thread 
1900: 69 73 20 61 6c 72 65 61 64 79 20 77 69 74 68 69  is already withi
1910: 6e 20 74 68 65 20 6d 75 74 65 78 2c 0a 2a 2a 20  n the mutex,.** 
1920: 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 65 6e  sqlite3_mutex_en
1930: 74 65 72 28 29 20 77 69 6c 6c 20 62 6c 6f 63 6b  ter() will block
1940: 20 61 6e 64 20 73 71 6c 69 74 65 33 5f 6d 75 74   and sqlite3_mut
1950: 65 78 5f 74 72 79 28 29 20 77 69 6c 6c 20 72 65  ex_try() will re
1960: 74 75 72 6e 0a 2a 2a 20 53 51 4c 49 54 45 5f 42  turn.** SQLITE_B
1970: 55 53 59 2e 20 20 54 68 65 20 73 71 6c 69 74 65  USY.  The sqlite
1980: 33 5f 6d 75 74 65 78 5f 74 72 79 28 29 20 69 6e  3_mutex_try() in
1990: 74 65 72 66 61 63 65 20 72 65 74 75 72 6e 73 20  terface returns 
19a0: 53 51 4c 49 54 45 5f 4f 4b 0a 2a 2a 20 75 70 6f  SQLITE_OK.** upo
19b0: 6e 20 73 75 63 63 65 73 73 66 75 6c 20 65 6e 74  n successful ent
19c0: 72 79 2e 20 20 4d 75 74 65 78 65 73 20 63 72 65  ry.  Mutexes cre
19d0: 61 74 65 64 20 75 73 69 6e 67 20 53 51 4c 49 54  ated using SQLIT
19e0: 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56  E_MUTEX_RECURSIV
19f0: 45 20 63 61 6e 0a 2a 2a 20 62 65 20 65 6e 74 65  E can.** be ente
1a00: 72 65 64 20 6d 75 6c 74 69 70 6c 65 20 74 69 6d  red multiple tim
1a10: 65 73 20 62 79 20 74 68 65 20 73 61 6d 65 20 74  es by the same t
1a20: 68 72 65 61 64 2e 20 20 49 6e 20 73 75 63 68 20  hread.  In such 
1a30: 63 61 73 65 73 20 74 68 65 2c 0a 2a 2a 20 6d 75  cases the,.** mu
1a40: 74 65 78 20 6d 75 73 74 20 62 65 20 65 78 69 74  tex must be exit
1a50: 65 64 20 61 6e 20 65 71 75 61 6c 20 6e 75 6d 62  ed an equal numb
1a60: 65 72 20 6f 66 20 74 69 6d 65 73 20 62 65 66 6f  er of times befo
1a70: 72 65 20 61 6e 6f 74 68 65 72 20 74 68 72 65 61  re another threa
1a80: 64 0a 2a 2a 20 63 61 6e 20 65 6e 74 65 72 2e 20  d.** can enter. 
1a90: 20 49 66 20 74 68 65 20 73 61 6d 65 20 74 68 72   If the same thr
1aa0: 65 61 64 20 74 72 69 65 73 20 74 6f 20 65 6e 74  ead tries to ent
1ab0: 65 72 20 61 6e 79 20 6f 74 68 65 72 20 6b 69 6e  er any other kin
1ac0: 64 20 6f 66 20 6d 75 74 65 78 0a 2a 2a 20 6d 6f  d of mutex.** mo
1ad0: 72 65 20 74 68 61 6e 20 6f 6e 63 65 2c 20 74 68  re than once, th
1ae0: 65 20 62 65 68 61 76 69 6f 72 20 69 73 20 75 6e  e behavior is un
1af0: 64 65 66 69 6e 65 64 2e 0a 2a 2f 0a 73 74 61 74  defined..*/.stat
1b00: 69 63 20 76 6f 69 64 20 70 74 68 72 65 61 64 4d  ic void pthreadM
1b10: 75 74 65 78 45 6e 74 65 72 28 73 71 6c 69 74 65  utexEnter(sqlite
1b20: 33 5f 6d 75 74 65 78 20 2a 70 29 7b 0a 20 20 61  3_mutex *p){.  a
1b30: 73 73 65 72 74 28 20 70 2d 3e 69 64 3d 3d 53 51  ssert( p->id==SQ
1b40: 4c 49 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52  LITE_MUTEX_RECUR
1b50: 53 49 56 45 20 7c 7c 20 70 74 68 72 65 61 64 4d  SIVE || pthreadM
1b60: 75 74 65 78 4e 6f 74 68 65 6c 64 28 70 29 20 29  utexNotheld(p) )
1b70: 3b 0a 0a 23 69 66 64 65 66 20 53 51 4c 49 54 45  ;..#ifdef SQLITE
1b80: 5f 48 4f 4d 45 47 52 4f 57 4e 5f 52 45 43 55 52  _HOMEGROWN_RECUR
1b90: 53 49 56 45 5f 4d 55 54 45 58 0a 20 20 2f 2a 20  SIVE_MUTEX.  /* 
1ba0: 49 66 20 72 65 63 75 72 73 69 76 65 20 6d 75 74  If recursive mut
1bb0: 65 78 65 73 20 61 72 65 20 6e 6f 74 20 61 76 61  exes are not ava
1bc0: 69 6c 61 62 6c 65 2c 20 74 68 65 6e 20 77 65 20  ilable, then we 
1bd0: 68 61 76 65 20 74 6f 20 67 72 6f 77 0a 20 20 2a  have to grow.  *
1be0: 2a 20 6f 75 72 20 6f 77 6e 2e 20 20 54 68 69 73  * our own.  This
1bf0: 20 69 6d 70 6c 65 6d 65 6e 74 61 74 69 6f 6e 20   implementation 
1c00: 61 73 73 75 6d 65 73 20 74 68 61 74 20 70 74 68  assumes that pth
1c10: 72 65 61 64 5f 65 71 75 61 6c 28 29 0a 20 20 2a  read_equal().  *
1c20: 2a 20 69 73 20 61 74 6f 6d 69 63 20 2d 20 74 68  * is atomic - th
1c30: 61 74 20 69 74 20 63 61 6e 6e 6f 74 20 62 65 20  at it cannot be 
1c40: 64 65 63 65 69 76 65 64 20 69 6e 74 6f 20 74 68  deceived into th
1c50: 69 6e 6b 69 6e 67 20 73 65 6c 66 0a 20 20 2a 2a  inking self.  **
1c60: 20 61 6e 64 20 70 2d 3e 6f 77 6e 65 72 20 61 72   and p->owner ar
1c70: 65 20 65 71 75 61 6c 20 69 66 20 70 2d 3e 6f 77  e equal if p->ow
1c80: 6e 65 72 20 63 68 61 6e 67 65 73 20 62 65 74 77  ner changes betw
1c90: 65 65 6e 20 74 77 6f 20 76 61 6c 75 65 73 0a 20  een two values. 
1ca0: 20 2a 2a 20 74 68 61 74 20 61 72 65 20 6e 6f 74   ** that are not
1cb0: 20 65 71 75 61 6c 20 74 6f 20 73 65 6c 66 20 77   equal to self w
1cc0: 68 69 6c 65 20 74 68 65 20 63 6f 6d 70 61 72 69  hile the compari
1cd0: 73 6f 6e 20 69 73 20 74 61 6b 69 6e 67 20 70 6c  son is taking pl
1ce0: 61 63 65 2e 0a 20 20 2a 2a 20 54 68 69 73 20 69  ace..  ** This i
1cf0: 6d 70 6c 65 6d 65 6e 74 61 74 69 6f 6e 20 61 6c  mplementation al
1d00: 73 6f 20 61 73 73 75 6d 65 73 20 61 20 63 6f 68  so assumes a coh
1d10: 65 72 65 6e 74 20 63 61 63 68 65 20 2d 20 74 68  erent cache - th
1d20: 61 74 20 0a 20 20 2a 2a 20 73 65 70 61 72 61 74  at .  ** separat
1d30: 65 20 70 72 6f 63 65 73 73 65 73 20 63 61 6e 6e  e processes cann
1d40: 6f 74 20 72 65 61 64 20 64 69 66 66 65 72 65 6e  ot read differen
1d50: 74 20 76 61 6c 75 65 73 20 66 72 6f 6d 20 74 68  t values from th
1d60: 65 20 73 61 6d 65 0a 20 20 2a 2a 20 61 64 64 72  e same.  ** addr
1d70: 65 73 73 20 61 74 20 74 68 65 20 73 61 6d 65 20  ess at the same 
1d80: 74 69 6d 65 2e 20 20 49 66 20 65 69 74 68 65 72  time.  If either
1d90: 20 6f 66 20 74 68 65 73 65 20 74 77 6f 20 63 6f   of these two co
1da0: 6e 64 69 74 69 6f 6e 73 0a 20 20 2a 2a 20 61 72  nditions.  ** ar
1db0: 65 20 6e 6f 74 20 6d 65 74 2c 20 74 68 65 6e 20  e not met, then 
1dc0: 74 68 65 20 6d 75 74 65 78 65 73 20 77 69 6c 6c  the mutexes will
1dd0: 20 66 61 69 6c 20 61 6e 64 20 70 72 6f 62 6c 65   fail and proble
1de0: 6d 73 20 77 69 6c 6c 20 72 65 73 75 6c 74 2e 0a  ms will result..
1df0: 20 20 2a 2f 0a 20 20 7b 0a 20 20 20 20 70 74 68    */.  {.    pth
1e00: 72 65 61 64 5f 74 20 73 65 6c 66 20 3d 20 70 74  read_t self = pt
1e10: 68 72 65 61 64 5f 73 65 6c 66 28 29 3b 0a 20 20  hread_self();.  
1e20: 20 20 69 66 28 20 70 2d 3e 6e 52 65 66 3e 30 20    if( p->nRef>0 
1e30: 26 26 20 70 74 68 72 65 61 64 5f 65 71 75 61 6c  && pthread_equal
1e40: 28 70 2d 3e 6f 77 6e 65 72 2c 20 73 65 6c 66 29  (p->owner, self)
1e50: 20 29 7b 0a 20 20 20 20 20 20 70 2d 3e 6e 52 65   ){.      p->nRe
1e60: 66 2b 2b 3b 0a 20 20 20 20 7d 65 6c 73 65 7b 0a  f++;.    }else{.
1e70: 20 20 20 20 20 20 70 74 68 72 65 61 64 5f 6d 75        pthread_mu
1e80: 74 65 78 5f 6c 6f 63 6b 28 26 70 2d 3e 6d 75 74  tex_lock(&p->mut
1e90: 65 78 29 3b 0a 20 20 20 20 20 20 61 73 73 65 72  ex);.      asser
1ea0: 74 28 20 70 2d 3e 6e 52 65 66 3d 3d 30 20 29 3b  t( p->nRef==0 );
1eb0: 0a 20 20 20 20 20 20 70 2d 3e 6f 77 6e 65 72 20  .      p->owner 
1ec0: 3d 20 73 65 6c 66 3b 0a 20 20 20 20 20 20 70 2d  = self;.      p-
1ed0: 3e 6e 52 65 66 20 3d 20 31 3b 0a 20 20 20 20 7d  >nRef = 1;.    }
1ee0: 0a 20 20 7d 0a 23 65 6c 73 65 0a 20 20 2f 2a 20  .  }.#else.  /* 
1ef0: 55 73 65 20 74 68 65 20 62 75 69 6c 74 2d 69 6e  Use the built-in
1f00: 20 72 65 63 75 72 73 69 76 65 20 6d 75 74 65 78   recursive mutex
1f10: 65 73 20 69 66 20 74 68 65 79 20 61 72 65 20 61  es if they are a
1f20: 76 61 69 6c 61 62 6c 65 2e 0a 20 20 2a 2f 0a 20  vailable..  */. 
1f30: 20 70 74 68 72 65 61 64 5f 6d 75 74 65 78 5f 6c   pthread_mutex_l
1f40: 6f 63 6b 28 26 70 2d 3e 6d 75 74 65 78 29 3b 0a  ock(&p->mutex);.
1f50: 20 20 70 2d 3e 6f 77 6e 65 72 20 3d 20 70 74 68    p->owner = pth
1f60: 72 65 61 64 5f 73 65 6c 66 28 29 3b 0a 20 20 70  read_self();.  p
1f70: 2d 3e 6e 52 65 66 2b 2b 3b 0a 23 65 6e 64 69 66  ->nRef++;.#endif
1f80: 0a 0a 23 69 66 64 65 66 20 53 51 4c 49 54 45 5f  ..#ifdef SQLITE_
1f90: 44 45 42 55 47 0a 20 20 69 66 28 20 70 2d 3e 74  DEBUG.  if( p->t
1fa0: 72 61 63 65 20 29 7b 0a 20 20 20 20 70 72 69 6e  race ){.    prin
1fb0: 74 66 28 22 65 6e 74 65 72 20 6d 75 74 65 78 20  tf("enter mutex 
1fc0: 25 70 20 28 25 64 29 20 77 69 74 68 20 6e 52 65  %p (%d) with nRe
1fd0: 66 3d 25 64 5c 6e 22 2c 20 70 2c 20 70 2d 3e 74  f=%d\n", p, p->t
1fe0: 72 61 63 65 2c 20 70 2d 3e 6e 52 65 66 29 3b 0a  race, p->nRef);.
1ff0: 20 20 7d 0a 23 65 6e 64 69 66 0a 7d 0a 73 74 61    }.#endif.}.sta
2000: 74 69 63 20 69 6e 74 20 70 74 68 72 65 61 64 4d  tic int pthreadM
2010: 75 74 65 78 54 72 79 28 73 71 6c 69 74 65 33 5f  utexTry(sqlite3_
2020: 6d 75 74 65 78 20 2a 70 29 7b 0a 20 20 69 6e 74  mutex *p){.  int
2030: 20 72 63 3b 0a 20 20 61 73 73 65 72 74 28 20 70   rc;.  assert( p
2040: 2d 3e 69 64 3d 3d 53 51 4c 49 54 45 5f 4d 55 54  ->id==SQLITE_MUT
2050: 45 58 5f 52 45 43 55 52 53 49 56 45 20 7c 7c 20  EX_RECURSIVE || 
2060: 70 74 68 72 65 61 64 4d 75 74 65 78 4e 6f 74 68  pthreadMutexNoth
2070: 65 6c 64 28 70 29 20 29 3b 0a 0a 23 69 66 64 65  eld(p) );..#ifde
2080: 66 20 53 51 4c 49 54 45 5f 48 4f 4d 45 47 52 4f  f SQLITE_HOMEGRO
2090: 57 4e 5f 52 45 43 55 52 53 49 56 45 5f 4d 55 54  WN_RECURSIVE_MUT
20a0: 45 58 0a 20 20 2f 2a 20 49 66 20 72 65 63 75 72  EX.  /* If recur
20b0: 73 69 76 65 20 6d 75 74 65 78 65 73 20 61 72 65  sive mutexes are
20c0: 20 6e 6f 74 20 61 76 61 69 6c 61 62 6c 65 2c 20   not available, 
20d0: 74 68 65 6e 20 77 65 20 68 61 76 65 20 74 6f 20  then we have to 
20e0: 67 72 6f 77 0a 20 20 2a 2a 20 6f 75 72 20 6f 77  grow.  ** our ow
20f0: 6e 2e 20 20 54 68 69 73 20 69 6d 70 6c 65 6d 65  n.  This impleme
2100: 6e 74 61 74 69 6f 6e 20 61 73 73 75 6d 65 73 20  ntation assumes 
2110: 74 68 61 74 20 70 74 68 72 65 61 64 5f 65 71 75  that pthread_equ
2120: 61 6c 28 29 0a 20 20 2a 2a 20 69 73 20 61 74 6f  al().  ** is ato
2130: 6d 69 63 20 2d 20 74 68 61 74 20 69 74 20 63 61  mic - that it ca
2140: 6e 6e 6f 74 20 62 65 20 64 65 63 65 69 76 65 64  nnot be deceived
2150: 20 69 6e 74 6f 20 74 68 69 6e 6b 69 6e 67 20 73   into thinking s
2160: 65 6c 66 0a 20 20 2a 2a 20 61 6e 64 20 70 2d 3e  elf.  ** and p->
2170: 6f 77 6e 65 72 20 61 72 65 20 65 71 75 61 6c 20  owner are equal 
2180: 69 66 20 70 2d 3e 6f 77 6e 65 72 20 63 68 61 6e  if p->owner chan
2190: 67 65 73 20 62 65 74 77 65 65 6e 20 74 77 6f 20  ges between two 
21a0: 76 61 6c 75 65 73 0a 20 20 2a 2a 20 74 68 61 74  values.  ** that
21b0: 20 61 72 65 20 6e 6f 74 20 65 71 75 61 6c 20 74   are not equal t
21c0: 6f 20 73 65 6c 66 20 77 68 69 6c 65 20 74 68 65  o self while the
21d0: 20 63 6f 6d 70 61 72 69 73 6f 6e 20 69 73 20 74   comparison is t
21e0: 61 6b 69 6e 67 20 70 6c 61 63 65 2e 0a 20 20 2a  aking place..  *
21f0: 2a 20 54 68 69 73 20 69 6d 70 6c 65 6d 65 6e 74  * This implement
2200: 61 74 69 6f 6e 20 61 6c 73 6f 20 61 73 73 75 6d  ation also assum
2210: 65 73 20 61 20 63 6f 68 65 72 65 6e 74 20 63 61  es a coherent ca
2220: 63 68 65 20 2d 20 74 68 61 74 20 0a 20 20 2a 2a  che - that .  **
2230: 20 73 65 70 61 72 61 74 65 20 70 72 6f 63 65 73   separate proces
2240: 73 65 73 20 63 61 6e 6e 6f 74 20 72 65 61 64 20  ses cannot read 
2250: 64 69 66 66 65 72 65 6e 74 20 76 61 6c 75 65 73  different values
2260: 20 66 72 6f 6d 20 74 68 65 20 73 61 6d 65 0a 20   from the same. 
2270: 20 2a 2a 20 61 64 64 72 65 73 73 20 61 74 20 74   ** address at t
2280: 68 65 20 73 61 6d 65 20 74 69 6d 65 2e 20 20 49  he same time.  I
2290: 66 20 65 69 74 68 65 72 20 6f 66 20 74 68 65 73  f either of thes
22a0: 65 20 74 77 6f 20 63 6f 6e 64 69 74 69 6f 6e 73  e two conditions
22b0: 0a 20 20 2a 2a 20 61 72 65 20 6e 6f 74 20 6d 65  .  ** are not me
22c0: 74 2c 20 74 68 65 6e 20 74 68 65 20 6d 75 74 65  t, then the mute
22d0: 78 65 73 20 77 69 6c 6c 20 66 61 69 6c 20 61 6e  xes will fail an
22e0: 64 20 70 72 6f 62 6c 65 6d 73 20 77 69 6c 6c 20  d problems will 
22f0: 72 65 73 75 6c 74 2e 0a 20 20 2a 2f 0a 20 20 7b  result..  */.  {
2300: 0a 20 20 20 20 70 74 68 72 65 61 64 5f 74 20 73  .    pthread_t s
2310: 65 6c 66 20 3d 20 70 74 68 72 65 61 64 5f 73 65  elf = pthread_se
2320: 6c 66 28 29 3b 0a 20 20 20 20 69 66 28 20 70 2d  lf();.    if( p-
2330: 3e 6e 52 65 66 3e 30 20 26 26 20 70 74 68 72 65  >nRef>0 && pthre
2340: 61 64 5f 65 71 75 61 6c 28 70 2d 3e 6f 77 6e 65  ad_equal(p->owne
2350: 72 2c 20 73 65 6c 66 29 20 29 7b 0a 20 20 20 20  r, self) ){.    
2360: 20 20 70 2d 3e 6e 52 65 66 2b 2b 3b 0a 20 20 20    p->nRef++;.   
2370: 20 20 20 72 63 20 3d 20 53 51 4c 49 54 45 5f 4f     rc = SQLITE_O
2380: 4b 3b 0a 20 20 20 20 7d 65 6c 73 65 20 69 66 28  K;.    }else if(
2390: 20 70 74 68 72 65 61 64 5f 6d 75 74 65 78 5f 6c   pthread_mutex_l
23a0: 6f 63 6b 28 26 70 2d 3e 6d 75 74 65 78 29 3d 3d  ock(&p->mutex)==
23b0: 30 20 29 7b 0a 20 20 20 20 20 20 61 73 73 65 72  0 ){.      asser
23c0: 74 28 20 70 2d 3e 6e 52 65 66 3d 3d 30 20 29 3b  t( p->nRef==0 );
23d0: 0a 20 20 20 20 20 20 70 2d 3e 6f 77 6e 65 72 20  .      p->owner 
23e0: 3d 20 73 65 6c 66 3b 0a 20 20 20 20 20 20 70 2d  = self;.      p-
23f0: 3e 6e 52 65 66 20 3d 20 31 3b 0a 20 20 20 20 20  >nRef = 1;.     
2400: 20 72 63 20 3d 20 53 51 4c 49 54 45 5f 4f 4b 3b   rc = SQLITE_OK;
2410: 0a 20 20 20 20 7d 65 6c 73 65 7b 0a 20 20 20 20  .    }else{.    
2420: 20 20 72 63 20 3d 20 53 51 4c 49 54 45 5f 42 55    rc = SQLITE_BU
2430: 53 59 3b 0a 20 20 20 20 7d 0a 20 20 7d 0a 23 65  SY;.    }.  }.#e
2440: 6c 73 65 0a 20 20 2f 2a 20 55 73 65 20 74 68 65  lse.  /* Use the
2450: 20 62 75 69 6c 74 2d 69 6e 20 72 65 63 75 72 73   built-in recurs
2460: 69 76 65 20 6d 75 74 65 78 65 73 20 69 66 20 74  ive mutexes if t
2470: 68 65 79 20 61 72 65 20 61 76 61 69 6c 61 62 6c  hey are availabl
2480: 65 2e 0a 20 20 2a 2f 0a 20 20 69 66 28 20 70 74  e..  */.  if( pt
2490: 68 72 65 61 64 5f 6d 75 74 65 78 5f 74 72 79 6c  hread_mutex_tryl
24a0: 6f 63 6b 28 26 70 2d 3e 6d 75 74 65 78 29 3d 3d  ock(&p->mutex)==
24b0: 30 20 29 7b 0a 20 20 20 20 70 2d 3e 6f 77 6e 65  0 ){.    p->owne
24c0: 72 20 3d 20 70 74 68 72 65 61 64 5f 73 65 6c 66  r = pthread_self
24d0: 28 29 3b 0a 20 20 20 20 70 2d 3e 6e 52 65 66 2b  ();.    p->nRef+
24e0: 2b 3b 0a 20 20 20 20 72 63 20 3d 20 53 51 4c 49  +;.    rc = SQLI
24f0: 54 45 5f 4f 4b 3b 0a 20 20 7d 65 6c 73 65 7b 0a  TE_OK;.  }else{.
2500: 20 20 20 20 72 63 20 3d 20 53 51 4c 49 54 45 5f      rc = SQLITE_
2510: 42 55 53 59 3b 0a 20 20 7d 0a 23 65 6e 64 69 66  BUSY;.  }.#endif
2520: 0a 0a 23 69 66 64 65 66 20 53 51 4c 49 54 45 5f  ..#ifdef SQLITE_
2530: 44 45 42 55 47 0a 20 20 69 66 28 20 72 63 3d 3d  DEBUG.  if( rc==
2540: 53 51 4c 49 54 45 5f 4f 4b 20 26 26 20 70 2d 3e  SQLITE_OK && p->
2550: 74 72 61 63 65 20 29 7b 0a 20 20 20 20 70 72 69  trace ){.    pri
2560: 6e 74 66 28 22 65 6e 74 65 72 20 6d 75 74 65 78  ntf("enter mutex
2570: 20 25 70 20 28 25 64 29 20 77 69 74 68 20 6e 52   %p (%d) with nR
2580: 65 66 3d 25 64 5c 6e 22 2c 20 70 2c 20 70 2d 3e  ef=%d\n", p, p->
2590: 74 72 61 63 65 2c 20 70 2d 3e 6e 52 65 66 29 3b  trace, p->nRef);
25a0: 0a 20 20 7d 0a 23 65 6e 64 69 66 0a 20 20 72 65  .  }.#endif.  re
25b0: 74 75 72 6e 20 72 63 3b 0a 7d 0a 0a 2f 2a 0a 2a  turn rc;.}../*.*
25c0: 2a 20 54 68 65 20 73 71 6c 69 74 65 33 5f 6d 75  * The sqlite3_mu
25d0: 74 65 78 5f 6c 65 61 76 65 28 29 20 72 6f 75 74  tex_leave() rout
25e0: 69 6e 65 20 65 78 69 74 73 20 61 20 6d 75 74 65  ine exits a mute
25f0: 78 20 74 68 61 74 20 77 61 73 0a 2a 2a 20 70 72  x that was.** pr
2600: 65 76 69 6f 75 73 6c 79 20 65 6e 74 65 72 65 64  eviously entered
2610: 20 62 79 20 74 68 65 20 73 61 6d 65 20 74 68 72   by the same thr
2620: 65 61 64 2e 20 20 54 68 65 20 62 65 68 61 76 69  ead.  The behavi
2630: 6f 72 0a 2a 2a 20 69 73 20 75 6e 64 65 66 69 6e  or.** is undefin
2640: 65 64 20 69 66 20 74 68 65 20 6d 75 74 65 78 20  ed if the mutex 
2650: 69 73 20 6e 6f 74 20 63 75 72 72 65 6e 74 6c 79  is not currently
2660: 20 65 6e 74 65 72 65 64 20 6f 72 0a 2a 2a 20 69   entered or.** i
2670: 73 20 6e 6f 74 20 63 75 72 72 65 6e 74 6c 79 20  s not currently 
2680: 61 6c 6c 6f 63 61 74 65 64 2e 20 20 53 51 4c 69  allocated.  SQLi
2690: 74 65 20 77 69 6c 6c 20 6e 65 76 65 72 20 64 6f  te will never do
26a0: 20 65 69 74 68 65 72 2e 0a 2a 2f 0a 73 74 61 74   either..*/.stat
26b0: 69 63 20 76 6f 69 64 20 70 74 68 72 65 61 64 4d  ic void pthreadM
26c0: 75 74 65 78 4c 65 61 76 65 28 73 71 6c 69 74 65  utexLeave(sqlite
26d0: 33 5f 6d 75 74 65 78 20 2a 70 29 7b 0a 20 20 61  3_mutex *p){.  a
26e0: 73 73 65 72 74 28 20 70 74 68 72 65 61 64 4d 75  ssert( pthreadMu
26f0: 74 65 78 48 65 6c 64 28 70 29 20 29 3b 0a 20 20  texHeld(p) );.  
2700: 70 2d 3e 6e 52 65 66 2d 2d 3b 0a 20 20 61 73 73  p->nRef--;.  ass
2710: 65 72 74 28 20 70 2d 3e 6e 52 65 66 3d 3d 30 20  ert( p->nRef==0 
2720: 7c 7c 20 70 2d 3e 69 64 3d 3d 53 51 4c 49 54 45  || p->id==SQLITE
2730: 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56 45  _MUTEX_RECURSIVE
2740: 20 29 3b 0a 0a 23 69 66 64 65 66 20 53 51 4c 49   );..#ifdef SQLI
2750: 54 45 5f 48 4f 4d 45 47 52 4f 57 4e 5f 52 45 43  TE_HOMEGROWN_REC
2760: 55 52 53 49 56 45 5f 4d 55 54 45 58 0a 20 20 69  URSIVE_MUTEX.  i
2770: 66 28 20 70 2d 3e 6e 52 65 66 3d 3d 30 20 29 7b  f( p->nRef==0 ){
2780: 0a 20 20 20 20 70 74 68 72 65 61 64 5f 6d 75 74  .    pthread_mut
2790: 65 78 5f 75 6e 6c 6f 63 6b 28 26 70 2d 3e 6d 75  ex_unlock(&p->mu
27a0: 74 65 78 29 3b 0a 20 20 7d 0a 23 65 6c 73 65 0a  tex);.  }.#else.
27b0: 20 20 70 74 68 72 65 61 64 5f 6d 75 74 65 78 5f    pthread_mutex_
27c0: 75 6e 6c 6f 63 6b 28 26 70 2d 3e 6d 75 74 65 78  unlock(&p->mutex
27d0: 29 3b 0a 23 65 6e 64 69 66 0a 0a 23 69 66 64 65  );.#endif..#ifde
27e0: 66 20 53 51 4c 49 54 45 5f 44 45 42 55 47 0a 20  f SQLITE_DEBUG. 
27f0: 20 69 66 28 20 70 2d 3e 74 72 61 63 65 20 29 7b   if( p->trace ){
2800: 0a 20 20 20 20 70 72 69 6e 74 66 28 22 6c 65 61  .    printf("lea
2810: 76 65 20 6d 75 74 65 78 20 25 70 20 28 25 64 29  ve mutex %p (%d)
2820: 20 77 69 74 68 20 6e 52 65 66 3d 25 64 5c 6e 22   with nRef=%d\n"
2830: 2c 20 70 2c 20 70 2d 3e 74 72 61 63 65 2c 20 70  , p, p->trace, p
2840: 2d 3e 6e 52 65 66 29 3b 0a 20 20 7d 0a 23 65 6e  ->nRef);.  }.#en
2850: 64 69 66 0a 7d 0a 0a 73 71 6c 69 74 65 33 5f 6d  dif.}..sqlite3_m
2860: 75 74 65 78 5f 6d 65 74 68 6f 64 73 20 2a 73 71  utex_methods *sq
2870: 6c 69 74 65 33 44 65 66 61 75 6c 74 4d 75 74 65  lite3DefaultMute
2880: 78 28 76 6f 69 64 29 7b 0a 20 20 73 74 61 74 69  x(void){.  stati
2890: 63 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f  c sqlite3_mutex_
28a0: 6d 65 74 68 6f 64 73 20 73 4d 75 74 65 78 20 3d  methods sMutex =
28b0: 20 7b 0a 20 20 20 20 70 74 68 72 65 61 64 4d 75   {.    pthreadMu
28c0: 74 65 78 49 6e 69 74 2c 0a 20 20 20 20 70 74 68  texInit,.    pth
28d0: 72 65 61 64 4d 75 74 65 78 41 6c 6c 6f 63 2c 0a  readMutexAlloc,.
28e0: 20 20 20 20 70 74 68 72 65 61 64 4d 75 74 65 78      pthreadMutex
28f0: 46 72 65 65 2c 0a 20 20 20 20 70 74 68 72 65 61  Free,.    pthrea
2900: 64 4d 75 74 65 78 45 6e 74 65 72 2c 0a 20 20 20  dMutexEnter,.   
2910: 20 70 74 68 72 65 61 64 4d 75 74 65 78 54 72 79   pthreadMutexTry
2920: 2c 0a 20 20 20 20 70 74 68 72 65 61 64 4d 75 74  ,.    pthreadMut
2930: 65 78 4c 65 61 76 65 2c 0a 20 20 20 20 70 74 68  exLeave,.    pth
2940: 72 65 61 64 4d 75 74 65 78 45 6e 64 2c 0a 0a 20  readMutexEnd,.. 
2950: 20 20 20 70 74 68 72 65 61 64 4d 75 74 65 78 48     pthreadMutexH
2960: 65 6c 64 2c 0a 20 20 20 20 70 74 68 72 65 61 64  eld,.    pthread
2970: 4d 75 74 65 78 4e 6f 74 68 65 6c 64 0a 20 20 7d  MutexNotheld.  }
2980: 3b 0a 0a 20 20 72 65 74 75 72 6e 20 26 73 4d 75  ;..  return &sMu
2990: 74 65 78 3b 0a 7d 0a 0a 23 65 6e 64 69 66 20 2f  tex;.}..#endif /
29a0: 2a 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 50  * SQLITE_MUTEX_P
29b0: 54 48 52 45 41 44 20 2a 2f 0a                    THREAD */.