/ Hex Artifact Content
Login

Artifact aff26c77f698b552becfedfa677ad1036c42d790:


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 36 20 32 30 30  nix.c,v 1.16 200
01e0: 38 2f 31 32 2f 30 38 20 31 38 3a 31 39 3a 31 38  8/12/08 18:19:18
01f0: 20 64 72 68 20 45 78 70 20 24 0a 2a 2f 0a 23 69   drh Exp $.*/.#i
0200: 6e 63 6c 75 64 65 20 22 73 71 6c 69 74 65 49 6e  nclude "sqliteIn
0210: 74 2e 68 22 0a 0a 2f 2a 0a 2a 2a 20 54 68 65 20  t.h"../*.** The 
0220: 63 6f 64 65 20 69 6e 20 74 68 69 73 20 66 69 6c  code in this fil
0230: 65 20 69 73 20 6f 6e 6c 79 20 75 73 65 64 20 69  e is only used i
0240: 66 20 77 65 20 61 72 65 20 63 6f 6d 70 69 6c 69  f we are compili
0250: 6e 67 20 74 68 72 65 61 64 73 61 66 65 0a 2a 2a  ng threadsafe.**
0260: 20 75 6e 64 65 72 20 75 6e 69 78 20 77 69 74 68   under unix with
0270: 20 70 74 68 72 65 61 64 73 2e 0a 2a 2a 0a 2a 2a   pthreads..**.**
0280: 20 4e 6f 74 65 20 74 68 61 74 20 74 68 69 73 20   Note that this 
0290: 69 6d 70 6c 65 6d 65 6e 74 61 74 69 6f 6e 20 72  implementation r
02a0: 65 71 75 69 72 65 73 20 61 20 76 65 72 73 69 6f  equires a versio
02b0: 6e 20 6f 66 20 70 74 68 72 65 61 64 73 20 74 68  n of pthreads th
02c0: 61 74 0a 2a 2a 20 73 75 70 70 6f 72 74 73 20 72  at.** supports r
02d0: 65 63 75 72 73 69 76 65 20 6d 75 74 65 78 65 73  ecursive mutexes
02e0: 2e 0a 2a 2f 0a 23 69 66 64 65 66 20 53 51 4c 49  ..*/.#ifdef SQLI
02f0: 54 45 5f 4d 55 54 45 58 5f 50 54 48 52 45 41 44  TE_MUTEX_PTHREAD
0300: 53 0a 0a 23 69 6e 63 6c 75 64 65 20 3c 70 74 68  S..#include <pth
0310: 72 65 61 64 2e 68 3e 0a 0a 0a 2f 2a 0a 2a 2a 20  read.h>.../*.** 
0320: 45 61 63 68 20 72 65 63 75 72 73 69 76 65 20 6d  Each recursive m
0330: 75 74 65 78 20 69 73 20 61 6e 20 69 6e 73 74 61  utex is an insta
0340: 6e 63 65 20 6f 66 20 74 68 65 20 66 6f 6c 6c 6f  nce of the follo
0350: 77 69 6e 67 20 73 74 72 75 63 74 75 72 65 2e 0a  wing structure..
0360: 2a 2f 0a 73 74 72 75 63 74 20 73 71 6c 69 74 65  */.struct sqlite
0370: 33 5f 6d 75 74 65 78 20 7b 0a 20 20 70 74 68 72  3_mutex {.  pthr
0380: 65 61 64 5f 6d 75 74 65 78 5f 74 20 6d 75 74 65  ead_mutex_t mute
0390: 78 3b 20 20 20 20 20 2f 2a 20 4d 75 74 65 78 20  x;     /* Mutex 
03a0: 63 6f 6e 74 72 6f 6c 6c 69 6e 67 20 74 68 65 20  controlling the 
03b0: 6c 6f 63 6b 20 2a 2f 0a 20 20 69 6e 74 20 69 64  lock */.  int id
03c0: 3b 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20  ;               
03d0: 20 20 20 20 20 2f 2a 20 4d 75 74 65 78 20 74 79       /* Mutex ty
03e0: 70 65 20 2a 2f 0a 20 20 69 6e 74 20 6e 52 65 66  pe */.  int nRef
03f0: 3b 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20  ;               
0400: 20 20 20 2f 2a 20 4e 75 6d 62 65 72 20 6f 66 20     /* Number of 
0410: 65 6e 74 72 61 6e 63 65 73 20 2a 2f 0a 20 20 70  entrances */.  p
0420: 74 68 72 65 61 64 5f 74 20 6f 77 6e 65 72 3b 20  thread_t owner; 
0430: 20 20 20 20 20 20 20 20 20 20 2f 2a 20 54 68 72            /* Thr
0440: 65 61 64 20 74 68 61 74 20 69 73 20 77 69 74 68  ead that is with
0450: 69 6e 20 74 68 69 73 20 6d 75 74 65 78 20 2a 2f  in this mutex */
0460: 0a 23 69 66 64 65 66 20 53 51 4c 49 54 45 5f 44  .#ifdef SQLITE_D
0470: 45 42 55 47 0a 20 20 69 6e 74 20 74 72 61 63 65  EBUG.  int trace
0480: 3b 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20  ;               
0490: 20 20 2f 2a 20 54 72 75 65 20 74 6f 20 74 72 61    /* True to tra
04a0: 63 65 20 63 68 61 6e 67 65 73 20 2a 2f 0a 23 65  ce changes */.#e
04b0: 6e 64 69 66 0a 7d 3b 0a 23 69 66 64 65 66 20 53  ndif.};.#ifdef S
04c0: 51 4c 49 54 45 5f 44 45 42 55 47 0a 23 64 65 66  QLITE_DEBUG.#def
04d0: 69 6e 65 20 53 51 4c 49 54 45 33 5f 4d 55 54 45  ine SQLITE3_MUTE
04e0: 58 5f 49 4e 49 54 49 41 4c 49 5a 45 52 20 7b 20  X_INITIALIZER { 
04f0: 50 54 48 52 45 41 44 5f 4d 55 54 45 58 5f 49 4e  PTHREAD_MUTEX_IN
0500: 49 54 49 41 4c 49 5a 45 52 2c 20 30 2c 20 30 2c  ITIALIZER, 0, 0,
0510: 20 28 70 74 68 72 65 61 64 5f 74 29 30 2c 20 30   (pthread_t)0, 0
0520: 20 7d 0a 23 65 6c 73 65 0a 23 64 65 66 69 6e 65   }.#else.#define
0530: 20 53 51 4c 49 54 45 33 5f 4d 55 54 45 58 5f 49   SQLITE3_MUTEX_I
0540: 4e 49 54 49 41 4c 49 5a 45 52 20 7b 20 50 54 48  NITIALIZER { PTH
0550: 52 45 41 44 5f 4d 55 54 45 58 5f 49 4e 49 54 49  READ_MUTEX_INITI
0560: 41 4c 49 5a 45 52 2c 20 30 2c 20 30 2c 20 28 70  ALIZER, 0, 0, (p
0570: 74 68 72 65 61 64 5f 74 29 30 20 7d 0a 23 65 6e  thread_t)0 }.#en
0580: 64 69 66 0a 0a 2f 2a 0a 2a 2a 20 54 68 65 20 73  dif../*.** The s
0590: 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 68 65 6c  qlite3_mutex_hel
05a0: 64 28 29 20 61 6e 64 20 73 71 6c 69 74 65 33 5f  d() and sqlite3_
05b0: 6d 75 74 65 78 5f 6e 6f 74 68 65 6c 64 28 29 20  mutex_notheld() 
05c0: 72 6f 75 74 69 6e 65 20 61 72 65 0a 2a 2a 20 69  routine are.** i
05d0: 6e 74 65 6e 64 65 64 20 66 6f 72 20 75 73 65 20  ntended for use 
05e0: 6f 6e 6c 79 20 69 6e 73 69 64 65 20 61 73 73 65  only inside asse
05f0: 72 74 28 29 20 73 74 61 74 65 6d 65 6e 74 73 2e  rt() statements.
0600: 20 20 4f 6e 20 73 6f 6d 65 20 70 6c 61 74 66 6f    On some platfo
0610: 72 6d 73 2c 0a 2a 2a 20 74 68 65 72 65 20 6d 69  rms,.** there mi
0620: 67 68 74 20 62 65 20 72 61 63 65 20 63 6f 6e 64  ght be race cond
0630: 69 74 69 6f 6e 73 20 74 68 61 74 20 63 61 6e 20  itions that can 
0640: 63 61 75 73 65 20 74 68 65 73 65 20 72 6f 75 74  cause these rout
0650: 69 6e 65 73 20 74 6f 0a 2a 2a 20 64 65 6c 69 76  ines to.** deliv
0660: 65 72 20 69 6e 63 6f 72 72 65 63 74 20 72 65 73  er incorrect res
0670: 75 6c 74 73 2e 20 20 49 6e 20 70 61 72 74 69 63  ults.  In partic
0680: 75 6c 61 72 2c 20 69 66 20 70 74 68 72 65 61 64  ular, if pthread
0690: 5f 65 71 75 61 6c 28 29 20 69 73 0a 2a 2a 20 6e  _equal() is.** n
06a0: 6f 74 20 61 6e 20 61 74 6f 6d 69 63 20 6f 70 65  ot an atomic ope
06b0: 72 61 74 69 6f 6e 2c 20 74 68 65 6e 20 74 68 65  ration, then the
06c0: 73 65 20 72 6f 75 74 69 6e 65 73 20 6d 69 67 68  se routines migh
06d0: 74 20 64 65 6c 69 76 65 72 79 0a 2a 2a 20 69 6e  t delivery.** in
06e0: 63 6f 72 72 65 63 74 20 72 65 73 75 6c 74 73 2e  correct results.
06f0: 20 20 4f 6e 20 6d 6f 73 74 20 70 6c 61 74 66 6f    On most platfo
0700: 72 6d 73 2c 20 70 74 68 72 65 61 64 5f 65 71 75  rms, pthread_equ
0710: 61 6c 28 29 20 69 73 20 61 20 0a 2a 2a 20 63 6f  al() is a .** co
0720: 6d 70 61 72 69 73 6f 6e 20 6f 66 20 74 77 6f 20  mparison of two 
0730: 69 6e 74 65 67 65 72 73 20 61 6e 64 20 69 73 20  integers and is 
0740: 74 68 65 72 65 66 6f 72 65 20 61 74 6f 6d 69 63  therefore atomic
0750: 2e 20 20 42 75 74 20 77 65 20 61 72 65 0a 2a 2a  .  But we are.**
0760: 20 74 6f 6c 64 20 74 68 61 74 20 48 50 55 58 20   told that HPUX 
0770: 69 73 20 6e 6f 74 20 73 75 63 68 20 61 20 70 6c  is not such a pl
0780: 61 74 66 6f 72 6d 2e 20 20 49 66 20 73 6f 2c 20  atform.  If so, 
0790: 74 68 65 6e 20 74 68 65 73 65 20 72 6f 75 74 69  then these routi
07a0: 6e 65 73 0a 2a 2a 20 77 69 6c 6c 20 6e 6f 74 20  nes.** will not 
07b0: 61 6c 77 61 79 73 20 77 6f 72 6b 20 63 6f 72 72  always work corr
07c0: 65 63 74 6c 79 20 6f 6e 20 48 50 55 58 2e 0a 2a  ectly on HPUX..*
07d0: 2a 0a 2a 2a 20 4f 6e 20 74 68 6f 73 65 20 70 6c  *.** On those pl
07e0: 61 74 66 6f 72 6d 73 20 77 68 65 72 65 20 70 74  atforms where pt
07f0: 68 72 65 61 64 5f 65 71 75 61 6c 28 29 20 69 73  hread_equal() is
0800: 20 6e 6f 74 20 61 74 6f 6d 69 63 2c 20 53 51 4c   not atomic, SQL
0810: 69 74 65 0a 2a 2a 20 73 68 6f 75 6c 64 20 62 65  ite.** should be
0820: 20 63 6f 6d 70 69 6c 65 64 20 77 69 74 68 6f 75   compiled withou
0830: 74 20 2d 44 53 51 4c 49 54 45 5f 44 45 42 55 47  t -DSQLITE_DEBUG
0840: 20 61 6e 64 20 77 69 74 68 20 2d 44 4e 44 45 42   and with -DNDEB
0850: 55 47 20 74 6f 0a 2a 2a 20 6d 61 6b 65 20 73 75  UG to.** make su
0860: 72 65 20 6e 6f 20 61 73 73 65 72 74 28 29 20 73  re no assert() s
0870: 74 61 74 65 6d 65 6e 74 73 20 61 72 65 20 65 76  tatements are ev
0880: 61 6c 75 61 74 65 64 20 61 6e 64 20 68 65 6e 63  aluated and henc
0890: 65 20 74 68 65 73 65 0a 2a 2a 20 72 6f 75 74 69  e these.** routi
08a0: 6e 65 73 20 61 72 65 20 6e 65 76 65 72 20 63 61  nes are never ca
08b0: 6c 6c 65 64 2e 0a 2a 2f 0a 23 69 66 20 21 64 65  lled..*/.#if !de
08c0: 66 69 6e 65 64 28 4e 44 45 42 55 47 29 20 7c 7c  fined(NDEBUG) ||
08d0: 20 64 65 66 69 6e 65 64 28 53 51 4c 49 54 45 5f   defined(SQLITE_
08e0: 44 45 42 55 47 29 0a 73 74 61 74 69 63 20 69 6e  DEBUG).static in
08f0: 74 20 70 74 68 72 65 61 64 4d 75 74 65 78 48 65  t pthreadMutexHe
0900: 6c 64 28 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  ld(sqlite3_mutex
0910: 20 2a 70 29 7b 0a 20 20 72 65 74 75 72 6e 20 28   *p){.  return (
0920: 70 2d 3e 6e 52 65 66 21 3d 30 20 26 26 20 70 74  p->nRef!=0 && pt
0930: 68 72 65 61 64 5f 65 71 75 61 6c 28 70 2d 3e 6f  hread_equal(p->o
0940: 77 6e 65 72 2c 20 70 74 68 72 65 61 64 5f 73 65  wner, pthread_se
0950: 6c 66 28 29 29 29 3b 0a 7d 0a 73 74 61 74 69 63  lf()));.}.static
0960: 20 69 6e 74 20 70 74 68 72 65 61 64 4d 75 74 65   int pthreadMute
0970: 78 4e 6f 74 68 65 6c 64 28 73 71 6c 69 74 65 33  xNotheld(sqlite3
0980: 5f 6d 75 74 65 78 20 2a 70 29 7b 0a 20 20 72 65  _mutex *p){.  re
0990: 74 75 72 6e 20 70 2d 3e 6e 52 65 66 3d 3d 30 20  turn p->nRef==0 
09a0: 7c 7c 20 70 74 68 72 65 61 64 5f 65 71 75 61 6c  || pthread_equal
09b0: 28 70 2d 3e 6f 77 6e 65 72 2c 20 70 74 68 72 65  (p->owner, pthre
09c0: 61 64 5f 73 65 6c 66 28 29 29 3d 3d 30 3b 0a 7d  ad_self())==0;.}
09d0: 0a 23 65 6e 64 69 66 0a 0a 2f 2a 0a 2a 2a 20 49  .#endif../*.** I
09e0: 6e 69 74 69 61 6c 69 7a 65 20 61 6e 64 20 64 65  nitialize and de
09f0: 69 6e 69 74 69 61 6c 69 7a 65 20 74 68 65 20 6d  initialize the m
0a00: 75 74 65 78 20 73 75 62 73 79 73 74 65 6d 2e 0a  utex subsystem..
0a10: 2a 2f 0a 73 74 61 74 69 63 20 69 6e 74 20 70 74  */.static int pt
0a20: 68 72 65 61 64 4d 75 74 65 78 49 6e 69 74 28 76  hreadMutexInit(v
0a30: 6f 69 64 29 7b 20 72 65 74 75 72 6e 20 53 51 4c  oid){ return SQL
0a40: 49 54 45 5f 4f 4b 3b 20 7d 0a 73 74 61 74 69 63  ITE_OK; }.static
0a50: 20 69 6e 74 20 70 74 68 72 65 61 64 4d 75 74 65   int pthreadMute
0a60: 78 45 6e 64 28 76 6f 69 64 29 7b 20 72 65 74 75  xEnd(void){ retu
0a70: 72 6e 20 53 51 4c 49 54 45 5f 4f 4b 3b 20 7d 0a  rn SQLITE_OK; }.
0a80: 0a 2f 2a 0a 2a 2a 20 54 68 65 20 73 71 6c 69 74  ./*.** The sqlit
0a90: 65 33 5f 6d 75 74 65 78 5f 61 6c 6c 6f 63 28 29  e3_mutex_alloc()
0aa0: 20 72 6f 75 74 69 6e 65 20 61 6c 6c 6f 63 61 74   routine allocat
0ab0: 65 73 20 61 20 6e 65 77 0a 2a 2a 20 6d 75 74 65  es a new.** mute
0ac0: 78 20 61 6e 64 20 72 65 74 75 72 6e 73 20 61 20  x and returns a 
0ad0: 70 6f 69 6e 74 65 72 20 74 6f 20 69 74 2e 20 20  pointer to it.  
0ae0: 49 66 20 69 74 20 72 65 74 75 72 6e 73 20 4e 55  If it returns NU
0af0: 4c 4c 0a 2a 2a 20 74 68 61 74 20 6d 65 61 6e 73  LL.** that means
0b00: 20 74 68 61 74 20 61 20 6d 75 74 65 78 20 63 6f   that a mutex co
0b10: 75 6c 64 20 6e 6f 74 20 62 65 20 61 6c 6c 6f 63  uld not be alloc
0b20: 61 74 65 64 2e 20 20 53 51 4c 69 74 65 0a 2a 2a  ated.  SQLite.**
0b30: 20 77 69 6c 6c 20 75 6e 77 69 6e 64 20 69 74 73   will unwind its
0b40: 20 73 74 61 63 6b 20 61 6e 64 20 72 65 74 75 72   stack and retur
0b50: 6e 20 61 6e 20 65 72 72 6f 72 2e 20 20 54 68 65  n an error.  The
0b60: 20 61 72 67 75 6d 65 6e 74 0a 2a 2a 20 74 6f 20   argument.** to 
0b70: 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 61 6c  sqlite3_mutex_al
0b80: 6c 6f 63 28 29 20 69 73 20 6f 6e 65 20 6f 66 20  loc() is one of 
0b90: 74 68 65 73 65 20 69 6e 74 65 67 65 72 20 63 6f  these integer co
0ba0: 6e 73 74 61 6e 74 73 3a 0a 2a 2a 0a 2a 2a 20 3c  nstants:.**.** <
0bb0: 75 6c 3e 0a 2a 2a 20 3c 6c 69 3e 20 20 53 51 4c  ul>.** <li>  SQL
0bc0: 49 54 45 5f 4d 55 54 45 58 5f 46 41 53 54 0a 2a  ITE_MUTEX_FAST.*
0bd0: 2a 20 3c 6c 69 3e 20 20 53 51 4c 49 54 45 5f 4d  * <li>  SQLITE_M
0be0: 55 54 45 58 5f 52 45 43 55 52 53 49 56 45 0a 2a  UTEX_RECURSIVE.*
0bf0: 2a 20 3c 6c 69 3e 20 20 53 51 4c 49 54 45 5f 4d  * <li>  SQLITE_M
0c00: 55 54 45 58 5f 53 54 41 54 49 43 5f 4d 41 53 54  UTEX_STATIC_MAST
0c10: 45 52 0a 2a 2a 20 3c 6c 69 3e 20 20 53 51 4c 49  ER.** <li>  SQLI
0c20: 54 45 5f 4d 55 54 45 58 5f 53 54 41 54 49 43 5f  TE_MUTEX_STATIC_
0c30: 4d 45 4d 0a 2a 2a 20 3c 6c 69 3e 20 20 53 51 4c  MEM.** <li>  SQL
0c40: 49 54 45 5f 4d 55 54 45 58 5f 53 54 41 54 49 43  ITE_MUTEX_STATIC
0c50: 5f 4d 45 4d 32 0a 2a 2a 20 3c 6c 69 3e 20 20 53  _MEM2.** <li>  S
0c60: 51 4c 49 54 45 5f 4d 55 54 45 58 5f 53 54 41 54  QLITE_MUTEX_STAT
0c70: 49 43 5f 50 52 4e 47 0a 2a 2a 20 3c 6c 69 3e 20  IC_PRNG.** <li> 
0c80: 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 53 54   SQLITE_MUTEX_ST
0c90: 41 54 49 43 5f 4c 52 55 0a 2a 2a 20 3c 6c 69 3e  ATIC_LRU.** <li>
0ca0: 20 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 53    SQLITE_MUTEX_S
0cb0: 54 41 54 49 43 5f 4c 52 55 32 0a 2a 2a 20 3c 2f  TATIC_LRU2.** </
0cc0: 75 6c 3e 0a 2a 2a 0a 2a 2a 20 54 68 65 20 66 69  ul>.**.** The fi
0cd0: 72 73 74 20 74 77 6f 20 63 6f 6e 73 74 61 6e 74  rst two constant
0ce0: 73 20 63 61 75 73 65 20 73 71 6c 69 74 65 33 5f  s cause sqlite3_
0cf0: 6d 75 74 65 78 5f 61 6c 6c 6f 63 28 29 20 74 6f  mutex_alloc() to
0d00: 20 63 72 65 61 74 65 0a 2a 2a 20 61 20 6e 65 77   create.** a new
0d10: 20 6d 75 74 65 78 2e 20 20 54 68 65 20 6e 65 77   mutex.  The new
0d20: 20 6d 75 74 65 78 20 69 73 20 72 65 63 75 72 73   mutex is recurs
0d30: 69 76 65 20 77 68 65 6e 20 53 51 4c 49 54 45 5f  ive when SQLITE_
0d40: 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56 45 0a  MUTEX_RECURSIVE.
0d50: 2a 2a 20 69 73 20 75 73 65 64 20 62 75 74 20 6e  ** is used but n
0d60: 6f 74 20 6e 65 63 65 73 73 61 72 69 6c 79 20 73  ot necessarily s
0d70: 6f 20 77 68 65 6e 20 53 51 4c 49 54 45 5f 4d 55  o when SQLITE_MU
0d80: 54 45 58 5f 46 41 53 54 20 69 73 20 75 73 65 64  TEX_FAST is used
0d90: 2e 0a 2a 2a 20 54 68 65 20 6d 75 74 65 78 20 69  ..** The mutex i
0da0: 6d 70 6c 65 6d 65 6e 74 61 74 69 6f 6e 20 64 6f  mplementation do
0db0: 65 73 20 6e 6f 74 20 6e 65 65 64 20 74 6f 20 6d  es not need to m
0dc0: 61 6b 65 20 61 20 64 69 73 74 69 6e 63 74 69 6f  ake a distinctio
0dd0: 6e 0a 2a 2a 20 62 65 74 77 65 65 6e 20 53 51 4c  n.** between SQL
0de0: 49 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53  ITE_MUTEX_RECURS
0df0: 49 56 45 20 61 6e 64 20 53 51 4c 49 54 45 5f 4d  IVE and SQLITE_M
0e00: 55 54 45 58 5f 46 41 53 54 20 69 66 20 69 74 20  UTEX_FAST if it 
0e10: 64 6f 65 73 0a 2a 2a 20 6e 6f 74 20 77 61 6e 74  does.** not want
0e20: 20 74 6f 2e 20 20 42 75 74 20 53 51 4c 69 74 65   to.  But SQLite
0e30: 20 77 69 6c 6c 20 6f 6e 6c 79 20 72 65 71 75 65   will only reque
0e40: 73 74 20 61 20 72 65 63 75 72 73 69 76 65 20 6d  st a recursive m
0e50: 75 74 65 78 20 69 6e 0a 2a 2a 20 63 61 73 65 73  utex in.** cases
0e60: 20 77 68 65 72 65 20 69 74 20 72 65 61 6c 6c 79   where it really
0e70: 20 6e 65 65 64 73 20 6f 6e 65 2e 20 20 49 66 20   needs one.  If 
0e80: 61 20 66 61 73 74 65 72 20 6e 6f 6e 2d 72 65 63  a faster non-rec
0e90: 75 72 73 69 76 65 20 6d 75 74 65 78 0a 2a 2a 20  ursive mutex.** 
0ea0: 69 6d 70 6c 65 6d 65 6e 74 61 74 69 6f 6e 20 69  implementation i
0eb0: 73 20 61 76 61 69 6c 61 62 6c 65 20 6f 6e 20 74  s available on t
0ec0: 68 65 20 68 6f 73 74 20 70 6c 61 74 66 6f 72 6d  he host platform
0ed0: 2c 20 74 68 65 20 6d 75 74 65 78 20 73 75 62 73  , the mutex subs
0ee0: 79 73 74 65 6d 0a 2a 2a 20 6d 69 67 68 74 20 72  ystem.** might r
0ef0: 65 74 75 72 6e 20 73 75 63 68 20 61 20 6d 75 74  eturn such a mut
0f00: 65 78 20 69 6e 20 72 65 73 70 6f 6e 73 65 20 74  ex in response t
0f10: 6f 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 46  o SQLITE_MUTEX_F
0f20: 41 53 54 2e 0a 2a 2a 0a 2a 2a 20 54 68 65 20 6f  AST..**.** The o
0f30: 74 68 65 72 20 61 6c 6c 6f 77 65 64 20 70 61 72  ther allowed par
0f40: 61 6d 65 74 65 72 73 20 74 6f 20 73 71 6c 69 74  ameters to sqlit
0f50: 65 33 5f 6d 75 74 65 78 5f 61 6c 6c 6f 63 28 29  e3_mutex_alloc()
0f60: 20 65 61 63 68 20 72 65 74 75 72 6e 0a 2a 2a 20   each return.** 
0f70: 61 20 70 6f 69 6e 74 65 72 20 74 6f 20 61 20 73  a pointer to a s
0f80: 74 61 74 69 63 20 70 72 65 65 78 69 73 74 69 6e  tatic preexistin
0f90: 67 20 6d 75 74 65 78 2e 20 20 53 69 78 20 73 74  g mutex.  Six st
0fa0: 61 74 69 63 20 6d 75 74 65 78 65 73 20 61 72 65  atic mutexes are
0fb0: 0a 2a 2a 20 75 73 65 64 20 62 79 20 74 68 65 20  .** used by the 
0fc0: 63 75 72 72 65 6e 74 20 76 65 72 73 69 6f 6e 20  current version 
0fd0: 6f 66 20 53 51 4c 69 74 65 2e 20 20 46 75 74 75  of SQLite.  Futu
0fe0: 72 65 20 76 65 72 73 69 6f 6e 73 20 6f 66 20 53  re versions of S
0ff0: 51 4c 69 74 65 0a 2a 2a 20 6d 61 79 20 61 64 64  QLite.** may add
1000: 20 61 64 64 69 74 69 6f 6e 61 6c 20 73 74 61 74   additional stat
1010: 69 63 20 6d 75 74 65 78 65 73 2e 20 20 53 74 61  ic mutexes.  Sta
1020: 74 69 63 20 6d 75 74 65 78 65 73 20 61 72 65 20  tic mutexes are 
1030: 66 6f 72 20 69 6e 74 65 72 6e 61 6c 0a 2a 2a 20  for internal.** 
1040: 75 73 65 20 62 79 20 53 51 4c 69 74 65 20 6f 6e  use by SQLite on
1050: 6c 79 2e 20 20 41 70 70 6c 69 63 61 74 69 6f 6e  ly.  Application
1060: 73 20 74 68 61 74 20 75 73 65 20 53 51 4c 69 74  s that use SQLit
1070: 65 20 6d 75 74 65 78 65 73 20 73 68 6f 75 6c 64  e mutexes should
1080: 0a 2a 2a 20 75 73 65 20 6f 6e 6c 79 20 74 68 65  .** use only the
1090: 20 64 79 6e 61 6d 69 63 20 6d 75 74 65 78 65 73   dynamic mutexes
10a0: 20 72 65 74 75 72 6e 65 64 20 62 79 20 53 51 4c   returned by SQL
10b0: 49 54 45 5f 4d 55 54 45 58 5f 46 41 53 54 20 6f  ITE_MUTEX_FAST o
10c0: 72 0a 2a 2a 20 53 51 4c 49 54 45 5f 4d 55 54 45  r.** SQLITE_MUTE
10d0: 58 5f 52 45 43 55 52 53 49 56 45 2e 0a 2a 2a 0a  X_RECURSIVE..**.
10e0: 2a 2a 20 4e 6f 74 65 20 74 68 61 74 20 69 66 20  ** Note that if 
10f0: 6f 6e 65 20 6f 66 20 74 68 65 20 64 79 6e 61 6d  one of the dynam
1100: 69 63 20 6d 75 74 65 78 20 70 61 72 61 6d 65 74  ic mutex paramet
1110: 65 72 73 20 28 53 51 4c 49 54 45 5f 4d 55 54 45  ers (SQLITE_MUTE
1120: 58 5f 46 41 53 54 0a 2a 2a 20 6f 72 20 53 51 4c  X_FAST.** or SQL
1130: 49 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53  ITE_MUTEX_RECURS
1140: 49 56 45 29 20 69 73 20 75 73 65 64 20 74 68 65  IVE) is used the
1150: 6e 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f  n sqlite3_mutex_
1160: 61 6c 6c 6f 63 28 29 0a 2a 2a 20 72 65 74 75 72  alloc().** retur
1170: 6e 73 20 61 20 64 69 66 66 65 72 65 6e 74 20 6d  ns a different m
1180: 75 74 65 78 20 6f 6e 20 65 76 65 72 79 20 63 61  utex on every ca
1190: 6c 6c 2e 20 20 42 75 74 20 66 6f 72 20 74 68 65  ll.  But for the
11a0: 20 73 74 61 74 69 63 20 0a 2a 2a 20 6d 75 74 65   static .** mute
11b0: 78 20 74 79 70 65 73 2c 20 74 68 65 20 73 61 6d  x types, the sam
11c0: 65 20 6d 75 74 65 78 20 69 73 20 72 65 74 75 72  e mutex is retur
11d0: 6e 65 64 20 6f 6e 20 65 76 65 72 79 20 63 61 6c  ned on every cal
11e0: 6c 20 74 68 61 74 20 68 61 73 0a 2a 2a 20 74 68  l that has.** th
11f0: 65 20 73 61 6d 65 20 74 79 70 65 20 6e 75 6d 62  e same type numb
1200: 65 72 2e 0a 2a 2f 0a 73 74 61 74 69 63 20 73 71  er..*/.static sq
1210: 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a 70 74 68  lite3_mutex *pth
1220: 72 65 61 64 4d 75 74 65 78 41 6c 6c 6f 63 28 69  readMutexAlloc(i
1230: 6e 74 20 69 54 79 70 65 29 7b 0a 20 20 73 74 61  nt iType){.  sta
1240: 74 69 63 20 73 71 6c 69 74 65 33 5f 6d 75 74 65  tic sqlite3_mute
1250: 78 20 73 74 61 74 69 63 4d 75 74 65 78 65 73 5b  x staticMutexes[
1260: 5d 20 3d 20 7b 0a 20 20 20 20 53 51 4c 49 54 45  ] = {.    SQLITE
1270: 33 5f 4d 55 54 45 58 5f 49 4e 49 54 49 41 4c 49  3_MUTEX_INITIALI
1280: 5a 45 52 2c 0a 20 20 20 20 53 51 4c 49 54 45 33  ZER,.    SQLITE3
1290: 5f 4d 55 54 45 58 5f 49 4e 49 54 49 41 4c 49 5a  _MUTEX_INITIALIZ
12a0: 45 52 2c 0a 20 20 20 20 53 51 4c 49 54 45 33 5f  ER,.    SQLITE3_
12b0: 4d 55 54 45 58 5f 49 4e 49 54 49 41 4c 49 5a 45  MUTEX_INITIALIZE
12c0: 52 2c 0a 20 20 20 20 53 51 4c 49 54 45 33 5f 4d  R,.    SQLITE3_M
12d0: 55 54 45 58 5f 49 4e 49 54 49 41 4c 49 5a 45 52  UTEX_INITIALIZER
12e0: 2c 0a 20 20 20 20 53 51 4c 49 54 45 33 5f 4d 55  ,.    SQLITE3_MU
12f0: 54 45 58 5f 49 4e 49 54 49 41 4c 49 5a 45 52 2c  TEX_INITIALIZER,
1300: 0a 20 20 20 20 53 51 4c 49 54 45 33 5f 4d 55 54  .    SQLITE3_MUT
1310: 45 58 5f 49 4e 49 54 49 41 4c 49 5a 45 52 0a 20  EX_INITIALIZER. 
1320: 20 7d 3b 0a 20 20 73 71 6c 69 74 65 33 5f 6d 75   };.  sqlite3_mu
1330: 74 65 78 20 2a 70 3b 0a 20 20 73 77 69 74 63 68  tex *p;.  switch
1340: 28 20 69 54 79 70 65 20 29 7b 0a 20 20 20 20 63  ( iType ){.    c
1350: 61 73 65 20 53 51 4c 49 54 45 5f 4d 55 54 45 58  ase SQLITE_MUTEX
1360: 5f 52 45 43 55 52 53 49 56 45 3a 20 7b 0a 20 20  _RECURSIVE: {.  
1370: 20 20 20 20 70 20 3d 20 73 71 6c 69 74 65 33 4d      p = sqlite3M
1380: 61 6c 6c 6f 63 5a 65 72 6f 28 20 73 69 7a 65 6f  allocZero( sizeo
1390: 66 28 2a 70 29 20 29 3b 0a 20 20 20 20 20 20 69  f(*p) );.      i
13a0: 66 28 20 70 20 29 7b 0a 23 69 66 64 65 66 20 53  f( p ){.#ifdef S
13b0: 51 4c 49 54 45 5f 48 4f 4d 45 47 52 4f 57 4e 5f  QLITE_HOMEGROWN_
13c0: 52 45 43 55 52 53 49 56 45 5f 4d 55 54 45 58 0a  RECURSIVE_MUTEX.
13d0: 20 20 20 20 20 20 20 20 2f 2a 20 49 66 20 72 65          /* If re
13e0: 63 75 72 73 69 76 65 20 6d 75 74 65 78 65 73 20  cursive mutexes 
13f0: 61 72 65 20 6e 6f 74 20 61 76 61 69 6c 61 62 6c  are not availabl
1400: 65 2c 20 77 65 20 77 69 6c 6c 20 68 61 76 65 20  e, we will have 
1410: 74 6f 0a 20 20 20 20 20 20 20 20 2a 2a 20 62 75  to.        ** bu
1420: 69 6c 64 20 6f 75 72 20 6f 77 6e 2e 20 20 53 65  ild our own.  Se
1430: 65 20 62 65 6c 6f 77 2e 20 2a 2f 0a 20 20 20 20  e below. */.    
1440: 20 20 20 20 70 74 68 72 65 61 64 5f 6d 75 74 65      pthread_mute
1450: 78 5f 69 6e 69 74 28 26 70 2d 3e 6d 75 74 65 78  x_init(&p->mutex
1460: 2c 20 30 29 3b 0a 23 65 6c 73 65 0a 20 20 20 20  , 0);.#else.    
1470: 20 20 20 20 2f 2a 20 55 73 65 20 61 20 72 65 63      /* Use a rec
1480: 75 72 73 69 76 65 20 6d 75 74 65 78 20 69 66 20  ursive mutex if 
1490: 69 74 20 69 73 20 61 76 61 69 6c 61 62 6c 65 20  it is available 
14a0: 2a 2f 0a 20 20 20 20 20 20 20 20 70 74 68 72 65  */.        pthre
14b0: 61 64 5f 6d 75 74 65 78 61 74 74 72 5f 74 20 72  ad_mutexattr_t r
14c0: 65 63 75 72 73 69 76 65 41 74 74 72 3b 0a 20 20  ecursiveAttr;.  
14d0: 20 20 20 20 20 20 70 74 68 72 65 61 64 5f 6d 75        pthread_mu
14e0: 74 65 78 61 74 74 72 5f 69 6e 69 74 28 26 72 65  texattr_init(&re
14f0: 63 75 72 73 69 76 65 41 74 74 72 29 3b 0a 20 20  cursiveAttr);.  
1500: 20 20 20 20 20 20 70 74 68 72 65 61 64 5f 6d 75        pthread_mu
1510: 74 65 78 61 74 74 72 5f 73 65 74 74 79 70 65 28  texattr_settype(
1520: 26 72 65 63 75 72 73 69 76 65 41 74 74 72 2c 20  &recursiveAttr, 
1530: 50 54 48 52 45 41 44 5f 4d 55 54 45 58 5f 52 45  PTHREAD_MUTEX_RE
1540: 43 55 52 53 49 56 45 29 3b 0a 20 20 20 20 20 20  CURSIVE);.      
1550: 20 20 70 74 68 72 65 61 64 5f 6d 75 74 65 78 5f    pthread_mutex_
1560: 69 6e 69 74 28 26 70 2d 3e 6d 75 74 65 78 2c 20  init(&p->mutex, 
1570: 26 72 65 63 75 72 73 69 76 65 41 74 74 72 29 3b  &recursiveAttr);
1580: 0a 20 20 20 20 20 20 20 20 70 74 68 72 65 61 64  .        pthread
1590: 5f 6d 75 74 65 78 61 74 74 72 5f 64 65 73 74 72  _mutexattr_destr
15a0: 6f 79 28 26 72 65 63 75 72 73 69 76 65 41 74 74  oy(&recursiveAtt
15b0: 72 29 3b 0a 23 65 6e 64 69 66 0a 20 20 20 20 20  r);.#endif.     
15c0: 20 20 20 70 2d 3e 69 64 20 3d 20 69 54 79 70 65     p->id = iType
15d0: 3b 0a 20 20 20 20 20 20 7d 0a 20 20 20 20 20 20  ;.      }.      
15e0: 62 72 65 61 6b 3b 0a 20 20 20 20 7d 0a 20 20 20  break;.    }.   
15f0: 20 63 61 73 65 20 53 51 4c 49 54 45 5f 4d 55 54   case SQLITE_MUT
1600: 45 58 5f 46 41 53 54 3a 20 7b 0a 20 20 20 20 20  EX_FAST: {.     
1610: 20 70 20 3d 20 73 71 6c 69 74 65 33 4d 61 6c 6c   p = sqlite3Mall
1620: 6f 63 5a 65 72 6f 28 20 73 69 7a 65 6f 66 28 2a  ocZero( sizeof(*
1630: 70 29 20 29 3b 0a 20 20 20 20 20 20 69 66 28 20  p) );.      if( 
1640: 70 20 29 7b 0a 20 20 20 20 20 20 20 20 70 2d 3e  p ){.        p->
1650: 69 64 20 3d 20 69 54 79 70 65 3b 0a 20 20 20 20  id = iType;.    
1660: 20 20 20 20 70 74 68 72 65 61 64 5f 6d 75 74 65      pthread_mute
1670: 78 5f 69 6e 69 74 28 26 70 2d 3e 6d 75 74 65 78  x_init(&p->mutex
1680: 2c 20 30 29 3b 0a 20 20 20 20 20 20 7d 0a 20 20  , 0);.      }.  
1690: 20 20 20 20 62 72 65 61 6b 3b 0a 20 20 20 20 7d      break;.    }
16a0: 0a 20 20 20 20 64 65 66 61 75 6c 74 3a 20 7b 0a  .    default: {.
16b0: 20 20 20 20 20 20 61 73 73 65 72 74 28 20 69 54        assert( iT
16c0: 79 70 65 2d 32 20 3e 3d 20 30 20 29 3b 0a 20 20  ype-2 >= 0 );.  
16d0: 20 20 20 20 61 73 73 65 72 74 28 20 69 54 79 70      assert( iTyp
16e0: 65 2d 32 20 3c 20 41 72 72 61 79 53 69 7a 65 28  e-2 < ArraySize(
16f0: 73 74 61 74 69 63 4d 75 74 65 78 65 73 29 20 29  staticMutexes) )
1700: 3b 0a 20 20 20 20 20 20 70 20 3d 20 26 73 74 61  ;.      p = &sta
1710: 74 69 63 4d 75 74 65 78 65 73 5b 69 54 79 70 65  ticMutexes[iType
1720: 2d 32 5d 3b 0a 20 20 20 20 20 20 70 2d 3e 69 64  -2];.      p->id
1730: 20 3d 20 69 54 79 70 65 3b 0a 20 20 20 20 20 20   = iType;.      
1740: 62 72 65 61 6b 3b 0a 20 20 20 20 7d 0a 20 20 7d  break;.    }.  }
1750: 0a 20 20 72 65 74 75 72 6e 20 70 3b 0a 7d 0a 0a  .  return p;.}..
1760: 0a 2f 2a 0a 2a 2a 20 54 68 69 73 20 72 6f 75 74  ./*.** This rout
1770: 69 6e 65 20 64 65 61 6c 6c 6f 63 61 74 65 73 20  ine deallocates 
1780: 61 20 70 72 65 76 69 6f 75 73 6c 79 0a 2a 2a 20  a previously.** 
1790: 61 6c 6c 6f 63 61 74 65 64 20 6d 75 74 65 78 2e  allocated mutex.
17a0: 20 20 53 51 4c 69 74 65 20 69 73 20 63 61 72 65    SQLite is care
17b0: 66 75 6c 20 74 6f 20 64 65 61 6c 6c 6f 63 61 74  ful to deallocat
17c0: 65 20 65 76 65 72 79 0a 2a 2a 20 6d 75 74 65 78  e every.** mutex
17d0: 20 74 68 61 74 20 69 74 20 61 6c 6c 6f 63 61 74   that it allocat
17e0: 65 73 2e 0a 2a 2f 0a 73 74 61 74 69 63 20 76 6f  es..*/.static vo
17f0: 69 64 20 70 74 68 72 65 61 64 4d 75 74 65 78 46  id pthreadMutexF
1800: 72 65 65 28 73 71 6c 69 74 65 33 5f 6d 75 74 65  ree(sqlite3_mute
1810: 78 20 2a 70 29 7b 0a 20 20 61 73 73 65 72 74 28  x *p){.  assert(
1820: 20 70 2d 3e 6e 52 65 66 3d 3d 30 20 29 3b 0a 20   p->nRef==0 );. 
1830: 20 61 73 73 65 72 74 28 20 70 2d 3e 69 64 3d 3d   assert( p->id==
1840: 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 46 41 53  SQLITE_MUTEX_FAS
1850: 54 20 7c 7c 20 70 2d 3e 69 64 3d 3d 53 51 4c 49  T || p->id==SQLI
1860: 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49  TE_MUTEX_RECURSI
1870: 56 45 20 29 3b 0a 20 20 70 74 68 72 65 61 64 5f  VE );.  pthread_
1880: 6d 75 74 65 78 5f 64 65 73 74 72 6f 79 28 26 70  mutex_destroy(&p
1890: 2d 3e 6d 75 74 65 78 29 3b 0a 20 20 73 71 6c 69  ->mutex);.  sqli
18a0: 74 65 33 5f 66 72 65 65 28 70 29 3b 0a 7d 0a 0a  te3_free(p);.}..
18b0: 2f 2a 0a 2a 2a 20 54 68 65 20 73 71 6c 69 74 65  /*.** The sqlite
18c0: 33 5f 6d 75 74 65 78 5f 65 6e 74 65 72 28 29 20  3_mutex_enter() 
18d0: 61 6e 64 20 73 71 6c 69 74 65 33 5f 6d 75 74 65  and sqlite3_mute
18e0: 78 5f 74 72 79 28 29 20 72 6f 75 74 69 6e 65 73  x_try() routines
18f0: 20 61 74 74 65 6d 70 74 0a 2a 2a 20 74 6f 20 65   attempt.** to e
1900: 6e 74 65 72 20 61 20 6d 75 74 65 78 2e 20 20 49  nter a mutex.  I
1910: 66 20 61 6e 6f 74 68 65 72 20 74 68 72 65 61 64  f another thread
1920: 20 69 73 20 61 6c 72 65 61 64 79 20 77 69 74 68   is already with
1930: 69 6e 20 74 68 65 20 6d 75 74 65 78 2c 0a 2a 2a  in the mutex,.**
1940: 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 65   sqlite3_mutex_e
1950: 6e 74 65 72 28 29 20 77 69 6c 6c 20 62 6c 6f 63  nter() will bloc
1960: 6b 20 61 6e 64 20 73 71 6c 69 74 65 33 5f 6d 75  k and sqlite3_mu
1970: 74 65 78 5f 74 72 79 28 29 20 77 69 6c 6c 20 72  tex_try() will r
1980: 65 74 75 72 6e 0a 2a 2a 20 53 51 4c 49 54 45 5f  eturn.** SQLITE_
1990: 42 55 53 59 2e 20 20 54 68 65 20 73 71 6c 69 74  BUSY.  The sqlit
19a0: 65 33 5f 6d 75 74 65 78 5f 74 72 79 28 29 20 69  e3_mutex_try() i
19b0: 6e 74 65 72 66 61 63 65 20 72 65 74 75 72 6e 73  nterface returns
19c0: 20 53 51 4c 49 54 45 5f 4f 4b 0a 2a 2a 20 75 70   SQLITE_OK.** up
19d0: 6f 6e 20 73 75 63 63 65 73 73 66 75 6c 20 65 6e  on successful en
19e0: 74 72 79 2e 20 20 4d 75 74 65 78 65 73 20 63 72  try.  Mutexes cr
19f0: 65 61 74 65 64 20 75 73 69 6e 67 20 53 51 4c 49  eated using SQLI
1a00: 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49  TE_MUTEX_RECURSI
1a10: 56 45 20 63 61 6e 0a 2a 2a 20 62 65 20 65 6e 74  VE can.** be ent
1a20: 65 72 65 64 20 6d 75 6c 74 69 70 6c 65 20 74 69  ered multiple ti
1a30: 6d 65 73 20 62 79 20 74 68 65 20 73 61 6d 65 20  mes by the same 
1a40: 74 68 72 65 61 64 2e 20 20 49 6e 20 73 75 63 68  thread.  In such
1a50: 20 63 61 73 65 73 20 74 68 65 2c 0a 2a 2a 20 6d   cases the,.** m
1a60: 75 74 65 78 20 6d 75 73 74 20 62 65 20 65 78 69  utex must be exi
1a70: 74 65 64 20 61 6e 20 65 71 75 61 6c 20 6e 75 6d  ted an equal num
1a80: 62 65 72 20 6f 66 20 74 69 6d 65 73 20 62 65 66  ber of times bef
1a90: 6f 72 65 20 61 6e 6f 74 68 65 72 20 74 68 72 65  ore another thre
1aa0: 61 64 0a 2a 2a 20 63 61 6e 20 65 6e 74 65 72 2e  ad.** can enter.
1ab0: 20 20 49 66 20 74 68 65 20 73 61 6d 65 20 74 68    If the same th
1ac0: 72 65 61 64 20 74 72 69 65 73 20 74 6f 20 65 6e  read tries to en
1ad0: 74 65 72 20 61 6e 79 20 6f 74 68 65 72 20 6b 69  ter any other ki
1ae0: 6e 64 20 6f 66 20 6d 75 74 65 78 0a 2a 2a 20 6d  nd of mutex.** m
1af0: 6f 72 65 20 74 68 61 6e 20 6f 6e 63 65 2c 20 74  ore than once, t
1b00: 68 65 20 62 65 68 61 76 69 6f 72 20 69 73 20 75  he behavior is u
1b10: 6e 64 65 66 69 6e 65 64 2e 0a 2a 2f 0a 73 74 61  ndefined..*/.sta
1b20: 74 69 63 20 76 6f 69 64 20 70 74 68 72 65 61 64  tic void pthread
1b30: 4d 75 74 65 78 45 6e 74 65 72 28 73 71 6c 69 74  MutexEnter(sqlit
1b40: 65 33 5f 6d 75 74 65 78 20 2a 70 29 7b 0a 20 20  e3_mutex *p){.  
1b50: 61 73 73 65 72 74 28 20 70 2d 3e 69 64 3d 3d 53  assert( p->id==S
1b60: 51 4c 49 54 45 5f 4d 55 54 45 58 5f 52 45 43 55  QLITE_MUTEX_RECU
1b70: 52 53 49 56 45 20 7c 7c 20 70 74 68 72 65 61 64  RSIVE || pthread
1b80: 4d 75 74 65 78 4e 6f 74 68 65 6c 64 28 70 29 20  MutexNotheld(p) 
1b90: 29 3b 0a 0a 23 69 66 64 65 66 20 53 51 4c 49 54  );..#ifdef SQLIT
1ba0: 45 5f 48 4f 4d 45 47 52 4f 57 4e 5f 52 45 43 55  E_HOMEGROWN_RECU
1bb0: 52 53 49 56 45 5f 4d 55 54 45 58 0a 20 20 2f 2a  RSIVE_MUTEX.  /*
1bc0: 20 49 66 20 72 65 63 75 72 73 69 76 65 20 6d 75   If recursive mu
1bd0: 74 65 78 65 73 20 61 72 65 20 6e 6f 74 20 61 76  texes are not av
1be0: 61 69 6c 61 62 6c 65 2c 20 74 68 65 6e 20 77 65  ailable, then we
1bf0: 20 68 61 76 65 20 74 6f 20 67 72 6f 77 0a 20 20   have to grow.  
1c00: 2a 2a 20 6f 75 72 20 6f 77 6e 2e 20 20 54 68 69  ** our own.  Thi
1c10: 73 20 69 6d 70 6c 65 6d 65 6e 74 61 74 69 6f 6e  s implementation
1c20: 20 61 73 73 75 6d 65 73 20 74 68 61 74 20 70 74   assumes that pt
1c30: 68 72 65 61 64 5f 65 71 75 61 6c 28 29 0a 20 20  hread_equal().  
1c40: 2a 2a 20 69 73 20 61 74 6f 6d 69 63 20 2d 20 74  ** is atomic - t
1c50: 68 61 74 20 69 74 20 63 61 6e 6e 6f 74 20 62 65  hat it cannot be
1c60: 20 64 65 63 65 69 76 65 64 20 69 6e 74 6f 20 74   deceived into t
1c70: 68 69 6e 6b 69 6e 67 20 73 65 6c 66 0a 20 20 2a  hinking self.  *
1c80: 2a 20 61 6e 64 20 70 2d 3e 6f 77 6e 65 72 20 61  * and p->owner a
1c90: 72 65 20 65 71 75 61 6c 20 69 66 20 70 2d 3e 6f  re equal if p->o
1ca0: 77 6e 65 72 20 63 68 61 6e 67 65 73 20 62 65 74  wner changes bet
1cb0: 77 65 65 6e 20 74 77 6f 20 76 61 6c 75 65 73 0a  ween two values.
1cc0: 20 20 2a 2a 20 74 68 61 74 20 61 72 65 20 6e 6f    ** that are no
1cd0: 74 20 65 71 75 61 6c 20 74 6f 20 73 65 6c 66 20  t equal to self 
1ce0: 77 68 69 6c 65 20 74 68 65 20 63 6f 6d 70 61 72  while the compar
1cf0: 69 73 6f 6e 20 69 73 20 74 61 6b 69 6e 67 20 70  ison is taking p
1d00: 6c 61 63 65 2e 0a 20 20 2a 2a 20 54 68 69 73 20  lace..  ** This 
1d10: 69 6d 70 6c 65 6d 65 6e 74 61 74 69 6f 6e 20 61  implementation a
1d20: 6c 73 6f 20 61 73 73 75 6d 65 73 20 61 20 63 6f  lso assumes a co
1d30: 68 65 72 65 6e 74 20 63 61 63 68 65 20 2d 20 74  herent cache - t
1d40: 68 61 74 20 0a 20 20 2a 2a 20 73 65 70 61 72 61  hat .  ** separa
1d50: 74 65 20 70 72 6f 63 65 73 73 65 73 20 63 61 6e  te processes can
1d60: 6e 6f 74 20 72 65 61 64 20 64 69 66 66 65 72 65  not read differe
1d70: 6e 74 20 76 61 6c 75 65 73 20 66 72 6f 6d 20 74  nt values from t
1d80: 68 65 20 73 61 6d 65 0a 20 20 2a 2a 20 61 64 64  he same.  ** add
1d90: 72 65 73 73 20 61 74 20 74 68 65 20 73 61 6d 65  ress at the same
1da0: 20 74 69 6d 65 2e 20 20 49 66 20 65 69 74 68 65   time.  If eithe
1db0: 72 20 6f 66 20 74 68 65 73 65 20 74 77 6f 20 63  r of these two c
1dc0: 6f 6e 64 69 74 69 6f 6e 73 0a 20 20 2a 2a 20 61  onditions.  ** a
1dd0: 72 65 20 6e 6f 74 20 6d 65 74 2c 20 74 68 65 6e  re not met, then
1de0: 20 74 68 65 20 6d 75 74 65 78 65 73 20 77 69 6c   the mutexes wil
1df0: 6c 20 66 61 69 6c 20 61 6e 64 20 70 72 6f 62 6c  l fail and probl
1e00: 65 6d 73 20 77 69 6c 6c 20 72 65 73 75 6c 74 2e  ems will result.
1e10: 0a 20 20 2a 2f 0a 20 20 7b 0a 20 20 20 20 70 74  .  */.  {.    pt
1e20: 68 72 65 61 64 5f 74 20 73 65 6c 66 20 3d 20 70  hread_t self = p
1e30: 74 68 72 65 61 64 5f 73 65 6c 66 28 29 3b 0a 20  thread_self();. 
1e40: 20 20 20 69 66 28 20 70 2d 3e 6e 52 65 66 3e 30     if( p->nRef>0
1e50: 20 26 26 20 70 74 68 72 65 61 64 5f 65 71 75 61   && pthread_equa
1e60: 6c 28 70 2d 3e 6f 77 6e 65 72 2c 20 73 65 6c 66  l(p->owner, self
1e70: 29 20 29 7b 0a 20 20 20 20 20 20 70 2d 3e 6e 52  ) ){.      p->nR
1e80: 65 66 2b 2b 3b 0a 20 20 20 20 7d 65 6c 73 65 7b  ef++;.    }else{
1e90: 0a 20 20 20 20 20 20 70 74 68 72 65 61 64 5f 6d  .      pthread_m
1ea0: 75 74 65 78 5f 6c 6f 63 6b 28 26 70 2d 3e 6d 75  utex_lock(&p->mu
1eb0: 74 65 78 29 3b 0a 20 20 20 20 20 20 61 73 73 65  tex);.      asse
1ec0: 72 74 28 20 70 2d 3e 6e 52 65 66 3d 3d 30 20 29  rt( p->nRef==0 )
1ed0: 3b 0a 20 20 20 20 20 20 70 2d 3e 6f 77 6e 65 72  ;.      p->owner
1ee0: 20 3d 20 73 65 6c 66 3b 0a 20 20 20 20 20 20 70   = self;.      p
1ef0: 2d 3e 6e 52 65 66 20 3d 20 31 3b 0a 20 20 20 20  ->nRef = 1;.    
1f00: 7d 0a 20 20 7d 0a 23 65 6c 73 65 0a 20 20 2f 2a  }.  }.#else.  /*
1f10: 20 55 73 65 20 74 68 65 20 62 75 69 6c 74 2d 69   Use the built-i
1f20: 6e 20 72 65 63 75 72 73 69 76 65 20 6d 75 74 65  n recursive mute
1f30: 78 65 73 20 69 66 20 74 68 65 79 20 61 72 65 20  xes if they are 
1f40: 61 76 61 69 6c 61 62 6c 65 2e 0a 20 20 2a 2f 0a  available..  */.
1f50: 20 20 70 74 68 72 65 61 64 5f 6d 75 74 65 78 5f    pthread_mutex_
1f60: 6c 6f 63 6b 28 26 70 2d 3e 6d 75 74 65 78 29 3b  lock(&p->mutex);
1f70: 0a 20 20 70 2d 3e 6f 77 6e 65 72 20 3d 20 70 74  .  p->owner = pt
1f80: 68 72 65 61 64 5f 73 65 6c 66 28 29 3b 0a 20 20  hread_self();.  
1f90: 70 2d 3e 6e 52 65 66 2b 2b 3b 0a 23 65 6e 64 69  p->nRef++;.#endi
1fa0: 66 0a 0a 23 69 66 64 65 66 20 53 51 4c 49 54 45  f..#ifdef SQLITE
1fb0: 5f 44 45 42 55 47 0a 20 20 69 66 28 20 70 2d 3e  _DEBUG.  if( p->
1fc0: 74 72 61 63 65 20 29 7b 0a 20 20 20 20 70 72 69  trace ){.    pri
1fd0: 6e 74 66 28 22 65 6e 74 65 72 20 6d 75 74 65 78  ntf("enter mutex
1fe0: 20 25 70 20 28 25 64 29 20 77 69 74 68 20 6e 52   %p (%d) with nR
1ff0: 65 66 3d 25 64 5c 6e 22 2c 20 70 2c 20 70 2d 3e  ef=%d\n", p, p->
2000: 74 72 61 63 65 2c 20 70 2d 3e 6e 52 65 66 29 3b  trace, p->nRef);
2010: 0a 20 20 7d 0a 23 65 6e 64 69 66 0a 7d 0a 73 74  .  }.#endif.}.st
2020: 61 74 69 63 20 69 6e 74 20 70 74 68 72 65 61 64  atic int pthread
2030: 4d 75 74 65 78 54 72 79 28 73 71 6c 69 74 65 33  MutexTry(sqlite3
2040: 5f 6d 75 74 65 78 20 2a 70 29 7b 0a 20 20 69 6e  _mutex *p){.  in
2050: 74 20 72 63 3b 0a 20 20 61 73 73 65 72 74 28 20  t rc;.  assert( 
2060: 70 2d 3e 69 64 3d 3d 53 51 4c 49 54 45 5f 4d 55  p->id==SQLITE_MU
2070: 54 45 58 5f 52 45 43 55 52 53 49 56 45 20 7c 7c  TEX_RECURSIVE ||
2080: 20 70 74 68 72 65 61 64 4d 75 74 65 78 4e 6f 74   pthreadMutexNot
2090: 68 65 6c 64 28 70 29 20 29 3b 0a 0a 23 69 66 64  held(p) );..#ifd
20a0: 65 66 20 53 51 4c 49 54 45 5f 48 4f 4d 45 47 52  ef SQLITE_HOMEGR
20b0: 4f 57 4e 5f 52 45 43 55 52 53 49 56 45 5f 4d 55  OWN_RECURSIVE_MU
20c0: 54 45 58 0a 20 20 2f 2a 20 49 66 20 72 65 63 75  TEX.  /* If recu
20d0: 72 73 69 76 65 20 6d 75 74 65 78 65 73 20 61 72  rsive mutexes ar
20e0: 65 20 6e 6f 74 20 61 76 61 69 6c 61 62 6c 65 2c  e not available,
20f0: 20 74 68 65 6e 20 77 65 20 68 61 76 65 20 74 6f   then we have to
2100: 20 67 72 6f 77 0a 20 20 2a 2a 20 6f 75 72 20 6f   grow.  ** our o
2110: 77 6e 2e 20 20 54 68 69 73 20 69 6d 70 6c 65 6d  wn.  This implem
2120: 65 6e 74 61 74 69 6f 6e 20 61 73 73 75 6d 65 73  entation assumes
2130: 20 74 68 61 74 20 70 74 68 72 65 61 64 5f 65 71   that pthread_eq
2140: 75 61 6c 28 29 0a 20 20 2a 2a 20 69 73 20 61 74  ual().  ** is at
2150: 6f 6d 69 63 20 2d 20 74 68 61 74 20 69 74 20 63  omic - that it c
2160: 61 6e 6e 6f 74 20 62 65 20 64 65 63 65 69 76 65  annot be deceive
2170: 64 20 69 6e 74 6f 20 74 68 69 6e 6b 69 6e 67 20  d into thinking 
2180: 73 65 6c 66 0a 20 20 2a 2a 20 61 6e 64 20 70 2d  self.  ** and p-
2190: 3e 6f 77 6e 65 72 20 61 72 65 20 65 71 75 61 6c  >owner are equal
21a0: 20 69 66 20 70 2d 3e 6f 77 6e 65 72 20 63 68 61   if p->owner cha
21b0: 6e 67 65 73 20 62 65 74 77 65 65 6e 20 74 77 6f  nges between two
21c0: 20 76 61 6c 75 65 73 0a 20 20 2a 2a 20 74 68 61   values.  ** tha
21d0: 74 20 61 72 65 20 6e 6f 74 20 65 71 75 61 6c 20  t are not equal 
21e0: 74 6f 20 73 65 6c 66 20 77 68 69 6c 65 20 74 68  to self while th
21f0: 65 20 63 6f 6d 70 61 72 69 73 6f 6e 20 69 73 20  e comparison is 
2200: 74 61 6b 69 6e 67 20 70 6c 61 63 65 2e 0a 20 20  taking place..  
2210: 2a 2a 20 54 68 69 73 20 69 6d 70 6c 65 6d 65 6e  ** This implemen
2220: 74 61 74 69 6f 6e 20 61 6c 73 6f 20 61 73 73 75  tation also assu
2230: 6d 65 73 20 61 20 63 6f 68 65 72 65 6e 74 20 63  mes a coherent c
2240: 61 63 68 65 20 2d 20 74 68 61 74 20 0a 20 20 2a  ache - that .  *
2250: 2a 20 73 65 70 61 72 61 74 65 20 70 72 6f 63 65  * separate proce
2260: 73 73 65 73 20 63 61 6e 6e 6f 74 20 72 65 61 64  sses cannot read
2270: 20 64 69 66 66 65 72 65 6e 74 20 76 61 6c 75 65   different value
2280: 73 20 66 72 6f 6d 20 74 68 65 20 73 61 6d 65 0a  s from the same.
2290: 20 20 2a 2a 20 61 64 64 72 65 73 73 20 61 74 20    ** address at 
22a0: 74 68 65 20 73 61 6d 65 20 74 69 6d 65 2e 20 20  the same time.  
22b0: 49 66 20 65 69 74 68 65 72 20 6f 66 20 74 68 65  If either of the
22c0: 73 65 20 74 77 6f 20 63 6f 6e 64 69 74 69 6f 6e  se two condition
22d0: 73 0a 20 20 2a 2a 20 61 72 65 20 6e 6f 74 20 6d  s.  ** are not m
22e0: 65 74 2c 20 74 68 65 6e 20 74 68 65 20 6d 75 74  et, then the mut
22f0: 65 78 65 73 20 77 69 6c 6c 20 66 61 69 6c 20 61  exes will fail a
2300: 6e 64 20 70 72 6f 62 6c 65 6d 73 20 77 69 6c 6c  nd problems will
2310: 20 72 65 73 75 6c 74 2e 0a 20 20 2a 2f 0a 20 20   result..  */.  
2320: 7b 0a 20 20 20 20 70 74 68 72 65 61 64 5f 74 20  {.    pthread_t 
2330: 73 65 6c 66 20 3d 20 70 74 68 72 65 61 64 5f 73  self = pthread_s
2340: 65 6c 66 28 29 3b 0a 20 20 20 20 69 66 28 20 70  elf();.    if( p
2350: 2d 3e 6e 52 65 66 3e 30 20 26 26 20 70 74 68 72  ->nRef>0 && pthr
2360: 65 61 64 5f 65 71 75 61 6c 28 70 2d 3e 6f 77 6e  ead_equal(p->own
2370: 65 72 2c 20 73 65 6c 66 29 20 29 7b 0a 20 20 20  er, self) ){.   
2380: 20 20 20 70 2d 3e 6e 52 65 66 2b 2b 3b 0a 20 20     p->nRef++;.  
2390: 20 20 20 20 72 63 20 3d 20 53 51 4c 49 54 45 5f      rc = SQLITE_
23a0: 4f 4b 3b 0a 20 20 20 20 7d 65 6c 73 65 20 69 66  OK;.    }else if
23b0: 28 20 70 74 68 72 65 61 64 5f 6d 75 74 65 78 5f  ( pthread_mutex_
23c0: 74 72 79 6c 6f 63 6b 28 26 70 2d 3e 6d 75 74 65  trylock(&p->mute
23d0: 78 29 3d 3d 30 20 29 7b 0a 20 20 20 20 20 20 61  x)==0 ){.      a
23e0: 73 73 65 72 74 28 20 70 2d 3e 6e 52 65 66 3d 3d  ssert( p->nRef==
23f0: 30 20 29 3b 0a 20 20 20 20 20 20 70 2d 3e 6f 77  0 );.      p->ow
2400: 6e 65 72 20 3d 20 73 65 6c 66 3b 0a 20 20 20 20  ner = self;.    
2410: 20 20 70 2d 3e 6e 52 65 66 20 3d 20 31 3b 0a 20    p->nRef = 1;. 
2420: 20 20 20 20 20 72 63 20 3d 20 53 51 4c 49 54 45       rc = SQLITE
2430: 5f 4f 4b 3b 0a 20 20 20 20 7d 65 6c 73 65 7b 0a  _OK;.    }else{.
2440: 20 20 20 20 20 20 72 63 20 3d 20 53 51 4c 49 54        rc = SQLIT
2450: 45 5f 42 55 53 59 3b 0a 20 20 20 20 7d 0a 20 20  E_BUSY;.    }.  
2460: 7d 0a 23 65 6c 73 65 0a 20 20 2f 2a 20 55 73 65  }.#else.  /* Use
2470: 20 74 68 65 20 62 75 69 6c 74 2d 69 6e 20 72 65   the built-in re
2480: 63 75 72 73 69 76 65 20 6d 75 74 65 78 65 73 20  cursive mutexes 
2490: 69 66 20 74 68 65 79 20 61 72 65 20 61 76 61 69  if they are avai
24a0: 6c 61 62 6c 65 2e 0a 20 20 2a 2f 0a 20 20 69 66  lable..  */.  if
24b0: 28 20 70 74 68 72 65 61 64 5f 6d 75 74 65 78 5f  ( pthread_mutex_
24c0: 74 72 79 6c 6f 63 6b 28 26 70 2d 3e 6d 75 74 65  trylock(&p->mute
24d0: 78 29 3d 3d 30 20 29 7b 0a 20 20 20 20 70 2d 3e  x)==0 ){.    p->
24e0: 6f 77 6e 65 72 20 3d 20 70 74 68 72 65 61 64 5f  owner = pthread_
24f0: 73 65 6c 66 28 29 3b 0a 20 20 20 20 70 2d 3e 6e  self();.    p->n
2500: 52 65 66 2b 2b 3b 0a 20 20 20 20 72 63 20 3d 20  Ref++;.    rc = 
2510: 53 51 4c 49 54 45 5f 4f 4b 3b 0a 20 20 7d 65 6c  SQLITE_OK;.  }el
2520: 73 65 7b 0a 20 20 20 20 72 63 20 3d 20 53 51 4c  se{.    rc = SQL
2530: 49 54 45 5f 42 55 53 59 3b 0a 20 20 7d 0a 23 65  ITE_BUSY;.  }.#e
2540: 6e 64 69 66 0a 0a 23 69 66 64 65 66 20 53 51 4c  ndif..#ifdef SQL
2550: 49 54 45 5f 44 45 42 55 47 0a 20 20 69 66 28 20  ITE_DEBUG.  if( 
2560: 72 63 3d 3d 53 51 4c 49 54 45 5f 4f 4b 20 26 26  rc==SQLITE_OK &&
2570: 20 70 2d 3e 74 72 61 63 65 20 29 7b 0a 20 20 20   p->trace ){.   
2580: 20 70 72 69 6e 74 66 28 22 65 6e 74 65 72 20 6d   printf("enter m
2590: 75 74 65 78 20 25 70 20 28 25 64 29 20 77 69 74  utex %p (%d) wit
25a0: 68 20 6e 52 65 66 3d 25 64 5c 6e 22 2c 20 70 2c  h nRef=%d\n", p,
25b0: 20 70 2d 3e 74 72 61 63 65 2c 20 70 2d 3e 6e 52   p->trace, p->nR
25c0: 65 66 29 3b 0a 20 20 7d 0a 23 65 6e 64 69 66 0a  ef);.  }.#endif.
25d0: 20 20 72 65 74 75 72 6e 20 72 63 3b 0a 7d 0a 0a    return rc;.}..
25e0: 2f 2a 0a 2a 2a 20 54 68 65 20 73 71 6c 69 74 65  /*.** The sqlite
25f0: 33 5f 6d 75 74 65 78 5f 6c 65 61 76 65 28 29 20  3_mutex_leave() 
2600: 72 6f 75 74 69 6e 65 20 65 78 69 74 73 20 61 20  routine exits a 
2610: 6d 75 74 65 78 20 74 68 61 74 20 77 61 73 0a 2a  mutex that was.*
2620: 2a 20 70 72 65 76 69 6f 75 73 6c 79 20 65 6e 74  * previously ent
2630: 65 72 65 64 20 62 79 20 74 68 65 20 73 61 6d 65  ered by the same
2640: 20 74 68 72 65 61 64 2e 20 20 54 68 65 20 62 65   thread.  The be
2650: 68 61 76 69 6f 72 0a 2a 2a 20 69 73 20 75 6e 64  havior.** is und
2660: 65 66 69 6e 65 64 20 69 66 20 74 68 65 20 6d 75  efined if the mu
2670: 74 65 78 20 69 73 20 6e 6f 74 20 63 75 72 72 65  tex is not curre
2680: 6e 74 6c 79 20 65 6e 74 65 72 65 64 20 6f 72 0a  ntly entered or.
2690: 2a 2a 20 69 73 20 6e 6f 74 20 63 75 72 72 65 6e  ** is not curren
26a0: 74 6c 79 20 61 6c 6c 6f 63 61 74 65 64 2e 20 20  tly allocated.  
26b0: 53 51 4c 69 74 65 20 77 69 6c 6c 20 6e 65 76 65  SQLite will neve
26c0: 72 20 64 6f 20 65 69 74 68 65 72 2e 0a 2a 2f 0a  r do either..*/.
26d0: 73 74 61 74 69 63 20 76 6f 69 64 20 70 74 68 72  static void pthr
26e0: 65 61 64 4d 75 74 65 78 4c 65 61 76 65 28 73 71  eadMutexLeave(sq
26f0: 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a 70 29 7b  lite3_mutex *p){
2700: 0a 20 20 61 73 73 65 72 74 28 20 70 74 68 72 65  .  assert( pthre
2710: 61 64 4d 75 74 65 78 48 65 6c 64 28 70 29 20 29  adMutexHeld(p) )
2720: 3b 0a 20 20 70 2d 3e 6e 52 65 66 2d 2d 3b 0a 20  ;.  p->nRef--;. 
2730: 20 61 73 73 65 72 74 28 20 70 2d 3e 6e 52 65 66   assert( p->nRef
2740: 3d 3d 30 20 7c 7c 20 70 2d 3e 69 64 3d 3d 53 51  ==0 || p->id==SQ
2750: 4c 49 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52  LITE_MUTEX_RECUR
2760: 53 49 56 45 20 29 3b 0a 0a 23 69 66 64 65 66 20  SIVE );..#ifdef 
2770: 53 51 4c 49 54 45 5f 48 4f 4d 45 47 52 4f 57 4e  SQLITE_HOMEGROWN
2780: 5f 52 45 43 55 52 53 49 56 45 5f 4d 55 54 45 58  _RECURSIVE_MUTEX
2790: 0a 20 20 69 66 28 20 70 2d 3e 6e 52 65 66 3d 3d  .  if( p->nRef==
27a0: 30 20 29 7b 0a 20 20 20 20 70 74 68 72 65 61 64  0 ){.    pthread
27b0: 5f 6d 75 74 65 78 5f 75 6e 6c 6f 63 6b 28 26 70  _mutex_unlock(&p
27c0: 2d 3e 6d 75 74 65 78 29 3b 0a 20 20 7d 0a 23 65  ->mutex);.  }.#e
27d0: 6c 73 65 0a 20 20 70 74 68 72 65 61 64 5f 6d 75  lse.  pthread_mu
27e0: 74 65 78 5f 75 6e 6c 6f 63 6b 28 26 70 2d 3e 6d  tex_unlock(&p->m
27f0: 75 74 65 78 29 3b 0a 23 65 6e 64 69 66 0a 0a 23  utex);.#endif..#
2800: 69 66 64 65 66 20 53 51 4c 49 54 45 5f 44 45 42  ifdef SQLITE_DEB
2810: 55 47 0a 20 20 69 66 28 20 70 2d 3e 74 72 61 63  UG.  if( p->trac
2820: 65 20 29 7b 0a 20 20 20 20 70 72 69 6e 74 66 28  e ){.    printf(
2830: 22 6c 65 61 76 65 20 6d 75 74 65 78 20 25 70 20  "leave mutex %p 
2840: 28 25 64 29 20 77 69 74 68 20 6e 52 65 66 3d 25  (%d) with nRef=%
2850: 64 5c 6e 22 2c 20 70 2c 20 70 2d 3e 74 72 61 63  d\n", p, p->trac
2860: 65 2c 20 70 2d 3e 6e 52 65 66 29 3b 0a 20 20 7d  e, p->nRef);.  }
2870: 0a 23 65 6e 64 69 66 0a 7d 0a 0a 73 71 6c 69 74  .#endif.}..sqlit
2880: 65 33 5f 6d 75 74 65 78 5f 6d 65 74 68 6f 64 73  e3_mutex_methods
2890: 20 2a 73 71 6c 69 74 65 33 44 65 66 61 75 6c 74   *sqlite3Default
28a0: 4d 75 74 65 78 28 76 6f 69 64 29 7b 0a 20 20 73  Mutex(void){.  s
28b0: 74 61 74 69 63 20 73 71 6c 69 74 65 33 5f 6d 75  tatic sqlite3_mu
28c0: 74 65 78 5f 6d 65 74 68 6f 64 73 20 73 4d 75 74  tex_methods sMut
28d0: 65 78 20 3d 20 7b 0a 20 20 20 20 70 74 68 72 65  ex = {.    pthre
28e0: 61 64 4d 75 74 65 78 49 6e 69 74 2c 0a 20 20 20  adMutexInit,.   
28f0: 20 70 74 68 72 65 61 64 4d 75 74 65 78 45 6e 64   pthreadMutexEnd
2900: 2c 0a 20 20 20 20 70 74 68 72 65 61 64 4d 75 74  ,.    pthreadMut
2910: 65 78 41 6c 6c 6f 63 2c 0a 20 20 20 20 70 74 68  exAlloc,.    pth
2920: 72 65 61 64 4d 75 74 65 78 46 72 65 65 2c 0a 20  readMutexFree,. 
2930: 20 20 20 70 74 68 72 65 61 64 4d 75 74 65 78 45     pthreadMutexE
2940: 6e 74 65 72 2c 0a 20 20 20 20 70 74 68 72 65 61  nter,.    pthrea
2950: 64 4d 75 74 65 78 54 72 79 2c 0a 20 20 20 20 70  dMutexTry,.    p
2960: 74 68 72 65 61 64 4d 75 74 65 78 4c 65 61 76 65  threadMutexLeave
2970: 2c 0a 23 69 66 64 65 66 20 53 51 4c 49 54 45 5f  ,.#ifdef SQLITE_
2980: 44 45 42 55 47 0a 20 20 20 20 70 74 68 72 65 61  DEBUG.    pthrea
2990: 64 4d 75 74 65 78 48 65 6c 64 2c 0a 20 20 20 20  dMutexHeld,.    
29a0: 70 74 68 72 65 61 64 4d 75 74 65 78 4e 6f 74 68  pthreadMutexNoth
29b0: 65 6c 64 0a 23 65 6c 73 65 0a 20 20 20 20 30 2c  eld.#else.    0,
29c0: 0a 20 20 20 20 30 0a 23 65 6e 64 69 66 0a 20 20  .    0.#endif.  
29d0: 7d 3b 0a 0a 20 20 72 65 74 75 72 6e 20 26 73 4d  };..  return &sM
29e0: 75 74 65 78 3b 0a 7d 0a 0a 23 65 6e 64 69 66 20  utex;.}..#endif 
29f0: 2f 2a 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f  /* SQLITE_MUTEX_
2a00: 50 54 48 52 45 41 44 20 2a 2f 0a                 PTHREAD */.