/ Hex Artifact Content
Login

Artifact 3496ef443632d6cb7ae717a90b708de6d22ab267:


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 23 69 66 20 53  liteInt.h".#if S
0220: 51 4c 49 54 45 5f 4f 53 5f 55 4e 49 58 0a 23 20  QLITE_OS_UNIX.# 
0230: 20 69 6e 63 6c 75 64 65 20 3c 70 74 68 72 65 61   include <pthrea
0240: 64 2e 68 3e 0a 23 65 6c 69 66 20 53 51 4c 49 54  d.h>.#elif SQLIT
0250: 45 5f 4f 53 5f 57 49 4e 0a 23 20 20 69 6e 63 6c  E_OS_WIN.#  incl
0260: 75 64 65 20 22 6f 73 5f 77 69 6e 2e 68 22 0a 23  ude "os_win.h".#
0270: 65 6e 64 69 66 0a 0a 23 69 66 20 64 65 66 69 6e  endif..#if defin
0280: 65 64 28 53 51 4c 49 54 45 5f 44 45 42 55 47 29  ed(SQLITE_DEBUG)
0290: 20 26 26 20 21 64 65 66 69 6e 65 64 28 53 51 4c   && !defined(SQL
02a0: 49 54 45 5f 4d 55 54 45 58 5f 4f 4d 49 54 29 0a  ITE_MUTEX_OMIT).
02b0: 2f 2a 0a 2a 2a 20 46 6f 72 20 64 65 62 75 67 67  /*.** For debugg
02c0: 69 6e 67 20 70 75 72 70 6f 73 65 73 2c 20 72 65  ing purposes, re
02d0: 63 6f 72 64 20 77 68 65 6e 20 74 68 65 20 6d 75  cord when the mu
02e0: 74 65 78 20 73 75 62 73 79 73 74 65 6d 20 69 73  tex subsystem is
02f0: 20 69 6e 69 74 69 61 6c 69 7a 65 64 0a 2a 2a 20   initialized.** 
0300: 61 6e 64 20 75 6e 69 6e 69 74 69 61 6c 69 7a 65  and uninitialize
0310: 64 20 73 6f 20 74 68 61 74 20 77 65 20 63 61 6e  d so that we can
0320: 20 61 73 73 65 72 74 28 29 20 69 66 20 74 68 65   assert() if the
0330: 72 65 20 69 73 20 61 6e 20 61 74 74 65 6d 70 74  re is an attempt
0340: 20 74 6f 0a 2a 2a 20 61 6c 6c 6f 63 61 74 65 20   to.** allocate 
0350: 61 20 6d 75 74 65 78 20 77 68 69 6c 65 20 74 68  a mutex while th
0360: 65 20 73 79 73 74 65 6d 20 69 73 20 75 6e 69 6e  e system is unin
0370: 69 74 69 61 6c 69 7a 65 64 2e 0a 2a 2f 0a 73 74  itialized..*/.st
0380: 61 74 69 63 20 53 51 4c 49 54 45 5f 57 53 44 20  atic SQLITE_WSD 
0390: 69 6e 74 20 6d 75 74 65 78 49 73 49 6e 69 74 20  int mutexIsInit 
03a0: 3d 20 30 3b 0a 23 65 6e 64 69 66 20 2f 2a 20 53  = 0;.#endif /* S
03b0: 51 4c 49 54 45 5f 44 45 42 55 47 20 26 26 20 21  QLITE_DEBUG && !
03c0: 64 65 66 69 6e 65 64 28 53 51 4c 49 54 45 5f 4d  defined(SQLITE_M
03d0: 55 54 45 58 5f 4f 4d 49 54 29 20 2a 2f 0a 0a 0a  UTEX_OMIT) */...
03e0: 23 69 66 6e 64 65 66 20 53 51 4c 49 54 45 5f 4d  #ifndef SQLITE_M
03f0: 55 54 45 58 5f 4f 4d 49 54 0a 2f 2a 0a 2a 2a 20  UTEX_OMIT./*.** 
0400: 49 6e 69 74 69 61 6c 69 7a 65 20 74 68 65 20 6d  Initialize the m
0410: 75 74 65 78 20 73 79 73 74 65 6d 2e 0a 2a 2f 0a  utex system..*/.
0420: 69 6e 74 20 73 71 6c 69 74 65 33 4d 75 74 65 78  int sqlite3Mutex
0430: 49 6e 69 74 28 76 6f 69 64 29 7b 20 0a 20 20 69  Init(void){ .  i
0440: 6e 74 20 72 63 20 3d 20 53 51 4c 49 54 45 5f 4f  nt rc = SQLITE_O
0450: 4b 3b 0a 20 20 69 66 28 20 21 73 71 6c 69 74 65  K;.  if( !sqlite
0460: 33 47 6c 6f 62 61 6c 43 6f 6e 66 69 67 2e 6d 75  3GlobalConfig.mu
0470: 74 65 78 2e 78 4d 75 74 65 78 41 6c 6c 6f 63 20  tex.xMutexAlloc 
0480: 29 7b 0a 20 20 20 20 2f 2a 20 49 66 20 74 68 65  ){.    /* If the
0490: 20 78 4d 75 74 65 78 41 6c 6c 6f 63 20 6d 65 74   xMutexAlloc met
04a0: 68 6f 64 20 68 61 73 20 6e 6f 74 20 62 65 65 6e  hod has not been
04b0: 20 73 65 74 2c 20 74 68 65 6e 20 74 68 65 20 75   set, then the u
04c0: 73 65 72 20 64 69 64 20 6e 6f 74 0a 20 20 20 20  ser did not.    
04d0: 2a 2a 20 69 6e 73 74 61 6c 6c 20 61 20 6d 75 74  ** install a mut
04e0: 65 78 20 69 6d 70 6c 65 6d 65 6e 74 61 74 69 6f  ex implementatio
04f0: 6e 20 76 69 61 20 73 71 6c 69 74 65 33 5f 63 6f  n via sqlite3_co
0500: 6e 66 69 67 28 29 20 70 72 69 6f 72 20 74 6f 20  nfig() prior to 
0510: 0a 20 20 20 20 2a 2a 20 73 71 6c 69 74 65 33 5f  .    ** sqlite3_
0520: 69 6e 69 74 69 61 6c 69 7a 65 28 29 20 62 65 69  initialize() bei
0530: 6e 67 20 63 61 6c 6c 65 64 2e 20 54 68 69 73 20  ng called. This 
0540: 62 6c 6f 63 6b 20 63 6f 70 69 65 73 20 70 6f 69  block copies poi
0550: 6e 74 65 72 73 20 74 6f 0a 20 20 20 20 2a 2a 20  nters to.    ** 
0560: 74 68 65 20 64 65 66 61 75 6c 74 20 69 6d 70 6c  the default impl
0570: 65 6d 65 6e 74 61 74 69 6f 6e 20 69 6e 74 6f 20  ementation into 
0580: 74 68 65 20 73 71 6c 69 74 65 33 47 6c 6f 62 61  the sqlite3Globa
0590: 6c 43 6f 6e 66 69 67 20 73 74 72 75 63 74 75 72  lConfig structur
05a0: 65 2e 0a 20 20 20 20 2a 2f 0a 20 20 20 20 73 71  e..    */.    sq
05b0: 6c 69 74 65 33 5f 6d 75 74 65 78 5f 6d 65 74 68  lite3_mutex_meth
05c0: 6f 64 73 20 63 6f 6e 73 74 20 2a 70 46 72 6f 6d  ods const *pFrom
05d0: 3b 0a 20 20 20 20 73 71 6c 69 74 65 33 5f 6d 75  ;.    sqlite3_mu
05e0: 74 65 78 5f 6d 65 74 68 6f 64 73 20 2a 70 54 6f  tex_methods *pTo
05f0: 20 3d 20 26 73 71 6c 69 74 65 33 47 6c 6f 62 61   = &sqlite3Globa
0600: 6c 43 6f 6e 66 69 67 2e 6d 75 74 65 78 3b 0a 0a  lConfig.mutex;..
0610: 20 20 20 20 69 66 28 20 73 71 6c 69 74 65 33 47      if( sqlite3G
0620: 6c 6f 62 61 6c 43 6f 6e 66 69 67 2e 62 43 6f 72  lobalConfig.bCor
0630: 65 4d 75 74 65 78 20 29 7b 0a 20 20 20 20 20 20  eMutex ){.      
0640: 70 46 72 6f 6d 20 3d 20 73 71 6c 69 74 65 33 44  pFrom = sqlite3D
0650: 65 66 61 75 6c 74 4d 75 74 65 78 28 29 3b 0a 20  efaultMutex();. 
0660: 20 20 20 7d 65 6c 73 65 7b 0a 20 20 20 20 20 20     }else{.      
0670: 70 46 72 6f 6d 20 3d 20 73 71 6c 69 74 65 33 4e  pFrom = sqlite3N
0680: 6f 6f 70 4d 75 74 65 78 28 29 3b 0a 20 20 20 20  oopMutex();.    
0690: 7d 0a 20 20 20 20 70 54 6f 2d 3e 78 4d 75 74 65  }.    pTo->xMute
06a0: 78 49 6e 69 74 20 3d 20 70 46 72 6f 6d 2d 3e 78  xInit = pFrom->x
06b0: 4d 75 74 65 78 49 6e 69 74 3b 0a 20 20 20 20 70  MutexInit;.    p
06c0: 54 6f 2d 3e 78 4d 75 74 65 78 45 6e 64 20 3d 20  To->xMutexEnd = 
06d0: 70 46 72 6f 6d 2d 3e 78 4d 75 74 65 78 45 6e 64  pFrom->xMutexEnd
06e0: 3b 0a 20 20 20 20 70 54 6f 2d 3e 78 4d 75 74 65  ;.    pTo->xMute
06f0: 78 46 72 65 65 20 3d 20 70 46 72 6f 6d 2d 3e 78  xFree = pFrom->x
0700: 4d 75 74 65 78 46 72 65 65 3b 0a 20 20 20 20 70  MutexFree;.    p
0710: 54 6f 2d 3e 78 4d 75 74 65 78 45 6e 74 65 72 20  To->xMutexEnter 
0720: 3d 20 70 46 72 6f 6d 2d 3e 78 4d 75 74 65 78 45  = pFrom->xMutexE
0730: 6e 74 65 72 3b 0a 20 20 20 20 70 54 6f 2d 3e 78  nter;.    pTo->x
0740: 4d 75 74 65 78 54 72 79 20 3d 20 70 46 72 6f 6d  MutexTry = pFrom
0750: 2d 3e 78 4d 75 74 65 78 54 72 79 3b 0a 20 20 20  ->xMutexTry;.   
0760: 20 70 54 6f 2d 3e 78 4d 75 74 65 78 4c 65 61 76   pTo->xMutexLeav
0770: 65 20 3d 20 70 46 72 6f 6d 2d 3e 78 4d 75 74 65  e = pFrom->xMute
0780: 78 4c 65 61 76 65 3b 0a 20 20 20 20 70 54 6f 2d  xLeave;.    pTo-
0790: 3e 78 4d 75 74 65 78 48 65 6c 64 20 3d 20 70 46  >xMutexHeld = pF
07a0: 72 6f 6d 2d 3e 78 4d 75 74 65 78 48 65 6c 64 3b  rom->xMutexHeld;
07b0: 0a 20 20 20 20 70 54 6f 2d 3e 78 4d 75 74 65 78  .    pTo->xMutex
07c0: 4e 6f 74 68 65 6c 64 20 3d 20 70 46 72 6f 6d 2d  Notheld = pFrom-
07d0: 3e 78 4d 75 74 65 78 4e 6f 74 68 65 6c 64 3b 0a  >xMutexNotheld;.
07e0: 20 20 20 20 73 71 6c 69 74 65 33 4d 65 6d 6f 72      sqlite3Memor
07f0: 79 42 61 72 72 69 65 72 28 29 3b 0a 20 20 20 20  yBarrier();.    
0800: 70 54 6f 2d 3e 78 4d 75 74 65 78 41 6c 6c 6f 63  pTo->xMutexAlloc
0810: 20 3d 20 70 46 72 6f 6d 2d 3e 78 4d 75 74 65 78   = pFrom->xMutex
0820: 41 6c 6c 6f 63 3b 0a 20 20 7d 0a 20 20 61 73 73  Alloc;.  }.  ass
0830: 65 72 74 28 20 73 71 6c 69 74 65 33 47 6c 6f 62  ert( sqlite3Glob
0840: 61 6c 43 6f 6e 66 69 67 2e 6d 75 74 65 78 2e 78  alConfig.mutex.x
0850: 4d 75 74 65 78 49 6e 69 74 20 29 3b 0a 20 20 72  MutexInit );.  r
0860: 63 20 3d 20 73 71 6c 69 74 65 33 47 6c 6f 62 61  c = sqlite3Globa
0870: 6c 43 6f 6e 66 69 67 2e 6d 75 74 65 78 2e 78 4d  lConfig.mutex.xM
0880: 75 74 65 78 49 6e 69 74 28 29 3b 0a 0a 23 69 66  utexInit();..#if
0890: 64 65 66 20 53 51 4c 49 54 45 5f 44 45 42 55 47  def SQLITE_DEBUG
08a0: 0a 20 20 47 4c 4f 42 41 4c 28 69 6e 74 2c 20 6d  .  GLOBAL(int, m
08b0: 75 74 65 78 49 73 49 6e 69 74 29 20 3d 20 31 3b  utexIsInit) = 1;
08c0: 0a 23 65 6e 64 69 66 0a 0a 20 20 72 65 74 75 72  .#endif..  retur
08d0: 6e 20 72 63 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 53  n rc;.}../*.** S
08e0: 68 75 74 64 6f 77 6e 20 74 68 65 20 6d 75 74 65  hutdown the mute
08f0: 78 20 73 79 73 74 65 6d 2e 20 54 68 69 73 20 63  x system. This c
0900: 61 6c 6c 20 66 72 65 65 73 20 72 65 73 6f 75 72  all frees resour
0910: 63 65 73 20 61 6c 6c 6f 63 61 74 65 64 20 62 79  ces allocated by
0920: 0a 2a 2a 20 73 71 6c 69 74 65 33 4d 75 74 65 78  .** sqlite3Mutex
0930: 49 6e 69 74 28 29 2e 0a 2a 2f 0a 69 6e 74 20 73  Init()..*/.int s
0940: 71 6c 69 74 65 33 4d 75 74 65 78 45 6e 64 28 76  qlite3MutexEnd(v
0950: 6f 69 64 29 7b 0a 20 20 69 6e 74 20 72 63 20 3d  oid){.  int rc =
0960: 20 53 51 4c 49 54 45 5f 4f 4b 3b 0a 20 20 69 66   SQLITE_OK;.  if
0970: 28 20 73 71 6c 69 74 65 33 47 6c 6f 62 61 6c 43  ( sqlite3GlobalC
0980: 6f 6e 66 69 67 2e 6d 75 74 65 78 2e 78 4d 75 74  onfig.mutex.xMut
0990: 65 78 45 6e 64 20 29 7b 0a 20 20 20 20 72 63 20  exEnd ){.    rc 
09a0: 3d 20 73 71 6c 69 74 65 33 47 6c 6f 62 61 6c 43  = sqlite3GlobalC
09b0: 6f 6e 66 69 67 2e 6d 75 74 65 78 2e 78 4d 75 74  onfig.mutex.xMut
09c0: 65 78 45 6e 64 28 29 3b 0a 20 20 7d 0a 0a 23 69  exEnd();.  }..#i
09d0: 66 64 65 66 20 53 51 4c 49 54 45 5f 44 45 42 55  fdef SQLITE_DEBU
09e0: 47 0a 20 20 47 4c 4f 42 41 4c 28 69 6e 74 2c 20  G.  GLOBAL(int, 
09f0: 6d 75 74 65 78 49 73 49 6e 69 74 29 20 3d 20 30  mutexIsInit) = 0
0a00: 3b 0a 23 65 6e 64 69 66 0a 0a 20 20 72 65 74 75  ;.#endif..  retu
0a10: 72 6e 20 72 63 3b 0a 7d 0a 0a 23 69 66 20 53 51  rn rc;.}..#if SQ
0a20: 4c 49 54 45 5f 4d 55 54 45 58 5f 41 4c 45 52 54  LITE_MUTEX_ALERT
0a30: 5f 4d 49 4c 4c 49 53 45 43 4f 4e 44 53 3e 30 0a  _MILLISECONDS>0.
0a40: 2f 2a 20 52 65 74 75 72 6e 20 61 20 74 69 6d 65  /* Return a time
0a50: 20 76 61 6c 75 65 20 66 6f 72 20 75 73 65 20 62   value for use b
0a60: 79 20 74 68 65 20 6d 75 74 65 78 20 73 75 62 73  y the mutex subs
0a70: 79 73 74 65 6d 2e 20 2a 2f 0a 69 36 34 20 73 71  ystem. */.i64 sq
0a80: 6c 69 74 65 33 4d 75 74 65 78 54 69 6d 65 4f 66  lite3MutexTimeOf
0a90: 44 61 79 28 76 6f 69 64 29 7b 0a 23 69 66 64 65  Day(void){.#ifde
0aa0: 66 20 53 51 4c 49 54 45 5f 47 45 54 5f 4d 55 54  f SQLITE_GET_MUT
0ab0: 45 58 5f 54 49 4d 45 0a 20 20 53 51 4c 49 54 45  EX_TIME.  SQLITE
0ac0: 5f 47 45 54 5f 4d 55 54 45 58 5f 54 49 4d 45 3b  _GET_MUTEX_TIME;
0ad0: 0a 23 65 6c 73 65 0a 20 20 72 65 74 75 72 6e 20  .#else.  return 
0ae0: 30 3b 0a 23 65 6e 64 69 66 0a 7d 0a 0a 2f 2a 0a  0;.#endif.}../*.
0af0: 2a 2a 20 43 61 6c 63 75 6c 61 74 65 73 20 74 68  ** Calculates th
0b00: 65 20 65 6c 61 70 73 65 64 20 74 69 6d 65 2c 20  e elapsed time, 
0b10: 69 6e 20 6d 69 6c 6c 69 73 65 63 6f 6e 64 73 2c  in milliseconds,
0b20: 20 74 68 61 74 20 61 20 70 61 72 74 69 63 75 6c   that a particul
0b30: 61 72 20 6d 75 74 65 78 0a 2a 2a 20 77 61 73 20  ar mutex.** was 
0b40: 68 65 6c 64 20 61 6e 64 20 69 73 73 75 65 73 20  held and issues 
0b50: 61 20 77 61 72 6e 69 6e 67 2c 20 76 69 61 20 74  a warning, via t
0b60: 68 65 20 73 71 6c 69 74 65 33 5f 6c 6f 67 28 29  he sqlite3_log()
0b70: 20 69 6e 74 65 72 66 61 63 65 2c 20 69 66 20 69   interface, if i
0b80: 74 0a 2a 2a 20 77 61 73 20 68 65 6c 64 20 66 6f  t.** was held fo
0b90: 72 20 22 74 6f 6f 20 6c 6f 6e 67 22 2e 0a 2a 2f  r "too long"..*/
0ba0: 0a 76 6f 69 64 20 73 71 6c 69 74 65 33 4d 75 74  .void sqlite3Mut
0bb0: 65 78 54 69 6d 65 41 6c 65 72 74 28 0a 20 20 73  exTimeAlert(.  s
0bc0: 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a 70 2c  qlite3_mutex *p,
0bd0: 0a 20 20 69 36 34 20 65 6e 74 65 72 65 64 0a 29  .  i64 entered.)
0be0: 7b 0a 20 20 69 36 34 20 65 78 69 74 65 64 20 3d  {.  i64 exited =
0bf0: 20 73 71 6c 69 74 65 33 4d 75 74 65 78 54 69 6d   sqlite3MutexTim
0c00: 65 4f 66 44 61 79 28 29 3b 0a 20 20 69 36 34 20  eOfDay();.  i64 
0c10: 65 6c 61 70 73 65 64 3b 0a 20 20 61 73 73 65 72  elapsed;.  asser
0c20: 74 28 20 70 21 3d 30 20 29 3b 0a 20 20 61 73 73  t( p!=0 );.  ass
0c30: 65 72 74 28 20 65 78 69 74 65 64 3e 3d 65 6e 74  ert( exited>=ent
0c40: 65 72 65 64 20 29 3b 0a 20 20 65 6c 61 70 73 65  ered );.  elapse
0c50: 64 20 3d 20 65 78 69 74 65 64 20 2d 20 65 6e 74  d = exited - ent
0c60: 65 72 65 64 3b 0a 20 20 69 66 28 20 65 6c 61 70  ered;.  if( elap
0c70: 73 65 64 3e 53 51 4c 49 54 45 5f 4d 55 54 45 58  sed>SQLITE_MUTEX
0c80: 5f 41 4c 45 52 54 5f 4d 49 4c 4c 49 53 45 43 4f  _ALERT_MILLISECO
0c90: 4e 44 53 20 29 7b 0a 20 20 20 20 76 6f 69 64 20  NDS ){.    void 
0ca0: 2a 74 69 64 20 3d 20 30 3b 0a 20 20 20 20 69 6e  *tid = 0;.    in
0cb0: 74 20 6d 69 64 20 3d 20 2d 31 3b 0a 23 69 66 64  t mid = -1;.#ifd
0cc0: 65 66 20 53 51 4c 49 54 45 5f 47 45 54 5f 54 48  ef SQLITE_GET_TH
0cd0: 52 45 41 44 5f 49 44 0a 20 20 20 20 74 69 64 20  READ_ID.    tid 
0ce0: 3d 20 53 51 4c 49 54 45 5f 47 45 54 5f 54 48 52  = SQLITE_GET_THR
0cf0: 45 41 44 5f 49 44 28 29 3b 0a 23 65 6e 64 69 66  EAD_ID();.#endif
0d00: 0a 23 69 66 64 65 66 20 53 51 4c 49 54 45 5f 47  .#ifdef SQLITE_G
0d10: 45 54 5f 4d 55 54 45 58 5f 49 44 0a 20 20 20 20  ET_MUTEX_ID.    
0d20: 6d 69 64 20 3d 20 53 51 4c 49 54 45 5f 47 45 54  mid = SQLITE_GET
0d30: 5f 4d 55 54 45 58 5f 49 44 28 70 29 3b 0a 23 65  _MUTEX_ID(p);.#e
0d40: 6e 64 69 66 0a 20 20 20 20 73 71 6c 69 74 65 33  ndif.    sqlite3
0d50: 5f 6c 6f 67 28 53 51 4c 49 54 45 5f 4e 4f 54 49  _log(SQLITE_NOTI
0d60: 43 45 2c 0a 20 20 20 20 20 20 22 74 68 72 65 61  CE,.      "threa
0d70: 64 20 25 70 20 64 65 6c 61 79 65 64 20 25 6c 6c  d %p delayed %ll
0d80: 64 6d 73 20 66 6f 72 20 6d 75 74 65 78 20 25 70  dms for mutex %p
0d90: 20 28 25 64 29 22 2c 0a 20 20 20 20 20 20 74 69   (%d)",.      ti
0da0: 64 2c 20 65 6c 61 70 73 65 64 2c 20 70 2c 20 6d  d, elapsed, p, m
0db0: 69 64 0a 20 20 20 20 29 3b 0a 20 20 7d 0a 7d 0a  id.    );.  }.}.
0dc0: 23 65 6e 64 69 66 0a 0a 2f 2a 0a 2a 2a 20 52 65  #endif../*.** Re
0dd0: 74 72 69 65 76 65 20 61 20 70 6f 69 6e 74 65 72  trieve a pointer
0de0: 20 74 6f 20 61 20 73 74 61 74 69 63 20 6d 75 74   to a static mut
0df0: 65 78 20 6f 72 20 61 6c 6c 6f 63 61 74 65 20 61  ex or allocate a
0e00: 20 6e 65 77 20 64 79 6e 61 6d 69 63 20 6f 6e 65   new dynamic one
0e10: 2e 0a 2a 2f 0a 73 71 6c 69 74 65 33 5f 6d 75 74  ..*/.sqlite3_mut
0e20: 65 78 20 2a 73 71 6c 69 74 65 33 5f 6d 75 74 65  ex *sqlite3_mute
0e30: 78 5f 61 6c 6c 6f 63 28 69 6e 74 20 69 64 29 7b  x_alloc(int id){
0e40: 0a 23 69 66 6e 64 65 66 20 53 51 4c 49 54 45 5f  .#ifndef SQLITE_
0e50: 4f 4d 49 54 5f 41 55 54 4f 49 4e 49 54 0a 20 20  OMIT_AUTOINIT.  
0e60: 69 66 28 20 69 64 3c 3d 53 51 4c 49 54 45 5f 4d  if( id<=SQLITE_M
0e70: 55 54 45 58 5f 52 45 43 55 52 53 49 56 45 20 26  UTEX_RECURSIVE &
0e80: 26 20 73 71 6c 69 74 65 33 5f 69 6e 69 74 69 61  & sqlite3_initia
0e90: 6c 69 7a 65 28 29 20 29 20 72 65 74 75 72 6e 20  lize() ) return 
0ea0: 30 3b 0a 20 20 69 66 28 20 69 64 3e 53 51 4c 49  0;.  if( id>SQLI
0eb0: 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49  TE_MUTEX_RECURSI
0ec0: 56 45 20 26 26 20 73 71 6c 69 74 65 33 4d 75 74  VE && sqlite3Mut
0ed0: 65 78 49 6e 69 74 28 29 20 29 20 72 65 74 75 72  exInit() ) retur
0ee0: 6e 20 30 3b 0a 23 65 6e 64 69 66 0a 20 20 61 73  n 0;.#endif.  as
0ef0: 73 65 72 74 28 20 73 71 6c 69 74 65 33 47 6c 6f  sert( sqlite3Glo
0f00: 62 61 6c 43 6f 6e 66 69 67 2e 6d 75 74 65 78 2e  balConfig.mutex.
0f10: 78 4d 75 74 65 78 41 6c 6c 6f 63 20 29 3b 0a 20  xMutexAlloc );. 
0f20: 20 72 65 74 75 72 6e 20 73 71 6c 69 74 65 33 47   return sqlite3G
0f30: 6c 6f 62 61 6c 43 6f 6e 66 69 67 2e 6d 75 74 65  lobalConfig.mute
0f40: 78 2e 78 4d 75 74 65 78 41 6c 6c 6f 63 28 69 64  x.xMutexAlloc(id
0f50: 29 3b 0a 7d 0a 0a 73 71 6c 69 74 65 33 5f 6d 75  );.}..sqlite3_mu
0f60: 74 65 78 20 2a 73 71 6c 69 74 65 33 4d 75 74 65  tex *sqlite3Mute
0f70: 78 41 6c 6c 6f 63 28 69 6e 74 20 69 64 29 7b 0a  xAlloc(int id){.
0f80: 20 20 69 66 28 20 21 73 71 6c 69 74 65 33 47 6c    if( !sqlite3Gl
0f90: 6f 62 61 6c 43 6f 6e 66 69 67 2e 62 43 6f 72 65  obalConfig.bCore
0fa0: 4d 75 74 65 78 20 29 7b 0a 20 20 20 20 72 65 74  Mutex ){.    ret
0fb0: 75 72 6e 20 30 3b 0a 20 20 7d 0a 20 20 61 73 73  urn 0;.  }.  ass
0fc0: 65 72 74 28 20 47 4c 4f 42 41 4c 28 69 6e 74 2c  ert( GLOBAL(int,
0fd0: 20 6d 75 74 65 78 49 73 49 6e 69 74 29 20 29 3b   mutexIsInit) );
0fe0: 0a 20 20 61 73 73 65 72 74 28 20 73 71 6c 69 74  .  assert( sqlit
0ff0: 65 33 47 6c 6f 62 61 6c 43 6f 6e 66 69 67 2e 6d  e3GlobalConfig.m
1000: 75 74 65 78 2e 78 4d 75 74 65 78 41 6c 6c 6f 63  utex.xMutexAlloc
1010: 20 29 3b 0a 20 20 72 65 74 75 72 6e 20 73 71 6c   );.  return sql
1020: 69 74 65 33 47 6c 6f 62 61 6c 43 6f 6e 66 69 67  ite3GlobalConfig
1030: 2e 6d 75 74 65 78 2e 78 4d 75 74 65 78 41 6c 6c  .mutex.xMutexAll
1040: 6f 63 28 69 64 29 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a  oc(id);.}../*.**
1050: 20 46 72 65 65 20 61 20 64 79 6e 61 6d 69 63 20   Free a dynamic 
1060: 6d 75 74 65 78 2e 0a 2a 2f 0a 76 6f 69 64 20 73  mutex..*/.void s
1070: 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 66 72 65  qlite3_mutex_fre
1080: 65 28 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20  e(sqlite3_mutex 
1090: 2a 70 29 7b 0a 20 20 69 66 28 20 70 20 29 7b 0a  *p){.  if( p ){.
10a0: 20 20 20 20 61 73 73 65 72 74 28 20 73 71 6c 69      assert( sqli
10b0: 74 65 33 47 6c 6f 62 61 6c 43 6f 6e 66 69 67 2e  te3GlobalConfig.
10c0: 6d 75 74 65 78 2e 78 4d 75 74 65 78 46 72 65 65  mutex.xMutexFree
10d0: 20 29 3b 0a 20 20 20 20 73 71 6c 69 74 65 33 47   );.    sqlite3G
10e0: 6c 6f 62 61 6c 43 6f 6e 66 69 67 2e 6d 75 74 65  lobalConfig.mute
10f0: 78 2e 78 4d 75 74 65 78 46 72 65 65 28 70 29 3b  x.xMutexFree(p);
1100: 0a 20 20 7d 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 4f 62  .  }.}../*.** Ob
1110: 74 61 69 6e 20 74 68 65 20 6d 75 74 65 78 20 70  tain the mutex p
1120: 2e 20 49 66 20 73 6f 6d 65 20 6f 74 68 65 72 20  . If some other 
1130: 74 68 72 65 61 64 20 61 6c 72 65 61 64 79 20 68  thread already h
1140: 61 73 20 74 68 65 20 6d 75 74 65 78 2c 20 62 6c  as the mutex, bl
1150: 6f 63 6b 0a 2a 2a 20 75 6e 74 69 6c 20 69 74 20  ock.** until it 
1160: 63 61 6e 20 62 65 20 6f 62 74 61 69 6e 65 64 2e  can be obtained.
1170: 0a 2a 2f 0a 76 6f 69 64 20 73 71 6c 69 74 65 33  .*/.void sqlite3
1180: 5f 6d 75 74 65 78 5f 65 6e 74 65 72 28 73 71 6c  _mutex_enter(sql
1190: 69 74 65 33 5f 6d 75 74 65 78 20 2a 70 29 7b 0a  ite3_mutex *p){.
11a0: 20 20 69 66 28 20 70 20 29 7b 0a 20 20 20 20 61    if( p ){.    a
11b0: 73 73 65 72 74 28 20 73 71 6c 69 74 65 33 47 6c  ssert( sqlite3Gl
11c0: 6f 62 61 6c 43 6f 6e 66 69 67 2e 6d 75 74 65 78  obalConfig.mutex
11d0: 2e 78 4d 75 74 65 78 45 6e 74 65 72 20 29 3b 0a  .xMutexEnter );.
11e0: 20 20 20 20 73 71 6c 69 74 65 33 47 6c 6f 62 61      sqlite3Globa
11f0: 6c 43 6f 6e 66 69 67 2e 6d 75 74 65 78 2e 78 4d  lConfig.mutex.xM
1200: 75 74 65 78 45 6e 74 65 72 28 70 29 3b 0a 20 20  utexEnter(p);.  
1210: 7d 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 4f 62 74 61 69  }.}../*.** Obtai
1220: 6e 20 74 68 65 20 6d 75 74 65 78 20 70 2e 20 49  n the mutex p. I
1230: 66 20 73 75 63 63 65 73 73 66 75 6c 2c 20 72 65  f successful, re
1240: 74 75 72 6e 20 53 51 4c 49 54 45 5f 4f 4b 2e 20  turn SQLITE_OK. 
1250: 4f 74 68 65 72 77 69 73 65 2c 20 69 66 20 61 6e  Otherwise, if an
1260: 6f 74 68 65 72 0a 2a 2a 20 74 68 72 65 61 64 20  other.** thread 
1270: 68 6f 6c 64 73 20 74 68 65 20 6d 75 74 65 78 20  holds the mutex 
1280: 61 6e 64 20 69 74 20 63 61 6e 6e 6f 74 20 62 65  and it cannot be
1290: 20 6f 62 74 61 69 6e 65 64 2c 20 72 65 74 75 72   obtained, retur
12a0: 6e 20 53 51 4c 49 54 45 5f 42 55 53 59 2e 0a 2a  n SQLITE_BUSY..*
12b0: 2f 0a 69 6e 74 20 73 71 6c 69 74 65 33 5f 6d 75  /.int sqlite3_mu
12c0: 74 65 78 5f 74 72 79 28 73 71 6c 69 74 65 33 5f  tex_try(sqlite3_
12d0: 6d 75 74 65 78 20 2a 70 29 7b 0a 20 20 69 6e 74  mutex *p){.  int
12e0: 20 72 63 20 3d 20 53 51 4c 49 54 45 5f 4f 4b 3b   rc = SQLITE_OK;
12f0: 0a 20 20 69 66 28 20 70 20 29 7b 0a 20 20 20 20  .  if( p ){.    
1300: 61 73 73 65 72 74 28 20 73 71 6c 69 74 65 33 47  assert( sqlite3G
1310: 6c 6f 62 61 6c 43 6f 6e 66 69 67 2e 6d 75 74 65  lobalConfig.mute
1320: 78 2e 78 4d 75 74 65 78 54 72 79 20 29 3b 0a 20  x.xMutexTry );. 
1330: 20 20 20 72 65 74 75 72 6e 20 73 71 6c 69 74 65     return sqlite
1340: 33 47 6c 6f 62 61 6c 43 6f 6e 66 69 67 2e 6d 75  3GlobalConfig.mu
1350: 74 65 78 2e 78 4d 75 74 65 78 54 72 79 28 70 29  tex.xMutexTry(p)
1360: 3b 0a 20 20 7d 0a 20 20 72 65 74 75 72 6e 20 72  ;.  }.  return r
1370: 63 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 54 68 65 20  c;.}../*.** The 
1380: 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 6c 65  sqlite3_mutex_le
1390: 61 76 65 28 29 20 72 6f 75 74 69 6e 65 20 65 78  ave() routine ex
13a0: 69 74 73 20 61 20 6d 75 74 65 78 20 74 68 61 74  its a mutex that
13b0: 20 77 61 73 20 70 72 65 76 69 6f 75 73 6c 79 0a   was previously.
13c0: 2a 2a 20 65 6e 74 65 72 65 64 20 62 79 20 74 68  ** entered by th
13d0: 65 20 73 61 6d 65 20 74 68 72 65 61 64 2e 20 20  e same thread.  
13e0: 54 68 65 20 62 65 68 61 76 69 6f 72 20 69 73 20  The behavior is 
13f0: 75 6e 64 65 66 69 6e 65 64 20 69 66 20 74 68 65  undefined if the
1400: 20 6d 75 74 65 78 20 0a 2a 2a 20 69 73 20 6e 6f   mutex .** is no
1410: 74 20 63 75 72 72 65 6e 74 6c 79 20 65 6e 74 65  t currently ente
1420: 72 65 64 2e 20 49 66 20 61 20 4e 55 4c 4c 20 70  red. If a NULL p
1430: 6f 69 6e 74 65 72 20 69 73 20 70 61 73 73 65 64  ointer is passed
1440: 20 61 73 20 61 6e 20 61 72 67 75 6d 65 6e 74 0a   as an argument.
1450: 2a 2a 20 74 68 69 73 20 66 75 6e 63 74 69 6f 6e  ** this function
1460: 20 69 73 20 61 20 6e 6f 2d 6f 70 2e 0a 2a 2f 0a   is a no-op..*/.
1470: 76 6f 69 64 20 73 71 6c 69 74 65 33 5f 6d 75 74  void sqlite3_mut
1480: 65 78 5f 6c 65 61 76 65 28 73 71 6c 69 74 65 33  ex_leave(sqlite3
1490: 5f 6d 75 74 65 78 20 2a 70 29 7b 0a 20 20 69 66  _mutex *p){.  if
14a0: 28 20 70 20 29 7b 0a 20 20 20 20 61 73 73 65 72  ( p ){.    asser
14b0: 74 28 20 73 71 6c 69 74 65 33 47 6c 6f 62 61 6c  t( sqlite3Global
14c0: 43 6f 6e 66 69 67 2e 6d 75 74 65 78 2e 78 4d 75  Config.mutex.xMu
14d0: 74 65 78 4c 65 61 76 65 20 29 3b 0a 20 20 20 20  texLeave );.    
14e0: 73 71 6c 69 74 65 33 47 6c 6f 62 61 6c 43 6f 6e  sqlite3GlobalCon
14f0: 66 69 67 2e 6d 75 74 65 78 2e 78 4d 75 74 65 78  fig.mutex.xMutex
1500: 4c 65 61 76 65 28 70 29 3b 0a 20 20 7d 0a 7d 0a  Leave(p);.  }.}.
1510: 0a 23 69 66 6e 64 65 66 20 4e 44 45 42 55 47 0a  .#ifndef NDEBUG.
1520: 2f 2a 0a 2a 2a 20 54 68 65 20 73 71 6c 69 74 65  /*.** The sqlite
1530: 33 5f 6d 75 74 65 78 5f 68 65 6c 64 28 29 20 61  3_mutex_held() a
1540: 6e 64 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  nd sqlite3_mutex
1550: 5f 6e 6f 74 68 65 6c 64 28 29 20 72 6f 75 74 69  _notheld() routi
1560: 6e 65 20 61 72 65 0a 2a 2a 20 69 6e 74 65 6e 64  ne are.** intend
1570: 65 64 20 66 6f 72 20 75 73 65 20 69 6e 73 69 64  ed for use insid
1580: 65 20 61 73 73 65 72 74 28 29 20 73 74 61 74 65  e assert() state
1590: 6d 65 6e 74 73 2e 0a 2a 2f 0a 69 6e 74 20 73 71  ments..*/.int sq
15a0: 6c 69 74 65 33 5f 6d 75 74 65 78 5f 68 65 6c 64  lite3_mutex_held
15b0: 28 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a  (sqlite3_mutex *
15c0: 70 29 7b 0a 20 20 61 73 73 65 72 74 28 20 70 3d  p){.  assert( p=
15d0: 3d 30 20 7c 7c 20 73 71 6c 69 74 65 33 47 6c 6f  =0 || sqlite3Glo
15e0: 62 61 6c 43 6f 6e 66 69 67 2e 6d 75 74 65 78 2e  balConfig.mutex.
15f0: 78 4d 75 74 65 78 48 65 6c 64 20 29 3b 0a 20 20  xMutexHeld );.  
1600: 72 65 74 75 72 6e 20 70 3d 3d 30 20 7c 7c 20 73  return p==0 || s
1610: 71 6c 69 74 65 33 47 6c 6f 62 61 6c 43 6f 6e 66  qlite3GlobalConf
1620: 69 67 2e 6d 75 74 65 78 2e 78 4d 75 74 65 78 48  ig.mutex.xMutexH
1630: 65 6c 64 28 70 29 3b 0a 7d 0a 69 6e 74 20 73 71  eld(p);.}.int sq
1640: 6c 69 74 65 33 5f 6d 75 74 65 78 5f 6e 6f 74 68  lite3_mutex_noth
1650: 65 6c 64 28 73 71 6c 69 74 65 33 5f 6d 75 74 65  eld(sqlite3_mute
1660: 78 20 2a 70 29 7b 0a 20 20 61 73 73 65 72 74 28  x *p){.  assert(
1670: 20 70 3d 3d 30 20 7c 7c 20 73 71 6c 69 74 65 33   p==0 || sqlite3
1680: 47 6c 6f 62 61 6c 43 6f 6e 66 69 67 2e 6d 75 74  GlobalConfig.mut
1690: 65 78 2e 78 4d 75 74 65 78 4e 6f 74 68 65 6c 64  ex.xMutexNotheld
16a0: 20 29 3b 0a 20 20 72 65 74 75 72 6e 20 70 3d 3d   );.  return p==
16b0: 30 20 7c 7c 20 73 71 6c 69 74 65 33 47 6c 6f 62  0 || sqlite3Glob
16c0: 61 6c 43 6f 6e 66 69 67 2e 6d 75 74 65 78 2e 78  alConfig.mutex.x
16d0: 4d 75 74 65 78 4e 6f 74 68 65 6c 64 28 70 29 3b  MutexNotheld(p);
16e0: 0a 7d 0a 23 65 6e 64 69 66 0a 0a 23 65 6e 64 69  .}.#endif..#endi
16f0: 66 20 2f 2a 20 21 64 65 66 69 6e 65 64 28 53 51  f /* !defined(SQ
1700: 4c 49 54 45 5f 4d 55 54 45 58 5f 4f 4d 49 54 29  LITE_MUTEX_OMIT)
1710: 20 2a 2f 0a                                       */.