/ Hex Artifact Content
Login

Artifact 38addb10f90641b5f88521f7099e729ef10e3f0ac50bd6b9196183fb313a0378:


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: 2e 0a 2a 2a 0a 2a 2a 20 54 68 69 73 20 66 69 6c  ..**.** This fil
01c0: 65 20 63 6f 6e 74 61 69 6e 73 20 63 6f 64 65 20  e contains code 
01d0: 74 68 61 74 20 69 73 20 63 6f 6d 6d 6f 6e 20 61  that is common a
01e0: 63 72 6f 73 73 20 61 6c 6c 20 6d 75 74 65 78 20  cross all mutex 
01f0: 69 6d 70 6c 65 6d 65 6e 74 61 74 69 6f 6e 73 2e  implementations.
0200: 0a 2a 2f 0a 23 69 6e 63 6c 75 64 65 20 22 73 71  .*/.#include "sq
0210: 6c 69 74 65 49 6e 74 2e 68 22 0a 0a 23 69 66 20  liteInt.h"..#if 
0220: 64 65 66 69 6e 65 64 28 53 51 4c 49 54 45 5f 44  defined(SQLITE_D
0230: 45 42 55 47 29 20 26 26 20 21 64 65 66 69 6e 65  EBUG) && !define
0240: 64 28 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 4f  d(SQLITE_MUTEX_O
0250: 4d 49 54 29 0a 2f 2a 0a 2a 2a 20 46 6f 72 20 64  MIT)./*.** For d
0260: 65 62 75 67 67 69 6e 67 20 70 75 72 70 6f 73 65  ebugging purpose
0270: 73 2c 20 72 65 63 6f 72 64 20 77 68 65 6e 20 74  s, record when t
0280: 68 65 20 6d 75 74 65 78 20 73 75 62 73 79 73 74  he mutex subsyst
0290: 65 6d 20 69 73 20 69 6e 69 74 69 61 6c 69 7a 65  em is initialize
02a0: 64 0a 2a 2a 20 61 6e 64 20 75 6e 69 6e 69 74 69  d.** and uniniti
02b0: 61 6c 69 7a 65 64 20 73 6f 20 74 68 61 74 20 77  alized so that w
02c0: 65 20 63 61 6e 20 61 73 73 65 72 74 28 29 20 69  e can assert() i
02d0: 66 20 74 68 65 72 65 20 69 73 20 61 6e 20 61 74  f there is an at
02e0: 74 65 6d 70 74 20 74 6f 0a 2a 2a 20 61 6c 6c 6f  tempt to.** allo
02f0: 63 61 74 65 20 61 20 6d 75 74 65 78 20 77 68 69  cate a mutex whi
0300: 6c 65 20 74 68 65 20 73 79 73 74 65 6d 20 69 73  le the system is
0310: 20 75 6e 69 6e 69 74 69 61 6c 69 7a 65 64 2e 0a   uninitialized..
0320: 2a 2f 0a 73 74 61 74 69 63 20 53 51 4c 49 54 45  */.static SQLITE
0330: 5f 57 53 44 20 69 6e 74 20 6d 75 74 65 78 49 73  _WSD int mutexIs
0340: 49 6e 69 74 20 3d 20 30 3b 0a 23 65 6e 64 69 66  Init = 0;.#endif
0350: 20 2f 2a 20 53 51 4c 49 54 45 5f 44 45 42 55 47   /* SQLITE_DEBUG
0360: 20 26 26 20 21 64 65 66 69 6e 65 64 28 53 51 4c   && !defined(SQL
0370: 49 54 45 5f 4d 55 54 45 58 5f 4f 4d 49 54 29 20  ITE_MUTEX_OMIT) 
0380: 2a 2f 0a 0a 0a 23 69 66 6e 64 65 66 20 53 51 4c  */...#ifndef SQL
0390: 49 54 45 5f 4d 55 54 45 58 5f 4f 4d 49 54 0a 0a  ITE_MUTEX_OMIT..
03a0: 23 69 66 64 65 66 20 53 51 4c 49 54 45 5f 45 4e  #ifdef SQLITE_EN
03b0: 41 42 4c 45 5f 4d 55 4c 54 49 54 48 52 45 41 44  ABLE_MULTITHREAD
03c0: 45 44 5f 43 48 45 43 4b 53 0a 2f 2a 0a 2a 2a 20  ED_CHECKS./*.** 
03d0: 54 68 69 73 20 62 6c 6f 63 6b 20 28 65 6e 63 6c  This block (encl
03e0: 6f 73 65 64 20 62 79 20 53 51 4c 49 54 45 5f 45  osed by SQLITE_E
03f0: 4e 41 42 4c 45 5f 4d 55 4c 54 49 54 48 52 45 41  NABLE_MULTITHREA
0400: 44 45 44 5f 43 48 45 43 4b 53 29 20 63 6f 6e 74  DED_CHECKS) cont
0410: 61 69 6e 73 0a 2a 2a 20 74 68 65 20 69 6d 70 6c  ains.** the impl
0420: 65 6d 65 6e 74 61 74 69 6f 6e 20 6f 66 20 61 20  ementation of a 
0430: 77 72 61 70 70 65 72 20 61 72 6f 75 6e 64 20 74  wrapper around t
0440: 68 65 20 73 79 73 74 65 6d 20 64 65 66 61 75 6c  he system defaul
0450: 74 20 6d 75 74 65 78 0a 2a 2a 20 69 6d 70 6c 65  t mutex.** imple
0460: 6d 65 6e 74 61 74 69 6f 6e 20 28 73 71 6c 69 74  mentation (sqlit
0470: 65 33 44 65 66 61 75 6c 74 4d 75 74 65 78 28 29  e3DefaultMutex()
0480: 29 2e 20 0a 2a 2a 0a 2a 2a 20 4d 6f 73 74 20 63  ). .**.** Most c
0490: 61 6c 6c 73 20 61 72 65 20 70 61 73 73 65 64 20  alls are passed 
04a0: 64 69 72 65 63 74 6c 79 20 74 68 72 6f 75 67 68  directly through
04b0: 20 74 6f 20 74 68 65 20 75 6e 64 65 72 6c 79 69   to the underlyi
04c0: 6e 67 20 64 65 66 61 75 6c 74 0a 2a 2a 20 6d 75  ng default.** mu
04d0: 74 65 78 20 69 6d 70 6c 65 6d 65 6e 74 61 74 69  tex implementati
04e0: 6f 6e 2e 20 45 78 63 65 70 74 2c 20 69 66 20 61  on. Except, if a
04f0: 20 6d 75 74 65 78 20 69 73 20 63 6f 6e 66 69 67   mutex is config
0500: 75 72 65 64 20 62 79 20 63 61 6c 6c 69 6e 67 0a  ured by calling.
0510: 2a 2a 20 73 71 6c 69 74 65 33 4d 75 74 65 78 57  ** sqlite3MutexW
0520: 61 72 6e 4f 6e 43 6f 6e 74 65 6e 74 69 6f 6e 28  arnOnContention(
0530: 29 20 6f 6e 20 69 74 2c 20 74 68 65 6e 20 69 66  ) on it, then if
0540: 20 63 6f 6e 74 65 6e 74 69 6f 6e 20 69 73 20 65   contention is e
0550: 76 65 72 0a 2a 2a 20 65 6e 63 6f 75 6e 74 65 72  ver.** encounter
0560: 65 64 20 77 69 74 68 69 6e 20 78 4d 75 74 65 78  ed within xMutex
0570: 45 6e 74 65 72 28 29 20 61 20 77 61 72 6e 69 6e  Enter() a warnin
0580: 67 20 69 73 20 65 6d 69 74 74 65 64 20 76 69 61  g is emitted via
0590: 20 73 71 6c 69 74 65 33 5f 6c 6f 67 28 29 2e 0a   sqlite3_log()..
05a0: 2a 2a 0a 2a 2a 20 54 68 69 73 20 74 79 70 65 20  **.** This type 
05b0: 6f 66 20 6d 75 74 65 78 20 69 73 20 75 73 65 64  of mutex is used
05c0: 20 61 73 20 74 68 65 20 64 61 74 61 62 61 73 65   as the database
05d0: 20 68 61 6e 64 6c 65 20 6d 75 74 65 78 20 77 68   handle mutex wh
05e0: 65 6e 20 74 65 73 74 69 6e 67 0a 2a 2a 20 61 70  en testing.** ap
05f0: 70 73 20 74 68 61 74 20 75 73 75 61 6c 6c 79 20  ps that usually 
0600: 75 73 65 20 53 51 4c 49 54 45 5f 43 4f 4e 46 49  use SQLITE_CONFI
0610: 47 5f 4d 55 4c 54 49 54 48 52 45 41 44 20 6d 6f  G_MULTITHREAD mo
0620: 64 65 2e 0a 2a 2f 0a 0a 2f 2a 20 0a 2a 2a 20 54  de..*/../* .** T
0630: 79 70 65 20 66 6f 72 20 61 6c 6c 20 6d 75 74 65  ype for all mute
0640: 78 65 73 20 75 73 65 64 20 77 68 65 6e 20 53 51  xes used when SQ
0650: 4c 49 54 45 5f 45 4e 41 42 4c 45 5f 4d 55 4c 54  LITE_ENABLE_MULT
0660: 49 54 48 52 45 41 44 45 44 5f 43 48 45 43 4b 53  ITHREADED_CHECKS
0670: 0a 2a 2a 20 69 73 20 64 65 66 69 6e 65 64 2e 0a  .** is defined..
0680: 2a 2f 0a 74 79 70 65 64 65 66 20 73 74 72 75 63  */.typedef struc
0690: 74 20 43 68 65 63 6b 4d 75 74 65 78 20 43 68 65  t CheckMutex Che
06a0: 63 6b 4d 75 74 65 78 3b 0a 73 74 72 75 63 74 20  ckMutex;.struct 
06b0: 43 68 65 63 6b 4d 75 74 65 78 20 7b 0a 20 20 69  CheckMutex {.  i
06c0: 6e 74 20 69 54 79 70 65 3b 0a 20 20 73 71 6c 69  nt iType;.  sqli
06d0: 74 65 33 5f 6d 75 74 65 78 20 2a 6d 75 74 65 78  te3_mutex *mutex
06e0: 3b 0a 7d 3b 0a 0a 2f 2a 20 0a 2a 2a 20 50 6f 69  ;.};../* .** Poi
06f0: 6e 74 65 72 20 74 6f 20 72 65 61 6c 20 6d 75 74  nter to real mut
0700: 65 78 20 6d 65 74 68 6f 64 73 20 6f 62 6a 65 63  ex methods objec
0710: 74 20 75 73 65 64 20 62 79 20 74 68 65 20 43 68  t used by the Ch
0720: 65 63 6b 4d 75 74 65 78 0a 2a 2a 20 69 6d 70 6c  eckMutex.** impl
0730: 65 6d 65 6e 74 61 74 69 6f 6e 2e 20 53 65 74 20  ementation. Set 
0740: 62 79 20 63 68 65 63 6b 4d 75 74 65 78 49 6e 69  by checkMutexIni
0750: 74 28 29 2e 20 0a 2a 2f 0a 73 74 61 74 69 63 20  t(). .*/.static 
0760: 53 51 4c 49 54 45 5f 57 53 44 20 63 6f 6e 73 74  SQLITE_WSD const
0770: 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 6d   sqlite3_mutex_m
0780: 65 74 68 6f 64 73 20 2a 70 47 6c 6f 62 61 6c 4d  ethods *pGlobalM
0790: 75 74 65 78 4d 65 74 68 6f 64 73 3b 0a 0a 23 69  utexMethods;..#i
07a0: 66 64 65 66 20 53 51 4c 49 54 45 5f 44 45 42 55  fdef SQLITE_DEBU
07b0: 47 0a 73 74 61 74 69 63 20 69 6e 74 20 63 68 65  G.static int che
07c0: 63 6b 4d 75 74 65 78 48 65 6c 64 28 73 71 6c 69  ckMutexHeld(sqli
07d0: 74 65 33 5f 6d 75 74 65 78 20 2a 70 29 7b 0a 20  te3_mutex *p){. 
07e0: 20 72 65 74 75 72 6e 20 70 47 6c 6f 62 61 6c 4d   return pGlobalM
07f0: 75 74 65 78 4d 65 74 68 6f 64 73 2d 3e 78 4d 75  utexMethods->xMu
0800: 74 65 78 48 65 6c 64 28 28 28 43 68 65 63 6b 4d  texHeld(((CheckM
0810: 75 74 65 78 2a 29 70 29 2d 3e 6d 75 74 65 78 29  utex*)p)->mutex)
0820: 3b 0a 7d 0a 73 74 61 74 69 63 20 69 6e 74 20 63  ;.}.static int c
0830: 68 65 63 6b 4d 75 74 65 78 4e 6f 74 68 65 6c 64  heckMutexNotheld
0840: 28 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a  (sqlite3_mutex *
0850: 70 29 7b 0a 20 20 72 65 74 75 72 6e 20 70 47 6c  p){.  return pGl
0860: 6f 62 61 6c 4d 75 74 65 78 4d 65 74 68 6f 64 73  obalMutexMethods
0870: 2d 3e 78 4d 75 74 65 78 4e 6f 74 68 65 6c 64 28  ->xMutexNotheld(
0880: 28 28 43 68 65 63 6b 4d 75 74 65 78 2a 29 70 29  ((CheckMutex*)p)
0890: 2d 3e 6d 75 74 65 78 29 3b 0a 7d 0a 23 65 6e 64  ->mutex);.}.#end
08a0: 69 66 0a 0a 2f 2a 0a 2a 2a 20 49 6e 69 74 69 61  if../*.** Initia
08b0: 6c 69 7a 65 20 61 6e 64 20 64 65 69 6e 69 74 69  lize and deiniti
08c0: 61 6c 69 7a 65 20 74 68 65 20 6d 75 74 65 78 20  alize the mutex 
08d0: 73 75 62 73 79 73 74 65 6d 2e 0a 2a 2f 0a 73 74  subsystem..*/.st
08e0: 61 74 69 63 20 69 6e 74 20 63 68 65 63 6b 4d 75  atic int checkMu
08f0: 74 65 78 49 6e 69 74 28 76 6f 69 64 29 7b 20 0a  texInit(void){ .
0900: 20 20 70 47 6c 6f 62 61 6c 4d 75 74 65 78 4d 65    pGlobalMutexMe
0910: 74 68 6f 64 73 20 3d 20 73 71 6c 69 74 65 33 44  thods = sqlite3D
0920: 65 66 61 75 6c 74 4d 75 74 65 78 28 29 3b 0a 20  efaultMutex();. 
0930: 20 72 65 74 75 72 6e 20 53 51 4c 49 54 45 5f 4f   return SQLITE_O
0940: 4b 3b 20 0a 7d 0a 73 74 61 74 69 63 20 69 6e 74  K; .}.static int
0950: 20 63 68 65 63 6b 4d 75 74 65 78 45 6e 64 28 76   checkMutexEnd(v
0960: 6f 69 64 29 7b 20 0a 20 20 70 47 6c 6f 62 61 6c  oid){ .  pGlobal
0970: 4d 75 74 65 78 4d 65 74 68 6f 64 73 20 3d 20 30  MutexMethods = 0
0980: 3b 0a 20 20 72 65 74 75 72 6e 20 53 51 4c 49 54  ;.  return SQLIT
0990: 45 5f 4f 4b 3b 20 0a 7d 0a 0a 2f 2a 0a 2a 2a 20  E_OK; .}../*.** 
09a0: 41 6c 6c 6f 63 61 74 65 20 61 20 6d 75 74 65 78  Allocate a mutex
09b0: 2e 0a 2a 2f 0a 73 74 61 74 69 63 20 73 71 6c 69  ..*/.static sqli
09c0: 74 65 33 5f 6d 75 74 65 78 20 2a 63 68 65 63 6b  te3_mutex *check
09d0: 4d 75 74 65 78 41 6c 6c 6f 63 28 69 6e 74 20 69  MutexAlloc(int i
09e0: 54 79 70 65 29 7b 0a 20 20 73 74 61 74 69 63 20  Type){.  static 
09f0: 43 68 65 63 6b 4d 75 74 65 78 20 73 74 61 74 69  CheckMutex stati
0a00: 63 4d 75 74 65 78 65 73 5b 5d 20 3d 20 7b 0a 20  cMutexes[] = {. 
0a10: 20 20 20 7b 32 2c 20 30 7d 2c 20 7b 33 2c 20 30     {2, 0}, {3, 0
0a20: 7d 2c 20 7b 34 2c 20 30 7d 2c 20 7b 35 2c 20 30  }, {4, 0}, {5, 0
0a30: 7d 2c 0a 20 20 20 20 7b 36 2c 20 30 7d 2c 20 7b  },.    {6, 0}, {
0a40: 37 2c 20 30 7d 2c 20 7b 38 2c 20 30 7d 2c 20 7b  7, 0}, {8, 0}, {
0a50: 39 2c 20 30 7d 2c 0a 20 20 20 20 7b 31 30 2c 20  9, 0},.    {10, 
0a60: 30 7d 2c 20 7b 31 31 2c 20 30 7d 2c 20 7b 31 32  0}, {11, 0}, {12
0a70: 2c 20 30 7d 2c 20 7b 31 33 2c 20 30 7d 0a 20 20  , 0}, {13, 0}.  
0a80: 7d 3b 0a 20 20 43 68 65 63 6b 4d 75 74 65 78 20  };.  CheckMutex 
0a90: 2a 70 20 3d 20 30 3b 0a 0a 20 20 61 73 73 65 72  *p = 0;..  asser
0aa0: 74 28 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f  t( SQLITE_MUTEX_
0ab0: 52 45 43 55 52 53 49 56 45 3d 3d 31 20 26 26 20  RECURSIVE==1 && 
0ac0: 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 46 41 53  SQLITE_MUTEX_FAS
0ad0: 54 3d 3d 30 20 29 3b 0a 20 20 69 66 28 20 69 54  T==0 );.  if( iT
0ae0: 79 70 65 3c 32 20 29 7b 0a 20 20 20 20 70 20 3d  ype<2 ){.    p =
0af0: 20 73 71 6c 69 74 65 33 4d 61 6c 6c 6f 63 5a 65   sqlite3MallocZe
0b00: 72 6f 28 73 69 7a 65 6f 66 28 43 68 65 63 6b 4d  ro(sizeof(CheckM
0b10: 75 74 65 78 29 29 3b 0a 20 20 20 20 69 66 28 20  utex));.    if( 
0b20: 70 3d 3d 30 20 29 20 72 65 74 75 72 6e 20 30 3b  p==0 ) return 0;
0b30: 0a 20 20 20 20 70 2d 3e 69 54 79 70 65 20 3d 20  .    p->iType = 
0b40: 69 54 79 70 65 3b 0a 20 20 7d 65 6c 73 65 7b 0a  iType;.  }else{.
0b50: 23 69 66 64 65 66 20 53 51 4c 49 54 45 5f 45 4e  #ifdef SQLITE_EN
0b60: 41 42 4c 45 5f 41 50 49 5f 41 52 4d 4f 52 0a 20  ABLE_API_ARMOR. 
0b70: 20 20 20 69 66 28 20 69 54 79 70 65 2d 32 3e 3d     if( iType-2>=
0b80: 41 72 72 61 79 53 69 7a 65 28 73 74 61 74 69 63  ArraySize(static
0b90: 4d 75 74 65 78 65 73 29 20 29 7b 0a 20 20 20 20  Mutexes) ){.    
0ba0: 20 20 28 76 6f 69 64 29 53 51 4c 49 54 45 5f 4d    (void)SQLITE_M
0bb0: 49 53 55 53 45 5f 42 4b 50 54 3b 0a 20 20 20 20  ISUSE_BKPT;.    
0bc0: 20 20 72 65 74 75 72 6e 20 30 3b 0a 20 20 20 20    return 0;.    
0bd0: 7d 0a 23 65 6e 64 69 66 0a 20 20 20 20 70 20 3d  }.#endif.    p =
0be0: 20 26 73 74 61 74 69 63 4d 75 74 65 78 65 73 5b   &staticMutexes[
0bf0: 69 54 79 70 65 2d 32 5d 3b 0a 20 20 7d 0a 0a 20  iType-2];.  }.. 
0c00: 20 69 66 28 20 70 2d 3e 6d 75 74 65 78 3d 3d 30   if( p->mutex==0
0c10: 20 29 7b 0a 20 20 20 20 70 2d 3e 6d 75 74 65 78   ){.    p->mutex
0c20: 20 3d 20 70 47 6c 6f 62 61 6c 4d 75 74 65 78 4d   = pGlobalMutexM
0c30: 65 74 68 6f 64 73 2d 3e 78 4d 75 74 65 78 41 6c  ethods->xMutexAl
0c40: 6c 6f 63 28 69 54 79 70 65 29 3b 0a 20 20 20 20  loc(iType);.    
0c50: 69 66 28 20 70 2d 3e 6d 75 74 65 78 3d 3d 30 20  if( p->mutex==0 
0c60: 29 7b 0a 20 20 20 20 20 20 69 66 28 20 69 54 79  ){.      if( iTy
0c70: 70 65 3c 32 20 29 7b 0a 20 20 20 20 20 20 20 20  pe<2 ){.        
0c80: 73 71 6c 69 74 65 33 5f 66 72 65 65 28 70 29 3b  sqlite3_free(p);
0c90: 0a 20 20 20 20 20 20 7d 0a 20 20 20 20 20 20 70  .      }.      p
0ca0: 20 3d 20 30 3b 0a 20 20 20 20 7d 0a 20 20 7d 0a   = 0;.    }.  }.
0cb0: 0a 20 20 72 65 74 75 72 6e 20 28 73 71 6c 69 74  .  return (sqlit
0cc0: 65 33 5f 6d 75 74 65 78 2a 29 70 3b 0a 7d 0a 0a  e3_mutex*)p;.}..
0cd0: 2f 2a 0a 2a 2a 20 46 72 65 65 20 61 20 6d 75 74  /*.** Free a mut
0ce0: 65 78 2e 0a 2a 2f 0a 73 74 61 74 69 63 20 76 6f  ex..*/.static vo
0cf0: 69 64 20 63 68 65 63 6b 4d 75 74 65 78 46 72 65  id checkMutexFre
0d00: 65 28 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20  e(sqlite3_mutex 
0d10: 2a 70 29 7b 0a 23 69 66 20 53 51 4c 49 54 45 5f  *p){.#if SQLITE_
0d20: 45 4e 41 42 4c 45 5f 41 50 49 5f 41 52 4d 4f 52  ENABLE_API_ARMOR
0d30: 0a 20 20 69 66 28 20 70 2d 3e 69 54 79 70 65 3c  .  if( p->iType<
0d40: 32 20 29 7b 0a 23 65 6e 64 69 66 0a 20 20 7b 0a  2 ){.#endif.  {.
0d50: 20 20 20 20 43 68 65 63 6b 4d 75 74 65 78 20 2a      CheckMutex *
0d60: 70 43 68 65 63 6b 20 3d 20 28 43 68 65 63 6b 4d  pCheck = (CheckM
0d70: 75 74 65 78 2a 29 70 3b 0a 20 20 20 20 70 47 6c  utex*)p;.    pGl
0d80: 6f 62 61 6c 4d 75 74 65 78 4d 65 74 68 6f 64 73  obalMutexMethods
0d90: 2d 3e 78 4d 75 74 65 78 46 72 65 65 28 70 43 68  ->xMutexFree(pCh
0da0: 65 63 6b 2d 3e 6d 75 74 65 78 29 3b 0a 20 20 20  eck->mutex);.   
0db0: 20 73 71 6c 69 74 65 33 5f 66 72 65 65 28 70 43   sqlite3_free(pC
0dc0: 68 65 63 6b 29 3b 0a 20 20 7d 0a 23 69 66 64 65  heck);.  }.#ifde
0dd0: 66 20 53 51 4c 49 54 45 5f 45 4e 41 42 4c 45 5f  f SQLITE_ENABLE_
0de0: 41 50 49 5f 41 52 4d 4f 52 0a 20 20 65 6c 73 65  API_ARMOR.  else
0df0: 7b 0a 20 20 20 20 28 76 6f 69 64 29 53 51 4c 49  {.    (void)SQLI
0e00: 54 45 5f 4d 49 53 55 53 45 5f 42 4b 50 54 3b 0a  TE_MISUSE_BKPT;.
0e10: 20 20 7d 0a 23 65 6e 64 69 66 0a 7d 0a 0a 2f 2a    }.#endif.}../*
0e20: 0a 2a 2a 20 45 6e 74 65 72 20 74 68 65 20 6d 75  .** Enter the mu
0e30: 74 65 78 2e 0a 2a 2f 0a 73 74 61 74 69 63 20 76  tex..*/.static v
0e40: 6f 69 64 20 63 68 65 63 6b 4d 75 74 65 78 45 6e  oid checkMutexEn
0e50: 74 65 72 28 73 71 6c 69 74 65 33 5f 6d 75 74 65  ter(sqlite3_mute
0e60: 78 20 2a 70 29 7b 0a 20 20 43 68 65 63 6b 4d 75  x *p){.  CheckMu
0e70: 74 65 78 20 2a 70 43 68 65 63 6b 20 3d 20 28 43  tex *pCheck = (C
0e80: 68 65 63 6b 4d 75 74 65 78 2a 29 70 3b 0a 20 20  heckMutex*)p;.  
0e90: 69 66 28 20 70 43 68 65 63 6b 2d 3e 69 54 79 70  if( pCheck->iTyp
0ea0: 65 3c 30 20 29 7b 0a 20 20 20 20 69 66 28 20 53  e<0 ){.    if( S
0eb0: 51 4c 49 54 45 5f 4f 4b 3d 3d 70 47 6c 6f 62 61  QLITE_OK==pGloba
0ec0: 6c 4d 75 74 65 78 4d 65 74 68 6f 64 73 2d 3e 78  lMutexMethods->x
0ed0: 4d 75 74 65 78 54 72 79 28 70 43 68 65 63 6b 2d  MutexTry(pCheck-
0ee0: 3e 6d 75 74 65 78 29 20 29 7b 0a 20 20 20 20 20  >mutex) ){.     
0ef0: 20 72 65 74 75 72 6e 3b 0a 20 20 20 20 7d 0a 20   return;.    }. 
0f00: 20 20 20 73 71 6c 69 74 65 33 5f 6c 6f 67 28 53     sqlite3_log(S
0f10: 51 4c 49 54 45 5f 4d 49 53 55 53 45 2c 20 0a 20  QLITE_MISUSE, . 
0f20: 20 20 20 20 20 20 20 22 69 6c 6c 65 67 61 6c 20         "illegal 
0f30: 6d 75 6c 74 69 2d 74 68 72 65 61 64 65 64 20 61  multi-threaded a
0f40: 63 63 65 73 73 20 74 6f 20 64 61 74 61 62 61 73  ccess to databas
0f50: 65 20 63 6f 6e 6e 65 63 74 69 6f 6e 22 0a 20 20  e connection".  
0f60: 20 20 29 3b 0a 20 20 7d 0a 20 20 70 47 6c 6f 62    );.  }.  pGlob
0f70: 61 6c 4d 75 74 65 78 4d 65 74 68 6f 64 73 2d 3e  alMutexMethods->
0f80: 78 4d 75 74 65 78 45 6e 74 65 72 28 70 43 68 65  xMutexEnter(pChe
0f90: 63 6b 2d 3e 6d 75 74 65 78 29 3b 0a 7d 0a 0a 2f  ck->mutex);.}../
0fa0: 2a 0a 2a 2a 20 45 6e 74 65 72 20 74 68 65 20 6d  *.** Enter the m
0fb0: 75 74 65 78 20 28 64 6f 20 6e 6f 74 20 62 6c 6f  utex (do not blo
0fc0: 63 6b 29 2e 0a 2a 2f 0a 73 74 61 74 69 63 20 69  ck)..*/.static i
0fd0: 6e 74 20 63 68 65 63 6b 4d 75 74 65 78 54 72 79  nt checkMutexTry
0fe0: 28 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a  (sqlite3_mutex *
0ff0: 70 29 7b 0a 20 20 43 68 65 63 6b 4d 75 74 65 78  p){.  CheckMutex
1000: 20 2a 70 43 68 65 63 6b 20 3d 20 28 43 68 65 63   *pCheck = (Chec
1010: 6b 4d 75 74 65 78 2a 29 70 3b 0a 20 20 72 65 74  kMutex*)p;.  ret
1020: 75 72 6e 20 70 47 6c 6f 62 61 6c 4d 75 74 65 78  urn pGlobalMutex
1030: 4d 65 74 68 6f 64 73 2d 3e 78 4d 75 74 65 78 54  Methods->xMutexT
1040: 72 79 28 70 43 68 65 63 6b 2d 3e 6d 75 74 65 78  ry(pCheck->mutex
1050: 29 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 4c 65 61 76  );.}../*.** Leav
1060: 65 20 74 68 65 20 6d 75 74 65 78 2e 0a 2a 2f 0a  e the mutex..*/.
1070: 73 74 61 74 69 63 20 76 6f 69 64 20 63 68 65 63  static void chec
1080: 6b 4d 75 74 65 78 4c 65 61 76 65 28 73 71 6c 69  kMutexLeave(sqli
1090: 74 65 33 5f 6d 75 74 65 78 20 2a 70 29 7b 0a 20  te3_mutex *p){. 
10a0: 20 43 68 65 63 6b 4d 75 74 65 78 20 2a 70 43 68   CheckMutex *pCh
10b0: 65 63 6b 20 3d 20 28 43 68 65 63 6b 4d 75 74 65  eck = (CheckMute
10c0: 78 2a 29 70 3b 0a 20 20 70 47 6c 6f 62 61 6c 4d  x*)p;.  pGlobalM
10d0: 75 74 65 78 4d 65 74 68 6f 64 73 2d 3e 78 4d 75  utexMethods->xMu
10e0: 74 65 78 4c 65 61 76 65 28 70 43 68 65 63 6b 2d  texLeave(pCheck-
10f0: 3e 6d 75 74 65 78 29 3b 0a 7d 0a 0a 73 71 6c 69  >mutex);.}..sqli
1100: 74 65 33 5f 6d 75 74 65 78 5f 6d 65 74 68 6f 64  te3_mutex_method
1110: 73 20 63 6f 6e 73 74 20 2a 6d 75 6c 74 69 54 68  s const *multiTh
1120: 72 65 61 64 65 64 43 68 65 63 6b 4d 75 74 65 78  readedCheckMutex
1130: 28 76 6f 69 64 29 7b 0a 20 20 73 74 61 74 69 63  (void){.  static
1140: 20 63 6f 6e 73 74 20 73 71 6c 69 74 65 33 5f 6d   const sqlite3_m
1150: 75 74 65 78 5f 6d 65 74 68 6f 64 73 20 73 4d 75  utex_methods sMu
1160: 74 65 78 20 3d 20 7b 0a 20 20 20 20 63 68 65 63  tex = {.    chec
1170: 6b 4d 75 74 65 78 49 6e 69 74 2c 0a 20 20 20 20  kMutexInit,.    
1180: 63 68 65 63 6b 4d 75 74 65 78 45 6e 64 2c 0a 20  checkMutexEnd,. 
1190: 20 20 20 63 68 65 63 6b 4d 75 74 65 78 41 6c 6c     checkMutexAll
11a0: 6f 63 2c 0a 20 20 20 20 63 68 65 63 6b 4d 75 74  oc,.    checkMut
11b0: 65 78 46 72 65 65 2c 0a 20 20 20 20 63 68 65 63  exFree,.    chec
11c0: 6b 4d 75 74 65 78 45 6e 74 65 72 2c 0a 20 20 20  kMutexEnter,.   
11d0: 20 63 68 65 63 6b 4d 75 74 65 78 54 72 79 2c 0a   checkMutexTry,.
11e0: 20 20 20 20 63 68 65 63 6b 4d 75 74 65 78 4c 65      checkMutexLe
11f0: 61 76 65 2c 0a 23 69 66 64 65 66 20 53 51 4c 49  ave,.#ifdef SQLI
1200: 54 45 5f 44 45 42 55 47 0a 20 20 20 20 63 68 65  TE_DEBUG.    che
1210: 63 6b 4d 75 74 65 78 48 65 6c 64 2c 0a 20 20 20  ckMutexHeld,.   
1220: 20 63 68 65 63 6b 4d 75 74 65 78 4e 6f 74 68 65   checkMutexNothe
1230: 6c 64 0a 23 65 6c 73 65 0a 20 20 20 20 30 2c 0a  ld.#else.    0,.
1240: 20 20 20 20 30 0a 23 65 6e 64 69 66 0a 20 20 7d      0.#endif.  }
1250: 3b 0a 20 20 72 65 74 75 72 6e 20 26 73 4d 75 74  ;.  return &sMut
1260: 65 78 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 4d 61 72  ex;.}../*.** Mar
1270: 6b 20 74 68 65 20 53 51 4c 49 54 45 5f 4d 55 54  k the SQLITE_MUT
1280: 45 58 5f 52 45 43 55 52 53 49 56 45 20 6d 75 74  EX_RECURSIVE mut
1290: 65 78 20 70 61 73 73 65 64 20 61 73 20 74 68 65  ex passed as the
12a0: 20 6f 6e 6c 79 20 61 72 67 75 6d 65 6e 74 20 61   only argument a
12b0: 73 0a 2a 2a 20 6f 6e 65 20 6f 6e 20 77 68 69 63  s.** one on whic
12c0: 68 20 74 68 65 72 65 20 73 68 6f 75 6c 64 20 62  h there should b
12d0: 65 20 6e 6f 20 63 6f 6e 74 65 6e 74 69 6f 6e 2e  e no contention.
12e0: 0a 2a 2f 0a 76 6f 69 64 20 73 71 6c 69 74 65 33  .*/.void sqlite3
12f0: 4d 75 74 65 78 57 61 72 6e 4f 6e 43 6f 6e 74 65  MutexWarnOnConte
1300: 6e 74 69 6f 6e 28 73 71 6c 69 74 65 33 5f 6d 75  ntion(sqlite3_mu
1310: 74 65 78 20 2a 70 29 7b 0a 20 20 69 66 28 20 73  tex *p){.  if( s
1320: 71 6c 69 74 65 33 47 6c 6f 62 61 6c 43 6f 6e 66  qlite3GlobalConf
1330: 69 67 2e 6d 75 74 65 78 2e 78 4d 75 74 65 78 41  ig.mutex.xMutexA
1340: 6c 6c 6f 63 3d 3d 63 68 65 63 6b 4d 75 74 65 78  lloc==checkMutex
1350: 41 6c 6c 6f 63 20 29 7b 0a 20 20 20 20 43 68 65  Alloc ){.    Che
1360: 63 6b 4d 75 74 65 78 20 2a 70 43 68 65 63 6b 20  ckMutex *pCheck 
1370: 3d 20 28 43 68 65 63 6b 4d 75 74 65 78 2a 29 70  = (CheckMutex*)p
1380: 3b 0a 20 20 20 20 61 73 73 65 72 74 28 20 70 43  ;.    assert( pC
1390: 68 65 63 6b 2d 3e 69 54 79 70 65 3d 3d 53 51 4c  heck->iType==SQL
13a0: 49 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53  ITE_MUTEX_RECURS
13b0: 49 56 45 20 29 3b 0a 20 20 20 20 70 43 68 65 63  IVE );.    pChec
13c0: 6b 2d 3e 69 54 79 70 65 20 3d 20 2d 31 3b 0a 20  k->iType = -1;. 
13d0: 20 7d 0a 7d 0a 23 65 6e 64 69 66 20 20 20 2f 2a   }.}.#endif   /*
13e0: 20 69 66 64 65 66 20 53 51 4c 49 54 45 5f 45 4e   ifdef SQLITE_EN
13f0: 41 42 4c 45 5f 4d 55 4c 54 49 54 48 52 45 41 44  ABLE_MULTITHREAD
1400: 45 44 5f 43 48 45 43 4b 53 20 2a 2f 0a 0a 2f 2a  ED_CHECKS */../*
1410: 0a 2a 2a 20 49 6e 69 74 69 61 6c 69 7a 65 20 74  .** Initialize t
1420: 68 65 20 6d 75 74 65 78 20 73 79 73 74 65 6d 2e  he mutex system.
1430: 0a 2a 2f 0a 69 6e 74 20 73 71 6c 69 74 65 33 4d  .*/.int sqlite3M
1440: 75 74 65 78 49 6e 69 74 28 76 6f 69 64 29 7b 20  utexInit(void){ 
1450: 0a 20 20 69 6e 74 20 72 63 20 3d 20 53 51 4c 49  .  int rc = SQLI
1460: 54 45 5f 4f 4b 3b 0a 20 20 69 66 28 20 21 73 71  TE_OK;.  if( !sq
1470: 6c 69 74 65 33 47 6c 6f 62 61 6c 43 6f 6e 66 69  lite3GlobalConfi
1480: 67 2e 6d 75 74 65 78 2e 78 4d 75 74 65 78 41 6c  g.mutex.xMutexAl
1490: 6c 6f 63 20 29 7b 0a 20 20 20 20 2f 2a 20 49 66  loc ){.    /* If
14a0: 20 74 68 65 20 78 4d 75 74 65 78 41 6c 6c 6f 63   the xMutexAlloc
14b0: 20 6d 65 74 68 6f 64 20 68 61 73 20 6e 6f 74 20   method has not 
14c0: 62 65 65 6e 20 73 65 74 2c 20 74 68 65 6e 20 74  been set, then t
14d0: 68 65 20 75 73 65 72 20 64 69 64 20 6e 6f 74 0a  he user did not.
14e0: 20 20 20 20 2a 2a 20 69 6e 73 74 61 6c 6c 20 61      ** install a
14f0: 20 6d 75 74 65 78 20 69 6d 70 6c 65 6d 65 6e 74   mutex implement
1500: 61 74 69 6f 6e 20 76 69 61 20 73 71 6c 69 74 65  ation via sqlite
1510: 33 5f 63 6f 6e 66 69 67 28 29 20 70 72 69 6f 72  3_config() prior
1520: 20 74 6f 20 0a 20 20 20 20 2a 2a 20 73 71 6c 69   to .    ** sqli
1530: 74 65 33 5f 69 6e 69 74 69 61 6c 69 7a 65 28 29  te3_initialize()
1540: 20 62 65 69 6e 67 20 63 61 6c 6c 65 64 2e 20 54   being called. T
1550: 68 69 73 20 62 6c 6f 63 6b 20 63 6f 70 69 65 73  his block copies
1560: 20 70 6f 69 6e 74 65 72 73 20 74 6f 0a 20 20 20   pointers to.   
1570: 20 2a 2a 20 74 68 65 20 64 65 66 61 75 6c 74 20   ** the default 
1580: 69 6d 70 6c 65 6d 65 6e 74 61 74 69 6f 6e 20 69  implementation i
1590: 6e 74 6f 20 74 68 65 20 73 71 6c 69 74 65 33 47  nto the sqlite3G
15a0: 6c 6f 62 61 6c 43 6f 6e 66 69 67 20 73 74 72 75  lobalConfig stru
15b0: 63 74 75 72 65 2e 0a 20 20 20 20 2a 2f 0a 20 20  cture..    */.  
15c0: 20 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f    sqlite3_mutex_
15d0: 6d 65 74 68 6f 64 73 20 63 6f 6e 73 74 20 2a 70  methods const *p
15e0: 46 72 6f 6d 3b 0a 20 20 20 20 73 71 6c 69 74 65  From;.    sqlite
15f0: 33 5f 6d 75 74 65 78 5f 6d 65 74 68 6f 64 73 20  3_mutex_methods 
1600: 2a 70 54 6f 20 3d 20 26 73 71 6c 69 74 65 33 47  *pTo = &sqlite3G
1610: 6c 6f 62 61 6c 43 6f 6e 66 69 67 2e 6d 75 74 65  lobalConfig.mute
1620: 78 3b 0a 0a 20 20 20 20 69 66 28 20 73 71 6c 69  x;..    if( sqli
1630: 74 65 33 47 6c 6f 62 61 6c 43 6f 6e 66 69 67 2e  te3GlobalConfig.
1640: 62 43 6f 72 65 4d 75 74 65 78 20 29 7b 0a 23 69  bCoreMutex ){.#i
1650: 66 64 65 66 20 53 51 4c 49 54 45 5f 45 4e 41 42  fdef SQLITE_ENAB
1660: 4c 45 5f 4d 55 4c 54 49 54 48 52 45 41 44 45 44  LE_MULTITHREADED
1670: 5f 43 48 45 43 4b 53 0a 20 20 20 20 20 20 70 46  _CHECKS.      pF
1680: 72 6f 6d 20 3d 20 6d 75 6c 74 69 54 68 72 65 61  rom = multiThrea
1690: 64 65 64 43 68 65 63 6b 4d 75 74 65 78 28 29 3b  dedCheckMutex();
16a0: 0a 23 65 6c 73 65 0a 20 20 20 20 20 20 70 46 72  .#else.      pFr
16b0: 6f 6d 20 3d 20 73 71 6c 69 74 65 33 44 65 66 61  om = sqlite3Defa
16c0: 75 6c 74 4d 75 74 65 78 28 29 3b 0a 23 65 6e 64  ultMutex();.#end
16d0: 69 66 0a 20 20 20 20 7d 65 6c 73 65 7b 0a 20 20  if.    }else{.  
16e0: 20 20 20 20 70 46 72 6f 6d 20 3d 20 73 71 6c 69      pFrom = sqli
16f0: 74 65 33 4e 6f 6f 70 4d 75 74 65 78 28 29 3b 0a  te3NoopMutex();.
1700: 20 20 20 20 7d 0a 20 20 20 20 70 54 6f 2d 3e 78      }.    pTo->x
1710: 4d 75 74 65 78 49 6e 69 74 20 3d 20 70 46 72 6f  MutexInit = pFro
1720: 6d 2d 3e 78 4d 75 74 65 78 49 6e 69 74 3b 0a 20  m->xMutexInit;. 
1730: 20 20 20 70 54 6f 2d 3e 78 4d 75 74 65 78 45 6e     pTo->xMutexEn
1740: 64 20 3d 20 70 46 72 6f 6d 2d 3e 78 4d 75 74 65  d = pFrom->xMute
1750: 78 45 6e 64 3b 0a 20 20 20 20 70 54 6f 2d 3e 78  xEnd;.    pTo->x
1760: 4d 75 74 65 78 46 72 65 65 20 3d 20 70 46 72 6f  MutexFree = pFro
1770: 6d 2d 3e 78 4d 75 74 65 78 46 72 65 65 3b 0a 20  m->xMutexFree;. 
1780: 20 20 20 70 54 6f 2d 3e 78 4d 75 74 65 78 45 6e     pTo->xMutexEn
1790: 74 65 72 20 3d 20 70 46 72 6f 6d 2d 3e 78 4d 75  ter = pFrom->xMu
17a0: 74 65 78 45 6e 74 65 72 3b 0a 20 20 20 20 70 54  texEnter;.    pT
17b0: 6f 2d 3e 78 4d 75 74 65 78 54 72 79 20 3d 20 70  o->xMutexTry = p
17c0: 46 72 6f 6d 2d 3e 78 4d 75 74 65 78 54 72 79 3b  From->xMutexTry;
17d0: 0a 20 20 20 20 70 54 6f 2d 3e 78 4d 75 74 65 78  .    pTo->xMutex
17e0: 4c 65 61 76 65 20 3d 20 70 46 72 6f 6d 2d 3e 78  Leave = pFrom->x
17f0: 4d 75 74 65 78 4c 65 61 76 65 3b 0a 20 20 20 20  MutexLeave;.    
1800: 70 54 6f 2d 3e 78 4d 75 74 65 78 48 65 6c 64 20  pTo->xMutexHeld 
1810: 3d 20 70 46 72 6f 6d 2d 3e 78 4d 75 74 65 78 48  = pFrom->xMutexH
1820: 65 6c 64 3b 0a 20 20 20 20 70 54 6f 2d 3e 78 4d  eld;.    pTo->xM
1830: 75 74 65 78 4e 6f 74 68 65 6c 64 20 3d 20 70 46  utexNotheld = pF
1840: 72 6f 6d 2d 3e 78 4d 75 74 65 78 4e 6f 74 68 65  rom->xMutexNothe
1850: 6c 64 3b 0a 20 20 20 20 73 71 6c 69 74 65 33 4d  ld;.    sqlite3M
1860: 65 6d 6f 72 79 42 61 72 72 69 65 72 28 29 3b 0a  emoryBarrier();.
1870: 20 20 20 20 70 54 6f 2d 3e 78 4d 75 74 65 78 41      pTo->xMutexA
1880: 6c 6c 6f 63 20 3d 20 70 46 72 6f 6d 2d 3e 78 4d  lloc = pFrom->xM
1890: 75 74 65 78 41 6c 6c 6f 63 3b 0a 20 20 7d 0a 20  utexAlloc;.  }. 
18a0: 20 61 73 73 65 72 74 28 20 73 71 6c 69 74 65 33   assert( sqlite3
18b0: 47 6c 6f 62 61 6c 43 6f 6e 66 69 67 2e 6d 75 74  GlobalConfig.mut
18c0: 65 78 2e 78 4d 75 74 65 78 49 6e 69 74 20 29 3b  ex.xMutexInit );
18d0: 0a 20 20 72 63 20 3d 20 73 71 6c 69 74 65 33 47  .  rc = sqlite3G
18e0: 6c 6f 62 61 6c 43 6f 6e 66 69 67 2e 6d 75 74 65  lobalConfig.mute
18f0: 78 2e 78 4d 75 74 65 78 49 6e 69 74 28 29 3b 0a  x.xMutexInit();.
1900: 0a 23 69 66 64 65 66 20 53 51 4c 49 54 45 5f 44  .#ifdef SQLITE_D
1910: 45 42 55 47 0a 20 20 47 4c 4f 42 41 4c 28 69 6e  EBUG.  GLOBAL(in
1920: 74 2c 20 6d 75 74 65 78 49 73 49 6e 69 74 29 20  t, mutexIsInit) 
1930: 3d 20 31 3b 0a 23 65 6e 64 69 66 0a 0a 20 20 72  = 1;.#endif..  r
1940: 65 74 75 72 6e 20 72 63 3b 0a 7d 0a 0a 2f 2a 0a  eturn rc;.}../*.
1950: 2a 2a 20 53 68 75 74 64 6f 77 6e 20 74 68 65 20  ** Shutdown the 
1960: 6d 75 74 65 78 20 73 79 73 74 65 6d 2e 20 54 68  mutex system. Th
1970: 69 73 20 63 61 6c 6c 20 66 72 65 65 73 20 72 65  is call frees re
1980: 73 6f 75 72 63 65 73 20 61 6c 6c 6f 63 61 74 65  sources allocate
1990: 64 20 62 79 0a 2a 2a 20 73 71 6c 69 74 65 33 4d  d by.** sqlite3M
19a0: 75 74 65 78 49 6e 69 74 28 29 2e 0a 2a 2f 0a 69  utexInit()..*/.i
19b0: 6e 74 20 73 71 6c 69 74 65 33 4d 75 74 65 78 45  nt sqlite3MutexE
19c0: 6e 64 28 76 6f 69 64 29 7b 0a 20 20 69 6e 74 20  nd(void){.  int 
19d0: 72 63 20 3d 20 53 51 4c 49 54 45 5f 4f 4b 3b 0a  rc = SQLITE_OK;.
19e0: 20 20 69 66 28 20 73 71 6c 69 74 65 33 47 6c 6f    if( sqlite3Glo
19f0: 62 61 6c 43 6f 6e 66 69 67 2e 6d 75 74 65 78 2e  balConfig.mutex.
1a00: 78 4d 75 74 65 78 45 6e 64 20 29 7b 0a 20 20 20  xMutexEnd ){.   
1a10: 20 72 63 20 3d 20 73 71 6c 69 74 65 33 47 6c 6f   rc = sqlite3Glo
1a20: 62 61 6c 43 6f 6e 66 69 67 2e 6d 75 74 65 78 2e  balConfig.mutex.
1a30: 78 4d 75 74 65 78 45 6e 64 28 29 3b 0a 20 20 7d  xMutexEnd();.  }
1a40: 0a 0a 23 69 66 64 65 66 20 53 51 4c 49 54 45 5f  ..#ifdef SQLITE_
1a50: 44 45 42 55 47 0a 20 20 47 4c 4f 42 41 4c 28 69  DEBUG.  GLOBAL(i
1a60: 6e 74 2c 20 6d 75 74 65 78 49 73 49 6e 69 74 29  nt, mutexIsInit)
1a70: 20 3d 20 30 3b 0a 23 65 6e 64 69 66 0a 0a 20 20   = 0;.#endif..  
1a80: 72 65 74 75 72 6e 20 72 63 3b 0a 7d 0a 0a 2f 2a  return rc;.}../*
1a90: 0a 2a 2a 20 52 65 74 72 69 65 76 65 20 61 20 70  .** Retrieve a p
1aa0: 6f 69 6e 74 65 72 20 74 6f 20 61 20 73 74 61 74  ointer to a stat
1ab0: 69 63 20 6d 75 74 65 78 20 6f 72 20 61 6c 6c 6f  ic mutex or allo
1ac0: 63 61 74 65 20 61 20 6e 65 77 20 64 79 6e 61 6d  cate a new dynam
1ad0: 69 63 20 6f 6e 65 2e 0a 2a 2f 0a 73 71 6c 69 74  ic one..*/.sqlit
1ae0: 65 33 5f 6d 75 74 65 78 20 2a 73 71 6c 69 74 65  e3_mutex *sqlite
1af0: 33 5f 6d 75 74 65 78 5f 61 6c 6c 6f 63 28 69 6e  3_mutex_alloc(in
1b00: 74 20 69 64 29 7b 0a 23 69 66 6e 64 65 66 20 53  t id){.#ifndef S
1b10: 51 4c 49 54 45 5f 4f 4d 49 54 5f 41 55 54 4f 49  QLITE_OMIT_AUTOI
1b20: 4e 49 54 0a 20 20 69 66 28 20 69 64 3c 3d 53 51  NIT.  if( id<=SQ
1b30: 4c 49 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52  LITE_MUTEX_RECUR
1b40: 53 49 56 45 20 26 26 20 73 71 6c 69 74 65 33 5f  SIVE && sqlite3_
1b50: 69 6e 69 74 69 61 6c 69 7a 65 28 29 20 29 20 72  initialize() ) r
1b60: 65 74 75 72 6e 20 30 3b 0a 20 20 69 66 28 20 69  eturn 0;.  if( i
1b70: 64 3e 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 52  d>SQLITE_MUTEX_R
1b80: 45 43 55 52 53 49 56 45 20 26 26 20 73 71 6c 69  ECURSIVE && sqli
1b90: 74 65 33 4d 75 74 65 78 49 6e 69 74 28 29 20 29  te3MutexInit() )
1ba0: 20 72 65 74 75 72 6e 20 30 3b 0a 23 65 6e 64 69   return 0;.#endi
1bb0: 66 0a 20 20 61 73 73 65 72 74 28 20 73 71 6c 69  f.  assert( sqli
1bc0: 74 65 33 47 6c 6f 62 61 6c 43 6f 6e 66 69 67 2e  te3GlobalConfig.
1bd0: 6d 75 74 65 78 2e 78 4d 75 74 65 78 41 6c 6c 6f  mutex.xMutexAllo
1be0: 63 20 29 3b 0a 20 20 72 65 74 75 72 6e 20 73 71  c );.  return sq
1bf0: 6c 69 74 65 33 47 6c 6f 62 61 6c 43 6f 6e 66 69  lite3GlobalConfi
1c00: 67 2e 6d 75 74 65 78 2e 78 4d 75 74 65 78 41 6c  g.mutex.xMutexAl
1c10: 6c 6f 63 28 69 64 29 3b 0a 7d 0a 0a 73 71 6c 69  loc(id);.}..sqli
1c20: 74 65 33 5f 6d 75 74 65 78 20 2a 73 71 6c 69 74  te3_mutex *sqlit
1c30: 65 33 4d 75 74 65 78 41 6c 6c 6f 63 28 69 6e 74  e3MutexAlloc(int
1c40: 20 69 64 29 7b 0a 20 20 69 66 28 20 21 73 71 6c   id){.  if( !sql
1c50: 69 74 65 33 47 6c 6f 62 61 6c 43 6f 6e 66 69 67  ite3GlobalConfig
1c60: 2e 62 43 6f 72 65 4d 75 74 65 78 20 29 7b 0a 20  .bCoreMutex ){. 
1c70: 20 20 20 72 65 74 75 72 6e 20 30 3b 0a 20 20 7d     return 0;.  }
1c80: 0a 20 20 61 73 73 65 72 74 28 20 47 4c 4f 42 41  .  assert( GLOBA
1c90: 4c 28 69 6e 74 2c 20 6d 75 74 65 78 49 73 49 6e  L(int, mutexIsIn
1ca0: 69 74 29 20 29 3b 0a 20 20 61 73 73 65 72 74 28  it) );.  assert(
1cb0: 20 73 71 6c 69 74 65 33 47 6c 6f 62 61 6c 43 6f   sqlite3GlobalCo
1cc0: 6e 66 69 67 2e 6d 75 74 65 78 2e 78 4d 75 74 65  nfig.mutex.xMute
1cd0: 78 41 6c 6c 6f 63 20 29 3b 0a 20 20 72 65 74 75  xAlloc );.  retu
1ce0: 72 6e 20 73 71 6c 69 74 65 33 47 6c 6f 62 61 6c  rn sqlite3Global
1cf0: 43 6f 6e 66 69 67 2e 6d 75 74 65 78 2e 78 4d 75  Config.mutex.xMu
1d00: 74 65 78 41 6c 6c 6f 63 28 69 64 29 3b 0a 7d 0a  texAlloc(id);.}.
1d10: 0a 2f 2a 0a 2a 2a 20 46 72 65 65 20 61 20 64 79  ./*.** Free a dy
1d20: 6e 61 6d 69 63 20 6d 75 74 65 78 2e 0a 2a 2f 0a  namic mutex..*/.
1d30: 76 6f 69 64 20 73 71 6c 69 74 65 33 5f 6d 75 74  void sqlite3_mut
1d40: 65 78 5f 66 72 65 65 28 73 71 6c 69 74 65 33 5f  ex_free(sqlite3_
1d50: 6d 75 74 65 78 20 2a 70 29 7b 0a 20 20 69 66 28  mutex *p){.  if(
1d60: 20 70 20 29 7b 0a 20 20 20 20 61 73 73 65 72 74   p ){.    assert
1d70: 28 20 73 71 6c 69 74 65 33 47 6c 6f 62 61 6c 43  ( sqlite3GlobalC
1d80: 6f 6e 66 69 67 2e 6d 75 74 65 78 2e 78 4d 75 74  onfig.mutex.xMut
1d90: 65 78 46 72 65 65 20 29 3b 0a 20 20 20 20 73 71  exFree );.    sq
1da0: 6c 69 74 65 33 47 6c 6f 62 61 6c 43 6f 6e 66 69  lite3GlobalConfi
1db0: 67 2e 6d 75 74 65 78 2e 78 4d 75 74 65 78 46 72  g.mutex.xMutexFr
1dc0: 65 65 28 70 29 3b 0a 20 20 7d 0a 7d 0a 0a 2f 2a  ee(p);.  }.}../*
1dd0: 0a 2a 2a 20 4f 62 74 61 69 6e 20 74 68 65 20 6d  .** Obtain the m
1de0: 75 74 65 78 20 70 2e 20 49 66 20 73 6f 6d 65 20  utex p. If some 
1df0: 6f 74 68 65 72 20 74 68 72 65 61 64 20 61 6c 72  other thread alr
1e00: 65 61 64 79 20 68 61 73 20 74 68 65 20 6d 75 74  eady has the mut
1e10: 65 78 2c 20 62 6c 6f 63 6b 0a 2a 2a 20 75 6e 74  ex, block.** unt
1e20: 69 6c 20 69 74 20 63 61 6e 20 62 65 20 6f 62 74  il it can be obt
1e30: 61 69 6e 65 64 2e 0a 2a 2f 0a 76 6f 69 64 20 73  ained..*/.void s
1e40: 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 65 6e 74  qlite3_mutex_ent
1e50: 65 72 28 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  er(sqlite3_mutex
1e60: 20 2a 70 29 7b 0a 20 20 69 66 28 20 70 20 29 7b   *p){.  if( p ){
1e70: 0a 20 20 20 20 61 73 73 65 72 74 28 20 73 71 6c  .    assert( sql
1e80: 69 74 65 33 47 6c 6f 62 61 6c 43 6f 6e 66 69 67  ite3GlobalConfig
1e90: 2e 6d 75 74 65 78 2e 78 4d 75 74 65 78 45 6e 74  .mutex.xMutexEnt
1ea0: 65 72 20 29 3b 0a 20 20 20 20 73 71 6c 69 74 65  er );.    sqlite
1eb0: 33 47 6c 6f 62 61 6c 43 6f 6e 66 69 67 2e 6d 75  3GlobalConfig.mu
1ec0: 74 65 78 2e 78 4d 75 74 65 78 45 6e 74 65 72 28  tex.xMutexEnter(
1ed0: 70 29 3b 0a 20 20 7d 0a 7d 0a 0a 2f 2a 0a 2a 2a  p);.  }.}../*.**
1ee0: 20 4f 62 74 61 69 6e 20 74 68 65 20 6d 75 74 65   Obtain the mute
1ef0: 78 20 70 2e 20 49 66 20 73 75 63 63 65 73 73 66  x p. If successf
1f00: 75 6c 2c 20 72 65 74 75 72 6e 20 53 51 4c 49 54  ul, return SQLIT
1f10: 45 5f 4f 4b 2e 20 4f 74 68 65 72 77 69 73 65 2c  E_OK. Otherwise,
1f20: 20 69 66 20 61 6e 6f 74 68 65 72 0a 2a 2a 20 74   if another.** t
1f30: 68 72 65 61 64 20 68 6f 6c 64 73 20 74 68 65 20  hread holds the 
1f40: 6d 75 74 65 78 20 61 6e 64 20 69 74 20 63 61 6e  mutex and it can
1f50: 6e 6f 74 20 62 65 20 6f 62 74 61 69 6e 65 64 2c  not be obtained,
1f60: 20 72 65 74 75 72 6e 20 53 51 4c 49 54 45 5f 42   return SQLITE_B
1f70: 55 53 59 2e 0a 2a 2f 0a 69 6e 74 20 73 71 6c 69  USY..*/.int sqli
1f80: 74 65 33 5f 6d 75 74 65 78 5f 74 72 79 28 73 71  te3_mutex_try(sq
1f90: 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a 70 29 7b  lite3_mutex *p){
1fa0: 0a 20 20 69 6e 74 20 72 63 20 3d 20 53 51 4c 49  .  int rc = SQLI
1fb0: 54 45 5f 4f 4b 3b 0a 20 20 69 66 28 20 70 20 29  TE_OK;.  if( p )
1fc0: 7b 0a 20 20 20 20 61 73 73 65 72 74 28 20 73 71  {.    assert( sq
1fd0: 6c 69 74 65 33 47 6c 6f 62 61 6c 43 6f 6e 66 69  lite3GlobalConfi
1fe0: 67 2e 6d 75 74 65 78 2e 78 4d 75 74 65 78 54 72  g.mutex.xMutexTr
1ff0: 79 20 29 3b 0a 20 20 20 20 72 65 74 75 72 6e 20  y );.    return 
2000: 73 71 6c 69 74 65 33 47 6c 6f 62 61 6c 43 6f 6e  sqlite3GlobalCon
2010: 66 69 67 2e 6d 75 74 65 78 2e 78 4d 75 74 65 78  fig.mutex.xMutex
2020: 54 72 79 28 70 29 3b 0a 20 20 7d 0a 20 20 72 65  Try(p);.  }.  re
2030: 74 75 72 6e 20 72 63 3b 0a 7d 0a 0a 2f 2a 0a 2a  turn rc;.}../*.*
2040: 2a 20 54 68 65 20 73 71 6c 69 74 65 33 5f 6d 75  * The sqlite3_mu
2050: 74 65 78 5f 6c 65 61 76 65 28 29 20 72 6f 75 74  tex_leave() rout
2060: 69 6e 65 20 65 78 69 74 73 20 61 20 6d 75 74 65  ine exits a mute
2070: 78 20 74 68 61 74 20 77 61 73 20 70 72 65 76 69  x that was previ
2080: 6f 75 73 6c 79 0a 2a 2a 20 65 6e 74 65 72 65 64  ously.** entered
2090: 20 62 79 20 74 68 65 20 73 61 6d 65 20 74 68 72   by the same thr
20a0: 65 61 64 2e 20 20 54 68 65 20 62 65 68 61 76 69  ead.  The behavi
20b0: 6f 72 20 69 73 20 75 6e 64 65 66 69 6e 65 64 20  or is undefined 
20c0: 69 66 20 74 68 65 20 6d 75 74 65 78 20 0a 2a 2a  if the mutex .**
20d0: 20 69 73 20 6e 6f 74 20 63 75 72 72 65 6e 74 6c   is not currentl
20e0: 79 20 65 6e 74 65 72 65 64 2e 20 49 66 20 61 20  y entered. If a 
20f0: 4e 55 4c 4c 20 70 6f 69 6e 74 65 72 20 69 73 20  NULL pointer is 
2100: 70 61 73 73 65 64 20 61 73 20 61 6e 20 61 72 67  passed as an arg
2110: 75 6d 65 6e 74 0a 2a 2a 20 74 68 69 73 20 66 75  ument.** this fu
2120: 6e 63 74 69 6f 6e 20 69 73 20 61 20 6e 6f 2d 6f  nction is a no-o
2130: 70 2e 0a 2a 2f 0a 76 6f 69 64 20 73 71 6c 69 74  p..*/.void sqlit
2140: 65 33 5f 6d 75 74 65 78 5f 6c 65 61 76 65 28 73  e3_mutex_leave(s
2150: 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a 70 29  qlite3_mutex *p)
2160: 7b 0a 20 20 69 66 28 20 70 20 29 7b 0a 20 20 20  {.  if( p ){.   
2170: 20 61 73 73 65 72 74 28 20 73 71 6c 69 74 65 33   assert( sqlite3
2180: 47 6c 6f 62 61 6c 43 6f 6e 66 69 67 2e 6d 75 74  GlobalConfig.mut
2190: 65 78 2e 78 4d 75 74 65 78 4c 65 61 76 65 20 29  ex.xMutexLeave )
21a0: 3b 0a 20 20 20 20 73 71 6c 69 74 65 33 47 6c 6f  ;.    sqlite3Glo
21b0: 62 61 6c 43 6f 6e 66 69 67 2e 6d 75 74 65 78 2e  balConfig.mutex.
21c0: 78 4d 75 74 65 78 4c 65 61 76 65 28 70 29 3b 0a  xMutexLeave(p);.
21d0: 20 20 7d 0a 7d 0a 0a 23 69 66 6e 64 65 66 20 4e    }.}..#ifndef N
21e0: 44 45 42 55 47 0a 2f 2a 0a 2a 2a 20 54 68 65 20  DEBUG./*.** The 
21f0: 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 68 65  sqlite3_mutex_he
2200: 6c 64 28 29 20 61 6e 64 20 73 71 6c 69 74 65 33  ld() and sqlite3
2210: 5f 6d 75 74 65 78 5f 6e 6f 74 68 65 6c 64 28 29  _mutex_notheld()
2220: 20 72 6f 75 74 69 6e 65 20 61 72 65 0a 2a 2a 20   routine are.** 
2230: 69 6e 74 65 6e 64 65 64 20 66 6f 72 20 75 73 65  intended for use
2240: 20 69 6e 73 69 64 65 20 61 73 73 65 72 74 28 29   inside assert()
2250: 20 73 74 61 74 65 6d 65 6e 74 73 2e 0a 2a 2f 0a   statements..*/.
2260: 69 6e 74 20 73 71 6c 69 74 65 33 5f 6d 75 74 65  int sqlite3_mute
2270: 78 5f 68 65 6c 64 28 73 71 6c 69 74 65 33 5f 6d  x_held(sqlite3_m
2280: 75 74 65 78 20 2a 70 29 7b 0a 20 20 61 73 73 65  utex *p){.  asse
2290: 72 74 28 20 70 3d 3d 30 20 7c 7c 20 73 71 6c 69  rt( p==0 || sqli
22a0: 74 65 33 47 6c 6f 62 61 6c 43 6f 6e 66 69 67 2e  te3GlobalConfig.
22b0: 6d 75 74 65 78 2e 78 4d 75 74 65 78 48 65 6c 64  mutex.xMutexHeld
22c0: 20 29 3b 0a 20 20 72 65 74 75 72 6e 20 70 3d 3d   );.  return p==
22d0: 30 20 7c 7c 20 73 71 6c 69 74 65 33 47 6c 6f 62  0 || sqlite3Glob
22e0: 61 6c 43 6f 6e 66 69 67 2e 6d 75 74 65 78 2e 78  alConfig.mutex.x
22f0: 4d 75 74 65 78 48 65 6c 64 28 70 29 3b 0a 7d 0a  MutexHeld(p);.}.
2300: 69 6e 74 20 73 71 6c 69 74 65 33 5f 6d 75 74 65  int sqlite3_mute
2310: 78 5f 6e 6f 74 68 65 6c 64 28 73 71 6c 69 74 65  x_notheld(sqlite
2320: 33 5f 6d 75 74 65 78 20 2a 70 29 7b 0a 20 20 61  3_mutex *p){.  a
2330: 73 73 65 72 74 28 20 70 3d 3d 30 20 7c 7c 20 73  ssert( p==0 || s
2340: 71 6c 69 74 65 33 47 6c 6f 62 61 6c 43 6f 6e 66  qlite3GlobalConf
2350: 69 67 2e 6d 75 74 65 78 2e 78 4d 75 74 65 78 4e  ig.mutex.xMutexN
2360: 6f 74 68 65 6c 64 20 29 3b 0a 20 20 72 65 74 75  otheld );.  retu
2370: 72 6e 20 70 3d 3d 30 20 7c 7c 20 73 71 6c 69 74  rn p==0 || sqlit
2380: 65 33 47 6c 6f 62 61 6c 43 6f 6e 66 69 67 2e 6d  e3GlobalConfig.m
2390: 75 74 65 78 2e 78 4d 75 74 65 78 4e 6f 74 68 65  utex.xMutexNothe
23a0: 6c 64 28 70 29 3b 0a 7d 0a 23 65 6e 64 69 66 0a  ld(p);.}.#endif.
23b0: 0a 23 65 6e 64 69 66 20 2f 2a 20 21 64 65 66 69  .#endif /* !defi
23c0: 6e 65 64 28 53 51 4c 49 54 45 5f 4d 55 54 45 58  ned(SQLITE_MUTEX
23d0: 5f 4f 4d 49 54 29 20 2a 2f 0a 0a                 _OMIT) */..