/ Hex Artifact Content
Login

Artifact f0d21ff1f6981e5aedc56796adf3a347423ef736:


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 31 31 20 32 30 30 38 2f 30 36  c,v 1.11 2008/06
01e0: 2f 32 36 20 31 30 3a 34 31 3a 31 39 20 64 61 6e  /26 10:41:19 dan
01f0: 69 65 6c 6b 31 39 37 37 20 45 78 70 20 24 0a 2a  ielk1977 Exp $.*
0200: 2f 0a 23 69 6e 63 6c 75 64 65 20 22 73 71 6c 69  /.#include "sqli
0210: 74 65 49 6e 74 2e 68 22 0a 0a 2f 2a 0a 2a 2a 20  teInt.h"../*.** 
0220: 54 68 65 20 63 6f 64 65 20 69 6e 20 74 68 69 73  The code in this
0230: 20 66 69 6c 65 20 69 73 20 6f 6e 6c 79 20 75 73   file is only us
0240: 65 64 20 69 66 20 77 65 20 61 72 65 20 63 6f 6d  ed if we are com
0250: 70 69 6c 69 6e 67 20 6d 75 6c 74 69 74 68 72 65  piling multithre
0260: 61 64 65 64 0a 2a 2a 20 6f 6e 20 61 20 77 69 6e  aded.** on a win
0270: 33 32 20 73 79 73 74 65 6d 2e 0a 2a 2f 0a 23 69  32 system..*/.#i
0280: 66 64 65 66 20 53 51 4c 49 54 45 5f 4d 55 54 45  fdef SQLITE_MUTE
0290: 58 5f 57 33 32 0a 0a 2f 2a 0a 2a 2a 20 45 61 63  X_W32../*.** Eac
02a0: 68 20 72 65 63 75 72 73 69 76 65 20 6d 75 74 65  h recursive mute
02b0: 78 20 69 73 20 61 6e 20 69 6e 73 74 61 6e 63 65  x is an instance
02c0: 20 6f 66 20 74 68 65 20 66 6f 6c 6c 6f 77 69 6e   of the followin
02d0: 67 20 73 74 72 75 63 74 75 72 65 2e 0a 2a 2f 0a  g structure..*/.
02e0: 73 74 72 75 63 74 20 73 71 6c 69 74 65 33 5f 6d  struct sqlite3_m
02f0: 75 74 65 78 20 7b 0a 20 20 43 52 49 54 49 43 41  utex {.  CRITICA
0300: 4c 5f 53 45 43 54 49 4f 4e 20 6d 75 74 65 78 3b  L_SECTION mutex;
0310: 20 20 20 20 2f 2a 20 4d 75 74 65 78 20 63 6f 6e      /* Mutex con
0320: 74 72 6f 6c 6c 69 6e 67 20 74 68 65 20 6c 6f 63  trolling the loc
0330: 6b 20 2a 2f 0a 20 20 69 6e 74 20 69 64 3b 20 20  k */.  int id;  
0340: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0350: 20 20 2f 2a 20 4d 75 74 65 78 20 74 79 70 65 20    /* Mutex type 
0360: 2a 2f 0a 20 20 69 6e 74 20 6e 52 65 66 3b 20 20  */.  int nRef;  
0370: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0380: 2f 2a 20 4e 75 6d 62 65 72 20 6f 66 20 65 6e 74  /* Number of ent
0390: 65 72 61 6e 63 65 73 20 2a 2f 0a 20 20 44 57 4f  erances */.  DWO
03a0: 52 44 20 6f 77 6e 65 72 3b 20 20 20 20 20 20 20  RD owner;       
03b0: 20 20 20 20 20 20 20 20 2f 2a 20 54 68 72 65 61          /* Threa
03c0: 64 20 68 6f 6c 64 69 6e 67 20 74 68 69 73 20 6d  d holding this m
03d0: 75 74 65 78 20 2a 2f 0a 7d 3b 0a 0a 2f 2a 0a 2a  utex */.};../*.*
03e0: 2a 20 52 65 74 75 72 6e 20 74 72 75 65 20 28 6e  * Return true (n
03f0: 6f 6e 2d 7a 65 72 6f 29 20 69 66 20 77 65 20 61  on-zero) if we a
0400: 72 65 20 72 75 6e 6e 69 6e 67 20 75 6e 64 65 72  re running under
0410: 20 57 69 6e 4e 54 2c 20 57 69 6e 32 4b 2c 20 57   WinNT, Win2K, W
0420: 69 6e 58 50 2c 0a 2a 2a 20 6f 72 20 57 69 6e 43  inXP,.** or WinC
0430: 45 2e 20 20 52 65 74 75 72 6e 20 66 61 6c 73 65  E.  Return false
0440: 20 28 7a 65 72 6f 29 20 66 6f 72 20 57 69 6e 39   (zero) for Win9
0450: 35 2c 20 57 69 6e 39 38 2c 20 6f 72 20 57 69 6e  5, Win98, or Win
0460: 4d 45 2e 0a 2a 2a 0a 2a 2a 20 48 65 72 65 20 69  ME..**.** Here i
0470: 73 20 61 6e 20 69 6e 74 65 72 65 73 74 69 6e 67  s an interesting
0480: 20 6f 62 73 65 72 76 61 74 69 6f 6e 3a 20 20 57   observation:  W
0490: 69 6e 39 35 2c 20 57 69 6e 39 38 2c 20 61 6e 64  in95, Win98, and
04a0: 20 57 69 6e 4d 45 20 6c 61 63 6b 0a 2a 2a 20 74   WinME lack.** t
04b0: 68 65 20 4c 6f 63 6b 46 69 6c 65 45 78 28 29 20  he LockFileEx() 
04c0: 41 50 49 2e 20 20 42 75 74 20 77 65 20 63 61 6e  API.  But we can
04d0: 20 73 74 69 6c 6c 20 73 74 61 74 69 63 61 6c 6c   still staticall
04e0: 79 20 6c 69 6e 6b 20 61 67 61 69 6e 73 74 20 74  y link against t
04f0: 68 61 74 0a 2a 2a 20 41 50 49 20 61 73 20 6c 6f  hat.** API as lo
0500: 6e 67 20 61 73 20 77 65 20 64 6f 6e 27 74 20 63  ng as we don't c
0510: 61 6c 6c 20 69 74 20 77 69 6e 20 72 75 6e 6e 69  all it win runni
0520: 6e 67 20 57 69 6e 39 35 2f 39 38 2f 4d 45 2e 20  ng Win95/98/ME. 
0530: 20 41 20 63 61 6c 6c 20 74 6f 0a 2a 2a 20 74 68   A call to.** th
0540: 69 73 20 72 6f 75 74 69 6e 65 20 69 73 20 75 73  is routine is us
0550: 65 64 20 74 6f 20 64 65 74 65 72 6d 69 6e 65 20  ed to determine 
0560: 69 66 20 74 68 65 20 68 6f 73 74 20 69 73 20 57  if the host is W
0570: 69 6e 39 35 2f 39 38 2f 4d 45 20 6f 72 0a 2a 2a  in95/98/ME or.**
0580: 20 57 69 6e 4e 54 2f 32 4b 2f 58 50 20 73 6f 20   WinNT/2K/XP so 
0590: 74 68 61 74 20 77 65 20 77 69 6c 6c 20 6b 6e 6f  that we will kno
05a0: 77 20 77 68 65 74 68 65 72 20 6f 72 20 6e 6f 74  w whether or not
05b0: 20 77 65 20 63 61 6e 20 73 61 66 65 6c 79 20 63   we can safely c
05c0: 61 6c 6c 0a 2a 2a 20 74 68 65 20 4c 6f 63 6b 46  all.** the LockF
05d0: 69 6c 65 45 78 28 29 20 41 50 49 2e 0a 2a 2f 0a  ileEx() API..*/.
05e0: 23 69 66 20 53 51 4c 49 54 45 5f 4f 53 5f 57 49  #if SQLITE_OS_WI
05f0: 4e 43 45 0a 23 20 64 65 66 69 6e 65 20 6d 75 74  NCE.# define mut
0600: 65 78 49 73 4e 54 28 29 20 20 28 31 29 0a 23 65  exIsNT()  (1).#e
0610: 6c 73 65 0a 20 20 73 74 61 74 69 63 20 69 6e 74  lse.  static int
0620: 20 6d 75 74 65 78 49 73 4e 54 28 76 6f 69 64 29   mutexIsNT(void)
0630: 7b 0a 20 20 20 20 73 74 61 74 69 63 20 69 6e 74  {.    static int
0640: 20 6f 73 54 79 70 65 20 3d 20 30 3b 0a 20 20 20   osType = 0;.   
0650: 20 69 66 28 20 6f 73 54 79 70 65 3d 3d 30 20 29   if( osType==0 )
0660: 7b 0a 20 20 20 20 20 20 4f 53 56 45 52 53 49 4f  {.      OSVERSIO
0670: 4e 49 4e 46 4f 20 73 49 6e 66 6f 3b 0a 20 20 20  NINFO sInfo;.   
0680: 20 20 20 73 49 6e 66 6f 2e 64 77 4f 53 56 65 72     sInfo.dwOSVer
0690: 73 69 6f 6e 49 6e 66 6f 53 69 7a 65 20 3d 20 73  sionInfoSize = s
06a0: 69 7a 65 6f 66 28 73 49 6e 66 6f 29 3b 0a 20 20  izeof(sInfo);.  
06b0: 20 20 20 20 47 65 74 56 65 72 73 69 6f 6e 45 78      GetVersionEx
06c0: 28 26 73 49 6e 66 6f 29 3b 0a 20 20 20 20 20 20  (&sInfo);.      
06d0: 6f 73 54 79 70 65 20 3d 20 73 49 6e 66 6f 2e 64  osType = sInfo.d
06e0: 77 50 6c 61 74 66 6f 72 6d 49 64 3d 3d 56 45 52  wPlatformId==VER
06f0: 5f 50 4c 41 54 46 4f 52 4d 5f 57 49 4e 33 32 5f  _PLATFORM_WIN32_
0700: 4e 54 20 3f 20 32 20 3a 20 31 3b 0a 20 20 20 20  NT ? 2 : 1;.    
0710: 7d 0a 20 20 20 20 72 65 74 75 72 6e 20 6f 73 54  }.    return osT
0720: 79 70 65 3d 3d 32 3b 0a 20 20 7d 0a 23 65 6e 64  ype==2;.  }.#end
0730: 69 66 20 2f 2a 20 53 51 4c 49 54 45 5f 4f 53 5f  if /* SQLITE_OS_
0740: 57 49 4e 43 45 20 2a 2f 0a 0a 0a 23 69 66 64 65  WINCE */...#ifde
0750: 66 20 53 51 4c 49 54 45 5f 44 45 42 55 47 0a 2f  f SQLITE_DEBUG./
0760: 2a 0a 2a 2a 20 54 68 65 20 73 71 6c 69 74 65 33  *.** The sqlite3
0770: 5f 6d 75 74 65 78 5f 68 65 6c 64 28 29 20 61 6e  _mutex_held() an
0780: 64 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f  d sqlite3_mutex_
0790: 6e 6f 74 68 65 6c 64 28 29 20 72 6f 75 74 69 6e  notheld() routin
07a0: 65 20 61 72 65 0a 2a 2a 20 69 6e 74 65 6e 64 65  e are.** intende
07b0: 64 20 66 6f 72 20 75 73 65 20 6f 6e 6c 79 20 69  d for use only i
07c0: 6e 73 69 64 65 20 61 73 73 65 72 74 28 29 20 73  nside assert() s
07d0: 74 61 74 65 6d 65 6e 74 73 2e 0a 2a 2f 0a 73 74  tatements..*/.st
07e0: 61 74 69 63 20 69 6e 74 20 77 69 6e 4d 75 74 65  atic int winMute
07f0: 78 48 65 6c 64 28 73 71 6c 69 74 65 33 5f 6d 75  xHeld(sqlite3_mu
0800: 74 65 78 20 2a 70 29 7b 0a 20 20 72 65 74 75 72  tex *p){.  retur
0810: 6e 20 70 2d 3e 6e 52 65 66 21 3d 30 20 26 26 20  n p->nRef!=0 && 
0820: 70 2d 3e 6f 77 6e 65 72 3d 3d 47 65 74 43 75 72  p->owner==GetCur
0830: 72 65 6e 74 54 68 72 65 61 64 49 64 28 29 3b 0a  rentThreadId();.
0840: 7d 0a 73 74 61 74 69 63 20 69 6e 74 20 77 69 6e  }.static int win
0850: 4d 75 74 65 78 4e 6f 74 68 65 6c 64 28 73 71 6c  MutexNotheld(sql
0860: 69 74 65 33 5f 6d 75 74 65 78 20 2a 70 29 7b 0a  ite3_mutex *p){.
0870: 20 20 72 65 74 75 72 6e 20 70 2d 3e 6e 52 65 66    return p->nRef
0880: 3d 3d 30 20 7c 7c 20 70 2d 3e 6f 77 6e 65 72 21  ==0 || p->owner!
0890: 3d 47 65 74 43 75 72 72 65 6e 74 54 68 72 65 61  =GetCurrentThrea
08a0: 64 49 64 28 29 3b 0a 7d 0a 23 65 6e 64 69 66 0a  dId();.}.#endif.
08b0: 0a 0a 2f 2a 0a 2a 2a 20 49 6e 69 74 69 61 6c 69  ../*.** Initiali
08c0: 7a 65 20 61 6e 64 20 64 65 69 6e 69 74 69 61 6c  ze and deinitial
08d0: 69 7a 65 20 74 68 65 20 6d 75 74 65 78 20 73 75  ize the mutex su
08e0: 62 73 79 73 74 65 6d 2e 0a 2a 2f 0a 73 74 61 74  bsystem..*/.stat
08f0: 69 63 20 69 6e 74 20 77 69 6e 4d 75 74 65 78 49  ic int winMutexI
0900: 6e 69 74 28 76 6f 69 64 29 7b 20 72 65 74 75 72  nit(void){ retur
0910: 6e 20 53 51 4c 49 54 45 5f 4f 4b 3b 20 7d 0a 73  n SQLITE_OK; }.s
0920: 74 61 74 69 63 20 69 6e 74 20 77 69 6e 4d 75 74  tatic int winMut
0930: 65 78 45 6e 64 28 76 6f 69 64 29 7b 20 72 65 74  exEnd(void){ ret
0940: 75 72 6e 20 53 51 4c 49 54 45 5f 4f 4b 3b 20 7d  urn SQLITE_OK; }
0950: 0a 0a 2f 2a 0a 2a 2a 20 54 68 65 20 73 71 6c 69  ../*.** The sqli
0960: 74 65 33 5f 6d 75 74 65 78 5f 61 6c 6c 6f 63 28  te3_mutex_alloc(
0970: 29 20 72 6f 75 74 69 6e 65 20 61 6c 6c 6f 63 61  ) routine alloca
0980: 74 65 73 20 61 20 6e 65 77 0a 2a 2a 20 6d 75 74  tes a new.** mut
0990: 65 78 20 61 6e 64 20 72 65 74 75 72 6e 73 20 61  ex and returns a
09a0: 20 70 6f 69 6e 74 65 72 20 74 6f 20 69 74 2e 20   pointer to it. 
09b0: 20 49 66 20 69 74 20 72 65 74 75 72 6e 73 20 4e   If it returns N
09c0: 55 4c 4c 0a 2a 2a 20 74 68 61 74 20 6d 65 61 6e  ULL.** that mean
09d0: 73 20 74 68 61 74 20 61 20 6d 75 74 65 78 20 63  s that a mutex c
09e0: 6f 75 6c 64 20 6e 6f 74 20 62 65 20 61 6c 6c 6f  ould not be allo
09f0: 63 61 74 65 64 2e 20 20 53 51 4c 69 74 65 0a 2a  cated.  SQLite.*
0a00: 2a 20 77 69 6c 6c 20 75 6e 77 69 6e 64 20 69 74  * will unwind it
0a10: 73 20 73 74 61 63 6b 20 61 6e 64 20 72 65 74 75  s stack and retu
0a20: 72 6e 20 61 6e 20 65 72 72 6f 72 2e 20 20 54 68  rn an error.  Th
0a30: 65 20 61 72 67 75 6d 65 6e 74 0a 2a 2a 20 74 6f  e argument.** to
0a40: 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 61   sqlite3_mutex_a
0a50: 6c 6c 6f 63 28 29 20 69 73 20 6f 6e 65 20 6f 66  lloc() is one of
0a60: 20 74 68 65 73 65 20 69 6e 74 65 67 65 72 20 63   these integer c
0a70: 6f 6e 73 74 61 6e 74 73 3a 0a 2a 2a 0a 2a 2a 20  onstants:.**.** 
0a80: 3c 75 6c 3e 0a 2a 2a 20 3c 6c 69 3e 20 20 53 51  <ul>.** <li>  SQ
0a90: 4c 49 54 45 5f 4d 55 54 45 58 5f 46 41 53 54 20  LITE_MUTEX_FAST 
0aa0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 30 0a                0.
0ab0: 2a 2a 20 3c 6c 69 3e 20 20 53 51 4c 49 54 45 5f  ** <li>  SQLITE_
0ac0: 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56 45 20  MUTEX_RECURSIVE 
0ad0: 20 20 20 20 20 20 20 20 20 31 0a 2a 2a 20 3c 6c           1.** <l
0ae0: 69 3e 20 20 53 51 4c 49 54 45 5f 4d 55 54 45 58  i>  SQLITE_MUTEX
0af0: 5f 53 54 41 54 49 43 5f 4d 41 53 54 45 52 20 20  _STATIC_MASTER  
0b00: 20 20 20 20 32 0a 2a 2a 20 3c 6c 69 3e 20 20 53      2.** <li>  S
0b10: 51 4c 49 54 45 5f 4d 55 54 45 58 5f 53 54 41 54  QLITE_MUTEX_STAT
0b20: 49 43 5f 4d 45 4d 20 20 20 20 20 20 20 20 20 33  IC_MEM         3
0b30: 0a 2a 2a 20 3c 6c 69 3e 20 20 53 51 4c 49 54 45  .** <li>  SQLITE
0b40: 5f 4d 55 54 45 58 5f 53 54 41 54 49 43 5f 50 52  _MUTEX_STATIC_PR
0b50: 4e 47 20 20 20 20 20 20 20 20 34 0a 2a 2a 20 3c  NG        4.** <
0b60: 2f 75 6c 3e 0a 2a 2a 0a 2a 2a 20 54 68 65 20 66  /ul>.**.** The f
0b70: 69 72 73 74 20 74 77 6f 20 63 6f 6e 73 74 61 6e  irst two constan
0b80: 74 73 20 63 61 75 73 65 20 73 71 6c 69 74 65 33  ts cause sqlite3
0b90: 5f 6d 75 74 65 78 5f 61 6c 6c 6f 63 28 29 20 74  _mutex_alloc() t
0ba0: 6f 20 63 72 65 61 74 65 0a 2a 2a 20 61 20 6e 65  o create.** a ne
0bb0: 77 20 6d 75 74 65 78 2e 20 20 54 68 65 20 6e 65  w mutex.  The ne
0bc0: 77 20 6d 75 74 65 78 20 69 73 20 72 65 63 75 72  w mutex is recur
0bd0: 73 69 76 65 20 77 68 65 6e 20 53 51 4c 49 54 45  sive when SQLITE
0be0: 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56 45  _MUTEX_RECURSIVE
0bf0: 0a 2a 2a 20 69 73 20 75 73 65 64 20 62 75 74 20  .** is used but 
0c00: 6e 6f 74 20 6e 65 63 65 73 73 61 72 69 6c 79 20  not necessarily 
0c10: 73 6f 20 77 68 65 6e 20 53 51 4c 49 54 45 5f 4d  so when SQLITE_M
0c20: 55 54 45 58 5f 46 41 53 54 20 69 73 20 75 73 65  UTEX_FAST is use
0c30: 64 2e 0a 2a 2a 20 54 68 65 20 6d 75 74 65 78 20  d..** The mutex 
0c40: 69 6d 70 6c 65 6d 65 6e 74 61 74 69 6f 6e 20 64  implementation d
0c50: 6f 65 73 20 6e 6f 74 20 6e 65 65 64 20 74 6f 20  oes not need to 
0c60: 6d 61 6b 65 20 61 20 64 69 73 74 69 6e 63 74 69  make a distincti
0c70: 6f 6e 0a 2a 2a 20 62 65 74 77 65 65 6e 20 53 51  on.** between SQ
0c80: 4c 49 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52  LITE_MUTEX_RECUR
0c90: 53 49 56 45 20 61 6e 64 20 53 51 4c 49 54 45 5f  SIVE and SQLITE_
0ca0: 4d 55 54 45 58 5f 46 41 53 54 20 69 66 20 69 74  MUTEX_FAST if it
0cb0: 20 64 6f 65 73 0a 2a 2a 20 6e 6f 74 20 77 61 6e   does.** not wan
0cc0: 74 20 74 6f 2e 20 20 42 75 74 20 53 51 4c 69 74  t to.  But SQLit
0cd0: 65 20 77 69 6c 6c 20 6f 6e 6c 79 20 72 65 71 75  e will only requ
0ce0: 65 73 74 20 61 20 72 65 63 75 72 73 69 76 65 20  est a recursive 
0cf0: 6d 75 74 65 78 20 69 6e 0a 2a 2a 20 63 61 73 65  mutex in.** case
0d00: 73 20 77 68 65 72 65 20 69 74 20 72 65 61 6c 6c  s where it reall
0d10: 79 20 6e 65 65 64 73 20 6f 6e 65 2e 20 20 49 66  y needs one.  If
0d20: 20 61 20 66 61 73 74 65 72 20 6e 6f 6e 2d 72 65   a faster non-re
0d30: 63 75 72 73 69 76 65 20 6d 75 74 65 78 0a 2a 2a  cursive mutex.**
0d40: 20 69 6d 70 6c 65 6d 65 6e 74 61 74 69 6f 6e 20   implementation 
0d50: 69 73 20 61 76 61 69 6c 61 62 6c 65 20 6f 6e 20  is available on 
0d60: 74 68 65 20 68 6f 73 74 20 70 6c 61 74 66 6f 72  the host platfor
0d70: 6d 2c 20 74 68 65 20 6d 75 74 65 78 20 73 75 62  m, the mutex sub
0d80: 73 79 73 74 65 6d 0a 2a 2a 20 6d 69 67 68 74 20  system.** might 
0d90: 72 65 74 75 72 6e 20 73 75 63 68 20 61 20 6d 75  return such a mu
0da0: 74 65 78 20 69 6e 20 72 65 73 70 6f 6e 73 65 20  tex in response 
0db0: 74 6f 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f  to SQLITE_MUTEX_
0dc0: 46 41 53 54 2e 0a 2a 2a 0a 2a 2a 20 54 68 65 20  FAST..**.** The 
0dd0: 6f 74 68 65 72 20 61 6c 6c 6f 77 65 64 20 70 61  other allowed pa
0de0: 72 61 6d 65 74 65 72 73 20 74 6f 20 73 71 6c 69  rameters to sqli
0df0: 74 65 33 5f 6d 75 74 65 78 5f 61 6c 6c 6f 63 28  te3_mutex_alloc(
0e00: 29 20 65 61 63 68 20 72 65 74 75 72 6e 0a 2a 2a  ) each return.**
0e10: 20 61 20 70 6f 69 6e 74 65 72 20 74 6f 20 61 20   a pointer to a 
0e20: 73 74 61 74 69 63 20 70 72 65 65 78 69 73 74 69  static preexisti
0e30: 6e 67 20 6d 75 74 65 78 2e 20 20 54 68 72 65 65  ng mutex.  Three
0e40: 20 73 74 61 74 69 63 20 6d 75 74 65 78 65 73 20   static mutexes 
0e50: 61 72 65 0a 2a 2a 20 75 73 65 64 20 62 79 20 74  are.** used by t
0e60: 68 65 20 63 75 72 72 65 6e 74 20 76 65 72 73 69  he current versi
0e70: 6f 6e 20 6f 66 20 53 51 4c 69 74 65 2e 20 20 46  on of SQLite.  F
0e80: 75 74 75 72 65 20 76 65 72 73 69 6f 6e 73 20 6f  uture versions o
0e90: 66 20 53 51 4c 69 74 65 0a 2a 2a 20 6d 61 79 20  f SQLite.** may 
0ea0: 61 64 64 20 61 64 64 69 74 69 6f 6e 61 6c 20 73  add additional s
0eb0: 74 61 74 69 63 20 6d 75 74 65 78 65 73 2e 20 20  tatic mutexes.  
0ec0: 53 74 61 74 69 63 20 6d 75 74 65 78 65 73 20 61  Static mutexes a
0ed0: 72 65 20 66 6f 72 20 69 6e 74 65 72 6e 61 6c 0a  re for internal.
0ee0: 2a 2a 20 75 73 65 20 62 79 20 53 51 4c 69 74 65  ** use by SQLite
0ef0: 20 6f 6e 6c 79 2e 20 20 41 70 70 6c 69 63 61 74   only.  Applicat
0f00: 69 6f 6e 73 20 74 68 61 74 20 75 73 65 20 53 51  ions that use SQ
0f10: 4c 69 74 65 20 6d 75 74 65 78 65 73 20 73 68 6f  Lite mutexes sho
0f20: 75 6c 64 0a 2a 2a 20 75 73 65 20 6f 6e 6c 79 20  uld.** use only 
0f30: 74 68 65 20 64 79 6e 61 6d 69 63 20 6d 75 74 65  the dynamic mute
0f40: 78 65 73 20 72 65 74 75 72 6e 65 64 20 62 79 20  xes returned by 
0f50: 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 46 41 53  SQLITE_MUTEX_FAS
0f60: 54 20 6f 72 0a 2a 2a 20 53 51 4c 49 54 45 5f 4d  T or.** SQLITE_M
0f70: 55 54 45 58 5f 52 45 43 55 52 53 49 56 45 2e 0a  UTEX_RECURSIVE..
0f80: 2a 2a 0a 2a 2a 20 4e 6f 74 65 20 74 68 61 74 20  **.** Note that 
0f90: 69 66 20 6f 6e 65 20 6f 66 20 74 68 65 20 64 79  if one of the dy
0fa0: 6e 61 6d 69 63 20 6d 75 74 65 78 20 70 61 72 61  namic mutex para
0fb0: 6d 65 74 65 72 73 20 28 53 51 4c 49 54 45 5f 4d  meters (SQLITE_M
0fc0: 55 54 45 58 5f 46 41 53 54 0a 2a 2a 20 6f 72 20  UTEX_FAST.** or 
0fd0: 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 52 45 43  SQLITE_MUTEX_REC
0fe0: 55 52 53 49 56 45 29 20 69 73 20 75 73 65 64 20  URSIVE) is used 
0ff0: 74 68 65 6e 20 73 71 6c 69 74 65 33 5f 6d 75 74  then sqlite3_mut
1000: 65 78 5f 61 6c 6c 6f 63 28 29 0a 2a 2a 20 72 65  ex_alloc().** re
1010: 74 75 72 6e 73 20 61 20 64 69 66 66 65 72 65 6e  turns a differen
1020: 74 20 6d 75 74 65 78 20 6f 6e 20 65 76 65 72 79  t mutex on every
1030: 20 63 61 6c 6c 2e 20 20 42 75 74 20 66 6f 72 20   call.  But for 
1040: 74 68 65 20 73 74 61 74 69 63 20 0a 2a 2a 20 6d  the static .** m
1050: 75 74 65 78 20 74 79 70 65 73 2c 20 74 68 65 20  utex types, the 
1060: 73 61 6d 65 20 6d 75 74 65 78 20 69 73 20 72 65  same mutex is re
1070: 74 75 72 6e 65 64 20 6f 6e 20 65 76 65 72 79 20  turned on every 
1080: 63 61 6c 6c 20 74 68 61 74 20 68 61 73 0a 2a 2a  call that has.**
1090: 20 74 68 65 20 73 61 6d 65 20 74 79 70 65 20 6e   the same type n
10a0: 75 6d 62 65 72 2e 0a 2a 2f 0a 73 74 61 74 69 63  umber..*/.static
10b0: 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a   sqlite3_mutex *
10c0: 77 69 6e 4d 75 74 65 78 41 6c 6c 6f 63 28 69 6e  winMutexAlloc(in
10d0: 74 20 69 54 79 70 65 29 7b 0a 20 20 73 71 6c 69  t iType){.  sqli
10e0: 74 65 33 5f 6d 75 74 65 78 20 2a 70 3b 0a 0a 20  te3_mutex *p;.. 
10f0: 20 73 77 69 74 63 68 28 20 69 54 79 70 65 20 29   switch( iType )
1100: 7b 0a 20 20 20 20 63 61 73 65 20 53 51 4c 49 54  {.    case SQLIT
1110: 45 5f 4d 55 54 45 58 5f 46 41 53 54 3a 0a 20 20  E_MUTEX_FAST:.  
1120: 20 20 63 61 73 65 20 53 51 4c 49 54 45 5f 4d 55    case SQLITE_MU
1130: 54 45 58 5f 52 45 43 55 52 53 49 56 45 3a 20 7b  TEX_RECURSIVE: {
1140: 0a 20 20 20 20 20 20 70 20 3d 20 73 71 6c 69 74  .      p = sqlit
1150: 65 33 4d 61 6c 6c 6f 63 5a 65 72 6f 28 20 73 69  e3MallocZero( si
1160: 7a 65 6f 66 28 2a 70 29 20 29 3b 0a 20 20 20 20  zeof(*p) );.    
1170: 20 20 69 66 28 20 70 20 29 7b 0a 20 20 20 20 20    if( p ){.     
1180: 20 20 20 70 2d 3e 69 64 20 3d 20 69 54 79 70 65     p->id = iType
1190: 3b 0a 20 20 20 20 20 20 20 20 49 6e 69 74 69 61  ;.        Initia
11a0: 6c 69 7a 65 43 72 69 74 69 63 61 6c 53 65 63 74  lizeCriticalSect
11b0: 69 6f 6e 28 26 70 2d 3e 6d 75 74 65 78 29 3b 0a  ion(&p->mutex);.
11c0: 20 20 20 20 20 20 7d 0a 20 20 20 20 20 20 62 72        }.      br
11d0: 65 61 6b 3b 0a 20 20 20 20 7d 0a 20 20 20 20 64  eak;.    }.    d
11e0: 65 66 61 75 6c 74 3a 20 7b 0a 20 20 20 20 20 20  efault: {.      
11f0: 73 74 61 74 69 63 20 73 71 6c 69 74 65 33 5f 6d  static sqlite3_m
1200: 75 74 65 78 20 73 74 61 74 69 63 4d 75 74 65 78  utex staticMutex
1210: 65 73 5b 36 5d 3b 0a 20 20 20 20 20 20 73 74 61  es[6];.      sta
1220: 74 69 63 20 69 6e 74 20 69 73 49 6e 69 74 20 3d  tic int isInit =
1230: 20 30 3b 0a 20 20 20 20 20 20 77 68 69 6c 65 28   0;.      while(
1240: 20 21 69 73 49 6e 69 74 20 29 7b 0a 20 20 20 20   !isInit ){.    
1250: 20 20 20 20 73 74 61 74 69 63 20 6c 6f 6e 67 20      static long 
1260: 6c 6f 63 6b 20 3d 20 30 3b 0a 20 20 20 20 20 20  lock = 0;.      
1270: 20 20 69 66 28 20 49 6e 74 65 72 6c 6f 63 6b 65    if( Interlocke
1280: 64 49 6e 63 72 65 6d 65 6e 74 28 26 6c 6f 63 6b  dIncrement(&lock
1290: 29 3d 3d 31 20 29 7b 0a 20 20 20 20 20 20 20 20  )==1 ){.        
12a0: 20 20 69 6e 74 20 69 3b 0a 20 20 20 20 20 20 20    int i;.       
12b0: 20 20 20 66 6f 72 28 69 3d 30 3b 20 69 3c 73 69     for(i=0; i<si
12c0: 7a 65 6f 66 28 73 74 61 74 69 63 4d 75 74 65 78  zeof(staticMutex
12d0: 65 73 29 2f 73 69 7a 65 6f 66 28 73 74 61 74 69  es)/sizeof(stati
12e0: 63 4d 75 74 65 78 65 73 5b 30 5d 29 3b 20 69 2b  cMutexes[0]); i+
12f0: 2b 29 7b 0a 20 20 20 20 20 20 20 20 20 20 20 20  +){.            
1300: 49 6e 69 74 69 61 6c 69 7a 65 43 72 69 74 69 63  InitializeCritic
1310: 61 6c 53 65 63 74 69 6f 6e 28 26 73 74 61 74 69  alSection(&stati
1320: 63 4d 75 74 65 78 65 73 5b 69 5d 2e 6d 75 74 65  cMutexes[i].mute
1330: 78 29 3b 0a 20 20 20 20 20 20 20 20 20 20 7d 0a  x);.          }.
1340: 20 20 20 20 20 20 20 20 20 20 69 73 49 6e 69 74            isInit
1350: 20 3d 20 31 3b 0a 20 20 20 20 20 20 20 20 7d 65   = 1;.        }e
1360: 6c 73 65 7b 0a 20 20 20 20 20 20 20 20 20 20 53  lse{.          S
1370: 6c 65 65 70 28 31 29 3b 0a 20 20 20 20 20 20 20  leep(1);.       
1380: 20 7d 0a 20 20 20 20 20 20 7d 0a 20 20 20 20 20   }.      }.     
1390: 20 61 73 73 65 72 74 28 20 69 54 79 70 65 2d 32   assert( iType-2
13a0: 20 3e 3d 20 30 20 29 3b 0a 20 20 20 20 20 20 61   >= 0 );.      a
13b0: 73 73 65 72 74 28 20 69 54 79 70 65 2d 32 20 3c  ssert( iType-2 <
13c0: 20 73 69 7a 65 6f 66 28 73 74 61 74 69 63 4d 75   sizeof(staticMu
13d0: 74 65 78 65 73 29 2f 73 69 7a 65 6f 66 28 73 74  texes)/sizeof(st
13e0: 61 74 69 63 4d 75 74 65 78 65 73 5b 30 5d 29 20  aticMutexes[0]) 
13f0: 29 3b 0a 20 20 20 20 20 20 70 20 3d 20 26 73 74  );.      p = &st
1400: 61 74 69 63 4d 75 74 65 78 65 73 5b 69 54 79 70  aticMutexes[iTyp
1410: 65 2d 32 5d 3b 0a 20 20 20 20 20 20 70 2d 3e 69  e-2];.      p->i
1420: 64 20 3d 20 69 54 79 70 65 3b 0a 20 20 20 20 20  d = iType;.     
1430: 20 62 72 65 61 6b 3b 0a 20 20 20 20 7d 0a 20 20   break;.    }.  
1440: 7d 0a 20 20 72 65 74 75 72 6e 20 70 3b 0a 7d 0a  }.  return p;.}.
1450: 0a 0a 2f 2a 0a 2a 2a 20 54 68 69 73 20 72 6f 75  ../*.** This rou
1460: 74 69 6e 65 20 64 65 61 6c 6c 6f 63 61 74 65 73  tine deallocates
1470: 20 61 20 70 72 65 76 69 6f 75 73 6c 79 0a 2a 2a   a previously.**
1480: 20 61 6c 6c 6f 63 61 74 65 64 20 6d 75 74 65 78   allocated mutex
1490: 2e 20 20 53 51 4c 69 74 65 20 69 73 20 63 61 72  .  SQLite is car
14a0: 65 66 75 6c 20 74 6f 20 64 65 61 6c 6c 6f 63 61  eful to dealloca
14b0: 74 65 20 65 76 65 72 79 0a 2a 2a 20 6d 75 74 65  te every.** mute
14c0: 78 20 74 68 61 74 20 69 74 20 61 6c 6c 6f 63 61  x that it alloca
14d0: 74 65 73 2e 0a 2a 2f 0a 73 74 61 74 69 63 20 76  tes..*/.static v
14e0: 6f 69 64 20 77 69 6e 4d 75 74 65 78 46 72 65 65  oid winMutexFree
14f0: 28 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a  (sqlite3_mutex *
1500: 70 29 7b 0a 20 20 61 73 73 65 72 74 28 20 70 20  p){.  assert( p 
1510: 29 3b 0a 20 20 61 73 73 65 72 74 28 20 70 2d 3e  );.  assert( p->
1520: 6e 52 65 66 3d 3d 30 20 29 3b 0a 20 20 61 73 73  nRef==0 );.  ass
1530: 65 72 74 28 20 70 2d 3e 69 64 3d 3d 53 51 4c 49  ert( p->id==SQLI
1540: 54 45 5f 4d 55 54 45 58 5f 46 41 53 54 20 7c 7c  TE_MUTEX_FAST ||
1550: 20 70 2d 3e 69 64 3d 3d 53 51 4c 49 54 45 5f 4d   p->id==SQLITE_M
1560: 55 54 45 58 5f 52 45 43 55 52 53 49 56 45 20 29  UTEX_RECURSIVE )
1570: 3b 0a 20 20 44 65 6c 65 74 65 43 72 69 74 69 63  ;.  DeleteCritic
1580: 61 6c 53 65 63 74 69 6f 6e 28 26 70 2d 3e 6d 75  alSection(&p->mu
1590: 74 65 78 29 3b 0a 20 20 73 71 6c 69 74 65 33 5f  tex);.  sqlite3_
15a0: 66 72 65 65 28 70 29 3b 0a 7d 0a 0a 2f 2a 0a 2a  free(p);.}../*.*
15b0: 2a 20 54 68 65 20 73 71 6c 69 74 65 33 5f 6d 75  * The sqlite3_mu
15c0: 74 65 78 5f 65 6e 74 65 72 28 29 20 61 6e 64 20  tex_enter() and 
15d0: 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 74 72  sqlite3_mutex_tr
15e0: 79 28 29 20 72 6f 75 74 69 6e 65 73 20 61 74 74  y() routines att
15f0: 65 6d 70 74 0a 2a 2a 20 74 6f 20 65 6e 74 65 72  empt.** to enter
1600: 20 61 20 6d 75 74 65 78 2e 20 20 49 66 20 61 6e   a mutex.  If an
1610: 6f 74 68 65 72 20 74 68 72 65 61 64 20 69 73 20  other thread is 
1620: 61 6c 72 65 61 64 79 20 77 69 74 68 69 6e 20 74  already within t
1630: 68 65 20 6d 75 74 65 78 2c 0a 2a 2a 20 73 71 6c  he mutex,.** sql
1640: 69 74 65 33 5f 6d 75 74 65 78 5f 65 6e 74 65 72  ite3_mutex_enter
1650: 28 29 20 77 69 6c 6c 20 62 6c 6f 63 6b 20 61 6e  () will block an
1660: 64 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f  d sqlite3_mutex_
1670: 74 72 79 28 29 20 77 69 6c 6c 20 72 65 74 75 72  try() will retur
1680: 6e 0a 2a 2a 20 53 51 4c 49 54 45 5f 42 55 53 59  n.** SQLITE_BUSY
1690: 2e 20 20 54 68 65 20 73 71 6c 69 74 65 33 5f 6d  .  The sqlite3_m
16a0: 75 74 65 78 5f 74 72 79 28 29 20 69 6e 74 65 72  utex_try() inter
16b0: 66 61 63 65 20 72 65 74 75 72 6e 73 20 53 51 4c  face returns SQL
16c0: 49 54 45 5f 4f 4b 0a 2a 2a 20 75 70 6f 6e 20 73  ITE_OK.** upon s
16d0: 75 63 63 65 73 73 66 75 6c 20 65 6e 74 72 79 2e  uccessful entry.
16e0: 20 20 4d 75 74 65 78 65 73 20 63 72 65 61 74 65    Mutexes create
16f0: 64 20 75 73 69 6e 67 20 53 51 4c 49 54 45 5f 4d  d using SQLITE_M
1700: 55 54 45 58 5f 52 45 43 55 52 53 49 56 45 20 63  UTEX_RECURSIVE c
1710: 61 6e 0a 2a 2a 20 62 65 20 65 6e 74 65 72 65 64  an.** be entered
1720: 20 6d 75 6c 74 69 70 6c 65 20 74 69 6d 65 73 20   multiple times 
1730: 62 79 20 74 68 65 20 73 61 6d 65 20 74 68 72 65  by the same thre
1740: 61 64 2e 20 20 49 6e 20 73 75 63 68 20 63 61 73  ad.  In such cas
1750: 65 73 20 74 68 65 2c 0a 2a 2a 20 6d 75 74 65 78  es the,.** mutex
1760: 20 6d 75 73 74 20 62 65 20 65 78 69 74 65 64 20   must be exited 
1770: 61 6e 20 65 71 75 61 6c 20 6e 75 6d 62 65 72 20  an equal number 
1780: 6f 66 20 74 69 6d 65 73 20 62 65 66 6f 72 65 20  of times before 
1790: 61 6e 6f 74 68 65 72 20 74 68 72 65 61 64 0a 2a  another thread.*
17a0: 2a 20 63 61 6e 20 65 6e 74 65 72 2e 20 20 49 66  * can enter.  If
17b0: 20 74 68 65 20 73 61 6d 65 20 74 68 72 65 61 64   the same thread
17c0: 20 74 72 69 65 73 20 74 6f 20 65 6e 74 65 72 20   tries to enter 
17d0: 61 6e 79 20 6f 74 68 65 72 20 6b 69 6e 64 20 6f  any other kind o
17e0: 66 20 6d 75 74 65 78 0a 2a 2a 20 6d 6f 72 65 20  f mutex.** more 
17f0: 74 68 61 6e 20 6f 6e 63 65 2c 20 74 68 65 20 62  than once, the b
1800: 65 68 61 76 69 6f 72 20 69 73 20 75 6e 64 65 66  ehavior is undef
1810: 69 6e 65 64 2e 0a 2a 2f 0a 73 74 61 74 69 63 20  ined..*/.static 
1820: 76 6f 69 64 20 77 69 6e 4d 75 74 65 78 45 6e 74  void winMutexEnt
1830: 65 72 28 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  er(sqlite3_mutex
1840: 20 2a 70 29 7b 0a 20 20 61 73 73 65 72 74 28 20   *p){.  assert( 
1850: 70 2d 3e 69 64 3d 3d 53 51 4c 49 54 45 5f 4d 55  p->id==SQLITE_MU
1860: 54 45 58 5f 52 45 43 55 52 53 49 56 45 20 7c 7c  TEX_RECURSIVE ||
1870: 20 77 69 6e 4d 75 74 65 78 4e 6f 74 68 65 6c 64   winMutexNotheld
1880: 28 70 29 20 29 3b 0a 20 20 45 6e 74 65 72 43 72  (p) );.  EnterCr
1890: 69 74 69 63 61 6c 53 65 63 74 69 6f 6e 28 26 70  iticalSection(&p
18a0: 2d 3e 6d 75 74 65 78 29 3b 0a 20 20 70 2d 3e 6f  ->mutex);.  p->o
18b0: 77 6e 65 72 20 3d 20 47 65 74 43 75 72 72 65 6e  wner = GetCurren
18c0: 74 54 68 72 65 61 64 49 64 28 29 3b 20 0a 20 20  tThreadId(); .  
18d0: 70 2d 3e 6e 52 65 66 2b 2b 3b 0a 7d 0a 73 74 61  p->nRef++;.}.sta
18e0: 74 69 63 20 69 6e 74 20 77 69 6e 4d 75 74 65 78  tic int winMutex
18f0: 54 72 79 28 73 71 6c 69 74 65 33 5f 6d 75 74 65  Try(sqlite3_mute
1900: 78 20 2a 70 29 7b 0a 20 20 69 6e 74 20 72 63 20  x *p){.  int rc 
1910: 3d 20 53 51 4c 49 54 45 5f 42 55 53 59 3b 0a 20  = SQLITE_BUSY;. 
1920: 20 61 73 73 65 72 74 28 20 70 2d 3e 69 64 3d 3d   assert( p->id==
1930: 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 52 45 43  SQLITE_MUTEX_REC
1940: 55 52 53 49 56 45 20 7c 7c 20 77 69 6e 4d 75 74  URSIVE || winMut
1950: 65 78 4e 6f 74 68 65 6c 64 28 70 29 20 29 3b 0a  exNotheld(p) );.
1960: 20 20 2f 2a 0a 20 20 2a 2a 20 54 68 65 20 73 71    /*.  ** The sq
1970: 6c 69 74 65 33 5f 6d 75 74 65 78 5f 74 72 79 28  lite3_mutex_try(
1980: 29 20 72 6f 75 74 69 6e 65 20 69 73 20 76 65 72  ) routine is ver
1990: 79 20 72 61 72 65 6c 79 20 75 73 65 64 2c 20 61  y rarely used, a
19a0: 6e 64 20 77 68 65 6e 20 69 74 0a 20 20 2a 2a 20  nd when it.  ** 
19b0: 69 73 20 75 73 65 64 20 69 74 20 69 73 20 6d 65  is used it is me
19c0: 72 65 6c 79 20 61 6e 20 6f 70 74 69 6d 69 7a 61  rely an optimiza
19d0: 74 69 6f 6e 2e 20 20 53 6f 20 69 74 20 69 73 20  tion.  So it is 
19e0: 4f 4b 20 66 6f 72 20 69 74 20 74 6f 20 61 6c 77  OK for it to alw
19f0: 61 79 73 0a 20 20 2a 2a 20 66 61 69 6c 2e 20 20  ays.  ** fail.  
1a00: 0a 20 20 2a 2a 0a 20 20 2a 2a 20 54 68 65 20 54  .  **.  ** The T
1a10: 72 79 45 6e 74 65 72 43 72 69 74 69 63 61 6c 53  ryEnterCriticalS
1a20: 65 63 74 69 6f 6e 28 29 20 69 6e 74 65 72 66 61  ection() interfa
1a30: 63 65 20 69 73 20 6f 6e 6c 79 20 61 76 61 69 6c  ce is only avail
1a40: 61 62 6c 65 20 6f 6e 20 57 69 6e 4e 54 2e 0a 20  able on WinNT.. 
1a50: 20 2a 2a 20 41 6e 64 20 73 6f 6d 65 20 77 69 6e   ** And some win
1a60: 64 6f 77 73 20 63 6f 6d 70 69 6c 65 72 73 20 63  dows compilers c
1a70: 6f 6d 70 6c 61 69 6e 20 69 66 20 79 6f 75 20 74  omplain if you t
1a80: 72 79 20 74 6f 20 75 73 65 20 69 74 20 77 69 74  ry to use it wit
1a90: 68 6f 75 74 0a 20 20 2a 2a 20 66 69 72 73 74 20  hout.  ** first 
1aa0: 64 6f 69 6e 67 20 73 6f 6d 65 20 23 64 65 66 69  doing some #defi
1ab0: 6e 65 73 20 74 68 61 74 20 70 72 65 76 65 6e 74  nes that prevent
1ac0: 20 53 51 4c 69 74 65 20 66 72 6f 6d 20 62 75 69   SQLite from bui
1ad0: 6c 64 69 6e 67 20 6f 6e 20 57 69 6e 39 38 2e 0a  lding on Win98..
1ae0: 20 20 2a 2a 20 46 6f 72 20 74 68 61 74 20 72 65    ** For that re
1af0: 61 73 6f 6e 2c 20 77 65 20 77 69 6c 6c 20 6f 6d  ason, we will om
1b00: 69 74 20 74 68 69 73 20 6f 70 74 69 6d 69 7a 61  it this optimiza
1b10: 74 69 6f 6e 20 66 6f 72 20 6e 6f 77 2e 20 20 53  tion for now.  S
1b20: 65 65 0a 20 20 2a 2a 20 74 69 63 6b 65 74 20 23  ee.  ** ticket #
1b30: 32 36 38 35 2e 0a 20 20 2a 2f 0a 23 69 66 20 30  2685..  */.#if 0
1b40: 0a 20 20 69 66 28 20 6d 75 74 65 78 49 73 4e 54  .  if( mutexIsNT
1b50: 28 29 20 26 26 20 54 72 79 45 6e 74 65 72 43 72  () && TryEnterCr
1b60: 69 74 69 63 61 6c 53 65 63 74 69 6f 6e 28 26 70  iticalSection(&p
1b70: 2d 3e 6d 75 74 65 78 29 20 29 7b 0a 20 20 20 20  ->mutex) ){.    
1b80: 70 2d 3e 6f 77 6e 65 72 20 3d 20 47 65 74 43 75  p->owner = GetCu
1b90: 72 72 65 6e 74 54 68 72 65 61 64 49 64 28 29 3b  rrentThreadId();
1ba0: 0a 20 20 20 20 70 2d 3e 6e 52 65 66 2b 2b 3b 0a  .    p->nRef++;.
1bb0: 20 20 20 20 72 63 20 3d 20 53 51 4c 49 54 45 5f      rc = SQLITE_
1bc0: 4f 4b 3b 0a 20 20 7d 0a 23 65 6e 64 69 66 0a 20  OK;.  }.#endif. 
1bd0: 20 72 65 74 75 72 6e 20 72 63 3b 0a 7d 0a 0a 2f   return rc;.}../
1be0: 2a 0a 2a 2a 20 54 68 65 20 73 71 6c 69 74 65 33  *.** The sqlite3
1bf0: 5f 6d 75 74 65 78 5f 6c 65 61 76 65 28 29 20 72  _mutex_leave() r
1c00: 6f 75 74 69 6e 65 20 65 78 69 74 73 20 61 20 6d  outine exits a m
1c10: 75 74 65 78 20 74 68 61 74 20 77 61 73 0a 2a 2a  utex that was.**
1c20: 20 70 72 65 76 69 6f 75 73 6c 79 20 65 6e 74 65   previously ente
1c30: 72 65 64 20 62 79 20 74 68 65 20 73 61 6d 65 20  red by the same 
1c40: 74 68 72 65 61 64 2e 20 20 54 68 65 20 62 65 68  thread.  The beh
1c50: 61 76 69 6f 72 0a 2a 2a 20 69 73 20 75 6e 64 65  avior.** is unde
1c60: 66 69 6e 65 64 20 69 66 20 74 68 65 20 6d 75 74  fined if the mut
1c70: 65 78 20 69 73 20 6e 6f 74 20 63 75 72 72 65 6e  ex is not curren
1c80: 74 6c 79 20 65 6e 74 65 72 65 64 20 6f 72 0a 2a  tly entered or.*
1c90: 2a 20 69 73 20 6e 6f 74 20 63 75 72 72 65 6e 74  * is not current
1ca0: 6c 79 20 61 6c 6c 6f 63 61 74 65 64 2e 20 20 53  ly allocated.  S
1cb0: 51 4c 69 74 65 20 77 69 6c 6c 20 6e 65 76 65 72  QLite will never
1cc0: 20 64 6f 20 65 69 74 68 65 72 2e 0a 2a 2f 0a 73   do either..*/.s
1cd0: 74 61 74 69 63 20 76 6f 69 64 20 77 69 6e 4d 75  tatic void winMu
1ce0: 74 65 78 4c 65 61 76 65 28 73 71 6c 69 74 65 33  texLeave(sqlite3
1cf0: 5f 6d 75 74 65 78 20 2a 70 29 7b 0a 20 20 61 73  _mutex *p){.  as
1d00: 73 65 72 74 28 20 70 2d 3e 6e 52 65 66 3e 30 20  sert( p->nRef>0 
1d10: 29 3b 0a 20 20 61 73 73 65 72 74 28 20 70 2d 3e  );.  assert( p->
1d20: 6f 77 6e 65 72 3d 3d 47 65 74 43 75 72 72 65 6e  owner==GetCurren
1d30: 74 54 68 72 65 61 64 49 64 28 29 20 29 3b 0a 20  tThreadId() );. 
1d40: 20 70 2d 3e 6e 52 65 66 2d 2d 3b 0a 20 20 61 73   p->nRef--;.  as
1d50: 73 65 72 74 28 20 70 2d 3e 6e 52 65 66 3d 3d 30  sert( p->nRef==0
1d60: 20 7c 7c 20 70 2d 3e 69 64 3d 3d 53 51 4c 49 54   || p->id==SQLIT
1d70: 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56  E_MUTEX_RECURSIV
1d80: 45 20 29 3b 0a 20 20 4c 65 61 76 65 43 72 69 74  E );.  LeaveCrit
1d90: 69 63 61 6c 53 65 63 74 69 6f 6e 28 26 70 2d 3e  icalSection(&p->
1da0: 6d 75 74 65 78 29 3b 0a 7d 0a 0a 73 71 6c 69 74  mutex);.}..sqlit
1db0: 65 33 5f 6d 75 74 65 78 5f 6d 65 74 68 6f 64 73  e3_mutex_methods
1dc0: 20 2a 73 71 6c 69 74 65 33 44 65 66 61 75 6c 74   *sqlite3Default
1dd0: 4d 75 74 65 78 28 76 6f 69 64 29 7b 0a 20 20 73  Mutex(void){.  s
1de0: 74 61 74 69 63 20 73 71 6c 69 74 65 33 5f 6d 75  tatic sqlite3_mu
1df0: 74 65 78 5f 6d 65 74 68 6f 64 73 20 73 4d 75 74  tex_methods sMut
1e00: 65 78 20 3d 20 7b 0a 20 20 20 20 77 69 6e 4d 75  ex = {.    winMu
1e10: 74 65 78 49 6e 69 74 2c 0a 20 20 20 20 77 69 6e  texInit,.    win
1e20: 4d 75 74 65 78 45 6e 64 2c 0a 20 20 20 20 77 69  MutexEnd,.    wi
1e30: 6e 4d 75 74 65 78 41 6c 6c 6f 63 2c 0a 20 20 20  nMutexAlloc,.   
1e40: 20 77 69 6e 4d 75 74 65 78 46 72 65 65 2c 0a 20   winMutexFree,. 
1e50: 20 20 20 77 69 6e 4d 75 74 65 78 45 6e 74 65 72     winMutexEnter
1e60: 2c 0a 20 20 20 20 77 69 6e 4d 75 74 65 78 54 72  ,.    winMutexTr
1e70: 79 2c 0a 20 20 20 20 77 69 6e 4d 75 74 65 78 4c  y,.    winMutexL
1e80: 65 61 76 65 2c 0a 23 69 66 64 65 66 20 53 51 4c  eave,.#ifdef SQL
1e90: 49 54 45 5f 44 45 42 55 47 0a 20 20 20 20 77 69  ITE_DEBUG.    wi
1ea0: 6e 4d 75 74 65 78 48 65 6c 64 2c 0a 20 20 20 20  nMutexHeld,.    
1eb0: 77 69 6e 4d 75 74 65 78 4e 6f 74 68 65 6c 64 0a  winMutexNotheld.
1ec0: 23 65 6e 64 69 66 0a 20 20 7d 3b 0a 0a 20 20 72  #endif.  };..  r
1ed0: 65 74 75 72 6e 20 26 73 4d 75 74 65 78 3b 0a 7d  eturn &sMutex;.}
1ee0: 0a 23 65 6e 64 69 66 20 2f 2a 20 53 51 4c 49 54  .#endif /* SQLIT
1ef0: 45 5f 4d 55 54 45 58 5f 57 33 32 20 2a 2f 0a     E_MUTEX_W32 */.