/ Hex Artifact Content
Login

Artifact b2c1481ee93b0ac7a8fa5346570fd173b6763fdb:


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 38 20 32 30 30 39 2f 30 38  c,v 1.18 2009/08
01e0: 2f 31 30 20 30 33 3a 32 33 3a 32 31 20 73 68 61  /10 03:23:21 sha
01f0: 6e 65 20 45 78 70 20 24 0a 2a 2f 0a 23 69 6e 63  ne Exp $.*/.#inc
0200: 6c 75 64 65 20 22 73 71 6c 69 74 65 49 6e 74 2e  lude "sqliteInt.
0210: 68 22 0a 0a 2f 2a 0a 2a 2a 20 54 68 65 20 63 6f  h"../*.** The co
0220: 64 65 20 69 6e 20 74 68 69 73 20 66 69 6c 65 20  de in this file 
0230: 69 73 20 6f 6e 6c 79 20 75 73 65 64 20 69 66 20  is only used if 
0240: 77 65 20 61 72 65 20 63 6f 6d 70 69 6c 69 6e 67  we are compiling
0250: 20 6d 75 6c 74 69 74 68 72 65 61 64 65 64 0a 2a   multithreaded.*
0260: 2a 20 6f 6e 20 61 20 77 69 6e 33 32 20 73 79 73  * on a win32 sys
0270: 74 65 6d 2e 0a 2a 2f 0a 23 69 66 64 65 66 20 53  tem..*/.#ifdef S
0280: 51 4c 49 54 45 5f 4d 55 54 45 58 5f 57 33 32 0a  QLITE_MUTEX_W32.
0290: 0a 2f 2a 0a 2a 2a 20 45 61 63 68 20 72 65 63 75  ./*.** Each recu
02a0: 72 73 69 76 65 20 6d 75 74 65 78 20 69 73 20 61  rsive mutex is a
02b0: 6e 20 69 6e 73 74 61 6e 63 65 20 6f 66 20 74 68  n instance of th
02c0: 65 20 66 6f 6c 6c 6f 77 69 6e 67 20 73 74 72 75  e following stru
02d0: 63 74 75 72 65 2e 0a 2a 2f 0a 73 74 72 75 63 74  cture..*/.struct
02e0: 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 7b   sqlite3_mutex {
02f0: 0a 20 20 43 52 49 54 49 43 41 4c 5f 53 45 43 54  .  CRITICAL_SECT
0300: 49 4f 4e 20 6d 75 74 65 78 3b 20 20 20 20 2f 2a  ION mutex;    /*
0310: 20 4d 75 74 65 78 20 63 6f 6e 74 72 6f 6c 6c 69   Mutex controlli
0320: 6e 67 20 74 68 65 20 6c 6f 63 6b 20 2a 2f 0a 20  ng the lock */. 
0330: 20 69 6e 74 20 69 64 3b 20 20 20 20 20 20 20 20   int id;        
0340: 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20 4d              /* M
0350: 75 74 65 78 20 74 79 70 65 20 2a 2f 0a 20 20 69  utex type */.  i
0360: 6e 74 20 6e 52 65 66 3b 20 20 20 20 20 20 20 20  nt nRef;        
0370: 20 20 20 20 20 20 20 20 20 20 2f 2a 20 4e 75 6d            /* Num
0380: 62 65 72 20 6f 66 20 65 6e 74 65 72 61 6e 63 65  ber of enterance
0390: 73 20 2a 2f 0a 20 20 44 57 4f 52 44 20 6f 77 6e  s */.  DWORD own
03a0: 65 72 3b 20 20 20 20 20 20 20 20 20 20 20 20 20  er;             
03b0: 20 20 2f 2a 20 54 68 72 65 61 64 20 68 6f 6c 64    /* Thread hold
03c0: 69 6e 67 20 74 68 69 73 20 6d 75 74 65 78 20 2a  ing this mutex *
03d0: 2f 0a 7d 3b 0a 0a 2f 2a 0a 2a 2a 20 52 65 74 75  /.};../*.** Retu
03e0: 72 6e 20 74 72 75 65 20 28 6e 6f 6e 2d 7a 65 72  rn true (non-zer
03f0: 6f 29 20 69 66 20 77 65 20 61 72 65 20 72 75 6e  o) if we are run
0400: 6e 69 6e 67 20 75 6e 64 65 72 20 57 69 6e 4e 54  ning under WinNT
0410: 2c 20 57 69 6e 32 4b 2c 20 57 69 6e 58 50 2c 0a  , Win2K, WinXP,.
0420: 2a 2a 20 6f 72 20 57 69 6e 43 45 2e 20 20 52 65  ** or WinCE.  Re
0430: 74 75 72 6e 20 66 61 6c 73 65 20 28 7a 65 72 6f  turn false (zero
0440: 29 20 66 6f 72 20 57 69 6e 39 35 2c 20 57 69 6e  ) for Win95, Win
0450: 39 38 2c 20 6f 72 20 57 69 6e 4d 45 2e 0a 2a 2a  98, or WinME..**
0460: 0a 2a 2a 20 48 65 72 65 20 69 73 20 61 6e 20 69  .** Here is an i
0470: 6e 74 65 72 65 73 74 69 6e 67 20 6f 62 73 65 72  nteresting obser
0480: 76 61 74 69 6f 6e 3a 20 20 57 69 6e 39 35 2c 20  vation:  Win95, 
0490: 57 69 6e 39 38 2c 20 61 6e 64 20 57 69 6e 4d 45  Win98, and WinME
04a0: 20 6c 61 63 6b 0a 2a 2a 20 74 68 65 20 4c 6f 63   lack.** the Loc
04b0: 6b 46 69 6c 65 45 78 28 29 20 41 50 49 2e 20 20  kFileEx() API.  
04c0: 42 75 74 20 77 65 20 63 61 6e 20 73 74 69 6c 6c  But we can still
04d0: 20 73 74 61 74 69 63 61 6c 6c 79 20 6c 69 6e 6b   statically link
04e0: 20 61 67 61 69 6e 73 74 20 74 68 61 74 0a 2a 2a   against that.**
04f0: 20 41 50 49 20 61 73 20 6c 6f 6e 67 20 61 73 20   API as long as 
0500: 77 65 20 64 6f 6e 27 74 20 63 61 6c 6c 20 69 74  we don't call it
0510: 20 77 69 6e 20 72 75 6e 6e 69 6e 67 20 57 69 6e   win running Win
0520: 39 35 2f 39 38 2f 4d 45 2e 20 20 41 20 63 61 6c  95/98/ME.  A cal
0530: 6c 20 74 6f 0a 2a 2a 20 74 68 69 73 20 72 6f 75  l to.** this rou
0540: 74 69 6e 65 20 69 73 20 75 73 65 64 20 74 6f 20  tine is used to 
0550: 64 65 74 65 72 6d 69 6e 65 20 69 66 20 74 68 65  determine if the
0560: 20 68 6f 73 74 20 69 73 20 57 69 6e 39 35 2f 39   host is Win95/9
0570: 38 2f 4d 45 20 6f 72 0a 2a 2a 20 57 69 6e 4e 54  8/ME or.** WinNT
0580: 2f 32 4b 2f 58 50 20 73 6f 20 74 68 61 74 20 77  /2K/XP so that w
0590: 65 20 77 69 6c 6c 20 6b 6e 6f 77 20 77 68 65 74  e will know whet
05a0: 68 65 72 20 6f 72 20 6e 6f 74 20 77 65 20 63 61  her or not we ca
05b0: 6e 20 73 61 66 65 6c 79 20 63 61 6c 6c 0a 2a 2a  n safely call.**
05c0: 20 74 68 65 20 4c 6f 63 6b 46 69 6c 65 45 78 28   the LockFileEx(
05d0: 29 20 41 50 49 2e 0a 2a 2a 0a 2a 2a 20 6d 75 74  ) API..**.** mut
05e0: 65 78 49 73 4e 54 28 29 20 69 73 20 6f 6e 6c 79  exIsNT() is only
05f0: 20 75 73 65 64 20 66 6f 72 20 74 68 65 20 54 72   used for the Tr
0600: 79 45 6e 74 65 72 43 72 69 74 69 63 61 6c 53 65  yEnterCriticalSe
0610: 63 74 69 6f 6e 28 29 20 41 50 49 20 63 61 6c 6c  ction() API call
0620: 2c 0a 2a 2a 20 77 68 69 63 68 20 69 73 20 6f 6e  ,.** which is on
0630: 6c 79 20 61 76 61 69 6c 61 62 6c 65 20 69 66 20  ly available if 
0640: 79 6f 75 72 20 61 70 70 6c 69 63 61 74 69 6f 6e  your application
0650: 20 77 61 73 20 63 6f 6d 70 69 6c 65 64 20 77 69   was compiled wi
0660: 74 68 20 0a 2a 2a 20 5f 57 49 4e 33 32 5f 57 49  th .** _WIN32_WI
0670: 4e 4e 54 20 64 65 66 69 6e 65 64 20 74 6f 20 61  NNT defined to a
0680: 20 76 61 6c 75 65 20 3e 3d 20 30 78 30 34 30 30   value >= 0x0400
0690: 2e 20 20 43 75 72 72 65 6e 74 6c 79 2c 20 74 68  .  Currently, th
06a0: 65 20 6f 6e 6c 79 0a 2a 2a 20 63 61 6c 6c 20 74  e only.** call t
06b0: 6f 20 54 72 79 45 6e 74 65 72 43 72 69 74 69 63  o TryEnterCritic
06c0: 61 6c 53 65 63 74 69 6f 6e 28 29 20 69 73 20 23  alSection() is #
06d0: 69 66 64 65 66 27 65 64 20 6f 75 74 2c 20 73 6f  ifdef'ed out, so
06e0: 20 23 69 66 64 65 66 20 0a 2a 2a 20 74 68 69 73   #ifdef .** this
06f0: 20 6f 75 74 20 61 73 20 77 65 6c 6c 2e 0a 2a 2f   out as well..*/
0700: 0a 23 69 66 20 30 0a 23 69 66 20 53 51 4c 49 54  .#if 0.#if SQLIT
0710: 45 5f 4f 53 5f 57 49 4e 43 45 0a 23 20 64 65 66  E_OS_WINCE.# def
0720: 69 6e 65 20 6d 75 74 65 78 49 73 4e 54 28 29 20  ine mutexIsNT() 
0730: 20 28 31 29 0a 23 65 6c 73 65 0a 20 20 73 74 61   (1).#else.  sta
0740: 74 69 63 20 69 6e 74 20 6d 75 74 65 78 49 73 4e  tic int mutexIsN
0750: 54 28 76 6f 69 64 29 7b 0a 20 20 20 20 73 74 61  T(void){.    sta
0760: 74 69 63 20 69 6e 74 20 6f 73 54 79 70 65 20 3d  tic int osType =
0770: 20 30 3b 0a 20 20 20 20 69 66 28 20 6f 73 54 79   0;.    if( osTy
0780: 70 65 3d 3d 30 20 29 7b 0a 20 20 20 20 20 20 4f  pe==0 ){.      O
0790: 53 56 45 52 53 49 4f 4e 49 4e 46 4f 20 73 49 6e  SVERSIONINFO sIn
07a0: 66 6f 3b 0a 20 20 20 20 20 20 73 49 6e 66 6f 2e  fo;.      sInfo.
07b0: 64 77 4f 53 56 65 72 73 69 6f 6e 49 6e 66 6f 53  dwOSVersionInfoS
07c0: 69 7a 65 20 3d 20 73 69 7a 65 6f 66 28 73 49 6e  ize = sizeof(sIn
07d0: 66 6f 29 3b 0a 20 20 20 20 20 20 47 65 74 56 65  fo);.      GetVe
07e0: 72 73 69 6f 6e 45 78 28 26 73 49 6e 66 6f 29 3b  rsionEx(&sInfo);
07f0: 0a 20 20 20 20 20 20 6f 73 54 79 70 65 20 3d 20  .      osType = 
0800: 73 49 6e 66 6f 2e 64 77 50 6c 61 74 66 6f 72 6d  sInfo.dwPlatform
0810: 49 64 3d 3d 56 45 52 5f 50 4c 41 54 46 4f 52 4d  Id==VER_PLATFORM
0820: 5f 57 49 4e 33 32 5f 4e 54 20 3f 20 32 20 3a 20  _WIN32_NT ? 2 : 
0830: 31 3b 0a 20 20 20 20 7d 0a 20 20 20 20 72 65 74  1;.    }.    ret
0840: 75 72 6e 20 6f 73 54 79 70 65 3d 3d 32 3b 0a 20  urn osType==2;. 
0850: 20 7d 0a 23 65 6e 64 69 66 20 2f 2a 20 53 51 4c   }.#endif /* SQL
0860: 49 54 45 5f 4f 53 5f 57 49 4e 43 45 20 2a 2f 0a  ITE_OS_WINCE */.
0870: 23 65 6e 64 69 66 0a 0a 23 69 66 64 65 66 20 53  #endif..#ifdef S
0880: 51 4c 49 54 45 5f 44 45 42 55 47 0a 2f 2a 0a 2a  QLITE_DEBUG./*.*
0890: 2a 20 54 68 65 20 73 71 6c 69 74 65 33 5f 6d 75  * The sqlite3_mu
08a0: 74 65 78 5f 68 65 6c 64 28 29 20 61 6e 64 20 73  tex_held() and s
08b0: 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 6e 6f 74  qlite3_mutex_not
08c0: 68 65 6c 64 28 29 20 72 6f 75 74 69 6e 65 20 61  held() routine a
08d0: 72 65 0a 2a 2a 20 69 6e 74 65 6e 64 65 64 20 66  re.** intended f
08e0: 6f 72 20 75 73 65 20 6f 6e 6c 79 20 69 6e 73 69  or use only insi
08f0: 64 65 20 61 73 73 65 72 74 28 29 20 73 74 61 74  de assert() stat
0900: 65 6d 65 6e 74 73 2e 0a 2a 2f 0a 73 74 61 74 69  ements..*/.stati
0910: 63 20 69 6e 74 20 77 69 6e 4d 75 74 65 78 48 65  c int winMutexHe
0920: 6c 64 28 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  ld(sqlite3_mutex
0930: 20 2a 70 29 7b 0a 20 20 72 65 74 75 72 6e 20 70   *p){.  return p
0940: 2d 3e 6e 52 65 66 21 3d 30 20 26 26 20 70 2d 3e  ->nRef!=0 && p->
0950: 6f 77 6e 65 72 3d 3d 47 65 74 43 75 72 72 65 6e  owner==GetCurren
0960: 74 54 68 72 65 61 64 49 64 28 29 3b 0a 7d 0a 73  tThreadId();.}.s
0970: 74 61 74 69 63 20 69 6e 74 20 77 69 6e 4d 75 74  tatic int winMut
0980: 65 78 4e 6f 74 68 65 6c 64 28 73 71 6c 69 74 65  exNotheld(sqlite
0990: 33 5f 6d 75 74 65 78 20 2a 70 29 7b 0a 20 20 72  3_mutex *p){.  r
09a0: 65 74 75 72 6e 20 70 2d 3e 6e 52 65 66 3d 3d 30  eturn p->nRef==0
09b0: 20 7c 7c 20 70 2d 3e 6f 77 6e 65 72 21 3d 47 65   || p->owner!=Ge
09c0: 74 43 75 72 72 65 6e 74 54 68 72 65 61 64 49 64  tCurrentThreadId
09d0: 28 29 3b 0a 7d 0a 23 65 6e 64 69 66 0a 0a 0a 2f  ();.}.#endif.../
09e0: 2a 0a 2a 2a 20 49 6e 69 74 69 61 6c 69 7a 65 20  *.** Initialize 
09f0: 61 6e 64 20 64 65 69 6e 69 74 69 61 6c 69 7a 65  and deinitialize
0a00: 20 74 68 65 20 6d 75 74 65 78 20 73 75 62 73 79   the mutex subsy
0a10: 73 74 65 6d 2e 0a 2a 2f 0a 73 74 61 74 69 63 20  stem..*/.static 
0a20: 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 77 69  sqlite3_mutex wi
0a30: 6e 4d 75 74 65 78 5f 73 74 61 74 69 63 4d 75 74  nMutex_staticMut
0a40: 65 78 65 73 5b 36 5d 3b 0a 73 74 61 74 69 63 20  exes[6];.static 
0a50: 69 6e 74 20 77 69 6e 4d 75 74 65 78 5f 69 73 49  int winMutex_isI
0a60: 6e 69 74 20 3d 20 30 3b 0a 2f 2a 20 41 73 20 77  nit = 0;./* As w
0a70: 69 6e 4d 75 74 65 78 49 6e 69 74 28 29 20 61 6e  inMutexInit() an
0a80: 64 20 77 69 6e 4d 75 74 65 78 45 6e 64 28 29 20  d winMutexEnd() 
0a90: 61 72 65 20 63 61 6c 6c 65 64 20 61 73 20 70 61  are called as pa
0aa0: 72 74 0a 2a 2a 20 6f 66 20 74 68 65 20 73 71 6c  rt.** of the sql
0ab0: 69 74 65 33 5f 69 6e 69 74 69 61 6c 69 7a 65 20  ite3_initialize 
0ac0: 61 6e 64 20 73 71 6c 69 74 65 33 5f 73 68 75 74  and sqlite3_shut
0ad0: 64 6f 77 6e 28 29 0a 2a 2a 20 70 72 6f 63 65 73  down().** proces
0ae0: 73 69 6e 67 2c 20 74 68 65 20 22 69 6e 74 65 72  sing, the "inter
0af0: 6c 6f 63 6b 65 64 22 20 6d 61 67 69 63 20 69 73  locked" magic is
0b00: 20 70 72 6f 62 61 62 6c 79 20 6e 6f 74 0a 2a 2a   probably not.**
0b10: 20 73 74 72 69 63 74 6c 79 20 6e 65 63 65 73 73   strictly necess
0b20: 61 72 79 2e 0a 2a 2f 0a 73 74 61 74 69 63 20 6c  ary..*/.static l
0b30: 6f 6e 67 20 77 69 6e 4d 75 74 65 78 5f 6c 6f 63  ong winMutex_loc
0b40: 6b 20 3d 20 30 3b 0a 0a 73 74 61 74 69 63 20 69  k = 0;..static i
0b50: 6e 74 20 77 69 6e 4d 75 74 65 78 49 6e 69 74 28  nt winMutexInit(
0b60: 76 6f 69 64 29 7b 20 0a 20 20 2f 2a 20 54 68 65  void){ .  /* The
0b70: 20 66 69 72 73 74 20 74 6f 20 69 6e 63 72 65 6d   first to increm
0b80: 65 6e 74 20 74 6f 20 31 20 64 6f 65 73 20 61 63  ent to 1 does ac
0b90: 74 75 61 6c 20 69 6e 69 74 69 61 6c 69 7a 61 74  tual initializat
0ba0: 69 6f 6e 20 2a 2f 0a 20 20 69 66 28 20 49 6e 74  ion */.  if( Int
0bb0: 65 72 6c 6f 63 6b 65 64 43 6f 6d 70 61 72 65 45  erlockedCompareE
0bc0: 78 63 68 61 6e 67 65 28 26 77 69 6e 4d 75 74 65  xchange(&winMute
0bd0: 78 5f 6c 6f 63 6b 2c 20 31 2c 20 30 29 3d 3d 30  x_lock, 1, 0)==0
0be0: 20 29 7b 0a 20 20 20 20 69 6e 74 20 69 3b 0a 20   ){.    int i;. 
0bf0: 20 20 20 66 6f 72 28 69 3d 30 3b 20 69 3c 41 72     for(i=0; i<Ar
0c00: 72 61 79 53 69 7a 65 28 77 69 6e 4d 75 74 65 78  raySize(winMutex
0c10: 5f 73 74 61 74 69 63 4d 75 74 65 78 65 73 29 3b  _staticMutexes);
0c20: 20 69 2b 2b 29 7b 0a 20 20 20 20 20 20 49 6e 69   i++){.      Ini
0c30: 74 69 61 6c 69 7a 65 43 72 69 74 69 63 61 6c 53  tializeCriticalS
0c40: 65 63 74 69 6f 6e 28 26 77 69 6e 4d 75 74 65 78  ection(&winMutex
0c50: 5f 73 74 61 74 69 63 4d 75 74 65 78 65 73 5b 69  _staticMutexes[i
0c60: 5d 2e 6d 75 74 65 78 29 3b 0a 20 20 20 20 7d 0a  ].mutex);.    }.
0c70: 20 20 20 20 77 69 6e 4d 75 74 65 78 5f 69 73 49      winMutex_isI
0c80: 6e 69 74 20 3d 20 31 3b 0a 20 20 7d 65 6c 73 65  nit = 1;.  }else
0c90: 7b 0a 20 20 20 20 2f 2a 20 53 6f 6d 65 6f 6e 65  {.    /* Someone
0ca0: 20 65 6c 73 65 20 69 73 20 69 6e 20 74 68 65 20   else is in the 
0cb0: 70 72 6f 63 65 73 73 20 6f 66 20 69 6e 69 74 69  process of initi
0cc0: 6e 67 20 74 68 65 20 73 74 61 74 69 63 20 6d 75  ng the static mu
0cd0: 74 65 78 65 73 20 2a 2f 0a 20 20 20 20 77 68 69  texes */.    whi
0ce0: 6c 65 28 20 21 77 69 6e 4d 75 74 65 78 5f 69 73  le( !winMutex_is
0cf0: 49 6e 69 74 20 29 7b 0a 20 20 20 20 20 20 53 6c  Init ){.      Sl
0d00: 65 65 70 28 31 29 3b 0a 20 20 20 20 7d 0a 20 20  eep(1);.    }.  
0d10: 7d 0a 20 20 72 65 74 75 72 6e 20 53 51 4c 49 54  }.  return SQLIT
0d20: 45 5f 4f 4b 3b 20 0a 7d 0a 0a 73 74 61 74 69 63  E_OK; .}..static
0d30: 20 69 6e 74 20 77 69 6e 4d 75 74 65 78 45 6e 64   int winMutexEnd
0d40: 28 76 6f 69 64 29 7b 20 0a 20 20 2f 2a 20 54 68  (void){ .  /* Th
0d50: 65 20 66 69 72 73 74 20 74 6f 20 64 65 63 72 65  e first to decre
0d60: 6d 65 6e 74 20 74 6f 20 30 20 64 6f 65 73 20 61  ment to 0 does a
0d70: 63 74 75 61 6c 20 73 68 75 74 64 6f 77 6e 20 0a  ctual shutdown .
0d80: 20 20 2a 2a 20 28 77 68 69 63 68 20 73 68 6f 75    ** (which shou
0d90: 6c 64 20 62 65 20 74 68 65 20 6c 61 73 74 20 74  ld be the last t
0da0: 6f 20 73 68 75 74 64 6f 77 6e 2e 29 20 2a 2f 0a  o shutdown.) */.
0db0: 20 20 69 66 28 20 49 6e 74 65 72 6c 6f 63 6b 65    if( Interlocke
0dc0: 64 43 6f 6d 70 61 72 65 45 78 63 68 61 6e 67 65  dCompareExchange
0dd0: 28 26 77 69 6e 4d 75 74 65 78 5f 6c 6f 63 6b 2c  (&winMutex_lock,
0de0: 20 30 2c 20 31 29 3d 3d 31 20 29 7b 0a 20 20 20   0, 1)==1 ){.   
0df0: 20 69 66 28 20 77 69 6e 4d 75 74 65 78 5f 69 73   if( winMutex_is
0e00: 49 6e 69 74 3d 3d 31 20 29 7b 0a 20 20 20 20 20  Init==1 ){.     
0e10: 20 69 6e 74 20 69 3b 0a 20 20 20 20 20 20 66 6f   int i;.      fo
0e20: 72 28 69 3d 30 3b 20 69 3c 41 72 72 61 79 53 69  r(i=0; i<ArraySi
0e30: 7a 65 28 77 69 6e 4d 75 74 65 78 5f 73 74 61 74  ze(winMutex_stat
0e40: 69 63 4d 75 74 65 78 65 73 29 3b 20 69 2b 2b 29  icMutexes); i++)
0e50: 7b 0a 20 20 20 20 20 20 20 20 44 65 6c 65 74 65  {.        Delete
0e60: 43 72 69 74 69 63 61 6c 53 65 63 74 69 6f 6e 28  CriticalSection(
0e70: 26 77 69 6e 4d 75 74 65 78 5f 73 74 61 74 69 63  &winMutex_static
0e80: 4d 75 74 65 78 65 73 5b 69 5d 2e 6d 75 74 65 78  Mutexes[i].mutex
0e90: 29 3b 0a 20 20 20 20 20 20 7d 0a 20 20 20 20 20  );.      }.     
0ea0: 20 77 69 6e 4d 75 74 65 78 5f 69 73 49 6e 69 74   winMutex_isInit
0eb0: 20 3d 20 30 3b 0a 20 20 20 20 7d 0a 20 20 7d 0a   = 0;.    }.  }.
0ec0: 20 20 72 65 74 75 72 6e 20 53 51 4c 49 54 45 5f    return SQLITE_
0ed0: 4f 4b 3b 20 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 54 68  OK; .}../*.** Th
0ee0: 65 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f  e sqlite3_mutex_
0ef0: 61 6c 6c 6f 63 28 29 20 72 6f 75 74 69 6e 65 20  alloc() routine 
0f00: 61 6c 6c 6f 63 61 74 65 73 20 61 20 6e 65 77 0a  allocates a new.
0f10: 2a 2a 20 6d 75 74 65 78 20 61 6e 64 20 72 65 74  ** mutex and ret
0f20: 75 72 6e 73 20 61 20 70 6f 69 6e 74 65 72 20 74  urns a pointer t
0f30: 6f 20 69 74 2e 20 20 49 66 20 69 74 20 72 65 74  o it.  If it ret
0f40: 75 72 6e 73 20 4e 55 4c 4c 0a 2a 2a 20 74 68 61  urns NULL.** tha
0f50: 74 20 6d 65 61 6e 73 20 74 68 61 74 20 61 20 6d  t means that a m
0f60: 75 74 65 78 20 63 6f 75 6c 64 20 6e 6f 74 20 62  utex could not b
0f70: 65 20 61 6c 6c 6f 63 61 74 65 64 2e 20 20 53 51  e allocated.  SQ
0f80: 4c 69 74 65 0a 2a 2a 20 77 69 6c 6c 20 75 6e 77  Lite.** will unw
0f90: 69 6e 64 20 69 74 73 20 73 74 61 63 6b 20 61 6e  ind its stack an
0fa0: 64 20 72 65 74 75 72 6e 20 61 6e 20 65 72 72 6f  d return an erro
0fb0: 72 2e 20 20 54 68 65 20 61 72 67 75 6d 65 6e 74  r.  The argument
0fc0: 0a 2a 2a 20 74 6f 20 73 71 6c 69 74 65 33 5f 6d  .** to sqlite3_m
0fd0: 75 74 65 78 5f 61 6c 6c 6f 63 28 29 20 69 73 20  utex_alloc() is 
0fe0: 6f 6e 65 20 6f 66 20 74 68 65 73 65 20 69 6e 74  one of these int
0ff0: 65 67 65 72 20 63 6f 6e 73 74 61 6e 74 73 3a 0a  eger constants:.
1000: 2a 2a 0a 2a 2a 20 3c 75 6c 3e 0a 2a 2a 20 3c 6c  **.** <ul>.** <l
1010: 69 3e 20 20 53 51 4c 49 54 45 5f 4d 55 54 45 58  i>  SQLITE_MUTEX
1020: 5f 46 41 53 54 0a 2a 2a 20 3c 6c 69 3e 20 20 53  _FAST.** <li>  S
1030: 51 4c 49 54 45 5f 4d 55 54 45 58 5f 52 45 43 55  QLITE_MUTEX_RECU
1040: 52 53 49 56 45 0a 2a 2a 20 3c 6c 69 3e 20 20 53  RSIVE.** <li>  S
1050: 51 4c 49 54 45 5f 4d 55 54 45 58 5f 53 54 41 54  QLITE_MUTEX_STAT
1060: 49 43 5f 4d 41 53 54 45 52 0a 2a 2a 20 3c 6c 69  IC_MASTER.** <li
1070: 3e 20 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f  >  SQLITE_MUTEX_
1080: 53 54 41 54 49 43 5f 4d 45 4d 0a 2a 2a 20 3c 6c  STATIC_MEM.** <l
1090: 69 3e 20 20 53 51 4c 49 54 45 5f 4d 55 54 45 58  i>  SQLITE_MUTEX
10a0: 5f 53 54 41 54 49 43 5f 4d 45 4d 32 0a 2a 2a 20  _STATIC_MEM2.** 
10b0: 3c 6c 69 3e 20 20 53 51 4c 49 54 45 5f 4d 55 54  <li>  SQLITE_MUT
10c0: 45 58 5f 53 54 41 54 49 43 5f 50 52 4e 47 0a 2a  EX_STATIC_PRNG.*
10d0: 2a 20 3c 6c 69 3e 20 20 53 51 4c 49 54 45 5f 4d  * <li>  SQLITE_M
10e0: 55 54 45 58 5f 53 54 41 54 49 43 5f 4c 52 55 0a  UTEX_STATIC_LRU.
10f0: 2a 2a 20 3c 6c 69 3e 20 20 53 51 4c 49 54 45 5f  ** <li>  SQLITE_
1100: 4d 55 54 45 58 5f 53 54 41 54 49 43 5f 4c 52 55  MUTEX_STATIC_LRU
1110: 32 0a 2a 2a 20 3c 2f 75 6c 3e 0a 2a 2a 0a 2a 2a  2.** </ul>.**.**
1120: 20 54 68 65 20 66 69 72 73 74 20 74 77 6f 20 63   The first two c
1130: 6f 6e 73 74 61 6e 74 73 20 63 61 75 73 65 20 73  onstants cause s
1140: 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 61 6c 6c  qlite3_mutex_all
1150: 6f 63 28 29 20 74 6f 20 63 72 65 61 74 65 0a 2a  oc() to create.*
1160: 2a 20 61 20 6e 65 77 20 6d 75 74 65 78 2e 20 20  * a new mutex.  
1170: 54 68 65 20 6e 65 77 20 6d 75 74 65 78 20 69 73  The new mutex is
1180: 20 72 65 63 75 72 73 69 76 65 20 77 68 65 6e 20   recursive when 
1190: 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 52 45 43  SQLITE_MUTEX_REC
11a0: 55 52 53 49 56 45 0a 2a 2a 20 69 73 20 75 73 65  URSIVE.** is use
11b0: 64 20 62 75 74 20 6e 6f 74 20 6e 65 63 65 73 73  d but not necess
11c0: 61 72 69 6c 79 20 73 6f 20 77 68 65 6e 20 53 51  arily so when SQ
11d0: 4c 49 54 45 5f 4d 55 54 45 58 5f 46 41 53 54 20  LITE_MUTEX_FAST 
11e0: 69 73 20 75 73 65 64 2e 0a 2a 2a 20 54 68 65 20  is used..** The 
11f0: 6d 75 74 65 78 20 69 6d 70 6c 65 6d 65 6e 74 61  mutex implementa
1200: 74 69 6f 6e 20 64 6f 65 73 20 6e 6f 74 20 6e 65  tion does not ne
1210: 65 64 20 74 6f 20 6d 61 6b 65 20 61 20 64 69 73  ed to make a dis
1220: 74 69 6e 63 74 69 6f 6e 0a 2a 2a 20 62 65 74 77  tinction.** betw
1230: 65 65 6e 20 53 51 4c 49 54 45 5f 4d 55 54 45 58  een SQLITE_MUTEX
1240: 5f 52 45 43 55 52 53 49 56 45 20 61 6e 64 20 53  _RECURSIVE and S
1250: 51 4c 49 54 45 5f 4d 55 54 45 58 5f 46 41 53 54  QLITE_MUTEX_FAST
1260: 20 69 66 20 69 74 20 64 6f 65 73 0a 2a 2a 20 6e   if it does.** n
1270: 6f 74 20 77 61 6e 74 20 74 6f 2e 20 20 42 75 74  ot want to.  But
1280: 20 53 51 4c 69 74 65 20 77 69 6c 6c 20 6f 6e 6c   SQLite will onl
1290: 79 20 72 65 71 75 65 73 74 20 61 20 72 65 63 75  y request a recu
12a0: 72 73 69 76 65 20 6d 75 74 65 78 20 69 6e 0a 2a  rsive mutex in.*
12b0: 2a 20 63 61 73 65 73 20 77 68 65 72 65 20 69 74  * cases where it
12c0: 20 72 65 61 6c 6c 79 20 6e 65 65 64 73 20 6f 6e   really needs on
12d0: 65 2e 20 20 49 66 20 61 20 66 61 73 74 65 72 20  e.  If a faster 
12e0: 6e 6f 6e 2d 72 65 63 75 72 73 69 76 65 20 6d 75  non-recursive mu
12f0: 74 65 78 0a 2a 2a 20 69 6d 70 6c 65 6d 65 6e 74  tex.** implement
1300: 61 74 69 6f 6e 20 69 73 20 61 76 61 69 6c 61 62  ation is availab
1310: 6c 65 20 6f 6e 20 74 68 65 20 68 6f 73 74 20 70  le on the host p
1320: 6c 61 74 66 6f 72 6d 2c 20 74 68 65 20 6d 75 74  latform, the mut
1330: 65 78 20 73 75 62 73 79 73 74 65 6d 0a 2a 2a 20  ex subsystem.** 
1340: 6d 69 67 68 74 20 72 65 74 75 72 6e 20 73 75 63  might return suc
1350: 68 20 61 20 6d 75 74 65 78 20 69 6e 20 72 65 73  h a mutex in res
1360: 70 6f 6e 73 65 20 74 6f 20 53 51 4c 49 54 45 5f  ponse to SQLITE_
1370: 4d 55 54 45 58 5f 46 41 53 54 2e 0a 2a 2a 0a 2a  MUTEX_FAST..**.*
1380: 2a 20 54 68 65 20 6f 74 68 65 72 20 61 6c 6c 6f  * The other allo
1390: 77 65 64 20 70 61 72 61 6d 65 74 65 72 73 20 74  wed parameters t
13a0: 6f 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f  o sqlite3_mutex_
13b0: 61 6c 6c 6f 63 28 29 20 65 61 63 68 20 72 65 74  alloc() each ret
13c0: 75 72 6e 0a 2a 2a 20 61 20 70 6f 69 6e 74 65 72  urn.** a pointer
13d0: 20 74 6f 20 61 20 73 74 61 74 69 63 20 70 72 65   to a static pre
13e0: 65 78 69 73 74 69 6e 67 20 6d 75 74 65 78 2e 20  existing mutex. 
13f0: 20 53 69 78 20 73 74 61 74 69 63 20 6d 75 74 65   Six static mute
1400: 78 65 73 20 61 72 65 0a 2a 2a 20 75 73 65 64 20  xes are.** used 
1410: 62 79 20 74 68 65 20 63 75 72 72 65 6e 74 20 76  by the current v
1420: 65 72 73 69 6f 6e 20 6f 66 20 53 51 4c 69 74 65  ersion of SQLite
1430: 2e 20 20 46 75 74 75 72 65 20 76 65 72 73 69 6f  .  Future versio
1440: 6e 73 20 6f 66 20 53 51 4c 69 74 65 0a 2a 2a 20  ns of SQLite.** 
1450: 6d 61 79 20 61 64 64 20 61 64 64 69 74 69 6f 6e  may add addition
1460: 61 6c 20 73 74 61 74 69 63 20 6d 75 74 65 78 65  al static mutexe
1470: 73 2e 20 20 53 74 61 74 69 63 20 6d 75 74 65 78  s.  Static mutex
1480: 65 73 20 61 72 65 20 66 6f 72 20 69 6e 74 65 72  es are for inter
1490: 6e 61 6c 0a 2a 2a 20 75 73 65 20 62 79 20 53 51  nal.** use by SQ
14a0: 4c 69 74 65 20 6f 6e 6c 79 2e 20 20 41 70 70 6c  Lite only.  Appl
14b0: 69 63 61 74 69 6f 6e 73 20 74 68 61 74 20 75 73  ications that us
14c0: 65 20 53 51 4c 69 74 65 20 6d 75 74 65 78 65 73  e SQLite mutexes
14d0: 20 73 68 6f 75 6c 64 0a 2a 2a 20 75 73 65 20 6f   should.** use o
14e0: 6e 6c 79 20 74 68 65 20 64 79 6e 61 6d 69 63 20  nly the dynamic 
14f0: 6d 75 74 65 78 65 73 20 72 65 74 75 72 6e 65 64  mutexes returned
1500: 20 62 79 20 53 51 4c 49 54 45 5f 4d 55 54 45 58   by SQLITE_MUTEX
1510: 5f 46 41 53 54 20 6f 72 0a 2a 2a 20 53 51 4c 49  _FAST or.** SQLI
1520: 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49  TE_MUTEX_RECURSI
1530: 56 45 2e 0a 2a 2a 0a 2a 2a 20 4e 6f 74 65 20 74  VE..**.** Note t
1540: 68 61 74 20 69 66 20 6f 6e 65 20 6f 66 20 74 68  hat if one of th
1550: 65 20 64 79 6e 61 6d 69 63 20 6d 75 74 65 78 20  e dynamic mutex 
1560: 70 61 72 61 6d 65 74 65 72 73 20 28 53 51 4c 49  parameters (SQLI
1570: 54 45 5f 4d 55 54 45 58 5f 46 41 53 54 0a 2a 2a  TE_MUTEX_FAST.**
1580: 20 6f 72 20 53 51 4c 49 54 45 5f 4d 55 54 45 58   or SQLITE_MUTEX
1590: 5f 52 45 43 55 52 53 49 56 45 29 20 69 73 20 75  _RECURSIVE) is u
15a0: 73 65 64 20 74 68 65 6e 20 73 71 6c 69 74 65 33  sed then sqlite3
15b0: 5f 6d 75 74 65 78 5f 61 6c 6c 6f 63 28 29 0a 2a  _mutex_alloc().*
15c0: 2a 20 72 65 74 75 72 6e 73 20 61 20 64 69 66 66  * returns a diff
15d0: 65 72 65 6e 74 20 6d 75 74 65 78 20 6f 6e 20 65  erent mutex on e
15e0: 76 65 72 79 20 63 61 6c 6c 2e 20 20 42 75 74 20  very call.  But 
15f0: 66 6f 72 20 74 68 65 20 73 74 61 74 69 63 20 0a  for the static .
1600: 2a 2a 20 6d 75 74 65 78 20 74 79 70 65 73 2c 20  ** mutex types, 
1610: 74 68 65 20 73 61 6d 65 20 6d 75 74 65 78 20 69  the same mutex i
1620: 73 20 72 65 74 75 72 6e 65 64 20 6f 6e 20 65 76  s returned on ev
1630: 65 72 79 20 63 61 6c 6c 20 74 68 61 74 20 68 61  ery call that ha
1640: 73 0a 2a 2a 20 74 68 65 20 73 61 6d 65 20 74 79  s.** the same ty
1650: 70 65 20 6e 75 6d 62 65 72 2e 0a 2a 2f 0a 73 74  pe number..*/.st
1660: 61 74 69 63 20 73 71 6c 69 74 65 33 5f 6d 75 74  atic sqlite3_mut
1670: 65 78 20 2a 77 69 6e 4d 75 74 65 78 41 6c 6c 6f  ex *winMutexAllo
1680: 63 28 69 6e 74 20 69 54 79 70 65 29 7b 0a 20 20  c(int iType){.  
1690: 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a 70  sqlite3_mutex *p
16a0: 3b 0a 0a 20 20 73 77 69 74 63 68 28 20 69 54 79  ;..  switch( iTy
16b0: 70 65 20 29 7b 0a 20 20 20 20 63 61 73 65 20 53  pe ){.    case S
16c0: 51 4c 49 54 45 5f 4d 55 54 45 58 5f 46 41 53 54  QLITE_MUTEX_FAST
16d0: 3a 0a 20 20 20 20 63 61 73 65 20 53 51 4c 49 54  :.    case SQLIT
16e0: 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56  E_MUTEX_RECURSIV
16f0: 45 3a 20 7b 0a 20 20 20 20 20 20 70 20 3d 20 73  E: {.      p = s
1700: 71 6c 69 74 65 33 4d 61 6c 6c 6f 63 5a 65 72 6f  qlite3MallocZero
1710: 28 20 73 69 7a 65 6f 66 28 2a 70 29 20 29 3b 0a  ( sizeof(*p) );.
1720: 20 20 20 20 20 20 69 66 28 20 70 20 29 7b 20 20        if( p ){  
1730: 0a 20 20 20 20 20 20 20 20 70 2d 3e 69 64 20 3d  .        p->id =
1740: 20 69 54 79 70 65 3b 0a 20 20 20 20 20 20 20 20   iType;.        
1750: 49 6e 69 74 69 61 6c 69 7a 65 43 72 69 74 69 63  InitializeCritic
1760: 61 6c 53 65 63 74 69 6f 6e 28 26 70 2d 3e 6d 75  alSection(&p->mu
1770: 74 65 78 29 3b 0a 20 20 20 20 20 20 7d 0a 20 20  tex);.      }.  
1780: 20 20 20 20 62 72 65 61 6b 3b 0a 20 20 20 20 7d      break;.    }
1790: 0a 20 20 20 20 64 65 66 61 75 6c 74 3a 20 7b 0a  .    default: {.
17a0: 20 20 20 20 20 20 61 73 73 65 72 74 28 20 77 69        assert( wi
17b0: 6e 4d 75 74 65 78 5f 69 73 49 6e 69 74 3d 3d 31  nMutex_isInit==1
17c0: 20 29 3b 0a 20 20 20 20 20 20 61 73 73 65 72 74   );.      assert
17d0: 28 20 69 54 79 70 65 2d 32 20 3e 3d 20 30 20 29  ( iType-2 >= 0 )
17e0: 3b 0a 20 20 20 20 20 20 61 73 73 65 72 74 28 20  ;.      assert( 
17f0: 69 54 79 70 65 2d 32 20 3c 20 41 72 72 61 79 53  iType-2 < ArrayS
1800: 69 7a 65 28 77 69 6e 4d 75 74 65 78 5f 73 74 61  ize(winMutex_sta
1810: 74 69 63 4d 75 74 65 78 65 73 29 20 29 3b 0a 20  ticMutexes) );. 
1820: 20 20 20 20 20 70 20 3d 20 26 77 69 6e 4d 75 74       p = &winMut
1830: 65 78 5f 73 74 61 74 69 63 4d 75 74 65 78 65 73  ex_staticMutexes
1840: 5b 69 54 79 70 65 2d 32 5d 3b 0a 20 20 20 20 20  [iType-2];.     
1850: 20 70 2d 3e 69 64 20 3d 20 69 54 79 70 65 3b 0a   p->id = iType;.
1860: 20 20 20 20 20 20 62 72 65 61 6b 3b 0a 20 20 20        break;.   
1870: 20 7d 0a 20 20 7d 0a 20 20 72 65 74 75 72 6e 20   }.  }.  return 
1880: 70 3b 0a 7d 0a 0a 0a 2f 2a 0a 2a 2a 20 54 68 69  p;.}.../*.** Thi
1890: 73 20 72 6f 75 74 69 6e 65 20 64 65 61 6c 6c 6f  s routine deallo
18a0: 63 61 74 65 73 20 61 20 70 72 65 76 69 6f 75 73  cates a previous
18b0: 6c 79 0a 2a 2a 20 61 6c 6c 6f 63 61 74 65 64 20  ly.** allocated 
18c0: 6d 75 74 65 78 2e 20 20 53 51 4c 69 74 65 20 69  mutex.  SQLite i
18d0: 73 20 63 61 72 65 66 75 6c 20 74 6f 20 64 65 61  s careful to dea
18e0: 6c 6c 6f 63 61 74 65 20 65 76 65 72 79 0a 2a 2a  llocate every.**
18f0: 20 6d 75 74 65 78 20 74 68 61 74 20 69 74 20 61   mutex that it a
1900: 6c 6c 6f 63 61 74 65 73 2e 0a 2a 2f 0a 73 74 61  llocates..*/.sta
1910: 74 69 63 20 76 6f 69 64 20 77 69 6e 4d 75 74 65  tic void winMute
1920: 78 46 72 65 65 28 73 71 6c 69 74 65 33 5f 6d 75  xFree(sqlite3_mu
1930: 74 65 78 20 2a 70 29 7b 0a 20 20 61 73 73 65 72  tex *p){.  asser
1940: 74 28 20 70 20 29 3b 0a 20 20 61 73 73 65 72 74  t( p );.  assert
1950: 28 20 70 2d 3e 6e 52 65 66 3d 3d 30 20 29 3b 0a  ( p->nRef==0 );.
1960: 20 20 61 73 73 65 72 74 28 20 70 2d 3e 69 64 3d    assert( p->id=
1970: 3d 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 46 41  =SQLITE_MUTEX_FA
1980: 53 54 20 7c 7c 20 70 2d 3e 69 64 3d 3d 53 51 4c  ST || p->id==SQL
1990: 49 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53  ITE_MUTEX_RECURS
19a0: 49 56 45 20 29 3b 0a 20 20 44 65 6c 65 74 65 43  IVE );.  DeleteC
19b0: 72 69 74 69 63 61 6c 53 65 63 74 69 6f 6e 28 26  riticalSection(&
19c0: 70 2d 3e 6d 75 74 65 78 29 3b 0a 20 20 73 71 6c  p->mutex);.  sql
19d0: 69 74 65 33 5f 66 72 65 65 28 70 29 3b 0a 7d 0a  ite3_free(p);.}.
19e0: 0a 2f 2a 0a 2a 2a 20 54 68 65 20 73 71 6c 69 74  ./*.** The sqlit
19f0: 65 33 5f 6d 75 74 65 78 5f 65 6e 74 65 72 28 29  e3_mutex_enter()
1a00: 20 61 6e 64 20 73 71 6c 69 74 65 33 5f 6d 75 74   and sqlite3_mut
1a10: 65 78 5f 74 72 79 28 29 20 72 6f 75 74 69 6e 65  ex_try() routine
1a20: 73 20 61 74 74 65 6d 70 74 0a 2a 2a 20 74 6f 20  s attempt.** to 
1a30: 65 6e 74 65 72 20 61 20 6d 75 74 65 78 2e 20 20  enter a mutex.  
1a40: 49 66 20 61 6e 6f 74 68 65 72 20 74 68 72 65 61  If another threa
1a50: 64 20 69 73 20 61 6c 72 65 61 64 79 20 77 69 74  d is already wit
1a60: 68 69 6e 20 74 68 65 20 6d 75 74 65 78 2c 0a 2a  hin the mutex,.*
1a70: 2a 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f  * sqlite3_mutex_
1a80: 65 6e 74 65 72 28 29 20 77 69 6c 6c 20 62 6c 6f  enter() will blo
1a90: 63 6b 20 61 6e 64 20 73 71 6c 69 74 65 33 5f 6d  ck and sqlite3_m
1aa0: 75 74 65 78 5f 74 72 79 28 29 20 77 69 6c 6c 20  utex_try() will 
1ab0: 72 65 74 75 72 6e 0a 2a 2a 20 53 51 4c 49 54 45  return.** SQLITE
1ac0: 5f 42 55 53 59 2e 20 20 54 68 65 20 73 71 6c 69  _BUSY.  The sqli
1ad0: 74 65 33 5f 6d 75 74 65 78 5f 74 72 79 28 29 20  te3_mutex_try() 
1ae0: 69 6e 74 65 72 66 61 63 65 20 72 65 74 75 72 6e  interface return
1af0: 73 20 53 51 4c 49 54 45 5f 4f 4b 0a 2a 2a 20 75  s SQLITE_OK.** u
1b00: 70 6f 6e 20 73 75 63 63 65 73 73 66 75 6c 20 65  pon successful e
1b10: 6e 74 72 79 2e 20 20 4d 75 74 65 78 65 73 20 63  ntry.  Mutexes c
1b20: 72 65 61 74 65 64 20 75 73 69 6e 67 20 53 51 4c  reated using SQL
1b30: 49 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53  ITE_MUTEX_RECURS
1b40: 49 56 45 20 63 61 6e 0a 2a 2a 20 62 65 20 65 6e  IVE can.** be en
1b50: 74 65 72 65 64 20 6d 75 6c 74 69 70 6c 65 20 74  tered multiple t
1b60: 69 6d 65 73 20 62 79 20 74 68 65 20 73 61 6d 65  imes by the same
1b70: 20 74 68 72 65 61 64 2e 20 20 49 6e 20 73 75 63   thread.  In suc
1b80: 68 20 63 61 73 65 73 20 74 68 65 2c 0a 2a 2a 20  h cases the,.** 
1b90: 6d 75 74 65 78 20 6d 75 73 74 20 62 65 20 65 78  mutex must be ex
1ba0: 69 74 65 64 20 61 6e 20 65 71 75 61 6c 20 6e 75  ited an equal nu
1bb0: 6d 62 65 72 20 6f 66 20 74 69 6d 65 73 20 62 65  mber of times be
1bc0: 66 6f 72 65 20 61 6e 6f 74 68 65 72 20 74 68 72  fore another thr
1bd0: 65 61 64 0a 2a 2a 20 63 61 6e 20 65 6e 74 65 72  ead.** can enter
1be0: 2e 20 20 49 66 20 74 68 65 20 73 61 6d 65 20 74  .  If the same t
1bf0: 68 72 65 61 64 20 74 72 69 65 73 20 74 6f 20 65  hread tries to e
1c00: 6e 74 65 72 20 61 6e 79 20 6f 74 68 65 72 20 6b  nter any other k
1c10: 69 6e 64 20 6f 66 20 6d 75 74 65 78 0a 2a 2a 20  ind of mutex.** 
1c20: 6d 6f 72 65 20 74 68 61 6e 20 6f 6e 63 65 2c 20  more than once, 
1c30: 74 68 65 20 62 65 68 61 76 69 6f 72 20 69 73 20  the behavior is 
1c40: 75 6e 64 65 66 69 6e 65 64 2e 0a 2a 2f 0a 73 74  undefined..*/.st
1c50: 61 74 69 63 20 76 6f 69 64 20 77 69 6e 4d 75 74  atic void winMut
1c60: 65 78 45 6e 74 65 72 28 73 71 6c 69 74 65 33 5f  exEnter(sqlite3_
1c70: 6d 75 74 65 78 20 2a 70 29 7b 0a 20 20 61 73 73  mutex *p){.  ass
1c80: 65 72 74 28 20 70 2d 3e 69 64 3d 3d 53 51 4c 49  ert( p->id==SQLI
1c90: 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49  TE_MUTEX_RECURSI
1ca0: 56 45 20 7c 7c 20 77 69 6e 4d 75 74 65 78 4e 6f  VE || winMutexNo
1cb0: 74 68 65 6c 64 28 70 29 20 29 3b 0a 20 20 45 6e  theld(p) );.  En
1cc0: 74 65 72 43 72 69 74 69 63 61 6c 53 65 63 74 69  terCriticalSecti
1cd0: 6f 6e 28 26 70 2d 3e 6d 75 74 65 78 29 3b 0a 20  on(&p->mutex);. 
1ce0: 20 70 2d 3e 6f 77 6e 65 72 20 3d 20 47 65 74 43   p->owner = GetC
1cf0: 75 72 72 65 6e 74 54 68 72 65 61 64 49 64 28 29  urrentThreadId()
1d00: 3b 20 0a 20 20 70 2d 3e 6e 52 65 66 2b 2b 3b 0a  ; .  p->nRef++;.
1d10: 7d 0a 73 74 61 74 69 63 20 69 6e 74 20 77 69 6e  }.static int win
1d20: 4d 75 74 65 78 54 72 79 28 73 71 6c 69 74 65 33  MutexTry(sqlite3
1d30: 5f 6d 75 74 65 78 20 2a 70 29 7b 0a 20 20 69 6e  _mutex *p){.  in
1d40: 74 20 72 63 20 3d 20 53 51 4c 49 54 45 5f 42 55  t rc = SQLITE_BU
1d50: 53 59 3b 0a 20 20 61 73 73 65 72 74 28 20 70 2d  SY;.  assert( p-
1d60: 3e 69 64 3d 3d 53 51 4c 49 54 45 5f 4d 55 54 45  >id==SQLITE_MUTE
1d70: 58 5f 52 45 43 55 52 53 49 56 45 20 7c 7c 20 77  X_RECURSIVE || w
1d80: 69 6e 4d 75 74 65 78 4e 6f 74 68 65 6c 64 28 70  inMutexNotheld(p
1d90: 29 20 29 3b 0a 20 20 2f 2a 0a 20 20 2a 2a 20 54  ) );.  /*.  ** T
1da0: 68 65 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  he sqlite3_mutex
1db0: 5f 74 72 79 28 29 20 72 6f 75 74 69 6e 65 20 69  _try() routine i
1dc0: 73 20 76 65 72 79 20 72 61 72 65 6c 79 20 75 73  s very rarely us
1dd0: 65 64 2c 20 61 6e 64 20 77 68 65 6e 20 69 74 0a  ed, and when it.
1de0: 20 20 2a 2a 20 69 73 20 75 73 65 64 20 69 74 20    ** is used it 
1df0: 69 73 20 6d 65 72 65 6c 79 20 61 6e 20 6f 70 74  is merely an opt
1e00: 69 6d 69 7a 61 74 69 6f 6e 2e 20 20 53 6f 20 69  imization.  So i
1e10: 74 20 69 73 20 4f 4b 20 66 6f 72 20 69 74 20 74  t is OK for it t
1e20: 6f 20 61 6c 77 61 79 73 0a 20 20 2a 2a 20 66 61  o always.  ** fa
1e30: 69 6c 2e 20 20 0a 20 20 2a 2a 0a 20 20 2a 2a 20  il.  .  **.  ** 
1e40: 54 68 65 20 54 72 79 45 6e 74 65 72 43 72 69 74  The TryEnterCrit
1e50: 69 63 61 6c 53 65 63 74 69 6f 6e 28 29 20 69 6e  icalSection() in
1e60: 74 65 72 66 61 63 65 20 69 73 20 6f 6e 6c 79 20  terface is only 
1e70: 61 76 61 69 6c 61 62 6c 65 20 6f 6e 20 57 69 6e  available on Win
1e80: 4e 54 2e 0a 20 20 2a 2a 20 41 6e 64 20 73 6f 6d  NT..  ** And som
1e90: 65 20 77 69 6e 64 6f 77 73 20 63 6f 6d 70 69 6c  e windows compil
1ea0: 65 72 73 20 63 6f 6d 70 6c 61 69 6e 20 69 66 20  ers complain if 
1eb0: 79 6f 75 20 74 72 79 20 74 6f 20 75 73 65 20 69  you try to use i
1ec0: 74 20 77 69 74 68 6f 75 74 0a 20 20 2a 2a 20 66  t without.  ** f
1ed0: 69 72 73 74 20 64 6f 69 6e 67 20 73 6f 6d 65 20  irst doing some 
1ee0: 23 64 65 66 69 6e 65 73 20 74 68 61 74 20 70 72  #defines that pr
1ef0: 65 76 65 6e 74 20 53 51 4c 69 74 65 20 66 72 6f  event SQLite fro
1f00: 6d 20 62 75 69 6c 64 69 6e 67 20 6f 6e 20 57 69  m building on Wi
1f10: 6e 39 38 2e 0a 20 20 2a 2a 20 46 6f 72 20 74 68  n98..  ** For th
1f20: 61 74 20 72 65 61 73 6f 6e 2c 20 77 65 20 77 69  at reason, we wi
1f30: 6c 6c 20 6f 6d 69 74 20 74 68 69 73 20 6f 70 74  ll omit this opt
1f40: 69 6d 69 7a 61 74 69 6f 6e 20 66 6f 72 20 6e 6f  imization for no
1f50: 77 2e 20 20 53 65 65 0a 20 20 2a 2a 20 74 69 63  w.  See.  ** tic
1f60: 6b 65 74 20 23 32 36 38 35 2e 0a 20 20 2a 2f 0a  ket #2685..  */.
1f70: 23 69 66 20 30 0a 20 20 69 66 28 20 6d 75 74 65  #if 0.  if( mute
1f80: 78 49 73 4e 54 28 29 20 26 26 20 54 72 79 45 6e  xIsNT() && TryEn
1f90: 74 65 72 43 72 69 74 69 63 61 6c 53 65 63 74 69  terCriticalSecti
1fa0: 6f 6e 28 26 70 2d 3e 6d 75 74 65 78 29 20 29 7b  on(&p->mutex) ){
1fb0: 0a 20 20 20 20 70 2d 3e 6f 77 6e 65 72 20 3d 20  .    p->owner = 
1fc0: 47 65 74 43 75 72 72 65 6e 74 54 68 72 65 61 64  GetCurrentThread
1fd0: 49 64 28 29 3b 0a 20 20 20 20 70 2d 3e 6e 52 65  Id();.    p->nRe
1fe0: 66 2b 2b 3b 0a 20 20 20 20 72 63 20 3d 20 53 51  f++;.    rc = SQ
1ff0: 4c 49 54 45 5f 4f 4b 3b 0a 20 20 7d 0a 23 65 6c  LITE_OK;.  }.#el
2000: 73 65 0a 20 20 55 4e 55 53 45 44 5f 50 41 52 41  se.  UNUSED_PARA
2010: 4d 45 54 45 52 28 70 29 3b 0a 23 65 6e 64 69 66  METER(p);.#endif
2020: 0a 20 20 72 65 74 75 72 6e 20 72 63 3b 0a 7d 0a  .  return rc;.}.
2030: 0a 2f 2a 0a 2a 2a 20 54 68 65 20 73 71 6c 69 74  ./*.** The sqlit
2040: 65 33 5f 6d 75 74 65 78 5f 6c 65 61 76 65 28 29  e3_mutex_leave()
2050: 20 72 6f 75 74 69 6e 65 20 65 78 69 74 73 20 61   routine exits a
2060: 20 6d 75 74 65 78 20 74 68 61 74 20 77 61 73 0a   mutex that was.
2070: 2a 2a 20 70 72 65 76 69 6f 75 73 6c 79 20 65 6e  ** previously en
2080: 74 65 72 65 64 20 62 79 20 74 68 65 20 73 61 6d  tered by the sam
2090: 65 20 74 68 72 65 61 64 2e 20 20 54 68 65 20 62  e thread.  The b
20a0: 65 68 61 76 69 6f 72 0a 2a 2a 20 69 73 20 75 6e  ehavior.** is un
20b0: 64 65 66 69 6e 65 64 20 69 66 20 74 68 65 20 6d  defined if the m
20c0: 75 74 65 78 20 69 73 20 6e 6f 74 20 63 75 72 72  utex is not curr
20d0: 65 6e 74 6c 79 20 65 6e 74 65 72 65 64 20 6f 72  ently entered or
20e0: 0a 2a 2a 20 69 73 20 6e 6f 74 20 63 75 72 72 65  .** is not curre
20f0: 6e 74 6c 79 20 61 6c 6c 6f 63 61 74 65 64 2e 20  ntly allocated. 
2100: 20 53 51 4c 69 74 65 20 77 69 6c 6c 20 6e 65 76   SQLite will nev
2110: 65 72 20 64 6f 20 65 69 74 68 65 72 2e 0a 2a 2f  er do either..*/
2120: 0a 73 74 61 74 69 63 20 76 6f 69 64 20 77 69 6e  .static void win
2130: 4d 75 74 65 78 4c 65 61 76 65 28 73 71 6c 69 74  MutexLeave(sqlit
2140: 65 33 5f 6d 75 74 65 78 20 2a 70 29 7b 0a 20 20  e3_mutex *p){.  
2150: 61 73 73 65 72 74 28 20 70 2d 3e 6e 52 65 66 3e  assert( p->nRef>
2160: 30 20 29 3b 0a 20 20 61 73 73 65 72 74 28 20 70  0 );.  assert( p
2170: 2d 3e 6f 77 6e 65 72 3d 3d 47 65 74 43 75 72 72  ->owner==GetCurr
2180: 65 6e 74 54 68 72 65 61 64 49 64 28 29 20 29 3b  entThreadId() );
2190: 0a 20 20 70 2d 3e 6e 52 65 66 2d 2d 3b 0a 20 20  .  p->nRef--;.  
21a0: 61 73 73 65 72 74 28 20 70 2d 3e 6e 52 65 66 3d  assert( p->nRef=
21b0: 3d 30 20 7c 7c 20 70 2d 3e 69 64 3d 3d 53 51 4c  =0 || p->id==SQL
21c0: 49 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53  ITE_MUTEX_RECURS
21d0: 49 56 45 20 29 3b 0a 20 20 4c 65 61 76 65 43 72  IVE );.  LeaveCr
21e0: 69 74 69 63 61 6c 53 65 63 74 69 6f 6e 28 26 70  iticalSection(&p
21f0: 2d 3e 6d 75 74 65 78 29 3b 0a 7d 0a 0a 73 71 6c  ->mutex);.}..sql
2200: 69 74 65 33 5f 6d 75 74 65 78 5f 6d 65 74 68 6f  ite3_mutex_metho
2210: 64 73 20 2a 73 71 6c 69 74 65 33 44 65 66 61 75  ds *sqlite3Defau
2220: 6c 74 4d 75 74 65 78 28 76 6f 69 64 29 7b 0a 20  ltMutex(void){. 
2230: 20 73 74 61 74 69 63 20 73 71 6c 69 74 65 33 5f   static sqlite3_
2240: 6d 75 74 65 78 5f 6d 65 74 68 6f 64 73 20 73 4d  mutex_methods sM
2250: 75 74 65 78 20 3d 20 7b 0a 20 20 20 20 77 69 6e  utex = {.    win
2260: 4d 75 74 65 78 49 6e 69 74 2c 0a 20 20 20 20 77  MutexInit,.    w
2270: 69 6e 4d 75 74 65 78 45 6e 64 2c 0a 20 20 20 20  inMutexEnd,.    
2280: 77 69 6e 4d 75 74 65 78 41 6c 6c 6f 63 2c 0a 20  winMutexAlloc,. 
2290: 20 20 20 77 69 6e 4d 75 74 65 78 46 72 65 65 2c     winMutexFree,
22a0: 0a 20 20 20 20 77 69 6e 4d 75 74 65 78 45 6e 74  .    winMutexEnt
22b0: 65 72 2c 0a 20 20 20 20 77 69 6e 4d 75 74 65 78  er,.    winMutex
22c0: 54 72 79 2c 0a 20 20 20 20 77 69 6e 4d 75 74 65  Try,.    winMute
22d0: 78 4c 65 61 76 65 2c 0a 23 69 66 64 65 66 20 53  xLeave,.#ifdef S
22e0: 51 4c 49 54 45 5f 44 45 42 55 47 0a 20 20 20 20  QLITE_DEBUG.    
22f0: 77 69 6e 4d 75 74 65 78 48 65 6c 64 2c 0a 20 20  winMutexHeld,.  
2300: 20 20 77 69 6e 4d 75 74 65 78 4e 6f 74 68 65 6c    winMutexNothel
2310: 64 0a 23 65 6c 73 65 0a 20 20 20 20 30 2c 0a 20  d.#else.    0,. 
2320: 20 20 20 30 0a 23 65 6e 64 69 66 0a 20 20 7d 3b     0.#endif.  };
2330: 0a 0a 20 20 72 65 74 75 72 6e 20 26 73 4d 75 74  ..  return &sMut
2340: 65 78 3b 0a 7d 0a 23 65 6e 64 69 66 20 2f 2a 20  ex;.}.#endif /* 
2350: 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 57 33 32  SQLITE_MUTEX_W32
2360: 20 2a 2f 0a                                       */.