/ Hex Artifact Content
Login

Artifact ff77650261a245035b79c5c8a174f4e05d3cae8a:


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 32 20 32 30 30 37  nix.c,v 1.2 2007
01e0: 2f 30 38 2f 32 38 20 32 32 3a 32 34 3a 33 35 20  /08/28 22:24:35 
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 2f 2a 0a 2a 2a 20 45 61  ead.h>../*.** Ea
0320: 63 68 20 72 65 63 75 72 73 69 76 65 20 6d 75 74  ch recursive mut
0330: 65 78 20 69 73 20 61 6e 20 69 6e 73 74 61 6e 63  ex is an instanc
0340: 65 20 6f 66 20 74 68 65 20 66 6f 6c 6c 6f 77 69  e of the followi
0350: 6e 67 20 73 74 72 75 63 74 75 72 65 2e 0a 2a 2f  ng structure..*/
0360: 0a 73 74 72 75 63 74 20 73 71 6c 69 74 65 33 5f  .struct sqlite3_
0370: 6d 75 74 65 78 20 7b 0a 20 20 70 74 68 72 65 61  mutex {.  pthrea
0380: 64 5f 6d 75 74 65 78 5f 74 20 6d 75 74 65 78 3b  d_mutex_t mutex;
0390: 20 20 20 20 20 2f 2a 20 4d 75 74 65 78 20 63 6f       /* Mutex co
03a0: 6e 74 72 6f 6c 6c 69 6e 67 20 74 68 65 20 6c 6f  ntrolling the lo
03b0: 63 6b 20 2a 2f 0a 20 20 69 6e 74 20 69 64 3b 20  ck */.  int id; 
03c0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
03d0: 20 20 20 2f 2a 20 4d 75 74 65 78 20 74 79 70 65     /* Mutex type
03e0: 20 2a 2f 0a 20 20 69 6e 74 20 6e 52 65 66 3b 20   */.  int nRef; 
03f0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0400: 20 2f 2a 20 4e 75 6d 62 65 72 20 6f 66 20 65 6e   /* Number of en
0410: 74 72 61 6e 63 65 73 20 2a 2f 0a 20 20 70 74 68  trances */.  pth
0420: 72 65 61 64 5f 74 20 6f 77 6e 65 72 3b 20 20 20  read_t owner;   
0430: 20 20 20 20 20 20 20 20 2f 2a 20 54 68 72 65 61          /* Threa
0440: 64 20 74 68 61 74 20 69 73 20 77 69 74 68 69 6e  d that is within
0450: 20 74 68 69 73 20 6d 75 74 65 78 20 2a 2f 0a 23   this mutex */.#
0460: 69 66 64 65 66 20 53 51 4c 49 54 45 5f 44 45 42  ifdef SQLITE_DEB
0470: 55 47 0a 20 20 69 6e 74 20 74 72 61 63 65 3b 20  UG.  int trace; 
0480: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0490: 2f 2a 20 54 72 75 65 20 74 6f 20 74 72 61 63 65  /* True to trace
04a0: 20 63 68 61 6e 67 65 73 20 2a 2f 0a 23 65 6e 64   changes */.#end
04b0: 69 66 0a 7d 3b 0a 0a 2f 2a 0a 2a 2a 20 54 68 65  if.};../*.** The
04c0: 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 61   sqlite3_mutex_a
04d0: 6c 6c 6f 63 28 29 20 72 6f 75 74 69 6e 65 20 61  lloc() routine a
04e0: 6c 6c 6f 63 61 74 65 73 20 61 20 6e 65 77 0a 2a  llocates a new.*
04f0: 2a 20 6d 75 74 65 78 20 61 6e 64 20 72 65 74 75  * mutex and retu
0500: 72 6e 73 20 61 20 70 6f 69 6e 74 65 72 20 74 6f  rns a pointer to
0510: 20 69 74 2e 20 20 49 66 20 69 74 20 72 65 74 75   it.  If it retu
0520: 72 6e 73 20 4e 55 4c 4c 0a 2a 2a 20 74 68 61 74  rns NULL.** that
0530: 20 6d 65 61 6e 73 20 74 68 61 74 20 61 20 6d 75   means that a mu
0540: 74 65 78 20 63 6f 75 6c 64 20 6e 6f 74 20 62 65  tex could not be
0550: 20 61 6c 6c 6f 63 61 74 65 64 2e 20 20 53 51 4c   allocated.  SQL
0560: 69 74 65 0a 2a 2a 20 77 69 6c 6c 20 75 6e 77 69  ite.** will unwi
0570: 6e 64 20 69 74 73 20 73 74 61 63 6b 20 61 6e 64  nd its stack and
0580: 20 72 65 74 75 72 6e 20 61 6e 20 65 72 72 6f 72   return an error
0590: 2e 20 20 54 68 65 20 61 72 67 75 6d 65 6e 74 0a  .  The argument.
05a0: 2a 2a 20 74 6f 20 73 71 6c 69 74 65 33 5f 6d 75  ** to sqlite3_mu
05b0: 74 65 78 5f 61 6c 6c 6f 63 28 29 20 69 73 20 6f  tex_alloc() is o
05c0: 6e 65 20 6f 66 20 74 68 65 73 65 20 69 6e 74 65  ne of these inte
05d0: 67 65 72 20 63 6f 6e 73 74 61 6e 74 73 3a 0a 2a  ger constants:.*
05e0: 2a 0a 2a 2a 20 3c 75 6c 3e 0a 2a 2a 20 3c 6c 69  *.** <ul>.** <li
05f0: 3e 20 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f  >  SQLITE_MUTEX_
0600: 46 41 53 54 0a 2a 2a 20 3c 6c 69 3e 20 20 53 51  FAST.** <li>  SQ
0610: 4c 49 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52  LITE_MUTEX_RECUR
0620: 53 49 56 45 0a 2a 2a 20 3c 6c 69 3e 20 20 53 51  SIVE.** <li>  SQ
0630: 4c 49 54 45 5f 4d 55 54 45 58 5f 53 54 41 54 49  LITE_MUTEX_STATI
0640: 43 5f 4d 41 53 54 45 52 0a 2a 2a 20 3c 6c 69 3e  C_MASTER.** <li>
0650: 20 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 53    SQLITE_MUTEX_S
0660: 54 41 54 49 43 5f 4d 45 4d 0a 2a 2a 20 3c 6c 69  TATIC_MEM.** <li
0670: 3e 20 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f  >  SQLITE_MUTEX_
0680: 53 54 41 54 49 43 5f 4d 45 4d 32 0a 2a 2a 20 3c  STATIC_MEM2.** <
0690: 6c 69 3e 20 20 53 51 4c 49 54 45 5f 4d 55 54 45  li>  SQLITE_MUTE
06a0: 58 5f 53 54 41 54 49 43 5f 50 52 4e 47 0a 2a 2a  X_STATIC_PRNG.**
06b0: 20 3c 6c 69 3e 20 20 53 51 4c 49 54 45 5f 4d 55   <li>  SQLITE_MU
06c0: 54 45 58 5f 53 54 41 54 49 43 5f 4c 52 55 0a 2a  TEX_STATIC_LRU.*
06d0: 2a 20 3c 2f 75 6c 3e 0a 2a 2a 0a 2a 2a 20 54 68  * </ul>.**.** Th
06e0: 65 20 66 69 72 73 74 20 74 77 6f 20 63 6f 6e 73  e first two cons
06f0: 74 61 6e 74 73 20 63 61 75 73 65 20 73 71 6c 69  tants cause sqli
0700: 74 65 33 5f 6d 75 74 65 78 5f 61 6c 6c 6f 63 28  te3_mutex_alloc(
0710: 29 20 74 6f 20 63 72 65 61 74 65 0a 2a 2a 20 61  ) to create.** a
0720: 20 6e 65 77 20 6d 75 74 65 78 2e 20 20 54 68 65   new mutex.  The
0730: 20 6e 65 77 20 6d 75 74 65 78 20 69 73 20 72 65   new mutex is re
0740: 63 75 72 73 69 76 65 20 77 68 65 6e 20 53 51 4c  cursive when SQL
0750: 49 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53  ITE_MUTEX_RECURS
0760: 49 56 45 0a 2a 2a 20 69 73 20 75 73 65 64 20 62  IVE.** is used b
0770: 75 74 20 6e 6f 74 20 6e 65 63 65 73 73 61 72 69  ut not necessari
0780: 6c 79 20 73 6f 20 77 68 65 6e 20 53 51 4c 49 54  ly so when SQLIT
0790: 45 5f 4d 55 54 45 58 5f 46 41 53 54 20 69 73 20  E_MUTEX_FAST is 
07a0: 75 73 65 64 2e 0a 2a 2a 20 54 68 65 20 6d 75 74  used..** The mut
07b0: 65 78 20 69 6d 70 6c 65 6d 65 6e 74 61 74 69 6f  ex implementatio
07c0: 6e 20 64 6f 65 73 20 6e 6f 74 20 6e 65 65 64 20  n does not need 
07d0: 74 6f 20 6d 61 6b 65 20 61 20 64 69 73 74 69 6e  to make a distin
07e0: 63 74 69 6f 6e 0a 2a 2a 20 62 65 74 77 65 65 6e  ction.** between
07f0: 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 52 45   SQLITE_MUTEX_RE
0800: 43 55 52 53 49 56 45 20 61 6e 64 20 53 51 4c 49  CURSIVE and SQLI
0810: 54 45 5f 4d 55 54 45 58 5f 46 41 53 54 20 69 66  TE_MUTEX_FAST if
0820: 20 69 74 20 64 6f 65 73 0a 2a 2a 20 6e 6f 74 20   it does.** not 
0830: 77 61 6e 74 20 74 6f 2e 20 20 42 75 74 20 53 51  want to.  But SQ
0840: 4c 69 74 65 20 77 69 6c 6c 20 6f 6e 6c 79 20 72  Lite will only r
0850: 65 71 75 65 73 74 20 61 20 72 65 63 75 72 73 69  equest a recursi
0860: 76 65 20 6d 75 74 65 78 20 69 6e 0a 2a 2a 20 63  ve mutex in.** c
0870: 61 73 65 73 20 77 68 65 72 65 20 69 74 20 72 65  ases where it re
0880: 61 6c 6c 79 20 6e 65 65 64 73 20 6f 6e 65 2e 20  ally needs one. 
0890: 20 49 66 20 61 20 66 61 73 74 65 72 20 6e 6f 6e   If a faster non
08a0: 2d 72 65 63 75 72 73 69 76 65 20 6d 75 74 65 78  -recursive mutex
08b0: 0a 2a 2a 20 69 6d 70 6c 65 6d 65 6e 74 61 74 69  .** implementati
08c0: 6f 6e 20 69 73 20 61 76 61 69 6c 61 62 6c 65 20  on is available 
08d0: 6f 6e 20 74 68 65 20 68 6f 73 74 20 70 6c 61 74  on the host plat
08e0: 66 6f 72 6d 2c 20 74 68 65 20 6d 75 74 65 78 20  form, the mutex 
08f0: 73 75 62 73 79 73 74 65 6d 0a 2a 2a 20 6d 69 67  subsystem.** mig
0900: 68 74 20 72 65 74 75 72 6e 20 73 75 63 68 20 61  ht return such a
0910: 20 6d 75 74 65 78 20 69 6e 20 72 65 73 70 6f 6e   mutex in respon
0920: 73 65 20 74 6f 20 53 51 4c 49 54 45 5f 4d 55 54  se to SQLITE_MUT
0930: 45 58 5f 46 41 53 54 2e 0a 2a 2a 0a 2a 2a 20 54  EX_FAST..**.** T
0940: 68 65 20 6f 74 68 65 72 20 61 6c 6c 6f 77 65 64  he other allowed
0950: 20 70 61 72 61 6d 65 74 65 72 73 20 74 6f 20 73   parameters to s
0960: 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 61 6c 6c  qlite3_mutex_all
0970: 6f 63 28 29 20 65 61 63 68 20 72 65 74 75 72 6e  oc() each return
0980: 0a 2a 2a 20 61 20 70 6f 69 6e 74 65 72 20 74 6f  .** a pointer to
0990: 20 61 20 73 74 61 74 69 63 20 70 72 65 65 78 69   a static preexi
09a0: 73 74 69 6e 67 20 6d 75 74 65 78 2e 20 20 54 68  sting mutex.  Th
09b0: 72 65 65 20 73 74 61 74 69 63 20 6d 75 74 65 78  ree static mutex
09c0: 65 73 20 61 72 65 0a 2a 2a 20 75 73 65 64 20 62  es are.** used b
09d0: 79 20 74 68 65 20 63 75 72 72 65 6e 74 20 76 65  y the current ve
09e0: 72 73 69 6f 6e 20 6f 66 20 53 51 4c 69 74 65 2e  rsion of SQLite.
09f0: 20 20 46 75 74 75 72 65 20 76 65 72 73 69 6f 6e    Future version
0a00: 73 20 6f 66 20 53 51 4c 69 74 65 0a 2a 2a 20 6d  s of SQLite.** m
0a10: 61 79 20 61 64 64 20 61 64 64 69 74 69 6f 6e 61  ay add additiona
0a20: 6c 20 73 74 61 74 69 63 20 6d 75 74 65 78 65 73  l static mutexes
0a30: 2e 20 20 53 74 61 74 69 63 20 6d 75 74 65 78 65  .  Static mutexe
0a40: 73 20 61 72 65 20 66 6f 72 20 69 6e 74 65 72 6e  s are for intern
0a50: 61 6c 0a 2a 2a 20 75 73 65 20 62 79 20 53 51 4c  al.** use by SQL
0a60: 69 74 65 20 6f 6e 6c 79 2e 20 20 41 70 70 6c 69  ite only.  Appli
0a70: 63 61 74 69 6f 6e 73 20 74 68 61 74 20 75 73 65  cations that use
0a80: 20 53 51 4c 69 74 65 20 6d 75 74 65 78 65 73 20   SQLite mutexes 
0a90: 73 68 6f 75 6c 64 0a 2a 2a 20 75 73 65 20 6f 6e  should.** use on
0aa0: 6c 79 20 74 68 65 20 64 79 6e 61 6d 69 63 20 6d  ly the dynamic m
0ab0: 75 74 65 78 65 73 20 72 65 74 75 72 6e 65 64 20  utexes returned 
0ac0: 62 79 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f  by SQLITE_MUTEX_
0ad0: 46 41 53 54 20 6f 72 0a 2a 2a 20 53 51 4c 49 54  FAST or.** SQLIT
0ae0: 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56  E_MUTEX_RECURSIV
0af0: 45 2e 0a 2a 2a 0a 2a 2a 20 4e 6f 74 65 20 74 68  E..**.** Note th
0b00: 61 74 20 69 66 20 6f 6e 65 20 6f 66 20 74 68 65  at if one of the
0b10: 20 64 79 6e 61 6d 69 63 20 6d 75 74 65 78 20 70   dynamic mutex p
0b20: 61 72 61 6d 65 74 65 72 73 20 28 53 51 4c 49 54  arameters (SQLIT
0b30: 45 5f 4d 55 54 45 58 5f 46 41 53 54 0a 2a 2a 20  E_MUTEX_FAST.** 
0b40: 6f 72 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f  or SQLITE_MUTEX_
0b50: 52 45 43 55 52 53 49 56 45 29 20 69 73 20 75 73  RECURSIVE) is us
0b60: 65 64 20 74 68 65 6e 20 73 71 6c 69 74 65 33 5f  ed then sqlite3_
0b70: 6d 75 74 65 78 5f 61 6c 6c 6f 63 28 29 0a 2a 2a  mutex_alloc().**
0b80: 20 72 65 74 75 72 6e 73 20 61 20 64 69 66 66 65   returns a diffe
0b90: 72 65 6e 74 20 6d 75 74 65 78 20 6f 6e 20 65 76  rent mutex on ev
0ba0: 65 72 79 20 63 61 6c 6c 2e 20 20 42 75 74 20 66  ery call.  But f
0bb0: 6f 72 20 74 68 65 20 73 74 61 74 69 63 20 0a 2a  or the static .*
0bc0: 2a 20 6d 75 74 65 78 20 74 79 70 65 73 2c 20 74  * mutex types, t
0bd0: 68 65 20 73 61 6d 65 20 6d 75 74 65 78 20 69 73  he same mutex is
0be0: 20 72 65 74 75 72 6e 65 64 20 6f 6e 20 65 76 65   returned on eve
0bf0: 72 79 20 63 61 6c 6c 20 74 68 61 74 20 68 61 73  ry call that has
0c00: 0a 2a 2a 20 74 68 65 20 73 61 6d 65 20 74 79 70  .** the same typ
0c10: 65 20 6e 75 6d 62 65 72 2e 0a 2a 2f 0a 73 71 6c  e number..*/.sql
0c20: 69 74 65 33 5f 6d 75 74 65 78 20 2a 73 71 6c 69  ite3_mutex *sqli
0c30: 74 65 33 5f 6d 75 74 65 78 5f 61 6c 6c 6f 63 28  te3_mutex_alloc(
0c40: 69 6e 74 20 69 54 79 70 65 29 7b 0a 20 20 73 74  int iType){.  st
0c50: 61 74 69 63 20 73 71 6c 69 74 65 33 5f 6d 75 74  atic sqlite3_mut
0c60: 65 78 20 73 74 61 74 69 63 4d 75 74 65 78 65 73  ex staticMutexes
0c70: 5b 5d 20 3d 20 7b 0a 20 20 20 20 7b 20 50 54 48  [] = {.    { PTH
0c80: 52 45 41 44 5f 4d 55 54 45 58 5f 49 4e 49 54 49  READ_MUTEX_INITI
0c90: 41 4c 49 5a 45 52 2c 20 7d 2c 0a 20 20 20 20 7b  ALIZER, },.    {
0ca0: 20 50 54 48 52 45 41 44 5f 4d 55 54 45 58 5f 49   PTHREAD_MUTEX_I
0cb0: 4e 49 54 49 41 4c 49 5a 45 52 2c 20 7d 2c 0a 20  NITIALIZER, },. 
0cc0: 20 20 20 7b 20 50 54 48 52 45 41 44 5f 4d 55 54     { PTHREAD_MUT
0cd0: 45 58 5f 49 4e 49 54 49 41 4c 49 5a 45 52 2c 20  EX_INITIALIZER, 
0ce0: 7d 2c 0a 20 20 20 20 7b 20 50 54 48 52 45 41 44  },.    { PTHREAD
0cf0: 5f 4d 55 54 45 58 5f 49 4e 49 54 49 41 4c 49 5a  _MUTEX_INITIALIZ
0d00: 45 52 2c 20 7d 2c 0a 20 20 20 20 7b 20 50 54 48  ER, },.    { PTH
0d10: 52 45 41 44 5f 4d 55 54 45 58 5f 49 4e 49 54 49  READ_MUTEX_INITI
0d20: 41 4c 49 5a 45 52 2c 20 7d 2c 0a 20 20 7d 3b 0a  ALIZER, },.  };.
0d30: 20 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20    sqlite3_mutex 
0d40: 2a 70 3b 0a 20 20 73 77 69 74 63 68 28 20 69 54  *p;.  switch( iT
0d50: 79 70 65 20 29 7b 0a 20 20 20 20 63 61 73 65 20  ype ){.    case 
0d60: 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 52 45 43  SQLITE_MUTEX_REC
0d70: 55 52 53 49 56 45 3a 20 7b 0a 20 20 20 20 20 20  URSIVE: {.      
0d80: 70 20 3d 20 73 71 6c 69 74 65 33 4d 61 6c 6c 6f  p = sqlite3Mallo
0d90: 63 5a 65 72 6f 28 20 73 69 7a 65 6f 66 28 2a 70  cZero( sizeof(*p
0da0: 29 20 29 3b 0a 20 20 20 20 20 20 69 66 28 20 70  ) );.      if( p
0db0: 20 29 7b 0a 20 20 20 20 20 20 20 20 70 74 68 72   ){.        pthr
0dc0: 65 61 64 5f 6d 75 74 65 78 61 74 74 72 5f 74 20  ead_mutexattr_t 
0dd0: 72 65 63 75 72 73 69 76 65 41 74 74 72 3b 0a 20  recursiveAttr;. 
0de0: 20 20 20 20 20 20 20 70 74 68 72 65 61 64 5f 6d         pthread_m
0df0: 75 74 65 78 61 74 74 72 5f 69 6e 69 74 28 26 72  utexattr_init(&r
0e00: 65 63 75 72 73 69 76 65 41 74 74 72 29 3b 0a 20  ecursiveAttr);. 
0e10: 20 20 20 20 20 20 20 70 74 68 72 65 61 64 5f 6d         pthread_m
0e20: 75 74 65 78 61 74 74 72 5f 73 65 74 74 79 70 65  utexattr_settype
0e30: 28 26 72 65 63 75 72 73 69 76 65 41 74 74 72 2c  (&recursiveAttr,
0e40: 20 50 54 48 52 45 41 44 5f 4d 55 54 45 58 5f 52   PTHREAD_MUTEX_R
0e50: 45 43 55 52 53 49 56 45 29 3b 0a 20 20 20 20 20  ECURSIVE);.     
0e60: 20 20 20 70 74 68 72 65 61 64 5f 6d 75 74 65 78     pthread_mutex
0e70: 5f 69 6e 69 74 28 26 70 2d 3e 6d 75 74 65 78 2c  _init(&p->mutex,
0e80: 20 26 72 65 63 75 72 73 69 76 65 41 74 74 72 29   &recursiveAttr)
0e90: 3b 0a 20 20 20 20 20 20 20 20 70 74 68 72 65 61  ;.        pthrea
0ea0: 64 5f 6d 75 74 65 78 61 74 74 72 5f 64 65 73 74  d_mutexattr_dest
0eb0: 72 6f 79 28 26 72 65 63 75 72 73 69 76 65 41 74  roy(&recursiveAt
0ec0: 74 72 29 3b 0a 20 20 20 20 20 20 20 20 70 2d 3e  tr);.        p->
0ed0: 69 64 20 3d 20 69 54 79 70 65 3b 0a 20 20 20 20  id = iType;.    
0ee0: 20 20 7d 0a 20 20 20 20 20 20 62 72 65 61 6b 3b    }.      break;
0ef0: 0a 20 20 20 20 7d 0a 20 20 20 20 63 61 73 65 20  .    }.    case 
0f00: 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 46 41 53  SQLITE_MUTEX_FAS
0f10: 54 3a 20 7b 0a 20 20 20 20 20 20 70 20 3d 20 73  T: {.      p = s
0f20: 71 6c 69 74 65 33 4d 61 6c 6c 6f 63 5a 65 72 6f  qlite3MallocZero
0f30: 28 20 73 69 7a 65 6f 66 28 2a 70 29 20 29 3b 0a  ( sizeof(*p) );.
0f40: 20 20 20 20 20 20 69 66 28 20 70 20 29 7b 0a 20        if( p ){. 
0f50: 20 20 20 20 20 20 20 70 2d 3e 69 64 20 3d 20 69         p->id = i
0f60: 54 79 70 65 3b 0a 20 20 20 20 20 20 20 20 70 74  Type;.        pt
0f70: 68 72 65 61 64 5f 6d 75 74 65 78 5f 69 6e 69 74  hread_mutex_init
0f80: 28 26 70 2d 3e 6d 75 74 65 78 2c 20 30 29 3b 0a  (&p->mutex, 0);.
0f90: 20 20 20 20 20 20 7d 0a 20 20 20 20 20 20 62 72        }.      br
0fa0: 65 61 6b 3b 0a 20 20 20 20 7d 0a 20 20 20 20 64  eak;.    }.    d
0fb0: 65 66 61 75 6c 74 3a 20 7b 0a 20 20 20 20 20 20  efault: {.      
0fc0: 61 73 73 65 72 74 28 20 69 54 79 70 65 2d 32 20  assert( iType-2 
0fd0: 3e 3d 20 30 20 29 3b 0a 20 20 20 20 20 20 61 73  >= 0 );.      as
0fe0: 73 65 72 74 28 20 69 54 79 70 65 2d 32 20 3c 20  sert( iType-2 < 
0ff0: 73 69 7a 65 6f 66 28 73 74 61 74 69 63 4d 75 74  sizeof(staticMut
1000: 65 78 65 73 29 2f 73 69 7a 65 6f 66 28 73 74 61  exes)/sizeof(sta
1010: 74 69 63 4d 75 74 65 78 65 73 5b 30 5d 29 20 29  ticMutexes[0]) )
1020: 3b 0a 20 20 20 20 20 20 70 20 3d 20 26 73 74 61  ;.      p = &sta
1030: 74 69 63 4d 75 74 65 78 65 73 5b 69 54 79 70 65  ticMutexes[iType
1040: 2d 32 5d 3b 0a 20 20 20 20 20 20 70 2d 3e 69 64  -2];.      p->id
1050: 20 3d 20 69 54 79 70 65 3b 0a 20 20 20 20 20 20   = iType;.      
1060: 62 72 65 61 6b 3b 0a 20 20 20 20 7d 0a 20 20 7d  break;.    }.  }
1070: 0a 20 20 72 65 74 75 72 6e 20 70 3b 0a 7d 0a 0a  .  return p;.}..
1080: 0a 2f 2a 0a 2a 2a 20 54 68 69 73 20 72 6f 75 74  ./*.** This rout
1090: 69 6e 65 20 64 65 61 6c 6c 6f 63 61 74 65 73 20  ine deallocates 
10a0: 61 20 70 72 65 76 69 6f 75 73 6c 79 0a 2a 2a 20  a previously.** 
10b0: 61 6c 6c 6f 63 61 74 65 64 20 6d 75 74 65 78 2e  allocated mutex.
10c0: 20 20 53 51 4c 69 74 65 20 69 73 20 63 61 72 65    SQLite is care
10d0: 66 75 6c 20 74 6f 20 64 65 61 6c 6c 6f 63 61 74  ful to deallocat
10e0: 65 20 65 76 65 72 79 0a 2a 2a 20 6d 75 74 65 78  e every.** mutex
10f0: 20 74 68 61 74 20 69 74 20 61 6c 6c 6f 63 61 74   that it allocat
1100: 65 73 2e 0a 2a 2f 0a 76 6f 69 64 20 73 71 6c 69  es..*/.void sqli
1110: 74 65 33 5f 6d 75 74 65 78 5f 66 72 65 65 28 73  te3_mutex_free(s
1120: 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a 70 29  qlite3_mutex *p)
1130: 7b 0a 20 20 61 73 73 65 72 74 28 20 70 20 29 3b  {.  assert( p );
1140: 0a 20 20 61 73 73 65 72 74 28 20 70 2d 3e 6e 52  .  assert( p->nR
1150: 65 66 3d 3d 30 20 29 3b 0a 20 20 61 73 73 65 72  ef==0 );.  asser
1160: 74 28 20 70 2d 3e 69 64 3d 3d 53 51 4c 49 54 45  t( p->id==SQLITE
1170: 5f 4d 55 54 45 58 5f 46 41 53 54 20 7c 7c 20 70  _MUTEX_FAST || p
1180: 2d 3e 69 64 3d 3d 53 51 4c 49 54 45 5f 4d 55 54  ->id==SQLITE_MUT
1190: 45 58 5f 52 45 43 55 52 53 49 56 45 20 29 3b 0a  EX_RECURSIVE );.
11a0: 20 20 70 74 68 72 65 61 64 5f 6d 75 74 65 78 5f    pthread_mutex_
11b0: 64 65 73 74 72 6f 79 28 26 70 2d 3e 6d 75 74 65  destroy(&p->mute
11c0: 78 29 3b 0a 20 20 73 71 6c 69 74 65 33 5f 66 72  x);.  sqlite3_fr
11d0: 65 65 28 70 29 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a 20  ee(p);.}../*.** 
11e0: 54 68 65 20 73 71 6c 69 74 65 33 5f 6d 75 74 65  The sqlite3_mute
11f0: 78 5f 65 6e 74 65 72 28 29 20 61 6e 64 20 73 71  x_enter() and sq
1200: 6c 69 74 65 33 5f 6d 75 74 65 78 5f 74 72 79 28  lite3_mutex_try(
1210: 29 20 72 6f 75 74 69 6e 65 73 20 61 74 74 65 6d  ) routines attem
1220: 70 74 0a 2a 2a 20 74 6f 20 65 6e 74 65 72 20 61  pt.** to enter a
1230: 20 6d 75 74 65 78 2e 20 20 49 66 20 61 6e 6f 74   mutex.  If anot
1240: 68 65 72 20 74 68 72 65 61 64 20 69 73 20 61 6c  her thread is al
1250: 72 65 61 64 79 20 77 69 74 68 69 6e 20 74 68 65  ready within the
1260: 20 6d 75 74 65 78 2c 0a 2a 2a 20 73 71 6c 69 74   mutex,.** sqlit
1270: 65 33 5f 6d 75 74 65 78 5f 65 6e 74 65 72 28 29  e3_mutex_enter()
1280: 20 77 69 6c 6c 20 62 6c 6f 63 6b 20 61 6e 64 20   will block and 
1290: 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 74 72  sqlite3_mutex_tr
12a0: 79 28 29 20 77 69 6c 6c 20 72 65 74 75 72 6e 0a  y() will return.
12b0: 2a 2a 20 53 51 4c 49 54 45 5f 42 55 53 59 2e 20  ** SQLITE_BUSY. 
12c0: 20 54 68 65 20 73 71 6c 69 74 65 33 5f 6d 75 74   The sqlite3_mut
12d0: 65 78 5f 74 72 79 28 29 20 69 6e 74 65 72 66 61  ex_try() interfa
12e0: 63 65 20 72 65 74 75 72 6e 73 20 53 51 4c 49 54  ce returns SQLIT
12f0: 45 5f 4f 4b 0a 2a 2a 20 75 70 6f 6e 20 73 75 63  E_OK.** upon suc
1300: 63 65 73 73 66 75 6c 20 65 6e 74 72 79 2e 20 20  cessful entry.  
1310: 4d 75 74 65 78 65 73 20 63 72 65 61 74 65 64 20  Mutexes created 
1320: 75 73 69 6e 67 20 53 51 4c 49 54 45 5f 4d 55 54  using SQLITE_MUT
1330: 45 58 5f 52 45 43 55 52 53 49 56 45 20 63 61 6e  EX_RECURSIVE can
1340: 0a 2a 2a 20 62 65 20 65 6e 74 65 72 65 64 20 6d  .** be entered m
1350: 75 6c 74 69 70 6c 65 20 74 69 6d 65 73 20 62 79  ultiple times by
1360: 20 74 68 65 20 73 61 6d 65 20 74 68 72 65 61 64   the same thread
1370: 2e 20 20 49 6e 20 73 75 63 68 20 63 61 73 65 73  .  In such cases
1380: 20 74 68 65 2c 0a 2a 2a 20 6d 75 74 65 78 20 6d   the,.** mutex m
1390: 75 73 74 20 62 65 20 65 78 69 74 65 64 20 61 6e  ust be exited an
13a0: 20 65 71 75 61 6c 20 6e 75 6d 62 65 72 20 6f 66   equal number of
13b0: 20 74 69 6d 65 73 20 62 65 66 6f 72 65 20 61 6e   times before an
13c0: 6f 74 68 65 72 20 74 68 72 65 61 64 0a 2a 2a 20  other thread.** 
13d0: 63 61 6e 20 65 6e 74 65 72 2e 20 20 49 66 20 74  can enter.  If t
13e0: 68 65 20 73 61 6d 65 20 74 68 72 65 61 64 20 74  he same thread t
13f0: 72 69 65 73 20 74 6f 20 65 6e 74 65 72 20 61 6e  ries to enter an
1400: 79 20 6f 74 68 65 72 20 6b 69 6e 64 20 6f 66 20  y other kind of 
1410: 6d 75 74 65 78 0a 2a 2a 20 6d 6f 72 65 20 74 68  mutex.** more th
1420: 61 6e 20 6f 6e 63 65 2c 20 74 68 65 20 62 65 68  an once, the beh
1430: 61 76 69 6f 72 20 69 73 20 75 6e 64 65 66 69 6e  avior is undefin
1440: 65 64 2e 0a 2a 2f 0a 76 6f 69 64 20 73 71 6c 69  ed..*/.void sqli
1450: 74 65 33 5f 6d 75 74 65 78 5f 65 6e 74 65 72 28  te3_mutex_enter(
1460: 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a 70  sqlite3_mutex *p
1470: 29 7b 0a 20 20 61 73 73 65 72 74 28 20 70 20 29  ){.  assert( p )
1480: 3b 0a 20 20 61 73 73 65 72 74 28 20 70 2d 3e 69  ;.  assert( p->i
1490: 64 3d 3d 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f  d==SQLITE_MUTEX_
14a0: 52 45 43 55 52 53 49 56 45 20 7c 7c 20 73 71 6c  RECURSIVE || sql
14b0: 69 74 65 33 5f 6d 75 74 65 78 5f 6e 6f 74 68 65  ite3_mutex_nothe
14c0: 6c 64 28 70 29 20 29 3b 0a 20 20 70 74 68 72 65  ld(p) );.  pthre
14d0: 61 64 5f 6d 75 74 65 78 5f 6c 6f 63 6b 28 26 70  ad_mutex_lock(&p
14e0: 2d 3e 6d 75 74 65 78 29 3b 0a 20 20 70 2d 3e 6f  ->mutex);.  p->o
14f0: 77 6e 65 72 20 3d 20 70 74 68 72 65 61 64 5f 73  wner = pthread_s
1500: 65 6c 66 28 29 3b 0a 20 20 70 2d 3e 6e 52 65 66  elf();.  p->nRef
1510: 2b 2b 3b 0a 23 69 66 64 65 66 20 53 51 4c 49 54  ++;.#ifdef SQLIT
1520: 45 5f 44 45 42 55 47 0a 20 20 69 66 28 20 70 2d  E_DEBUG.  if( p-
1530: 3e 74 72 61 63 65 20 29 7b 0a 20 20 20 20 70 72  >trace ){.    pr
1540: 69 6e 74 66 28 22 65 6e 74 65 72 20 6d 75 74 65  intf("enter mute
1550: 78 20 25 70 20 28 25 64 29 20 77 69 74 68 20 6e  x %p (%d) with n
1560: 52 65 66 3d 25 64 5c 6e 22 2c 20 70 2c 20 70 2d  Ref=%d\n", p, p-
1570: 3e 74 72 61 63 65 2c 20 70 2d 3e 6e 52 65 66 29  >trace, p->nRef)
1580: 3b 0a 20 20 7d 0a 23 65 6e 64 69 66 0a 7d 0a 69  ;.  }.#endif.}.i
1590: 6e 74 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  nt sqlite3_mutex
15a0: 5f 74 72 79 28 73 71 6c 69 74 65 33 5f 6d 75 74  _try(sqlite3_mut
15b0: 65 78 20 2a 70 29 7b 0a 20 20 69 6e 74 20 72 63  ex *p){.  int rc
15c0: 3b 0a 20 20 61 73 73 65 72 74 28 20 70 20 29 3b  ;.  assert( p );
15d0: 0a 20 20 61 73 73 65 72 74 28 20 70 2d 3e 69 64  .  assert( p->id
15e0: 3d 3d 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 52  ==SQLITE_MUTEX_R
15f0: 45 43 55 52 53 49 56 45 20 7c 7c 20 73 71 6c 69  ECURSIVE || sqli
1600: 74 65 33 5f 6d 75 74 65 78 5f 6e 6f 74 68 65 6c  te3_mutex_nothel
1610: 64 28 70 29 20 29 3b 0a 20 20 69 66 28 20 70 74  d(p) );.  if( pt
1620: 68 72 65 61 64 5f 6d 75 74 65 78 5f 74 72 79 6c  hread_mutex_tryl
1630: 6f 63 6b 28 26 70 2d 3e 6d 75 74 65 78 29 3d 3d  ock(&p->mutex)==
1640: 30 20 29 7b 0a 20 20 20 20 70 2d 3e 6f 77 6e 65  0 ){.    p->owne
1650: 72 20 3d 20 70 74 68 72 65 61 64 5f 73 65 6c 66  r = pthread_self
1660: 28 29 3b 0a 20 20 20 20 70 2d 3e 6e 52 65 66 2b  ();.    p->nRef+
1670: 2b 3b 0a 20 20 20 20 72 63 20 3d 20 53 51 4c 49  +;.    rc = SQLI
1680: 54 45 5f 4f 4b 3b 0a 23 69 66 64 65 66 20 53 51  TE_OK;.#ifdef SQ
1690: 4c 49 54 45 5f 44 45 42 55 47 0a 20 20 20 20 69  LITE_DEBUG.    i
16a0: 66 28 20 70 2d 3e 74 72 61 63 65 20 29 7b 0a 20  f( p->trace ){. 
16b0: 20 20 20 20 20 70 72 69 6e 74 66 28 22 65 6e 74       printf("ent
16c0: 65 72 20 6d 75 74 65 78 20 25 70 20 28 25 64 29  er mutex %p (%d)
16d0: 20 77 69 74 68 20 6e 52 65 66 3d 25 64 5c 6e 22   with nRef=%d\n"
16e0: 2c 20 70 2c 20 70 2d 3e 74 72 61 63 65 2c 20 70  , p, p->trace, p
16f0: 2d 3e 6e 52 65 66 29 3b 0a 20 20 20 20 7d 0a 23  ->nRef);.    }.#
1700: 65 6e 64 69 66 0a 20 20 7d 65 6c 73 65 7b 0a 20  endif.  }else{. 
1710: 20 20 20 72 63 20 3d 20 53 51 4c 49 54 45 5f 42     rc = SQLITE_B
1720: 55 53 59 3b 0a 20 20 7d 0a 20 20 72 65 74 75 72  USY;.  }.  retur
1730: 6e 20 72 63 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 54  n rc;.}../*.** T
1740: 68 65 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  he sqlite3_mutex
1750: 5f 6c 65 61 76 65 28 29 20 72 6f 75 74 69 6e 65  _leave() routine
1760: 20 65 78 69 74 73 20 61 20 6d 75 74 65 78 20 74   exits a mutex t
1770: 68 61 74 20 77 61 73 0a 2a 2a 20 70 72 65 76 69  hat was.** previ
1780: 6f 75 73 6c 79 20 65 6e 74 65 72 65 64 20 62 79  ously entered by
1790: 20 74 68 65 20 73 61 6d 65 20 74 68 72 65 61 64   the same thread
17a0: 2e 20 20 54 68 65 20 62 65 68 61 76 69 6f 72 0a  .  The behavior.
17b0: 2a 2a 20 69 73 20 75 6e 64 65 66 69 6e 65 64 20  ** is undefined 
17c0: 69 66 20 74 68 65 20 6d 75 74 65 78 20 69 73 20  if the mutex is 
17d0: 6e 6f 74 20 63 75 72 72 65 6e 74 6c 79 20 65 6e  not currently en
17e0: 74 65 72 65 64 20 6f 72 0a 2a 2a 20 69 73 20 6e  tered or.** is n
17f0: 6f 74 20 63 75 72 72 65 6e 74 6c 79 20 61 6c 6c  ot currently all
1800: 6f 63 61 74 65 64 2e 20 20 53 51 4c 69 74 65 20  ocated.  SQLite 
1810: 77 69 6c 6c 20 6e 65 76 65 72 20 64 6f 20 65 69  will never do ei
1820: 74 68 65 72 2e 0a 2a 2f 0a 76 6f 69 64 20 73 71  ther..*/.void sq
1830: 6c 69 74 65 33 5f 6d 75 74 65 78 5f 6c 65 61 76  lite3_mutex_leav
1840: 65 28 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20  e(sqlite3_mutex 
1850: 2a 70 29 7b 0a 20 20 61 73 73 65 72 74 28 20 70  *p){.  assert( p
1860: 20 29 3b 0a 20 20 61 73 73 65 72 74 28 20 73 71   );.  assert( sq
1870: 6c 69 74 65 33 5f 6d 75 74 65 78 5f 68 65 6c 64  lite3_mutex_held
1880: 28 70 29 20 29 3b 0a 20 20 70 2d 3e 6e 52 65 66  (p) );.  p->nRef
1890: 2d 2d 3b 0a 20 20 61 73 73 65 72 74 28 20 70 2d  --;.  assert( p-
18a0: 3e 6e 52 65 66 3d 3d 30 20 7c 7c 20 70 2d 3e 69  >nRef==0 || p->i
18b0: 64 3d 3d 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f  d==SQLITE_MUTEX_
18c0: 52 45 43 55 52 53 49 56 45 20 29 3b 0a 23 69 66  RECURSIVE );.#if
18d0: 64 65 66 20 53 51 4c 49 54 45 5f 44 45 42 55 47  def SQLITE_DEBUG
18e0: 0a 20 20 69 66 28 20 70 2d 3e 74 72 61 63 65 20  .  if( p->trace 
18f0: 29 7b 0a 20 20 20 20 70 72 69 6e 74 66 28 22 6c  ){.    printf("l
1900: 65 61 76 65 20 6d 75 74 65 78 20 25 70 20 28 25  eave mutex %p (%
1910: 64 29 20 77 69 74 68 20 6e 52 65 66 3d 25 64 5c  d) with nRef=%d\
1920: 6e 22 2c 20 70 2c 20 70 2d 3e 74 72 61 63 65 2c  n", p, p->trace,
1930: 20 70 2d 3e 6e 52 65 66 29 3b 0a 20 20 7d 0a 23   p->nRef);.  }.#
1940: 65 6e 64 69 66 0a 20 20 70 74 68 72 65 61 64 5f  endif.  pthread_
1950: 6d 75 74 65 78 5f 75 6e 6c 6f 63 6b 28 26 70 2d  mutex_unlock(&p-
1960: 3e 6d 75 74 65 78 29 3b 0a 7d 0a 0a 2f 2a 0a 2a  >mutex);.}../*.*
1970: 2a 20 54 68 65 20 73 71 6c 69 74 65 33 5f 6d 75  * The sqlite3_mu
1980: 74 65 78 5f 68 65 6c 64 28 29 20 61 6e 64 20 73  tex_held() and s
1990: 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 6e 6f 74  qlite3_mutex_not
19a0: 68 65 6c 64 28 29 20 72 6f 75 74 69 6e 65 20 61  held() routine a
19b0: 72 65 0a 2a 2a 20 69 6e 74 65 6e 64 65 64 20 66  re.** intended f
19c0: 6f 72 20 75 73 65 20 6f 6e 6c 79 20 69 6e 73 69  or use only insi
19d0: 64 65 20 61 73 73 65 72 74 28 29 20 73 74 61 74  de assert() stat
19e0: 65 6d 65 6e 74 73 2e 20 20 4f 6e 20 73 6f 6d 65  ements.  On some
19f0: 20 70 6c 61 74 66 6f 72 6d 73 2c 0a 2a 2a 20 74   platforms,.** t
1a00: 68 65 72 65 20 6d 69 67 68 74 20 62 65 20 72 61  here might be ra
1a10: 63 65 20 63 6f 6e 64 69 74 69 6f 6e 73 20 74 68  ce conditions th
1a20: 61 74 20 63 61 6e 20 63 61 75 73 65 20 74 68 65  at can cause the
1a30: 73 65 20 72 6f 75 74 69 6e 65 73 20 74 6f 0a 2a  se routines to.*
1a40: 2a 20 64 65 6c 69 76 65 72 20 69 6e 63 6f 72 72  * deliver incorr
1a50: 65 63 74 20 72 65 73 75 6c 74 73 2e 20 20 49 6e  ect results.  In
1a60: 20 70 61 72 74 69 63 75 6c 61 72 2c 20 69 66 20   particular, if 
1a70: 70 74 68 72 65 61 64 5f 65 71 75 61 6c 28 29 20  pthread_equal() 
1a80: 69 73 0a 2a 2a 20 6e 6f 74 20 61 6e 20 61 74 6f  is.** not an ato
1a90: 6d 69 63 20 6f 70 65 72 61 74 69 6f 6e 2c 20 74  mic operation, t
1aa0: 68 65 6e 20 74 68 65 73 65 20 72 6f 75 74 69 6e  hen these routin
1ab0: 65 73 20 6d 69 67 68 74 20 64 65 6c 69 76 65 72  es might deliver
1ac0: 79 0a 2a 2a 20 69 6e 63 6f 72 72 65 63 74 20 72  y.** incorrect r
1ad0: 65 73 75 6c 74 73 2e 20 20 4f 6e 20 6d 6f 73 74  esults.  On most
1ae0: 20 70 6c 61 74 66 6f 72 6d 73 2c 20 70 74 68 72   platforms, pthr
1af0: 65 61 64 5f 65 71 75 61 6c 28 29 20 69 73 20 61  ead_equal() is a
1b00: 20 0a 2a 2a 20 63 6f 6d 70 61 72 69 73 6f 6e 20   .** comparison 
1b10: 6f 66 20 74 77 6f 20 69 6e 74 65 67 65 72 73 20  of two integers 
1b20: 61 6e 64 20 69 73 20 74 68 65 72 65 66 6f 72 65  and is therefore
1b30: 20 61 74 6f 6d 69 63 2e 20 20 42 75 74 20 77 65   atomic.  But we
1b40: 20 61 72 65 0a 2a 2a 20 74 6f 6c 64 20 74 68 61   are.** told tha
1b50: 74 20 48 50 55 58 20 69 73 20 6e 6f 74 20 73 75  t HPUX is not su
1b60: 63 68 20 61 20 70 6c 61 74 66 6f 72 6d 2e 20 20  ch a platform.  
1b70: 49 66 20 73 6f 2c 20 74 68 65 6e 20 74 68 65 73  If so, then thes
1b80: 65 20 72 6f 75 74 69 6e 65 73 0a 2a 2a 20 77 69  e routines.** wi
1b90: 6c 6c 20 6e 6f 74 20 61 6c 77 61 79 73 20 77 6f  ll not always wo
1ba0: 72 6b 20 63 6f 72 72 65 63 74 6c 79 20 6f 6e 20  rk correctly on 
1bb0: 48 50 55 58 2e 0a 2a 2a 0a 2a 2a 20 4f 6e 20 74  HPUX..**.** On t
1bc0: 68 6f 73 65 20 70 6c 61 74 66 6f 72 6d 73 20 77  hose platforms w
1bd0: 68 65 72 65 20 70 74 68 72 65 61 64 5f 65 71 75  here pthread_equ
1be0: 61 6c 28 29 20 69 73 20 6e 6f 74 20 61 74 6f 6d  al() is not atom
1bf0: 69 63 2c 20 53 51 4c 69 74 65 0a 2a 2a 20 73 68  ic, SQLite.** sh
1c00: 6f 75 6c 64 20 62 65 20 63 6f 6d 70 69 6c 65 64  ould be compiled
1c10: 20 77 69 74 68 6f 75 74 20 2d 44 53 51 4c 49 54   without -DSQLIT
1c20: 45 5f 44 45 42 55 47 20 61 6e 64 20 77 69 74 68  E_DEBUG and with
1c30: 20 2d 44 4e 44 45 42 55 47 20 74 6f 0a 2a 2a 20   -DNDEBUG to.** 
1c40: 6d 61 6b 65 20 73 75 72 65 20 6e 6f 20 61 73 73  make sure no ass
1c50: 65 72 74 28 29 20 73 74 61 74 65 6d 65 6e 74 73  ert() statements
1c60: 20 61 72 65 20 65 76 61 6c 75 61 74 65 64 20 61   are evaluated a
1c70: 6e 64 20 68 65 6e 63 65 20 74 68 65 73 65 0a 2a  nd hence these.*
1c80: 2a 20 72 6f 75 74 69 6e 65 73 20 61 72 65 20 6e  * routines are n
1c90: 65 76 65 72 20 63 61 6c 6c 65 64 2e 0a 2a 2f 0a  ever called..*/.
1ca0: 23 69 66 6e 64 65 66 20 4e 44 45 42 55 47 0a 69  #ifndef NDEBUG.i
1cb0: 6e 74 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  nt sqlite3_mutex
1cc0: 5f 68 65 6c 64 28 73 71 6c 69 74 65 33 5f 6d 75  _held(sqlite3_mu
1cd0: 74 65 78 20 2a 70 29 7b 0a 20 20 72 65 74 75 72  tex *p){.  retur
1ce0: 6e 20 70 3d 3d 30 20 7c 7c 20 28 70 2d 3e 6e 52  n p==0 || (p->nR
1cf0: 65 66 21 3d 30 20 26 26 20 70 74 68 72 65 61 64  ef!=0 && pthread
1d00: 5f 65 71 75 61 6c 28 70 2d 3e 6f 77 6e 65 72 2c  _equal(p->owner,
1d10: 20 70 74 68 72 65 61 64 5f 73 65 6c 66 28 29 29   pthread_self())
1d20: 29 3b 0a 7d 0a 69 6e 74 20 73 71 6c 69 74 65 33  );.}.int sqlite3
1d30: 5f 6d 75 74 65 78 5f 6e 6f 74 68 65 6c 64 28 73  _mutex_notheld(s
1d40: 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a 70 29  qlite3_mutex *p)
1d50: 7b 0a 20 20 72 65 74 75 72 6e 20 70 3d 3d 30 20  {.  return p==0 
1d60: 7c 7c 20 70 2d 3e 6e 52 65 66 3d 3d 30 20 7c 7c  || p->nRef==0 ||
1d70: 20 70 74 68 72 65 61 64 5f 65 71 75 61 6c 28 70   pthread_equal(p
1d80: 2d 3e 6f 77 6e 65 72 2c 20 70 74 68 72 65 61 64  ->owner, pthread
1d90: 5f 73 65 6c 66 28 29 29 3d 3d 30 3b 0a 7d 0a 23  _self())==0;.}.#
1da0: 65 6e 64 69 66 0a 23 65 6e 64 69 66 20 2f 2a 20  endif.#endif /* 
1db0: 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 50 54 48  SQLITE_MUTEX_PTH
1dc0: 52 45 41 44 20 2a 2f 0a                          READ */.