/ Hex Artifact Content
Login

Artifact 3259f62c2429967aee6dc112117a6d2f499ef061:


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 31 36 20 32 30 30  tex.c,v 1.16 200
0350: 37 2f 30 39 2f 31 30 20 31 36 3a 31 33 3a 30 30  7/09/10 16:13:00
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 64 65 66 20 53 51 4c 49 54 45 5f 4d 55 54 45  fdef SQLITE_MUTE
03a0: 58 5f 4e 4f 4f 50 5f 44 45 42 55 47 0a 2f 2a 0a  X_NOOP_DEBUG./*.
03b0: 2a 2a 20 49 6e 20 74 68 69 73 20 69 6d 70 6c 65  ** In this imple
03c0: 6d 65 6e 74 61 74 69 6f 6e 2c 20 6d 75 74 65 78  mentation, mutex
03d0: 65 73 20 64 6f 20 6e 6f 74 20 70 72 6f 76 69 64  es do not provid
03e0: 65 20 61 6e 79 20 6d 75 74 75 61 6c 20 65 78 63  e any mutual exc
03f0: 6c 75 73 69 6f 6e 2e 0a 2a 2a 20 42 75 74 20 74  lusion..** But t
0400: 68 65 20 65 72 72 6f 72 20 63 68 65 63 6b 69 6e  he error checkin
0410: 67 20 69 73 20 70 72 6f 76 69 64 65 64 2e 20 20  g is provided.  
0420: 54 68 69 73 20 69 6d 70 6c 65 6d 65 6e 74 61 74  This implementat
0430: 69 6f 6e 20 69 73 20 75 73 65 66 75 6c 0a 2a 2a  ion is useful.**
0440: 20 66 6f 72 20 74 65 73 74 20 70 75 72 70 6f 73   for test purpos
0450: 65 73 2e 0a 2a 2f 0a 0a 2f 2a 0a 2a 2a 20 54 68  es..*/../*.** Th
0460: 65 20 6d 75 74 65 78 20 6f 62 6a 65 63 74 0a 2a  e mutex object.*
0470: 2f 0a 73 74 72 75 63 74 20 73 71 6c 69 74 65 33  /.struct sqlite3
0480: 5f 6d 75 74 65 78 20 7b 0a 20 20 69 6e 74 20 69  _mutex {.  int i
0490: 64 3b 20 20 20 20 20 2f 2a 20 54 68 65 20 6d 75  d;     /* The mu
04a0: 74 65 78 20 74 79 70 65 20 2a 2f 0a 20 20 69 6e  tex type */.  in
04b0: 74 20 63 6e 74 3b 20 20 20 20 2f 2a 20 4e 75 6d  t cnt;    /* Num
04c0: 62 65 72 20 6f 66 20 65 6e 74 72 69 65 73 20 77  ber of entries w
04d0: 69 74 68 6f 75 74 20 61 20 6d 61 74 63 68 69 6e  ithout a matchin
04e0: 67 20 6c 65 61 76 65 20 2a 2f 0a 7d 3b 0a 0a 2f  g leave */.};../
04f0: 2a 0a 2a 2a 20 54 68 65 20 73 71 6c 69 74 65 33  *.** The sqlite3
0500: 5f 6d 75 74 65 78 5f 61 6c 6c 6f 63 28 29 20 72  _mutex_alloc() r
0510: 6f 75 74 69 6e 65 20 61 6c 6c 6f 63 61 74 65 73  outine allocates
0520: 20 61 20 6e 65 77 0a 2a 2a 20 6d 75 74 65 78 20   a new.** mutex 
0530: 61 6e 64 20 72 65 74 75 72 6e 73 20 61 20 70 6f  and returns a po
0540: 69 6e 74 65 72 20 74 6f 20 69 74 2e 20 20 49 66  inter to it.  If
0550: 20 69 74 20 72 65 74 75 72 6e 73 20 4e 55 4c 4c   it returns NULL
0560: 0a 2a 2a 20 74 68 61 74 20 6d 65 61 6e 73 20 74  .** that means t
0570: 68 61 74 20 61 20 6d 75 74 65 78 20 63 6f 75 6c  hat a mutex coul
0580: 64 20 6e 6f 74 20 62 65 20 61 6c 6c 6f 63 61 74  d not be allocat
0590: 65 64 2e 20 0a 2a 2f 0a 73 71 6c 69 74 65 33 5f  ed. .*/.sqlite3_
05a0: 6d 75 74 65 78 20 2a 73 71 6c 69 74 65 33 5f 6d  mutex *sqlite3_m
05b0: 75 74 65 78 5f 61 6c 6c 6f 63 28 69 6e 74 20 69  utex_alloc(int i
05c0: 64 29 7b 0a 20 20 73 74 61 74 69 63 20 73 71 6c  d){.  static sql
05d0: 69 74 65 33 5f 6d 75 74 65 78 20 61 53 74 61 74  ite3_mutex aStat
05e0: 69 63 5b 35 5d 3b 0a 20 20 73 71 6c 69 74 65 33  ic[5];.  sqlite3
05f0: 5f 6d 75 74 65 78 20 2a 70 4e 65 77 20 3d 20 30  _mutex *pNew = 0
0600: 3b 0a 20 20 73 77 69 74 63 68 28 20 69 64 20 29  ;.  switch( id )
0610: 7b 0a 20 20 20 20 63 61 73 65 20 53 51 4c 49 54  {.    case SQLIT
0620: 45 5f 4d 55 54 45 58 5f 46 41 53 54 3a 0a 20 20  E_MUTEX_FAST:.  
0630: 20 20 63 61 73 65 20 53 51 4c 49 54 45 5f 4d 55    case SQLITE_MU
0640: 54 45 58 5f 52 45 43 55 52 53 49 56 45 3a 20 7b  TEX_RECURSIVE: {
0650: 0a 20 20 20 20 20 20 70 4e 65 77 20 3d 20 73 71  .      pNew = sq
0660: 6c 69 74 65 33 5f 6d 61 6c 6c 6f 63 28 73 69 7a  lite3_malloc(siz
0670: 65 6f 66 28 2a 70 4e 65 77 29 29 3b 0a 20 20 20  eof(*pNew));.   
0680: 20 20 20 69 66 28 20 70 4e 65 77 20 29 7b 0a 20     if( pNew ){. 
0690: 20 20 20 20 20 20 20 70 4e 65 77 2d 3e 69 64 20         pNew->id 
06a0: 3d 20 69 64 3b 0a 20 20 20 20 20 20 20 20 70 4e  = id;.        pN
06b0: 65 77 2d 3e 63 6e 74 20 3d 20 30 3b 0a 20 20 20  ew->cnt = 0;.   
06c0: 20 20 20 7d 0a 20 20 20 20 20 20 62 72 65 61 6b     }.      break
06d0: 3b 0a 20 20 20 20 7d 0a 20 20 20 20 64 65 66 61  ;.    }.    defa
06e0: 75 6c 74 3a 20 7b 0a 20 20 20 20 20 20 61 73 73  ult: {.      ass
06f0: 65 72 74 28 20 69 64 2d 32 20 3e 3d 20 30 20 29  ert( id-2 >= 0 )
0700: 3b 0a 20 20 20 20 20 20 61 73 73 65 72 74 28 20  ;.      assert( 
0710: 69 64 2d 32 20 3c 20 73 69 7a 65 6f 66 28 61 53  id-2 < sizeof(aS
0720: 74 61 74 69 63 29 2f 73 69 7a 65 6f 66 28 61 53  tatic)/sizeof(aS
0730: 74 61 74 69 63 5b 30 5d 29 20 29 3b 0a 20 20 20  tatic[0]) );.   
0740: 20 20 20 70 4e 65 77 20 3d 20 26 61 53 74 61 74     pNew = &aStat
0750: 69 63 5b 69 64 2d 32 5d 3b 0a 20 20 20 20 20 20  ic[id-2];.      
0760: 70 4e 65 77 2d 3e 69 64 20 3d 20 69 64 3b 0a 20  pNew->id = id;. 
0770: 20 20 20 20 20 62 72 65 61 6b 3b 0a 20 20 20 20       break;.    
0780: 7d 0a 20 20 7d 0a 20 20 72 65 74 75 72 6e 20 70  }.  }.  return p
0790: 4e 65 77 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 54 68  New;.}../*.** Th
07a0: 69 73 20 72 6f 75 74 69 6e 65 20 64 65 61 6c 6c  is routine deall
07b0: 6f 63 61 74 65 73 20 61 20 70 72 65 76 69 6f 75  ocates a previou
07c0: 73 6c 79 20 61 6c 6c 6f 63 61 74 65 64 20 6d 75  sly allocated mu
07d0: 74 65 78 2e 0a 2a 2f 0a 76 6f 69 64 20 73 71 6c  tex..*/.void sql
07e0: 69 74 65 33 5f 6d 75 74 65 78 5f 66 72 65 65 28  ite3_mutex_free(
07f0: 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a 70  sqlite3_mutex *p
0800: 29 7b 0a 20 20 61 73 73 65 72 74 28 20 70 20 29  ){.  assert( p )
0810: 3b 0a 20 20 61 73 73 65 72 74 28 20 70 2d 3e 63  ;.  assert( p->c
0820: 6e 74 3d 3d 30 20 29 3b 0a 20 20 61 73 73 65 72  nt==0 );.  asser
0830: 74 28 20 70 2d 3e 69 64 3d 3d 53 51 4c 49 54 45  t( p->id==SQLITE
0840: 5f 4d 55 54 45 58 5f 46 41 53 54 20 7c 7c 20 70  _MUTEX_FAST || p
0850: 2d 3e 69 64 3d 3d 53 51 4c 49 54 45 5f 4d 55 54  ->id==SQLITE_MUT
0860: 45 58 5f 52 45 43 55 52 53 49 56 45 20 29 3b 0a  EX_RECURSIVE );.
0870: 20 20 73 71 6c 69 74 65 33 5f 66 72 65 65 28 70    sqlite3_free(p
0880: 29 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 54 68 65 20  );.}../*.** The 
0890: 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 65 6e  sqlite3_mutex_en
08a0: 74 65 72 28 29 20 61 6e 64 20 73 71 6c 69 74 65  ter() and sqlite
08b0: 33 5f 6d 75 74 65 78 5f 74 72 79 28 29 20 72 6f  3_mutex_try() ro
08c0: 75 74 69 6e 65 73 20 61 74 74 65 6d 70 74 0a 2a  utines attempt.*
08d0: 2a 20 74 6f 20 65 6e 74 65 72 20 61 20 6d 75 74  * to enter a mut
08e0: 65 78 2e 20 20 49 66 20 61 6e 6f 74 68 65 72 20  ex.  If another 
08f0: 74 68 72 65 61 64 20 69 73 20 61 6c 72 65 61 64  thread is alread
0900: 79 20 77 69 74 68 69 6e 20 74 68 65 20 6d 75 74  y within the mut
0910: 65 78 2c 0a 2a 2a 20 73 71 6c 69 74 65 33 5f 6d  ex,.** sqlite3_m
0920: 75 74 65 78 5f 65 6e 74 65 72 28 29 20 77 69 6c  utex_enter() wil
0930: 6c 20 62 6c 6f 63 6b 20 61 6e 64 20 73 71 6c 69  l block and sqli
0940: 74 65 33 5f 6d 75 74 65 78 5f 74 72 79 28 29 20  te3_mutex_try() 
0950: 77 69 6c 6c 20 72 65 74 75 72 6e 0a 2a 2a 20 53  will return.** S
0960: 51 4c 49 54 45 5f 42 55 53 59 2e 20 20 54 68 65  QLITE_BUSY.  The
0970: 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 74   sqlite3_mutex_t
0980: 72 79 28 29 20 69 6e 74 65 72 66 61 63 65 20 72  ry() interface r
0990: 65 74 75 72 6e 73 20 53 51 4c 49 54 45 5f 4f 4b  eturns SQLITE_OK
09a0: 0a 2a 2a 20 75 70 6f 6e 20 73 75 63 63 65 73 73  .** upon success
09b0: 66 75 6c 20 65 6e 74 72 79 2e 20 20 4d 75 74 65  ful entry.  Mute
09c0: 78 65 73 20 63 72 65 61 74 65 64 20 75 73 69 6e  xes created usin
09d0: 67 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 52  g SQLITE_MUTEX_R
09e0: 45 43 55 52 53 49 56 45 20 63 61 6e 0a 2a 2a 20  ECURSIVE can.** 
09f0: 62 65 20 65 6e 74 65 72 65 64 20 6d 75 6c 74 69  be entered multi
0a00: 70 6c 65 20 74 69 6d 65 73 20 62 79 20 74 68 65  ple times by the
0a10: 20 73 61 6d 65 20 74 68 72 65 61 64 2e 20 20 49   same thread.  I
0a20: 6e 20 73 75 63 68 20 63 61 73 65 73 20 74 68 65  n such cases the
0a30: 2c 0a 2a 2a 20 6d 75 74 65 78 20 6d 75 73 74 20  ,.** mutex must 
0a40: 62 65 20 65 78 69 74 65 64 20 61 6e 20 65 71 75  be exited an equ
0a50: 61 6c 20 6e 75 6d 62 65 72 20 6f 66 20 74 69 6d  al number of tim
0a60: 65 73 20 62 65 66 6f 72 65 20 61 6e 6f 74 68 65  es before anothe
0a70: 72 20 74 68 72 65 61 64 0a 2a 2a 20 63 61 6e 20  r thread.** can 
0a80: 65 6e 74 65 72 2e 20 20 49 66 20 74 68 65 20 73  enter.  If the s
0a90: 61 6d 65 20 74 68 72 65 61 64 20 74 72 69 65 73  ame thread tries
0aa0: 20 74 6f 20 65 6e 74 65 72 20 61 6e 79 20 6f 74   to enter any ot
0ab0: 68 65 72 20 6b 69 6e 64 20 6f 66 20 6d 75 74 65  her kind of mute
0ac0: 78 0a 2a 2a 20 6d 6f 72 65 20 74 68 61 6e 20 6f  x.** more than o
0ad0: 6e 63 65 2c 20 74 68 65 20 62 65 68 61 76 69 6f  nce, the behavio
0ae0: 72 20 69 73 20 75 6e 64 65 66 69 6e 65 64 2e 0a  r is undefined..
0af0: 2a 2f 0a 76 6f 69 64 20 73 71 6c 69 74 65 33 5f  */.void sqlite3_
0b00: 6d 75 74 65 78 5f 65 6e 74 65 72 28 73 71 6c 69  mutex_enter(sqli
0b10: 74 65 33 5f 6d 75 74 65 78 20 2a 70 29 7b 0a 20  te3_mutex *p){. 
0b20: 20 61 73 73 65 72 74 28 20 70 20 29 3b 0a 20 20   assert( p );.  
0b30: 61 73 73 65 72 74 28 20 70 2d 3e 69 64 3d 3d 53  assert( p->id==S
0b40: 51 4c 49 54 45 5f 4d 55 54 45 58 5f 52 45 43 55  QLITE_MUTEX_RECU
0b50: 52 53 49 56 45 20 7c 7c 20 73 71 6c 69 74 65 33  RSIVE || sqlite3
0b60: 5f 6d 75 74 65 78 5f 6e 6f 74 68 65 6c 64 28 70  _mutex_notheld(p
0b70: 29 20 29 3b 0a 20 20 70 2d 3e 63 6e 74 2b 2b 3b  ) );.  p->cnt++;
0b80: 0a 7d 0a 69 6e 74 20 73 71 6c 69 74 65 33 5f 6d  .}.int sqlite3_m
0b90: 75 74 65 78 5f 74 72 79 28 73 71 6c 69 74 65 33  utex_try(sqlite3
0ba0: 5f 6d 75 74 65 78 20 2a 70 29 7b 0a 20 20 61 73  _mutex *p){.  as
0bb0: 73 65 72 74 28 20 70 20 29 3b 0a 20 20 61 73 73  sert( p );.  ass
0bc0: 65 72 74 28 20 70 2d 3e 69 64 3d 3d 53 51 4c 49  ert( p->id==SQLI
0bd0: 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49  TE_MUTEX_RECURSI
0be0: 56 45 20 7c 7c 20 73 71 6c 69 74 65 33 5f 6d 75  VE || sqlite3_mu
0bf0: 74 65 78 5f 6e 6f 74 68 65 6c 64 28 70 29 20 29  tex_notheld(p) )
0c00: 3b 0a 20 20 70 2d 3e 63 6e 74 2b 2b 3b 0a 20 20  ;.  p->cnt++;.  
0c10: 72 65 74 75 72 6e 20 53 51 4c 49 54 45 5f 4f 4b  return SQLITE_OK
0c20: 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 54 68 65 20 73  ;.}../*.** The s
0c30: 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 6c 65 61  qlite3_mutex_lea
0c40: 76 65 28 29 20 72 6f 75 74 69 6e 65 20 65 78 69  ve() routine exi
0c50: 74 73 20 61 20 6d 75 74 65 78 20 74 68 61 74 20  ts a mutex that 
0c60: 77 61 73 0a 2a 2a 20 70 72 65 76 69 6f 75 73 6c  was.** previousl
0c70: 79 20 65 6e 74 65 72 65 64 20 62 79 20 74 68 65  y entered by the
0c80: 20 73 61 6d 65 20 74 68 72 65 61 64 2e 20 20 54   same thread.  T
0c90: 68 65 20 62 65 68 61 76 69 6f 72 0a 2a 2a 20 69  he behavior.** i
0ca0: 73 20 75 6e 64 65 66 69 6e 65 64 20 69 66 20 74  s undefined if t
0cb0: 68 65 20 6d 75 74 65 78 20 69 73 20 6e 6f 74 20  he mutex is not 
0cc0: 63 75 72 72 65 6e 74 6c 79 20 65 6e 74 65 72 65  currently entere
0cd0: 64 20 6f 72 0a 2a 2a 20 69 73 20 6e 6f 74 20 63  d or.** is not c
0ce0: 75 72 72 65 6e 74 6c 79 20 61 6c 6c 6f 63 61 74  urrently allocat
0cf0: 65 64 2e 20 20 53 51 4c 69 74 65 20 77 69 6c 6c  ed.  SQLite will
0d00: 20 6e 65 76 65 72 20 64 6f 20 65 69 74 68 65 72   never do either
0d10: 2e 0a 2a 2f 0a 76 6f 69 64 20 73 71 6c 69 74 65  ..*/.void sqlite
0d20: 33 5f 6d 75 74 65 78 5f 6c 65 61 76 65 28 73 71  3_mutex_leave(sq
0d30: 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a 70 29 7b  lite3_mutex *p){
0d40: 0a 20 20 61 73 73 65 72 74 28 20 70 20 29 3b 0a  .  assert( p );.
0d50: 20 20 61 73 73 65 72 74 28 20 73 71 6c 69 74 65    assert( sqlite
0d60: 33 5f 6d 75 74 65 78 5f 68 65 6c 64 28 70 29 20  3_mutex_held(p) 
0d70: 29 3b 0a 20 20 70 2d 3e 63 6e 74 2d 2d 3b 0a 20  );.  p->cnt--;. 
0d80: 20 61 73 73 65 72 74 28 20 70 2d 3e 69 64 3d 3d   assert( p->id==
0d90: 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 52 45 43  SQLITE_MUTEX_REC
0da0: 55 52 53 49 56 45 20 7c 7c 20 73 71 6c 69 74 65  URSIVE || sqlite
0db0: 33 5f 6d 75 74 65 78 5f 6e 6f 74 68 65 6c 64 28  3_mutex_notheld(
0dc0: 70 29 20 29 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 54  p) );.}../*.** T
0dd0: 68 65 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  he sqlite3_mutex
0de0: 5f 68 65 6c 64 28 29 20 61 6e 64 20 73 71 6c 69  _held() and sqli
0df0: 74 65 33 5f 6d 75 74 65 78 5f 6e 6f 74 68 65 6c  te3_mutex_nothel
0e00: 64 28 29 20 72 6f 75 74 69 6e 65 20 61 72 65 0a  d() routine are.
0e10: 2a 2a 20 69 6e 74 65 6e 64 65 64 20 66 6f 72 20  ** intended for 
0e20: 75 73 65 20 69 6e 73 69 64 65 20 61 73 73 65 72  use inside asser
0e30: 74 28 29 20 73 74 61 74 65 6d 65 6e 74 73 2e 0a  t() statements..
0e40: 2a 2f 0a 69 6e 74 20 73 71 6c 69 74 65 33 5f 6d  */.int sqlite3_m
0e50: 75 74 65 78 5f 68 65 6c 64 28 73 71 6c 69 74 65  utex_held(sqlite
0e60: 33 5f 6d 75 74 65 78 20 2a 70 29 7b 0a 20 20 72  3_mutex *p){.  r
0e70: 65 74 75 72 6e 20 70 3d 3d 30 20 7c 7c 20 70 2d  eturn p==0 || p-
0e80: 3e 63 6e 74 3e 30 3b 0a 7d 0a 69 6e 74 20 73 71  >cnt>0;.}.int sq
0e90: 6c 69 74 65 33 5f 6d 75 74 65 78 5f 6e 6f 74 68  lite3_mutex_noth
0ea0: 65 6c 64 28 73 71 6c 69 74 65 33 5f 6d 75 74 65  eld(sqlite3_mute
0eb0: 78 20 2a 70 29 7b 0a 20 20 72 65 74 75 72 6e 20  x *p){.  return 
0ec0: 70 3d 3d 30 20 7c 7c 20 70 2d 3e 63 6e 74 3d 3d  p==0 || p->cnt==
0ed0: 30 3b 0a 7d 0a 23 65 6e 64 69 66 20 2f 2a 20 53  0;.}.#endif /* S
0ee0: 51 4c 49 54 45 5f 4d 55 54 45 58 5f 4e 4f 4f 50  QLITE_MUTEX_NOOP
0ef0: 5f 44 45 42 55 47 20 2a 2f 0a                    _DEBUG */.