/ Hex Artifact Content
Login

Artifact 81ca843fedb51b614a9a31fe92c275bae0033be2:


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 39 20 32 30 30 37 2f 30 38  .c,v 1.9 2007/08
01f0: 2f 32 34 20 32 30 3a 34 36 3a 35 39 20 64 72 68  /24 20:46:59 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 64 65 66  fault */.#if def
0390: 69 6e 65 64 28 53 51 4c 49 54 45 5f 44 45 42 55  ined(SQLITE_DEBU
03a0: 47 29 20 26 26 20 21 53 51 4c 49 54 45 5f 54 48  G) && !SQLITE_TH
03b0: 52 45 41 44 53 41 46 45 0a 23 20 75 6e 64 65 66  READSAFE.# undef
03c0: 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 4e 4f   SQLITE_MUTEX_NO
03d0: 4f 50 0a 23 20 64 65 66 69 6e 65 20 53 51 4c 49  OP.# define SQLI
03e0: 54 45 5f 4d 55 54 45 58 5f 4e 4f 4f 50 5f 44 45  TE_MUTEX_NOOP_DE
03f0: 42 55 47 0a 23 65 6e 64 69 66 0a 23 69 66 20 64  BUG.#endif.#if d
0400: 65 66 69 6e 65 64 28 53 51 4c 49 54 45 5f 4d 55  efined(SQLITE_MU
0410: 54 45 58 5f 4e 4f 4f 50 29 20 26 26 20 53 51 4c  TEX_NOOP) && SQL
0420: 49 54 45 5f 54 48 52 45 41 44 53 41 46 45 20 26  ITE_THREADSAFE &
0430: 26 20 4f 53 5f 55 4e 49 58 0a 23 20 75 6e 64 65  & OS_UNIX.# unde
0440: 66 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 4e  f SQLITE_MUTEX_N
0450: 4f 4f 50 0a 23 20 64 65 66 69 6e 65 20 53 51 4c  OOP.# define SQL
0460: 49 54 45 5f 4d 55 54 45 58 5f 50 54 48 52 45 41  ITE_MUTEX_PTHREA
0470: 44 0a 23 65 6e 64 69 66 0a 23 69 66 20 64 65 66  D.#endif.#if def
0480: 69 6e 65 64 28 53 51 4c 49 54 45 5f 4d 55 54 45  ined(SQLITE_MUTE
0490: 58 5f 4e 4f 4f 50 29 20 26 26 20 53 51 4c 49 54  X_NOOP) && SQLIT
04a0: 45 5f 54 48 52 45 41 44 53 41 46 45 20 26 26 20  E_THREADSAFE && 
04b0: 4f 53 5f 57 49 4e 0a 23 20 75 6e 64 65 66 20 53  OS_WIN.# undef S
04c0: 51 4c 49 54 45 5f 4d 55 54 45 58 5f 4e 4f 4f 50  QLITE_MUTEX_NOOP
04d0: 0a 23 20 64 65 66 69 6e 65 20 53 51 4c 49 54 45  .# define SQLITE
04e0: 5f 4d 55 54 45 58 5f 57 49 4e 0a 23 65 6e 64 69  _MUTEX_WIN.#endi
04f0: 66 0a 0a 0a 0a 23 69 66 64 65 66 20 53 51 4c 49  f....#ifdef SQLI
0500: 54 45 5f 4d 55 54 45 58 5f 4e 4f 4f 50 0a 2f 2a  TE_MUTEX_NOOP./*
0510: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0520: 2a 2a 2a 2a 2a 2a 2a 20 4e 6f 2d 6f 70 20 4d 75  ******* No-op Mu
0530: 74 65 78 20 49 6d 70 6c 65 6d 65 6e 74 61 74 69  tex Implementati
0540: 6f 6e 20 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  on *************
0550: 2a 2a 2a 2a 2a 2a 2a 2a 2a 0a 2a 2a 0a 2a 2a 20  *********.**.** 
0560: 54 68 69 73 20 66 69 72 73 74 20 69 6d 70 6c 65  This first imple
0570: 6d 65 6e 74 61 74 69 6f 6e 20 6f 66 20 6d 75 74  mentation of mut
0580: 65 78 65 73 20 69 73 20 72 65 61 6c 6c 79 20 61  exes is really a
0590: 20 6e 6f 2d 6f 70 2e 20 20 49 6e 20 6f 74 68 65   no-op.  In othe
05a0: 72 20 77 6f 72 64 73 2c 0a 2a 2a 20 6e 6f 20 72  r words,.** no r
05b0: 65 61 6c 20 6c 6f 63 6b 69 6e 67 20 6f 63 63 75  eal locking occu
05c0: 72 73 2e 20 20 54 68 69 73 20 69 6d 70 6c 65 6d  rs.  This implem
05d0: 65 6e 74 61 74 69 6f 6e 20 69 73 20 61 70 70 72  entation is appr
05e0: 6f 70 72 69 61 74 65 20 66 6f 72 20 75 73 65 0a  opriate for use.
05f0: 2a 2a 20 69 6e 20 73 69 6e 67 6c 65 20 74 68 72  ** in single thr
0600: 65 61 64 65 64 20 61 70 70 6c 69 63 61 74 69 6f  eaded applicatio
0610: 6e 73 20 77 68 69 63 68 20 64 6f 20 6e 6f 74 20  ns which do not 
0620: 77 61 6e 74 20 74 68 65 20 65 78 74 72 61 20 6f  want the extra o
0630: 76 65 72 68 65 61 64 0a 2a 2a 20 6f 66 20 74 68  verhead.** of th
0640: 72 65 61 64 20 6c 6f 63 6b 69 6e 67 20 70 72 69  read locking pri
0650: 6d 69 74 69 76 65 73 2e 0a 2a 2f 0a 0a 2f 2a 0a  mitives..*/../*.
0660: 2a 2a 20 54 68 65 20 73 71 6c 69 74 65 33 5f 6d  ** The sqlite3_m
0670: 75 74 65 78 5f 61 6c 6c 6f 63 28 29 20 72 6f 75  utex_alloc() rou
0680: 74 69 6e 65 20 61 6c 6c 6f 63 61 74 65 73 20 61  tine allocates a
0690: 20 6e 65 77 0a 2a 2a 20 6d 75 74 65 78 20 61 6e   new.** mutex an
06a0: 64 20 72 65 74 75 72 6e 73 20 61 20 70 6f 69 6e  d returns a poin
06b0: 74 65 72 20 74 6f 20 69 74 2e 20 20 49 66 20 69  ter to it.  If i
06c0: 74 20 72 65 74 75 72 6e 73 20 4e 55 4c 4c 0a 2a  t returns NULL.*
06d0: 2a 20 74 68 61 74 20 6d 65 61 6e 73 20 74 68 61  * that means tha
06e0: 74 20 61 20 6d 75 74 65 78 20 63 6f 75 6c 64 20  t a mutex could 
06f0: 6e 6f 74 20 62 65 20 61 6c 6c 6f 63 61 74 65 64  not be allocated
0700: 2e 20 0a 2a 2f 0a 73 71 6c 69 74 65 33 5f 6d 75  . .*/.sqlite3_mu
0710: 74 65 78 20 2a 73 71 6c 69 74 65 33 5f 6d 75 74  tex *sqlite3_mut
0720: 65 78 5f 61 6c 6c 6f 63 28 69 6e 74 20 69 64 4e  ex_alloc(int idN
0730: 6f 74 55 73 65 64 29 7b 0a 20 20 72 65 74 75 72  otUsed){.  retur
0740: 6e 20 28 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  n (sqlite3_mutex
0750: 2a 29 38 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 54 68  *)8;.}../*.** Th
0760: 69 73 20 72 6f 75 74 69 6e 65 20 64 65 61 6c 6c  is routine deall
0770: 6f 63 61 74 65 73 20 61 20 70 72 65 76 69 6f 75  ocates a previou
0780: 73 6c 79 20 61 6c 6c 6f 63 61 74 65 64 20 6d 75  sly allocated mu
0790: 74 65 78 2e 0a 2a 2f 0a 76 6f 69 64 20 73 71 6c  tex..*/.void sql
07a0: 69 74 65 33 5f 6d 75 74 65 78 5f 66 72 65 65 28  ite3_mutex_free(
07b0: 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a 70  sqlite3_mutex *p
07c0: 4e 6f 74 55 73 65 64 29 7b 7d 0a 0a 2f 2a 0a 2a  NotUsed){}../*.*
07d0: 2a 20 54 68 65 20 73 71 6c 69 74 65 33 5f 6d 75  * The sqlite3_mu
07e0: 74 65 78 5f 65 6e 74 65 72 28 29 20 61 6e 64 20  tex_enter() and 
07f0: 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 74 72  sqlite3_mutex_tr
0800: 79 28 29 20 72 6f 75 74 69 6e 65 73 20 61 74 74  y() routines att
0810: 65 6d 70 74 0a 2a 2a 20 74 6f 20 65 6e 74 65 72  empt.** to enter
0820: 20 61 20 6d 75 74 65 78 2e 20 20 49 66 20 61 6e   a mutex.  If an
0830: 6f 74 68 65 72 20 74 68 72 65 61 64 20 69 73 20  other thread is 
0840: 61 6c 72 65 61 64 79 20 77 69 74 68 69 6e 20 74  already within t
0850: 68 65 20 6d 75 74 65 78 2c 0a 2a 2a 20 73 71 6c  he mutex,.** sql
0860: 69 74 65 33 5f 6d 75 74 65 78 5f 65 6e 74 65 72  ite3_mutex_enter
0870: 28 29 20 77 69 6c 6c 20 62 6c 6f 63 6b 20 61 6e  () will block an
0880: 64 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f  d sqlite3_mutex_
0890: 74 72 79 28 29 20 77 69 6c 6c 20 72 65 74 75 72  try() will retur
08a0: 6e 0a 2a 2a 20 53 51 4c 49 54 45 5f 42 55 53 59  n.** SQLITE_BUSY
08b0: 2e 20 20 54 68 65 20 73 71 6c 69 74 65 33 5f 6d  .  The sqlite3_m
08c0: 75 74 65 78 5f 74 72 79 28 29 20 69 6e 74 65 72  utex_try() inter
08d0: 66 61 63 65 20 72 65 74 75 72 6e 73 20 53 51 4c  face returns SQL
08e0: 49 54 45 5f 4f 4b 0a 2a 2a 20 75 70 6f 6e 20 73  ITE_OK.** upon s
08f0: 75 63 63 65 73 73 66 75 6c 20 65 6e 74 72 79 2e  uccessful entry.
0900: 20 20 4d 75 74 65 78 65 73 20 63 72 65 61 74 65    Mutexes create
0910: 64 20 75 73 69 6e 67 20 53 51 4c 49 54 45 5f 4d  d using SQLITE_M
0920: 55 54 45 58 5f 52 45 43 55 52 53 49 56 45 20 63  UTEX_RECURSIVE c
0930: 61 6e 0a 2a 2a 20 62 65 20 65 6e 74 65 72 65 64  an.** be entered
0940: 20 6d 75 6c 74 69 70 6c 65 20 74 69 6d 65 73 20   multiple times 
0950: 62 79 20 74 68 65 20 73 61 6d 65 20 74 68 72 65  by the same thre
0960: 61 64 2e 20 20 49 6e 20 73 75 63 68 20 63 61 73  ad.  In such cas
0970: 65 73 20 74 68 65 2c 0a 2a 2a 20 6d 75 74 65 78  es the,.** mutex
0980: 20 6d 75 73 74 20 62 65 20 65 78 69 74 65 64 20   must be exited 
0990: 61 6e 20 65 71 75 61 6c 20 6e 75 6d 62 65 72 20  an equal number 
09a0: 6f 66 20 74 69 6d 65 73 20 62 65 66 6f 72 65 20  of times before 
09b0: 61 6e 6f 74 68 65 72 20 74 68 72 65 61 64 0a 2a  another thread.*
09c0: 2a 20 63 61 6e 20 65 6e 74 65 72 2e 20 20 49 66  * can enter.  If
09d0: 20 74 68 65 20 73 61 6d 65 20 74 68 72 65 61 64   the same thread
09e0: 20 74 72 69 65 73 20 74 6f 20 65 6e 74 65 72 20   tries to enter 
09f0: 61 6e 79 20 6f 74 68 65 72 20 6b 69 6e 64 20 6f  any other kind o
0a00: 66 20 6d 75 74 65 78 0a 2a 2a 20 6d 6f 72 65 20  f mutex.** more 
0a10: 74 68 61 6e 20 6f 6e 63 65 2c 20 74 68 65 20 62  than once, the b
0a20: 65 68 61 76 69 6f 72 20 69 73 20 75 6e 64 65 66  ehavior is undef
0a30: 69 6e 65 64 2e 0a 2a 2f 0a 76 6f 69 64 20 73 71  ined..*/.void sq
0a40: 6c 69 74 65 33 5f 6d 75 74 65 78 5f 65 6e 74 65  lite3_mutex_ente
0a50: 72 28 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20  r(sqlite3_mutex 
0a60: 2a 70 4e 6f 74 55 73 65 64 29 7b 7d 0a 69 6e 74  *pNotUsed){}.int
0a70: 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 74   sqlite3_mutex_t
0a80: 72 79 28 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  ry(sqlite3_mutex
0a90: 20 2a 70 4e 6f 74 55 73 65 64 29 7b 20 72 65 74   *pNotUsed){ ret
0aa0: 75 72 6e 20 53 51 4c 49 54 45 5f 4f 4b 3b 20 7d  urn SQLITE_OK; }
0ab0: 0a 0a 2f 2a 0a 2a 2a 20 54 68 65 20 73 71 6c 69  ../*.** The sqli
0ac0: 74 65 33 5f 6d 75 74 65 78 5f 6c 65 61 76 65 28  te3_mutex_leave(
0ad0: 29 20 72 6f 75 74 69 6e 65 20 65 78 69 74 73 20  ) routine exits 
0ae0: 61 20 6d 75 74 65 78 20 74 68 61 74 20 77 61 73  a mutex that was
0af0: 0a 2a 2a 20 70 72 65 76 69 6f 75 73 6c 79 20 65  .** previously e
0b00: 6e 74 65 72 65 64 20 62 79 20 74 68 65 20 73 61  ntered by the sa
0b10: 6d 65 20 74 68 72 65 61 64 2e 20 20 54 68 65 20  me thread.  The 
0b20: 62 65 68 61 76 69 6f 72 0a 2a 2a 20 69 73 20 75  behavior.** is u
0b30: 6e 64 65 66 69 6e 65 64 20 69 66 20 74 68 65 20  ndefined if the 
0b40: 6d 75 74 65 78 20 69 73 20 6e 6f 74 20 63 75 72  mutex is not cur
0b50: 72 65 6e 74 6c 79 20 65 6e 74 65 72 65 64 20 6f  rently entered o
0b60: 72 0a 2a 2a 20 69 73 20 6e 6f 74 20 63 75 72 72  r.** is not curr
0b70: 65 6e 74 6c 79 20 61 6c 6c 6f 63 61 74 65 64 2e  ently allocated.
0b80: 20 20 53 51 4c 69 74 65 20 77 69 6c 6c 20 6e 65    SQLite will ne
0b90: 76 65 72 20 64 6f 20 65 69 74 68 65 72 2e 0a 2a  ver do either..*
0ba0: 2f 0a 76 6f 69 64 20 73 71 6c 69 74 65 33 5f 6d  /.void sqlite3_m
0bb0: 75 74 65 78 5f 6c 65 61 76 65 28 73 71 6c 69 74  utex_leave(sqlit
0bc0: 65 33 5f 6d 75 74 65 78 20 2a 70 4e 6f 74 55 73  e3_mutex *pNotUs
0bd0: 65 64 29 7b 7d 0a 0a 2f 2a 0a 2a 2a 20 54 68 65  ed){}../*.** The
0be0: 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 68   sqlite3_mutex_h
0bf0: 65 6c 64 28 29 20 61 6e 64 20 73 71 6c 69 74 65  eld() and sqlite
0c00: 33 5f 6d 75 74 65 78 5f 6e 6f 74 68 65 6c 64 28  3_mutex_notheld(
0c10: 29 20 72 6f 75 74 69 6e 65 20 61 72 65 0a 2a 2a  ) routine are.**
0c20: 20 69 6e 74 65 6e 64 65 64 20 66 6f 72 20 75 73   intended for us
0c30: 65 20 69 6e 73 69 64 65 20 61 73 73 65 72 74 28  e inside assert(
0c40: 29 20 73 74 61 74 65 6d 65 6e 74 73 2e 0a 2a 2f  ) statements..*/
0c50: 0a 69 6e 74 20 73 71 6c 69 74 65 33 5f 6d 75 74  .int sqlite3_mut
0c60: 65 78 5f 68 65 6c 64 28 73 71 6c 69 74 65 33 5f  ex_held(sqlite3_
0c70: 6d 75 74 65 78 20 2a 70 4e 6f 74 55 73 65 64 29  mutex *pNotUsed)
0c80: 7b 0a 20 20 72 65 74 75 72 6e 20 31 3b 0a 7d 0a  {.  return 1;.}.
0c90: 69 6e 74 20 73 71 6c 69 74 65 33 5f 6d 75 74 65  int sqlite3_mute
0ca0: 78 5f 6e 6f 74 68 65 6c 64 28 73 71 6c 69 74 65  x_notheld(sqlite
0cb0: 33 5f 6d 75 74 65 78 20 2a 70 4e 6f 74 55 73 65  3_mutex *pNotUse
0cc0: 64 29 7b 0a 20 20 72 65 74 75 72 6e 20 31 3b 0a  d){.  return 1;.
0cd0: 7d 0a 23 65 6e 64 69 66 20 2f 2a 20 53 51 4c 49  }.#endif /* SQLI
0ce0: 54 45 5f 4d 55 54 45 58 5f 4e 4f 4f 50 20 2a 2f  TE_MUTEX_NOOP */
0cf0: 0a 0a 23 69 66 64 65 66 20 53 51 4c 49 54 45 5f  ..#ifdef SQLITE_
0d00: 4d 55 54 45 58 5f 4e 4f 4f 50 5f 44 45 42 55 47  MUTEX_NOOP_DEBUG
0d10: 0a 2f 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ./**************
0d20: 2a 20 45 72 72 6f 72 2d 63 68 65 63 6b 69 6e 67  * Error-checking
0d30: 20 4e 6f 2d 6f 70 20 4d 75 74 65 78 20 49 6d 70   No-op Mutex Imp
0d40: 6c 65 6d 65 6e 74 61 74 69 6f 6e 20 2a 2a 2a 2a  lementation ****
0d50: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 0a  ***************.
0d60: 2a 2a 0a 2a 2a 20 49 6e 20 74 68 69 73 20 69 6d  **.** In this im
0d70: 70 6c 65 6d 65 6e 74 61 74 69 6f 6e 2c 20 6d 75  plementation, mu
0d80: 74 65 78 65 73 20 64 6f 20 6e 6f 74 20 70 72 6f  texes do not pro
0d90: 76 69 64 65 20 61 6e 79 20 6d 75 74 75 61 6c 20  vide any mutual 
0da0: 65 78 63 6c 75 73 69 6f 6e 2e 0a 2a 2a 20 42 75  exclusion..** Bu
0db0: 74 20 74 68 65 20 65 72 72 6f 72 20 63 68 65 63  t the error chec
0dc0: 6b 69 6e 67 20 69 73 20 70 72 6f 76 69 64 65 64  king is provided
0dd0: 2e 20 20 54 68 69 73 20 69 6d 70 6c 65 6d 65 6e  .  This implemen
0de0: 74 61 74 69 6f 6e 20 69 73 20 75 73 65 66 75 6c  tation is useful
0df0: 0a 2a 2a 20 66 6f 72 20 74 65 73 74 20 70 75 72  .** for test pur
0e00: 70 6f 73 65 73 2e 0a 2a 2f 0a 0a 2f 2a 0a 2a 2a  poses..*/../*.**
0e10: 20 54 68 65 20 6d 75 74 65 78 20 6f 62 6a 65 63   The mutex objec
0e20: 74 0a 2a 2f 0a 73 74 72 75 63 74 20 73 71 6c 69  t.*/.struct sqli
0e30: 74 65 33 5f 6d 75 74 65 78 20 7b 0a 20 20 69 6e  te3_mutex {.  in
0e40: 74 20 69 64 3b 0a 20 20 69 6e 74 20 63 6e 74 3b  t id;.  int cnt;
0e50: 0a 7d 3b 0a 0a 2f 2a 0a 2a 2a 20 54 68 65 20 73  .};../*.** The s
0e60: 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 61 6c 6c  qlite3_mutex_all
0e70: 6f 63 28 29 20 72 6f 75 74 69 6e 65 20 61 6c 6c  oc() routine all
0e80: 6f 63 61 74 65 73 20 61 20 6e 65 77 0a 2a 2a 20  ocates a new.** 
0e90: 6d 75 74 65 78 20 61 6e 64 20 72 65 74 75 72 6e  mutex and return
0ea0: 73 20 61 20 70 6f 69 6e 74 65 72 20 74 6f 20 69  s a pointer to i
0eb0: 74 2e 20 20 49 66 20 69 74 20 72 65 74 75 72 6e  t.  If it return
0ec0: 73 20 4e 55 4c 4c 0a 2a 2a 20 74 68 61 74 20 6d  s NULL.** that m
0ed0: 65 61 6e 73 20 74 68 61 74 20 61 20 6d 75 74 65  eans that a mute
0ee0: 78 20 63 6f 75 6c 64 20 6e 6f 74 20 62 65 20 61  x could not be a
0ef0: 6c 6c 6f 63 61 74 65 64 2e 20 0a 2a 2f 0a 73 71  llocated. .*/.sq
0f00: 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a 73 71 6c  lite3_mutex *sql
0f10: 69 74 65 33 5f 6d 75 74 65 78 5f 61 6c 6c 6f 63  ite3_mutex_alloc
0f20: 28 69 6e 74 20 69 64 29 7b 0a 20 20 73 74 61 74  (int id){.  stat
0f30: 69 63 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  ic sqlite3_mutex
0f40: 20 61 53 74 61 74 69 63 5b 34 5d 3b 0a 20 20 73   aStatic[4];.  s
0f50: 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a 70 4e  qlite3_mutex *pN
0f60: 65 77 20 3d 20 30 3b 0a 20 20 73 77 69 74 63 68  ew = 0;.  switch
0f70: 28 20 69 64 20 29 7b 0a 20 20 20 20 63 61 73 65  ( id ){.    case
0f80: 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 46 41   SQLITE_MUTEX_FA
0f90: 53 54 3a 0a 20 20 20 20 63 61 73 65 20 53 51 4c  ST:.    case SQL
0fa0: 49 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53  ITE_MUTEX_RECURS
0fb0: 49 56 45 3a 20 7b 0a 20 20 20 20 20 20 70 4e 65  IVE: {.      pNe
0fc0: 77 20 3d 20 73 71 6c 69 74 65 33 5f 6d 61 6c 6c  w = sqlite3_mall
0fd0: 6f 63 28 73 69 7a 65 6f 66 28 2a 70 4e 65 77 29  oc(sizeof(*pNew)
0fe0: 29 3b 0a 20 20 20 20 20 20 69 66 28 20 70 4e 65  );.      if( pNe
0ff0: 77 20 29 7b 0a 20 20 20 20 20 20 20 20 70 4e 65  w ){.        pNe
1000: 77 2d 3e 69 64 20 3d 20 69 64 3b 0a 20 20 20 20  w->id = id;.    
1010: 20 20 20 20 70 4e 65 77 2d 3e 63 6e 74 20 3d 20      pNew->cnt = 
1020: 30 3b 0a 20 20 20 20 20 20 7d 0a 20 20 20 20 20  0;.      }.     
1030: 20 62 72 65 61 6b 3b 0a 20 20 20 20 7d 0a 20 20   break;.    }.  
1040: 20 20 64 65 66 61 75 6c 74 3a 20 7b 0a 20 20 20    default: {.   
1050: 20 20 20 61 73 73 65 72 74 28 20 69 64 2d 32 20     assert( id-2 
1060: 3e 3d 20 30 20 29 3b 0a 20 20 20 20 20 20 61 73  >= 0 );.      as
1070: 73 65 72 74 28 20 69 64 2d 32 20 3c 20 73 69 7a  sert( id-2 < siz
1080: 65 6f 66 28 61 53 74 61 74 69 63 29 2f 73 69 7a  eof(aStatic)/siz
1090: 65 6f 66 28 61 53 74 61 74 69 63 5b 30 5d 29 20  eof(aStatic[0]) 
10a0: 29 3b 0a 20 20 20 20 20 20 70 4e 65 77 20 3d 20  );.      pNew = 
10b0: 26 61 53 74 61 74 69 63 5b 69 64 2d 32 5d 3b 0a  &aStatic[id-2];.
10c0: 20 20 20 20 20 20 70 4e 65 77 2d 3e 69 64 20 3d        pNew->id =
10d0: 20 69 64 3b 0a 20 20 20 20 20 20 62 72 65 61 6b   id;.      break
10e0: 3b 0a 20 20 20 20 7d 0a 20 20 7d 0a 20 20 72 65  ;.    }.  }.  re
10f0: 74 75 72 6e 20 70 4e 65 77 3b 0a 7d 0a 0a 2f 2a  turn pNew;.}../*
1100: 0a 2a 2a 20 54 68 69 73 20 72 6f 75 74 69 6e 65  .** This routine
1110: 20 64 65 61 6c 6c 6f 63 61 74 65 73 20 61 20 70   deallocates a p
1120: 72 65 76 69 6f 75 73 6c 79 20 61 6c 6c 6f 63 61  reviously alloca
1130: 74 65 64 20 6d 75 74 65 78 2e 0a 2a 2f 0a 76 6f  ted mutex..*/.vo
1140: 69 64 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  id sqlite3_mutex
1150: 5f 66 72 65 65 28 73 71 6c 69 74 65 33 5f 6d 75  _free(sqlite3_mu
1160: 74 65 78 20 2a 70 29 7b 0a 20 20 61 73 73 65 72  tex *p){.  asser
1170: 74 28 20 70 20 29 3b 0a 20 20 61 73 73 65 72 74  t( p );.  assert
1180: 28 20 70 2d 3e 63 6e 74 3d 3d 30 20 29 3b 0a 20  ( p->cnt==0 );. 
1190: 20 61 73 73 65 72 74 28 20 70 2d 3e 69 64 3d 3d   assert( p->id==
11a0: 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 46 41 53  SQLITE_MUTEX_FAS
11b0: 54 20 7c 7c 20 70 2d 3e 69 64 3d 3d 53 51 4c 49  T || p->id==SQLI
11c0: 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49  TE_MUTEX_RECURSI
11d0: 56 45 20 29 3b 0a 20 20 73 71 6c 69 74 65 33 5f  VE );.  sqlite3_
11e0: 66 72 65 65 28 70 29 3b 0a 7d 0a 0a 2f 2a 0a 2a  free(p);.}../*.*
11f0: 2a 20 54 68 65 20 73 71 6c 69 74 65 33 5f 6d 75  * The sqlite3_mu
1200: 74 65 78 5f 65 6e 74 65 72 28 29 20 61 6e 64 20  tex_enter() and 
1210: 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 74 72  sqlite3_mutex_tr
1220: 79 28 29 20 72 6f 75 74 69 6e 65 73 20 61 74 74  y() routines att
1230: 65 6d 70 74 0a 2a 2a 20 74 6f 20 65 6e 74 65 72  empt.** to enter
1240: 20 61 20 6d 75 74 65 78 2e 20 20 49 66 20 61 6e   a mutex.  If an
1250: 6f 74 68 65 72 20 74 68 72 65 61 64 20 69 73 20  other thread is 
1260: 61 6c 72 65 61 64 79 20 77 69 74 68 69 6e 20 74  already within t
1270: 68 65 20 6d 75 74 65 78 2c 0a 2a 2a 20 73 71 6c  he mutex,.** sql
1280: 69 74 65 33 5f 6d 75 74 65 78 5f 65 6e 74 65 72  ite3_mutex_enter
1290: 28 29 20 77 69 6c 6c 20 62 6c 6f 63 6b 20 61 6e  () will block an
12a0: 64 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f  d sqlite3_mutex_
12b0: 74 72 79 28 29 20 77 69 6c 6c 20 72 65 74 75 72  try() will retur
12c0: 6e 0a 2a 2a 20 53 51 4c 49 54 45 5f 42 55 53 59  n.** SQLITE_BUSY
12d0: 2e 20 20 54 68 65 20 73 71 6c 69 74 65 33 5f 6d  .  The sqlite3_m
12e0: 75 74 65 78 5f 74 72 79 28 29 20 69 6e 74 65 72  utex_try() inter
12f0: 66 61 63 65 20 72 65 74 75 72 6e 73 20 53 51 4c  face returns SQL
1300: 49 54 45 5f 4f 4b 0a 2a 2a 20 75 70 6f 6e 20 73  ITE_OK.** upon s
1310: 75 63 63 65 73 73 66 75 6c 20 65 6e 74 72 79 2e  uccessful entry.
1320: 20 20 4d 75 74 65 78 65 73 20 63 72 65 61 74 65    Mutexes create
1330: 64 20 75 73 69 6e 67 20 53 51 4c 49 54 45 5f 4d  d using SQLITE_M
1340: 55 54 45 58 5f 52 45 43 55 52 53 49 56 45 20 63  UTEX_RECURSIVE c
1350: 61 6e 0a 2a 2a 20 62 65 20 65 6e 74 65 72 65 64  an.** be entered
1360: 20 6d 75 6c 74 69 70 6c 65 20 74 69 6d 65 73 20   multiple times 
1370: 62 79 20 74 68 65 20 73 61 6d 65 20 74 68 72 65  by the same thre
1380: 61 64 2e 20 20 49 6e 20 73 75 63 68 20 63 61 73  ad.  In such cas
1390: 65 73 20 74 68 65 2c 0a 2a 2a 20 6d 75 74 65 78  es the,.** mutex
13a0: 20 6d 75 73 74 20 62 65 20 65 78 69 74 65 64 20   must be exited 
13b0: 61 6e 20 65 71 75 61 6c 20 6e 75 6d 62 65 72 20  an equal number 
13c0: 6f 66 20 74 69 6d 65 73 20 62 65 66 6f 72 65 20  of times before 
13d0: 61 6e 6f 74 68 65 72 20 74 68 72 65 61 64 0a 2a  another thread.*
13e0: 2a 20 63 61 6e 20 65 6e 74 65 72 2e 20 20 49 66  * can enter.  If
13f0: 20 74 68 65 20 73 61 6d 65 20 74 68 72 65 61 64   the same thread
1400: 20 74 72 69 65 73 20 74 6f 20 65 6e 74 65 72 20   tries to enter 
1410: 61 6e 79 20 6f 74 68 65 72 20 6b 69 6e 64 20 6f  any other kind o
1420: 66 20 6d 75 74 65 78 0a 2a 2a 20 6d 6f 72 65 20  f mutex.** more 
1430: 74 68 61 6e 20 6f 6e 63 65 2c 20 74 68 65 20 62  than once, the b
1440: 65 68 61 76 69 6f 72 20 69 73 20 75 6e 64 65 66  ehavior is undef
1450: 69 6e 65 64 2e 0a 2a 2f 0a 76 6f 69 64 20 73 71  ined..*/.void sq
1460: 6c 69 74 65 33 5f 6d 75 74 65 78 5f 65 6e 74 65  lite3_mutex_ente
1470: 72 28 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20  r(sqlite3_mutex 
1480: 2a 70 29 7b 0a 20 20 61 73 73 65 72 74 28 20 70  *p){.  assert( p
1490: 20 29 3b 0a 20 20 61 73 73 65 72 74 28 20 70 2d   );.  assert( p-
14a0: 3e 63 6e 74 3d 3d 30 20 7c 7c 20 70 2d 3e 69 64  >cnt==0 || p->id
14b0: 3d 3d 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 52  ==SQLITE_MUTEX_R
14c0: 45 43 55 52 53 49 56 45 20 29 3b 0a 20 20 70 2d  ECURSIVE );.  p-
14d0: 3e 63 6e 74 2b 2b 3b 0a 7d 0a 69 6e 74 20 73 71  >cnt++;.}.int sq
14e0: 6c 69 74 65 33 5f 6d 75 74 65 78 5f 74 72 79 28  lite3_mutex_try(
14f0: 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a 70  sqlite3_mutex *p
1500: 29 7b 0a 20 20 61 73 73 65 72 74 28 20 70 20 29  ){.  assert( p )
1510: 3b 0a 20 20 69 66 28 20 70 2d 3e 63 6e 74 3e 30  ;.  if( p->cnt>0
1520: 20 26 26 20 70 2d 3e 69 64 21 3d 53 51 4c 49 54   && p->id!=SQLIT
1530: 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56  E_MUTEX_RECURSIV
1540: 45 20 29 7b 0a 20 20 20 20 72 65 74 75 72 6e 20  E ){.    return 
1550: 53 51 4c 49 54 45 5f 42 55 53 59 3b 0a 20 20 7d  SQLITE_BUSY;.  }
1560: 0a 20 20 70 2d 3e 63 6e 74 2b 2b 3b 0a 20 20 72  .  p->cnt++;.  r
1570: 65 74 75 72 6e 20 53 51 4c 49 54 45 5f 4f 4b 3b  eturn SQLITE_OK;
1580: 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 54 68 65 20 73 71  .}../*.** The sq
1590: 6c 69 74 65 33 5f 6d 75 74 65 78 5f 6c 65 61 76  lite3_mutex_leav
15a0: 65 28 29 20 72 6f 75 74 69 6e 65 20 65 78 69 74  e() routine exit
15b0: 73 20 61 20 6d 75 74 65 78 20 74 68 61 74 20 77  s a mutex that w
15c0: 61 73 0a 2a 2a 20 70 72 65 76 69 6f 75 73 6c 79  as.** previously
15d0: 20 65 6e 74 65 72 65 64 20 62 79 20 74 68 65 20   entered by the 
15e0: 73 61 6d 65 20 74 68 72 65 61 64 2e 20 20 54 68  same thread.  Th
15f0: 65 20 62 65 68 61 76 69 6f 72 0a 2a 2a 20 69 73  e behavior.** is
1600: 20 75 6e 64 65 66 69 6e 65 64 20 69 66 20 74 68   undefined if th
1610: 65 20 6d 75 74 65 78 20 69 73 20 6e 6f 74 20 63  e mutex is not c
1620: 75 72 72 65 6e 74 6c 79 20 65 6e 74 65 72 65 64  urrently entered
1630: 20 6f 72 0a 2a 2a 20 69 73 20 6e 6f 74 20 63 75   or.** is not cu
1640: 72 72 65 6e 74 6c 79 20 61 6c 6c 6f 63 61 74 65  rrently allocate
1650: 64 2e 20 20 53 51 4c 69 74 65 20 77 69 6c 6c 20  d.  SQLite will 
1660: 6e 65 76 65 72 20 64 6f 20 65 69 74 68 65 72 2e  never do either.
1670: 0a 2a 2f 0a 76 6f 69 64 20 73 71 6c 69 74 65 33  .*/.void sqlite3
1680: 5f 6d 75 74 65 78 5f 6c 65 61 76 65 28 73 71 6c  _mutex_leave(sql
1690: 69 74 65 33 5f 6d 75 74 65 78 20 2a 70 29 7b 0a  ite3_mutex *p){.
16a0: 20 20 61 73 73 65 72 74 28 20 70 2d 3e 63 6e 74    assert( p->cnt
16b0: 3e 30 20 29 3b 0a 20 20 70 2d 3e 63 6e 74 2d 2d  >0 );.  p->cnt--
16c0: 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 54 68 65 20 73  ;.}../*.** The s
16d0: 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 68 65 6c  qlite3_mutex_hel
16e0: 64 28 29 20 61 6e 64 20 73 71 6c 69 74 65 33 5f  d() and sqlite3_
16f0: 6d 75 74 65 78 5f 6e 6f 74 68 65 6c 64 28 29 20  mutex_notheld() 
1700: 72 6f 75 74 69 6e 65 20 61 72 65 0a 2a 2a 20 69  routine are.** i
1710: 6e 74 65 6e 64 65 64 20 66 6f 72 20 75 73 65 20  ntended for use 
1720: 69 6e 73 69 64 65 20 61 73 73 65 72 74 28 29 20  inside assert() 
1730: 73 74 61 74 65 6d 65 6e 74 73 2e 0a 2a 2f 0a 69  statements..*/.i
1740: 6e 74 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  nt sqlite3_mutex
1750: 5f 68 65 6c 64 28 73 71 6c 69 74 65 33 5f 6d 75  _held(sqlite3_mu
1760: 74 65 78 20 2a 70 29 7b 0a 20 20 72 65 74 75 72  tex *p){.  retur
1770: 6e 20 70 3d 3d 30 20 7c 7c 20 70 2d 3e 63 6e 74  n p==0 || p->cnt
1780: 3e 30 3b 0a 7d 0a 69 6e 74 20 73 71 6c 69 74 65  >0;.}.int sqlite
1790: 33 5f 6d 75 74 65 78 5f 6e 6f 74 68 65 6c 64 28  3_mutex_notheld(
17a0: 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a 70  sqlite3_mutex *p
17b0: 29 7b 0a 20 20 72 65 74 75 72 6e 20 70 3d 3d 30  ){.  return p==0
17c0: 20 7c 7c 20 70 2d 3e 63 6e 74 3d 3d 30 3b 0a 7d   || p->cnt==0;.}
17d0: 0a 23 65 6e 64 69 66 20 2f 2a 20 53 51 4c 49 54  .#endif /* SQLIT
17e0: 45 5f 4d 55 54 45 58 5f 4e 4f 4f 50 5f 44 45 42  E_MUTEX_NOOP_DEB
17f0: 55 47 20 2a 2f 0a 0a 0a 0a 23 69 66 64 65 66 20  UG */....#ifdef 
1800: 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 50 54 48  SQLITE_MUTEX_PTH
1810: 52 45 41 44 0a 2f 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  READ./**********
1820: 2a 2a 2a 2a 2a 2a 20 4e 6f 6e 2d 72 65 63 75 72  ****** Non-recur
1830: 73 69 76 65 20 50 74 68 72 65 61 64 20 4d 75 74  sive Pthread Mut
1840: 65 78 20 49 6d 70 6c 65 6d 65 6e 74 61 74 69 6f  ex Implementatio
1850: 6e 20 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  n **************
1860: 2a 2a 2a 0a 2a 2a 0a 2a 2a 20 54 68 69 73 20 69  ***.**.** This i
1870: 6d 70 6c 65 6d 65 6e 74 61 74 69 6f 6e 20 6f 66  mplementation of
1880: 20 6d 75 74 65 78 65 73 20 69 73 20 62 75 69 6c   mutexes is buil
1890: 74 20 75 73 69 6e 67 20 61 20 76 65 72 73 69 6f  t using a versio
18a0: 6e 20 6f 66 20 70 74 68 72 65 61 64 73 20 74 68  n of pthreads th
18b0: 61 74 0a 2a 2a 20 64 6f 65 73 20 6e 6f 74 20 68  at.** does not h
18c0: 61 76 65 20 6e 61 74 69 76 65 20 73 75 70 70 6f  ave native suppo
18d0: 72 74 20 66 6f 72 20 72 65 63 75 72 73 69 76 65  rt for recursive
18e0: 20 6d 75 74 65 78 65 73 2e 0a 2a 2f 0a 23 69 6e   mutexes..*/.#in
18f0: 63 6c 75 64 65 20 3c 70 74 68 72 65 61 64 2e 68  clude <pthread.h
1900: 3e 0a 0a 2f 2a 0a 2a 2a 20 45 61 63 68 20 72 65  >../*.** Each re
1910: 63 75 72 73 69 76 65 20 6d 75 74 65 78 20 69 73  cursive mutex is
1920: 20 61 6e 20 69 6e 73 74 61 6e 63 65 20 6f 66 20   an instance of 
1930: 74 68 65 20 66 6f 6c 6c 6f 77 69 6e 67 20 73 74  the following st
1940: 72 75 63 74 75 72 65 2e 0a 2a 2f 0a 73 74 72 75  ructure..*/.stru
1950: 63 74 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  ct sqlite3_mutex
1960: 20 7b 0a 20 20 70 74 68 72 65 61 64 5f 6d 75 74   {.  pthread_mut
1970: 65 78 5f 74 20 6d 75 74 65 78 3b 20 20 20 20 20  ex_t mutex;     
1980: 2f 2a 20 4d 75 74 65 78 20 63 6f 6e 74 72 6f 6c  /* Mutex control
1990: 6c 69 6e 67 20 74 68 65 20 6c 6f 63 6b 20 2a 2f  ling the lock */
19a0: 0a 20 20 69 6e 74 20 69 64 3b 20 20 20 20 20 20  .  int id;      
19b0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a                /*
19c0: 20 4d 75 74 65 78 20 74 79 70 65 20 2a 2f 0a 20   Mutex type */. 
19d0: 20 69 6e 74 20 6e 52 65 66 3b 20 20 20 20 20 20   int nRef;      
19e0: 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20 4e              /* N
19f0: 75 6d 62 65 72 20 6f 66 20 65 6e 74 72 61 6e 63  umber of entranc
1a00: 65 73 20 2a 2f 0a 20 20 70 74 68 72 65 61 64 5f  es */.  pthread_
1a10: 74 20 6f 77 6e 65 72 3b 20 20 20 20 20 20 20 20  t owner;        
1a20: 20 20 20 2f 2a 20 54 68 72 65 61 64 20 74 68 61     /* Thread tha
1a30: 74 20 69 73 20 77 69 74 68 69 6e 20 74 68 69 73  t is within this
1a40: 20 6d 75 74 65 78 20 2a 2f 0a 7d 3b 0a 0a 2f 2a   mutex */.};../*
1a50: 0a 2a 2a 20 54 68 65 20 73 71 6c 69 74 65 33 5f  .** The sqlite3_
1a60: 6d 75 74 65 78 5f 61 6c 6c 6f 63 28 29 20 72 6f  mutex_alloc() ro
1a70: 75 74 69 6e 65 20 61 6c 6c 6f 63 61 74 65 73 20  utine allocates 
1a80: 61 20 6e 65 77 0a 2a 2a 20 6d 75 74 65 78 20 61  a new.** mutex a
1a90: 6e 64 20 72 65 74 75 72 6e 73 20 61 20 70 6f 69  nd returns a poi
1aa0: 6e 74 65 72 20 74 6f 20 69 74 2e 20 20 49 66 20  nter to it.  If 
1ab0: 69 74 20 72 65 74 75 72 6e 73 20 4e 55 4c 4c 0a  it returns NULL.
1ac0: 2a 2a 20 74 68 61 74 20 6d 65 61 6e 73 20 74 68  ** that means th
1ad0: 61 74 20 61 20 6d 75 74 65 78 20 63 6f 75 6c 64  at a mutex could
1ae0: 20 6e 6f 74 20 62 65 20 61 6c 6c 6f 63 61 74 65   not be allocate
1af0: 64 2e 20 20 53 51 4c 69 74 65 0a 2a 2a 20 77 69  d.  SQLite.** wi
1b00: 6c 6c 20 75 6e 77 69 6e 64 20 69 74 73 20 73 74  ll unwind its st
1b10: 61 63 6b 20 61 6e 64 20 72 65 74 75 72 6e 20 61  ack and return a
1b20: 6e 20 65 72 72 6f 72 2e 20 20 54 68 65 20 61 72  n error.  The ar
1b30: 67 75 6d 65 6e 74 0a 2a 2a 20 74 6f 20 73 71 6c  gument.** to sql
1b40: 69 74 65 33 5f 6d 75 74 65 78 5f 61 6c 6c 6f 63  ite3_mutex_alloc
1b50: 28 29 20 69 73 20 6f 6e 65 20 6f 66 20 74 68 65  () is one of the
1b60: 73 65 20 69 6e 74 65 67 65 72 20 63 6f 6e 73 74  se integer const
1b70: 61 6e 74 73 3a 0a 2a 2a 0a 2a 2a 20 3c 75 6c 3e  ants:.**.** <ul>
1b80: 0a 2a 2a 20 3c 6c 69 3e 20 20 53 51 4c 49 54 45  .** <li>  SQLITE
1b90: 5f 4d 55 54 45 58 5f 46 41 53 54 0a 2a 2a 20 3c  _MUTEX_FAST.** <
1ba0: 6c 69 3e 20 20 53 51 4c 49 54 45 5f 4d 55 54 45  li>  SQLITE_MUTE
1bb0: 58 5f 52 45 43 55 52 53 49 56 45 0a 2a 2a 20 3c  X_RECURSIVE.** <
1bc0: 6c 69 3e 20 20 53 51 4c 49 54 45 5f 4d 55 54 45  li>  SQLITE_MUTE
1bd0: 58 5f 53 54 41 54 49 43 5f 4d 41 53 54 45 52 0a  X_STATIC_MASTER.
1be0: 2a 2a 20 3c 6c 69 3e 20 20 53 51 4c 49 54 45 5f  ** <li>  SQLITE_
1bf0: 4d 55 54 45 58 5f 53 54 41 54 49 43 5f 4d 45 4d  MUTEX_STATIC_MEM
1c00: 0a 2a 2a 20 3c 6c 69 3e 20 20 53 51 4c 49 54 45  .** <li>  SQLITE
1c10: 5f 4d 55 54 45 58 5f 53 54 41 54 49 43 5f 4d 45  _MUTEX_STATIC_ME
1c20: 4d 32 0a 2a 2a 20 3c 6c 69 3e 20 20 53 51 4c 49  M2.** <li>  SQLI
1c30: 54 45 5f 4d 55 54 45 58 5f 53 54 41 54 49 43 5f  TE_MUTEX_STATIC_
1c40: 50 52 4e 47 0a 2a 2a 20 3c 2f 75 6c 3e 0a 2a 2a  PRNG.** </ul>.**
1c50: 0a 2a 2a 20 54 68 65 20 66 69 72 73 74 20 74 77  .** The first tw
1c60: 6f 20 63 6f 6e 73 74 61 6e 74 73 20 63 61 75 73  o constants caus
1c70: 65 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f  e sqlite3_mutex_
1c80: 61 6c 6c 6f 63 28 29 20 74 6f 20 63 72 65 61 74  alloc() to creat
1c90: 65 0a 2a 2a 20 61 20 6e 65 77 20 6d 75 74 65 78  e.** a new mutex
1ca0: 2e 20 20 54 68 65 20 6e 65 77 20 6d 75 74 65 78  .  The new mutex
1cb0: 20 69 73 20 72 65 63 75 72 73 69 76 65 20 77 68   is recursive wh
1cc0: 65 6e 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f  en SQLITE_MUTEX_
1cd0: 52 45 43 55 52 53 49 56 45 0a 2a 2a 20 69 73 20  RECURSIVE.** is 
1ce0: 75 73 65 64 20 62 75 74 20 6e 6f 74 20 6e 65 63  used but not nec
1cf0: 65 73 73 61 72 69 6c 79 20 73 6f 20 77 68 65 6e  essarily so when
1d00: 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 46 41   SQLITE_MUTEX_FA
1d10: 53 54 20 69 73 20 75 73 65 64 2e 0a 2a 2a 20 54  ST is used..** T
1d20: 68 65 20 6d 75 74 65 78 20 69 6d 70 6c 65 6d 65  he mutex impleme
1d30: 6e 74 61 74 69 6f 6e 20 64 6f 65 73 20 6e 6f 74  ntation does not
1d40: 20 6e 65 65 64 20 74 6f 20 6d 61 6b 65 20 61 20   need to make a 
1d50: 64 69 73 74 69 6e 63 74 69 6f 6e 0a 2a 2a 20 62  distinction.** b
1d60: 65 74 77 65 65 6e 20 53 51 4c 49 54 45 5f 4d 55  etween SQLITE_MU
1d70: 54 45 58 5f 52 45 43 55 52 53 49 56 45 20 61 6e  TEX_RECURSIVE an
1d80: 64 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 46  d SQLITE_MUTEX_F
1d90: 41 53 54 20 69 66 20 69 74 20 64 6f 65 73 0a 2a  AST if it does.*
1da0: 2a 20 6e 6f 74 20 77 61 6e 74 20 74 6f 2e 20 20  * not want to.  
1db0: 42 75 74 20 53 51 4c 69 74 65 20 77 69 6c 6c 20  But SQLite will 
1dc0: 6f 6e 6c 79 20 72 65 71 75 65 73 74 20 61 20 72  only request a r
1dd0: 65 63 75 72 73 69 76 65 20 6d 75 74 65 78 20 69  ecursive mutex i
1de0: 6e 0a 2a 2a 20 63 61 73 65 73 20 77 68 65 72 65  n.** cases where
1df0: 20 69 74 20 72 65 61 6c 6c 79 20 6e 65 65 64 73   it really needs
1e00: 20 6f 6e 65 2e 20 20 49 66 20 61 20 66 61 73 74   one.  If a fast
1e10: 65 72 20 6e 6f 6e 2d 72 65 63 75 72 73 69 76 65  er non-recursive
1e20: 20 6d 75 74 65 78 0a 2a 2a 20 69 6d 70 6c 65 6d   mutex.** implem
1e30: 65 6e 74 61 74 69 6f 6e 20 69 73 20 61 76 61 69  entation is avai
1e40: 6c 61 62 6c 65 20 6f 6e 20 74 68 65 20 68 6f 73  lable on the hos
1e50: 74 20 70 6c 61 74 66 6f 72 6d 2c 20 74 68 65 20  t platform, the 
1e60: 6d 75 74 65 78 20 73 75 62 73 79 73 74 65 6d 0a  mutex subsystem.
1e70: 2a 2a 20 6d 69 67 68 74 20 72 65 74 75 72 6e 20  ** might return 
1e80: 73 75 63 68 20 61 20 6d 75 74 65 78 20 69 6e 20  such a mutex in 
1e90: 72 65 73 70 6f 6e 73 65 20 74 6f 20 53 51 4c 49  response to SQLI
1ea0: 54 45 5f 4d 55 54 45 58 5f 46 41 53 54 2e 0a 2a  TE_MUTEX_FAST..*
1eb0: 2a 0a 2a 2a 20 54 68 65 20 6f 74 68 65 72 20 61  *.** The other a
1ec0: 6c 6c 6f 77 65 64 20 70 61 72 61 6d 65 74 65 72  llowed parameter
1ed0: 73 20 74 6f 20 73 71 6c 69 74 65 33 5f 6d 75 74  s to sqlite3_mut
1ee0: 65 78 5f 61 6c 6c 6f 63 28 29 20 65 61 63 68 20  ex_alloc() each 
1ef0: 72 65 74 75 72 6e 0a 2a 2a 20 61 20 70 6f 69 6e  return.** a poin
1f00: 74 65 72 20 74 6f 20 61 20 73 74 61 74 69 63 20  ter to a static 
1f10: 70 72 65 65 78 69 73 74 69 6e 67 20 6d 75 74 65  preexisting mute
1f20: 78 2e 20 20 54 68 72 65 65 20 73 74 61 74 69 63  x.  Three static
1f30: 20 6d 75 74 65 78 65 73 20 61 72 65 0a 2a 2a 20   mutexes are.** 
1f40: 75 73 65 64 20 62 79 20 74 68 65 20 63 75 72 72  used by the curr
1f50: 65 6e 74 20 76 65 72 73 69 6f 6e 20 6f 66 20 53  ent version of S
1f60: 51 4c 69 74 65 2e 20 20 46 75 74 75 72 65 20 76  QLite.  Future v
1f70: 65 72 73 69 6f 6e 73 20 6f 66 20 53 51 4c 69 74  ersions of SQLit
1f80: 65 0a 2a 2a 20 6d 61 79 20 61 64 64 20 61 64 64  e.** may add add
1f90: 69 74 69 6f 6e 61 6c 20 73 74 61 74 69 63 20 6d  itional static m
1fa0: 75 74 65 78 65 73 2e 20 20 53 74 61 74 69 63 20  utexes.  Static 
1fb0: 6d 75 74 65 78 65 73 20 61 72 65 20 66 6f 72 20  mutexes are for 
1fc0: 69 6e 74 65 72 6e 61 6c 0a 2a 2a 20 75 73 65 20  internal.** use 
1fd0: 62 79 20 53 51 4c 69 74 65 20 6f 6e 6c 79 2e 20  by SQLite only. 
1fe0: 20 41 70 70 6c 69 63 61 74 69 6f 6e 73 20 74 68   Applications th
1ff0: 61 74 20 75 73 65 20 53 51 4c 69 74 65 20 6d 75  at use SQLite mu
2000: 74 65 78 65 73 20 73 68 6f 75 6c 64 0a 2a 2a 20  texes should.** 
2010: 75 73 65 20 6f 6e 6c 79 20 74 68 65 20 64 79 6e  use only the dyn
2020: 61 6d 69 63 20 6d 75 74 65 78 65 73 20 72 65 74  amic mutexes ret
2030: 75 72 6e 65 64 20 62 79 20 53 51 4c 49 54 45 5f  urned by SQLITE_
2040: 4d 55 54 45 58 5f 46 41 53 54 20 6f 72 0a 2a 2a  MUTEX_FAST or.**
2050: 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 52 45   SQLITE_MUTEX_RE
2060: 43 55 52 53 49 56 45 2e 0a 2a 2a 0a 2a 2a 20 4e  CURSIVE..**.** N
2070: 6f 74 65 20 74 68 61 74 20 69 66 20 6f 6e 65 20  ote that if one 
2080: 6f 66 20 74 68 65 20 64 79 6e 61 6d 69 63 20 6d  of the dynamic m
2090: 75 74 65 78 20 70 61 72 61 6d 65 74 65 72 73 20  utex parameters 
20a0: 28 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 46 41  (SQLITE_MUTEX_FA
20b0: 53 54 0a 2a 2a 20 6f 72 20 53 51 4c 49 54 45 5f  ST.** or SQLITE_
20c0: 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56 45 29  MUTEX_RECURSIVE)
20d0: 20 69 73 20 75 73 65 64 20 74 68 65 6e 20 73 71   is used then sq
20e0: 6c 69 74 65 33 5f 6d 75 74 65 78 5f 61 6c 6c 6f  lite3_mutex_allo
20f0: 63 28 29 0a 2a 2a 20 72 65 74 75 72 6e 73 20 61  c().** returns a
2100: 20 64 69 66 66 65 72 65 6e 74 20 6d 75 74 65 78   different mutex
2110: 20 6f 6e 20 65 76 65 72 79 20 63 61 6c 6c 2e 20   on every call. 
2120: 20 42 75 74 20 66 6f 72 20 74 68 65 20 73 74 61   But for the sta
2130: 74 69 63 20 0a 2a 2a 20 6d 75 74 65 78 20 74 79  tic .** mutex ty
2140: 70 65 73 2c 20 74 68 65 20 73 61 6d 65 20 6d 75  pes, the same mu
2150: 74 65 78 20 69 73 20 72 65 74 75 72 6e 65 64 20  tex is returned 
2160: 6f 6e 20 65 76 65 72 79 20 63 61 6c 6c 20 74 68  on every call th
2170: 61 74 20 68 61 73 0a 2a 2a 20 74 68 65 20 73 61  at has.** the sa
2180: 6d 65 20 74 79 70 65 20 6e 75 6d 62 65 72 2e 0a  me type number..
2190: 2a 2f 0a 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  */.sqlite3_mutex
21a0: 20 2a 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f   *sqlite3_mutex_
21b0: 61 6c 6c 6f 63 28 69 6e 74 20 69 54 79 70 65 29  alloc(int iType)
21c0: 7b 0a 20 20 73 74 61 74 69 63 20 73 71 6c 69 74  {.  static sqlit
21d0: 65 33 5f 6d 75 74 65 78 20 73 74 61 74 69 63 4d  e3_mutex staticM
21e0: 75 74 65 78 65 73 5b 5d 20 3d 20 7b 0a 20 20 20  utexes[] = {.   
21f0: 20 7b 20 50 54 48 52 45 41 44 5f 4d 55 54 45 58   { PTHREAD_MUTEX
2200: 5f 49 4e 49 54 49 41 4c 49 5a 45 52 2c 20 7d 2c  _INITIALIZER, },
2210: 0a 20 20 20 20 7b 20 50 54 48 52 45 41 44 5f 4d  .    { PTHREAD_M
2220: 55 54 45 58 5f 49 4e 49 54 49 41 4c 49 5a 45 52  UTEX_INITIALIZER
2230: 2c 20 7d 2c 0a 20 20 20 20 7b 20 50 54 48 52 45  , },.    { PTHRE
2240: 41 44 5f 4d 55 54 45 58 5f 49 4e 49 54 49 41 4c  AD_MUTEX_INITIAL
2250: 49 5a 45 52 2c 20 7d 2c 0a 20 20 20 20 7b 20 50  IZER, },.    { P
2260: 54 48 52 45 41 44 5f 4d 55 54 45 58 5f 49 4e 49  THREAD_MUTEX_INI
2270: 54 49 41 4c 49 5a 45 52 2c 20 7d 2c 0a 20 20 7d  TIALIZER, },.  }
2280: 3b 0a 20 20 73 71 6c 69 74 65 33 5f 6d 75 74 65  ;.  sqlite3_mute
2290: 78 20 2a 70 3b 0a 20 20 73 77 69 74 63 68 28 20  x *p;.  switch( 
22a0: 69 54 79 70 65 20 29 7b 0a 20 20 20 20 63 61 73  iType ){.    cas
22b0: 65 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 46  e SQLITE_MUTEX_F
22c0: 41 53 54 3a 0a 20 20 20 20 63 61 73 65 20 53 51  AST:.    case SQ
22d0: 4c 49 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52  LITE_MUTEX_RECUR
22e0: 53 49 56 45 3a 20 7b 0a 20 20 20 20 20 20 70 20  SIVE: {.      p 
22f0: 3d 20 73 71 6c 69 74 65 33 4d 61 6c 6c 6f 63 5a  = sqlite3MallocZ
2300: 65 72 6f 28 20 73 69 7a 65 6f 66 28 2a 70 29 20  ero( sizeof(*p) 
2310: 29 3b 0a 20 20 20 20 20 20 69 66 28 20 70 20 29  );.      if( p )
2320: 7b 0a 20 20 20 20 20 20 20 20 70 2d 3e 69 64 20  {.        p->id 
2330: 3d 20 69 54 79 70 65 3b 0a 20 20 20 20 20 20 20  = iType;.       
2340: 20 70 74 68 72 65 61 64 5f 6d 75 74 65 78 5f 69   pthread_mutex_i
2350: 6e 69 74 28 26 70 2d 3e 6d 75 74 65 78 2c 20 30  nit(&p->mutex, 0
2360: 29 3b 0a 20 20 20 20 20 20 7d 0a 20 20 20 20 20  );.      }.     
2370: 20 62 72 65 61 6b 3b 0a 20 20 20 20 7d 0a 20 20   break;.    }.  
2380: 20 20 64 65 66 61 75 6c 74 3a 20 7b 0a 20 20 20    default: {.   
2390: 20 20 20 61 73 73 65 72 74 28 20 69 54 79 70 65     assert( iType
23a0: 2d 32 20 3e 3d 20 30 20 29 3b 0a 20 20 20 20 20  -2 >= 0 );.     
23b0: 20 61 73 73 65 72 74 28 20 69 54 79 70 65 2d 32   assert( iType-2
23c0: 20 3c 20 73 69 7a 65 6f 66 28 73 74 61 74 69 63   < sizeof(static
23d0: 4d 75 74 65 78 65 73 29 2f 73 69 7a 65 6f 66 28  Mutexes)/sizeof(
23e0: 73 74 61 74 69 63 4d 75 74 65 78 65 73 5b 30 5d  staticMutexes[0]
23f0: 29 20 29 3b 0a 20 20 20 20 20 20 70 20 3d 20 26  ) );.      p = &
2400: 73 74 61 74 69 63 4d 75 74 65 78 65 73 5b 69 54  staticMutexes[iT
2410: 79 70 65 2d 32 5d 3b 0a 20 20 20 20 20 20 70 2d  ype-2];.      p-
2420: 3e 69 64 20 3d 20 69 54 79 70 65 3b 0a 20 20 20  >id = iType;.   
2430: 20 20 20 62 72 65 61 6b 3b 0a 20 20 20 20 7d 0a     break;.    }.
2440: 20 20 7d 0a 20 20 72 65 74 75 72 6e 20 70 3b 0a    }.  return p;.
2450: 7d 0a 0a 0a 2f 2a 0a 2a 2a 20 54 68 69 73 20 72  }.../*.** This r
2460: 6f 75 74 69 6e 65 20 64 65 61 6c 6c 6f 63 61 74  outine deallocat
2470: 65 73 20 61 20 70 72 65 76 69 6f 75 73 6c 79 0a  es a previously.
2480: 2a 2a 20 61 6c 6c 6f 63 61 74 65 64 20 6d 75 74  ** allocated mut
2490: 65 78 2e 20 20 53 51 4c 69 74 65 20 69 73 20 63  ex.  SQLite is c
24a0: 61 72 65 66 75 6c 20 74 6f 20 64 65 61 6c 6c 6f  areful to deallo
24b0: 63 61 74 65 20 65 76 65 72 79 0a 2a 2a 20 6d 75  cate every.** mu
24c0: 74 65 78 20 74 68 61 74 20 69 74 20 61 6c 6c 6f  tex that it allo
24d0: 63 61 74 65 73 2e 0a 2a 2f 0a 76 6f 69 64 20 73  cates..*/.void s
24e0: 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 66 72 65  qlite3_mutex_fre
24f0: 65 28 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20  e(sqlite3_mutex 
2500: 2a 70 29 7b 0a 20 20 61 73 73 65 72 74 28 20 70  *p){.  assert( p
2510: 20 29 3b 0a 20 20 61 73 73 65 72 74 28 20 70 2d   );.  assert( p-
2520: 3e 6e 52 65 66 3d 3d 30 20 29 3b 0a 20 20 61 73  >nRef==0 );.  as
2530: 73 65 72 74 28 20 70 2d 3e 69 64 3d 3d 53 51 4c  sert( p->id==SQL
2540: 49 54 45 5f 4d 55 54 45 58 5f 46 41 53 54 20 7c  ITE_MUTEX_FAST |
2550: 7c 20 70 2d 3e 69 64 3d 3d 53 51 4c 49 54 45 5f  | p->id==SQLITE_
2560: 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56 45 20  MUTEX_RECURSIVE 
2570: 29 3b 0a 20 20 70 74 68 72 65 61 64 5f 6d 75 74  );.  pthread_mut
2580: 65 78 5f 64 65 73 74 72 6f 79 28 26 70 2d 3e 6d  ex_destroy(&p->m
2590: 75 74 65 78 29 3b 0a 20 20 73 71 6c 69 74 65 33  utex);.  sqlite3
25a0: 5f 66 72 65 65 28 70 29 3b 0a 7d 0a 0a 2f 2a 0a  _free(p);.}../*.
25b0: 2a 2a 20 54 68 65 20 73 71 6c 69 74 65 33 5f 6d  ** The sqlite3_m
25c0: 75 74 65 78 5f 65 6e 74 65 72 28 29 20 61 6e 64  utex_enter() and
25d0: 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 74   sqlite3_mutex_t
25e0: 72 79 28 29 20 72 6f 75 74 69 6e 65 73 20 61 74  ry() routines at
25f0: 74 65 6d 70 74 0a 2a 2a 20 74 6f 20 65 6e 74 65  tempt.** to ente
2600: 72 20 61 20 6d 75 74 65 78 2e 20 20 49 66 20 61  r a mutex.  If a
2610: 6e 6f 74 68 65 72 20 74 68 72 65 61 64 20 69 73  nother thread is
2620: 20 61 6c 72 65 61 64 79 20 77 69 74 68 69 6e 20   already within 
2630: 74 68 65 20 6d 75 74 65 78 2c 0a 2a 2a 20 73 71  the mutex,.** sq
2640: 6c 69 74 65 33 5f 6d 75 74 65 78 5f 65 6e 74 65  lite3_mutex_ente
2650: 72 28 29 20 77 69 6c 6c 20 62 6c 6f 63 6b 20 61  r() will block a
2660: 6e 64 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  nd sqlite3_mutex
2670: 5f 74 72 79 28 29 20 77 69 6c 6c 20 72 65 74 75  _try() will retu
2680: 72 6e 0a 2a 2a 20 53 51 4c 49 54 45 5f 42 55 53  rn.** SQLITE_BUS
2690: 59 2e 20 20 54 68 65 20 73 71 6c 69 74 65 33 5f  Y.  The sqlite3_
26a0: 6d 75 74 65 78 5f 74 72 79 28 29 20 69 6e 74 65  mutex_try() inte
26b0: 72 66 61 63 65 20 72 65 74 75 72 6e 73 20 53 51  rface returns SQ
26c0: 4c 49 54 45 5f 4f 4b 0a 2a 2a 20 75 70 6f 6e 20  LITE_OK.** upon 
26d0: 73 75 63 63 65 73 73 66 75 6c 20 65 6e 74 72 79  successful entry
26e0: 2e 20 20 4d 75 74 65 78 65 73 20 63 72 65 61 74  .  Mutexes creat
26f0: 65 64 20 75 73 69 6e 67 20 53 51 4c 49 54 45 5f  ed using SQLITE_
2700: 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56 45 20  MUTEX_RECURSIVE 
2710: 63 61 6e 0a 2a 2a 20 62 65 20 65 6e 74 65 72 65  can.** be entere
2720: 64 20 6d 75 6c 74 69 70 6c 65 20 74 69 6d 65 73  d multiple times
2730: 20 62 79 20 74 68 65 20 73 61 6d 65 20 74 68 72   by the same thr
2740: 65 61 64 2e 20 20 49 6e 20 73 75 63 68 20 63 61  ead.  In such ca
2750: 73 65 73 20 74 68 65 2c 0a 2a 2a 20 6d 75 74 65  ses the,.** mute
2760: 78 20 6d 75 73 74 20 62 65 20 65 78 69 74 65 64  x must be exited
2770: 20 61 6e 20 65 71 75 61 6c 20 6e 75 6d 62 65 72   an equal number
2780: 20 6f 66 20 74 69 6d 65 73 20 62 65 66 6f 72 65   of times before
2790: 20 61 6e 6f 74 68 65 72 20 74 68 72 65 61 64 0a   another thread.
27a0: 2a 2a 20 63 61 6e 20 65 6e 74 65 72 2e 20 20 49  ** can enter.  I
27b0: 66 20 74 68 65 20 73 61 6d 65 20 74 68 72 65 61  f the same threa
27c0: 64 20 74 72 69 65 73 20 74 6f 20 65 6e 74 65 72  d tries to enter
27d0: 20 61 6e 79 20 6f 74 68 65 72 20 6b 69 6e 64 20   any other kind 
27e0: 6f 66 20 6d 75 74 65 78 0a 2a 2a 20 6d 6f 72 65  of mutex.** more
27f0: 20 74 68 61 6e 20 6f 6e 63 65 2c 20 74 68 65 20   than once, the 
2800: 62 65 68 61 76 69 6f 72 20 69 73 20 75 6e 64 65  behavior is unde
2810: 66 69 6e 65 64 2e 0a 2a 2f 0a 76 6f 69 64 20 73  fined..*/.void s
2820: 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 65 6e 74  qlite3_mutex_ent
2830: 65 72 28 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  er(sqlite3_mutex
2840: 20 2a 70 29 7b 0a 20 20 70 74 68 72 65 61 64 5f   *p){.  pthread_
2850: 74 20 73 65 6c 66 20 3d 20 70 74 68 72 65 61 64  t self = pthread
2860: 5f 73 65 6c 66 28 29 3b 0a 20 20 69 66 28 20 70  _self();.  if( p
2870: 74 68 72 65 61 64 5f 65 71 75 61 6c 28 70 2d 3e  thread_equal(p->
2880: 6f 77 6e 65 72 2c 20 73 65 6c 66 29 20 26 26 20  owner, self) && 
2890: 70 2d 3e 6e 52 65 66 3e 30 20 29 7b 0a 20 20 20  p->nRef>0 ){.   
28a0: 20 70 2d 3e 6e 52 65 66 2b 2b 3b 0a 20 20 7d 65   p->nRef++;.  }e
28b0: 6c 73 65 7b 0a 20 20 20 20 70 74 68 72 65 61 64  lse{.    pthread
28c0: 5f 6d 75 74 65 78 5f 6c 6f 63 6b 28 26 70 2d 3e  _mutex_lock(&p->
28d0: 6d 75 74 65 78 29 3b 0a 20 20 20 20 61 73 73 65  mutex);.    asse
28e0: 72 74 28 20 70 2d 3e 6e 52 65 66 3d 3d 30 20 29  rt( p->nRef==0 )
28f0: 3b 0a 20 20 20 20 70 2d 3e 6f 77 6e 65 72 20 3d  ;.    p->owner =
2900: 20 73 65 6c 66 3b 0a 20 20 20 20 70 2d 3e 6e 52   self;.    p->nR
2910: 65 66 20 3d 20 31 3b 0a 20 20 7d 0a 7d 0a 69 6e  ef = 1;.  }.}.in
2920: 74 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f  t sqlite3_mutex_
2930: 74 72 79 28 73 71 6c 69 74 65 33 5f 6d 75 74 65  try(sqlite3_mute
2940: 78 20 2a 70 29 7b 0a 20 20 70 74 68 72 65 61 64  x *p){.  pthread
2950: 5f 74 20 73 65 6c 66 20 3d 20 70 74 68 72 65 61  _t self = pthrea
2960: 64 5f 73 65 6c 66 28 29 3b 0a 20 20 69 6e 74 20  d_self();.  int 
2970: 72 63 3b 0a 20 20 69 66 28 20 70 74 68 72 65 61  rc;.  if( pthrea
2980: 64 5f 65 71 75 61 6c 28 70 2d 3e 6f 77 6e 65 72  d_equal(p->owner
2990: 2c 20 73 65 6c 66 29 20 26 26 20 70 2d 3e 6e 52  , self) && p->nR
29a0: 65 66 3e 30 20 29 7b 0a 20 20 20 20 70 2d 3e 6e  ef>0 ){.    p->n
29b0: 52 65 66 2b 2b 3b 0a 20 20 20 20 72 63 20 3d 20  Ref++;.    rc = 
29c0: 53 51 4c 49 54 45 5f 4f 4b 3b 0a 20 20 7d 65 6c  SQLITE_OK;.  }el
29d0: 73 65 20 69 66 28 20 70 74 68 72 65 61 64 5f 6d  se if( pthread_m
29e0: 75 74 65 78 5f 6c 6f 63 6b 28 26 70 2d 3e 6d 75  utex_lock(&p->mu
29f0: 74 65 78 29 3d 3d 30 20 29 7b 0a 20 20 20 20 61  tex)==0 ){.    a
2a00: 73 73 65 72 74 28 20 70 2d 3e 6e 52 65 66 3d 3d  ssert( p->nRef==
2a10: 30 20 29 3b 0a 20 20 20 20 70 2d 3e 6f 77 6e 65  0 );.    p->owne
2a20: 72 20 3d 20 73 65 6c 66 3b 0a 20 20 20 20 70 2d  r = self;.    p-
2a30: 3e 6e 52 65 66 20 3d 20 31 3b 0a 20 20 20 20 72  >nRef = 1;.    r
2a40: 63 20 3d 20 53 51 4c 49 54 45 5f 4f 4b 3b 0a 20  c = SQLITE_OK;. 
2a50: 20 7d 65 6c 73 65 7b 0a 20 20 20 20 72 63 20 3d   }else{.    rc =
2a60: 20 53 51 4c 49 54 45 5f 42 55 53 59 3b 0a 20 20   SQLITE_BUSY;.  
2a70: 7d 0a 20 20 72 65 74 75 72 6e 20 72 63 3b 0a 7d  }.  return rc;.}
2a80: 0a 0a 2f 2a 0a 2a 2a 20 54 68 65 20 73 71 6c 69  ../*.** The sqli
2a90: 74 65 33 5f 6d 75 74 65 78 5f 6c 65 61 76 65 28  te3_mutex_leave(
2aa0: 29 20 72 6f 75 74 69 6e 65 20 65 78 69 74 73 20  ) routine exits 
2ab0: 61 20 6d 75 74 65 78 20 74 68 61 74 20 77 61 73  a mutex that was
2ac0: 0a 2a 2a 20 70 72 65 76 69 6f 75 73 6c 79 20 65  .** previously e
2ad0: 6e 74 65 72 65 64 20 62 79 20 74 68 65 20 73 61  ntered by the sa
2ae0: 6d 65 20 74 68 72 65 61 64 2e 20 20 54 68 65 20  me thread.  The 
2af0: 62 65 68 61 76 69 6f 72 0a 2a 2a 20 69 73 20 75  behavior.** is u
2b00: 6e 64 65 66 69 6e 65 64 20 69 66 20 74 68 65 20  ndefined if the 
2b10: 6d 75 74 65 78 20 69 73 20 6e 6f 74 20 63 75 72  mutex is not cur
2b20: 72 65 6e 74 6c 79 20 65 6e 74 65 72 65 64 20 6f  rently entered o
2b30: 72 0a 2a 2a 20 69 73 20 6e 6f 74 20 63 75 72 72  r.** is not curr
2b40: 65 6e 74 6c 79 20 61 6c 6c 6f 63 61 74 65 64 2e  ently allocated.
2b50: 20 20 53 51 4c 69 74 65 20 77 69 6c 6c 20 6e 65    SQLite will ne
2b60: 76 65 72 20 64 6f 20 65 69 74 68 65 72 2e 0a 2a  ver do either..*
2b70: 2f 0a 76 6f 69 64 20 73 71 6c 69 74 65 33 5f 6d  /.void sqlite3_m
2b80: 75 74 65 78 5f 6c 65 61 76 65 28 73 71 6c 69 74  utex_leave(sqlit
2b90: 65 33 5f 6d 75 74 65 78 20 2a 70 29 7b 0a 20 20  e3_mutex *p){.  
2ba0: 61 73 73 65 72 74 28 20 70 74 68 72 65 61 64 5f  assert( pthread_
2bb0: 65 71 75 61 6c 28 70 2d 3e 6f 77 6e 65 72 2c 20  equal(p->owner, 
2bc0: 70 74 68 72 65 61 64 5f 73 65 6c 66 28 29 29 20  pthread_self()) 
2bd0: 29 3b 0a 20 20 61 73 73 65 72 74 28 20 70 2d 3e  );.  assert( p->
2be0: 6e 52 65 66 3e 30 20 29 3b 0a 20 20 70 2d 3e 6e  nRef>0 );.  p->n
2bf0: 52 65 66 2d 2d 3b 0a 20 20 69 66 28 20 70 2d 3e  Ref--;.  if( p->
2c00: 6e 52 65 66 3d 3d 30 20 29 7b 0a 20 20 20 20 70  nRef==0 ){.    p
2c10: 74 68 72 65 61 64 5f 6d 75 74 65 78 5f 75 6e 6c  thread_mutex_unl
2c20: 6f 63 6b 28 26 70 2d 3e 6d 75 74 65 78 29 3b 0a  ock(&p->mutex);.
2c30: 20 20 7d 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 54 68 65    }.}../*.** The
2c40: 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 68   sqlite3_mutex_h
2c50: 65 6c 64 28 29 20 61 6e 64 20 73 71 6c 69 74 65  eld() and sqlite
2c60: 33 5f 6d 75 74 65 78 5f 6e 6f 74 68 65 6c 64 28  3_mutex_notheld(
2c70: 29 20 72 6f 75 74 69 6e 65 20 61 72 65 0a 2a 2a  ) routine are.**
2c80: 20 69 6e 74 65 6e 64 65 64 20 66 6f 72 20 75 73   intended for us
2c90: 65 20 69 6e 73 69 64 65 20 61 73 73 65 72 74 28  e inside assert(
2ca0: 29 20 73 74 61 74 65 6d 65 6e 74 73 2e 0a 2a 2f  ) statements..*/
2cb0: 0a 69 6e 74 20 73 71 6c 69 74 65 33 5f 6d 75 74  .int sqlite3_mut
2cc0: 65 78 5f 68 65 6c 64 28 73 71 6c 69 74 65 33 5f  ex_held(sqlite3_
2cd0: 6d 75 74 65 78 20 2a 70 29 7b 0a 20 20 72 65 74  mutex *p){.  ret
2ce0: 75 72 6e 20 70 3d 3d 30 20 7c 7c 20 28 70 2d 3e  urn p==0 || (p->
2cf0: 6e 52 65 66 21 3d 30 20 26 26 20 70 74 68 72 65  nRef!=0 && pthre
2d00: 61 64 5f 65 71 75 61 6c 28 70 2d 3e 6f 77 6e 65  ad_equal(p->owne
2d10: 72 2c 20 70 74 68 72 65 61 64 5f 73 65 6c 66 28  r, pthread_self(
2d20: 29 29 29 3b 0a 7d 0a 69 6e 74 20 73 71 6c 69 74  )));.}.int sqlit
2d30: 65 33 5f 6d 75 74 65 78 5f 6e 6f 74 68 65 6c 64  e3_mutex_notheld
2d40: 28 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a  (sqlite3_mutex *
2d50: 70 29 7b 0a 20 20 72 65 74 75 72 6e 20 70 3d 3d  p){.  return p==
2d60: 30 20 7c 7c 20 70 2d 3e 6e 52 65 66 3d 3d 30 20  0 || p->nRef==0 
2d70: 7c 7c 20 70 74 68 72 65 61 64 5f 65 71 75 61 6c  || pthread_equal
2d80: 28 70 2d 3e 6f 77 6e 65 72 2c 20 70 74 68 72 65  (p->owner, pthre
2d90: 61 64 5f 73 65 6c 66 28 29 29 3d 3d 30 3b 0a 7d  ad_self())==0;.}
2da0: 0a 23 65 6e 64 69 66 20 2f 2a 20 53 51 4c 49 54  .#endif /* SQLIT
2db0: 45 5f 4d 55 54 45 58 5f 50 54 48 52 45 41 44 20  E_MUTEX_PTHREAD 
2dc0: 2a 2f 0a 0a 23 69 66 64 65 66 20 53 51 4c 49 54  */..#ifdef SQLIT
2dd0: 45 5f 4d 55 54 45 58 5f 57 49 4e 0a 2f 2a 2a 2a  E_MUTEX_WIN./***
2de0: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
2df0: 2a 2a 2a 20 57 69 6e 64 6f 77 73 20 4d 75 74 65  *** Windows Mute
2e00: 78 20 49 6d 70 6c 65 6d 65 6e 74 61 74 69 6f 6e  x Implementation
2e10: 20 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a   ***************
2e20: 2a 2a 2a 2a 2a 2a 2a 0a 2a 2a 0a 2a 2a 20 54 68  *******.**.** Th
2e30: 69 73 20 69 6d 70 6c 65 6d 65 6e 74 61 74 69 6f  is implementatio
2e40: 6e 20 6f 66 20 6d 75 74 65 78 65 73 20 69 73 20  n of mutexes is 
2e50: 62 75 69 6c 74 20 75 73 69 6e 67 20 74 68 65 20  built using the 
2e60: 77 69 6e 33 32 20 41 50 49 2e 0a 2a 2f 0a 0a 2f  win32 API..*/../
2e70: 2a 0a 2a 2a 20 45 61 63 68 20 72 65 63 75 72 73  *.** Each recurs
2e80: 69 76 65 20 6d 75 74 65 78 20 69 73 20 61 6e 20  ive mutex is an 
2e90: 69 6e 73 74 61 6e 63 65 20 6f 66 20 74 68 65 20  instance of the 
2ea0: 66 6f 6c 6c 6f 77 69 6e 67 20 73 74 72 75 63 74  following struct
2eb0: 75 72 65 2e 0a 2a 2f 0a 73 74 72 75 63 74 20 73  ure..*/.struct s
2ec0: 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 7b 0a 20  qlite3_mutex {. 
2ed0: 20 43 52 49 54 49 43 41 4c 5f 53 45 43 54 49 4f   CRITICAL_SECTIO
2ee0: 4e 20 6d 75 74 65 78 3b 20 20 20 20 2f 2a 20 4d  N mutex;    /* M
2ef0: 75 74 65 78 20 63 6f 6e 74 72 6f 6c 6c 69 6e 67  utex controlling
2f00: 20 74 68 65 20 6c 6f 63 6b 20 2a 2f 0a 20 20 69   the lock */.  i
2f10: 6e 74 20 69 64 3b 20 20 20 20 20 20 20 20 20 20  nt id;          
2f20: 20 20 20 20 20 20 20 20 20 20 2f 2a 20 4d 75 74            /* Mut
2f30: 65 78 20 74 79 70 65 20 2a 2f 0a 20 20 69 6e 74  ex type */.  int
2f40: 20 6e 52 65 66 3b 20 20 20 20 20 20 20 20 20 20   nRef;          
2f50: 20 20 20 20 20 20 20 20 2f 2a 20 4e 75 6d 62 65          /* Numbe
2f60: 72 20 6f 66 20 65 6e 74 65 72 61 6e 63 65 73 20  r of enterances 
2f70: 2a 2f 0a 20 20 44 57 4f 52 44 20 6f 77 6e 65 72  */.  DWORD owner
2f80: 3b 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20  ;               
2f90: 2f 2a 20 54 68 72 65 61 64 20 68 6f 6c 64 69 6e  /* Thread holdin
2fa0: 67 20 74 68 69 73 20 6d 75 74 65 78 20 2a 2f 0a  g this mutex */.
2fb0: 7d 3b 0a 0a 2f 2a 0a 2a 2a 20 54 68 65 20 73 71  };../*.** The sq
2fc0: 6c 69 74 65 33 5f 6d 75 74 65 78 5f 61 6c 6c 6f  lite3_mutex_allo
2fd0: 63 28 29 20 72 6f 75 74 69 6e 65 20 61 6c 6c 6f  c() routine allo
2fe0: 63 61 74 65 73 20 61 20 6e 65 77 0a 2a 2a 20 6d  cates a new.** m
2ff0: 75 74 65 78 20 61 6e 64 20 72 65 74 75 72 6e 73  utex and returns
3000: 20 61 20 70 6f 69 6e 74 65 72 20 74 6f 20 69 74   a pointer to it
3010: 2e 20 20 49 66 20 69 74 20 72 65 74 75 72 6e 73  .  If it returns
3020: 20 4e 55 4c 4c 0a 2a 2a 20 74 68 61 74 20 6d 65   NULL.** that me
3030: 61 6e 73 20 74 68 61 74 20 61 20 6d 75 74 65 78  ans that a mutex
3040: 20 63 6f 75 6c 64 20 6e 6f 74 20 62 65 20 61 6c   could not be al
3050: 6c 6f 63 61 74 65 64 2e 20 20 53 51 4c 69 74 65  located.  SQLite
3060: 0a 2a 2a 20 77 69 6c 6c 20 75 6e 77 69 6e 64 20  .** will unwind 
3070: 69 74 73 20 73 74 61 63 6b 20 61 6e 64 20 72 65  its stack and re
3080: 74 75 72 6e 20 61 6e 20 65 72 72 6f 72 2e 20 20  turn an error.  
3090: 54 68 65 20 61 72 67 75 6d 65 6e 74 0a 2a 2a 20  The argument.** 
30a0: 74 6f 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  to sqlite3_mutex
30b0: 5f 61 6c 6c 6f 63 28 29 20 69 73 20 6f 6e 65 20  _alloc() is one 
30c0: 6f 66 20 74 68 65 73 65 20 69 6e 74 65 67 65 72  of these integer
30d0: 20 63 6f 6e 73 74 61 6e 74 73 3a 0a 2a 2a 0a 2a   constants:.**.*
30e0: 2a 20 3c 75 6c 3e 0a 2a 2a 20 3c 6c 69 3e 20 20  * <ul>.** <li>  
30f0: 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 46 41 53  SQLITE_MUTEX_FAS
3100: 54 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20  T               
3110: 30 0a 2a 2a 20 3c 6c 69 3e 20 20 53 51 4c 49 54  0.** <li>  SQLIT
3120: 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56  E_MUTEX_RECURSIV
3130: 45 20 20 20 20 20 20 20 20 20 20 31 0a 2a 2a 20  E          1.** 
3140: 3c 6c 69 3e 20 20 53 51 4c 49 54 45 5f 4d 55 54  <li>  SQLITE_MUT
3150: 45 58 5f 53 54 41 54 49 43 5f 4d 41 53 54 45 52  EX_STATIC_MASTER
3160: 20 20 20 20 20 20 32 0a 2a 2a 20 3c 6c 69 3e 20        2.** <li> 
3170: 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 53 54   SQLITE_MUTEX_ST
3180: 41 54 49 43 5f 4d 45 4d 20 20 20 20 20 20 20 20  ATIC_MEM        
3190: 20 33 0a 2a 2a 20 3c 6c 69 3e 20 20 53 51 4c 49   3.** <li>  SQLI
31a0: 54 45 5f 4d 55 54 45 58 5f 53 54 41 54 49 43 5f  TE_MUTEX_STATIC_
31b0: 50 52 4e 47 20 20 20 20 20 20 20 20 34 0a 2a 2a  PRNG        4.**
31c0: 20 3c 2f 75 6c 3e 0a 2a 2a 0a 2a 2a 20 54 68 65   </ul>.**.** The
31d0: 20 66 69 72 73 74 20 74 77 6f 20 63 6f 6e 73 74   first two const
31e0: 61 6e 74 73 20 63 61 75 73 65 20 73 71 6c 69 74  ants cause sqlit
31f0: 65 33 5f 6d 75 74 65 78 5f 61 6c 6c 6f 63 28 29  e3_mutex_alloc()
3200: 20 74 6f 20 63 72 65 61 74 65 0a 2a 2a 20 61 20   to create.** a 
3210: 6e 65 77 20 6d 75 74 65 78 2e 20 20 54 68 65 20  new mutex.  The 
3220: 6e 65 77 20 6d 75 74 65 78 20 69 73 20 72 65 63  new mutex is rec
3230: 75 72 73 69 76 65 20 77 68 65 6e 20 53 51 4c 49  ursive when SQLI
3240: 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49  TE_MUTEX_RECURSI
3250: 56 45 0a 2a 2a 20 69 73 20 75 73 65 64 20 62 75  VE.** is used bu
3260: 74 20 6e 6f 74 20 6e 65 63 65 73 73 61 72 69 6c  t not necessaril
3270: 79 20 73 6f 20 77 68 65 6e 20 53 51 4c 49 54 45  y so when SQLITE
3280: 5f 4d 55 54 45 58 5f 46 41 53 54 20 69 73 20 75  _MUTEX_FAST is u
3290: 73 65 64 2e 0a 2a 2a 20 54 68 65 20 6d 75 74 65  sed..** The mute
32a0: 78 20 69 6d 70 6c 65 6d 65 6e 74 61 74 69 6f 6e  x implementation
32b0: 20 64 6f 65 73 20 6e 6f 74 20 6e 65 65 64 20 74   does not need t
32c0: 6f 20 6d 61 6b 65 20 61 20 64 69 73 74 69 6e 63  o make a distinc
32d0: 74 69 6f 6e 0a 2a 2a 20 62 65 74 77 65 65 6e 20  tion.** between 
32e0: 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 52 45 43  SQLITE_MUTEX_REC
32f0: 55 52 53 49 56 45 20 61 6e 64 20 53 51 4c 49 54  URSIVE and SQLIT
3300: 45 5f 4d 55 54 45 58 5f 46 41 53 54 20 69 66 20  E_MUTEX_FAST if 
3310: 69 74 20 64 6f 65 73 0a 2a 2a 20 6e 6f 74 20 77  it does.** not w
3320: 61 6e 74 20 74 6f 2e 20 20 42 75 74 20 53 51 4c  ant to.  But SQL
3330: 69 74 65 20 77 69 6c 6c 20 6f 6e 6c 79 20 72 65  ite will only re
3340: 71 75 65 73 74 20 61 20 72 65 63 75 72 73 69 76  quest a recursiv
3350: 65 20 6d 75 74 65 78 20 69 6e 0a 2a 2a 20 63 61  e mutex in.** ca
3360: 73 65 73 20 77 68 65 72 65 20 69 74 20 72 65 61  ses where it rea
3370: 6c 6c 79 20 6e 65 65 64 73 20 6f 6e 65 2e 20 20  lly needs one.  
3380: 49 66 20 61 20 66 61 73 74 65 72 20 6e 6f 6e 2d  If a faster non-
3390: 72 65 63 75 72 73 69 76 65 20 6d 75 74 65 78 0a  recursive mutex.
33a0: 2a 2a 20 69 6d 70 6c 65 6d 65 6e 74 61 74 69 6f  ** implementatio
33b0: 6e 20 69 73 20 61 76 61 69 6c 61 62 6c 65 20 6f  n is available o
33c0: 6e 20 74 68 65 20 68 6f 73 74 20 70 6c 61 74 66  n the host platf
33d0: 6f 72 6d 2c 20 74 68 65 20 6d 75 74 65 78 20 73  orm, the mutex s
33e0: 75 62 73 79 73 74 65 6d 0a 2a 2a 20 6d 69 67 68  ubsystem.** migh
33f0: 74 20 72 65 74 75 72 6e 20 73 75 63 68 20 61 20  t return such a 
3400: 6d 75 74 65 78 20 69 6e 20 72 65 73 70 6f 6e 73  mutex in respons
3410: 65 20 74 6f 20 53 51 4c 49 54 45 5f 4d 55 54 45  e to SQLITE_MUTE
3420: 58 5f 46 41 53 54 2e 0a 2a 2a 0a 2a 2a 20 54 68  X_FAST..**.** Th
3430: 65 20 6f 74 68 65 72 20 61 6c 6c 6f 77 65 64 20  e other allowed 
3440: 70 61 72 61 6d 65 74 65 72 73 20 74 6f 20 73 71  parameters to sq
3450: 6c 69 74 65 33 5f 6d 75 74 65 78 5f 61 6c 6c 6f  lite3_mutex_allo
3460: 63 28 29 20 65 61 63 68 20 72 65 74 75 72 6e 0a  c() each return.
3470: 2a 2a 20 61 20 70 6f 69 6e 74 65 72 20 74 6f 20  ** a pointer to 
3480: 61 20 73 74 61 74 69 63 20 70 72 65 65 78 69 73  a static preexis
3490: 74 69 6e 67 20 6d 75 74 65 78 2e 20 20 54 68 72  ting mutex.  Thr
34a0: 65 65 20 73 74 61 74 69 63 20 6d 75 74 65 78 65  ee static mutexe
34b0: 73 20 61 72 65 0a 2a 2a 20 75 73 65 64 20 62 79  s are.** used by
34c0: 20 74 68 65 20 63 75 72 72 65 6e 74 20 76 65 72   the current ver
34d0: 73 69 6f 6e 20 6f 66 20 53 51 4c 69 74 65 2e 20  sion of SQLite. 
34e0: 20 46 75 74 75 72 65 20 76 65 72 73 69 6f 6e 73   Future versions
34f0: 20 6f 66 20 53 51 4c 69 74 65 0a 2a 2a 20 6d 61   of SQLite.** ma
3500: 79 20 61 64 64 20 61 64 64 69 74 69 6f 6e 61 6c  y add additional
3510: 20 73 74 61 74 69 63 20 6d 75 74 65 78 65 73 2e   static mutexes.
3520: 20 20 53 74 61 74 69 63 20 6d 75 74 65 78 65 73    Static mutexes
3530: 20 61 72 65 20 66 6f 72 20 69 6e 74 65 72 6e 61   are for interna
3540: 6c 0a 2a 2a 20 75 73 65 20 62 79 20 53 51 4c 69  l.** use by SQLi
3550: 74 65 20 6f 6e 6c 79 2e 20 20 41 70 70 6c 69 63  te only.  Applic
3560: 61 74 69 6f 6e 73 20 74 68 61 74 20 75 73 65 20  ations that use 
3570: 53 51 4c 69 74 65 20 6d 75 74 65 78 65 73 20 73  SQLite mutexes s
3580: 68 6f 75 6c 64 0a 2a 2a 20 75 73 65 20 6f 6e 6c  hould.** use onl
3590: 79 20 74 68 65 20 64 79 6e 61 6d 69 63 20 6d 75  y the dynamic mu
35a0: 74 65 78 65 73 20 72 65 74 75 72 6e 65 64 20 62  texes returned b
35b0: 79 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 46  y SQLITE_MUTEX_F
35c0: 41 53 54 20 6f 72 0a 2a 2a 20 53 51 4c 49 54 45  AST or.** SQLITE
35d0: 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56 45  _MUTEX_RECURSIVE
35e0: 2e 0a 2a 2a 0a 2a 2a 20 4e 6f 74 65 20 74 68 61  ..**.** Note tha
35f0: 74 20 69 66 20 6f 6e 65 20 6f 66 20 74 68 65 20  t if one of the 
3600: 64 79 6e 61 6d 69 63 20 6d 75 74 65 78 20 70 61  dynamic mutex pa
3610: 72 61 6d 65 74 65 72 73 20 28 53 51 4c 49 54 45  rameters (SQLITE
3620: 5f 4d 55 54 45 58 5f 46 41 53 54 0a 2a 2a 20 6f  _MUTEX_FAST.** o
3630: 72 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 52  r SQLITE_MUTEX_R
3640: 45 43 55 52 53 49 56 45 29 20 69 73 20 75 73 65  ECURSIVE) is use
3650: 64 20 74 68 65 6e 20 73 71 6c 69 74 65 33 5f 6d  d then sqlite3_m
3660: 75 74 65 78 5f 61 6c 6c 6f 63 28 29 0a 2a 2a 20  utex_alloc().** 
3670: 72 65 74 75 72 6e 73 20 61 20 64 69 66 66 65 72  returns a differ
3680: 65 6e 74 20 6d 75 74 65 78 20 6f 6e 20 65 76 65  ent mutex on eve
3690: 72 79 20 63 61 6c 6c 2e 20 20 42 75 74 20 66 6f  ry call.  But fo
36a0: 72 20 74 68 65 20 73 74 61 74 69 63 20 0a 2a 2a  r the static .**
36b0: 20 6d 75 74 65 78 20 74 79 70 65 73 2c 20 74 68   mutex types, th
36c0: 65 20 73 61 6d 65 20 6d 75 74 65 78 20 69 73 20  e same mutex is 
36d0: 72 65 74 75 72 6e 65 64 20 6f 6e 20 65 76 65 72  returned on ever
36e0: 79 20 63 61 6c 6c 20 74 68 61 74 20 68 61 73 0a  y call that has.
36f0: 2a 2a 20 74 68 65 20 73 61 6d 65 20 74 79 70 65  ** the same type
3700: 20 6e 75 6d 62 65 72 2e 0a 2a 2f 0a 73 71 6c 69   number..*/.sqli
3710: 74 65 33 5f 6d 75 74 65 78 20 2a 73 71 6c 69 74  te3_mutex *sqlit
3720: 65 33 5f 6d 75 74 65 78 5f 61 6c 6c 6f 63 28 69  e3_mutex_alloc(i
3730: 6e 74 20 69 54 79 70 65 29 7b 0a 20 20 73 71 6c  nt iType){.  sql
3740: 69 74 65 33 5f 6d 75 74 65 78 20 2a 70 3b 0a 0a  ite3_mutex *p;..
3750: 20 20 73 77 69 74 63 68 28 20 69 54 79 70 65 20    switch( iType 
3760: 29 7b 0a 20 20 20 20 63 61 73 65 20 53 51 4c 49  ){.    case SQLI
3770: 54 45 5f 4d 55 54 45 58 5f 46 41 53 54 3a 0a 20  TE_MUTEX_FAST:. 
3780: 20 20 20 63 61 73 65 20 53 51 4c 49 54 45 5f 4d     case SQLITE_M
3790: 55 54 45 58 5f 52 45 43 55 52 53 49 56 45 3a 20  UTEX_RECURSIVE: 
37a0: 7b 0a 20 20 20 20 20 20 70 20 3d 20 73 71 6c 69  {.      p = sqli
37b0: 74 65 33 4d 61 6c 6c 6f 63 5a 65 72 6f 28 20 73  te3MallocZero( s
37c0: 69 7a 65 6f 66 28 2a 70 29 20 29 3b 0a 20 20 20  izeof(*p) );.   
37d0: 20 20 20 69 66 28 20 70 20 29 7b 0a 20 20 20 20     if( p ){.    
37e0: 20 20 20 20 70 2d 3e 69 64 20 3d 20 69 54 79 70      p->id = iTyp
37f0: 65 3b 0a 20 20 20 20 20 20 20 20 49 6e 69 74 69  e;.        Initi
3800: 61 6c 69 7a 65 43 72 69 74 69 63 61 6c 53 65 63  alizeCriticalSec
3810: 74 69 6f 6e 28 26 70 2d 3e 6d 75 74 65 78 29 3b  tion(&p->mutex);
3820: 0a 20 20 20 20 20 20 7d 0a 20 20 20 20 20 20 62  .      }.      b
3830: 72 65 61 6b 3b 0a 20 20 20 20 7d 0a 20 20 20 20  reak;.    }.    
3840: 64 65 66 61 75 6c 74 3a 20 7b 0a 20 20 20 20 20  default: {.     
3850: 20 73 74 61 74 69 63 20 73 71 6c 69 74 65 33 5f   static sqlite3_
3860: 6d 75 74 65 78 20 73 74 61 74 69 63 4d 75 74 65  mutex staticMute
3870: 78 65 73 5b 34 5d 3b 0a 20 20 20 20 20 20 73 74  xes[4];.      st
3880: 61 74 69 63 20 69 6e 74 20 69 73 49 6e 69 74 20  atic int isInit 
3890: 3d 20 30 3b 0a 20 20 20 20 20 20 77 68 69 6c 65  = 0;.      while
38a0: 28 20 21 69 73 49 6e 69 74 20 29 7b 0a 20 20 20  ( !isInit ){.   
38b0: 20 20 20 20 20 73 74 61 74 69 63 20 6c 6f 6e 67       static long
38c0: 20 6c 6f 63 6b 20 3d 20 30 3b 0a 20 20 20 20 20   lock = 0;.     
38d0: 20 20 20 69 66 28 20 49 6e 74 65 72 6c 6f 63 6b     if( Interlock
38e0: 65 64 49 6e 63 72 65 6d 65 6e 74 28 26 6c 6f 63  edIncrement(&loc
38f0: 6b 29 3d 3d 31 20 29 7b 0a 20 20 20 20 20 20 20  k)==1 ){.       
3900: 20 20 20 69 6e 74 20 69 3b 0a 20 20 20 20 20 20     int i;.      
3910: 20 20 20 20 66 6f 72 28 69 3d 30 3b 20 69 3c 73      for(i=0; i<s
3920: 69 7a 65 6f 66 28 73 74 61 74 69 63 4d 75 74 65  izeof(staticMute
3930: 78 65 73 29 2f 73 69 7a 65 6f 66 28 73 74 61 74  xes)/sizeof(stat
3940: 69 63 4d 75 74 65 78 65 73 5b 30 5d 29 3b 20 69  icMutexes[0]); i
3950: 2b 2b 29 7b 0a 20 20 20 20 20 20 20 20 20 20 20  ++){.           
3960: 20 49 6e 69 74 69 61 6c 69 7a 65 43 72 69 74 69   InitializeCriti
3970: 63 61 6c 53 65 63 74 69 6f 6e 28 26 73 74 61 74  calSection(&stat
3980: 69 63 4d 75 74 65 78 65 73 5b 69 5d 2e 6d 75 74  icMutexes[i].mut
3990: 65 78 29 3b 0a 20 20 20 20 20 20 20 20 20 20 7d  ex);.          }
39a0: 0a 20 20 20 20 20 20 20 20 20 20 69 73 49 6e 69  .          isIni
39b0: 74 20 3d 20 31 3b 0a 20 20 20 20 20 20 20 20 7d  t = 1;.        }
39c0: 65 6c 73 65 7b 0a 20 20 20 20 20 20 20 20 20 20  else{.          
39d0: 53 6c 65 65 70 28 31 29 3b 0a 20 20 20 20 20 20  Sleep(1);.      
39e0: 20 20 7d 0a 20 20 20 20 20 20 7d 0a 20 20 20 20    }.      }.    
39f0: 20 20 61 73 73 65 72 74 28 20 69 54 79 70 65 2d    assert( iType-
3a00: 32 20 3e 3d 20 30 20 29 3b 0a 20 20 20 20 20 20  2 >= 0 );.      
3a10: 61 73 73 65 72 74 28 20 69 54 79 70 65 2d 32 20  assert( iType-2 
3a20: 3c 20 73 69 7a 65 6f 66 28 73 74 61 74 69 63 4d  < sizeof(staticM
3a30: 75 74 65 78 65 73 29 2f 73 69 7a 65 6f 66 28 73  utexes)/sizeof(s
3a40: 74 61 74 69 63 4d 75 74 65 78 65 73 5b 30 5d 29  taticMutexes[0])
3a50: 20 29 3b 0a 20 20 20 20 20 20 70 20 3d 20 26 73   );.      p = &s
3a60: 74 61 74 69 63 4d 75 74 65 78 65 73 5b 69 54 79  taticMutexes[iTy
3a70: 70 65 2d 32 5d 3b 0a 20 20 20 20 20 20 70 2d 3e  pe-2];.      p->
3a80: 69 64 20 3d 20 69 54 79 70 65 3b 0a 20 20 20 20  id = iType;.    
3a90: 20 20 62 72 65 61 6b 3b 0a 20 20 20 20 7d 0a 20    break;.    }. 
3aa0: 20 7d 0a 20 20 72 65 74 75 72 6e 20 70 3b 0a 7d   }.  return p;.}
3ab0: 0a 0a 0a 2f 2a 0a 2a 2a 20 54 68 69 73 20 72 6f  .../*.** This ro
3ac0: 75 74 69 6e 65 20 64 65 61 6c 6c 6f 63 61 74 65  utine deallocate
3ad0: 73 20 61 20 70 72 65 76 69 6f 75 73 6c 79 0a 2a  s a previously.*
3ae0: 2a 20 61 6c 6c 6f 63 61 74 65 64 20 6d 75 74 65  * allocated mute
3af0: 78 2e 20 20 53 51 4c 69 74 65 20 69 73 20 63 61  x.  SQLite is ca
3b00: 72 65 66 75 6c 20 74 6f 20 64 65 61 6c 6c 6f 63  reful to dealloc
3b10: 61 74 65 20 65 76 65 72 79 0a 2a 2a 20 6d 75 74  ate every.** mut
3b20: 65 78 20 74 68 61 74 20 69 74 20 61 6c 6c 6f 63  ex that it alloc
3b30: 61 74 65 73 2e 0a 2a 2f 0a 76 6f 69 64 20 73 71  ates..*/.void sq
3b40: 6c 69 74 65 33 5f 6d 75 74 65 78 5f 66 72 65 65  lite3_mutex_free
3b50: 28 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a  (sqlite3_mutex *
3b60: 70 29 7b 0a 20 20 61 73 73 65 72 74 28 20 70 20  p){.  assert( p 
3b70: 29 3b 0a 20 20 61 73 73 65 72 74 28 20 70 2d 3e  );.  assert( p->
3b80: 6e 52 65 66 3d 3d 30 20 29 3b 0a 20 20 61 73 73  nRef==0 );.  ass
3b90: 65 72 74 28 20 70 2d 3e 69 64 3d 3d 53 51 4c 49  ert( p->id==SQLI
3ba0: 54 45 5f 4d 55 54 45 58 5f 46 41 53 54 20 7c 7c  TE_MUTEX_FAST ||
3bb0: 20 70 2d 3e 69 64 3d 3d 53 51 4c 49 54 45 5f 4d   p->id==SQLITE_M
3bc0: 55 54 45 58 5f 52 45 43 55 52 53 49 56 45 20 29  UTEX_RECURSIVE )
3bd0: 3b 0a 20 20 44 65 6c 65 74 65 43 72 69 74 69 63  ;.  DeleteCritic
3be0: 61 6c 53 65 63 74 69 6f 6e 28 26 70 2d 3e 6d 75  alSection(&p->mu
3bf0: 74 65 78 29 3b 0a 20 20 73 71 6c 69 74 65 33 5f  tex);.  sqlite3_
3c00: 66 72 65 65 28 70 29 3b 0a 7d 0a 0a 2f 2a 0a 2a  free(p);.}../*.*
3c10: 2a 20 54 68 65 20 73 71 6c 69 74 65 33 5f 6d 75  * The sqlite3_mu
3c20: 74 65 78 5f 65 6e 74 65 72 28 29 20 61 6e 64 20  tex_enter() and 
3c30: 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 74 72  sqlite3_mutex_tr
3c40: 79 28 29 20 72 6f 75 74 69 6e 65 73 20 61 74 74  y() routines att
3c50: 65 6d 70 74 0a 2a 2a 20 74 6f 20 65 6e 74 65 72  empt.** to enter
3c60: 20 61 20 6d 75 74 65 78 2e 20 20 49 66 20 61 6e   a mutex.  If an
3c70: 6f 74 68 65 72 20 74 68 72 65 61 64 20 69 73 20  other thread is 
3c80: 61 6c 72 65 61 64 79 20 77 69 74 68 69 6e 20 74  already within t
3c90: 68 65 20 6d 75 74 65 78 2c 0a 2a 2a 20 73 71 6c  he mutex,.** sql
3ca0: 69 74 65 33 5f 6d 75 74 65 78 5f 65 6e 74 65 72  ite3_mutex_enter
3cb0: 28 29 20 77 69 6c 6c 20 62 6c 6f 63 6b 20 61 6e  () will block an
3cc0: 64 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f  d sqlite3_mutex_
3cd0: 74 72 79 28 29 20 77 69 6c 6c 20 72 65 74 75 72  try() will retur
3ce0: 6e 0a 2a 2a 20 53 51 4c 49 54 45 5f 42 55 53 59  n.** SQLITE_BUSY
3cf0: 2e 20 20 54 68 65 20 73 71 6c 69 74 65 33 5f 6d  .  The sqlite3_m
3d00: 75 74 65 78 5f 74 72 79 28 29 20 69 6e 74 65 72  utex_try() inter
3d10: 66 61 63 65 20 72 65 74 75 72 6e 73 20 53 51 4c  face returns SQL
3d20: 49 54 45 5f 4f 4b 0a 2a 2a 20 75 70 6f 6e 20 73  ITE_OK.** upon s
3d30: 75 63 63 65 73 73 66 75 6c 20 65 6e 74 72 79 2e  uccessful entry.
3d40: 20 20 4d 75 74 65 78 65 73 20 63 72 65 61 74 65    Mutexes create
3d50: 64 20 75 73 69 6e 67 20 53 51 4c 49 54 45 5f 4d  d using SQLITE_M
3d60: 55 54 45 58 5f 52 45 43 55 52 53 49 56 45 20 63  UTEX_RECURSIVE c
3d70: 61 6e 0a 2a 2a 20 62 65 20 65 6e 74 65 72 65 64  an.** be entered
3d80: 20 6d 75 6c 74 69 70 6c 65 20 74 69 6d 65 73 20   multiple times 
3d90: 62 79 20 74 68 65 20 73 61 6d 65 20 74 68 72 65  by the same thre
3da0: 61 64 2e 20 20 49 6e 20 73 75 63 68 20 63 61 73  ad.  In such cas
3db0: 65 73 20 74 68 65 2c 0a 2a 2a 20 6d 75 74 65 78  es the,.** mutex
3dc0: 20 6d 75 73 74 20 62 65 20 65 78 69 74 65 64 20   must be exited 
3dd0: 61 6e 20 65 71 75 61 6c 20 6e 75 6d 62 65 72 20  an equal number 
3de0: 6f 66 20 74 69 6d 65 73 20 62 65 66 6f 72 65 20  of times before 
3df0: 61 6e 6f 74 68 65 72 20 74 68 72 65 61 64 0a 2a  another thread.*
3e00: 2a 20 63 61 6e 20 65 6e 74 65 72 2e 20 20 49 66  * can enter.  If
3e10: 20 74 68 65 20 73 61 6d 65 20 74 68 72 65 61 64   the same thread
3e20: 20 74 72 69 65 73 20 74 6f 20 65 6e 74 65 72 20   tries to enter 
3e30: 61 6e 79 20 6f 74 68 65 72 20 6b 69 6e 64 20 6f  any other kind o
3e40: 66 20 6d 75 74 65 78 0a 2a 2a 20 6d 6f 72 65 20  f mutex.** more 
3e50: 74 68 61 6e 20 6f 6e 63 65 2c 20 74 68 65 20 62  than once, the b
3e60: 65 68 61 76 69 6f 72 20 69 73 20 75 6e 64 65 66  ehavior is undef
3e70: 69 6e 65 64 2e 0a 2a 2f 0a 76 6f 69 64 20 73 71  ined..*/.void sq
3e80: 6c 69 74 65 33 5f 6d 75 74 65 78 5f 65 6e 74 65  lite3_mutex_ente
3e90: 72 28 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20  r(sqlite3_mutex 
3ea0: 2a 70 29 7b 0a 20 20 45 6e 74 65 72 43 72 69 74  *p){.  EnterCrit
3eb0: 69 63 61 6c 53 65 63 74 69 6f 6e 28 26 70 2d 3e  icalSection(&p->
3ec0: 6d 75 74 65 78 29 3b 0a 20 20 70 2d 3e 6f 77 6e  mutex);.  p->own
3ed0: 65 72 20 3d 20 47 65 74 43 75 72 72 65 6e 74 54  er = GetCurrentT
3ee0: 68 72 65 61 64 49 64 28 29 3b 20 0a 20 20 70 2d  hreadId(); .  p-
3ef0: 3e 6e 52 65 66 2b 2b 3b 0a 7d 0a 69 6e 74 20 73  >nRef++;.}.int s
3f00: 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 74 72 79  qlite3_mutex_try
3f10: 28 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a  (sqlite3_mutex *
3f20: 70 29 7b 0a 20 20 69 6e 74 20 72 63 3b 0a 20 20  p){.  int rc;.  
3f30: 69 66 28 20 54 72 79 45 6e 74 65 72 43 72 69 74  if( TryEnterCrit
3f40: 69 63 61 6c 53 65 63 74 69 6f 6e 28 26 70 2d 3e  icalSection(&p->
3f50: 6d 75 74 65 78 29 20 29 7b 0a 20 20 20 20 70 2d  mutex) ){.    p-
3f60: 3e 6f 77 6e 65 72 20 3d 20 47 65 74 43 75 72 72  >owner = GetCurr
3f70: 65 6e 74 54 68 72 65 61 64 49 64 28 29 3b 0a 20  entThreadId();. 
3f80: 20 20 20 70 2d 3e 6e 52 65 66 2b 2b 3b 0a 20 20     p->nRef++;.  
3f90: 20 20 72 63 20 3d 20 53 51 4c 49 54 45 5f 4f 4b    rc = SQLITE_OK
3fa0: 3b 0a 20 20 7d 65 6c 73 65 7b 0a 20 20 20 20 72  ;.  }else{.    r
3fb0: 63 20 3d 20 53 51 4c 49 54 45 5f 42 55 53 59 3b  c = SQLITE_BUSY;
3fc0: 0a 20 20 7d 0a 20 20 72 65 74 75 72 6e 20 72 63  .  }.  return rc
3fd0: 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 54 68 65 20 73  ;.}../*.** The s
3fe0: 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 6c 65 61  qlite3_mutex_lea
3ff0: 76 65 28 29 20 72 6f 75 74 69 6e 65 20 65 78 69  ve() routine exi
4000: 74 73 20 61 20 6d 75 74 65 78 20 74 68 61 74 20  ts a mutex that 
4010: 77 61 73 0a 2a 2a 20 70 72 65 76 69 6f 75 73 6c  was.** previousl
4020: 79 20 65 6e 74 65 72 65 64 20 62 79 20 74 68 65  y entered by the
4030: 20 73 61 6d 65 20 74 68 72 65 61 64 2e 20 20 54   same thread.  T
4040: 68 65 20 62 65 68 61 76 69 6f 72 0a 2a 2a 20 69  he behavior.** i
4050: 73 20 75 6e 64 65 66 69 6e 65 64 20 69 66 20 74  s undefined if t
4060: 68 65 20 6d 75 74 65 78 20 69 73 20 6e 6f 74 20  he mutex is not 
4070: 63 75 72 72 65 6e 74 6c 79 20 65 6e 74 65 72 65  currently entere
4080: 64 20 6f 72 0a 2a 2a 20 69 73 20 6e 6f 74 20 63  d or.** is not c
4090: 75 72 72 65 6e 74 6c 79 20 61 6c 6c 6f 63 61 74  urrently allocat
40a0: 65 64 2e 20 20 53 51 4c 69 74 65 20 77 69 6c 6c  ed.  SQLite will
40b0: 20 6e 65 76 65 72 20 64 6f 20 65 69 74 68 65 72   never do either
40c0: 2e 0a 2a 2f 0a 76 6f 69 64 20 73 71 6c 69 74 65  ..*/.void sqlite
40d0: 33 5f 6d 75 74 65 78 5f 6c 65 61 76 65 28 73 71  3_mutex_leave(sq
40e0: 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a 70 29 7b  lite3_mutex *p){
40f0: 0a 20 20 61 73 73 65 72 74 28 20 70 2d 3e 6e 52  .  assert( p->nR
4100: 65 66 3e 30 20 29 3b 0a 20 20 61 73 73 65 72 74  ef>0 );.  assert
4110: 28 20 70 2d 3e 6f 77 6e 65 72 3d 3d 47 65 74 43  ( p->owner==GetC
4120: 75 72 72 65 6e 74 54 68 72 65 61 64 49 64 28 29  urrentThreadId()
4130: 20 29 3b 0a 20 20 70 2d 3e 6e 52 65 66 2d 2d 3b   );.  p->nRef--;
4140: 0a 20 20 4c 65 61 76 65 43 72 69 74 69 63 61 6c  .  LeaveCritical
4150: 53 65 63 74 69 6f 6e 28 26 70 2d 3e 6d 75 74 65  Section(&p->mute
4160: 78 29 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 54 68 65  x);.}../*.** The
4170: 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 68   sqlite3_mutex_h
4180: 65 6c 64 28 29 20 61 6e 64 20 73 71 6c 69 74 65  eld() and sqlite
4190: 33 5f 6d 75 74 65 78 5f 6e 6f 74 68 65 6c 64 28  3_mutex_notheld(
41a0: 29 20 72 6f 75 74 69 6e 65 20 61 72 65 0a 2a 2a  ) routine are.**
41b0: 20 69 6e 74 65 6e 64 65 64 20 66 6f 72 20 75 73   intended for us
41c0: 65 20 69 6e 73 69 64 65 20 61 73 73 65 72 74 28  e inside assert(
41d0: 29 20 73 74 61 74 65 6d 65 6e 74 73 2e 0a 2a 2f  ) statements..*/
41e0: 0a 69 6e 74 20 73 71 6c 69 74 65 33 5f 6d 75 74  .int sqlite3_mut
41f0: 65 78 5f 68 65 6c 64 28 73 71 6c 69 74 65 33 5f  ex_held(sqlite3_
4200: 6d 75 74 65 78 20 2a 70 29 7b 0a 20 20 72 65 74  mutex *p){.  ret
4210: 75 72 6e 20 70 3d 3d 30 20 7c 7c 20 28 70 2d 3e  urn p==0 || (p->
4220: 6e 52 65 66 21 3d 30 20 26 26 20 70 2d 3e 6f 77  nRef!=0 && p->ow
4230: 6e 65 72 3d 3d 47 65 74 43 75 72 72 65 6e 74 54  ner==GetCurrentT
4240: 68 72 65 61 64 49 64 28 29 29 3b 0a 7d 0a 69 6e  hreadId());.}.in
4250: 74 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f  t sqlite3_mutex_
4260: 6e 6f 74 68 65 6c 64 28 73 71 6c 69 74 65 33 5f  notheld(sqlite3_
4270: 6d 75 74 65 78 20 2a 70 29 7b 0a 20 20 72 65 74  mutex *p){.  ret
4280: 75 72 6e 20 70 3d 3d 30 20 7c 7c 20 70 2d 3e 6e  urn p==0 || p->n
4290: 52 65 66 3d 3d 30 20 7c 7c 20 70 2d 3e 6f 77 6e  Ref==0 || p->own
42a0: 65 72 21 3d 47 65 74 43 75 72 72 65 6e 74 54 68  er!=GetCurrentTh
42b0: 72 65 61 64 49 64 28 29 3b 0a 7d 0a 23 65 6e 64  readId();.}.#end
42c0: 69 66 20 2f 2a 20 53 51 4c 49 54 45 5f 4d 55 54  if /* SQLITE_MUT
42d0: 45 58 5f 57 49 4e 20 2a 2f 0a 0a 23 65 6e 64 69  EX_WIN */..#endi
42e0: 66 20 2f 2a 20 21 64 65 66 69 6e 65 64 28 53 51  f /* !defined(SQ
42f0: 4c 49 54 45 5f 4d 55 54 45 58 5f 41 50 50 44 45  LITE_MUTEX_APPDE
4300: 46 29 20 2a 2f 0a                                F) */.