/ Hex Artifact Content
Login

Artifact a6e111947a3cdaa2cda394ed060d7f496fcb4af8:


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 35 20 32 30 30 37  nix.c,v 1.5 2007
01e0: 2f 31 31 2f 32 38 20 31 34 3a 30 34 3a 35 37 20  /11/28 14:04:57 
01f0: 64 72 68 20 45 78 70 20 24 0a 2a 2f 0a 23 69 6e  drh Exp $.*/.#in
0200: 63 6c 75 64 65 20 22 73 71 6c 69 74 65 49 6e 74  clude "sqliteInt
0210: 2e 68 22 0a 0a 2f 2a 0a 2a 2a 20 54 68 65 20 63  .h"../*.** The c
0220: 6f 64 65 20 69 6e 20 74 68 69 73 20 66 69 6c 65  ode in this file
0230: 20 69 73 20 6f 6e 6c 79 20 75 73 65 64 20 69 66   is only used if
0240: 20 77 65 20 61 72 65 20 63 6f 6d 70 69 6c 69 6e   we are compilin
0250: 67 20 74 68 72 65 61 64 73 61 66 65 0a 2a 2a 20  g threadsafe.** 
0260: 75 6e 64 65 72 20 75 6e 69 78 20 77 69 74 68 20  under unix with 
0270: 70 74 68 72 65 61 64 73 2e 0a 2a 2a 0a 2a 2a 20  pthreads..**.** 
0280: 4e 6f 74 65 20 74 68 61 74 20 74 68 69 73 20 69  Note that this i
0290: 6d 70 6c 65 6d 65 6e 74 61 74 69 6f 6e 20 72 65  mplementation re
02a0: 71 75 69 72 65 73 20 61 20 76 65 72 73 69 6f 6e  quires a version
02b0: 20 6f 66 20 70 74 68 72 65 61 64 73 20 74 68 61   of pthreads tha
02c0: 74 0a 2a 2a 20 73 75 70 70 6f 72 74 73 20 72 65  t.** supports re
02d0: 63 75 72 73 69 76 65 20 6d 75 74 65 78 65 73 2e  cursive mutexes.
02e0: 0a 2a 2f 0a 23 69 66 64 65 66 20 53 51 4c 49 54  .*/.#ifdef SQLIT
02f0: 45 5f 4d 55 54 45 58 5f 50 54 48 52 45 41 44 53  E_MUTEX_PTHREADS
0300: 0a 0a 23 69 6e 63 6c 75 64 65 20 3c 70 74 68 72  ..#include <pthr
0310: 65 61 64 2e 68 3e 0a 0a 0a 2f 2a 0a 2a 2a 20 45  ead.h>.../*.** E
0320: 61 63 68 20 72 65 63 75 72 73 69 76 65 20 6d 75  ach recursive mu
0330: 74 65 78 20 69 73 20 61 6e 20 69 6e 73 74 61 6e  tex is an instan
0340: 63 65 20 6f 66 20 74 68 65 20 66 6f 6c 6c 6f 77  ce of the follow
0350: 69 6e 67 20 73 74 72 75 63 74 75 72 65 2e 0a 2a  ing structure..*
0360: 2f 0a 73 74 72 75 63 74 20 73 71 6c 69 74 65 33  /.struct sqlite3
0370: 5f 6d 75 74 65 78 20 7b 0a 20 20 70 74 68 72 65  _mutex {.  pthre
0380: 61 64 5f 6d 75 74 65 78 5f 74 20 6d 75 74 65 78  ad_mutex_t mutex
0390: 3b 20 20 20 20 20 2f 2a 20 4d 75 74 65 78 20 63  ;     /* Mutex c
03a0: 6f 6e 74 72 6f 6c 6c 69 6e 67 20 74 68 65 20 6c  ontrolling the l
03b0: 6f 63 6b 20 2a 2f 0a 20 20 69 6e 74 20 69 64 3b  ock */.  int id;
03c0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
03d0: 20 20 20 20 2f 2a 20 4d 75 74 65 78 20 74 79 70      /* Mutex typ
03e0: 65 20 2a 2f 0a 20 20 69 6e 74 20 6e 52 65 66 3b  e */.  int nRef;
03f0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0400: 20 20 2f 2a 20 4e 75 6d 62 65 72 20 6f 66 20 65    /* Number of e
0410: 6e 74 72 61 6e 63 65 73 20 2a 2f 0a 20 20 70 74  ntrances */.  pt
0420: 68 72 65 61 64 5f 74 20 6f 77 6e 65 72 3b 20 20  hread_t owner;  
0430: 20 20 20 20 20 20 20 20 20 2f 2a 20 54 68 72 65           /* Thre
0440: 61 64 20 74 68 61 74 20 69 73 20 77 69 74 68 69  ad that is withi
0450: 6e 20 74 68 69 73 20 6d 75 74 65 78 20 2a 2f 0a  n this mutex */.
0460: 23 69 66 64 65 66 20 53 51 4c 49 54 45 5f 44 45  #ifdef SQLITE_DE
0470: 42 55 47 0a 20 20 69 6e 74 20 74 72 61 63 65 3b  BUG.  int trace;
0480: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0490: 20 2f 2a 20 54 72 75 65 20 74 6f 20 74 72 61 63   /* True to trac
04a0: 65 20 63 68 61 6e 67 65 73 20 2a 2f 0a 23 65 6e  e changes */.#en
04b0: 64 69 66 0a 7d 3b 0a 0a 2f 2a 0a 2a 2a 20 54 68  dif.};../*.** Th
04c0: 65 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f  e sqlite3_mutex_
04d0: 61 6c 6c 6f 63 28 29 20 72 6f 75 74 69 6e 65 20  alloc() routine 
04e0: 61 6c 6c 6f 63 61 74 65 73 20 61 20 6e 65 77 0a  allocates a new.
04f0: 2a 2a 20 6d 75 74 65 78 20 61 6e 64 20 72 65 74  ** mutex and ret
0500: 75 72 6e 73 20 61 20 70 6f 69 6e 74 65 72 20 74  urns a pointer t
0510: 6f 20 69 74 2e 20 20 49 66 20 69 74 20 72 65 74  o it.  If it ret
0520: 75 72 6e 73 20 4e 55 4c 4c 0a 2a 2a 20 74 68 61  urns NULL.** tha
0530: 74 20 6d 65 61 6e 73 20 74 68 61 74 20 61 20 6d  t means that a m
0540: 75 74 65 78 20 63 6f 75 6c 64 20 6e 6f 74 20 62  utex could not b
0550: 65 20 61 6c 6c 6f 63 61 74 65 64 2e 20 20 53 51  e allocated.  SQ
0560: 4c 69 74 65 0a 2a 2a 20 77 69 6c 6c 20 75 6e 77  Lite.** will unw
0570: 69 6e 64 20 69 74 73 20 73 74 61 63 6b 20 61 6e  ind its stack an
0580: 64 20 72 65 74 75 72 6e 20 61 6e 20 65 72 72 6f  d return an erro
0590: 72 2e 20 20 54 68 65 20 61 72 67 75 6d 65 6e 74  r.  The argument
05a0: 0a 2a 2a 20 74 6f 20 73 71 6c 69 74 65 33 5f 6d  .** to sqlite3_m
05b0: 75 74 65 78 5f 61 6c 6c 6f 63 28 29 20 69 73 20  utex_alloc() is 
05c0: 6f 6e 65 20 6f 66 20 74 68 65 73 65 20 69 6e 74  one of these int
05d0: 65 67 65 72 20 63 6f 6e 73 74 61 6e 74 73 3a 0a  eger constants:.
05e0: 2a 2a 0a 2a 2a 20 3c 75 6c 3e 0a 2a 2a 20 3c 6c  **.** <ul>.** <l
05f0: 69 3e 20 20 53 51 4c 49 54 45 5f 4d 55 54 45 58  i>  SQLITE_MUTEX
0600: 5f 46 41 53 54 0a 2a 2a 20 3c 6c 69 3e 20 20 53  _FAST.** <li>  S
0610: 51 4c 49 54 45 5f 4d 55 54 45 58 5f 52 45 43 55  QLITE_MUTEX_RECU
0620: 52 53 49 56 45 0a 2a 2a 20 3c 6c 69 3e 20 20 53  RSIVE.** <li>  S
0630: 51 4c 49 54 45 5f 4d 55 54 45 58 5f 53 54 41 54  QLITE_MUTEX_STAT
0640: 49 43 5f 4d 41 53 54 45 52 0a 2a 2a 20 3c 6c 69  IC_MASTER.** <li
0650: 3e 20 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f  >  SQLITE_MUTEX_
0660: 53 54 41 54 49 43 5f 4d 45 4d 0a 2a 2a 20 3c 6c  STATIC_MEM.** <l
0670: 69 3e 20 20 53 51 4c 49 54 45 5f 4d 55 54 45 58  i>  SQLITE_MUTEX
0680: 5f 53 54 41 54 49 43 5f 4d 45 4d 32 0a 2a 2a 20  _STATIC_MEM2.** 
0690: 3c 6c 69 3e 20 20 53 51 4c 49 54 45 5f 4d 55 54  <li>  SQLITE_MUT
06a0: 45 58 5f 53 54 41 54 49 43 5f 50 52 4e 47 0a 2a  EX_STATIC_PRNG.*
06b0: 2a 20 3c 6c 69 3e 20 20 53 51 4c 49 54 45 5f 4d  * <li>  SQLITE_M
06c0: 55 54 45 58 5f 53 54 41 54 49 43 5f 4c 52 55 0a  UTEX_STATIC_LRU.
06d0: 2a 2a 20 3c 2f 75 6c 3e 0a 2a 2a 0a 2a 2a 20 54  ** </ul>.**.** T
06e0: 68 65 20 66 69 72 73 74 20 74 77 6f 20 63 6f 6e  he first two con
06f0: 73 74 61 6e 74 73 20 63 61 75 73 65 20 73 71 6c  stants cause sql
0700: 69 74 65 33 5f 6d 75 74 65 78 5f 61 6c 6c 6f 63  ite3_mutex_alloc
0710: 28 29 20 74 6f 20 63 72 65 61 74 65 0a 2a 2a 20  () to create.** 
0720: 61 20 6e 65 77 20 6d 75 74 65 78 2e 20 20 54 68  a new mutex.  Th
0730: 65 20 6e 65 77 20 6d 75 74 65 78 20 69 73 20 72  e new mutex is r
0740: 65 63 75 72 73 69 76 65 20 77 68 65 6e 20 53 51  ecursive when SQ
0750: 4c 49 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52  LITE_MUTEX_RECUR
0760: 53 49 56 45 0a 2a 2a 20 69 73 20 75 73 65 64 20  SIVE.** is used 
0770: 62 75 74 20 6e 6f 74 20 6e 65 63 65 73 73 61 72  but not necessar
0780: 69 6c 79 20 73 6f 20 77 68 65 6e 20 53 51 4c 49  ily so when SQLI
0790: 54 45 5f 4d 55 54 45 58 5f 46 41 53 54 20 69 73  TE_MUTEX_FAST is
07a0: 20 75 73 65 64 2e 0a 2a 2a 20 54 68 65 20 6d 75   used..** The mu
07b0: 74 65 78 20 69 6d 70 6c 65 6d 65 6e 74 61 74 69  tex implementati
07c0: 6f 6e 20 64 6f 65 73 20 6e 6f 74 20 6e 65 65 64  on does not need
07d0: 20 74 6f 20 6d 61 6b 65 20 61 20 64 69 73 74 69   to make a disti
07e0: 6e 63 74 69 6f 6e 0a 2a 2a 20 62 65 74 77 65 65  nction.** betwee
07f0: 6e 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 52  n SQLITE_MUTEX_R
0800: 45 43 55 52 53 49 56 45 20 61 6e 64 20 53 51 4c  ECURSIVE and SQL
0810: 49 54 45 5f 4d 55 54 45 58 5f 46 41 53 54 20 69  ITE_MUTEX_FAST i
0820: 66 20 69 74 20 64 6f 65 73 0a 2a 2a 20 6e 6f 74  f it does.** not
0830: 20 77 61 6e 74 20 74 6f 2e 20 20 42 75 74 20 53   want to.  But S
0840: 51 4c 69 74 65 20 77 69 6c 6c 20 6f 6e 6c 79 20  QLite will only 
0850: 72 65 71 75 65 73 74 20 61 20 72 65 63 75 72 73  request a recurs
0860: 69 76 65 20 6d 75 74 65 78 20 69 6e 0a 2a 2a 20  ive mutex in.** 
0870: 63 61 73 65 73 20 77 68 65 72 65 20 69 74 20 72  cases where it r
0880: 65 61 6c 6c 79 20 6e 65 65 64 73 20 6f 6e 65 2e  eally needs one.
0890: 20 20 49 66 20 61 20 66 61 73 74 65 72 20 6e 6f    If a faster no
08a0: 6e 2d 72 65 63 75 72 73 69 76 65 20 6d 75 74 65  n-recursive mute
08b0: 78 0a 2a 2a 20 69 6d 70 6c 65 6d 65 6e 74 61 74  x.** implementat
08c0: 69 6f 6e 20 69 73 20 61 76 61 69 6c 61 62 6c 65  ion is available
08d0: 20 6f 6e 20 74 68 65 20 68 6f 73 74 20 70 6c 61   on the host pla
08e0: 74 66 6f 72 6d 2c 20 74 68 65 20 6d 75 74 65 78  tform, the mutex
08f0: 20 73 75 62 73 79 73 74 65 6d 0a 2a 2a 20 6d 69   subsystem.** mi
0900: 67 68 74 20 72 65 74 75 72 6e 20 73 75 63 68 20  ght return such 
0910: 61 20 6d 75 74 65 78 20 69 6e 20 72 65 73 70 6f  a mutex in respo
0920: 6e 73 65 20 74 6f 20 53 51 4c 49 54 45 5f 4d 55  nse to SQLITE_MU
0930: 54 45 58 5f 46 41 53 54 2e 0a 2a 2a 0a 2a 2a 20  TEX_FAST..**.** 
0940: 54 68 65 20 6f 74 68 65 72 20 61 6c 6c 6f 77 65  The other allowe
0950: 64 20 70 61 72 61 6d 65 74 65 72 73 20 74 6f 20  d parameters to 
0960: 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 61 6c  sqlite3_mutex_al
0970: 6c 6f 63 28 29 20 65 61 63 68 20 72 65 74 75 72  loc() each retur
0980: 6e 0a 2a 2a 20 61 20 70 6f 69 6e 74 65 72 20 74  n.** a pointer t
0990: 6f 20 61 20 73 74 61 74 69 63 20 70 72 65 65 78  o a static preex
09a0: 69 73 74 69 6e 67 20 6d 75 74 65 78 2e 20 20 54  isting mutex.  T
09b0: 68 72 65 65 20 73 74 61 74 69 63 20 6d 75 74 65  hree static mute
09c0: 78 65 73 20 61 72 65 0a 2a 2a 20 75 73 65 64 20  xes are.** used 
09d0: 62 79 20 74 68 65 20 63 75 72 72 65 6e 74 20 76  by the current v
09e0: 65 72 73 69 6f 6e 20 6f 66 20 53 51 4c 69 74 65  ersion of SQLite
09f0: 2e 20 20 46 75 74 75 72 65 20 76 65 72 73 69 6f  .  Future versio
0a00: 6e 73 20 6f 66 20 53 51 4c 69 74 65 0a 2a 2a 20  ns of SQLite.** 
0a10: 6d 61 79 20 61 64 64 20 61 64 64 69 74 69 6f 6e  may add addition
0a20: 61 6c 20 73 74 61 74 69 63 20 6d 75 74 65 78 65  al static mutexe
0a30: 73 2e 20 20 53 74 61 74 69 63 20 6d 75 74 65 78  s.  Static mutex
0a40: 65 73 20 61 72 65 20 66 6f 72 20 69 6e 74 65 72  es are for inter
0a50: 6e 61 6c 0a 2a 2a 20 75 73 65 20 62 79 20 53 51  nal.** use by SQ
0a60: 4c 69 74 65 20 6f 6e 6c 79 2e 20 20 41 70 70 6c  Lite only.  Appl
0a70: 69 63 61 74 69 6f 6e 73 20 74 68 61 74 20 75 73  ications that us
0a80: 65 20 53 51 4c 69 74 65 20 6d 75 74 65 78 65 73  e SQLite mutexes
0a90: 20 73 68 6f 75 6c 64 0a 2a 2a 20 75 73 65 20 6f   should.** use o
0aa0: 6e 6c 79 20 74 68 65 20 64 79 6e 61 6d 69 63 20  nly the dynamic 
0ab0: 6d 75 74 65 78 65 73 20 72 65 74 75 72 6e 65 64  mutexes returned
0ac0: 20 62 79 20 53 51 4c 49 54 45 5f 4d 55 54 45 58   by SQLITE_MUTEX
0ad0: 5f 46 41 53 54 20 6f 72 0a 2a 2a 20 53 51 4c 49  _FAST or.** SQLI
0ae0: 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49  TE_MUTEX_RECURSI
0af0: 56 45 2e 0a 2a 2a 0a 2a 2a 20 4e 6f 74 65 20 74  VE..**.** Note t
0b00: 68 61 74 20 69 66 20 6f 6e 65 20 6f 66 20 74 68  hat if one of th
0b10: 65 20 64 79 6e 61 6d 69 63 20 6d 75 74 65 78 20  e dynamic mutex 
0b20: 70 61 72 61 6d 65 74 65 72 73 20 28 53 51 4c 49  parameters (SQLI
0b30: 54 45 5f 4d 55 54 45 58 5f 46 41 53 54 0a 2a 2a  TE_MUTEX_FAST.**
0b40: 20 6f 72 20 53 51 4c 49 54 45 5f 4d 55 54 45 58   or SQLITE_MUTEX
0b50: 5f 52 45 43 55 52 53 49 56 45 29 20 69 73 20 75  _RECURSIVE) is u
0b60: 73 65 64 20 74 68 65 6e 20 73 71 6c 69 74 65 33  sed then sqlite3
0b70: 5f 6d 75 74 65 78 5f 61 6c 6c 6f 63 28 29 0a 2a  _mutex_alloc().*
0b80: 2a 20 72 65 74 75 72 6e 73 20 61 20 64 69 66 66  * returns a diff
0b90: 65 72 65 6e 74 20 6d 75 74 65 78 20 6f 6e 20 65  erent mutex on e
0ba0: 76 65 72 79 20 63 61 6c 6c 2e 20 20 42 75 74 20  very call.  But 
0bb0: 66 6f 72 20 74 68 65 20 73 74 61 74 69 63 20 0a  for the static .
0bc0: 2a 2a 20 6d 75 74 65 78 20 74 79 70 65 73 2c 20  ** mutex types, 
0bd0: 74 68 65 20 73 61 6d 65 20 6d 75 74 65 78 20 69  the same mutex i
0be0: 73 20 72 65 74 75 72 6e 65 64 20 6f 6e 20 65 76  s returned on ev
0bf0: 65 72 79 20 63 61 6c 6c 20 74 68 61 74 20 68 61  ery call that ha
0c00: 73 0a 2a 2a 20 74 68 65 20 73 61 6d 65 20 74 79  s.** the same ty
0c10: 70 65 20 6e 75 6d 62 65 72 2e 0a 2a 2f 0a 73 71  pe number..*/.sq
0c20: 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a 73 71 6c  lite3_mutex *sql
0c30: 69 74 65 33 5f 6d 75 74 65 78 5f 61 6c 6c 6f 63  ite3_mutex_alloc
0c40: 28 69 6e 74 20 69 54 79 70 65 29 7b 0a 20 20 73  (int iType){.  s
0c50: 74 61 74 69 63 20 73 71 6c 69 74 65 33 5f 6d 75  tatic sqlite3_mu
0c60: 74 65 78 20 73 74 61 74 69 63 4d 75 74 65 78 65  tex staticMutexe
0c70: 73 5b 5d 20 3d 20 7b 0a 20 20 20 20 7b 20 50 54  s[] = {.    { PT
0c80: 48 52 45 41 44 5f 4d 55 54 45 58 5f 49 4e 49 54  HREAD_MUTEX_INIT
0c90: 49 41 4c 49 5a 45 52 2c 20 7d 2c 0a 20 20 20 20  IALIZER, },.    
0ca0: 7b 20 50 54 48 52 45 41 44 5f 4d 55 54 45 58 5f  { PTHREAD_MUTEX_
0cb0: 49 4e 49 54 49 41 4c 49 5a 45 52 2c 20 7d 2c 0a  INITIALIZER, },.
0cc0: 20 20 20 20 7b 20 50 54 48 52 45 41 44 5f 4d 55      { PTHREAD_MU
0cd0: 54 45 58 5f 49 4e 49 54 49 41 4c 49 5a 45 52 2c  TEX_INITIALIZER,
0ce0: 20 7d 2c 0a 20 20 20 20 7b 20 50 54 48 52 45 41   },.    { PTHREA
0cf0: 44 5f 4d 55 54 45 58 5f 49 4e 49 54 49 41 4c 49  D_MUTEX_INITIALI
0d00: 5a 45 52 2c 20 7d 2c 0a 20 20 20 20 7b 20 50 54  ZER, },.    { PT
0d10: 48 52 45 41 44 5f 4d 55 54 45 58 5f 49 4e 49 54  HREAD_MUTEX_INIT
0d20: 49 41 4c 49 5a 45 52 2c 20 7d 2c 0a 20 20 7d 3b  IALIZER, },.  };
0d30: 0a 20 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  .  sqlite3_mutex
0d40: 20 2a 70 3b 0a 20 20 73 77 69 74 63 68 28 20 69   *p;.  switch( i
0d50: 54 79 70 65 20 29 7b 0a 20 20 20 20 63 61 73 65  Type ){.    case
0d60: 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 52 45   SQLITE_MUTEX_RE
0d70: 43 55 52 53 49 56 45 3a 20 7b 0a 20 20 20 20 20  CURSIVE: {.     
0d80: 20 70 20 3d 20 73 71 6c 69 74 65 33 4d 61 6c 6c   p = sqlite3Mall
0d90: 6f 63 5a 65 72 6f 28 20 73 69 7a 65 6f 66 28 2a  ocZero( sizeof(*
0da0: 70 29 20 29 3b 0a 20 20 20 20 20 20 69 66 28 20  p) );.      if( 
0db0: 70 20 29 7b 0a 23 69 66 64 65 66 20 53 51 4c 49  p ){.#ifdef SQLI
0dc0: 54 45 5f 48 4f 4d 45 47 52 4f 57 4e 5f 52 45 43  TE_HOMEGROWN_REC
0dd0: 55 52 53 49 56 45 5f 4d 55 54 45 58 0a 20 20 20  URSIVE_MUTEX.   
0de0: 20 20 20 20 20 2f 2a 20 49 66 20 72 65 63 75 72       /* If recur
0df0: 73 69 76 65 20 6d 75 74 65 78 65 73 20 61 72 65  sive mutexes are
0e00: 20 6e 6f 74 20 61 76 61 69 6c 61 62 6c 65 2c 20   not available, 
0e10: 77 65 20 77 69 6c 6c 20 68 61 76 65 20 74 6f 0a  we will have to.
0e20: 20 20 20 20 20 20 20 20 2a 2a 20 62 75 69 6c 64          ** build
0e30: 20 6f 75 72 20 6f 77 6e 2e 20 20 53 65 65 20 62   our own.  See b
0e40: 65 6c 6f 77 2e 20 2a 2f 0a 20 20 20 20 20 20 20  elow. */.       
0e50: 20 70 74 68 72 65 61 64 5f 6d 75 74 65 78 5f 69   pthread_mutex_i
0e60: 6e 69 74 28 26 70 2d 3e 6d 75 74 65 78 2c 20 30  nit(&p->mutex, 0
0e70: 29 3b 0a 23 65 6c 73 65 0a 20 20 20 20 20 20 20  );.#else.       
0e80: 20 2f 2a 20 55 73 65 20 61 20 72 65 63 75 72 73   /* Use a recurs
0e90: 69 76 65 20 6d 75 74 65 78 20 69 66 20 69 74 20  ive mutex if it 
0ea0: 69 73 20 61 76 61 69 6c 61 62 6c 65 20 2a 2f 0a  is available */.
0eb0: 20 20 20 20 20 20 20 20 70 74 68 72 65 61 64 5f          pthread_
0ec0: 6d 75 74 65 78 61 74 74 72 5f 74 20 72 65 63 75  mutexattr_t recu
0ed0: 72 73 69 76 65 41 74 74 72 3b 0a 20 20 20 20 20  rsiveAttr;.     
0ee0: 20 20 20 70 74 68 72 65 61 64 5f 6d 75 74 65 78     pthread_mutex
0ef0: 61 74 74 72 5f 69 6e 69 74 28 26 72 65 63 75 72  attr_init(&recur
0f00: 73 69 76 65 41 74 74 72 29 3b 0a 20 20 20 20 20  siveAttr);.     
0f10: 20 20 20 70 74 68 72 65 61 64 5f 6d 75 74 65 78     pthread_mutex
0f20: 61 74 74 72 5f 73 65 74 74 79 70 65 28 26 72 65  attr_settype(&re
0f30: 63 75 72 73 69 76 65 41 74 74 72 2c 20 50 54 48  cursiveAttr, PTH
0f40: 52 45 41 44 5f 4d 55 54 45 58 5f 52 45 43 55 52  READ_MUTEX_RECUR
0f50: 53 49 56 45 29 3b 0a 20 20 20 20 20 20 20 20 70  SIVE);.        p
0f60: 74 68 72 65 61 64 5f 6d 75 74 65 78 5f 69 6e 69  thread_mutex_ini
0f70: 74 28 26 70 2d 3e 6d 75 74 65 78 2c 20 26 72 65  t(&p->mutex, &re
0f80: 63 75 72 73 69 76 65 41 74 74 72 29 3b 0a 20 20  cursiveAttr);.  
0f90: 20 20 20 20 20 20 70 74 68 72 65 61 64 5f 6d 75        pthread_mu
0fa0: 74 65 78 61 74 74 72 5f 64 65 73 74 72 6f 79 28  texattr_destroy(
0fb0: 26 72 65 63 75 72 73 69 76 65 41 74 74 72 29 3b  &recursiveAttr);
0fc0: 0a 23 65 6e 64 69 66 0a 20 20 20 20 20 20 20 20  .#endif.        
0fd0: 70 2d 3e 69 64 20 3d 20 69 54 79 70 65 3b 0a 20  p->id = iType;. 
0fe0: 20 20 20 20 20 7d 0a 20 20 20 20 20 20 62 72 65       }.      bre
0ff0: 61 6b 3b 0a 20 20 20 20 7d 0a 20 20 20 20 63 61  ak;.    }.    ca
1000: 73 65 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f  se SQLITE_MUTEX_
1010: 46 41 53 54 3a 20 7b 0a 20 20 20 20 20 20 70 20  FAST: {.      p 
1020: 3d 20 73 71 6c 69 74 65 33 4d 61 6c 6c 6f 63 5a  = sqlite3MallocZ
1030: 65 72 6f 28 20 73 69 7a 65 6f 66 28 2a 70 29 20  ero( sizeof(*p) 
1040: 29 3b 0a 20 20 20 20 20 20 69 66 28 20 70 20 29  );.      if( p )
1050: 7b 0a 20 20 20 20 20 20 20 20 70 2d 3e 69 64 20  {.        p->id 
1060: 3d 20 69 54 79 70 65 3b 0a 20 20 20 20 20 20 20  = iType;.       
1070: 20 70 74 68 72 65 61 64 5f 6d 75 74 65 78 5f 69   pthread_mutex_i
1080: 6e 69 74 28 26 70 2d 3e 6d 75 74 65 78 2c 20 30  nit(&p->mutex, 0
1090: 29 3b 0a 20 20 20 20 20 20 7d 0a 20 20 20 20 20  );.      }.     
10a0: 20 62 72 65 61 6b 3b 0a 20 20 20 20 7d 0a 20 20   break;.    }.  
10b0: 20 20 64 65 66 61 75 6c 74 3a 20 7b 0a 20 20 20    default: {.   
10c0: 20 20 20 61 73 73 65 72 74 28 20 69 54 79 70 65     assert( iType
10d0: 2d 32 20 3e 3d 20 30 20 29 3b 0a 20 20 20 20 20  -2 >= 0 );.     
10e0: 20 61 73 73 65 72 74 28 20 69 54 79 70 65 2d 32   assert( iType-2
10f0: 20 3c 20 73 69 7a 65 6f 66 28 73 74 61 74 69 63   < sizeof(static
1100: 4d 75 74 65 78 65 73 29 2f 73 69 7a 65 6f 66 28  Mutexes)/sizeof(
1110: 73 74 61 74 69 63 4d 75 74 65 78 65 73 5b 30 5d  staticMutexes[0]
1120: 29 20 29 3b 0a 20 20 20 20 20 20 70 20 3d 20 26  ) );.      p = &
1130: 73 74 61 74 69 63 4d 75 74 65 78 65 73 5b 69 54  staticMutexes[iT
1140: 79 70 65 2d 32 5d 3b 0a 20 20 20 20 20 20 70 2d  ype-2];.      p-
1150: 3e 69 64 20 3d 20 69 54 79 70 65 3b 0a 20 20 20  >id = iType;.   
1160: 20 20 20 62 72 65 61 6b 3b 0a 20 20 20 20 7d 0a     break;.    }.
1170: 20 20 7d 0a 20 20 72 65 74 75 72 6e 20 70 3b 0a    }.  return p;.
1180: 7d 0a 0a 0a 2f 2a 0a 2a 2a 20 54 68 69 73 20 72  }.../*.** This r
1190: 6f 75 74 69 6e 65 20 64 65 61 6c 6c 6f 63 61 74  outine deallocat
11a0: 65 73 20 61 20 70 72 65 76 69 6f 75 73 6c 79 0a  es a previously.
11b0: 2a 2a 20 61 6c 6c 6f 63 61 74 65 64 20 6d 75 74  ** allocated mut
11c0: 65 78 2e 20 20 53 51 4c 69 74 65 20 69 73 20 63  ex.  SQLite is c
11d0: 61 72 65 66 75 6c 20 74 6f 20 64 65 61 6c 6c 6f  areful to deallo
11e0: 63 61 74 65 20 65 76 65 72 79 0a 2a 2a 20 6d 75  cate every.** mu
11f0: 74 65 78 20 74 68 61 74 20 69 74 20 61 6c 6c 6f  tex that it allo
1200: 63 61 74 65 73 2e 0a 2a 2f 0a 76 6f 69 64 20 73  cates..*/.void s
1210: 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 66 72 65  qlite3_mutex_fre
1220: 65 28 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20  e(sqlite3_mutex 
1230: 2a 70 29 7b 0a 20 20 61 73 73 65 72 74 28 20 70  *p){.  assert( p
1240: 20 29 3b 0a 20 20 61 73 73 65 72 74 28 20 70 2d   );.  assert( p-
1250: 3e 6e 52 65 66 3d 3d 30 20 29 3b 0a 20 20 61 73  >nRef==0 );.  as
1260: 73 65 72 74 28 20 70 2d 3e 69 64 3d 3d 53 51 4c  sert( p->id==SQL
1270: 49 54 45 5f 4d 55 54 45 58 5f 46 41 53 54 20 7c  ITE_MUTEX_FAST |
1280: 7c 20 70 2d 3e 69 64 3d 3d 53 51 4c 49 54 45 5f  | p->id==SQLITE_
1290: 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56 45 20  MUTEX_RECURSIVE 
12a0: 29 3b 0a 20 20 70 74 68 72 65 61 64 5f 6d 75 74  );.  pthread_mut
12b0: 65 78 5f 64 65 73 74 72 6f 79 28 26 70 2d 3e 6d  ex_destroy(&p->m
12c0: 75 74 65 78 29 3b 0a 20 20 73 71 6c 69 74 65 33  utex);.  sqlite3
12d0: 5f 66 72 65 65 28 70 29 3b 0a 7d 0a 0a 2f 2a 0a  _free(p);.}../*.
12e0: 2a 2a 20 54 68 65 20 73 71 6c 69 74 65 33 5f 6d  ** The sqlite3_m
12f0: 75 74 65 78 5f 65 6e 74 65 72 28 29 20 61 6e 64  utex_enter() and
1300: 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 74   sqlite3_mutex_t
1310: 72 79 28 29 20 72 6f 75 74 69 6e 65 73 20 61 74  ry() routines at
1320: 74 65 6d 70 74 0a 2a 2a 20 74 6f 20 65 6e 74 65  tempt.** to ente
1330: 72 20 61 20 6d 75 74 65 78 2e 20 20 49 66 20 61  r a mutex.  If a
1340: 6e 6f 74 68 65 72 20 74 68 72 65 61 64 20 69 73  nother thread is
1350: 20 61 6c 72 65 61 64 79 20 77 69 74 68 69 6e 20   already within 
1360: 74 68 65 20 6d 75 74 65 78 2c 0a 2a 2a 20 73 71  the mutex,.** sq
1370: 6c 69 74 65 33 5f 6d 75 74 65 78 5f 65 6e 74 65  lite3_mutex_ente
1380: 72 28 29 20 77 69 6c 6c 20 62 6c 6f 63 6b 20 61  r() will block a
1390: 6e 64 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  nd sqlite3_mutex
13a0: 5f 74 72 79 28 29 20 77 69 6c 6c 20 72 65 74 75  _try() will retu
13b0: 72 6e 0a 2a 2a 20 53 51 4c 49 54 45 5f 42 55 53  rn.** SQLITE_BUS
13c0: 59 2e 20 20 54 68 65 20 73 71 6c 69 74 65 33 5f  Y.  The sqlite3_
13d0: 6d 75 74 65 78 5f 74 72 79 28 29 20 69 6e 74 65  mutex_try() inte
13e0: 72 66 61 63 65 20 72 65 74 75 72 6e 73 20 53 51  rface returns SQ
13f0: 4c 49 54 45 5f 4f 4b 0a 2a 2a 20 75 70 6f 6e 20  LITE_OK.** upon 
1400: 73 75 63 63 65 73 73 66 75 6c 20 65 6e 74 72 79  successful entry
1410: 2e 20 20 4d 75 74 65 78 65 73 20 63 72 65 61 74  .  Mutexes creat
1420: 65 64 20 75 73 69 6e 67 20 53 51 4c 49 54 45 5f  ed using SQLITE_
1430: 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56 45 20  MUTEX_RECURSIVE 
1440: 63 61 6e 0a 2a 2a 20 62 65 20 65 6e 74 65 72 65  can.** be entere
1450: 64 20 6d 75 6c 74 69 70 6c 65 20 74 69 6d 65 73  d multiple times
1460: 20 62 79 20 74 68 65 20 73 61 6d 65 20 74 68 72   by the same thr
1470: 65 61 64 2e 20 20 49 6e 20 73 75 63 68 20 63 61  ead.  In such ca
1480: 73 65 73 20 74 68 65 2c 0a 2a 2a 20 6d 75 74 65  ses the,.** mute
1490: 78 20 6d 75 73 74 20 62 65 20 65 78 69 74 65 64  x must be exited
14a0: 20 61 6e 20 65 71 75 61 6c 20 6e 75 6d 62 65 72   an equal number
14b0: 20 6f 66 20 74 69 6d 65 73 20 62 65 66 6f 72 65   of times before
14c0: 20 61 6e 6f 74 68 65 72 20 74 68 72 65 61 64 0a   another thread.
14d0: 2a 2a 20 63 61 6e 20 65 6e 74 65 72 2e 20 20 49  ** can enter.  I
14e0: 66 20 74 68 65 20 73 61 6d 65 20 74 68 72 65 61  f the same threa
14f0: 64 20 74 72 69 65 73 20 74 6f 20 65 6e 74 65 72  d tries to enter
1500: 20 61 6e 79 20 6f 74 68 65 72 20 6b 69 6e 64 20   any other kind 
1510: 6f 66 20 6d 75 74 65 78 0a 2a 2a 20 6d 6f 72 65  of mutex.** more
1520: 20 74 68 61 6e 20 6f 6e 63 65 2c 20 74 68 65 20   than once, the 
1530: 62 65 68 61 76 69 6f 72 20 69 73 20 75 6e 64 65  behavior is unde
1540: 66 69 6e 65 64 2e 0a 2a 2f 0a 76 6f 69 64 20 73  fined..*/.void s
1550: 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 65 6e 74  qlite3_mutex_ent
1560: 65 72 28 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  er(sqlite3_mutex
1570: 20 2a 70 29 7b 0a 20 20 61 73 73 65 72 74 28 20   *p){.  assert( 
1580: 70 20 29 3b 0a 20 20 61 73 73 65 72 74 28 20 70  p );.  assert( p
1590: 2d 3e 69 64 3d 3d 53 51 4c 49 54 45 5f 4d 55 54  ->id==SQLITE_MUT
15a0: 45 58 5f 52 45 43 55 52 53 49 56 45 20 7c 7c 20  EX_RECURSIVE || 
15b0: 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 6e 6f  sqlite3_mutex_no
15c0: 74 68 65 6c 64 28 70 29 20 29 3b 0a 0a 23 69 66  theld(p) );..#if
15d0: 64 65 66 20 53 51 4c 49 54 45 5f 48 4f 4d 45 47  def SQLITE_HOMEG
15e0: 52 4f 57 4e 5f 52 45 43 55 52 53 49 56 45 5f 4d  ROWN_RECURSIVE_M
15f0: 55 54 45 58 0a 20 20 2f 2a 20 49 66 20 72 65 63  UTEX.  /* If rec
1600: 75 72 73 69 76 65 20 6d 75 74 65 78 65 73 20 61  ursive mutexes a
1610: 72 65 20 6e 6f 74 20 61 76 61 69 6c 61 62 6c 65  re not available
1620: 2c 20 74 68 65 6e 20 77 65 20 68 61 76 65 20 74  , then we have t
1630: 6f 20 67 72 6f 77 0a 20 20 2a 2a 20 6f 75 72 20  o grow.  ** our 
1640: 6f 77 6e 2e 20 20 54 68 69 73 20 69 6d 70 6c 65  own.  This imple
1650: 6d 65 6e 74 61 74 69 6f 6e 20 61 73 73 75 6d 65  mentation assume
1660: 73 20 74 68 61 74 20 70 74 68 72 65 61 64 5f 65  s that pthread_e
1670: 71 75 61 6c 28 29 0a 20 20 2a 2a 20 69 73 20 61  qual().  ** is a
1680: 74 6f 6d 69 63 20 2d 20 74 68 61 74 20 69 74 20  tomic - that it 
1690: 63 61 6e 6e 6f 74 20 62 65 20 64 65 63 65 69 76  cannot be deceiv
16a0: 65 64 20 69 6e 74 6f 20 74 68 69 6e 6b 69 6e 67  ed into thinking
16b0: 20 73 65 6c 66 0a 20 20 2a 2a 20 61 6e 64 20 70   self.  ** and p
16c0: 2d 3e 6f 77 6e 65 72 20 61 72 65 20 65 71 75 61  ->owner are equa
16d0: 6c 20 69 66 20 70 2d 3e 6f 77 6e 65 72 20 63 68  l if p->owner ch
16e0: 61 6e 67 65 73 20 62 65 74 77 65 65 6e 20 74 77  anges between tw
16f0: 6f 20 76 61 6c 75 65 73 0a 20 20 2a 2a 20 74 68  o values.  ** th
1700: 61 74 20 61 72 65 20 6e 6f 74 20 65 71 75 61 6c  at are not equal
1710: 20 74 6f 20 73 65 6c 66 20 77 68 69 6c 65 20 74   to self while t
1720: 68 65 20 63 6f 6d 70 61 72 69 73 6f 6e 20 69 73  he comparison is
1730: 20 74 61 6b 69 6e 67 20 70 6c 61 63 65 2e 0a 20   taking place.. 
1740: 20 2a 2a 20 54 68 69 73 20 69 6d 70 6c 65 6d 65   ** This impleme
1750: 6e 74 61 74 69 6f 6e 20 61 6c 73 6f 20 61 73 73  ntation also ass
1760: 75 6d 65 73 20 61 20 63 6f 68 65 72 65 6e 74 20  umes a coherent 
1770: 63 61 63 68 65 20 2d 20 74 68 61 74 20 0a 20 20  cache - that .  
1780: 2a 2a 20 73 65 70 61 72 61 74 65 20 70 72 6f 63  ** separate proc
1790: 65 73 73 65 73 20 63 61 6e 6e 6f 74 20 72 65 61  esses cannot rea
17a0: 64 20 64 69 66 66 65 72 65 6e 74 20 76 61 6c 75  d different valu
17b0: 65 73 20 66 72 6f 6d 20 74 68 65 20 73 61 6d 65  es from the same
17c0: 0a 20 20 2a 2a 20 61 64 64 72 65 73 73 20 61 74  .  ** address at
17d0: 20 74 68 65 20 73 61 6d 65 20 74 69 6d 65 2e 20   the same time. 
17e0: 20 49 66 20 65 69 74 68 65 72 20 6f 66 20 74 68   If either of th
17f0: 65 73 65 20 74 77 6f 20 63 6f 6e 64 69 74 69 6f  ese two conditio
1800: 6e 73 0a 20 20 2a 2a 20 61 72 65 20 6e 6f 74 20  ns.  ** are not 
1810: 6d 65 74 2c 20 74 68 65 6e 20 74 68 65 20 6d 75  met, then the mu
1820: 74 65 78 65 73 20 77 69 6c 6c 20 66 61 69 6c 20  texes will fail 
1830: 61 6e 64 20 70 72 6f 62 6c 65 6d 73 20 77 69 6c  and problems wil
1840: 6c 20 72 65 73 75 6c 74 2e 0a 20 20 2a 2f 0a 20  l result..  */. 
1850: 20 7b 0a 20 20 20 20 70 74 68 72 65 61 64 5f 74   {.    pthread_t
1860: 20 73 65 6c 66 20 3d 20 70 74 68 72 65 61 64 5f   self = pthread_
1870: 73 65 6c 66 28 29 3b 0a 20 20 20 20 69 66 28 20  self();.    if( 
1880: 70 2d 3e 6e 52 65 66 3e 30 20 26 26 20 70 74 68  p->nRef>0 && pth
1890: 72 65 61 64 5f 65 71 75 61 6c 28 70 2d 3e 6f 77  read_equal(p->ow
18a0: 6e 65 72 2c 20 73 65 6c 66 29 20 29 7b 0a 20 20  ner, self) ){.  
18b0: 20 20 20 20 70 2d 3e 6e 52 65 66 2b 2b 3b 0a 20      p->nRef++;. 
18c0: 20 20 20 7d 65 6c 73 65 7b 0a 20 20 20 20 20 20     }else{.      
18d0: 70 74 68 72 65 61 64 5f 6d 75 74 65 78 5f 6c 6f  pthread_mutex_lo
18e0: 63 6b 28 26 70 2d 3e 6d 75 74 65 78 29 3b 0a 20  ck(&p->mutex);. 
18f0: 20 20 20 20 20 61 73 73 65 72 74 28 20 70 2d 3e       assert( p->
1900: 6e 52 65 66 3d 3d 30 20 29 3b 0a 20 20 20 20 20  nRef==0 );.     
1910: 20 70 2d 3e 6f 77 6e 65 72 20 3d 20 73 65 6c 66   p->owner = self
1920: 3b 0a 20 20 20 20 20 20 70 2d 3e 6e 52 65 66 20  ;.      p->nRef 
1930: 3d 20 31 3b 0a 20 20 20 20 7d 0a 20 20 7d 0a 23  = 1;.    }.  }.#
1940: 65 6c 73 65 0a 20 20 2f 2a 20 55 73 65 20 74 68  else.  /* Use th
1950: 65 20 62 75 69 6c 74 2d 69 6e 20 72 65 63 75 72  e built-in recur
1960: 73 69 76 65 20 6d 75 74 65 78 65 73 20 69 66 20  sive mutexes if 
1970: 74 68 65 79 20 61 72 65 20 61 76 61 69 6c 61 62  they are availab
1980: 6c 65 2e 0a 20 20 2a 2f 0a 20 20 70 74 68 72 65  le..  */.  pthre
1990: 61 64 5f 6d 75 74 65 78 5f 6c 6f 63 6b 28 26 70  ad_mutex_lock(&p
19a0: 2d 3e 6d 75 74 65 78 29 3b 0a 20 20 70 2d 3e 6f  ->mutex);.  p->o
19b0: 77 6e 65 72 20 3d 20 70 74 68 72 65 61 64 5f 73  wner = pthread_s
19c0: 65 6c 66 28 29 3b 0a 20 20 70 2d 3e 6e 52 65 66  elf();.  p->nRef
19d0: 2b 2b 3b 0a 23 65 6e 64 69 66 0a 0a 23 69 66 64  ++;.#endif..#ifd
19e0: 65 66 20 53 51 4c 49 54 45 5f 44 45 42 55 47 0a  ef SQLITE_DEBUG.
19f0: 20 20 69 66 28 20 70 2d 3e 74 72 61 63 65 20 29    if( p->trace )
1a00: 7b 0a 20 20 20 20 70 72 69 6e 74 66 28 22 65 6e  {.    printf("en
1a10: 74 65 72 20 6d 75 74 65 78 20 25 70 20 28 25 64  ter mutex %p (%d
1a20: 29 20 77 69 74 68 20 6e 52 65 66 3d 25 64 5c 6e  ) with nRef=%d\n
1a30: 22 2c 20 70 2c 20 70 2d 3e 74 72 61 63 65 2c 20  ", p, p->trace, 
1a40: 70 2d 3e 6e 52 65 66 29 3b 0a 20 20 7d 0a 23 65  p->nRef);.  }.#e
1a50: 6e 64 69 66 0a 7d 0a 69 6e 74 20 73 71 6c 69 74  ndif.}.int sqlit
1a60: 65 33 5f 6d 75 74 65 78 5f 74 72 79 28 73 71 6c  e3_mutex_try(sql
1a70: 69 74 65 33 5f 6d 75 74 65 78 20 2a 70 29 7b 0a  ite3_mutex *p){.
1a80: 20 20 69 6e 74 20 72 63 3b 0a 20 20 61 73 73 65    int rc;.  asse
1a90: 72 74 28 20 70 20 29 3b 0a 20 20 61 73 73 65 72  rt( p );.  asser
1aa0: 74 28 20 70 2d 3e 69 64 3d 3d 53 51 4c 49 54 45  t( p->id==SQLITE
1ab0: 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56 45  _MUTEX_RECURSIVE
1ac0: 20 7c 7c 20 73 71 6c 69 74 65 33 5f 6d 75 74 65   || sqlite3_mute
1ad0: 78 5f 6e 6f 74 68 65 6c 64 28 70 29 20 29 3b 0a  x_notheld(p) );.
1ae0: 0a 23 69 66 64 65 66 20 53 51 4c 49 54 45 5f 48  .#ifdef SQLITE_H
1af0: 4f 4d 45 47 52 4f 57 4e 5f 52 45 43 55 52 53 49  OMEGROWN_RECURSI
1b00: 56 45 5f 4d 55 54 45 58 0a 20 20 2f 2a 20 49 66  VE_MUTEX.  /* If
1b10: 20 72 65 63 75 72 73 69 76 65 20 6d 75 74 65 78   recursive mutex
1b20: 65 73 20 61 72 65 20 6e 6f 74 20 61 76 61 69 6c  es are not avail
1b30: 61 62 6c 65 2c 20 74 68 65 6e 20 77 65 20 68 61  able, then we ha
1b40: 76 65 20 74 6f 20 67 72 6f 77 0a 20 20 2a 2a 20  ve to grow.  ** 
1b50: 6f 75 72 20 6f 77 6e 2e 20 20 54 68 69 73 20 69  our own.  This i
1b60: 6d 70 6c 65 6d 65 6e 74 61 74 69 6f 6e 20 61 73  mplementation as
1b70: 73 75 6d 65 73 20 74 68 61 74 20 70 74 68 72 65  sumes that pthre
1b80: 61 64 5f 65 71 75 61 6c 28 29 0a 20 20 2a 2a 20  ad_equal().  ** 
1b90: 69 73 20 61 74 6f 6d 69 63 20 2d 20 74 68 61 74  is atomic - that
1ba0: 20 69 74 20 63 61 6e 6e 6f 74 20 62 65 20 64 65   it cannot be de
1bb0: 63 65 69 76 65 64 20 69 6e 74 6f 20 74 68 69 6e  ceived into thin
1bc0: 6b 69 6e 67 20 73 65 6c 66 0a 20 20 2a 2a 20 61  king self.  ** a
1bd0: 6e 64 20 70 2d 3e 6f 77 6e 65 72 20 61 72 65 20  nd p->owner are 
1be0: 65 71 75 61 6c 20 69 66 20 70 2d 3e 6f 77 6e 65  equal if p->owne
1bf0: 72 20 63 68 61 6e 67 65 73 20 62 65 74 77 65 65  r changes betwee
1c00: 6e 20 74 77 6f 20 76 61 6c 75 65 73 0a 20 20 2a  n two values.  *
1c10: 2a 20 74 68 61 74 20 61 72 65 20 6e 6f 74 20 65  * that are not e
1c20: 71 75 61 6c 20 74 6f 20 73 65 6c 66 20 77 68 69  qual to self whi
1c30: 6c 65 20 74 68 65 20 63 6f 6d 70 61 72 69 73 6f  le the compariso
1c40: 6e 20 69 73 20 74 61 6b 69 6e 67 20 70 6c 61 63  n is taking plac
1c50: 65 2e 0a 20 20 2a 2a 20 54 68 69 73 20 69 6d 70  e..  ** This imp
1c60: 6c 65 6d 65 6e 74 61 74 69 6f 6e 20 61 6c 73 6f  lementation also
1c70: 20 61 73 73 75 6d 65 73 20 61 20 63 6f 68 65 72   assumes a coher
1c80: 65 6e 74 20 63 61 63 68 65 20 2d 20 74 68 61 74  ent cache - that
1c90: 20 0a 20 20 2a 2a 20 73 65 70 61 72 61 74 65 20   .  ** separate 
1ca0: 70 72 6f 63 65 73 73 65 73 20 63 61 6e 6e 6f 74  processes cannot
1cb0: 20 72 65 61 64 20 64 69 66 66 65 72 65 6e 74 20   read different 
1cc0: 76 61 6c 75 65 73 20 66 72 6f 6d 20 74 68 65 20  values from the 
1cd0: 73 61 6d 65 0a 20 20 2a 2a 20 61 64 64 72 65 73  same.  ** addres
1ce0: 73 20 61 74 20 74 68 65 20 73 61 6d 65 20 74 69  s at the same ti
1cf0: 6d 65 2e 20 20 49 66 20 65 69 74 68 65 72 20 6f  me.  If either o
1d00: 66 20 74 68 65 73 65 20 74 77 6f 20 63 6f 6e 64  f these two cond
1d10: 69 74 69 6f 6e 73 0a 20 20 2a 2a 20 61 72 65 20  itions.  ** are 
1d20: 6e 6f 74 20 6d 65 74 2c 20 74 68 65 6e 20 74 68  not met, then th
1d30: 65 20 6d 75 74 65 78 65 73 20 77 69 6c 6c 20 66  e mutexes will f
1d40: 61 69 6c 20 61 6e 64 20 70 72 6f 62 6c 65 6d 73  ail and problems
1d50: 20 77 69 6c 6c 20 72 65 73 75 6c 74 2e 0a 20 20   will result..  
1d60: 2a 2f 0a 20 20 7b 0a 20 20 20 20 70 74 68 72 65  */.  {.    pthre
1d70: 61 64 5f 74 20 73 65 6c 66 20 3d 20 70 74 68 72  ad_t self = pthr
1d80: 65 61 64 5f 73 65 6c 66 28 29 3b 0a 20 20 20 20  ead_self();.    
1d90: 69 66 28 20 70 2d 3e 6e 52 65 66 3e 30 20 26 26  if( p->nRef>0 &&
1da0: 20 70 74 68 72 65 61 64 5f 65 71 75 61 6c 28 70   pthread_equal(p
1db0: 2d 3e 6f 77 6e 65 72 2c 20 73 65 6c 66 29 20 29  ->owner, self) )
1dc0: 7b 0a 20 20 20 20 20 20 70 2d 3e 6e 52 65 66 2b  {.      p->nRef+
1dd0: 2b 3b 0a 20 20 20 20 20 20 72 63 20 3d 20 53 51  +;.      rc = SQ
1de0: 4c 49 54 45 5f 4f 4b 3b 0a 20 20 20 20 7d 65 6c  LITE_OK;.    }el
1df0: 73 65 20 69 66 28 20 70 74 68 72 65 61 64 5f 6d  se if( pthread_m
1e00: 75 74 65 78 5f 6c 6f 63 6b 28 26 70 2d 3e 6d 75  utex_lock(&p->mu
1e10: 74 65 78 29 3d 3d 30 20 29 7b 0a 20 20 20 20 20  tex)==0 ){.     
1e20: 20 61 73 73 65 72 74 28 20 70 2d 3e 6e 52 65 66   assert( p->nRef
1e30: 3d 3d 30 20 29 3b 0a 20 20 20 20 20 20 70 2d 3e  ==0 );.      p->
1e40: 6f 77 6e 65 72 20 3d 20 73 65 6c 66 3b 0a 20 20  owner = self;.  
1e50: 20 20 20 20 70 2d 3e 6e 52 65 66 20 3d 20 31 3b      p->nRef = 1;
1e60: 0a 20 20 20 20 20 20 72 63 20 3d 20 53 51 4c 49  .      rc = SQLI
1e70: 54 45 5f 4f 4b 3b 0a 20 20 20 20 7d 65 6c 73 65  TE_OK;.    }else
1e80: 7b 0a 20 20 20 20 20 20 72 63 20 3d 20 53 51 4c  {.      rc = SQL
1e90: 49 54 45 5f 42 55 53 59 3b 0a 20 20 20 20 7d 0a  ITE_BUSY;.    }.
1ea0: 20 20 7d 0a 23 65 6c 73 65 0a 20 20 2f 2a 20 55    }.#else.  /* U
1eb0: 73 65 20 74 68 65 20 62 75 69 6c 74 2d 69 6e 20  se the built-in 
1ec0: 72 65 63 75 72 73 69 76 65 20 6d 75 74 65 78 65  recursive mutexe
1ed0: 73 20 69 66 20 74 68 65 79 20 61 72 65 20 61 76  s if they are av
1ee0: 61 69 6c 61 62 6c 65 2e 0a 20 20 2a 2f 0a 20 20  ailable..  */.  
1ef0: 69 66 28 20 70 74 68 72 65 61 64 5f 6d 75 74 65  if( pthread_mute
1f00: 78 5f 74 72 79 6c 6f 63 6b 28 26 70 2d 3e 6d 75  x_trylock(&p->mu
1f10: 74 65 78 29 3d 3d 30 20 29 7b 0a 20 20 20 20 70  tex)==0 ){.    p
1f20: 2d 3e 6f 77 6e 65 72 20 3d 20 70 74 68 72 65 61  ->owner = pthrea
1f30: 64 5f 73 65 6c 66 28 29 3b 0a 20 20 20 20 70 2d  d_self();.    p-
1f40: 3e 6e 52 65 66 2b 2b 3b 0a 20 20 20 20 72 63 20  >nRef++;.    rc 
1f50: 3d 20 53 51 4c 49 54 45 5f 4f 4b 3b 0a 20 20 7d  = SQLITE_OK;.  }
1f60: 65 6c 73 65 7b 0a 20 20 20 20 72 63 20 3d 20 53  else{.    rc = S
1f70: 51 4c 49 54 45 5f 42 55 53 59 3b 0a 20 20 7d 0a  QLITE_BUSY;.  }.
1f80: 23 65 6e 64 69 66 0a 0a 23 69 66 64 65 66 20 53  #endif..#ifdef S
1f90: 51 4c 49 54 45 5f 44 45 42 55 47 0a 20 20 69 66  QLITE_DEBUG.  if
1fa0: 28 20 72 63 3d 3d 53 51 4c 49 54 45 5f 4f 4b 20  ( rc==SQLITE_OK 
1fb0: 26 26 20 70 2d 3e 74 72 61 63 65 20 29 7b 0a 20  && p->trace ){. 
1fc0: 20 20 20 70 72 69 6e 74 66 28 22 65 6e 74 65 72     printf("enter
1fd0: 20 6d 75 74 65 78 20 25 70 20 28 25 64 29 20 77   mutex %p (%d) w
1fe0: 69 74 68 20 6e 52 65 66 3d 25 64 5c 6e 22 2c 20  ith nRef=%d\n", 
1ff0: 70 2c 20 70 2d 3e 74 72 61 63 65 2c 20 70 2d 3e  p, p->trace, p->
2000: 6e 52 65 66 29 3b 0a 20 20 7d 0a 23 65 6e 64 69  nRef);.  }.#endi
2010: 66 0a 20 20 72 65 74 75 72 6e 20 72 63 3b 0a 7d  f.  return rc;.}
2020: 0a 0a 2f 2a 0a 2a 2a 20 54 68 65 20 73 71 6c 69  ../*.** The sqli
2030: 74 65 33 5f 6d 75 74 65 78 5f 6c 65 61 76 65 28  te3_mutex_leave(
2040: 29 20 72 6f 75 74 69 6e 65 20 65 78 69 74 73 20  ) routine exits 
2050: 61 20 6d 75 74 65 78 20 74 68 61 74 20 77 61 73  a mutex that was
2060: 0a 2a 2a 20 70 72 65 76 69 6f 75 73 6c 79 20 65  .** previously e
2070: 6e 74 65 72 65 64 20 62 79 20 74 68 65 20 73 61  ntered by the sa
2080: 6d 65 20 74 68 72 65 61 64 2e 20 20 54 68 65 20  me thread.  The 
2090: 62 65 68 61 76 69 6f 72 0a 2a 2a 20 69 73 20 75  behavior.** is u
20a0: 6e 64 65 66 69 6e 65 64 20 69 66 20 74 68 65 20  ndefined if the 
20b0: 6d 75 74 65 78 20 69 73 20 6e 6f 74 20 63 75 72  mutex is not cur
20c0: 72 65 6e 74 6c 79 20 65 6e 74 65 72 65 64 20 6f  rently entered o
20d0: 72 0a 2a 2a 20 69 73 20 6e 6f 74 20 63 75 72 72  r.** is not curr
20e0: 65 6e 74 6c 79 20 61 6c 6c 6f 63 61 74 65 64 2e  ently allocated.
20f0: 20 20 53 51 4c 69 74 65 20 77 69 6c 6c 20 6e 65    SQLite will ne
2100: 76 65 72 20 64 6f 20 65 69 74 68 65 72 2e 0a 2a  ver do either..*
2110: 2f 0a 76 6f 69 64 20 73 71 6c 69 74 65 33 5f 6d  /.void sqlite3_m
2120: 75 74 65 78 5f 6c 65 61 76 65 28 73 71 6c 69 74  utex_leave(sqlit
2130: 65 33 5f 6d 75 74 65 78 20 2a 70 29 7b 0a 20 20  e3_mutex *p){.  
2140: 61 73 73 65 72 74 28 20 70 20 29 3b 0a 20 20 61  assert( p );.  a
2150: 73 73 65 72 74 28 20 73 71 6c 69 74 65 33 5f 6d  ssert( sqlite3_m
2160: 75 74 65 78 5f 68 65 6c 64 28 70 29 20 29 3b 0a  utex_held(p) );.
2170: 20 20 70 2d 3e 6e 52 65 66 2d 2d 3b 0a 20 20 61    p->nRef--;.  a
2180: 73 73 65 72 74 28 20 70 2d 3e 6e 52 65 66 3d 3d  ssert( p->nRef==
2190: 30 20 7c 7c 20 70 2d 3e 69 64 3d 3d 53 51 4c 49  0 || p->id==SQLI
21a0: 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49  TE_MUTEX_RECURSI
21b0: 56 45 20 29 3b 0a 0a 23 69 66 64 65 66 20 53 51  VE );..#ifdef SQ
21c0: 4c 49 54 45 5f 48 4f 4d 45 47 52 4f 57 4e 5f 52  LITE_HOMEGROWN_R
21d0: 45 43 55 52 53 49 56 45 5f 4d 55 54 45 58 0a 20  ECURSIVE_MUTEX. 
21e0: 20 69 66 28 20 70 2d 3e 6e 52 65 66 3d 3d 30 20   if( p->nRef==0 
21f0: 29 7b 0a 20 20 20 20 70 74 68 72 65 61 64 5f 6d  ){.    pthread_m
2200: 75 74 65 78 5f 75 6e 6c 6f 63 6b 28 26 70 2d 3e  utex_unlock(&p->
2210: 6d 75 74 65 78 29 3b 0a 20 20 7d 0a 23 65 6c 73  mutex);.  }.#els
2220: 65 0a 20 20 70 74 68 72 65 61 64 5f 6d 75 74 65  e.  pthread_mute
2230: 78 5f 75 6e 6c 6f 63 6b 28 26 70 2d 3e 6d 75 74  x_unlock(&p->mut
2240: 65 78 29 3b 0a 23 65 6e 64 69 66 0a 0a 23 69 66  ex);.#endif..#if
2250: 64 65 66 20 53 51 4c 49 54 45 5f 44 45 42 55 47  def SQLITE_DEBUG
2260: 0a 20 20 69 66 28 20 70 2d 3e 74 72 61 63 65 20  .  if( p->trace 
2270: 29 7b 0a 20 20 20 20 70 72 69 6e 74 66 28 22 6c  ){.    printf("l
2280: 65 61 76 65 20 6d 75 74 65 78 20 25 70 20 28 25  eave mutex %p (%
2290: 64 29 20 77 69 74 68 20 6e 52 65 66 3d 25 64 5c  d) with nRef=%d\
22a0: 6e 22 2c 20 70 2c 20 70 2d 3e 74 72 61 63 65 2c  n", p, p->trace,
22b0: 20 70 2d 3e 6e 52 65 66 29 3b 0a 20 20 7d 0a 23   p->nRef);.  }.#
22c0: 65 6e 64 69 66 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 54  endif.}../*.** T
22d0: 68 65 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  he sqlite3_mutex
22e0: 5f 68 65 6c 64 28 29 20 61 6e 64 20 73 71 6c 69  _held() and sqli
22f0: 74 65 33 5f 6d 75 74 65 78 5f 6e 6f 74 68 65 6c  te3_mutex_nothel
2300: 64 28 29 20 72 6f 75 74 69 6e 65 20 61 72 65 0a  d() routine are.
2310: 2a 2a 20 69 6e 74 65 6e 64 65 64 20 66 6f 72 20  ** intended for 
2320: 75 73 65 20 6f 6e 6c 79 20 69 6e 73 69 64 65 20  use only inside 
2330: 61 73 73 65 72 74 28 29 20 73 74 61 74 65 6d 65  assert() stateme
2340: 6e 74 73 2e 20 20 4f 6e 20 73 6f 6d 65 20 70 6c  nts.  On some pl
2350: 61 74 66 6f 72 6d 73 2c 0a 2a 2a 20 74 68 65 72  atforms,.** ther
2360: 65 20 6d 69 67 68 74 20 62 65 20 72 61 63 65 20  e might be race 
2370: 63 6f 6e 64 69 74 69 6f 6e 73 20 74 68 61 74 20  conditions that 
2380: 63 61 6e 20 63 61 75 73 65 20 74 68 65 73 65 20  can cause these 
2390: 72 6f 75 74 69 6e 65 73 20 74 6f 0a 2a 2a 20 64  routines to.** d
23a0: 65 6c 69 76 65 72 20 69 6e 63 6f 72 72 65 63 74  eliver incorrect
23b0: 20 72 65 73 75 6c 74 73 2e 20 20 49 6e 20 70 61   results.  In pa
23c0: 72 74 69 63 75 6c 61 72 2c 20 69 66 20 70 74 68  rticular, if pth
23d0: 72 65 61 64 5f 65 71 75 61 6c 28 29 20 69 73 0a  read_equal() is.
23e0: 2a 2a 20 6e 6f 74 20 61 6e 20 61 74 6f 6d 69 63  ** not an atomic
23f0: 20 6f 70 65 72 61 74 69 6f 6e 2c 20 74 68 65 6e   operation, then
2400: 20 74 68 65 73 65 20 72 6f 75 74 69 6e 65 73 20   these routines 
2410: 6d 69 67 68 74 20 64 65 6c 69 76 65 72 79 0a 2a  might delivery.*
2420: 2a 20 69 6e 63 6f 72 72 65 63 74 20 72 65 73 75  * incorrect resu
2430: 6c 74 73 2e 20 20 4f 6e 20 6d 6f 73 74 20 70 6c  lts.  On most pl
2440: 61 74 66 6f 72 6d 73 2c 20 70 74 68 72 65 61 64  atforms, pthread
2450: 5f 65 71 75 61 6c 28 29 20 69 73 20 61 20 0a 2a  _equal() is a .*
2460: 2a 20 63 6f 6d 70 61 72 69 73 6f 6e 20 6f 66 20  * comparison of 
2470: 74 77 6f 20 69 6e 74 65 67 65 72 73 20 61 6e 64  two integers and
2480: 20 69 73 20 74 68 65 72 65 66 6f 72 65 20 61 74   is therefore at
2490: 6f 6d 69 63 2e 20 20 42 75 74 20 77 65 20 61 72  omic.  But we ar
24a0: 65 0a 2a 2a 20 74 6f 6c 64 20 74 68 61 74 20 48  e.** told that H
24b0: 50 55 58 20 69 73 20 6e 6f 74 20 73 75 63 68 20  PUX is not such 
24c0: 61 20 70 6c 61 74 66 6f 72 6d 2e 20 20 49 66 20  a platform.  If 
24d0: 73 6f 2c 20 74 68 65 6e 20 74 68 65 73 65 20 72  so, then these r
24e0: 6f 75 74 69 6e 65 73 0a 2a 2a 20 77 69 6c 6c 20  outines.** will 
24f0: 6e 6f 74 20 61 6c 77 61 79 73 20 77 6f 72 6b 20  not always work 
2500: 63 6f 72 72 65 63 74 6c 79 20 6f 6e 20 48 50 55  correctly on HPU
2510: 58 2e 0a 2a 2a 0a 2a 2a 20 4f 6e 20 74 68 6f 73  X..**.** On thos
2520: 65 20 70 6c 61 74 66 6f 72 6d 73 20 77 68 65 72  e platforms wher
2530: 65 20 70 74 68 72 65 61 64 5f 65 71 75 61 6c 28  e pthread_equal(
2540: 29 20 69 73 20 6e 6f 74 20 61 74 6f 6d 69 63 2c  ) is not atomic,
2550: 20 53 51 4c 69 74 65 0a 2a 2a 20 73 68 6f 75 6c   SQLite.** shoul
2560: 64 20 62 65 20 63 6f 6d 70 69 6c 65 64 20 77 69  d be compiled wi
2570: 74 68 6f 75 74 20 2d 44 53 51 4c 49 54 45 5f 44  thout -DSQLITE_D
2580: 45 42 55 47 20 61 6e 64 20 77 69 74 68 20 2d 44  EBUG and with -D
2590: 4e 44 45 42 55 47 20 74 6f 0a 2a 2a 20 6d 61 6b  NDEBUG to.** mak
25a0: 65 20 73 75 72 65 20 6e 6f 20 61 73 73 65 72 74  e sure no assert
25b0: 28 29 20 73 74 61 74 65 6d 65 6e 74 73 20 61 72  () statements ar
25c0: 65 20 65 76 61 6c 75 61 74 65 64 20 61 6e 64 20  e evaluated and 
25d0: 68 65 6e 63 65 20 74 68 65 73 65 0a 2a 2a 20 72  hence these.** r
25e0: 6f 75 74 69 6e 65 73 20 61 72 65 20 6e 65 76 65  outines are neve
25f0: 72 20 63 61 6c 6c 65 64 2e 0a 2a 2f 0a 23 69 66  r called..*/.#if
2600: 6e 64 65 66 20 4e 44 45 42 55 47 0a 69 6e 74 20  ndef NDEBUG.int 
2610: 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 68 65  sqlite3_mutex_he
2620: 6c 64 28 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  ld(sqlite3_mutex
2630: 20 2a 70 29 7b 0a 20 20 72 65 74 75 72 6e 20 70   *p){.  return p
2640: 3d 3d 30 20 7c 7c 20 28 70 2d 3e 6e 52 65 66 21  ==0 || (p->nRef!
2650: 3d 30 20 26 26 20 70 74 68 72 65 61 64 5f 65 71  =0 && pthread_eq
2660: 75 61 6c 28 70 2d 3e 6f 77 6e 65 72 2c 20 70 74  ual(p->owner, pt
2670: 68 72 65 61 64 5f 73 65 6c 66 28 29 29 29 3b 0a  hread_self()));.
2680: 7d 0a 69 6e 74 20 73 71 6c 69 74 65 33 5f 6d 75  }.int sqlite3_mu
2690: 74 65 78 5f 6e 6f 74 68 65 6c 64 28 73 71 6c 69  tex_notheld(sqli
26a0: 74 65 33 5f 6d 75 74 65 78 20 2a 70 29 7b 0a 20  te3_mutex *p){. 
26b0: 20 72 65 74 75 72 6e 20 70 3d 3d 30 20 7c 7c 20   return p==0 || 
26c0: 70 2d 3e 6e 52 65 66 3d 3d 30 20 7c 7c 20 70 74  p->nRef==0 || pt
26d0: 68 72 65 61 64 5f 65 71 75 61 6c 28 70 2d 3e 6f  hread_equal(p->o
26e0: 77 6e 65 72 2c 20 70 74 68 72 65 61 64 5f 73 65  wner, pthread_se
26f0: 6c 66 28 29 29 3d 3d 30 3b 0a 7d 0a 23 65 6e 64  lf())==0;.}.#end
2700: 69 66 0a 23 65 6e 64 69 66 20 2f 2a 20 53 51 4c  if.#endif /* SQL
2710: 49 54 45 5f 4d 55 54 45 58 5f 50 54 48 52 45 41  ITE_MUTEX_PTHREA
2720: 44 20 2a 2f 0a                                   D */.