/ Hex Artifact Content
Login

Artifact 56bd91271f18300aa7da45608bd8956abe471d10:


0000: 2f 2a 0a 2a 2a 20 32 30 30 37 20 41 75 67 75 73  /*.** 2007 Augus
0010: 74 20 31 34 0a 2a 2a 0a 2a 2a 20 54 68 65 20 61  t 14.**.** 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 0a 2a 2a 20 75 73 65 20 62 79 20 74   for.** use by t
01c0: 68 65 20 53 51 4c 69 74 65 20 63 6f 72 65 2e 0a  he SQLite core..
01d0: 2a 2a 0a 2a 2a 20 24 49 64 3a 20 6d 75 74 65 78  **.** $Id: mutex
01e0: 2e 63 2c 76 20 31 2e 36 20 32 30 30 37 2f 30 38  .c,v 1.6 2007/08
01f0: 2f 32 31 20 31 30 3a 34 34 3a 31 36 20 64 72 68  /21 10:44:16 drh
0200: 20 45 78 70 20 24 0a 2a 2f 0a 2f 2a 0a 2a 2a 20   Exp $.*/./*.** 
0210: 49 66 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f  If SQLITE_MUTEX_
0220: 41 50 50 44 45 46 20 69 73 20 64 65 66 69 6e 65  APPDEF is define
0230: 64 2c 20 74 68 65 6e 20 74 68 69 73 20 77 68 6f  d, then this who
0240: 6c 65 20 6d 6f 64 75 6c 65 20 69 73 0a 2a 2a 20  le module is.** 
0250: 6f 6d 69 74 74 65 64 20 61 6e 64 20 65 71 75 69  omitted and equi
0260: 76 61 6c 65 6e 74 20 66 75 6e 63 74 69 6f 6e 61  valent functiona
0270: 6c 69 74 79 20 6d 75 73 74 20 62 65 20 70 72 6f  lity must be pro
0280: 76 69 64 65 64 20 62 79 20 74 68 65 0a 2a 2a 20  vided by the.** 
0290: 61 70 70 6c 69 63 61 74 69 6f 6e 20 74 68 61 74  application that
02a0: 20 6c 69 6e 6b 73 20 61 67 61 69 6e 73 74 20 74   links against t
02b0: 68 65 20 53 51 4c 69 74 65 20 6c 69 62 72 61 72  he SQLite librar
02c0: 79 2e 0a 2a 2f 0a 23 69 66 6e 64 65 66 20 53 51  y..*/.#ifndef SQ
02d0: 4c 49 54 45 5f 4d 55 54 45 58 5f 41 50 50 44 45  LITE_MUTEX_APPDE
02e0: 46 0a 0a 0a 2f 2a 20 54 68 69 73 20 69 73 20 74  F.../* This is t
02f0: 68 65 20 62 65 67 69 6e 6e 69 6e 67 20 6f 66 20  he beginning of 
0300: 72 65 61 6c 20 63 6f 64 65 0a 2a 2f 0a 23 69 6e  real code.*/.#in
0310: 63 6c 75 64 65 20 22 73 71 6c 69 74 65 49 6e 74  clude "sqliteInt
0320: 2e 68 22 0a 0a 2f 2a 0a 2a 2a 20 46 69 67 75 72  .h"../*.** Figur
0330: 65 20 6f 75 74 20 77 68 61 74 20 76 65 72 73 69  e out what versi
0340: 6f 6e 20 6f 66 20 74 68 65 20 63 6f 64 65 20 74  on of the code t
0350: 6f 20 75 73 65 0a 2a 2f 0a 23 64 65 66 69 6e 65  o use.*/.#define
0360: 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 4e 4f   SQLITE_MUTEX_NO
0370: 4f 50 20 31 20 20 20 2f 2a 20 54 68 65 20 64 65  OP 1   /* The de
0380: 66 61 75 6c 74 20 2a 2f 0a 23 69 66 20 30 0a 23  fault */.#if 0.#
0390: 69 66 20 64 65 66 69 6e 65 64 28 53 51 4c 49 54  if defined(SQLIT
03a0: 45 5f 44 45 42 55 47 29 20 26 26 20 21 53 51 4c  E_DEBUG) && !SQL
03b0: 49 54 45 5f 54 48 52 45 41 44 53 41 46 45 0a 23  ITE_THREADSAFE.#
03c0: 20 75 6e 64 65 66 20 53 51 4c 49 54 45 5f 4d 55   undef SQLITE_MU
03d0: 54 45 58 5f 4e 4f 4f 50 0a 23 20 64 65 66 69 6e  TEX_NOOP.# defin
03e0: 65 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 4e  e SQLITE_MUTEX_N
03f0: 4f 4f 50 5f 44 45 42 55 47 0a 23 65 6e 64 69 66  OOP_DEBUG.#endif
0400: 0a 23 69 66 20 64 65 66 69 6e 65 64 28 53 51 4c  .#if defined(SQL
0410: 49 54 45 5f 4d 55 54 45 58 5f 4e 4f 4f 50 29 20  ITE_MUTEX_NOOP) 
0420: 26 26 20 53 51 4c 49 54 45 5f 54 48 52 45 41 44  && SQLITE_THREAD
0430: 53 41 46 45 20 26 26 20 4f 53 5f 55 4e 49 58 0a  SAFE && OS_UNIX.
0440: 23 20 75 6e 64 65 66 20 53 51 4c 49 54 45 5f 4d  # undef SQLITE_M
0450: 55 54 45 58 5f 4e 4f 4f 50 0a 23 20 64 65 66 69  UTEX_NOOP.# defi
0460: 6e 65 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f  ne SQLITE_MUTEX_
0470: 50 54 48 52 45 41 44 0a 23 65 6e 64 69 66 0a 23  PTHREAD.#endif.#
0480: 69 66 20 64 65 66 69 6e 65 64 28 53 51 4c 49 54  if defined(SQLIT
0490: 45 5f 4d 55 54 45 58 5f 4e 4f 4f 50 29 20 26 26  E_MUTEX_NOOP) &&
04a0: 20 53 51 4c 49 54 45 5f 54 48 52 45 41 44 53 41   SQLITE_THREADSA
04b0: 46 45 20 26 26 20 4f 53 5f 57 49 4e 0a 23 20 75  FE && OS_WIN.# u
04c0: 6e 64 65 66 20 53 51 4c 49 54 45 5f 4d 55 54 45  ndef SQLITE_MUTE
04d0: 58 5f 4e 4f 4f 50 0a 23 20 64 65 66 69 6e 65 20  X_NOOP.# define 
04e0: 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 57 49 4e  SQLITE_MUTEX_WIN
04f0: 0a 23 65 6e 64 69 66 0a 23 65 6e 64 69 66 0a 0a  .#endif.#endif..
0500: 0a 0a 23 69 66 64 65 66 20 53 51 4c 49 54 45 5f  ..#ifdef SQLITE_
0510: 4d 55 54 45 58 5f 4e 4f 4f 50 0a 2f 2a 2a 2a 2a  MUTEX_NOOP./****
0520: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0530: 2a 2a 2a 2a 20 4e 6f 2d 6f 70 20 4d 75 74 65 78  **** No-op Mutex
0540: 20 49 6d 70 6c 65 6d 65 6e 74 61 74 69 6f 6e 20   Implementation 
0550: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0560: 2a 2a 2a 2a 2a 2a 0a 2a 2a 0a 2a 2a 20 54 68 69  ******.**.** Thi
0570: 73 20 66 69 72 73 74 20 69 6d 70 6c 65 6d 65 6e  s first implemen
0580: 74 61 74 69 6f 6e 20 6f 66 20 6d 75 74 65 78 65  tation of mutexe
0590: 73 20 69 73 20 72 65 61 6c 6c 79 20 61 20 6e 6f  s is really a no
05a0: 2d 6f 70 2e 20 20 49 6e 20 6f 74 68 65 72 20 77  -op.  In other w
05b0: 6f 72 64 73 2c 0a 2a 2a 20 6e 6f 20 72 65 61 6c  ords,.** no real
05c0: 20 6c 6f 63 6b 69 6e 67 20 6f 63 63 75 72 73 2e   locking occurs.
05d0: 20 20 54 68 69 73 20 69 6d 70 6c 65 6d 65 6e 74    This implement
05e0: 61 74 69 6f 6e 20 69 73 20 61 70 70 72 6f 70 72  ation is appropr
05f0: 69 61 74 65 20 66 6f 72 20 75 73 65 0a 2a 2a 20  iate for use.** 
0600: 69 6e 20 73 69 6e 67 6c 65 20 74 68 72 65 61 64  in single thread
0610: 65 64 20 61 70 70 6c 69 63 61 74 69 6f 6e 73 20  ed applications 
0620: 77 68 69 63 68 20 64 6f 20 6e 6f 74 20 77 61 6e  which do not wan
0630: 74 20 74 68 65 20 65 78 74 72 61 20 6f 76 65 72  t the extra over
0640: 68 65 61 64 0a 2a 2a 20 6f 66 20 74 68 72 65 61  head.** of threa
0650: 64 20 6c 6f 63 6b 69 6e 67 20 70 72 69 6d 69 74  d locking primit
0660: 69 76 65 73 2e 0a 2a 2f 0a 0a 2f 2a 0a 2a 2a 20  ives..*/../*.** 
0670: 54 68 65 20 73 71 6c 69 74 65 33 5f 6d 75 74 65  The sqlite3_mute
0680: 78 5f 61 6c 6c 6f 63 28 29 20 72 6f 75 74 69 6e  x_alloc() routin
0690: 65 20 61 6c 6c 6f 63 61 74 65 73 20 61 20 6e 65  e allocates a ne
06a0: 77 0a 2a 2a 20 6d 75 74 65 78 20 61 6e 64 20 72  w.** mutex and r
06b0: 65 74 75 72 6e 73 20 61 20 70 6f 69 6e 74 65 72  eturns a pointer
06c0: 20 74 6f 20 69 74 2e 20 20 49 66 20 69 74 20 72   to it.  If it r
06d0: 65 74 75 72 6e 73 20 4e 55 4c 4c 0a 2a 2a 20 74  eturns NULL.** t
06e0: 68 61 74 20 6d 65 61 6e 73 20 74 68 61 74 20 61  hat means that a
06f0: 20 6d 75 74 65 78 20 63 6f 75 6c 64 20 6e 6f 74   mutex could not
0700: 20 62 65 20 61 6c 6c 6f 63 61 74 65 64 2e 20 0a   be allocated. .
0710: 2a 2f 0a 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  */.sqlite3_mutex
0720: 20 2a 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f   *sqlite3_mutex_
0730: 61 6c 6c 6f 63 28 69 6e 74 20 69 64 4e 6f 74 55  alloc(int idNotU
0740: 73 65 64 29 7b 0a 20 20 72 65 74 75 72 6e 20 28  sed){.  return (
0750: 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 2a 29 38  sqlite3_mutex*)8
0760: 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 54 68 69 73 20  ;.}../*.** This 
0770: 72 6f 75 74 69 6e 65 20 64 65 61 6c 6c 6f 63 61  routine dealloca
0780: 74 65 73 20 61 20 70 72 65 76 69 6f 75 73 6c 79  tes a previously
0790: 20 61 6c 6c 6f 63 61 74 65 64 20 6d 75 74 65 78   allocated mutex
07a0: 2e 0a 2a 2f 0a 76 6f 69 64 20 73 71 6c 69 74 65  ..*/.void sqlite
07b0: 33 5f 6d 75 74 65 78 5f 66 72 65 65 28 73 71 6c  3_mutex_free(sql
07c0: 69 74 65 33 5f 6d 75 74 65 78 20 2a 70 4e 6f 74  ite3_mutex *pNot
07d0: 55 73 65 64 29 7b 7d 0a 0a 2f 2a 0a 2a 2a 20 54  Used){}../*.** T
07e0: 68 65 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  he sqlite3_mutex
07f0: 5f 65 6e 74 65 72 28 29 20 61 6e 64 20 73 71 6c  _enter() and sql
0800: 69 74 65 33 5f 6d 75 74 65 78 5f 74 72 79 28 29  ite3_mutex_try()
0810: 20 72 6f 75 74 69 6e 65 73 20 61 74 74 65 6d 70   routines attemp
0820: 74 0a 2a 2a 20 74 6f 20 65 6e 74 65 72 20 61 20  t.** to enter a 
0830: 6d 75 74 65 78 2e 20 20 49 66 20 61 6e 6f 74 68  mutex.  If anoth
0840: 65 72 20 74 68 72 65 61 64 20 69 73 20 61 6c 72  er thread is alr
0850: 65 61 64 79 20 77 69 74 68 69 6e 20 74 68 65 20  eady within the 
0860: 6d 75 74 65 78 2c 0a 2a 2a 20 73 71 6c 69 74 65  mutex,.** sqlite
0870: 33 5f 6d 75 74 65 78 5f 65 6e 74 65 72 28 29 20  3_mutex_enter() 
0880: 77 69 6c 6c 20 62 6c 6f 63 6b 20 61 6e 64 20 73  will block and s
0890: 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 74 72 79  qlite3_mutex_try
08a0: 28 29 20 77 69 6c 6c 20 72 65 74 75 72 6e 0a 2a  () will return.*
08b0: 2a 20 53 51 4c 49 54 45 5f 42 55 53 59 2e 20 20  * SQLITE_BUSY.  
08c0: 54 68 65 20 73 71 6c 69 74 65 33 5f 6d 75 74 65  The sqlite3_mute
08d0: 78 5f 74 72 79 28 29 20 69 6e 74 65 72 66 61 63  x_try() interfac
08e0: 65 20 72 65 74 75 72 6e 73 20 53 51 4c 49 54 45  e returns SQLITE
08f0: 5f 4f 4b 0a 2a 2a 20 75 70 6f 6e 20 73 75 63 63  _OK.** upon succ
0900: 65 73 73 66 75 6c 20 65 6e 74 72 79 2e 20 20 4d  essful entry.  M
0910: 75 74 65 78 65 73 20 63 72 65 61 74 65 64 20 75  utexes created u
0920: 73 69 6e 67 20 53 51 4c 49 54 45 5f 4d 55 54 45  sing SQLITE_MUTE
0930: 58 5f 52 45 43 55 52 53 49 56 45 20 63 61 6e 0a  X_RECURSIVE can.
0940: 2a 2a 20 62 65 20 65 6e 74 65 72 65 64 20 6d 75  ** be entered mu
0950: 6c 74 69 70 6c 65 20 74 69 6d 65 73 20 62 79 20  ltiple times by 
0960: 74 68 65 20 73 61 6d 65 20 74 68 72 65 61 64 2e  the same thread.
0970: 20 20 49 6e 20 73 75 63 68 20 63 61 73 65 73 20    In such cases 
0980: 74 68 65 2c 0a 2a 2a 20 6d 75 74 65 78 20 6d 75  the,.** mutex mu
0990: 73 74 20 62 65 20 65 78 69 74 65 64 20 61 6e 20  st be exited an 
09a0: 65 71 75 61 6c 20 6e 75 6d 62 65 72 20 6f 66 20  equal number of 
09b0: 74 69 6d 65 73 20 62 65 66 6f 72 65 20 61 6e 6f  times before ano
09c0: 74 68 65 72 20 74 68 72 65 61 64 0a 2a 2a 20 63  ther thread.** c
09d0: 61 6e 20 65 6e 74 65 72 2e 20 20 49 66 20 74 68  an enter.  If th
09e0: 65 20 73 61 6d 65 20 74 68 72 65 61 64 20 74 72  e same thread tr
09f0: 69 65 73 20 74 6f 20 65 6e 74 65 72 20 61 6e 79  ies to enter any
0a00: 20 6f 74 68 65 72 20 6b 69 6e 64 20 6f 66 20 6d   other kind of m
0a10: 75 74 65 78 0a 2a 2a 20 6d 6f 72 65 20 74 68 61  utex.** more tha
0a20: 6e 20 6f 6e 63 65 2c 20 74 68 65 20 62 65 68 61  n once, the beha
0a30: 76 69 6f 72 20 69 73 20 75 6e 64 65 66 69 6e 65  vior is undefine
0a40: 64 2e 0a 2a 2f 0a 76 6f 69 64 20 73 71 6c 69 74  d..*/.void sqlit
0a50: 65 33 5f 6d 75 74 65 78 5f 65 6e 74 65 72 28 73  e3_mutex_enter(s
0a60: 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a 70 4e  qlite3_mutex *pN
0a70: 6f 74 55 73 65 64 29 7b 7d 0a 69 6e 74 20 73 71  otUsed){}.int sq
0a80: 6c 69 74 65 33 5f 6d 75 74 65 78 5f 74 72 79 28  lite3_mutex_try(
0a90: 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a 70  sqlite3_mutex *p
0aa0: 4e 6f 74 55 73 65 64 29 7b 20 72 65 74 75 72 6e  NotUsed){ return
0ab0: 20 53 51 4c 49 54 45 5f 4f 4b 3b 20 7d 0a 0a 2f   SQLITE_OK; }../
0ac0: 2a 0a 2a 2a 20 54 68 65 20 73 71 6c 69 74 65 33  *.** The sqlite3
0ad0: 5f 6d 75 74 65 78 5f 6c 65 61 76 65 28 29 20 72  _mutex_leave() r
0ae0: 6f 75 74 69 6e 65 20 65 78 69 74 73 20 61 20 6d  outine exits a m
0af0: 75 74 65 78 20 74 68 61 74 20 77 61 73 0a 2a 2a  utex that was.**
0b00: 20 70 72 65 76 69 6f 75 73 6c 79 20 65 6e 74 65   previously ente
0b10: 72 65 64 20 62 79 20 74 68 65 20 73 61 6d 65 20  red by the same 
0b20: 74 68 72 65 61 64 2e 20 20 54 68 65 20 62 65 68  thread.  The beh
0b30: 61 76 69 6f 72 0a 2a 2a 20 69 73 20 75 6e 64 65  avior.** is unde
0b40: 66 69 6e 65 64 20 69 66 20 74 68 65 20 6d 75 74  fined if the mut
0b50: 65 78 20 69 73 20 6e 6f 74 20 63 75 72 72 65 6e  ex is not curren
0b60: 74 6c 79 20 65 6e 74 65 72 65 64 20 6f 72 0a 2a  tly entered or.*
0b70: 2a 20 69 73 20 6e 6f 74 20 63 75 72 72 65 6e 74  * is not current
0b80: 6c 79 20 61 6c 6c 6f 63 61 74 65 64 2e 20 20 53  ly allocated.  S
0b90: 51 4c 69 74 65 20 77 69 6c 6c 20 6e 65 76 65 72  QLite will never
0ba0: 20 64 6f 20 65 69 74 68 65 72 2e 0a 2a 2f 0a 76   do either..*/.v
0bb0: 6f 69 64 20 73 71 6c 69 74 65 33 5f 6d 75 74 65  oid sqlite3_mute
0bc0: 78 5f 6c 65 61 76 65 28 73 71 6c 69 74 65 33 5f  x_leave(sqlite3_
0bd0: 6d 75 74 65 78 20 2a 70 4e 6f 74 55 73 65 64 29  mutex *pNotUsed)
0be0: 7b 7d 0a 0a 2f 2a 0a 2a 2a 20 54 68 65 20 73 71  {}../*.** The sq
0bf0: 6c 69 74 65 33 5f 6d 75 74 65 78 5f 68 65 6c 64  lite3_mutex_held
0c00: 28 29 20 61 6e 64 20 73 71 6c 69 74 65 33 5f 6d  () and sqlite3_m
0c10: 75 74 65 78 5f 6e 6f 74 68 65 6c 64 28 29 20 72  utex_notheld() r
0c20: 6f 75 74 69 6e 65 20 61 72 65 0a 2a 2a 20 69 6e  outine are.** in
0c30: 74 65 6e 64 65 64 20 66 6f 72 20 75 73 65 20 69  tended for use i
0c40: 6e 73 69 64 65 20 61 73 73 65 72 74 28 29 20 73  nside assert() s
0c50: 74 61 74 65 6d 65 6e 74 73 2e 0a 2a 2f 0a 69 6e  tatements..*/.in
0c60: 74 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f  t sqlite3_mutex_
0c70: 68 65 6c 64 28 73 71 6c 69 74 65 33 5f 6d 75 74  held(sqlite3_mut
0c80: 65 78 20 2a 70 4e 6f 74 55 73 65 64 29 7b 0a 20  ex *pNotUsed){. 
0c90: 20 72 65 74 75 72 6e 20 31 3b 0a 7d 0a 69 6e 74   return 1;.}.int
0ca0: 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 6e   sqlite3_mutex_n
0cb0: 6f 74 68 65 6c 64 28 73 71 6c 69 74 65 33 5f 6d  otheld(sqlite3_m
0cc0: 75 74 65 78 20 2a 70 4e 6f 74 55 73 65 64 29 7b  utex *pNotUsed){
0cd0: 0a 20 20 72 65 74 75 72 6e 20 31 3b 0a 7d 0a 23  .  return 1;.}.#
0ce0: 65 6e 64 69 66 20 2f 2a 20 53 51 4c 49 54 45 5f  endif /* SQLITE_
0cf0: 4d 55 54 45 58 5f 4e 4f 4f 50 20 2a 2f 0a 0a 23  MUTEX_NOOP */..#
0d00: 69 66 64 65 66 20 53 51 4c 49 54 45 5f 4d 55 54  ifdef SQLITE_MUT
0d10: 45 58 5f 4e 4f 4f 50 5f 44 45 42 55 47 0a 2f 2a  EX_NOOP_DEBUG./*
0d20: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 20 45  ************** E
0d30: 72 72 6f 72 2d 63 68 65 63 6b 69 6e 67 20 4e 6f  rror-checking No
0d40: 2d 6f 70 20 4d 75 74 65 78 20 49 6d 70 6c 65 6d  -op Mutex Implem
0d50: 65 6e 74 61 74 69 6f 6e 20 2a 2a 2a 2a 2a 2a 2a  entation *******
0d60: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 0a 2a 2a 0a  ************.**.
0d70: 2a 2a 20 49 6e 20 74 68 69 73 20 69 6d 70 6c 65  ** In this imple
0d80: 6d 65 6e 74 61 74 69 6f 6e 2c 20 6d 75 74 65 78  mentation, mutex
0d90: 65 73 20 64 6f 20 6e 6f 74 20 70 72 6f 76 69 64  es do not provid
0da0: 65 20 61 6e 79 20 6d 75 74 75 61 6c 20 65 78 63  e any mutual exc
0db0: 6c 75 73 69 6f 6e 2e 0a 2a 2a 20 42 75 74 20 74  lusion..** But t
0dc0: 68 65 20 65 72 72 6f 72 20 63 68 65 63 6b 69 6e  he error checkin
0dd0: 67 20 69 73 20 70 72 6f 76 69 64 65 64 2e 20 20  g is provided.  
0de0: 54 68 69 73 20 69 6d 70 6c 65 6d 65 6e 74 61 74  This implementat
0df0: 69 6f 6e 20 69 73 20 75 73 65 66 75 6c 0a 2a 2a  ion is useful.**
0e00: 20 66 6f 72 20 74 65 73 74 20 70 75 72 70 6f 73   for test purpos
0e10: 65 73 2e 0a 2a 2f 0a 0a 2f 2a 0a 2a 2a 20 54 68  es..*/../*.** Th
0e20: 65 20 6d 75 74 65 78 20 6f 62 6a 65 63 74 0a 2a  e mutex object.*
0e30: 2f 0a 73 74 72 75 63 74 20 73 71 6c 69 74 65 33  /.struct sqlite3
0e40: 5f 6d 75 74 65 78 20 7b 0a 20 20 69 6e 74 20 69  _mutex {.  int i
0e50: 64 3b 0a 20 20 69 6e 74 20 63 6e 74 3b 0a 7d 3b  d;.  int cnt;.};
0e60: 0a 0a 2f 2a 0a 2a 2a 20 54 68 65 20 73 71 6c 69  ../*.** The sqli
0e70: 74 65 33 5f 6d 75 74 65 78 5f 61 6c 6c 6f 63 28  te3_mutex_alloc(
0e80: 29 20 72 6f 75 74 69 6e 65 20 61 6c 6c 6f 63 61  ) routine alloca
0e90: 74 65 73 20 61 20 6e 65 77 0a 2a 2a 20 6d 75 74  tes a new.** mut
0ea0: 65 78 20 61 6e 64 20 72 65 74 75 72 6e 73 20 61  ex and returns a
0eb0: 20 70 6f 69 6e 74 65 72 20 74 6f 20 69 74 2e 20   pointer to it. 
0ec0: 20 49 66 20 69 74 20 72 65 74 75 72 6e 73 20 4e   If it returns N
0ed0: 55 4c 4c 0a 2a 2a 20 74 68 61 74 20 6d 65 61 6e  ULL.** that mean
0ee0: 73 20 74 68 61 74 20 61 20 6d 75 74 65 78 20 63  s that a mutex c
0ef0: 6f 75 6c 64 20 6e 6f 74 20 62 65 20 61 6c 6c 6f  ould not be allo
0f00: 63 61 74 65 64 2e 20 0a 2a 2f 0a 73 71 6c 69 74  cated. .*/.sqlit
0f10: 65 33 5f 6d 75 74 65 78 20 2a 73 71 6c 69 74 65  e3_mutex *sqlite
0f20: 33 5f 6d 75 74 65 78 5f 61 6c 6c 6f 63 28 69 6e  3_mutex_alloc(in
0f30: 74 20 69 64 29 7b 0a 20 20 73 74 61 74 69 63 20  t id){.  static 
0f40: 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 61 53  sqlite3_mutex aS
0f50: 74 61 74 69 63 5b 33 5d 3b 0a 20 20 73 71 6c 69  tatic[3];.  sqli
0f60: 74 65 33 5f 6d 75 74 65 78 20 2a 70 4e 65 77 20  te3_mutex *pNew 
0f70: 3d 20 30 3b 0a 20 20 73 77 69 74 63 68 28 20 69  = 0;.  switch( i
0f80: 64 20 29 7b 0a 20 20 20 20 63 61 73 65 20 53 51  d ){.    case SQ
0f90: 4c 49 54 45 5f 4d 55 54 45 58 5f 46 41 53 54 3a  LITE_MUTEX_FAST:
0fa0: 0a 20 20 20 20 63 61 73 65 20 53 51 4c 49 54 45  .    case SQLITE
0fb0: 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56 45  _MUTEX_RECURSIVE
0fc0: 3a 20 7b 0a 20 20 20 20 20 20 70 4e 65 77 20 3d  : {.      pNew =
0fd0: 20 73 71 6c 69 74 65 33 5f 6d 61 6c 6c 6f 63 28   sqlite3_malloc(
0fe0: 73 69 7a 65 6f 66 28 2a 70 4e 65 77 29 29 3b 0a  sizeof(*pNew));.
0ff0: 20 20 20 20 20 20 69 66 28 20 70 4e 65 77 20 29        if( pNew )
1000: 7b 0a 20 20 20 20 20 20 20 20 70 4e 65 77 2d 3e  {.        pNew->
1010: 69 64 20 3d 20 69 64 3b 0a 20 20 20 20 20 20 20  id = id;.       
1020: 20 70 4e 65 77 2d 3e 63 6e 74 20 3d 20 30 3b 0a   pNew->cnt = 0;.
1030: 20 20 20 20 20 20 7d 0a 20 20 20 20 20 20 62 72        }.      br
1040: 65 61 6b 3b 0a 20 20 20 20 7d 0a 20 20 20 20 64  eak;.    }.    d
1050: 65 66 61 75 6c 74 3a 20 7b 0a 20 20 20 20 20 20  efault: {.      
1060: 70 4e 65 77 20 3d 20 26 61 53 74 61 74 69 63 5b  pNew = &aStatic[
1070: 69 64 2d 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f  id-SQLITE_MUTEX_
1080: 53 54 41 54 49 43 5f 4d 41 53 54 45 52 5d 3b 0a  STATIC_MASTER];.
1090: 20 20 20 20 20 20 70 4e 65 77 2d 3e 69 64 20 3d        pNew->id =
10a0: 20 69 64 3b 0a 20 20 20 20 20 20 62 72 65 61 6b   id;.      break
10b0: 3b 0a 20 20 20 20 7d 0a 20 20 7d 0a 20 20 72 65  ;.    }.  }.  re
10c0: 74 75 72 6e 20 70 4e 65 77 3b 0a 7d 0a 0a 2f 2a  turn pNew;.}../*
10d0: 0a 2a 2a 20 54 68 69 73 20 72 6f 75 74 69 6e 65  .** This routine
10e0: 20 64 65 61 6c 6c 6f 63 61 74 65 73 20 61 20 70   deallocates a p
10f0: 72 65 76 69 6f 75 73 6c 79 20 61 6c 6c 6f 63 61  reviously alloca
1100: 74 65 64 20 6d 75 74 65 78 2e 0a 2a 2f 0a 76 6f  ted mutex..*/.vo
1110: 69 64 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  id sqlite3_mutex
1120: 5f 66 72 65 65 28 73 71 6c 69 74 65 33 5f 6d 75  _free(sqlite3_mu
1130: 74 65 78 20 2a 70 29 7b 0a 20 20 61 73 73 65 72  tex *p){.  asser
1140: 74 28 20 70 20 29 3b 0a 20 20 61 73 73 65 72 74  t( p );.  assert
1150: 28 20 70 2d 3e 63 6e 74 3d 3d 30 20 29 3b 0a 20  ( p->cnt==0 );. 
1160: 20 61 73 73 65 72 74 28 20 70 2d 3e 69 64 3d 3d   assert( p->id==
1170: 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 46 41 53  SQLITE_MUTEX_FAS
1180: 54 20 7c 7c 20 70 2d 3e 69 64 3d 3d 53 51 4c 49  T || p->id==SQLI
1190: 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49  TE_MUTEX_RECURSI
11a0: 56 45 20 29 3b 0a 20 20 73 71 6c 69 74 65 33 5f  VE );.  sqlite3_
11b0: 66 72 65 65 28 70 29 3b 0a 7d 0a 0a 2f 2a 0a 2a  free(p);.}../*.*
11c0: 2a 20 54 68 65 20 73 71 6c 69 74 65 33 5f 6d 75  * The sqlite3_mu
11d0: 74 65 78 5f 65 6e 74 65 72 28 29 20 61 6e 64 20  tex_enter() and 
11e0: 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 74 72  sqlite3_mutex_tr
11f0: 79 28 29 20 72 6f 75 74 69 6e 65 73 20 61 74 74  y() routines att
1200: 65 6d 70 74 0a 2a 2a 20 74 6f 20 65 6e 74 65 72  empt.** to enter
1210: 20 61 20 6d 75 74 65 78 2e 20 20 49 66 20 61 6e   a mutex.  If an
1220: 6f 74 68 65 72 20 74 68 72 65 61 64 20 69 73 20  other thread is 
1230: 61 6c 72 65 61 64 79 20 77 69 74 68 69 6e 20 74  already within t
1240: 68 65 20 6d 75 74 65 78 2c 0a 2a 2a 20 73 71 6c  he mutex,.** sql
1250: 69 74 65 33 5f 6d 75 74 65 78 5f 65 6e 74 65 72  ite3_mutex_enter
1260: 28 29 20 77 69 6c 6c 20 62 6c 6f 63 6b 20 61 6e  () will block an
1270: 64 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f  d sqlite3_mutex_
1280: 74 72 79 28 29 20 77 69 6c 6c 20 72 65 74 75 72  try() will retur
1290: 6e 0a 2a 2a 20 53 51 4c 49 54 45 5f 42 55 53 59  n.** SQLITE_BUSY
12a0: 2e 20 20 54 68 65 20 73 71 6c 69 74 65 33 5f 6d  .  The sqlite3_m
12b0: 75 74 65 78 5f 74 72 79 28 29 20 69 6e 74 65 72  utex_try() inter
12c0: 66 61 63 65 20 72 65 74 75 72 6e 73 20 53 51 4c  face returns SQL
12d0: 49 54 45 5f 4f 4b 0a 2a 2a 20 75 70 6f 6e 20 73  ITE_OK.** upon s
12e0: 75 63 63 65 73 73 66 75 6c 20 65 6e 74 72 79 2e  uccessful entry.
12f0: 20 20 4d 75 74 65 78 65 73 20 63 72 65 61 74 65    Mutexes create
1300: 64 20 75 73 69 6e 67 20 53 51 4c 49 54 45 5f 4d  d using SQLITE_M
1310: 55 54 45 58 5f 52 45 43 55 52 53 49 56 45 20 63  UTEX_RECURSIVE c
1320: 61 6e 0a 2a 2a 20 62 65 20 65 6e 74 65 72 65 64  an.** be entered
1330: 20 6d 75 6c 74 69 70 6c 65 20 74 69 6d 65 73 20   multiple times 
1340: 62 79 20 74 68 65 20 73 61 6d 65 20 74 68 72 65  by the same thre
1350: 61 64 2e 20 20 49 6e 20 73 75 63 68 20 63 61 73  ad.  In such cas
1360: 65 73 20 74 68 65 2c 0a 2a 2a 20 6d 75 74 65 78  es the,.** mutex
1370: 20 6d 75 73 74 20 62 65 20 65 78 69 74 65 64 20   must be exited 
1380: 61 6e 20 65 71 75 61 6c 20 6e 75 6d 62 65 72 20  an equal number 
1390: 6f 66 20 74 69 6d 65 73 20 62 65 66 6f 72 65 20  of times before 
13a0: 61 6e 6f 74 68 65 72 20 74 68 72 65 61 64 0a 2a  another thread.*
13b0: 2a 20 63 61 6e 20 65 6e 74 65 72 2e 20 20 49 66  * can enter.  If
13c0: 20 74 68 65 20 73 61 6d 65 20 74 68 72 65 61 64   the same thread
13d0: 20 74 72 69 65 73 20 74 6f 20 65 6e 74 65 72 20   tries to enter 
13e0: 61 6e 79 20 6f 74 68 65 72 20 6b 69 6e 64 20 6f  any other kind o
13f0: 66 20 6d 75 74 65 78 0a 2a 2a 20 6d 6f 72 65 20  f mutex.** more 
1400: 74 68 61 6e 20 6f 6e 63 65 2c 20 74 68 65 20 62  than once, the b
1410: 65 68 61 76 69 6f 72 20 69 73 20 75 6e 64 65 66  ehavior is undef
1420: 69 6e 65 64 2e 0a 2a 2f 0a 76 6f 69 64 20 73 71  ined..*/.void sq
1430: 6c 69 74 65 33 5f 6d 75 74 65 78 5f 65 6e 74 65  lite3_mutex_ente
1440: 72 28 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20  r(sqlite3_mutex 
1450: 2a 70 29 7b 0a 20 20 61 73 73 65 72 74 28 20 70  *p){.  assert( p
1460: 20 29 3b 0a 20 20 61 73 73 65 72 74 28 20 70 2d   );.  assert( p-
1470: 3e 63 6e 74 3d 3d 30 20 7c 7c 20 70 2d 3e 69 64  >cnt==0 || p->id
1480: 3d 3d 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 52  ==SQLITE_MUTEX_R
1490: 45 43 55 52 53 49 56 45 20 29 3b 0a 20 20 70 2d  ECURSIVE );.  p-
14a0: 3e 63 6e 74 2b 2b 3b 0a 7d 0a 69 6e 74 20 73 71  >cnt++;.}.int sq
14b0: 6c 69 74 65 33 5f 6d 75 74 65 78 5f 74 72 79 28  lite3_mutex_try(
14c0: 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a 70  sqlite3_mutex *p
14d0: 29 7b 0a 20 20 61 73 73 65 72 74 28 20 70 20 29  ){.  assert( p )
14e0: 3b 0a 20 20 69 66 28 20 70 2d 3e 63 6e 74 3e 30  ;.  if( p->cnt>0
14f0: 20 26 26 20 70 2d 3e 69 64 21 3d 53 51 4c 49 54   && p->id!=SQLIT
1500: 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56  E_MUTEX_RECURSIV
1510: 45 20 29 7b 0a 20 20 20 20 72 65 74 75 72 6e 20  E ){.    return 
1520: 53 51 4c 49 54 45 5f 42 55 53 59 3b 0a 20 20 7d  SQLITE_BUSY;.  }
1530: 0a 20 20 70 2d 3e 63 6e 74 2b 2b 3b 0a 20 20 72  .  p->cnt++;.  r
1540: 65 74 75 72 6e 20 53 51 4c 49 54 45 5f 4f 4b 3b  eturn SQLITE_OK;
1550: 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 54 68 65 20 73 71  .}../*.** The sq
1560: 6c 69 74 65 33 5f 6d 75 74 65 78 5f 6c 65 61 76  lite3_mutex_leav
1570: 65 28 29 20 72 6f 75 74 69 6e 65 20 65 78 69 74  e() routine exit
1580: 73 20 61 20 6d 75 74 65 78 20 74 68 61 74 20 77  s a mutex that w
1590: 61 73 0a 2a 2a 20 70 72 65 76 69 6f 75 73 6c 79  as.** previously
15a0: 20 65 6e 74 65 72 65 64 20 62 79 20 74 68 65 20   entered by the 
15b0: 73 61 6d 65 20 74 68 72 65 61 64 2e 20 20 54 68  same thread.  Th
15c0: 65 20 62 65 68 61 76 69 6f 72 0a 2a 2a 20 69 73  e behavior.** is
15d0: 20 75 6e 64 65 66 69 6e 65 64 20 69 66 20 74 68   undefined if th
15e0: 65 20 6d 75 74 65 78 20 69 73 20 6e 6f 74 20 63  e mutex is not c
15f0: 75 72 72 65 6e 74 6c 79 20 65 6e 74 65 72 65 64  urrently entered
1600: 20 6f 72 0a 2a 2a 20 69 73 20 6e 6f 74 20 63 75   or.** is not cu
1610: 72 72 65 6e 74 6c 79 20 61 6c 6c 6f 63 61 74 65  rrently allocate
1620: 64 2e 20 20 53 51 4c 69 74 65 20 77 69 6c 6c 20  d.  SQLite will 
1630: 6e 65 76 65 72 20 64 6f 20 65 69 74 68 65 72 2e  never do either.
1640: 0a 2a 2f 0a 76 6f 69 64 20 73 71 6c 69 74 65 33  .*/.void sqlite3
1650: 5f 6d 75 74 65 78 5f 6c 65 61 76 65 28 73 71 6c  _mutex_leave(sql
1660: 69 74 65 33 5f 6d 75 74 65 78 20 2a 70 29 7b 0a  ite3_mutex *p){.
1670: 20 20 61 73 73 65 72 74 28 20 70 2d 3e 63 6e 74    assert( p->cnt
1680: 3e 30 20 29 3b 0a 20 20 70 2d 3e 63 6e 74 2d 2d  >0 );.  p->cnt--
1690: 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 54 68 65 20 73  ;.}../*.** The s
16a0: 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 68 65 6c  qlite3_mutex_hel
16b0: 64 28 29 20 61 6e 64 20 73 71 6c 69 74 65 33 5f  d() and sqlite3_
16c0: 6d 75 74 65 78 5f 6e 6f 74 68 65 6c 64 28 29 20  mutex_notheld() 
16d0: 72 6f 75 74 69 6e 65 20 61 72 65 0a 2a 2a 20 69  routine are.** i
16e0: 6e 74 65 6e 64 65 64 20 66 6f 72 20 75 73 65 20  ntended for use 
16f0: 69 6e 73 69 64 65 20 61 73 73 65 72 74 28 29 20  inside assert() 
1700: 73 74 61 74 65 6d 65 6e 74 73 2e 0a 2a 2f 0a 69  statements..*/.i
1710: 6e 74 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  nt sqlite3_mutex
1720: 5f 68 65 6c 64 28 73 71 6c 69 74 65 33 5f 6d 75  _held(sqlite3_mu
1730: 74 65 78 20 2a 70 29 7b 0a 20 20 72 65 74 75 72  tex *p){.  retur
1740: 6e 20 70 3d 3d 30 20 7c 7c 20 70 2d 3e 63 6e 74  n p==0 || p->cnt
1750: 3e 30 3b 0a 7d 0a 69 6e 74 20 73 71 6c 69 74 65  >0;.}.int sqlite
1760: 33 5f 6d 75 74 65 78 5f 6e 6f 74 68 65 6c 64 28  3_mutex_notheld(
1770: 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a 70  sqlite3_mutex *p
1780: 29 7b 0a 20 20 72 65 74 75 72 6e 20 70 3d 3d 30  ){.  return p==0
1790: 20 7c 7c 20 70 2d 3e 63 6e 74 3d 3d 30 3b 0a 7d   || p->cnt==0;.}
17a0: 0a 23 65 6e 64 69 66 20 2f 2a 20 53 51 4c 49 54  .#endif /* SQLIT
17b0: 45 5f 4d 55 54 45 58 5f 4e 4f 4f 50 5f 44 45 42  E_MUTEX_NOOP_DEB
17c0: 55 47 20 2a 2f 0a 0a 0a 0a 23 69 66 64 65 66 20  UG */....#ifdef 
17d0: 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 50 54 48  SQLITE_MUTEX_PTH
17e0: 52 45 41 44 0a 2f 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  READ./**********
17f0: 2a 2a 2a 2a 2a 2a 20 4e 6f 6e 2d 72 65 63 75 72  ****** Non-recur
1800: 73 69 76 65 20 50 74 68 72 65 61 64 20 4d 75 74  sive Pthread Mut
1810: 65 78 20 49 6d 70 6c 65 6d 65 6e 74 61 74 69 6f  ex Implementatio
1820: 6e 20 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  n **************
1830: 2a 2a 2a 0a 2a 2a 0a 2a 2a 20 54 68 69 73 20 69  ***.**.** This i
1840: 6d 70 6c 65 6d 65 6e 74 61 74 69 6f 6e 20 6f 66  mplementation of
1850: 20 6d 75 74 65 78 65 73 20 69 73 20 62 75 69 6c   mutexes is buil
1860: 74 20 75 73 69 6e 67 20 61 20 76 65 72 73 69 6f  t using a versio
1870: 6e 20 6f 66 20 70 74 68 72 65 61 64 73 20 74 68  n of pthreads th
1880: 61 74 0a 2a 2a 20 64 6f 65 73 20 6e 6f 74 20 68  at.** does not h
1890: 61 76 65 20 6e 61 74 69 76 65 20 73 75 70 70 6f  ave native suppo
18a0: 72 74 20 66 6f 72 20 72 65 63 75 72 73 69 76 65  rt for recursive
18b0: 20 6d 75 74 65 78 65 73 2e 0a 2a 2f 0a 0a 2f 2a   mutexes..*/../*
18c0: 0a 2a 2a 20 45 61 63 68 20 72 65 63 75 72 73 69  .** Each recursi
18d0: 76 65 20 6d 75 74 65 78 20 69 73 20 61 6e 20 69  ve mutex is an i
18e0: 6e 73 74 61 6e 63 65 20 6f 66 20 74 68 65 20 66  nstance of the f
18f0: 6f 6c 6c 6f 77 69 6e 67 20 73 74 72 75 63 74 75  ollowing structu
1900: 72 65 2e 0a 2a 2f 0a 73 74 72 75 63 74 20 73 71  re..*/.struct sq
1910: 6c 69 74 65 33 5f 6d 75 74 65 78 20 7b 0a 20 20  lite3_mutex {.  
1920: 70 74 68 72 65 61 64 5f 6d 75 74 65 78 5f 74 20  pthread_mutex_t 
1930: 6d 61 69 6e 4d 75 74 65 78 3b 20 20 2f 2a 20 4d  mainMutex;  /* M
1940: 75 74 65 78 20 63 6f 6e 74 72 6f 6c 6c 69 6e 67  utex controlling
1950: 20 74 68 65 20 6c 6f 63 6b 20 2a 2f 0a 20 20 70   the lock */.  p
1960: 74 68 72 65 61 64 5f 6d 75 74 65 78 5f 74 20 61  thread_mutex_t a
1970: 75 78 4d 75 74 65 78 3b 20 20 20 2f 2a 20 4d 75  uxMutex;   /* Mu
1980: 74 65 78 20 63 6f 6e 74 72 6f 6c 6c 69 6e 67 20  tex controlling 
1990: 61 63 63 65 73 73 20 74 6f 20 6e 52 65 66 20 61  access to nRef a
19a0: 6e 64 20 6f 77 6e 65 72 20 2a 2f 0a 20 20 69 6e  nd owner */.  in
19b0: 74 20 69 64 3b 20 20 20 20 20 20 20 20 20 20 20  t id;           
19c0: 20 20 20 20 20 20 20 20 20 20 2f 2a 20 4d 75 74            /* Mut
19d0: 65 78 20 74 79 70 65 20 2a 2f 0a 20 20 69 6e 74  ex type */.  int
19e0: 20 6e 52 65 66 3b 20 20 20 20 20 20 20 20 20 20   nRef;          
19f0: 20 20 20 20 20 20 20 20 20 2f 2a 20 4e 75 6d 62           /* Numb
1a00: 65 72 20 6f 66 20 65 6e 74 72 61 6e 63 65 73 20  er of entrances 
1a10: 2a 2f 0a 20 20 70 74 68 72 65 61 64 5f 74 20 6f  */.  pthread_t o
1a20: 77 6e 65 72 3b 20 20 20 20 20 20 20 20 20 20 20  wner;           
1a30: 20 2f 2a 20 54 68 72 65 61 64 20 74 68 61 74 20   /* Thread that 
1a40: 69 73 20 77 69 74 68 69 6e 20 74 68 69 73 20 6d  is within this m
1a50: 75 74 65 78 20 2a 2f 0a 7d 3b 0a 0a 2f 2a 0a 2a  utex */.};../*.*
1a60: 2a 20 54 68 65 20 73 71 6c 69 74 65 33 5f 6d 75  * The sqlite3_mu
1a70: 74 65 78 5f 61 6c 6c 6f 63 28 29 20 72 6f 75 74  tex_alloc() rout
1a80: 69 6e 65 20 61 6c 6c 6f 63 61 74 65 73 20 61 20  ine allocates a 
1a90: 6e 65 77 0a 2a 2a 20 6d 75 74 65 78 20 61 6e 64  new.** mutex and
1aa0: 20 72 65 74 75 72 6e 73 20 61 20 70 6f 69 6e 74   returns a point
1ab0: 65 72 20 74 6f 20 69 74 2e 20 20 49 66 20 69 74  er to it.  If it
1ac0: 20 72 65 74 75 72 6e 73 20 4e 55 4c 4c 0a 2a 2a   returns NULL.**
1ad0: 20 74 68 61 74 20 6d 65 61 6e 73 20 74 68 61 74   that means that
1ae0: 20 61 20 6d 75 74 65 78 20 63 6f 75 6c 64 20 6e   a mutex could n
1af0: 6f 74 20 62 65 20 61 6c 6c 6f 63 61 74 65 64 2e  ot be allocated.
1b00: 20 20 53 51 4c 69 74 65 0a 2a 2a 20 77 69 6c 6c    SQLite.** will
1b10: 20 75 6e 77 69 6e 64 20 69 74 73 20 73 74 61 63   unwind its stac
1b20: 6b 20 61 6e 64 20 72 65 74 75 72 6e 20 61 6e 20  k and return an 
1b30: 65 72 72 6f 72 2e 20 20 54 68 65 20 61 72 67 75  error.  The argu
1b40: 6d 65 6e 74 0a 2a 2a 20 74 6f 20 73 71 6c 69 74  ment.** to sqlit
1b50: 65 33 5f 6d 75 74 65 78 5f 61 6c 6c 6f 63 28 29  e3_mutex_alloc()
1b60: 20 69 73 20 6f 6e 65 20 6f 66 20 74 68 65 73 65   is one of these
1b70: 20 69 6e 74 65 67 65 72 20 63 6f 6e 73 74 61 6e   integer constan
1b80: 74 73 3a 0a 2a 2a 0a 2a 2a 20 3c 75 6c 3e 0a 2a  ts:.**.** <ul>.*
1b90: 2a 20 3c 6c 69 3e 20 20 53 51 4c 49 54 45 5f 4d  * <li>  SQLITE_M
1ba0: 55 54 45 58 5f 46 41 53 54 20 20 20 20 20 20 20  UTEX_FAST       
1bb0: 20 20 20 20 20 20 20 20 30 0a 2a 2a 20 3c 6c 69          0.** <li
1bc0: 3e 20 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f  >  SQLITE_MUTEX_
1bd0: 52 45 43 55 52 53 49 56 45 20 20 20 20 20 20 20  RECURSIVE       
1be0: 20 20 20 31 0a 2a 2a 20 3c 6c 69 3e 20 20 53 51     1.** <li>  SQ
1bf0: 4c 49 54 45 5f 4d 55 54 45 58 5f 53 54 41 54 49  LITE_MUTEX_STATI
1c00: 43 5f 4d 41 53 54 45 52 20 20 20 20 20 20 32 0a  C_MASTER      2.
1c10: 2a 2a 20 3c 6c 69 3e 20 20 53 51 4c 49 54 45 5f  ** <li>  SQLITE_
1c20: 4d 55 54 45 58 5f 53 54 41 54 49 43 5f 4d 45 4d  MUTEX_STATIC_MEM
1c30: 20 20 20 20 20 20 20 20 20 33 0a 2a 2a 20 3c 6c           3.** <l
1c40: 69 3e 20 20 53 51 4c 49 54 45 5f 4d 55 54 45 58  i>  SQLITE_MUTEX
1c50: 5f 53 54 41 54 49 43 5f 50 52 4e 47 20 20 20 20  _STATIC_PRNG    
1c60: 20 20 20 20 34 0a 2a 2a 20 3c 2f 75 6c 3e 0a 2a      4.** </ul>.*
1c70: 2a 0a 2a 2a 20 54 68 65 20 66 69 72 73 74 20 74  *.** The first t
1c80: 77 6f 20 63 6f 6e 73 74 61 6e 74 73 20 63 61 75  wo constants cau
1c90: 73 65 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  se sqlite3_mutex
1ca0: 5f 61 6c 6c 6f 63 28 29 20 74 6f 20 63 72 65 61  _alloc() to crea
1cb0: 74 65 0a 2a 2a 20 61 20 6e 65 77 20 6d 75 74 65  te.** a new mute
1cc0: 78 2e 20 20 54 68 65 20 6e 65 77 20 6d 75 74 65  x.  The new mute
1cd0: 78 20 69 73 20 72 65 63 75 72 73 69 76 65 20 77  x is recursive w
1ce0: 68 65 6e 20 53 51 4c 49 54 45 5f 4d 55 54 45 58  hen SQLITE_MUTEX
1cf0: 5f 52 45 43 55 52 53 49 56 45 0a 2a 2a 20 69 73  _RECURSIVE.** is
1d00: 20 75 73 65 64 20 62 75 74 20 6e 6f 74 20 6e 65   used but not ne
1d10: 63 65 73 73 61 72 69 6c 79 20 73 6f 20 77 68 65  cessarily so whe
1d20: 6e 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 46  n SQLITE_MUTEX_F
1d30: 41 53 54 20 69 73 20 75 73 65 64 2e 0a 2a 2a 20  AST is used..** 
1d40: 54 68 65 20 6d 75 74 65 78 20 69 6d 70 6c 65 6d  The mutex implem
1d50: 65 6e 74 61 74 69 6f 6e 20 64 6f 65 73 20 6e 6f  entation does no
1d60: 74 20 6e 65 65 64 20 74 6f 20 6d 61 6b 65 20 61  t need to make a
1d70: 20 64 69 73 74 69 6e 63 74 69 6f 6e 0a 2a 2a 20   distinction.** 
1d80: 62 65 74 77 65 65 6e 20 53 51 4c 49 54 45 5f 4d  between SQLITE_M
1d90: 55 54 45 58 5f 52 45 43 55 52 53 49 56 45 20 61  UTEX_RECURSIVE a
1da0: 6e 64 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f  nd SQLITE_MUTEX_
1db0: 46 41 53 54 20 69 66 20 69 74 20 64 6f 65 73 0a  FAST if it does.
1dc0: 2a 2a 20 6e 6f 74 20 77 61 6e 74 20 74 6f 2e 20  ** not want to. 
1dd0: 20 42 75 74 20 53 51 4c 69 74 65 20 77 69 6c 6c   But SQLite will
1de0: 20 6f 6e 6c 79 20 72 65 71 75 65 73 74 20 61 20   only request a 
1df0: 72 65 63 75 72 73 69 76 65 20 6d 75 74 65 78 20  recursive mutex 
1e00: 69 6e 0a 2a 2a 20 63 61 73 65 73 20 77 68 65 72  in.** cases wher
1e10: 65 20 69 74 20 72 65 61 6c 6c 79 20 6e 65 65 64  e it really need
1e20: 73 20 6f 6e 65 2e 20 20 49 66 20 61 20 66 61 73  s one.  If a fas
1e30: 74 65 72 20 6e 6f 6e 2d 72 65 63 75 72 73 69 76  ter non-recursiv
1e40: 65 20 6d 75 74 65 78 0a 2a 2a 20 69 6d 70 6c 65  e mutex.** imple
1e50: 6d 65 6e 74 61 74 69 6f 6e 20 69 73 20 61 76 61  mentation is ava
1e60: 69 6c 61 62 6c 65 20 6f 6e 20 74 68 65 20 68 6f  ilable on the ho
1e70: 73 74 20 70 6c 61 74 66 6f 72 6d 2c 20 74 68 65  st platform, the
1e80: 20 6d 75 74 65 78 20 73 75 62 73 79 73 74 65 6d   mutex subsystem
1e90: 0a 2a 2a 20 6d 69 67 68 74 20 72 65 74 75 72 6e  .** might return
1ea0: 20 73 75 63 68 20 61 20 6d 75 74 65 78 20 69 6e   such a mutex in
1eb0: 20 72 65 73 70 6f 6e 73 65 20 74 6f 20 53 51 4c   response to SQL
1ec0: 49 54 45 5f 4d 55 54 45 58 5f 46 41 53 54 2e 0a  ITE_MUTEX_FAST..
1ed0: 2a 2a 0a 2a 2a 20 54 68 65 20 6f 74 68 65 72 20  **.** The other 
1ee0: 61 6c 6c 6f 77 65 64 20 70 61 72 61 6d 65 74 65  allowed paramete
1ef0: 72 73 20 74 6f 20 73 71 6c 69 74 65 33 5f 6d 75  rs to sqlite3_mu
1f00: 74 65 78 5f 61 6c 6c 6f 63 28 29 20 65 61 63 68  tex_alloc() each
1f10: 20 72 65 74 75 72 6e 0a 2a 2a 20 61 20 70 6f 69   return.** a poi
1f20: 6e 74 65 72 20 74 6f 20 61 20 73 74 61 74 69 63  nter to a static
1f30: 20 70 72 65 65 78 69 73 74 69 6e 67 20 6d 75 74   preexisting mut
1f40: 65 78 2e 20 20 54 68 72 65 65 20 73 74 61 74 69  ex.  Three stati
1f50: 63 20 6d 75 74 65 78 65 73 20 61 72 65 0a 2a 2a  c mutexes are.**
1f60: 20 75 73 65 64 20 62 79 20 74 68 65 20 63 75 72   used by the cur
1f70: 72 65 6e 74 20 76 65 72 73 69 6f 6e 20 6f 66 20  rent version of 
1f80: 53 51 4c 69 74 65 2e 20 20 46 75 74 75 72 65 20  SQLite.  Future 
1f90: 76 65 72 73 69 6f 6e 73 20 6f 66 20 53 51 4c 69  versions of SQLi
1fa0: 74 65 0a 2a 2a 20 6d 61 79 20 61 64 64 20 61 64  te.** may add ad
1fb0: 64 69 74 69 6f 6e 61 6c 20 73 74 61 74 69 63 20  ditional static 
1fc0: 6d 75 74 65 78 65 73 2e 20 20 53 74 61 74 69 63  mutexes.  Static
1fd0: 20 6d 75 74 65 78 65 73 20 61 72 65 20 66 6f 72   mutexes are for
1fe0: 20 69 6e 74 65 72 6e 61 6c 0a 2a 2a 20 75 73 65   internal.** use
1ff0: 20 62 79 20 53 51 4c 69 74 65 20 6f 6e 6c 79 2e   by SQLite only.
2000: 20 20 41 70 70 6c 69 63 61 74 69 6f 6e 73 20 74    Applications t
2010: 68 61 74 20 75 73 65 20 53 51 4c 69 74 65 20 6d  hat use SQLite m
2020: 75 74 65 78 65 73 20 73 68 6f 75 6c 64 0a 2a 2a  utexes should.**
2030: 20 75 73 65 20 6f 6e 6c 79 20 74 68 65 20 64 79   use only the dy
2040: 6e 61 6d 69 63 20 6d 75 74 65 78 65 73 20 72 65  namic mutexes re
2050: 74 75 72 6e 65 64 20 62 79 20 53 51 4c 49 54 45  turned by SQLITE
2060: 5f 4d 55 54 45 58 5f 46 41 53 54 20 6f 72 0a 2a  _MUTEX_FAST or.*
2070: 2a 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 52  * SQLITE_MUTEX_R
2080: 45 43 55 52 53 49 56 45 2e 0a 2a 2a 0a 2a 2a 20  ECURSIVE..**.** 
2090: 4e 6f 74 65 20 74 68 61 74 20 69 66 20 6f 6e 65  Note that if one
20a0: 20 6f 66 20 74 68 65 20 64 79 6e 61 6d 69 63 20   of the dynamic 
20b0: 6d 75 74 65 78 20 70 61 72 61 6d 65 74 65 72 73  mutex parameters
20c0: 20 28 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 46   (SQLITE_MUTEX_F
20d0: 41 53 54 0a 2a 2a 20 6f 72 20 53 51 4c 49 54 45  AST.** or SQLITE
20e0: 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56 45  _MUTEX_RECURSIVE
20f0: 29 20 69 73 20 75 73 65 64 20 74 68 65 6e 20 73  ) is used then s
2100: 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 61 6c 6c  qlite3_mutex_all
2110: 6f 63 28 29 0a 2a 2a 20 72 65 74 75 72 6e 73 20  oc().** returns 
2120: 61 20 64 69 66 66 65 72 65 6e 74 20 6d 75 74 65  a different mute
2130: 78 20 6f 6e 20 65 76 65 72 79 20 63 61 6c 6c 2e  x on every call.
2140: 20 20 42 75 74 20 66 6f 72 20 74 68 65 20 73 74    But for the st
2150: 61 74 69 63 20 0a 2a 2a 20 6d 75 74 65 78 20 74  atic .** mutex t
2160: 79 70 65 73 2c 20 74 68 65 20 73 61 6d 65 20 6d  ypes, the same m
2170: 75 74 65 78 20 69 73 20 72 65 74 75 72 6e 65 64  utex is returned
2180: 20 6f 6e 20 65 76 65 72 79 20 63 61 6c 6c 20 74   on every call t
2190: 68 61 74 20 68 61 73 0a 2a 2a 20 74 68 65 20 73  hat has.** the s
21a0: 61 6d 65 20 74 79 70 65 20 6e 75 6d 62 65 72 2e  ame type number.
21b0: 0a 2a 2f 0a 73 71 6c 69 74 65 33 5f 6d 75 74 65  .*/.sqlite3_mute
21c0: 78 20 2a 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  x *sqlite3_mutex
21d0: 5f 61 6c 6c 6f 63 28 69 6e 74 20 69 54 79 70 65  _alloc(int iType
21e0: 29 7b 0a 20 20 73 74 61 74 69 63 20 73 71 6c 69  ){.  static sqli
21f0: 74 65 33 5f 6d 75 74 65 78 20 73 74 61 74 69 63  te3_mutex static
2200: 4d 75 74 65 78 65 73 5b 5d 20 3d 20 7b 0a 20 20  Mutexes[] = {.  
2210: 20 20 7b 20 50 54 48 52 45 41 44 5f 4d 55 54 45    { PTHREAD_MUTE
2220: 58 5f 49 4e 49 54 49 41 4c 49 5a 45 52 2c 20 7d  X_INITIALIZER, }
2230: 2c 0a 20 20 20 20 7b 20 50 54 48 52 45 41 44 5f  ,.    { PTHREAD_
2240: 4d 55 54 45 58 5f 49 4e 49 54 49 41 4c 49 5a 45  MUTEX_INITIALIZE
2250: 52 2c 20 7d 2c 0a 20 20 20 20 7b 20 50 54 48 52  R, },.    { PTHR
2260: 45 41 44 5f 4d 55 54 45 58 5f 49 4e 49 54 49 41  EAD_MUTEX_INITIA
2270: 4c 49 5a 45 52 2c 20 7d 2c 0a 20 20 7d 3b 0a 20  LIZER, },.  };. 
2280: 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a   sqlite3_mutex *
2290: 70 3b 0a 20 20 73 77 69 74 63 68 28 20 69 54 79  p;.  switch( iTy
22a0: 70 65 20 29 7b 0a 20 20 20 20 63 61 73 65 20 53  pe ){.    case S
22b0: 51 4c 49 54 45 5f 4d 55 54 45 58 5f 46 41 53 54  QLITE_MUTEX_FAST
22c0: 3a 20 7b 0a 20 20 20 20 20 20 70 20 3d 20 73 71  : {.      p = sq
22d0: 6c 69 74 65 33 4d 61 6c 6c 6f 63 5a 65 72 6f 28  lite3MallocZero(
22e0: 20 73 69 7a 65 6f 66 28 2a 70 29 20 29 3b 0a 20   sizeof(*p) );. 
22f0: 20 20 20 20 20 69 66 28 20 70 20 29 7b 0a 20 20       if( p ){.  
2300: 20 20 20 20 20 20 70 2d 3e 69 64 20 3d 20 69 54        p->id = iT
2310: 79 70 65 3b 0a 20 20 20 20 20 20 20 20 70 74 68  ype;.        pth
2320: 72 65 61 64 5f 6d 75 74 65 78 5f 69 6e 69 74 28  read_mutex_init(
2330: 26 70 78 2d 3e 6d 61 69 6e 4d 75 74 65 78 2c 20  &px->mainMutex, 
2340: 30 29 3b 0a 20 20 20 20 20 20 7d 0a 20 20 20 20  0);.      }.    
2350: 20 20 62 72 65 61 6b 3b 0a 20 20 20 20 7d 0a 20    break;.    }. 
2360: 20 20 20 63 61 73 65 20 53 51 4c 49 54 45 5f 4d     case SQLITE_M
2370: 55 54 45 58 5f 52 45 43 55 52 53 49 56 45 3a 20  UTEX_RECURSIVE: 
2380: 7b 0a 20 20 20 20 20 20 70 20 3d 20 73 71 6c 69  {.      p = sqli
2390: 74 65 33 5f 6d 61 6c 6c 6f 63 28 20 73 69 7a 65  te3_malloc( size
23a0: 6f 66 28 2a 70 29 20 29 3b 0a 20 20 20 20 20 20  of(*p) );.      
23b0: 69 66 28 20 70 20 29 7b 0a 20 20 20 20 20 20 20  if( p ){.       
23c0: 20 70 78 2d 3e 69 64 20 3d 20 69 54 79 70 65 3b   px->id = iType;
23d0: 0a 20 20 20 20 20 20 20 20 70 74 68 72 65 61 64  .        pthread
23e0: 5f 6d 75 74 65 78 5f 69 6e 69 74 28 26 70 78 2d  _mutex_init(&px-
23f0: 3e 61 75 78 4d 75 74 65 78 2c 20 30 29 3b 0a 20  >auxMutex, 0);. 
2400: 20 20 20 20 20 20 20 70 74 68 72 65 61 64 5f 6d         pthread_m
2410: 75 74 65 78 5f 69 6e 69 74 28 26 70 78 2d 3e 6d  utex_init(&px->m
2420: 61 69 6e 4d 75 74 65 78 2c 20 30 29 3b 0a 20 20  ainMutex, 0);.  
2430: 20 20 20 20 20 20 70 78 2d 3e 6e 52 65 66 20 3d        px->nRef =
2440: 20 30 3b 0a 20 20 20 20 20 20 7d 0a 20 20 20 20   0;.      }.    
2450: 20 20 62 72 65 61 6b 3b 0a 20 20 20 20 7d 0a 20    break;.    }. 
2460: 20 20 20 64 65 66 61 75 6c 74 3a 20 7b 0a 20 20     default: {.  
2470: 20 20 20 20 70 20 3d 20 26 73 74 61 74 69 63 4d      p = &staticM
2480: 75 74 65 78 65 73 5b 69 54 79 70 65 2d 32 5d 3b  utexes[iType-2];
2490: 0a 20 20 20 20 20 20 70 2d 3e 69 64 20 3d 20 69  .      p->id = i
24a0: 54 79 70 65 3b 0a 20 20 20 20 20 20 62 72 65 61  Type;.      brea
24b0: 6b 3b 0a 20 20 20 20 7d 0a 20 20 7d 0a 20 20 72  k;.    }.  }.  r
24c0: 65 74 75 72 6e 20 70 3b 0a 7d 0a 0a 0a 2f 2a 0a  eturn p;.}.../*.
24d0: 2a 2a 20 54 68 69 73 20 72 6f 75 74 69 6e 65 20  ** This routine 
24e0: 64 65 61 6c 6c 6f 63 61 74 65 73 20 61 20 70 72  deallocates a pr
24f0: 65 76 69 6f 75 73 6c 79 0a 2a 2a 20 61 6c 6c 6f  eviously.** allo
2500: 63 61 74 65 64 20 6d 75 74 65 78 2e 20 20 53 51  cated mutex.  SQ
2510: 4c 69 74 65 20 69 73 20 63 61 72 65 66 75 6c 20  Lite is careful 
2520: 74 6f 20 64 65 61 6c 6c 6f 63 61 74 65 20 65 76  to deallocate ev
2530: 65 72 79 0a 2a 2a 20 6d 75 74 65 78 20 74 68 61  ery.** mutex tha
2540: 74 20 69 74 20 61 6c 6c 6f 63 61 74 65 73 2e 0a  t it allocates..
2550: 2a 2f 0a 76 6f 69 64 20 73 71 6c 69 74 65 33 5f  */.void sqlite3_
2560: 6d 75 74 65 78 5f 66 72 65 65 28 73 71 6c 69 74  mutex_free(sqlit
2570: 65 33 5f 6d 75 74 65 78 20 2a 70 29 7b 0a 20 20  e3_mutex *p){.  
2580: 61 73 73 65 72 74 28 20 70 20 29 3b 0a 20 20 61  assert( p );.  a
2590: 73 73 65 72 74 28 20 70 2d 3e 6e 52 65 66 3d 3d  ssert( p->nRef==
25a0: 30 20 29 3b 0a 20 20 69 66 28 20 70 2d 3e 69 64  0 );.  if( p->id
25b0: 3d 3d 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 46  ==SQLITE_MUTEX_F
25c0: 41 53 54 20 29 7b 0a 20 20 20 20 70 74 68 72 65  AST ){.    pthre
25d0: 61 64 5f 6d 75 74 65 78 5f 64 65 73 74 72 6f 79  ad_mutex_destroy
25e0: 28 26 70 2d 3e 6d 61 69 6e 4d 75 74 65 78 29 3b  (&p->mainMutex);
25f0: 0a 20 20 7d 65 6c 73 65 7b 0a 20 20 20 20 61 73  .  }else{.    as
2600: 73 65 72 74 28 20 70 2d 3e 69 64 3d 3d 53 51 4c  sert( p->id==SQL
2610: 49 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53  ITE_MUTEX_RECURS
2620: 49 56 45 20 29 3b 0a 20 20 20 20 70 74 68 72 65  IVE );.    pthre
2630: 61 64 5f 6d 75 74 65 78 5f 64 65 73 74 72 6f 79  ad_mutex_destroy
2640: 28 26 70 2d 3e 61 75 78 4d 75 74 65 78 29 3b 0a  (&p->auxMutex);.
2650: 20 20 20 20 70 74 68 72 65 61 64 5f 6d 75 74 65      pthread_mute
2660: 78 5f 64 65 73 74 72 6f 79 28 26 70 2d 3e 6d 61  x_destroy(&p->ma
2670: 69 6e 4d 75 74 65 78 29 3b 0a 20 20 7d 0a 20 20  inMutex);.  }.  
2680: 73 71 6c 69 74 65 33 5f 66 72 65 65 28 70 29 3b  sqlite3_free(p);
2690: 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 54 68 65 20 73 71  .}../*.** The sq
26a0: 6c 69 74 65 33 5f 6d 75 74 65 78 5f 65 6e 74 65  lite3_mutex_ente
26b0: 72 28 29 20 61 6e 64 20 73 71 6c 69 74 65 33 5f  r() and sqlite3_
26c0: 6d 75 74 65 78 5f 74 72 79 28 29 20 72 6f 75 74  mutex_try() rout
26d0: 69 6e 65 73 20 61 74 74 65 6d 70 74 0a 2a 2a 20  ines attempt.** 
26e0: 74 6f 20 65 6e 74 65 72 20 61 20 6d 75 74 65 78  to enter a mutex
26f0: 2e 20 20 49 66 20 61 6e 6f 74 68 65 72 20 74 68  .  If another th
2700: 72 65 61 64 20 69 73 20 61 6c 72 65 61 64 79 20  read is already 
2710: 77 69 74 68 69 6e 20 74 68 65 20 6d 75 74 65 78  within the mutex
2720: 2c 0a 2a 2a 20 73 71 6c 69 74 65 33 5f 6d 75 74  ,.** sqlite3_mut
2730: 65 78 5f 65 6e 74 65 72 28 29 20 77 69 6c 6c 20  ex_enter() will 
2740: 62 6c 6f 63 6b 20 61 6e 64 20 73 71 6c 69 74 65  block and sqlite
2750: 33 5f 6d 75 74 65 78 5f 74 72 79 28 29 20 77 69  3_mutex_try() wi
2760: 6c 6c 20 72 65 74 75 72 6e 0a 2a 2a 20 53 51 4c  ll return.** SQL
2770: 49 54 45 5f 42 55 53 59 2e 20 20 54 68 65 20 73  ITE_BUSY.  The s
2780: 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 74 72 79  qlite3_mutex_try
2790: 28 29 20 69 6e 74 65 72 66 61 63 65 20 72 65 74  () interface ret
27a0: 75 72 6e 73 20 53 51 4c 49 54 45 5f 4f 4b 0a 2a  urns SQLITE_OK.*
27b0: 2a 20 75 70 6f 6e 20 73 75 63 63 65 73 73 66 75  * upon successfu
27c0: 6c 20 65 6e 74 72 79 2e 20 20 4d 75 74 65 78 65  l entry.  Mutexe
27d0: 73 20 63 72 65 61 74 65 64 20 75 73 69 6e 67 20  s created using 
27e0: 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 52 45 43  SQLITE_MUTEX_REC
27f0: 55 52 53 49 56 45 20 63 61 6e 0a 2a 2a 20 62 65  URSIVE can.** be
2800: 20 65 6e 74 65 72 65 64 20 6d 75 6c 74 69 70 6c   entered multipl
2810: 65 20 74 69 6d 65 73 20 62 79 20 74 68 65 20 73  e times by the s
2820: 61 6d 65 20 74 68 72 65 61 64 2e 20 20 49 6e 20  ame thread.  In 
2830: 73 75 63 68 20 63 61 73 65 73 20 74 68 65 2c 0a  such cases the,.
2840: 2a 2a 20 6d 75 74 65 78 20 6d 75 73 74 20 62 65  ** mutex must be
2850: 20 65 78 69 74 65 64 20 61 6e 20 65 71 75 61 6c   exited an equal
2860: 20 6e 75 6d 62 65 72 20 6f 66 20 74 69 6d 65 73   number of times
2870: 20 62 65 66 6f 72 65 20 61 6e 6f 74 68 65 72 20   before another 
2880: 74 68 72 65 61 64 0a 2a 2a 20 63 61 6e 20 65 6e  thread.** can en
2890: 74 65 72 2e 20 20 49 66 20 74 68 65 20 73 61 6d  ter.  If the sam
28a0: 65 20 74 68 72 65 61 64 20 74 72 69 65 73 20 74  e thread tries t
28b0: 6f 20 65 6e 74 65 72 20 61 6e 79 20 6f 74 68 65  o enter any othe
28c0: 72 20 6b 69 6e 64 20 6f 66 20 6d 75 74 65 78 0a  r kind of mutex.
28d0: 2a 2a 20 6d 6f 72 65 20 74 68 61 6e 20 6f 6e 63  ** more than onc
28e0: 65 2c 20 74 68 65 20 62 65 68 61 76 69 6f 72 20  e, the behavior 
28f0: 69 73 20 75 6e 64 65 66 69 6e 65 64 2e 0a 2a 2f  is undefined..*/
2900: 0a 76 6f 69 64 20 73 71 6c 69 74 65 33 5f 6d 75  .void sqlite3_mu
2910: 74 65 78 5f 65 6e 74 65 72 28 73 71 6c 69 74 65  tex_enter(sqlite
2920: 33 5f 6d 75 74 65 78 20 2a 70 29 7b 0a 20 20 69  3_mutex *p){.  i
2930: 66 28 20 70 2d 3e 69 64 3d 3d 53 51 4c 49 54 45  f( p->id==SQLITE
2940: 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56 45  _MUTEX_RECURSIVE
2950: 20 29 7b 0a 20 20 20 20 77 68 69 6c 65 28 31 29   ){.    while(1)
2960: 7b 0a 20 20 20 20 20 20 70 74 68 72 65 61 64 5f  {.      pthread_
2970: 6d 75 74 65 78 5f 6c 6f 63 6b 28 26 70 2d 3e 61  mutex_lock(&p->a
2980: 75 78 4d 75 74 65 78 29 3b 0a 20 20 20 20 20 20  uxMutex);.      
2990: 69 66 28 20 70 2d 3e 6e 52 65 66 3d 3d 30 20 29  if( p->nRef==0 )
29a0: 7b 0a 20 20 20 20 20 20 20 20 70 2d 3e 6e 52 65  {.        p->nRe
29b0: 66 2b 2b 3b 0a 20 20 20 20 20 20 20 20 70 2d 3e  f++;.        p->
29c0: 6f 77 6e 65 72 20 3d 20 70 74 68 72 65 61 64 5f  owner = pthread_
29d0: 73 65 6c 66 28 29 3b 0a 20 20 20 20 20 20 20 20  self();.        
29e0: 70 74 68 72 65 61 64 5f 6d 75 74 65 78 5f 6c 6f  pthread_mutex_lo
29f0: 63 6b 28 26 70 2d 3e 6d 61 69 6e 4d 75 74 65 78  ck(&p->mainMutex
2a00: 29 3b 0a 20 20 20 20 20 20 20 20 70 74 68 72 65  );.        pthre
2a10: 61 64 5f 6d 75 74 65 78 5f 75 6e 6c 6f 63 6b 28  ad_mutex_unlock(
2a20: 26 70 2d 3e 61 75 78 4d 75 74 65 78 29 3b 0a 20  &p->auxMutex);. 
2a30: 20 20 20 20 20 20 20 62 72 65 61 6b 3b 0a 20 20         break;.  
2a40: 20 20 20 20 7d 65 6c 73 65 20 69 66 28 20 70 74      }else if( pt
2a50: 68 72 65 61 64 5f 65 71 75 61 6c 28 70 2d 3e 6f  hread_equal(p->o
2a60: 77 6e 65 72 2c 20 70 74 68 72 65 61 64 5f 73 65  wner, pthread_se
2a70: 6c 66 28 29 29 20 29 7b 0a 20 20 20 20 20 20 20  lf()) ){.       
2a80: 20 70 2d 3e 6e 52 65 66 2b 2b 3b 0a 20 20 20 20   p->nRef++;.    
2a90: 20 20 20 20 70 74 68 72 65 61 64 5f 6d 75 74 65      pthread_mute
2aa0: 78 5f 75 6e 6c 6f 63 6b 28 26 70 2d 3e 61 75 78  x_unlock(&p->aux
2ab0: 4d 75 74 65 78 29 3b 0a 20 20 20 20 20 20 20 20  Mutex);.        
2ac0: 62 72 65 61 6b 3b 0a 20 20 20 20 20 20 7d 65 6c  break;.      }el
2ad0: 73 65 7b 0a 20 20 20 20 20 20 20 20 70 74 68 72  se{.        pthr
2ae0: 65 61 64 5f 6d 75 74 65 78 5f 75 6e 6c 6f 63 6b  ead_mutex_unlock
2af0: 28 26 70 2d 3e 61 75 78 4d 75 74 65 78 29 3b 0a  (&p->auxMutex);.
2b00: 20 20 20 20 20 20 20 20 70 74 68 72 65 61 64 5f          pthread_
2b10: 6d 75 74 65 78 5f 6c 6f 63 6b 28 26 70 2d 3e 6d  mutex_lock(&p->m
2b20: 61 69 6e 4d 75 74 65 78 29 3b 0a 20 20 20 20 20  ainMutex);.     
2b30: 20 20 20 70 74 68 72 65 61 64 5f 6d 75 74 65 78     pthread_mutex
2b40: 5f 75 6e 6c 6f 63 6b 28 26 70 2d 3e 6d 61 69 6e  _unlock(&p->main
2b50: 4d 75 74 65 78 29 3b 0a 20 20 20 20 20 20 7d 0a  Mutex);.      }.
2b60: 20 20 20 20 7d 0a 20 20 7d 65 6c 73 65 7b 0a 20      }.  }else{. 
2b70: 20 20 20 61 73 73 65 72 74 28 20 70 2d 3e 6e 52     assert( p->nR
2b80: 65 66 3d 3d 30 20 7c 7c 20 70 74 68 72 65 61 64  ef==0 || pthread
2b90: 5f 65 71 75 61 6c 28 70 2d 3e 6f 77 6e 65 72 2c  _equal(p->owner,
2ba0: 20 70 74 68 72 65 61 64 5f 73 65 6c 66 28 29 29   pthread_self())
2bb0: 3d 3d 30 20 29 3b 0a 20 20 20 20 70 74 68 72 65  ==0 );.    pthre
2bc0: 61 64 5f 6d 75 74 65 78 5f 6c 6f 63 6b 28 26 70  ad_mutex_lock(&p
2bd0: 2d 3e 6d 75 74 65 78 29 3b 0a 20 20 20 20 61 73  ->mutex);.    as
2be0: 73 65 72 74 28 20 28 70 2d 3e 6e 52 65 66 20 3d  sert( (p->nRef =
2bf0: 20 31 29 21 3d 30 20 29 3b 0a 20 20 20 20 61 73   1)!=0 );.    as
2c00: 73 65 72 74 28 20 28 70 2d 3e 6f 77 6e 65 72 20  sert( (p->owner 
2c10: 3d 20 70 74 68 72 65 61 64 5f 73 65 6c 66 28 29  = pthread_self()
2c20: 29 3d 3d 70 74 68 72 65 61 64 5f 73 65 6c 66 28  )==pthread_self(
2c30: 29 20 29 3b 0a 20 20 7d 0a 7d 0a 69 6e 74 20 73  ) );.  }.}.int s
2c40: 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 74 72 79  qlite3_mutex_try
2c50: 28 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a  (sqlite3_mutex *
2c60: 70 29 7b 0a 20 20 69 66 28 20 70 2d 3e 69 64 3d  p){.  if( p->id=
2c70: 3d 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 52 45  =SQLITE_MUTEX_RE
2c80: 43 55 52 53 49 56 45 20 29 7b 0a 20 20 20 20 70  CURSIVE ){.    p
2c90: 74 68 72 65 61 64 5f 6d 75 74 65 78 5f 6c 6f 63  thread_mutex_loc
2ca0: 6b 28 26 70 2d 3e 61 75 78 4d 75 74 65 78 29 3b  k(&p->auxMutex);
2cb0: 0a 20 20 20 20 69 66 28 20 70 2d 3e 6e 52 65 66  .    if( p->nRef
2cc0: 3d 3d 30 20 29 7b 0a 20 20 20 20 20 20 70 2d 3e  ==0 ){.      p->
2cd0: 6e 52 65 66 2b 2b 3b 0a 20 20 20 20 20 20 70 2d  nRef++;.      p-
2ce0: 3e 6f 77 6e 65 72 20 3d 20 70 74 68 72 65 61 64  >owner = pthread
2cf0: 5f 73 65 6c 66 28 29 3b 0a 20 20 20 20 20 20 70  _self();.      p
2d00: 74 68 72 65 61 64 5f 6d 75 74 65 78 5f 6c 6f 63  thread_mutex_loc
2d10: 6b 28 26 70 2d 3e 6d 61 69 6e 4d 75 74 65 78 29  k(&p->mainMutex)
2d20: 3b 0a 20 20 20 20 20 20 70 74 68 72 65 61 64 5f  ;.      pthread_
2d30: 6d 75 74 65 78 5f 75 6e 6c 6f 63 6b 28 26 70 2d  mutex_unlock(&p-
2d40: 3e 61 75 78 4d 75 74 65 78 29 3b 0a 20 20 20 20  >auxMutex);.    
2d50: 7d 65 6c 73 65 20 69 66 28 20 70 74 68 72 65 61  }else if( pthrea
2d60: 64 5f 65 71 75 61 6c 28 70 2d 3e 6f 77 6e 65 72  d_equal(p->owner
2d70: 2c 20 70 74 68 72 65 61 64 5f 73 65 6c 66 28 29  , pthread_self()
2d80: 29 20 29 7b 0a 20 20 20 20 20 20 70 2d 3e 6e 52  ) ){.      p->nR
2d90: 65 66 2b 2b 3b 0a 20 20 20 20 20 20 70 74 68 72  ef++;.      pthr
2da0: 65 61 64 5f 6d 75 74 65 78 5f 75 6e 6c 6f 63 6b  ead_mutex_unlock
2db0: 28 26 70 2d 3e 61 75 78 4d 75 74 65 78 29 3b 0a  (&p->auxMutex);.
2dc0: 20 20 20 20 7d 65 6c 73 65 7b 0a 20 20 20 20 20      }else{.     
2dd0: 20 70 74 68 72 65 61 64 5f 6d 75 74 65 78 5f 75   pthread_mutex_u
2de0: 6e 6c 6f 63 6b 28 26 70 2d 3e 61 75 78 4d 75 74  nlock(&p->auxMut
2df0: 65 78 29 3b 0a 20 20 20 20 20 20 72 65 74 75 72  ex);.      retur
2e00: 6e 20 53 51 4c 49 54 45 5f 42 55 53 59 3b 0a 20  n SQLITE_BUSY;. 
2e10: 20 20 20 7d 0a 20 20 7d 65 6c 73 65 7b 0a 20 20     }.  }else{.  
2e20: 20 20 61 73 73 65 72 74 28 20 70 2d 3e 6e 52 65    assert( p->nRe
2e30: 66 3d 3d 30 20 7c 7c 20 70 74 68 72 65 61 64 5f  f==0 || pthread_
2e40: 65 71 75 61 6c 28 70 2d 3e 6f 77 6e 65 72 2c 20  equal(p->owner, 
2e50: 70 74 68 72 65 61 64 5f 73 65 6c 66 28 29 29 3d  pthread_self())=
2e60: 3d 30 20 29 3b 0a 20 20 20 20 69 66 28 20 70 74  =0 );.    if( pt
2e70: 68 72 65 61 64 5f 6d 75 74 65 78 5f 74 72 79 6c  hread_mutex_tryl
2e80: 6f 63 6b 28 26 70 2d 3e 6d 75 74 65 78 29 20 29  ock(&p->mutex) )
2e90: 7b 0a 20 20 20 20 20 20 72 65 74 75 72 6e 20 53  {.      return S
2ea0: 51 4c 49 54 45 5f 42 55 53 59 3b 0a 20 20 20 20  QLITE_BUSY;.    
2eb0: 7d 0a 20 20 7d 0a 20 20 72 65 74 75 72 6e 20 53  }.  }.  return S
2ec0: 51 4c 49 54 45 5f 4f 4b 3b 0a 7d 0a 0a 2f 2a 0a  QLITE_OK;.}../*.
2ed0: 2a 2a 20 54 68 65 20 73 71 6c 69 74 65 33 5f 6d  ** The sqlite3_m
2ee0: 75 74 65 78 5f 6c 65 61 76 65 28 29 20 72 6f 75  utex_leave() rou
2ef0: 74 69 6e 65 20 65 78 69 74 73 20 61 20 6d 75 74  tine exits a mut
2f00: 65 78 20 74 68 61 74 20 77 61 73 0a 2a 2a 20 70  ex that was.** p
2f10: 72 65 76 69 6f 75 73 6c 79 20 65 6e 74 65 72 65  reviously entere
2f20: 64 20 62 79 20 74 68 65 20 73 61 6d 65 20 74 68  d by the same th
2f30: 72 65 61 64 2e 20 20 54 68 65 20 62 65 68 61 76  read.  The behav
2f40: 69 6f 72 0a 2a 2a 20 69 73 20 75 6e 64 65 66 69  ior.** is undefi
2f50: 6e 65 64 20 69 66 20 74 68 65 20 6d 75 74 65 78  ned if the mutex
2f60: 20 69 73 20 6e 6f 74 20 63 75 72 72 65 6e 74 6c   is not currentl
2f70: 79 20 65 6e 74 65 72 65 64 20 6f 72 0a 2a 2a 20  y entered or.** 
2f80: 69 73 20 6e 6f 74 20 63 75 72 72 65 6e 74 6c 79  is not currently
2f90: 20 61 6c 6c 6f 63 61 74 65 64 2e 20 20 53 51 4c   allocated.  SQL
2fa0: 69 74 65 20 77 69 6c 6c 20 6e 65 76 65 72 20 64  ite will never d
2fb0: 6f 20 65 69 74 68 65 72 2e 0a 2a 2f 0a 76 6f 69  o either..*/.voi
2fc0: 64 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f  d sqlite3_mutex_
2fd0: 6c 65 61 76 65 28 73 71 6c 69 74 65 33 5f 6d 75  leave(sqlite3_mu
2fe0: 74 65 78 20 2a 70 4d 75 74 65 78 29 7b 0a 20 20  tex *pMutex){.  
2ff0: 69 66 28 20 70 2d 3e 69 64 3d 3d 53 51 4c 49 54  if( p->id==SQLIT
3000: 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56  E_MUTEX_RECURSIV
3010: 45 20 29 7b 0a 20 20 20 20 70 74 68 72 65 61 64  E ){.    pthread
3020: 5f 6d 75 74 65 78 5f 6c 6f 63 6b 28 26 70 2d 3e  _mutex_lock(&p->
3030: 61 75 78 4d 75 74 65 78 29 3b 0a 20 20 20 20 61  auxMutex);.    a
3040: 73 73 65 72 74 28 20 70 2d 3e 6e 52 65 66 3e 30  ssert( p->nRef>0
3050: 20 29 3b 0a 20 20 20 20 61 73 73 65 72 74 28 20   );.    assert( 
3060: 70 74 68 72 65 61 64 5f 65 71 75 61 6c 28 70 2d  pthread_equal(p-
3070: 3e 6f 77 6e 65 72 2c 20 70 74 68 72 65 61 64 5f  >owner, pthread_
3080: 73 65 6c 66 28 29 29 20 29 3b 0a 20 20 20 20 70  self()) );.    p
3090: 2d 3e 6e 52 65 66 2d 2d 3b 0a 20 20 20 20 69 66  ->nRef--;.    if
30a0: 28 20 70 2d 3e 6e 52 65 66 3c 3d 30 20 29 7b 0a  ( p->nRef<=0 ){.
30b0: 20 20 20 20 20 20 70 74 68 72 65 61 64 5f 6d 75        pthread_mu
30c0: 74 65 78 5f 75 6e 6c 6f 63 6b 28 26 70 2d 3e 6d  tex_unlock(&p->m
30d0: 61 69 6e 4d 75 74 65 78 29 3b 0a 20 20 20 20 7d  ainMutex);.    }
30e0: 0a 20 20 20 20 70 74 68 72 65 61 64 5f 6d 75 74  .    pthread_mut
30f0: 65 78 5f 75 6e 6c 6f 63 6b 28 26 70 2d 3e 61 75  ex_unlock(&p->au
3100: 78 4d 75 74 65 78 29 3b 0a 20 20 7d 65 6c 73 65  xMutex);.  }else
3110: 7b 0a 20 20 20 20 61 73 73 65 72 74 28 20 70 2d  {.    assert( p-
3120: 3e 6e 52 65 66 3d 3d 31 20 29 3b 0a 20 20 20 20  >nRef==1 );.    
3130: 61 73 73 65 72 74 28 20 70 74 68 72 65 61 64 5f  assert( pthread_
3140: 65 71 75 61 6c 28 70 2d 3e 6f 77 6e 65 72 2c 20  equal(p->owner, 
3150: 70 74 68 72 65 61 64 5f 73 65 6c 66 28 29 29 20  pthread_self()) 
3160: 29 3b 0a 20 20 20 20 70 2d 3e 6e 52 65 66 20 3d  );.    p->nRef =
3170: 20 30 3b 0a 20 20 20 20 70 74 68 72 65 61 64 5f   0;.    pthread_
3180: 6d 75 74 65 78 5f 75 6e 6c 6f 63 6b 28 26 70 2d  mutex_unlock(&p-
3190: 3e 6d 75 74 65 78 29 3b 0a 20 20 7d 0a 7d 0a 0a  >mutex);.  }.}..
31a0: 2f 2a 0a 2a 2a 20 54 68 65 20 73 71 6c 69 74 65  /*.** The sqlite
31b0: 33 5f 6d 75 74 65 78 5f 68 65 6c 64 28 29 20 61  3_mutex_held() a
31c0: 6e 64 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  nd sqlite3_mutex
31d0: 5f 6e 6f 74 68 65 6c 64 28 29 20 72 6f 75 74 69  _notheld() routi
31e0: 6e 65 20 61 72 65 0a 2a 2a 20 69 6e 74 65 6e 64  ne are.** intend
31f0: 65 64 20 66 6f 72 20 75 73 65 20 69 6e 73 69 64  ed for use insid
3200: 65 20 61 73 73 65 72 74 28 29 20 73 74 61 74 65  e assert() state
3210: 6d 65 6e 74 73 2e 0a 2a 2f 0a 69 6e 74 20 73 71  ments..*/.int sq
3220: 6c 69 74 65 33 5f 6d 75 74 65 78 5f 68 65 6c 64  lite3_mutex_held
3230: 28 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a  (sqlite3_mutex *
3240: 70 29 7b 0a 20 20 61 73 73 65 72 74 28 20 70 20  p){.  assert( p 
3250: 29 3b 0a 20 20 72 65 74 75 72 6e 20 70 3d 3d 30  );.  return p==0
3260: 20 7c 7c 20 28 70 2d 3e 6e 52 65 66 21 3d 30 20   || (p->nRef!=0 
3270: 26 26 20 70 74 68 72 65 61 64 5f 65 71 75 61 6c  && pthread_equal
3280: 28 70 2d 3e 6f 77 6e 65 72 2c 20 70 74 68 72 65  (p->owner, pthre
3290: 61 64 5f 73 65 6c 66 28 29 29 29 3b 0a 7d 0a 69  ad_self()));.}.i
32a0: 6e 74 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  nt sqlite3_mutex
32b0: 5f 6e 6f 74 68 65 6c 64 28 73 71 6c 69 74 65 33  _notheld(sqlite3
32c0: 5f 6d 75 74 65 78 20 2a 70 4e 6f 74 55 73 65 64  _mutex *pNotUsed
32d0: 29 7b 0a 20 20 61 73 73 65 72 74 28 20 70 20 29  ){.  assert( p )
32e0: 3b 0a 20 20 72 65 74 75 72 6e 20 70 3d 3d 30 20  ;.  return p==0 
32f0: 7c 7c 20 70 2d 3e 6e 52 65 66 3d 3d 30 20 7c 7c  || p->nRef==0 ||
3300: 20 70 74 68 72 65 61 64 5f 65 71 75 61 6c 28 70   pthread_equal(p
3310: 2d 3e 6f 77 6e 65 72 2c 20 70 74 68 72 65 61 64  ->owner, pthread
3320: 5f 73 65 6c 66 28 29 29 3d 3d 30 3b 0a 7d 0a 23  _self())==0;.}.#
3330: 65 6e 64 69 66 20 2f 2a 20 53 51 4c 49 54 45 5f  endif /* SQLITE_
3340: 4d 55 54 45 58 5f 50 54 48 52 45 41 44 20 2a 2f  MUTEX_PTHREAD */
3350: 0a 0a 23 65 6e 64 69 66 20 2f 2a 20 21 64 65 66  ..#endif /* !def
3360: 69 6e 65 64 28 53 51 4c 49 54 45 5f 4d 55 54 45  ined(SQLITE_MUTE
3370: 58 5f 41 50 50 44 45 46 29 20 2a 2f 0a           X_APPDEF) */.