/ Hex Artifact Content
Login

Artifact 890b83ccf19de17e88b612b2b3f18009a9f1bfa1:


0000: 2f 2a 0a 2a 2a 20 32 30 30 37 20 41 75 67 75 73  /*.** 2007 Augus
0010: 74 20 31 34 0a 2a 2a 0a 2a 2a 20 54 68 65 20 61  t 14.**.** The a
0020: 75 74 68 6f 72 20 64 69 73 63 6c 61 69 6d 73 20  uthor disclaims 
0030: 63 6f 70 79 72 69 67 68 74 20 74 6f 20 74 68 69  copyright to thi
0040: 73 20 73 6f 75 72 63 65 20 63 6f 64 65 2e 20 20  s source code.  
0050: 49 6e 20 70 6c 61 63 65 20 6f 66 0a 2a 2a 20 61  In place of.** a
0060: 20 6c 65 67 61 6c 20 6e 6f 74 69 63 65 2c 20 68   legal notice, h
0070: 65 72 65 20 69 73 20 61 20 62 6c 65 73 73 69 6e  ere is a blessin
0080: 67 3a 0a 2a 2a 0a 2a 2a 20 20 20 20 4d 61 79 20  g:.**.**    May 
0090: 79 6f 75 20 64 6f 20 67 6f 6f 64 20 61 6e 64 20  you do good and 
00a0: 6e 6f 74 20 65 76 69 6c 2e 0a 2a 2a 20 20 20 20  not evil..**    
00b0: 4d 61 79 20 79 6f 75 20 66 69 6e 64 20 66 6f 72  May you find for
00c0: 67 69 76 65 6e 65 73 73 20 66 6f 72 20 79 6f 75  giveness for you
00d0: 72 73 65 6c 66 20 61 6e 64 20 66 6f 72 67 69 76  rself and forgiv
00e0: 65 20 6f 74 68 65 72 73 2e 0a 2a 2a 20 20 20 20  e others..**    
00f0: 4d 61 79 20 79 6f 75 20 73 68 61 72 65 20 66 72  May you share fr
0100: 65 65 6c 79 2c 20 6e 65 76 65 72 20 74 61 6b 69  eely, never taki
0110: 6e 67 20 6d 6f 72 65 20 74 68 61 6e 20 79 6f 75  ng more than you
0120: 20 67 69 76 65 2e 0a 2a 2a 0a 2a 2a 2a 2a 2a 2a   give..**.******
0130: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0140: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0150: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0160: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0170: 2a 2a 2a 0a 2a 2a 20 54 68 69 73 20 66 69 6c 65  ***.** This file
0180: 20 63 6f 6e 74 61 69 6e 73 20 74 68 65 20 43 20   contains the C 
0190: 66 75 6e 63 74 69 6f 6e 73 20 74 68 61 74 20 69  functions that i
01a0: 6d 70 6c 65 6d 65 6e 74 20 6d 75 74 65 78 65 73  mplement mutexes
01b0: 2e 0a 2a 2a 0a 2a 2a 20 54 68 65 20 69 6d 70 6c  ..**.** The impl
01c0: 65 6d 65 6e 74 61 74 69 6f 6e 20 69 6e 20 74 68  ementation in th
01d0: 69 73 20 66 69 6c 65 20 64 6f 65 73 20 6e 6f 74  is file does not
01e0: 20 70 72 6f 76 69 64 65 20 61 6e 79 20 6d 75 74   provide any mut
01f0: 75 61 6c 0a 2a 2a 20 65 78 63 6c 75 73 69 6f 6e  ual.** exclusion
0200: 20 61 6e 64 20 69 73 20 74 68 75 73 20 73 75 69   and is thus sui
0210: 74 61 62 6c 65 20 66 6f 72 20 75 73 65 20 6f 6e  table for use on
0220: 6c 79 20 69 6e 20 61 70 70 6c 69 63 61 74 69 6f  ly in applicatio
0230: 6e 73 0a 2a 2a 20 74 68 61 74 20 75 73 65 20 53  ns.** that use S
0240: 51 4c 69 74 65 20 69 6e 20 61 20 73 69 6e 67 6c  QLite in a singl
0250: 65 20 74 68 72 65 61 64 2e 20 20 42 75 74 20 74  e thread.  But t
0260: 68 69 73 20 69 6d 70 6c 65 6d 65 6e 74 61 74 69  his implementati
0270: 6f 6e 0a 2a 2a 20 64 6f 65 73 20 64 6f 20 61 20  on.** does do a 
0280: 6c 6f 74 20 6f 66 20 65 72 72 6f 72 20 63 68 65  lot of error che
0290: 63 6b 69 6e 67 20 6f 6e 20 6d 75 74 65 78 65 73  cking on mutexes
02a0: 20 74 6f 20 6d 61 6b 65 20 73 75 72 65 20 74 68   to make sure th
02b0: 65 79 0a 2a 2a 20 61 72 65 20 63 61 6c 6c 65 64  ey.** are called
02c0: 20 63 6f 72 72 65 63 74 6c 79 20 61 6e 64 20 61   correctly and a
02d0: 74 20 61 70 70 72 6f 70 72 69 61 74 65 20 74 69  t appropriate ti
02e0: 6d 65 73 2e 20 20 48 65 6e 63 65 2c 20 74 68 69  mes.  Hence, thi
02f0: 73 0a 2a 2a 20 69 6d 70 6c 65 6d 65 6e 74 61 74  s.** implementat
0300: 69 6f 6e 20 69 73 20 73 75 69 74 61 62 6c 65 20  ion is suitable 
0310: 66 6f 72 20 74 65 73 74 69 6e 67 2e 0a 2a 2a 20  for testing..** 
0320: 64 65 62 75 67 67 69 6e 67 20 70 75 72 70 6f 73  debugging purpos
0330: 65 73 0a 2a 2a 0a 2a 2a 20 24 49 64 3a 20 6d 75  es.**.** $Id: mu
0340: 74 65 78 2e 63 2c 76 20 31 2e 32 33 20 32 30 30  tex.c,v 1.23 200
0350: 38 2f 30 36 2f 31 38 20 30 39 3a 34 35 3a 35 36  8/06/18 09:45:56
0360: 20 64 61 6e 69 65 6c 6b 31 39 37 37 20 45 78 70   danielk1977 Exp
0370: 20 24 0a 2a 2f 0a 23 69 6e 63 6c 75 64 65 20 22   $.*/.#include "
0380: 73 71 6c 69 74 65 49 6e 74 2e 68 22 0a 0a 23 69  sqliteInt.h"..#i
0390: 66 6e 64 65 66 20 53 51 4c 49 54 45 5f 4d 55 54  fndef SQLITE_MUT
03a0: 45 58 5f 4e 4f 4f 50 0a 2f 2a 0a 2a 2a 20 49 6e  EX_NOOP./*.** In
03b0: 69 74 69 61 6c 69 7a 65 20 74 68 65 20 6d 75 74  itialize the mut
03c0: 65 78 20 73 79 73 74 65 6d 2e 0a 2a 2f 0a 69 6e  ex system..*/.in
03d0: 74 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f  t sqlite3_mutex_
03e0: 69 6e 69 74 28 76 6f 69 64 29 7b 20 0a 20 20 69  init(void){ .  i
03f0: 6e 74 20 72 63 3b 0a 20 20 69 66 28 20 21 73 71  nt rc;.  if( !sq
0400: 6c 69 74 65 33 43 6f 6e 66 69 67 2e 6d 75 74 65  lite3Config.mute
0410: 78 2e 78 4d 75 74 65 78 41 6c 6c 6f 63 20 29 7b  x.xMutexAlloc ){
0420: 0a 20 20 20 20 2f 2a 20 49 66 20 74 68 65 20 78  .    /* If the x
0430: 4d 75 74 65 78 41 6c 6c 6f 63 20 6d 65 74 68 6f  MutexAlloc metho
0440: 64 20 68 61 73 20 6e 6f 74 20 62 65 65 6e 20 73  d has not been s
0450: 65 74 2c 20 74 68 65 6e 20 74 68 65 20 75 73 65  et, then the use
0460: 72 20 64 69 64 20 6e 6f 74 0a 20 20 20 20 2a 2a  r did not.    **
0470: 20 69 6e 73 74 61 6c 6c 20 61 20 6d 75 74 65 78   install a mutex
0480: 20 69 6d 70 6c 65 6d 65 6e 74 61 74 69 6f 6e 20   implementation 
0490: 76 69 61 20 73 71 6c 69 74 65 33 5f 63 6f 6e 66  via sqlite3_conf
04a0: 69 67 28 29 20 70 72 69 6f 72 20 74 6f 20 0a 20  ig() prior to . 
04b0: 20 20 20 2a 2a 20 73 71 6c 69 74 65 33 5f 69 6e     ** sqlite3_in
04c0: 69 74 69 61 6c 69 7a 65 28 29 20 62 65 69 6e 67  itialize() being
04d0: 20 63 61 6c 6c 65 64 2e 20 54 68 69 73 20 62 6c   called. This bl
04e0: 6f 63 6b 20 63 6f 70 69 65 73 20 70 6f 69 6e 74  ock copies point
04f0: 65 72 73 20 74 6f 0a 20 20 20 20 2a 2a 20 74 68  ers to.    ** th
0500: 65 20 64 65 66 61 75 6c 74 20 69 6d 70 6c 65 6d  e default implem
0510: 65 6e 74 61 74 69 6f 6e 20 69 6e 74 6f 20 74 68  entation into th
0520: 65 20 73 71 6c 69 74 65 33 43 6f 6e 66 69 67 20  e sqlite3Config 
0530: 73 74 72 75 63 74 75 72 65 2e 0a 20 20 20 20 2a  structure..    *
0540: 2a 0a 20 20 20 20 2a 2a 20 54 68 65 20 64 61 6e  *.    ** The dan
0550: 67 65 72 20 69 73 20 74 68 61 74 20 61 6c 74 68  ger is that alth
0560: 6f 75 67 68 20 73 71 6c 69 74 65 33 5f 63 6f 6e  ough sqlite3_con
0570: 66 69 67 28 29 20 69 73 20 6e 6f 74 20 61 20 74  fig() is not a t
0580: 68 72 65 61 64 73 61 66 65 0a 20 20 20 20 2a 2a  hreadsafe.    **
0590: 20 41 50 49 2c 20 73 71 6c 69 74 65 33 5f 69 6e   API, sqlite3_in
05a0: 69 74 69 61 6c 69 7a 65 28 29 20 69 73 2c 20 61  itialize() is, a
05b0: 6e 64 20 73 6f 20 6d 75 6c 74 69 70 6c 65 20 74  nd so multiple t
05c0: 68 72 65 61 64 73 20 6d 61 79 20 62 65 0a 20 20  hreads may be.  
05d0: 20 20 2a 2a 20 61 74 74 65 6d 70 74 69 6e 67 20    ** attempting 
05e0: 74 6f 20 72 75 6e 20 74 68 69 73 20 66 75 6e 63  to run this func
05f0: 74 69 6f 6e 20 73 69 6d 75 6c 74 61 6e 65 6f 75  tion simultaneou
0600: 73 6c 79 2e 20 54 6f 20 67 75 61 72 64 20 77 72  sly. To guard wr
0610: 69 74 65 0a 20 20 20 20 2a 2a 20 61 63 63 65 73  ite.    ** acces
0620: 73 20 74 6f 20 74 68 65 20 73 71 6c 69 74 65 33  s to the sqlite3
0630: 43 6f 6e 66 69 67 20 73 74 72 75 63 74 75 72 65  Config structure
0640: 2c 20 74 68 65 20 27 4d 41 53 54 45 52 27 20 73  , the 'MASTER' s
0650: 74 61 74 69 63 20 6d 75 74 65 78 0a 20 20 20 20  tatic mutex.    
0660: 2a 2a 20 69 73 20 6f 62 74 61 69 6e 65 64 20 62  ** is obtained b
0670: 65 66 6f 72 65 20 6d 6f 64 69 66 79 69 6e 67 20  efore modifying 
0680: 69 74 2e 0a 20 20 20 20 2a 2f 0a 20 20 20 20 73  it..    */.    s
0690: 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 6d 65 74  qlite3_mutex_met
06a0: 68 6f 64 73 20 2a 70 20 3d 20 73 71 6c 69 74 65  hods *p = sqlite
06b0: 33 44 65 66 61 75 6c 74 4d 75 74 65 78 28 29 3b  3DefaultMutex();
06c0: 0a 20 20 20 20 73 71 6c 69 74 65 33 5f 6d 75 74  .    sqlite3_mut
06d0: 65 78 20 2a 70 4d 61 73 74 65 72 3b 0a 0a 20 20  ex *pMaster;..  
06e0: 20 20 72 63 20 3d 20 70 2d 3e 78 4d 75 74 65 78    rc = p->xMutex
06f0: 49 6e 69 74 28 29 3b 0a 20 20 20 20 69 66 28 20  Init();.    if( 
0700: 72 63 3d 3d 53 51 4c 49 54 45 5f 4f 4b 20 29 7b  rc==SQLITE_OK ){
0710: 0a 20 20 20 20 20 20 70 4d 61 73 74 65 72 20 3d  .      pMaster =
0720: 20 70 2d 3e 78 4d 75 74 65 78 41 6c 6c 6f 63 28   p->xMutexAlloc(
0730: 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 53 54 41  SQLITE_MUTEX_STA
0740: 54 49 43 5f 4d 41 53 54 45 52 29 3b 0a 20 20 20  TIC_MASTER);.   
0750: 20 20 20 61 73 73 65 72 74 28 70 4d 61 73 74 65     assert(pMaste
0760: 72 29 3b 0a 20 20 20 20 20 20 70 2d 3e 78 4d 75  r);.      p->xMu
0770: 74 65 78 45 6e 74 65 72 28 70 4d 61 73 74 65 72  texEnter(pMaster
0780: 29 3b 0a 20 20 20 20 20 20 61 73 73 65 72 74 28  );.      assert(
0790: 20 73 71 6c 69 74 65 33 43 6f 6e 66 69 67 2e 6d   sqlite3Config.m
07a0: 75 74 65 78 2e 78 4d 75 74 65 78 41 6c 6c 6f 63  utex.xMutexAlloc
07b0: 3d 3d 30 20 0a 20 20 20 20 20 20 20 20 20 20 20  ==0 .           
07c0: 7c 7c 20 73 71 6c 69 74 65 33 43 6f 6e 66 69 67  || sqlite3Config
07d0: 2e 6d 75 74 65 78 2e 78 4d 75 74 65 78 41 6c 6c  .mutex.xMutexAll
07e0: 6f 63 3d 3d 70 2d 3e 78 4d 75 74 65 78 41 6c 6c  oc==p->xMutexAll
07f0: 6f 63 0a 20 20 20 20 20 20 29 3b 0a 20 20 20 20  oc.      );.    
0800: 20 20 69 66 28 20 21 73 71 6c 69 74 65 33 43 6f    if( !sqlite3Co
0810: 6e 66 69 67 2e 6d 75 74 65 78 2e 78 4d 75 74 65  nfig.mutex.xMute
0820: 78 41 6c 6c 6f 63 20 29 7b 0a 20 20 20 20 20 20  xAlloc ){.      
0830: 20 20 73 71 6c 69 74 65 33 43 6f 6e 66 69 67 2e    sqlite3Config.
0840: 6d 75 74 65 78 20 3d 20 2a 70 3b 0a 20 20 20 20  mutex = *p;.    
0850: 20 20 7d 0a 20 20 20 20 20 20 70 2d 3e 78 4d 75    }.      p->xMu
0860: 74 65 78 4c 65 61 76 65 28 70 4d 61 73 74 65 72  texLeave(pMaster
0870: 29 3b 0a 20 20 20 20 7d 0a 20 20 7d 65 6c 73 65  );.    }.  }else
0880: 7b 0a 20 20 20 20 72 63 20 3d 20 73 71 6c 69 74  {.    rc = sqlit
0890: 65 33 43 6f 6e 66 69 67 2e 6d 75 74 65 78 2e 78  e3Config.mutex.x
08a0: 4d 75 74 65 78 49 6e 69 74 28 29 3b 0a 20 20 7d  MutexInit();.  }
08b0: 0a 0a 20 20 72 65 74 75 72 6e 20 72 63 3b 0a 7d  ..  return rc;.}
08c0: 0a 0a 2f 2a 0a 2a 2a 20 53 68 75 74 64 6f 77 6e  ../*.** Shutdown
08d0: 20 74 68 65 20 6d 75 74 65 78 20 73 79 73 74 65   the mutex syste
08e0: 6d 2e 20 54 68 69 73 20 63 61 6c 6c 20 66 72 65  m. This call fre
08f0: 65 73 20 72 65 73 6f 75 72 63 65 73 20 61 6c 6c  es resources all
0900: 6f 63 61 74 65 64 20 62 79 0a 2a 2a 20 73 71 6c  ocated by.** sql
0910: 69 74 65 33 5f 6d 75 74 65 78 5f 69 6e 69 74 28  ite3_mutex_init(
0920: 29 2e 0a 2a 2f 0a 69 6e 74 20 73 71 6c 69 74 65  )..*/.int sqlite
0930: 33 5f 6d 75 74 65 78 5f 65 6e 64 28 76 6f 69 64  3_mutex_end(void
0940: 29 7b 0a 20 20 69 6e 74 20 72 63 20 3d 20 53 51  ){.  int rc = SQ
0950: 4c 49 54 45 5f 4f 4b 3b 0a 20 20 72 63 20 3d 20  LITE_OK;.  rc = 
0960: 73 71 6c 69 74 65 33 43 6f 6e 66 69 67 2e 6d 75  sqlite3Config.mu
0970: 74 65 78 2e 78 4d 75 74 65 78 45 6e 64 28 29 3b  tex.xMutexEnd();
0980: 0a 20 20 72 65 74 75 72 6e 20 72 63 3b 0a 7d 0a  .  return rc;.}.
0990: 0a 2f 2a 0a 2a 2a 20 52 65 74 72 69 65 76 65 20  ./*.** Retrieve 
09a0: 61 20 70 6f 69 6e 74 65 72 20 74 6f 20 61 20 73  a pointer to a s
09b0: 74 61 74 69 63 20 6d 75 74 65 78 20 6f 72 20 61  tatic mutex or a
09c0: 6c 6c 6f 63 61 74 65 20 61 20 6e 65 77 20 64 79  llocate a new dy
09d0: 6e 61 6d 69 63 20 6f 6e 65 2e 0a 2a 2f 0a 73 71  namic one..*/.sq
09e0: 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a 73 71 6c  lite3_mutex *sql
09f0: 69 74 65 33 5f 6d 75 74 65 78 5f 61 6c 6c 6f 63  ite3_mutex_alloc
0a00: 28 69 6e 74 20 69 64 29 7b 0a 20 20 72 65 74 75  (int id){.  retu
0a10: 72 6e 20 73 71 6c 69 74 65 33 43 6f 6e 66 69 67  rn sqlite3Config
0a20: 2e 6d 75 74 65 78 2e 78 4d 75 74 65 78 41 6c 6c  .mutex.xMutexAll
0a30: 6f 63 28 69 64 29 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a  oc(id);.}../*.**
0a40: 20 46 72 65 65 20 61 20 64 79 6e 61 6d 69 63 20   Free a dynamic 
0a50: 6d 75 74 65 78 2e 0a 2a 2f 0a 76 6f 69 64 20 73  mutex..*/.void s
0a60: 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 66 72 65  qlite3_mutex_fre
0a70: 65 28 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20  e(sqlite3_mutex 
0a80: 2a 70 29 7b 0a 20 20 69 66 28 20 70 20 29 7b 0a  *p){.  if( p ){.
0a90: 20 20 20 20 73 71 6c 69 74 65 33 43 6f 6e 66 69      sqlite3Confi
0aa0: 67 2e 6d 75 74 65 78 2e 78 4d 75 74 65 78 46 72  g.mutex.xMutexFr
0ab0: 65 65 28 70 29 3b 0a 20 20 7d 0a 7d 0a 0a 2f 2a  ee(p);.  }.}../*
0ac0: 0a 2a 2a 20 4f 62 74 61 69 6e 20 74 68 65 20 6d  .** Obtain the m
0ad0: 75 74 65 78 20 70 2e 20 49 66 20 73 6f 6d 65 20  utex p. If some 
0ae0: 6f 74 68 65 72 20 74 68 72 65 61 64 20 61 6c 72  other thread alr
0af0: 65 61 64 79 20 68 61 73 20 74 68 65 20 6d 75 74  eady has the mut
0b00: 65 78 2c 20 62 6c 6f 63 6b 0a 2a 2a 20 75 6e 74  ex, block.** unt
0b10: 69 6c 20 69 74 20 63 61 6e 20 62 65 20 6f 62 74  il it can be obt
0b20: 61 69 6e 65 64 2e 0a 2a 2f 0a 76 6f 69 64 20 73  ained..*/.void s
0b30: 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 65 6e 74  qlite3_mutex_ent
0b40: 65 72 28 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  er(sqlite3_mutex
0b50: 20 2a 70 29 7b 0a 20 20 69 66 28 20 70 20 29 7b   *p){.  if( p ){
0b60: 0a 20 20 20 20 73 71 6c 69 74 65 33 43 6f 6e 66  .    sqlite3Conf
0b70: 69 67 2e 6d 75 74 65 78 2e 78 4d 75 74 65 78 45  ig.mutex.xMutexE
0b80: 6e 74 65 72 28 70 29 3b 0a 20 20 7d 0a 7d 0a 0a  nter(p);.  }.}..
0b90: 2f 2a 0a 2a 2a 20 4f 62 74 61 69 6e 20 74 68 65  /*.** Obtain the
0ba0: 20 6d 75 74 65 78 20 70 2e 20 49 66 20 73 75 63   mutex p. If suc
0bb0: 63 65 73 73 66 75 6c 2c 20 72 65 74 75 72 6e 20  cessful, return 
0bc0: 53 51 4c 49 54 45 5f 4f 4b 2e 20 4f 74 68 65 72  SQLITE_OK. Other
0bd0: 77 69 73 65 2c 20 69 66 20 61 6e 6f 74 68 65 72  wise, if another
0be0: 0a 2a 2a 20 74 68 72 65 61 64 20 68 6f 6c 64 73  .** thread holds
0bf0: 20 74 68 65 20 6d 75 74 65 78 20 61 6e 64 20 69   the mutex and i
0c00: 74 20 63 61 6e 6e 6f 74 20 62 65 20 6f 62 74 61  t cannot be obta
0c10: 69 6e 65 64 2c 20 72 65 74 75 72 6e 20 53 51 4c  ined, return SQL
0c20: 49 54 45 5f 42 55 53 59 2e 0a 2a 2f 0a 69 6e 74  ITE_BUSY..*/.int
0c30: 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 74   sqlite3_mutex_t
0c40: 72 79 28 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  ry(sqlite3_mutex
0c50: 20 2a 70 29 7b 0a 20 20 69 6e 74 20 72 63 20 3d   *p){.  int rc =
0c60: 20 53 51 4c 49 54 45 5f 4f 4b 3b 0a 20 20 69 66   SQLITE_OK;.  if
0c70: 28 20 70 20 29 7b 0a 20 20 20 20 72 65 74 75 72  ( p ){.    retur
0c80: 6e 20 73 71 6c 69 74 65 33 43 6f 6e 66 69 67 2e  n sqlite3Config.
0c90: 6d 75 74 65 78 2e 78 4d 75 74 65 78 54 72 79 28  mutex.xMutexTry(
0ca0: 70 29 3b 0a 20 20 7d 0a 20 20 72 65 74 75 72 6e  p);.  }.  return
0cb0: 20 72 63 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 54 68   rc;.}../*.** Th
0cc0: 65 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f  e sqlite3_mutex_
0cd0: 6c 65 61 76 65 28 29 20 72 6f 75 74 69 6e 65 20  leave() routine 
0ce0: 65 78 69 74 73 20 61 20 6d 75 74 65 78 20 74 68  exits a mutex th
0cf0: 61 74 20 77 61 73 20 70 72 65 76 69 6f 75 73 6c  at was previousl
0d00: 79 0a 2a 2a 20 65 6e 74 65 72 65 64 20 62 79 20  y.** entered by 
0d10: 74 68 65 20 73 61 6d 65 20 74 68 72 65 61 64 2e  the same thread.
0d20: 20 20 54 68 65 20 62 65 68 61 76 69 6f 72 20 69    The behavior i
0d30: 73 20 75 6e 64 65 66 69 6e 65 64 20 69 66 20 74  s undefined if t
0d40: 68 65 20 6d 75 74 65 78 20 0a 2a 2a 20 69 73 20  he mutex .** is 
0d50: 6e 6f 74 20 63 75 72 72 65 6e 74 6c 79 20 65 6e  not currently en
0d60: 74 65 72 65 64 2e 20 49 66 20 61 20 4e 55 4c 4c  tered. If a NULL
0d70: 20 70 6f 69 6e 74 65 72 20 69 73 20 70 61 73 73   pointer is pass
0d80: 65 64 20 61 73 20 61 6e 20 61 72 67 75 6d 65 6e  ed as an argumen
0d90: 74 0a 2a 2a 20 74 68 69 73 20 66 75 6e 63 74 69  t.** this functi
0da0: 6f 6e 20 69 73 20 61 20 6e 6f 2d 6f 70 2e 0a 2a  on is a no-op..*
0db0: 2f 0a 76 6f 69 64 20 73 71 6c 69 74 65 33 5f 6d  /.void sqlite3_m
0dc0: 75 74 65 78 5f 6c 65 61 76 65 28 73 71 6c 69 74  utex_leave(sqlit
0dd0: 65 33 5f 6d 75 74 65 78 20 2a 70 29 7b 0a 20 20  e3_mutex *p){.  
0de0: 69 66 28 20 70 20 29 7b 0a 20 20 20 20 73 71 6c  if( p ){.    sql
0df0: 69 74 65 33 43 6f 6e 66 69 67 2e 6d 75 74 65 78  ite3Config.mutex
0e00: 2e 78 4d 75 74 65 78 4c 65 61 76 65 28 70 29 3b  .xMutexLeave(p);
0e10: 0a 20 20 7d 0a 7d 0a 0a 23 69 66 6e 64 65 66 20  .  }.}..#ifndef 
0e20: 4e 44 45 42 55 47 0a 2f 2a 0a 2a 2a 20 54 68 65  NDEBUG./*.** The
0e30: 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 68   sqlite3_mutex_h
0e40: 65 6c 64 28 29 20 61 6e 64 20 73 71 6c 69 74 65  eld() and sqlite
0e50: 33 5f 6d 75 74 65 78 5f 6e 6f 74 68 65 6c 64 28  3_mutex_notheld(
0e60: 29 20 72 6f 75 74 69 6e 65 20 61 72 65 0a 2a 2a  ) routine are.**
0e70: 20 69 6e 74 65 6e 64 65 64 20 66 6f 72 20 75 73   intended for us
0e80: 65 20 69 6e 73 69 64 65 20 61 73 73 65 72 74 28  e inside assert(
0e90: 29 20 73 74 61 74 65 6d 65 6e 74 73 2e 0a 2a 2f  ) statements..*/
0ea0: 0a 69 6e 74 20 73 71 6c 69 74 65 33 5f 6d 75 74  .int sqlite3_mut
0eb0: 65 78 5f 68 65 6c 64 28 73 71 6c 69 74 65 33 5f  ex_held(sqlite3_
0ec0: 6d 75 74 65 78 20 2a 70 29 7b 0a 20 20 72 65 74  mutex *p){.  ret
0ed0: 75 72 6e 20 70 3d 3d 30 20 7c 7c 20 73 71 6c 69  urn p==0 || sqli
0ee0: 74 65 33 43 6f 6e 66 69 67 2e 6d 75 74 65 78 2e  te3Config.mutex.
0ef0: 78 4d 75 74 65 78 48 65 6c 64 28 70 29 3b 0a 7d  xMutexHeld(p);.}
0f00: 0a 69 6e 74 20 73 71 6c 69 74 65 33 5f 6d 75 74  .int sqlite3_mut
0f10: 65 78 5f 6e 6f 74 68 65 6c 64 28 73 71 6c 69 74  ex_notheld(sqlit
0f20: 65 33 5f 6d 75 74 65 78 20 2a 70 29 7b 0a 20 20  e3_mutex *p){.  
0f30: 72 65 74 75 72 6e 20 70 3d 3d 30 20 7c 7c 20 73  return p==0 || s
0f40: 71 6c 69 74 65 33 43 6f 6e 66 69 67 2e 6d 75 74  qlite3Config.mut
0f50: 65 78 2e 78 4d 75 74 65 78 4e 6f 74 68 65 6c 64  ex.xMutexNotheld
0f60: 28 70 29 3b 0a 7d 0a 23 65 6e 64 69 66 0a 0a 23  (p);.}.#endif..#
0f70: 65 6e 64 69 66 0a 0a 23 69 66 64 65 66 20 53 51  endif..#ifdef SQ
0f80: 4c 49 54 45 5f 4d 55 54 45 58 5f 4e 4f 4f 50 5f  LITE_MUTEX_NOOP_
0f90: 44 45 42 55 47 0a 2f 2a 0a 2a 2a 20 49 6e 20 74  DEBUG./*.** In t
0fa0: 68 69 73 20 69 6d 70 6c 65 6d 65 6e 74 61 74 69  his implementati
0fb0: 6f 6e 2c 20 6d 75 74 65 78 65 73 20 64 6f 20 6e  on, mutexes do n
0fc0: 6f 74 20 70 72 6f 76 69 64 65 20 61 6e 79 20 6d  ot provide any m
0fd0: 75 74 75 61 6c 20 65 78 63 6c 75 73 69 6f 6e 2e  utual exclusion.
0fe0: 0a 2a 2a 20 42 75 74 20 74 68 65 20 65 72 72 6f  .** But the erro
0ff0: 72 20 63 68 65 63 6b 69 6e 67 20 69 73 20 70 72  r checking is pr
1000: 6f 76 69 64 65 64 2e 20 20 54 68 69 73 20 69 6d  ovided.  This im
1010: 70 6c 65 6d 65 6e 74 61 74 69 6f 6e 20 69 73 20  plementation is 
1020: 75 73 65 66 75 6c 0a 2a 2a 20 66 6f 72 20 74 65  useful.** for te
1030: 73 74 20 70 75 72 70 6f 73 65 73 2e 0a 2a 2f 0a  st purposes..*/.
1040: 0a 2f 2a 0a 2a 2a 20 54 68 65 20 6d 75 74 65 78  ./*.** The mutex
1050: 20 6f 62 6a 65 63 74 0a 2a 2f 0a 73 74 72 75 63   object.*/.struc
1060: 74 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20  t sqlite3_mutex 
1070: 7b 0a 20 20 69 6e 74 20 69 64 3b 20 20 20 20 20  {.  int id;     
1080: 2f 2a 20 54 68 65 20 6d 75 74 65 78 20 74 79 70  /* The mutex typ
1090: 65 20 2a 2f 0a 20 20 69 6e 74 20 63 6e 74 3b 20  e */.  int cnt; 
10a0: 20 20 20 2f 2a 20 4e 75 6d 62 65 72 20 6f 66 20     /* Number of 
10b0: 65 6e 74 72 69 65 73 20 77 69 74 68 6f 75 74 20  entries without 
10c0: 61 20 6d 61 74 63 68 69 6e 67 20 6c 65 61 76 65  a matching leave
10d0: 20 2a 2f 0a 7d 3b 0a 0a 2f 2a 0a 2a 2a 20 54 68   */.};../*.** Th
10e0: 65 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f  e sqlite3_mutex_
10f0: 68 65 6c 64 28 29 20 61 6e 64 20 73 71 6c 69 74  held() and sqlit
1100: 65 33 5f 6d 75 74 65 78 5f 6e 6f 74 68 65 6c 64  e3_mutex_notheld
1110: 28 29 20 72 6f 75 74 69 6e 65 20 61 72 65 0a 2a  () routine are.*
1120: 2a 20 69 6e 74 65 6e 64 65 64 20 66 6f 72 20 75  * intended for u
1130: 73 65 20 69 6e 73 69 64 65 20 61 73 73 65 72 74  se inside assert
1140: 28 29 20 73 74 61 74 65 6d 65 6e 74 73 2e 0a 2a  () statements..*
1150: 2f 0a 73 74 61 74 69 63 20 69 6e 74 20 6e 6f 6f  /.static int noo
1160: 70 4d 75 74 65 78 48 65 6c 64 28 73 71 6c 69 74  pMutexHeld(sqlit
1170: 65 33 5f 6d 75 74 65 78 20 2a 70 29 7b 0a 20 20  e3_mutex *p){.  
1180: 72 65 74 75 72 6e 20 70 3d 3d 30 20 7c 7c 20 70  return p==0 || p
1190: 2d 3e 63 6e 74 3e 30 3b 0a 7d 0a 73 74 61 74 69  ->cnt>0;.}.stati
11a0: 63 20 69 6e 74 20 6e 6f 6f 70 4d 75 74 65 78 4e  c int noopMutexN
11b0: 6f 74 68 65 6c 64 28 73 71 6c 69 74 65 33 5f 6d  otheld(sqlite3_m
11c0: 75 74 65 78 20 2a 70 29 7b 0a 20 20 72 65 74 75  utex *p){.  retu
11d0: 72 6e 20 70 3d 3d 30 20 7c 7c 20 70 2d 3e 63 6e  rn p==0 || p->cn
11e0: 74 3d 3d 30 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 49  t==0;.}../*.** I
11f0: 6e 69 74 69 61 6c 69 7a 65 20 61 6e 64 20 64 65  nitialize and de
1200: 69 6e 69 74 69 61 6c 69 7a 65 20 74 68 65 20 6d  initialize the m
1210: 75 74 65 78 20 73 75 62 73 79 73 74 65 6d 2e 0a  utex subsystem..
1220: 2a 2f 0a 73 74 61 74 69 63 20 69 6e 74 20 6e 6f  */.static int no
1230: 6f 70 4d 75 74 65 78 49 6e 69 74 28 76 6f 69 64  opMutexInit(void
1240: 29 7b 20 72 65 74 75 72 6e 20 53 51 4c 49 54 45  ){ return SQLITE
1250: 5f 4f 4b 3b 20 7d 0a 73 74 61 74 69 63 20 69 6e  _OK; }.static in
1260: 74 20 6e 6f 6f 70 4d 75 74 65 78 45 6e 64 28 76  t noopMutexEnd(v
1270: 6f 69 64 29 7b 20 72 65 74 75 72 6e 20 53 51 4c  oid){ return SQL
1280: 49 54 45 5f 4f 4b 3b 20 7d 0a 0a 2f 2a 0a 2a 2a  ITE_OK; }../*.**
1290: 20 54 68 65 20 73 71 6c 69 74 65 33 5f 6d 75 74   The sqlite3_mut
12a0: 65 78 5f 61 6c 6c 6f 63 28 29 20 72 6f 75 74 69  ex_alloc() routi
12b0: 6e 65 20 61 6c 6c 6f 63 61 74 65 73 20 61 20 6e  ne allocates a n
12c0: 65 77 0a 2a 2a 20 6d 75 74 65 78 20 61 6e 64 20  ew.** mutex and 
12d0: 72 65 74 75 72 6e 73 20 61 20 70 6f 69 6e 74 65  returns a pointe
12e0: 72 20 74 6f 20 69 74 2e 20 20 49 66 20 69 74 20  r to it.  If it 
12f0: 72 65 74 75 72 6e 73 20 4e 55 4c 4c 0a 2a 2a 20  returns NULL.** 
1300: 74 68 61 74 20 6d 65 61 6e 73 20 74 68 61 74 20  that means that 
1310: 61 20 6d 75 74 65 78 20 63 6f 75 6c 64 20 6e 6f  a mutex could no
1320: 74 20 62 65 20 61 6c 6c 6f 63 61 74 65 64 2e 20  t be allocated. 
1330: 0a 2a 2f 0a 73 74 61 74 69 63 20 73 71 6c 69 74  .*/.static sqlit
1340: 65 33 5f 6d 75 74 65 78 20 2a 6e 6f 6f 70 4d 75  e3_mutex *noopMu
1350: 74 65 78 41 6c 6c 6f 63 28 69 6e 74 20 69 64 29  texAlloc(int id)
1360: 7b 0a 20 20 73 74 61 74 69 63 20 73 71 6c 69 74  {.  static sqlit
1370: 65 33 5f 6d 75 74 65 78 20 61 53 74 61 74 69 63  e3_mutex aStatic
1380: 5b 36 5d 3b 0a 20 20 73 71 6c 69 74 65 33 5f 6d  [6];.  sqlite3_m
1390: 75 74 65 78 20 2a 70 4e 65 77 20 3d 20 30 3b 0a  utex *pNew = 0;.
13a0: 20 20 73 77 69 74 63 68 28 20 69 64 20 29 7b 0a    switch( id ){.
13b0: 20 20 20 20 63 61 73 65 20 53 51 4c 49 54 45 5f      case SQLITE_
13c0: 4d 55 54 45 58 5f 46 41 53 54 3a 0a 20 20 20 20  MUTEX_FAST:.    
13d0: 63 61 73 65 20 53 51 4c 49 54 45 5f 4d 55 54 45  case SQLITE_MUTE
13e0: 58 5f 52 45 43 55 52 53 49 56 45 3a 20 7b 0a 20  X_RECURSIVE: {. 
13f0: 20 20 20 20 20 70 4e 65 77 20 3d 20 73 71 6c 69       pNew = sqli
1400: 74 65 33 4d 61 6c 6c 6f 63 28 73 69 7a 65 6f 66  te3Malloc(sizeof
1410: 28 2a 70 4e 65 77 29 29 3b 0a 20 20 20 20 20 20  (*pNew));.      
1420: 69 66 28 20 70 4e 65 77 20 29 7b 0a 20 20 20 20  if( pNew ){.    
1430: 20 20 20 20 70 4e 65 77 2d 3e 69 64 20 3d 20 69      pNew->id = i
1440: 64 3b 0a 20 20 20 20 20 20 20 20 70 4e 65 77 2d  d;.        pNew-
1450: 3e 63 6e 74 20 3d 20 30 3b 0a 20 20 20 20 20 20  >cnt = 0;.      
1460: 7d 0a 20 20 20 20 20 20 62 72 65 61 6b 3b 0a 20  }.      break;. 
1470: 20 20 20 7d 0a 20 20 20 20 64 65 66 61 75 6c 74     }.    default
1480: 3a 20 7b 0a 20 20 20 20 20 20 61 73 73 65 72 74  : {.      assert
1490: 28 20 69 64 2d 32 20 3e 3d 20 30 20 29 3b 0a 20  ( id-2 >= 0 );. 
14a0: 20 20 20 20 20 61 73 73 65 72 74 28 20 69 64 2d       assert( id-
14b0: 32 20 3c 20 73 69 7a 65 6f 66 28 61 53 74 61 74  2 < sizeof(aStat
14c0: 69 63 29 2f 73 69 7a 65 6f 66 28 61 53 74 61 74  ic)/sizeof(aStat
14d0: 69 63 5b 30 5d 29 20 29 3b 0a 20 20 20 20 20 20  ic[0]) );.      
14e0: 70 4e 65 77 20 3d 20 26 61 53 74 61 74 69 63 5b  pNew = &aStatic[
14f0: 69 64 2d 32 5d 3b 0a 20 20 20 20 20 20 70 4e 65  id-2];.      pNe
1500: 77 2d 3e 69 64 20 3d 20 69 64 3b 0a 20 20 20 20  w->id = id;.    
1510: 20 20 62 72 65 61 6b 3b 0a 20 20 20 20 7d 0a 20    break;.    }. 
1520: 20 7d 0a 20 20 72 65 74 75 72 6e 20 70 4e 65 77   }.  return pNew
1530: 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 54 68 69 73 20  ;.}../*.** This 
1540: 72 6f 75 74 69 6e 65 20 64 65 61 6c 6c 6f 63 61  routine dealloca
1550: 74 65 73 20 61 20 70 72 65 76 69 6f 75 73 6c 79  tes a previously
1560: 20 61 6c 6c 6f 63 61 74 65 64 20 6d 75 74 65 78   allocated mutex
1570: 2e 0a 2a 2f 0a 73 74 61 74 69 63 20 76 6f 69 64  ..*/.static void
1580: 20 6e 6f 6f 70 4d 75 74 65 78 46 72 65 65 28 73   noopMutexFree(s
1590: 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a 70 29  qlite3_mutex *p)
15a0: 7b 0a 20 20 61 73 73 65 72 74 28 20 70 2d 3e 63  {.  assert( p->c
15b0: 6e 74 3d 3d 30 20 29 3b 0a 20 20 61 73 73 65 72  nt==0 );.  asser
15c0: 74 28 20 70 2d 3e 69 64 3d 3d 53 51 4c 49 54 45  t( p->id==SQLITE
15d0: 5f 4d 55 54 45 58 5f 46 41 53 54 20 7c 7c 20 70  _MUTEX_FAST || p
15e0: 2d 3e 69 64 3d 3d 53 51 4c 49 54 45 5f 4d 55 54  ->id==SQLITE_MUT
15f0: 45 58 5f 52 45 43 55 52 53 49 56 45 20 29 3b 0a  EX_RECURSIVE );.
1600: 20 20 73 71 6c 69 74 65 33 5f 66 72 65 65 28 70    sqlite3_free(p
1610: 29 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 54 68 65 20  );.}../*.** The 
1620: 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 65 6e  sqlite3_mutex_en
1630: 74 65 72 28 29 20 61 6e 64 20 73 71 6c 69 74 65  ter() and sqlite
1640: 33 5f 6d 75 74 65 78 5f 74 72 79 28 29 20 72 6f  3_mutex_try() ro
1650: 75 74 69 6e 65 73 20 61 74 74 65 6d 70 74 0a 2a  utines attempt.*
1660: 2a 20 74 6f 20 65 6e 74 65 72 20 61 20 6d 75 74  * to enter a mut
1670: 65 78 2e 20 20 49 66 20 61 6e 6f 74 68 65 72 20  ex.  If another 
1680: 74 68 72 65 61 64 20 69 73 20 61 6c 72 65 61 64  thread is alread
1690: 79 20 77 69 74 68 69 6e 20 74 68 65 20 6d 75 74  y within the mut
16a0: 65 78 2c 0a 2a 2a 20 73 71 6c 69 74 65 33 5f 6d  ex,.** sqlite3_m
16b0: 75 74 65 78 5f 65 6e 74 65 72 28 29 20 77 69 6c  utex_enter() wil
16c0: 6c 20 62 6c 6f 63 6b 20 61 6e 64 20 73 71 6c 69  l block and sqli
16d0: 74 65 33 5f 6d 75 74 65 78 5f 74 72 79 28 29 20  te3_mutex_try() 
16e0: 77 69 6c 6c 20 72 65 74 75 72 6e 0a 2a 2a 20 53  will return.** S
16f0: 51 4c 49 54 45 5f 42 55 53 59 2e 20 20 54 68 65  QLITE_BUSY.  The
1700: 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 74   sqlite3_mutex_t
1710: 72 79 28 29 20 69 6e 74 65 72 66 61 63 65 20 72  ry() interface r
1720: 65 74 75 72 6e 73 20 53 51 4c 49 54 45 5f 4f 4b  eturns SQLITE_OK
1730: 0a 2a 2a 20 75 70 6f 6e 20 73 75 63 63 65 73 73  .** upon success
1740: 66 75 6c 20 65 6e 74 72 79 2e 20 20 4d 75 74 65  ful entry.  Mute
1750: 78 65 73 20 63 72 65 61 74 65 64 20 75 73 69 6e  xes created usin
1760: 67 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 52  g SQLITE_MUTEX_R
1770: 45 43 55 52 53 49 56 45 20 63 61 6e 0a 2a 2a 20  ECURSIVE can.** 
1780: 62 65 20 65 6e 74 65 72 65 64 20 6d 75 6c 74 69  be entered multi
1790: 70 6c 65 20 74 69 6d 65 73 20 62 79 20 74 68 65  ple times by the
17a0: 20 73 61 6d 65 20 74 68 72 65 61 64 2e 20 20 49   same thread.  I
17b0: 6e 20 73 75 63 68 20 63 61 73 65 73 20 74 68 65  n such cases the
17c0: 2c 0a 2a 2a 20 6d 75 74 65 78 20 6d 75 73 74 20  ,.** mutex must 
17d0: 62 65 20 65 78 69 74 65 64 20 61 6e 20 65 71 75  be exited an equ
17e0: 61 6c 20 6e 75 6d 62 65 72 20 6f 66 20 74 69 6d  al number of tim
17f0: 65 73 20 62 65 66 6f 72 65 20 61 6e 6f 74 68 65  es before anothe
1800: 72 20 74 68 72 65 61 64 0a 2a 2a 20 63 61 6e 20  r thread.** can 
1810: 65 6e 74 65 72 2e 20 20 49 66 20 74 68 65 20 73  enter.  If the s
1820: 61 6d 65 20 74 68 72 65 61 64 20 74 72 69 65 73  ame thread tries
1830: 20 74 6f 20 65 6e 74 65 72 20 61 6e 79 20 6f 74   to enter any ot
1840: 68 65 72 20 6b 69 6e 64 20 6f 66 20 6d 75 74 65  her kind of mute
1850: 78 0a 2a 2a 20 6d 6f 72 65 20 74 68 61 6e 20 6f  x.** more than o
1860: 6e 63 65 2c 20 74 68 65 20 62 65 68 61 76 69 6f  nce, the behavio
1870: 72 20 69 73 20 75 6e 64 65 66 69 6e 65 64 2e 0a  r is undefined..
1880: 2a 2f 0a 73 74 61 74 69 63 20 76 6f 69 64 20 6e  */.static void n
1890: 6f 6f 70 4d 75 74 65 78 45 6e 74 65 72 28 73 71  oopMutexEnter(sq
18a0: 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a 70 29 7b  lite3_mutex *p){
18b0: 0a 20 20 61 73 73 65 72 74 28 20 70 2d 3e 69 64  .  assert( p->id
18c0: 3d 3d 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 52  ==SQLITE_MUTEX_R
18d0: 45 43 55 52 53 49 56 45 20 7c 7c 20 6e 6f 6f 70  ECURSIVE || noop
18e0: 4d 75 74 65 78 4e 6f 74 68 65 6c 64 28 70 29 20  MutexNotheld(p) 
18f0: 29 3b 0a 20 20 70 2d 3e 63 6e 74 2b 2b 3b 0a 7d  );.  p->cnt++;.}
1900: 0a 73 74 61 74 69 63 20 69 6e 74 20 6e 6f 6f 70  .static int noop
1910: 4d 75 74 65 78 54 72 79 28 73 71 6c 69 74 65 33  MutexTry(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 69 64 3d 3d 53 51 4c  sert( p->id==SQL
1940: 49 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53  ITE_MUTEX_RECURS
1950: 49 56 45 20 7c 7c 20 6e 6f 6f 70 4d 75 74 65 78  IVE || noopMutex
1960: 4e 6f 74 68 65 6c 64 28 70 29 20 29 3b 0a 20 20  Notheld(p) );.  
1970: 70 2d 3e 63 6e 74 2b 2b 3b 0a 20 20 72 65 74 75  p->cnt++;.  retu
1980: 72 6e 20 53 51 4c 49 54 45 5f 4f 4b 3b 0a 7d 0a  rn SQLITE_OK;.}.
1990: 0a 2f 2a 0a 2a 2a 20 54 68 65 20 73 71 6c 69 74  ./*.** The sqlit
19a0: 65 33 5f 6d 75 74 65 78 5f 6c 65 61 76 65 28 29  e3_mutex_leave()
19b0: 20 72 6f 75 74 69 6e 65 20 65 78 69 74 73 20 61   routine exits a
19c0: 20 6d 75 74 65 78 20 74 68 61 74 20 77 61 73 0a   mutex that was.
19d0: 2a 2a 20 70 72 65 76 69 6f 75 73 6c 79 20 65 6e  ** previously en
19e0: 74 65 72 65 64 20 62 79 20 74 68 65 20 73 61 6d  tered by the sam
19f0: 65 20 74 68 72 65 61 64 2e 20 20 54 68 65 20 62  e thread.  The b
1a00: 65 68 61 76 69 6f 72 0a 2a 2a 20 69 73 20 75 6e  ehavior.** is un
1a10: 64 65 66 69 6e 65 64 20 69 66 20 74 68 65 20 6d  defined if the m
1a20: 75 74 65 78 20 69 73 20 6e 6f 74 20 63 75 72 72  utex is not curr
1a30: 65 6e 74 6c 79 20 65 6e 74 65 72 65 64 20 6f 72  ently entered or
1a40: 0a 2a 2a 20 69 73 20 6e 6f 74 20 63 75 72 72 65  .** is not curre
1a50: 6e 74 6c 79 20 61 6c 6c 6f 63 61 74 65 64 2e 20  ntly allocated. 
1a60: 20 53 51 4c 69 74 65 20 77 69 6c 6c 20 6e 65 76   SQLite will nev
1a70: 65 72 20 64 6f 20 65 69 74 68 65 72 2e 0a 2a 2f  er do either..*/
1a80: 0a 73 74 61 74 69 63 20 76 6f 69 64 20 6e 6f 6f  .static void noo
1a90: 70 4d 75 74 65 78 4c 65 61 76 65 28 73 71 6c 69  pMutexLeave(sqli
1aa0: 74 65 33 5f 6d 75 74 65 78 20 2a 70 29 7b 0a 20  te3_mutex *p){. 
1ab0: 20 61 73 73 65 72 74 28 20 6e 6f 6f 70 4d 75 74   assert( noopMut
1ac0: 65 78 48 65 6c 64 28 70 29 20 29 3b 0a 20 20 70  exHeld(p) );.  p
1ad0: 2d 3e 63 6e 74 2d 2d 3b 0a 20 20 61 73 73 65 72  ->cnt--;.  asser
1ae0: 74 28 20 70 2d 3e 69 64 3d 3d 53 51 4c 49 54 45  t( p->id==SQLITE
1af0: 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56 45  _MUTEX_RECURSIVE
1b00: 20 7c 7c 20 6e 6f 6f 70 4d 75 74 65 78 4e 6f 74   || noopMutexNot
1b10: 68 65 6c 64 28 70 29 20 29 3b 0a 7d 0a 0a 73 71  held(p) );.}..sq
1b20: 6c 69 74 65 33 5f 6d 75 74 65 78 5f 6d 65 74 68  lite3_mutex_meth
1b30: 6f 64 73 20 2a 73 71 6c 69 74 65 33 44 65 66 61  ods *sqlite3Defa
1b40: 75 6c 74 4d 75 74 65 78 28 76 6f 69 64 29 7b 0a  ultMutex(void){.
1b50: 20 20 73 74 61 74 69 63 20 73 71 6c 69 74 65 33    static sqlite3
1b60: 5f 6d 75 74 65 78 5f 6d 65 74 68 6f 64 73 20 73  _mutex_methods s
1b70: 4d 75 74 65 78 20 3d 20 7b 0a 20 20 20 20 6e 6f  Mutex = {.    no
1b80: 6f 70 4d 75 74 65 78 49 6e 69 74 2c 0a 20 20 20  opMutexInit,.   
1b90: 20 6e 6f 6f 70 4d 75 74 65 78 41 6c 6c 6f 63 2c   noopMutexAlloc,
1ba0: 0a 20 20 20 20 6e 6f 6f 70 4d 75 74 65 78 46 72  .    noopMutexFr
1bb0: 65 65 2c 0a 20 20 20 20 6e 6f 6f 70 4d 75 74 65  ee,.    noopMute
1bc0: 78 45 6e 74 65 72 2c 0a 20 20 20 20 6e 6f 6f 70  xEnter,.    noop
1bd0: 4d 75 74 65 78 54 72 79 2c 0a 20 20 20 20 6e 6f  MutexTry,.    no
1be0: 6f 70 4d 75 74 65 78 4c 65 61 76 65 2c 0a 20 20  opMutexLeave,.  
1bf0: 20 20 6e 6f 6f 70 4d 75 74 65 78 45 6e 64 2c 0a    noopMutexEnd,.
1c00: 0a 20 20 20 20 6e 6f 6f 70 4d 75 74 65 78 48 65  .    noopMutexHe
1c10: 6c 64 2c 0a 20 20 20 20 6e 6f 6f 70 4d 75 74 65  ld,.    noopMute
1c20: 78 4e 6f 74 68 65 6c 64 0a 20 20 7d 3b 0a 0a 20  xNotheld.  };.. 
1c30: 20 72 65 74 75 72 6e 20 26 73 4d 75 74 65 78 3b   return &sMutex;
1c40: 0a 7d 0a 23 65 6e 64 69 66 20 2f 2a 20 53 51 4c  .}.#endif /* SQL
1c50: 49 54 45 5f 4d 55 54 45 58 5f 4e 4f 4f 50 5f 44  ITE_MUTEX_NOOP_D
1c60: 45 42 55 47 20 2a 2f 0a                          EBUG */.