/ Hex Artifact Content
Login

Artifact d2c56fb81aca10af1577bdae2a4083eb2505f8ee:


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 20 77 69 6e 33 32 0a 2a 2a 0a 2a 2a   for win32.**.**
01c0: 20 24 49 64 3a 20 6d 75 74 65 78 5f 77 33 32 2e   $Id: mutex_w32.
01d0: 63 2c 76 20 31 2e 34 20 32 30 30 37 2f 30 39 2f  c,v 1.4 2007/09/
01e0: 30 35 20 31 34 3a 33 30 3a 34 32 20 64 72 68 20  05 14:30:42 drh 
01f0: 45 78 70 20 24 0a 2a 2f 0a 23 69 6e 63 6c 75 64  Exp $.*/.#includ
0200: 65 20 22 73 71 6c 69 74 65 49 6e 74 2e 68 22 0a  e "sqliteInt.h".
0210: 0a 2f 2a 0a 2a 2a 20 54 68 65 20 63 6f 64 65 20  ./*.** The code 
0220: 69 6e 20 74 68 69 73 20 66 69 6c 65 20 69 73 20  in this file is 
0230: 6f 6e 6c 79 20 75 73 65 64 20 69 66 20 77 65 20  only used if we 
0240: 61 72 65 20 63 6f 6d 70 69 6c 69 6e 67 20 6d 75  are compiling mu
0250: 6c 74 69 74 68 72 65 61 64 65 64 0a 2a 2a 20 6f  ltithreaded.** o
0260: 6e 20 61 20 77 69 6e 33 32 20 73 79 73 74 65 6d  n a win32 system
0270: 2e 0a 2a 2f 0a 23 69 66 64 65 66 20 53 51 4c 49  ..*/.#ifdef SQLI
0280: 54 45 5f 4d 55 54 45 58 5f 57 33 32 0a 0a 2f 2a  TE_MUTEX_W32../*
0290: 0a 2a 2a 20 45 61 63 68 20 72 65 63 75 72 73 69  .** Each recursi
02a0: 76 65 20 6d 75 74 65 78 20 69 73 20 61 6e 20 69  ve mutex is an i
02b0: 6e 73 74 61 6e 63 65 20 6f 66 20 74 68 65 20 66  nstance of the f
02c0: 6f 6c 6c 6f 77 69 6e 67 20 73 74 72 75 63 74 75  ollowing structu
02d0: 72 65 2e 0a 2a 2f 0a 73 74 72 75 63 74 20 73 71  re..*/.struct sq
02e0: 6c 69 74 65 33 5f 6d 75 74 65 78 20 7b 0a 20 20  lite3_mutex {.  
02f0: 43 52 49 54 49 43 41 4c 5f 53 45 43 54 49 4f 4e  CRITICAL_SECTION
0300: 20 6d 75 74 65 78 3b 20 20 20 20 2f 2a 20 4d 75   mutex;    /* Mu
0310: 74 65 78 20 63 6f 6e 74 72 6f 6c 6c 69 6e 67 20  tex controlling 
0320: 74 68 65 20 6c 6f 63 6b 20 2a 2f 0a 20 20 69 6e  the lock */.  in
0330: 74 20 69 64 3b 20 20 20 20 20 20 20 20 20 20 20  t id;           
0340: 20 20 20 20 20 20 20 20 20 2f 2a 20 4d 75 74 65           /* Mute
0350: 78 20 74 79 70 65 20 2a 2f 0a 20 20 69 6e 74 20  x type */.  int 
0360: 6e 52 65 66 3b 20 20 20 20 20 20 20 20 20 20 20  nRef;           
0370: 20 20 20 20 20 20 20 2f 2a 20 4e 75 6d 62 65 72         /* Number
0380: 20 6f 66 20 65 6e 74 65 72 61 6e 63 65 73 20 2a   of enterances *
0390: 2f 0a 20 20 44 57 4f 52 44 20 6f 77 6e 65 72 3b  /.  DWORD owner;
03a0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 2f                 /
03b0: 2a 20 54 68 72 65 61 64 20 68 6f 6c 64 69 6e 67  * Thread holding
03c0: 20 74 68 69 73 20 6d 75 74 65 78 20 2a 2f 0a 7d   this mutex */.}
03d0: 3b 0a 0a 2f 2a 0a 2a 2a 20 52 65 74 75 72 6e 20  ;../*.** Return 
03e0: 74 72 75 65 20 28 6e 6f 6e 2d 7a 65 72 6f 29 20  true (non-zero) 
03f0: 69 66 20 77 65 20 61 72 65 20 72 75 6e 6e 69 6e  if we are runnin
0400: 67 20 75 6e 64 65 72 20 57 69 6e 4e 54 2c 20 57  g under WinNT, W
0410: 69 6e 32 4b 2c 20 57 69 6e 58 50 2c 0a 2a 2a 20  in2K, WinXP,.** 
0420: 6f 72 20 57 69 6e 43 45 2e 20 20 52 65 74 75 72  or WinCE.  Retur
0430: 6e 20 66 61 6c 73 65 20 28 7a 65 72 6f 29 20 66  n false (zero) f
0440: 6f 72 20 57 69 6e 39 35 2c 20 57 69 6e 39 38 2c  or Win95, Win98,
0450: 20 6f 72 20 57 69 6e 4d 45 2e 0a 2a 2a 0a 2a 2a   or WinME..**.**
0460: 20 48 65 72 65 20 69 73 20 61 6e 20 69 6e 74 65   Here is an inte
0470: 72 65 73 74 69 6e 67 20 6f 62 73 65 72 76 61 74  resting observat
0480: 69 6f 6e 3a 20 20 57 69 6e 39 35 2c 20 57 69 6e  ion:  Win95, Win
0490: 39 38 2c 20 61 6e 64 20 57 69 6e 4d 45 20 6c 61  98, and WinME la
04a0: 63 6b 0a 2a 2a 20 74 68 65 20 4c 6f 63 6b 46 69  ck.** the LockFi
04b0: 6c 65 45 78 28 29 20 41 50 49 2e 20 20 42 75 74  leEx() API.  But
04c0: 20 77 65 20 63 61 6e 20 73 74 69 6c 6c 20 73 74   we can still st
04d0: 61 74 69 63 61 6c 6c 79 20 6c 69 6e 6b 20 61 67  atically link ag
04e0: 61 69 6e 73 74 20 74 68 61 74 0a 2a 2a 20 41 50  ainst that.** AP
04f0: 49 20 61 73 20 6c 6f 6e 67 20 61 73 20 77 65 20  I as long as we 
0500: 64 6f 6e 27 74 20 63 61 6c 6c 20 69 74 20 77 69  don't call it wi
0510: 6e 20 72 75 6e 6e 69 6e 67 20 57 69 6e 39 35 2f  n running Win95/
0520: 39 38 2f 4d 45 2e 20 20 41 20 63 61 6c 6c 20 74  98/ME.  A call t
0530: 6f 0a 2a 2a 20 74 68 69 73 20 72 6f 75 74 69 6e  o.** this routin
0540: 65 20 69 73 20 75 73 65 64 20 74 6f 20 64 65 74  e is used to det
0550: 65 72 6d 69 6e 65 20 69 66 20 74 68 65 20 68 6f  ermine if the ho
0560: 73 74 20 69 73 20 57 69 6e 39 35 2f 39 38 2f 4d  st is Win95/98/M
0570: 45 20 6f 72 0a 2a 2a 20 57 69 6e 4e 54 2f 32 4b  E or.** WinNT/2K
0580: 2f 58 50 20 73 6f 20 74 68 61 74 20 77 65 20 77  /XP so that we w
0590: 69 6c 6c 20 6b 6e 6f 77 20 77 68 65 74 68 65 72  ill know whether
05a0: 20 6f 72 20 6e 6f 74 20 77 65 20 63 61 6e 20 73   or not we can s
05b0: 61 66 65 6c 79 20 63 61 6c 6c 0a 2a 2a 20 74 68  afely call.** th
05c0: 65 20 4c 6f 63 6b 46 69 6c 65 45 78 28 29 20 41  e LockFileEx() A
05d0: 50 49 2e 0a 2a 2f 0a 23 69 66 20 4f 53 5f 57 49  PI..*/.#if OS_WI
05e0: 4e 43 45 0a 23 20 64 65 66 69 6e 65 20 6d 75 74  NCE.# define mut
05f0: 65 78 49 73 4e 54 28 29 20 20 28 31 29 0a 23 65  exIsNT()  (1).#e
0600: 6c 73 65 0a 20 20 73 74 61 74 69 63 20 69 6e 74  lse.  static int
0610: 20 6d 75 74 65 78 49 73 4e 54 28 76 6f 69 64 29   mutexIsNT(void)
0620: 7b 0a 20 20 20 20 73 74 61 74 69 63 20 69 6e 74  {.    static int
0630: 20 6f 73 54 79 70 65 20 3d 20 30 3b 0a 20 20 20   osType = 0;.   
0640: 20 69 66 28 20 6f 73 54 79 70 65 3d 3d 30 20 29   if( osType==0 )
0650: 7b 0a 20 20 20 20 20 20 4f 53 56 45 52 53 49 4f  {.      OSVERSIO
0660: 4e 49 4e 46 4f 20 73 49 6e 66 6f 3b 0a 20 20 20  NINFO sInfo;.   
0670: 20 20 20 73 49 6e 66 6f 2e 64 77 4f 53 56 65 72     sInfo.dwOSVer
0680: 73 69 6f 6e 49 6e 66 6f 53 69 7a 65 20 3d 20 73  sionInfoSize = s
0690: 69 7a 65 6f 66 28 73 49 6e 66 6f 29 3b 0a 20 20  izeof(sInfo);.  
06a0: 20 20 20 20 47 65 74 56 65 72 73 69 6f 6e 45 78      GetVersionEx
06b0: 28 26 73 49 6e 66 6f 29 3b 0a 20 20 20 20 20 20  (&sInfo);.      
06c0: 6f 73 54 79 70 65 20 3d 20 73 49 6e 66 6f 2e 64  osType = sInfo.d
06d0: 77 50 6c 61 74 66 6f 72 6d 49 64 3d 3d 56 45 52  wPlatformId==VER
06e0: 5f 50 4c 41 54 46 4f 52 4d 5f 57 49 4e 33 32 5f  _PLATFORM_WIN32_
06f0: 4e 54 20 3f 20 32 20 3a 20 31 3b 0a 20 20 20 20  NT ? 2 : 1;.    
0700: 7d 0a 20 20 20 20 72 65 74 75 72 6e 20 6f 73 54  }.    return osT
0710: 79 70 65 3d 3d 32 3b 0a 20 20 7d 0a 23 65 6e 64  ype==2;.  }.#end
0720: 69 66 20 2f 2a 20 4f 53 5f 57 49 4e 43 45 20 2a  if /* OS_WINCE *
0730: 2f 0a 0a 0a 2f 2a 0a 2a 2a 20 54 68 65 20 73 71  /.../*.** The sq
0740: 6c 69 74 65 33 5f 6d 75 74 65 78 5f 61 6c 6c 6f  lite3_mutex_allo
0750: 63 28 29 20 72 6f 75 74 69 6e 65 20 61 6c 6c 6f  c() routine allo
0760: 63 61 74 65 73 20 61 20 6e 65 77 0a 2a 2a 20 6d  cates a new.** m
0770: 75 74 65 78 20 61 6e 64 20 72 65 74 75 72 6e 73  utex and returns
0780: 20 61 20 70 6f 69 6e 74 65 72 20 74 6f 20 69 74   a pointer to it
0790: 2e 20 20 49 66 20 69 74 20 72 65 74 75 72 6e 73  .  If it returns
07a0: 20 4e 55 4c 4c 0a 2a 2a 20 74 68 61 74 20 6d 65   NULL.** that me
07b0: 61 6e 73 20 74 68 61 74 20 61 20 6d 75 74 65 78  ans that a mutex
07c0: 20 63 6f 75 6c 64 20 6e 6f 74 20 62 65 20 61 6c   could not be al
07d0: 6c 6f 63 61 74 65 64 2e 20 20 53 51 4c 69 74 65  located.  SQLite
07e0: 0a 2a 2a 20 77 69 6c 6c 20 75 6e 77 69 6e 64 20  .** will unwind 
07f0: 69 74 73 20 73 74 61 63 6b 20 61 6e 64 20 72 65  its stack and re
0800: 74 75 72 6e 20 61 6e 20 65 72 72 6f 72 2e 20 20  turn an error.  
0810: 54 68 65 20 61 72 67 75 6d 65 6e 74 0a 2a 2a 20  The argument.** 
0820: 74 6f 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  to sqlite3_mutex
0830: 5f 61 6c 6c 6f 63 28 29 20 69 73 20 6f 6e 65 20  _alloc() is one 
0840: 6f 66 20 74 68 65 73 65 20 69 6e 74 65 67 65 72  of these integer
0850: 20 63 6f 6e 73 74 61 6e 74 73 3a 0a 2a 2a 0a 2a   constants:.**.*
0860: 2a 20 3c 75 6c 3e 0a 2a 2a 20 3c 6c 69 3e 20 20  * <ul>.** <li>  
0870: 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 46 41 53  SQLITE_MUTEX_FAS
0880: 54 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20  T               
0890: 30 0a 2a 2a 20 3c 6c 69 3e 20 20 53 51 4c 49 54  0.** <li>  SQLIT
08a0: 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56  E_MUTEX_RECURSIV
08b0: 45 20 20 20 20 20 20 20 20 20 20 31 0a 2a 2a 20  E          1.** 
08c0: 3c 6c 69 3e 20 20 53 51 4c 49 54 45 5f 4d 55 54  <li>  SQLITE_MUT
08d0: 45 58 5f 53 54 41 54 49 43 5f 4d 41 53 54 45 52  EX_STATIC_MASTER
08e0: 20 20 20 20 20 20 32 0a 2a 2a 20 3c 6c 69 3e 20        2.** <li> 
08f0: 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 53 54   SQLITE_MUTEX_ST
0900: 41 54 49 43 5f 4d 45 4d 20 20 20 20 20 20 20 20  ATIC_MEM        
0910: 20 33 0a 2a 2a 20 3c 6c 69 3e 20 20 53 51 4c 49   3.** <li>  SQLI
0920: 54 45 5f 4d 55 54 45 58 5f 53 54 41 54 49 43 5f  TE_MUTEX_STATIC_
0930: 50 52 4e 47 20 20 20 20 20 20 20 20 34 0a 2a 2a  PRNG        4.**
0940: 20 3c 2f 75 6c 3e 0a 2a 2a 0a 2a 2a 20 54 68 65   </ul>.**.** The
0950: 20 66 69 72 73 74 20 74 77 6f 20 63 6f 6e 73 74   first two const
0960: 61 6e 74 73 20 63 61 75 73 65 20 73 71 6c 69 74  ants cause sqlit
0970: 65 33 5f 6d 75 74 65 78 5f 61 6c 6c 6f 63 28 29  e3_mutex_alloc()
0980: 20 74 6f 20 63 72 65 61 74 65 0a 2a 2a 20 61 20   to create.** a 
0990: 6e 65 77 20 6d 75 74 65 78 2e 20 20 54 68 65 20  new mutex.  The 
09a0: 6e 65 77 20 6d 75 74 65 78 20 69 73 20 72 65 63  new mutex is rec
09b0: 75 72 73 69 76 65 20 77 68 65 6e 20 53 51 4c 49  ursive when SQLI
09c0: 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49  TE_MUTEX_RECURSI
09d0: 56 45 0a 2a 2a 20 69 73 20 75 73 65 64 20 62 75  VE.** is used bu
09e0: 74 20 6e 6f 74 20 6e 65 63 65 73 73 61 72 69 6c  t not necessaril
09f0: 79 20 73 6f 20 77 68 65 6e 20 53 51 4c 49 54 45  y so when SQLITE
0a00: 5f 4d 55 54 45 58 5f 46 41 53 54 20 69 73 20 75  _MUTEX_FAST is u
0a10: 73 65 64 2e 0a 2a 2a 20 54 68 65 20 6d 75 74 65  sed..** The mute
0a20: 78 20 69 6d 70 6c 65 6d 65 6e 74 61 74 69 6f 6e  x implementation
0a30: 20 64 6f 65 73 20 6e 6f 74 20 6e 65 65 64 20 74   does not need t
0a40: 6f 20 6d 61 6b 65 20 61 20 64 69 73 74 69 6e 63  o make a distinc
0a50: 74 69 6f 6e 0a 2a 2a 20 62 65 74 77 65 65 6e 20  tion.** between 
0a60: 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 52 45 43  SQLITE_MUTEX_REC
0a70: 55 52 53 49 56 45 20 61 6e 64 20 53 51 4c 49 54  URSIVE and SQLIT
0a80: 45 5f 4d 55 54 45 58 5f 46 41 53 54 20 69 66 20  E_MUTEX_FAST if 
0a90: 69 74 20 64 6f 65 73 0a 2a 2a 20 6e 6f 74 20 77  it does.** not w
0aa0: 61 6e 74 20 74 6f 2e 20 20 42 75 74 20 53 51 4c  ant to.  But SQL
0ab0: 69 74 65 20 77 69 6c 6c 20 6f 6e 6c 79 20 72 65  ite will only re
0ac0: 71 75 65 73 74 20 61 20 72 65 63 75 72 73 69 76  quest a recursiv
0ad0: 65 20 6d 75 74 65 78 20 69 6e 0a 2a 2a 20 63 61  e mutex in.** ca
0ae0: 73 65 73 20 77 68 65 72 65 20 69 74 20 72 65 61  ses where it rea
0af0: 6c 6c 79 20 6e 65 65 64 73 20 6f 6e 65 2e 20 20  lly needs one.  
0b00: 49 66 20 61 20 66 61 73 74 65 72 20 6e 6f 6e 2d  If a faster non-
0b10: 72 65 63 75 72 73 69 76 65 20 6d 75 74 65 78 0a  recursive mutex.
0b20: 2a 2a 20 69 6d 70 6c 65 6d 65 6e 74 61 74 69 6f  ** implementatio
0b30: 6e 20 69 73 20 61 76 61 69 6c 61 62 6c 65 20 6f  n is available o
0b40: 6e 20 74 68 65 20 68 6f 73 74 20 70 6c 61 74 66  n the host platf
0b50: 6f 72 6d 2c 20 74 68 65 20 6d 75 74 65 78 20 73  orm, the mutex s
0b60: 75 62 73 79 73 74 65 6d 0a 2a 2a 20 6d 69 67 68  ubsystem.** migh
0b70: 74 20 72 65 74 75 72 6e 20 73 75 63 68 20 61 20  t return such a 
0b80: 6d 75 74 65 78 20 69 6e 20 72 65 73 70 6f 6e 73  mutex in respons
0b90: 65 20 74 6f 20 53 51 4c 49 54 45 5f 4d 55 54 45  e to SQLITE_MUTE
0ba0: 58 5f 46 41 53 54 2e 0a 2a 2a 0a 2a 2a 20 54 68  X_FAST..**.** Th
0bb0: 65 20 6f 74 68 65 72 20 61 6c 6c 6f 77 65 64 20  e other allowed 
0bc0: 70 61 72 61 6d 65 74 65 72 73 20 74 6f 20 73 71  parameters to sq
0bd0: 6c 69 74 65 33 5f 6d 75 74 65 78 5f 61 6c 6c 6f  lite3_mutex_allo
0be0: 63 28 29 20 65 61 63 68 20 72 65 74 75 72 6e 0a  c() each return.
0bf0: 2a 2a 20 61 20 70 6f 69 6e 74 65 72 20 74 6f 20  ** a pointer to 
0c00: 61 20 73 74 61 74 69 63 20 70 72 65 65 78 69 73  a static preexis
0c10: 74 69 6e 67 20 6d 75 74 65 78 2e 20 20 54 68 72  ting mutex.  Thr
0c20: 65 65 20 73 74 61 74 69 63 20 6d 75 74 65 78 65  ee static mutexe
0c30: 73 20 61 72 65 0a 2a 2a 20 75 73 65 64 20 62 79  s are.** used by
0c40: 20 74 68 65 20 63 75 72 72 65 6e 74 20 76 65 72   the current ver
0c50: 73 69 6f 6e 20 6f 66 20 53 51 4c 69 74 65 2e 20  sion of SQLite. 
0c60: 20 46 75 74 75 72 65 20 76 65 72 73 69 6f 6e 73   Future versions
0c70: 20 6f 66 20 53 51 4c 69 74 65 0a 2a 2a 20 6d 61   of SQLite.** ma
0c80: 79 20 61 64 64 20 61 64 64 69 74 69 6f 6e 61 6c  y add additional
0c90: 20 73 74 61 74 69 63 20 6d 75 74 65 78 65 73 2e   static mutexes.
0ca0: 20 20 53 74 61 74 69 63 20 6d 75 74 65 78 65 73    Static mutexes
0cb0: 20 61 72 65 20 66 6f 72 20 69 6e 74 65 72 6e 61   are for interna
0cc0: 6c 0a 2a 2a 20 75 73 65 20 62 79 20 53 51 4c 69  l.** use by SQLi
0cd0: 74 65 20 6f 6e 6c 79 2e 20 20 41 70 70 6c 69 63  te only.  Applic
0ce0: 61 74 69 6f 6e 73 20 74 68 61 74 20 75 73 65 20  ations that use 
0cf0: 53 51 4c 69 74 65 20 6d 75 74 65 78 65 73 20 73  SQLite mutexes s
0d00: 68 6f 75 6c 64 0a 2a 2a 20 75 73 65 20 6f 6e 6c  hould.** use onl
0d10: 79 20 74 68 65 20 64 79 6e 61 6d 69 63 20 6d 75  y the dynamic mu
0d20: 74 65 78 65 73 20 72 65 74 75 72 6e 65 64 20 62  texes returned b
0d30: 79 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 46  y SQLITE_MUTEX_F
0d40: 41 53 54 20 6f 72 0a 2a 2a 20 53 51 4c 49 54 45  AST or.** SQLITE
0d50: 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56 45  _MUTEX_RECURSIVE
0d60: 2e 0a 2a 2a 0a 2a 2a 20 4e 6f 74 65 20 74 68 61  ..**.** Note tha
0d70: 74 20 69 66 20 6f 6e 65 20 6f 66 20 74 68 65 20  t if one of the 
0d80: 64 79 6e 61 6d 69 63 20 6d 75 74 65 78 20 70 61  dynamic mutex pa
0d90: 72 61 6d 65 74 65 72 73 20 28 53 51 4c 49 54 45  rameters (SQLITE
0da0: 5f 4d 55 54 45 58 5f 46 41 53 54 0a 2a 2a 20 6f  _MUTEX_FAST.** o
0db0: 72 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 52  r SQLITE_MUTEX_R
0dc0: 45 43 55 52 53 49 56 45 29 20 69 73 20 75 73 65  ECURSIVE) is use
0dd0: 64 20 74 68 65 6e 20 73 71 6c 69 74 65 33 5f 6d  d then sqlite3_m
0de0: 75 74 65 78 5f 61 6c 6c 6f 63 28 29 0a 2a 2a 20  utex_alloc().** 
0df0: 72 65 74 75 72 6e 73 20 61 20 64 69 66 66 65 72  returns a differ
0e00: 65 6e 74 20 6d 75 74 65 78 20 6f 6e 20 65 76 65  ent mutex on eve
0e10: 72 79 20 63 61 6c 6c 2e 20 20 42 75 74 20 66 6f  ry call.  But fo
0e20: 72 20 74 68 65 20 73 74 61 74 69 63 20 0a 2a 2a  r the static .**
0e30: 20 6d 75 74 65 78 20 74 79 70 65 73 2c 20 74 68   mutex types, th
0e40: 65 20 73 61 6d 65 20 6d 75 74 65 78 20 69 73 20  e same mutex is 
0e50: 72 65 74 75 72 6e 65 64 20 6f 6e 20 65 76 65 72  returned on ever
0e60: 79 20 63 61 6c 6c 20 74 68 61 74 20 68 61 73 0a  y call that has.
0e70: 2a 2a 20 74 68 65 20 73 61 6d 65 20 74 79 70 65  ** the same type
0e80: 20 6e 75 6d 62 65 72 2e 0a 2a 2f 0a 73 71 6c 69   number..*/.sqli
0e90: 74 65 33 5f 6d 75 74 65 78 20 2a 73 71 6c 69 74  te3_mutex *sqlit
0ea0: 65 33 5f 6d 75 74 65 78 5f 61 6c 6c 6f 63 28 69  e3_mutex_alloc(i
0eb0: 6e 74 20 69 54 79 70 65 29 7b 0a 20 20 73 71 6c  nt iType){.  sql
0ec0: 69 74 65 33 5f 6d 75 74 65 78 20 2a 70 3b 0a 0a  ite3_mutex *p;..
0ed0: 20 20 73 77 69 74 63 68 28 20 69 54 79 70 65 20    switch( iType 
0ee0: 29 7b 0a 20 20 20 20 63 61 73 65 20 53 51 4c 49  ){.    case SQLI
0ef0: 54 45 5f 4d 55 54 45 58 5f 46 41 53 54 3a 0a 20  TE_MUTEX_FAST:. 
0f00: 20 20 20 63 61 73 65 20 53 51 4c 49 54 45 5f 4d     case SQLITE_M
0f10: 55 54 45 58 5f 52 45 43 55 52 53 49 56 45 3a 20  UTEX_RECURSIVE: 
0f20: 7b 0a 20 20 20 20 20 20 70 20 3d 20 73 71 6c 69  {.      p = sqli
0f30: 74 65 33 4d 61 6c 6c 6f 63 5a 65 72 6f 28 20 73  te3MallocZero( s
0f40: 69 7a 65 6f 66 28 2a 70 29 20 29 3b 0a 20 20 20  izeof(*p) );.   
0f50: 20 20 20 69 66 28 20 70 20 29 7b 0a 20 20 20 20     if( p ){.    
0f60: 20 20 20 20 70 2d 3e 69 64 20 3d 20 69 54 79 70      p->id = iTyp
0f70: 65 3b 0a 20 20 20 20 20 20 20 20 49 6e 69 74 69  e;.        Initi
0f80: 61 6c 69 7a 65 43 72 69 74 69 63 61 6c 53 65 63  alizeCriticalSec
0f90: 74 69 6f 6e 28 26 70 2d 3e 6d 75 74 65 78 29 3b  tion(&p->mutex);
0fa0: 0a 20 20 20 20 20 20 7d 0a 20 20 20 20 20 20 62  .      }.      b
0fb0: 72 65 61 6b 3b 0a 20 20 20 20 7d 0a 20 20 20 20  reak;.    }.    
0fc0: 64 65 66 61 75 6c 74 3a 20 7b 0a 20 20 20 20 20  default: {.     
0fd0: 20 73 74 61 74 69 63 20 73 71 6c 69 74 65 33 5f   static sqlite3_
0fe0: 6d 75 74 65 78 20 73 74 61 74 69 63 4d 75 74 65  mutex staticMute
0ff0: 78 65 73 5b 35 5d 3b 0a 20 20 20 20 20 20 73 74  xes[5];.      st
1000: 61 74 69 63 20 69 6e 74 20 69 73 49 6e 69 74 20  atic int isInit 
1010: 3d 20 30 3b 0a 20 20 20 20 20 20 77 68 69 6c 65  = 0;.      while
1020: 28 20 21 69 73 49 6e 69 74 20 29 7b 0a 20 20 20  ( !isInit ){.   
1030: 20 20 20 20 20 73 74 61 74 69 63 20 6c 6f 6e 67       static long
1040: 20 6c 6f 63 6b 20 3d 20 30 3b 0a 20 20 20 20 20   lock = 0;.     
1050: 20 20 20 69 66 28 20 49 6e 74 65 72 6c 6f 63 6b     if( Interlock
1060: 65 64 49 6e 63 72 65 6d 65 6e 74 28 26 6c 6f 63  edIncrement(&loc
1070: 6b 29 3d 3d 31 20 29 7b 0a 20 20 20 20 20 20 20  k)==1 ){.       
1080: 20 20 20 69 6e 74 20 69 3b 0a 20 20 20 20 20 20     int i;.      
1090: 20 20 20 20 66 6f 72 28 69 3d 30 3b 20 69 3c 73      for(i=0; i<s
10a0: 69 7a 65 6f 66 28 73 74 61 74 69 63 4d 75 74 65  izeof(staticMute
10b0: 78 65 73 29 2f 73 69 7a 65 6f 66 28 73 74 61 74  xes)/sizeof(stat
10c0: 69 63 4d 75 74 65 78 65 73 5b 30 5d 29 3b 20 69  icMutexes[0]); i
10d0: 2b 2b 29 7b 0a 20 20 20 20 20 20 20 20 20 20 20  ++){.           
10e0: 20 49 6e 69 74 69 61 6c 69 7a 65 43 72 69 74 69   InitializeCriti
10f0: 63 61 6c 53 65 63 74 69 6f 6e 28 26 73 74 61 74  calSection(&stat
1100: 69 63 4d 75 74 65 78 65 73 5b 69 5d 2e 6d 75 74  icMutexes[i].mut
1110: 65 78 29 3b 0a 20 20 20 20 20 20 20 20 20 20 7d  ex);.          }
1120: 0a 20 20 20 20 20 20 20 20 20 20 69 73 49 6e 69  .          isIni
1130: 74 20 3d 20 31 3b 0a 20 20 20 20 20 20 20 20 7d  t = 1;.        }
1140: 65 6c 73 65 7b 0a 20 20 20 20 20 20 20 20 20 20  else{.          
1150: 53 6c 65 65 70 28 31 29 3b 0a 20 20 20 20 20 20  Sleep(1);.      
1160: 20 20 7d 0a 20 20 20 20 20 20 7d 0a 20 20 20 20    }.      }.    
1170: 20 20 61 73 73 65 72 74 28 20 69 54 79 70 65 2d    assert( iType-
1180: 32 20 3e 3d 20 30 20 29 3b 0a 20 20 20 20 20 20  2 >= 0 );.      
1190: 61 73 73 65 72 74 28 20 69 54 79 70 65 2d 32 20  assert( iType-2 
11a0: 3c 20 73 69 7a 65 6f 66 28 73 74 61 74 69 63 4d  < sizeof(staticM
11b0: 75 74 65 78 65 73 29 2f 73 69 7a 65 6f 66 28 73  utexes)/sizeof(s
11c0: 74 61 74 69 63 4d 75 74 65 78 65 73 5b 30 5d 29  taticMutexes[0])
11d0: 20 29 3b 0a 20 20 20 20 20 20 70 20 3d 20 26 73   );.      p = &s
11e0: 74 61 74 69 63 4d 75 74 65 78 65 73 5b 69 54 79  taticMutexes[iTy
11f0: 70 65 2d 32 5d 3b 0a 20 20 20 20 20 20 70 2d 3e  pe-2];.      p->
1200: 69 64 20 3d 20 69 54 79 70 65 3b 0a 20 20 20 20  id = iType;.    
1210: 20 20 62 72 65 61 6b 3b 0a 20 20 20 20 7d 0a 20    break;.    }. 
1220: 20 7d 0a 20 20 72 65 74 75 72 6e 20 70 3b 0a 7d   }.  return p;.}
1230: 0a 0a 0a 2f 2a 0a 2a 2a 20 54 68 69 73 20 72 6f  .../*.** This ro
1240: 75 74 69 6e 65 20 64 65 61 6c 6c 6f 63 61 74 65  utine deallocate
1250: 73 20 61 20 70 72 65 76 69 6f 75 73 6c 79 0a 2a  s a previously.*
1260: 2a 20 61 6c 6c 6f 63 61 74 65 64 20 6d 75 74 65  * allocated mute
1270: 78 2e 20 20 53 51 4c 69 74 65 20 69 73 20 63 61  x.  SQLite is ca
1280: 72 65 66 75 6c 20 74 6f 20 64 65 61 6c 6c 6f 63  reful to dealloc
1290: 61 74 65 20 65 76 65 72 79 0a 2a 2a 20 6d 75 74  ate every.** mut
12a0: 65 78 20 74 68 61 74 20 69 74 20 61 6c 6c 6f 63  ex that it alloc
12b0: 61 74 65 73 2e 0a 2a 2f 0a 76 6f 69 64 20 73 71  ates..*/.void sq
12c0: 6c 69 74 65 33 5f 6d 75 74 65 78 5f 66 72 65 65  lite3_mutex_free
12d0: 28 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a  (sqlite3_mutex *
12e0: 70 29 7b 0a 20 20 61 73 73 65 72 74 28 20 70 20  p){.  assert( p 
12f0: 29 3b 0a 20 20 61 73 73 65 72 74 28 20 70 2d 3e  );.  assert( p->
1300: 6e 52 65 66 3d 3d 30 20 29 3b 0a 20 20 61 73 73  nRef==0 );.  ass
1310: 65 72 74 28 20 70 2d 3e 69 64 3d 3d 53 51 4c 49  ert( p->id==SQLI
1320: 54 45 5f 4d 55 54 45 58 5f 46 41 53 54 20 7c 7c  TE_MUTEX_FAST ||
1330: 20 70 2d 3e 69 64 3d 3d 53 51 4c 49 54 45 5f 4d   p->id==SQLITE_M
1340: 55 54 45 58 5f 52 45 43 55 52 53 49 56 45 20 29  UTEX_RECURSIVE )
1350: 3b 0a 20 20 44 65 6c 65 74 65 43 72 69 74 69 63  ;.  DeleteCritic
1360: 61 6c 53 65 63 74 69 6f 6e 28 26 70 2d 3e 6d 75  alSection(&p->mu
1370: 74 65 78 29 3b 0a 20 20 73 71 6c 69 74 65 33 5f  tex);.  sqlite3_
1380: 66 72 65 65 28 70 29 3b 0a 7d 0a 0a 2f 2a 0a 2a  free(p);.}../*.*
1390: 2a 20 54 68 65 20 73 71 6c 69 74 65 33 5f 6d 75  * The sqlite3_mu
13a0: 74 65 78 5f 65 6e 74 65 72 28 29 20 61 6e 64 20  tex_enter() and 
13b0: 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 74 72  sqlite3_mutex_tr
13c0: 79 28 29 20 72 6f 75 74 69 6e 65 73 20 61 74 74  y() routines att
13d0: 65 6d 70 74 0a 2a 2a 20 74 6f 20 65 6e 74 65 72  empt.** to enter
13e0: 20 61 20 6d 75 74 65 78 2e 20 20 49 66 20 61 6e   a mutex.  If an
13f0: 6f 74 68 65 72 20 74 68 72 65 61 64 20 69 73 20  other thread is 
1400: 61 6c 72 65 61 64 79 20 77 69 74 68 69 6e 20 74  already within t
1410: 68 65 20 6d 75 74 65 78 2c 0a 2a 2a 20 73 71 6c  he mutex,.** sql
1420: 69 74 65 33 5f 6d 75 74 65 78 5f 65 6e 74 65 72  ite3_mutex_enter
1430: 28 29 20 77 69 6c 6c 20 62 6c 6f 63 6b 20 61 6e  () will block an
1440: 64 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f  d sqlite3_mutex_
1450: 74 72 79 28 29 20 77 69 6c 6c 20 72 65 74 75 72  try() will retur
1460: 6e 0a 2a 2a 20 53 51 4c 49 54 45 5f 42 55 53 59  n.** SQLITE_BUSY
1470: 2e 20 20 54 68 65 20 73 71 6c 69 74 65 33 5f 6d  .  The sqlite3_m
1480: 75 74 65 78 5f 74 72 79 28 29 20 69 6e 74 65 72  utex_try() inter
1490: 66 61 63 65 20 72 65 74 75 72 6e 73 20 53 51 4c  face returns SQL
14a0: 49 54 45 5f 4f 4b 0a 2a 2a 20 75 70 6f 6e 20 73  ITE_OK.** upon s
14b0: 75 63 63 65 73 73 66 75 6c 20 65 6e 74 72 79 2e  uccessful entry.
14c0: 20 20 4d 75 74 65 78 65 73 20 63 72 65 61 74 65    Mutexes create
14d0: 64 20 75 73 69 6e 67 20 53 51 4c 49 54 45 5f 4d  d using SQLITE_M
14e0: 55 54 45 58 5f 52 45 43 55 52 53 49 56 45 20 63  UTEX_RECURSIVE c
14f0: 61 6e 0a 2a 2a 20 62 65 20 65 6e 74 65 72 65 64  an.** be entered
1500: 20 6d 75 6c 74 69 70 6c 65 20 74 69 6d 65 73 20   multiple times 
1510: 62 79 20 74 68 65 20 73 61 6d 65 20 74 68 72 65  by the same thre
1520: 61 64 2e 20 20 49 6e 20 73 75 63 68 20 63 61 73  ad.  In such cas
1530: 65 73 20 74 68 65 2c 0a 2a 2a 20 6d 75 74 65 78  es the,.** mutex
1540: 20 6d 75 73 74 20 62 65 20 65 78 69 74 65 64 20   must be exited 
1550: 61 6e 20 65 71 75 61 6c 20 6e 75 6d 62 65 72 20  an equal number 
1560: 6f 66 20 74 69 6d 65 73 20 62 65 66 6f 72 65 20  of times before 
1570: 61 6e 6f 74 68 65 72 20 74 68 72 65 61 64 0a 2a  another thread.*
1580: 2a 20 63 61 6e 20 65 6e 74 65 72 2e 20 20 49 66  * can enter.  If
1590: 20 74 68 65 20 73 61 6d 65 20 74 68 72 65 61 64   the same thread
15a0: 20 74 72 69 65 73 20 74 6f 20 65 6e 74 65 72 20   tries to enter 
15b0: 61 6e 79 20 6f 74 68 65 72 20 6b 69 6e 64 20 6f  any other kind o
15c0: 66 20 6d 75 74 65 78 0a 2a 2a 20 6d 6f 72 65 20  f mutex.** more 
15d0: 74 68 61 6e 20 6f 6e 63 65 2c 20 74 68 65 20 62  than once, the b
15e0: 65 68 61 76 69 6f 72 20 69 73 20 75 6e 64 65 66  ehavior is undef
15f0: 69 6e 65 64 2e 0a 2a 2f 0a 76 6f 69 64 20 73 71  ined..*/.void sq
1600: 6c 69 74 65 33 5f 6d 75 74 65 78 5f 65 6e 74 65  lite3_mutex_ente
1610: 72 28 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20  r(sqlite3_mutex 
1620: 2a 70 29 7b 0a 20 20 61 73 73 65 72 74 28 20 70  *p){.  assert( p
1630: 20 29 3b 0a 20 20 61 73 73 65 72 74 28 20 70 2d   );.  assert( p-
1640: 3e 69 64 3d 3d 53 51 4c 49 54 45 5f 4d 55 54 45  >id==SQLITE_MUTE
1650: 58 5f 52 45 43 55 52 53 49 56 45 20 7c 7c 20 73  X_RECURSIVE || s
1660: 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 6e 6f 74  qlite3_mutex_not
1670: 68 65 6c 64 28 70 29 20 29 3b 0a 20 20 45 6e 74  held(p) );.  Ent
1680: 65 72 43 72 69 74 69 63 61 6c 53 65 63 74 69 6f  erCriticalSectio
1690: 6e 28 26 70 2d 3e 6d 75 74 65 78 29 3b 0a 20 20  n(&p->mutex);.  
16a0: 70 2d 3e 6f 77 6e 65 72 20 3d 20 47 65 74 43 75  p->owner = GetCu
16b0: 72 72 65 6e 74 54 68 72 65 61 64 49 64 28 29 3b  rrentThreadId();
16c0: 20 0a 20 20 70 2d 3e 6e 52 65 66 2b 2b 3b 0a 7d   .  p->nRef++;.}
16d0: 0a 69 6e 74 20 73 71 6c 69 74 65 33 5f 6d 75 74  .int sqlite3_mut
16e0: 65 78 5f 74 72 79 28 73 71 6c 69 74 65 33 5f 6d  ex_try(sqlite3_m
16f0: 75 74 65 78 20 2a 70 29 7b 0a 20 20 69 6e 74 20  utex *p){.  int 
1700: 72 63 3b 0a 20 20 61 73 73 65 72 74 28 20 70 20  rc;.  assert( p 
1710: 29 3b 0a 20 20 61 73 73 65 72 74 28 20 70 2d 3e  );.  assert( p->
1720: 69 64 3d 3d 53 51 4c 49 54 45 5f 4d 55 54 45 58  id==SQLITE_MUTEX
1730: 5f 52 45 43 55 52 53 49 56 45 20 7c 7c 20 73 71  _RECURSIVE || sq
1740: 6c 69 74 65 33 5f 6d 75 74 65 78 5f 6e 6f 74 68  lite3_mutex_noth
1750: 65 6c 64 28 70 29 20 29 3b 0a 20 20 69 66 28 20  eld(p) );.  if( 
1760: 6d 75 74 65 78 49 73 4e 54 28 29 20 26 26 20 54  mutexIsNT() && T
1770: 72 79 45 6e 74 65 72 43 72 69 74 69 63 61 6c 53  ryEnterCriticalS
1780: 65 63 74 69 6f 6e 28 26 70 2d 3e 6d 75 74 65 78  ection(&p->mutex
1790: 29 20 29 7b 0a 20 20 20 20 70 2d 3e 6f 77 6e 65  ) ){.    p->owne
17a0: 72 20 3d 20 47 65 74 43 75 72 72 65 6e 74 54 68  r = GetCurrentTh
17b0: 72 65 61 64 49 64 28 29 3b 0a 20 20 20 20 70 2d  readId();.    p-
17c0: 3e 6e 52 65 66 2b 2b 3b 0a 20 20 20 20 72 63 20  >nRef++;.    rc 
17d0: 3d 20 53 51 4c 49 54 45 5f 4f 4b 3b 0a 20 20 7d  = SQLITE_OK;.  }
17e0: 65 6c 73 65 7b 0a 20 20 20 20 72 63 20 3d 20 53  else{.    rc = S
17f0: 51 4c 49 54 45 5f 42 55 53 59 3b 0a 20 20 7d 0a  QLITE_BUSY;.  }.
1800: 20 20 72 65 74 75 72 6e 20 72 63 3b 0a 7d 0a 0a    return rc;.}..
1810: 2f 2a 0a 2a 2a 20 54 68 65 20 73 71 6c 69 74 65  /*.** The sqlite
1820: 33 5f 6d 75 74 65 78 5f 6c 65 61 76 65 28 29 20  3_mutex_leave() 
1830: 72 6f 75 74 69 6e 65 20 65 78 69 74 73 20 61 20  routine exits a 
1840: 6d 75 74 65 78 20 74 68 61 74 20 77 61 73 0a 2a  mutex that was.*
1850: 2a 20 70 72 65 76 69 6f 75 73 6c 79 20 65 6e 74  * previously ent
1860: 65 72 65 64 20 62 79 20 74 68 65 20 73 61 6d 65  ered by the same
1870: 20 74 68 72 65 61 64 2e 20 20 54 68 65 20 62 65   thread.  The be
1880: 68 61 76 69 6f 72 0a 2a 2a 20 69 73 20 75 6e 64  havior.** is und
1890: 65 66 69 6e 65 64 20 69 66 20 74 68 65 20 6d 75  efined if the mu
18a0: 74 65 78 20 69 73 20 6e 6f 74 20 63 75 72 72 65  tex is not curre
18b0: 6e 74 6c 79 20 65 6e 74 65 72 65 64 20 6f 72 0a  ntly entered or.
18c0: 2a 2a 20 69 73 20 6e 6f 74 20 63 75 72 72 65 6e  ** is not curren
18d0: 74 6c 79 20 61 6c 6c 6f 63 61 74 65 64 2e 20 20  tly allocated.  
18e0: 53 51 4c 69 74 65 20 77 69 6c 6c 20 6e 65 76 65  SQLite will neve
18f0: 72 20 64 6f 20 65 69 74 68 65 72 2e 0a 2a 2f 0a  r do either..*/.
1900: 76 6f 69 64 20 73 71 6c 69 74 65 33 5f 6d 75 74  void sqlite3_mut
1910: 65 78 5f 6c 65 61 76 65 28 73 71 6c 69 74 65 33  ex_leave(sqlite3
1920: 5f 6d 75 74 65 78 20 2a 70 29 7b 0a 20 20 61 73  _mutex *p){.  as
1930: 73 65 72 74 28 20 70 2d 3e 6e 52 65 66 3e 30 20  sert( p->nRef>0 
1940: 29 3b 0a 20 20 61 73 73 65 72 74 28 20 70 2d 3e  );.  assert( p->
1950: 6f 77 6e 65 72 3d 3d 47 65 74 43 75 72 72 65 6e  owner==GetCurren
1960: 74 54 68 72 65 61 64 49 64 28 29 20 29 3b 0a 20  tThreadId() );. 
1970: 20 70 2d 3e 6e 52 65 66 2d 2d 3b 0a 20 20 61 73   p->nRef--;.  as
1980: 73 65 72 74 28 20 70 2d 3e 6e 52 65 66 3d 3d 30  sert( p->nRef==0
1990: 20 7c 7c 20 70 2d 3e 69 64 3d 3d 53 51 4c 49 54   || p->id==SQLIT
19a0: 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56  E_MUTEX_RECURSIV
19b0: 45 20 29 3b 0a 20 20 4c 65 61 76 65 43 72 69 74  E );.  LeaveCrit
19c0: 69 63 61 6c 53 65 63 74 69 6f 6e 28 26 70 2d 3e  icalSection(&p->
19d0: 6d 75 74 65 78 29 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a  mutex);.}../*.**
19e0: 20 54 68 65 20 73 71 6c 69 74 65 33 5f 6d 75 74   The sqlite3_mut
19f0: 65 78 5f 68 65 6c 64 28 29 20 61 6e 64 20 73 71  ex_held() and sq
1a00: 6c 69 74 65 33 5f 6d 75 74 65 78 5f 6e 6f 74 68  lite3_mutex_noth
1a10: 65 6c 64 28 29 20 72 6f 75 74 69 6e 65 20 61 72  eld() routine ar
1a20: 65 0a 2a 2a 20 69 6e 74 65 6e 64 65 64 20 66 6f  e.** intended fo
1a30: 72 20 75 73 65 20 6f 6e 6c 79 20 69 6e 73 69 64  r use only insid
1a40: 65 20 61 73 73 65 72 74 28 29 20 73 74 61 74 65  e assert() state
1a50: 6d 65 6e 74 73 2e 0a 2a 2f 0a 69 6e 74 20 73 71  ments..*/.int sq
1a60: 6c 69 74 65 33 5f 6d 75 74 65 78 5f 68 65 6c 64  lite3_mutex_held
1a70: 28 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a  (sqlite3_mutex *
1a80: 70 29 7b 0a 20 20 72 65 74 75 72 6e 20 70 3d 3d  p){.  return p==
1a90: 30 20 7c 7c 20 28 70 2d 3e 6e 52 65 66 21 3d 30  0 || (p->nRef!=0
1aa0: 20 26 26 20 70 2d 3e 6f 77 6e 65 72 3d 3d 47 65   && p->owner==Ge
1ab0: 74 43 75 72 72 65 6e 74 54 68 72 65 61 64 49 64  tCurrentThreadId
1ac0: 28 29 29 3b 0a 7d 0a 69 6e 74 20 73 71 6c 69 74  ());.}.int sqlit
1ad0: 65 33 5f 6d 75 74 65 78 5f 6e 6f 74 68 65 6c 64  e3_mutex_notheld
1ae0: 28 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a  (sqlite3_mutex *
1af0: 70 29 7b 0a 20 20 72 65 74 75 72 6e 20 70 3d 3d  p){.  return p==
1b00: 30 20 7c 7c 20 70 2d 3e 6e 52 65 66 3d 3d 30 20  0 || p->nRef==0 
1b10: 7c 7c 20 70 2d 3e 6f 77 6e 65 72 21 3d 47 65 74  || p->owner!=Get
1b20: 43 75 72 72 65 6e 74 54 68 72 65 61 64 49 64 28  CurrentThreadId(
1b30: 29 3b 0a 7d 0a 23 65 6e 64 69 66 20 2f 2a 20 53  );.}.#endif /* S
1b40: 51 4c 49 54 45 5f 4d 55 54 45 58 5f 57 33 32 20  QLITE_MUTEX_W32 
1b50: 2a 2f 0a                                         */.