/ Hex Artifact Content
Login

Artifact 20f6ec9e2d85e257cae9e2ecc40a6769fad9e9e7:


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 30 20 32 30 30  tex.c,v 1.20 200
0350: 38 2f 30 36 2f 31 35 20 30 32 3a 35 31 3a 34 38  8/06/15 02:51:48
0360: 20 64 72 68 20 45 78 70 20 24 0a 2a 2f 0a 23 69   drh Exp $.*/.#i
0370: 6e 63 6c 75 64 65 20 22 73 71 6c 69 74 65 49 6e  nclude "sqliteIn
0380: 74 2e 68 22 0a 0a 23 69 66 64 65 66 20 53 51 4c  t.h"..#ifdef SQL
0390: 49 54 45 5f 4d 55 54 45 58 5f 4e 4f 4f 50 5f 44  ITE_MUTEX_NOOP_D
03a0: 45 42 55 47 0a 2f 2a 0a 2a 2a 20 49 6e 20 74 68  EBUG./*.** In th
03b0: 69 73 20 69 6d 70 6c 65 6d 65 6e 74 61 74 69 6f  is implementatio
03c0: 6e 2c 20 6d 75 74 65 78 65 73 20 64 6f 20 6e 6f  n, mutexes do no
03d0: 74 20 70 72 6f 76 69 64 65 20 61 6e 79 20 6d 75  t provide any mu
03e0: 74 75 61 6c 20 65 78 63 6c 75 73 69 6f 6e 2e 0a  tual exclusion..
03f0: 2a 2a 20 42 75 74 20 74 68 65 20 65 72 72 6f 72  ** But the error
0400: 20 63 68 65 63 6b 69 6e 67 20 69 73 20 70 72 6f   checking is pro
0410: 76 69 64 65 64 2e 20 20 54 68 69 73 20 69 6d 70  vided.  This imp
0420: 6c 65 6d 65 6e 74 61 74 69 6f 6e 20 69 73 20 75  lementation is u
0430: 73 65 66 75 6c 0a 2a 2a 20 66 6f 72 20 74 65 73  seful.** for tes
0440: 74 20 70 75 72 70 6f 73 65 73 2e 0a 2a 2f 0a 0a  t purposes..*/..
0450: 2f 2a 0a 2a 2a 20 54 68 65 20 6d 75 74 65 78 20  /*.** The mutex 
0460: 6f 62 6a 65 63 74 0a 2a 2f 0a 73 74 72 75 63 74  object.*/.struct
0470: 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 7b   sqlite3_mutex {
0480: 0a 20 20 69 6e 74 20 69 64 3b 20 20 20 20 20 2f  .  int id;     /
0490: 2a 20 54 68 65 20 6d 75 74 65 78 20 74 79 70 65  * The mutex type
04a0: 20 2a 2f 0a 20 20 69 6e 74 20 63 6e 74 3b 20 20   */.  int cnt;  
04b0: 20 20 2f 2a 20 4e 75 6d 62 65 72 20 6f 66 20 65    /* Number of e
04c0: 6e 74 72 69 65 73 20 77 69 74 68 6f 75 74 20 61  ntries without a
04d0: 20 6d 61 74 63 68 69 6e 67 20 6c 65 61 76 65 20   matching leave 
04e0: 2a 2f 0a 7d 3b 0a 0a 2f 2a 0a 2a 2a 20 49 6e 69  */.};../*.** Ini
04f0: 74 69 61 6c 69 7a 65 20 61 6e 64 20 64 65 69 6e  tialize and dein
0500: 69 74 69 61 6c 69 7a 65 20 74 68 65 20 6d 75 74  itialize the mut
0510: 65 78 20 73 75 62 73 79 73 74 65 6d 2e 0a 2a 2f  ex subsystem..*/
0520: 0a 69 6e 74 20 73 71 6c 69 74 65 33 5f 6d 75 74  .int sqlite3_mut
0530: 65 78 5f 69 6e 69 74 28 76 6f 69 64 29 7b 20 72  ex_init(void){ r
0540: 65 74 75 72 6e 20 53 51 4c 49 54 45 5f 4f 4b 3b  eturn SQLITE_OK;
0550: 20 7d 0a 69 6e 74 20 73 71 6c 69 74 65 33 5f 6d   }.int sqlite3_m
0560: 75 74 65 78 5f 65 6e 64 28 76 6f 69 64 29 7b 20  utex_end(void){ 
0570: 72 65 74 75 72 6e 20 53 51 4c 49 54 45 5f 4f 4b  return SQLITE_OK
0580: 3b 20 7d 0a 0a 2f 2a 0a 2a 2a 20 54 68 65 20 73  ; }../*.** The s
0590: 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 61 6c 6c  qlite3_mutex_all
05a0: 6f 63 28 29 20 72 6f 75 74 69 6e 65 20 61 6c 6c  oc() routine all
05b0: 6f 63 61 74 65 73 20 61 20 6e 65 77 0a 2a 2a 20  ocates a new.** 
05c0: 6d 75 74 65 78 20 61 6e 64 20 72 65 74 75 72 6e  mutex and return
05d0: 73 20 61 20 70 6f 69 6e 74 65 72 20 74 6f 20 69  s a pointer to i
05e0: 74 2e 20 20 49 66 20 69 74 20 72 65 74 75 72 6e  t.  If it return
05f0: 73 20 4e 55 4c 4c 0a 2a 2a 20 74 68 61 74 20 6d  s NULL.** that m
0600: 65 61 6e 73 20 74 68 61 74 20 61 20 6d 75 74 65  eans that a mute
0610: 78 20 63 6f 75 6c 64 20 6e 6f 74 20 62 65 20 61  x could not be a
0620: 6c 6c 6f 63 61 74 65 64 2e 20 0a 2a 2f 0a 73 71  llocated. .*/.sq
0630: 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a 73 71 6c  lite3_mutex *sql
0640: 69 74 65 33 5f 6d 75 74 65 78 5f 61 6c 6c 6f 63  ite3_mutex_alloc
0650: 28 69 6e 74 20 69 64 29 7b 0a 20 20 73 74 61 74  (int id){.  stat
0660: 69 63 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  ic sqlite3_mutex
0670: 20 61 53 74 61 74 69 63 5b 36 5d 3b 0a 20 20 73   aStatic[6];.  s
0680: 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a 70 4e  qlite3_mutex *pN
0690: 65 77 20 3d 20 30 3b 0a 20 20 73 77 69 74 63 68  ew = 0;.  switch
06a0: 28 20 69 64 20 29 7b 0a 20 20 20 20 63 61 73 65  ( id ){.    case
06b0: 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 46 41   SQLITE_MUTEX_FA
06c0: 53 54 3a 0a 20 20 20 20 63 61 73 65 20 53 51 4c  ST:.    case SQL
06d0: 49 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53  ITE_MUTEX_RECURS
06e0: 49 56 45 3a 20 7b 0a 20 20 20 20 20 20 70 4e 65  IVE: {.      pNe
06f0: 77 20 3d 20 73 71 6c 69 74 65 33 4d 61 6c 6c 6f  w = sqlite3Mallo
0700: 63 28 73 69 7a 65 6f 66 28 2a 70 4e 65 77 29 29  c(sizeof(*pNew))
0710: 3b 0a 20 20 20 20 20 20 69 66 28 20 70 4e 65 77  ;.      if( pNew
0720: 20 29 7b 0a 20 20 20 20 20 20 20 20 70 4e 65 77   ){.        pNew
0730: 2d 3e 69 64 20 3d 20 69 64 3b 0a 20 20 20 20 20  ->id = id;.     
0740: 20 20 20 70 4e 65 77 2d 3e 63 6e 74 20 3d 20 30     pNew->cnt = 0
0750: 3b 0a 20 20 20 20 20 20 7d 0a 20 20 20 20 20 20  ;.      }.      
0760: 62 72 65 61 6b 3b 0a 20 20 20 20 7d 0a 20 20 20  break;.    }.   
0770: 20 64 65 66 61 75 6c 74 3a 20 7b 0a 20 20 20 20   default: {.    
0780: 20 20 61 73 73 65 72 74 28 20 69 64 2d 32 20 3e    assert( id-2 >
0790: 3d 20 30 20 29 3b 0a 20 20 20 20 20 20 61 73 73  = 0 );.      ass
07a0: 65 72 74 28 20 69 64 2d 32 20 3c 20 73 69 7a 65  ert( id-2 < size
07b0: 6f 66 28 61 53 74 61 74 69 63 29 2f 73 69 7a 65  of(aStatic)/size
07c0: 6f 66 28 61 53 74 61 74 69 63 5b 30 5d 29 20 29  of(aStatic[0]) )
07d0: 3b 0a 20 20 20 20 20 20 70 4e 65 77 20 3d 20 26  ;.      pNew = &
07e0: 61 53 74 61 74 69 63 5b 69 64 2d 32 5d 3b 0a 20  aStatic[id-2];. 
07f0: 20 20 20 20 20 70 4e 65 77 2d 3e 69 64 20 3d 20       pNew->id = 
0800: 69 64 3b 0a 20 20 20 20 20 20 62 72 65 61 6b 3b  id;.      break;
0810: 0a 20 20 20 20 7d 0a 20 20 7d 0a 20 20 72 65 74  .    }.  }.  ret
0820: 75 72 6e 20 70 4e 65 77 3b 0a 7d 0a 0a 2f 2a 0a  urn pNew;.}../*.
0830: 2a 2a 20 54 68 69 73 20 72 6f 75 74 69 6e 65 20  ** This routine 
0840: 64 65 61 6c 6c 6f 63 61 74 65 73 20 61 20 70 72  deallocates a pr
0850: 65 76 69 6f 75 73 6c 79 20 61 6c 6c 6f 63 61 74  eviously allocat
0860: 65 64 20 6d 75 74 65 78 2e 0a 2a 2f 0a 76 6f 69  ed mutex..*/.voi
0870: 64 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f  d sqlite3_mutex_
0880: 66 72 65 65 28 73 71 6c 69 74 65 33 5f 6d 75 74  free(sqlite3_mut
0890: 65 78 20 2a 70 29 7b 0a 20 20 69 66 28 20 70 3d  ex *p){.  if( p=
08a0: 3d 30 20 29 20 72 65 74 75 72 6e 3b 0a 20 20 61  =0 ) return;.  a
08b0: 73 73 65 72 74 28 20 70 2d 3e 63 6e 74 3d 3d 30  ssert( p->cnt==0
08c0: 20 29 3b 0a 20 20 61 73 73 65 72 74 28 20 70 2d   );.  assert( p-
08d0: 3e 69 64 3d 3d 53 51 4c 49 54 45 5f 4d 55 54 45  >id==SQLITE_MUTE
08e0: 58 5f 46 41 53 54 20 7c 7c 20 70 2d 3e 69 64 3d  X_FAST || p->id=
08f0: 3d 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 52 45  =SQLITE_MUTEX_RE
0900: 43 55 52 53 49 56 45 20 29 3b 0a 20 20 73 71 6c  CURSIVE );.  sql
0910: 69 74 65 33 5f 66 72 65 65 28 70 29 3b 0a 7d 0a  ite3_free(p);.}.
0920: 0a 2f 2a 0a 2a 2a 20 54 68 65 20 73 71 6c 69 74  ./*.** The sqlit
0930: 65 33 5f 6d 75 74 65 78 5f 65 6e 74 65 72 28 29  e3_mutex_enter()
0940: 20 61 6e 64 20 73 71 6c 69 74 65 33 5f 6d 75 74   and sqlite3_mut
0950: 65 78 5f 74 72 79 28 29 20 72 6f 75 74 69 6e 65  ex_try() routine
0960: 73 20 61 74 74 65 6d 70 74 0a 2a 2a 20 74 6f 20  s attempt.** to 
0970: 65 6e 74 65 72 20 61 20 6d 75 74 65 78 2e 20 20  enter a mutex.  
0980: 49 66 20 61 6e 6f 74 68 65 72 20 74 68 72 65 61  If another threa
0990: 64 20 69 73 20 61 6c 72 65 61 64 79 20 77 69 74  d is already wit
09a0: 68 69 6e 20 74 68 65 20 6d 75 74 65 78 2c 0a 2a  hin the mutex,.*
09b0: 2a 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f  * sqlite3_mutex_
09c0: 65 6e 74 65 72 28 29 20 77 69 6c 6c 20 62 6c 6f  enter() will blo
09d0: 63 6b 20 61 6e 64 20 73 71 6c 69 74 65 33 5f 6d  ck and sqlite3_m
09e0: 75 74 65 78 5f 74 72 79 28 29 20 77 69 6c 6c 20  utex_try() will 
09f0: 72 65 74 75 72 6e 0a 2a 2a 20 53 51 4c 49 54 45  return.** SQLITE
0a00: 5f 42 55 53 59 2e 20 20 54 68 65 20 73 71 6c 69  _BUSY.  The sqli
0a10: 74 65 33 5f 6d 75 74 65 78 5f 74 72 79 28 29 20  te3_mutex_try() 
0a20: 69 6e 74 65 72 66 61 63 65 20 72 65 74 75 72 6e  interface return
0a30: 73 20 53 51 4c 49 54 45 5f 4f 4b 0a 2a 2a 20 75  s SQLITE_OK.** u
0a40: 70 6f 6e 20 73 75 63 63 65 73 73 66 75 6c 20 65  pon successful e
0a50: 6e 74 72 79 2e 20 20 4d 75 74 65 78 65 73 20 63  ntry.  Mutexes c
0a60: 72 65 61 74 65 64 20 75 73 69 6e 67 20 53 51 4c  reated using SQL
0a70: 49 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53  ITE_MUTEX_RECURS
0a80: 49 56 45 20 63 61 6e 0a 2a 2a 20 62 65 20 65 6e  IVE can.** be en
0a90: 74 65 72 65 64 20 6d 75 6c 74 69 70 6c 65 20 74  tered multiple t
0aa0: 69 6d 65 73 20 62 79 20 74 68 65 20 73 61 6d 65  imes by the same
0ab0: 20 74 68 72 65 61 64 2e 20 20 49 6e 20 73 75 63   thread.  In suc
0ac0: 68 20 63 61 73 65 73 20 74 68 65 2c 0a 2a 2a 20  h cases the,.** 
0ad0: 6d 75 74 65 78 20 6d 75 73 74 20 62 65 20 65 78  mutex must be ex
0ae0: 69 74 65 64 20 61 6e 20 65 71 75 61 6c 20 6e 75  ited an equal nu
0af0: 6d 62 65 72 20 6f 66 20 74 69 6d 65 73 20 62 65  mber of times be
0b00: 66 6f 72 65 20 61 6e 6f 74 68 65 72 20 74 68 72  fore another thr
0b10: 65 61 64 0a 2a 2a 20 63 61 6e 20 65 6e 74 65 72  ead.** can enter
0b20: 2e 20 20 49 66 20 74 68 65 20 73 61 6d 65 20 74  .  If the same t
0b30: 68 72 65 61 64 20 74 72 69 65 73 20 74 6f 20 65  hread tries to e
0b40: 6e 74 65 72 20 61 6e 79 20 6f 74 68 65 72 20 6b  nter any other k
0b50: 69 6e 64 20 6f 66 20 6d 75 74 65 78 0a 2a 2a 20  ind of mutex.** 
0b60: 6d 6f 72 65 20 74 68 61 6e 20 6f 6e 63 65 2c 20  more than once, 
0b70: 74 68 65 20 62 65 68 61 76 69 6f 72 20 69 73 20  the behavior is 
0b80: 75 6e 64 65 66 69 6e 65 64 2e 0a 2a 2f 0a 76 6f  undefined..*/.vo
0b90: 69 64 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  id sqlite3_mutex
0ba0: 5f 65 6e 74 65 72 28 73 71 6c 69 74 65 33 5f 6d  _enter(sqlite3_m
0bb0: 75 74 65 78 20 2a 70 29 7b 0a 20 20 69 66 28 20  utex *p){.  if( 
0bc0: 70 20 29 7b 0a 20 20 20 20 61 73 73 65 72 74 28  p ){.    assert(
0bd0: 20 70 2d 3e 69 64 3d 3d 53 51 4c 49 54 45 5f 4d   p->id==SQLITE_M
0be0: 55 54 45 58 5f 52 45 43 55 52 53 49 56 45 20 7c  UTEX_RECURSIVE |
0bf0: 7c 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f  | sqlite3_mutex_
0c00: 6e 6f 74 68 65 6c 64 28 70 29 20 29 3b 0a 20 20  notheld(p) );.  
0c10: 20 20 70 2d 3e 63 6e 74 2b 2b 3b 0a 20 20 7d 0a    p->cnt++;.  }.
0c20: 7d 0a 69 6e 74 20 73 71 6c 69 74 65 33 5f 6d 75  }.int sqlite3_mu
0c30: 74 65 78 5f 74 72 79 28 73 71 6c 69 74 65 33 5f  tex_try(sqlite3_
0c40: 6d 75 74 65 78 20 2a 70 29 7b 0a 20 20 69 66 28  mutex *p){.  if(
0c50: 20 70 20 29 7b 0a 20 20 20 20 61 73 73 65 72 74   p ){.    assert
0c60: 28 20 70 2d 3e 69 64 3d 3d 53 51 4c 49 54 45 5f  ( p->id==SQLITE_
0c70: 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56 45 20  MUTEX_RECURSIVE 
0c80: 7c 7c 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  || sqlite3_mutex
0c90: 5f 6e 6f 74 68 65 6c 64 28 70 29 20 29 3b 0a 20  _notheld(p) );. 
0ca0: 20 20 20 70 2d 3e 63 6e 74 2b 2b 3b 0a 20 20 7d     p->cnt++;.  }
0cb0: 0a 20 20 72 65 74 75 72 6e 20 53 51 4c 49 54 45  .  return SQLITE
0cc0: 5f 4f 4b 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 54 68  _OK;.}../*.** Th
0cd0: 65 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f  e sqlite3_mutex_
0ce0: 6c 65 61 76 65 28 29 20 72 6f 75 74 69 6e 65 20  leave() routine 
0cf0: 65 78 69 74 73 20 61 20 6d 75 74 65 78 20 74 68  exits a mutex th
0d00: 61 74 20 77 61 73 0a 2a 2a 20 70 72 65 76 69 6f  at was.** previo
0d10: 75 73 6c 79 20 65 6e 74 65 72 65 64 20 62 79 20  usly entered by 
0d20: 74 68 65 20 73 61 6d 65 20 74 68 72 65 61 64 2e  the same thread.
0d30: 20 20 54 68 65 20 62 65 68 61 76 69 6f 72 0a 2a    The behavior.*
0d40: 2a 20 69 73 20 75 6e 64 65 66 69 6e 65 64 20 69  * is undefined i
0d50: 66 20 74 68 65 20 6d 75 74 65 78 20 69 73 20 6e  f the mutex is n
0d60: 6f 74 20 63 75 72 72 65 6e 74 6c 79 20 65 6e 74  ot currently ent
0d70: 65 72 65 64 20 6f 72 0a 2a 2a 20 69 73 20 6e 6f  ered or.** is no
0d80: 74 20 63 75 72 72 65 6e 74 6c 79 20 61 6c 6c 6f  t currently allo
0d90: 63 61 74 65 64 2e 20 20 53 51 4c 69 74 65 20 77  cated.  SQLite w
0da0: 69 6c 6c 20 6e 65 76 65 72 20 64 6f 20 65 69 74  ill never do eit
0db0: 68 65 72 2e 0a 2a 2f 0a 76 6f 69 64 20 73 71 6c  her..*/.void sql
0dc0: 69 74 65 33 5f 6d 75 74 65 78 5f 6c 65 61 76 65  ite3_mutex_leave
0dd0: 28 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a  (sqlite3_mutex *
0de0: 70 29 7b 0a 20 20 69 66 28 20 70 20 29 7b 0a 20  p){.  if( p ){. 
0df0: 20 20 20 61 73 73 65 72 74 28 20 73 71 6c 69 74     assert( sqlit
0e00: 65 33 5f 6d 75 74 65 78 5f 68 65 6c 64 28 70 29  e3_mutex_held(p)
0e10: 20 29 3b 0a 20 20 20 20 70 2d 3e 63 6e 74 2d 2d   );.    p->cnt--
0e20: 3b 0a 20 20 20 20 61 73 73 65 72 74 28 20 70 2d  ;.    assert( p-
0e30: 3e 69 64 3d 3d 53 51 4c 49 54 45 5f 4d 55 54 45  >id==SQLITE_MUTE
0e40: 58 5f 52 45 43 55 52 53 49 56 45 20 7c 7c 20 73  X_RECURSIVE || s
0e50: 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 6e 6f 74  qlite3_mutex_not
0e60: 68 65 6c 64 28 70 29 20 29 3b 0a 20 20 7d 0a 7d  held(p) );.  }.}
0e70: 0a 0a 2f 2a 0a 2a 2a 20 54 68 65 20 73 71 6c 69  ../*.** The sqli
0e80: 74 65 33 5f 6d 75 74 65 78 5f 68 65 6c 64 28 29  te3_mutex_held()
0e90: 20 61 6e 64 20 73 71 6c 69 74 65 33 5f 6d 75 74   and sqlite3_mut
0ea0: 65 78 5f 6e 6f 74 68 65 6c 64 28 29 20 72 6f 75  ex_notheld() rou
0eb0: 74 69 6e 65 20 61 72 65 0a 2a 2a 20 69 6e 74 65  tine are.** inte
0ec0: 6e 64 65 64 20 66 6f 72 20 75 73 65 20 69 6e 73  nded for use ins
0ed0: 69 64 65 20 61 73 73 65 72 74 28 29 20 73 74 61  ide assert() sta
0ee0: 74 65 6d 65 6e 74 73 2e 0a 2a 2f 0a 69 6e 74 20  tements..*/.int 
0ef0: 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 68 65  sqlite3_mutex_he
0f00: 6c 64 28 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  ld(sqlite3_mutex
0f10: 20 2a 70 29 7b 0a 20 20 72 65 74 75 72 6e 20 70   *p){.  return p
0f20: 3d 3d 30 20 7c 7c 20 70 2d 3e 63 6e 74 3e 30 3b  ==0 || p->cnt>0;
0f30: 0a 7d 0a 69 6e 74 20 73 71 6c 69 74 65 33 5f 6d  .}.int sqlite3_m
0f40: 75 74 65 78 5f 6e 6f 74 68 65 6c 64 28 73 71 6c  utex_notheld(sql
0f50: 69 74 65 33 5f 6d 75 74 65 78 20 2a 70 29 7b 0a  ite3_mutex *p){.
0f60: 20 20 72 65 74 75 72 6e 20 70 3d 3d 30 20 7c 7c    return p==0 ||
0f70: 20 70 2d 3e 63 6e 74 3d 3d 30 3b 0a 7d 0a 23 65   p->cnt==0;.}.#e
0f80: 6e 64 69 66 20 2f 2a 20 53 51 4c 49 54 45 5f 4d  ndif /* SQLITE_M
0f90: 55 54 45 58 5f 4e 4f 4f 50 5f 44 45 42 55 47 20  UTEX_NOOP_DEBUG 
0fa0: 2a 2f 0a                                         */.