/ Hex Artifact Content
Login

Artifact 639881f679d75b30813536ddf9224154321c31fb:


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 39 20 32 30 30  tex.c,v 1.19 200
0350: 38 2f 30 36 2f 31 34 20 31 36 3a 35 36 3a 32 33  8/06/14 16:56:23
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 5f 6d 61 6c 6c  w = sqlite3_mall
0700: 6f 63 28 73 69 7a 65 6f 66 28 2a 70 4e 65 77 29  oc(sizeof(*pNew)
0710: 29 3b 0a 20 20 20 20 20 20 69 66 28 20 70 4e 65  );.      if( pNe
0720: 77 20 29 7b 0a 20 20 20 20 20 20 20 20 70 4e 65  w ){.        pNe
0730: 77 2d 3e 69 64 20 3d 20 69 64 3b 0a 20 20 20 20  w->id = id;.    
0740: 20 20 20 20 70 4e 65 77 2d 3e 63 6e 74 20 3d 20      pNew->cnt = 
0750: 30 3b 0a 20 20 20 20 20 20 7d 0a 20 20 20 20 20  0;.      }.     
0760: 20 62 72 65 61 6b 3b 0a 20 20 20 20 7d 0a 20 20   break;.    }.  
0770: 20 20 64 65 66 61 75 6c 74 3a 20 7b 0a 20 20 20    default: {.   
0780: 20 20 20 61 73 73 65 72 74 28 20 69 64 2d 32 20     assert( id-2 
0790: 3e 3d 20 30 20 29 3b 0a 20 20 20 20 20 20 61 73  >= 0 );.      as
07a0: 73 65 72 74 28 20 69 64 2d 32 20 3c 20 73 69 7a  sert( id-2 < siz
07b0: 65 6f 66 28 61 53 74 61 74 69 63 29 2f 73 69 7a  eof(aStatic)/siz
07c0: 65 6f 66 28 61 53 74 61 74 69 63 5b 30 5d 29 20  eof(aStatic[0]) 
07d0: 29 3b 0a 20 20 20 20 20 20 70 4e 65 77 20 3d 20  );.      pNew = 
07e0: 26 61 53 74 61 74 69 63 5b 69 64 2d 32 5d 3b 0a  &aStatic[id-2];.
07f0: 20 20 20 20 20 20 70 4e 65 77 2d 3e 69 64 20 3d        pNew->id =
0800: 20 69 64 3b 0a 20 20 20 20 20 20 62 72 65 61 6b   id;.      break
0810: 3b 0a 20 20 20 20 7d 0a 20 20 7d 0a 20 20 72 65  ;.    }.  }.  re
0820: 74 75 72 6e 20 70 4e 65 77 3b 0a 7d 0a 0a 2f 2a  turn pNew;.}../*
0830: 0a 2a 2a 20 54 68 69 73 20 72 6f 75 74 69 6e 65  .** This routine
0840: 20 64 65 61 6c 6c 6f 63 61 74 65 73 20 61 20 70   deallocates a p
0850: 72 65 76 69 6f 75 73 6c 79 20 61 6c 6c 6f 63 61  reviously alloca
0860: 74 65 64 20 6d 75 74 65 78 2e 0a 2a 2f 0a 76 6f  ted mutex..*/.vo
0870: 69 64 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  id sqlite3_mutex
0880: 5f 66 72 65 65 28 73 71 6c 69 74 65 33 5f 6d 75  _free(sqlite3_mu
0890: 74 65 78 20 2a 70 29 7b 0a 20 20 69 66 28 20 70  tex *p){.  if( p
08a0: 3d 3d 30 20 29 20 72 65 74 75 72 6e 3b 0a 20 20  ==0 ) return;.  
08b0: 61 73 73 65 72 74 28 20 70 2d 3e 63 6e 74 3d 3d  assert( p->cnt==
08c0: 30 20 29 3b 0a 20 20 61 73 73 65 72 74 28 20 70  0 );.  assert( p
08d0: 2d 3e 69 64 3d 3d 53 51 4c 49 54 45 5f 4d 55 54  ->id==SQLITE_MUT
08e0: 45 58 5f 46 41 53 54 20 7c 7c 20 70 2d 3e 69 64  EX_FAST || p->id
08f0: 3d 3d 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 52  ==SQLITE_MUTEX_R
0900: 45 43 55 52 53 49 56 45 20 29 3b 0a 20 20 73 71  ECURSIVE );.  sq
0910: 6c 69 74 65 33 5f 66 72 65 65 28 70 29 3b 0a 7d  lite3_free(p);.}
0920: 0a 0a 2f 2a 0a 2a 2a 20 54 68 65 20 73 71 6c 69  ../*.** The sqli
0930: 74 65 33 5f 6d 75 74 65 78 5f 65 6e 74 65 72 28  te3_mutex_enter(
0940: 29 20 61 6e 64 20 73 71 6c 69 74 65 33 5f 6d 75  ) and sqlite3_mu
0950: 74 65 78 5f 74 72 79 28 29 20 72 6f 75 74 69 6e  tex_try() routin
0960: 65 73 20 61 74 74 65 6d 70 74 0a 2a 2a 20 74 6f  es attempt.** to
0970: 20 65 6e 74 65 72 20 61 20 6d 75 74 65 78 2e 20   enter a mutex. 
0980: 20 49 66 20 61 6e 6f 74 68 65 72 20 74 68 72 65   If another thre
0990: 61 64 20 69 73 20 61 6c 72 65 61 64 79 20 77 69  ad is already wi
09a0: 74 68 69 6e 20 74 68 65 20 6d 75 74 65 78 2c 0a  thin the mutex,.
09b0: 2a 2a 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  ** sqlite3_mutex
09c0: 5f 65 6e 74 65 72 28 29 20 77 69 6c 6c 20 62 6c  _enter() will bl
09d0: 6f 63 6b 20 61 6e 64 20 73 71 6c 69 74 65 33 5f  ock and sqlite3_
09e0: 6d 75 74 65 78 5f 74 72 79 28 29 20 77 69 6c 6c  mutex_try() will
09f0: 20 72 65 74 75 72 6e 0a 2a 2a 20 53 51 4c 49 54   return.** SQLIT
0a00: 45 5f 42 55 53 59 2e 20 20 54 68 65 20 73 71 6c  E_BUSY.  The sql
0a10: 69 74 65 33 5f 6d 75 74 65 78 5f 74 72 79 28 29  ite3_mutex_try()
0a20: 20 69 6e 74 65 72 66 61 63 65 20 72 65 74 75 72   interface retur
0a30: 6e 73 20 53 51 4c 49 54 45 5f 4f 4b 0a 2a 2a 20  ns SQLITE_OK.** 
0a40: 75 70 6f 6e 20 73 75 63 63 65 73 73 66 75 6c 20  upon successful 
0a50: 65 6e 74 72 79 2e 20 20 4d 75 74 65 78 65 73 20  entry.  Mutexes 
0a60: 63 72 65 61 74 65 64 20 75 73 69 6e 67 20 53 51  created using SQ
0a70: 4c 49 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52  LITE_MUTEX_RECUR
0a80: 53 49 56 45 20 63 61 6e 0a 2a 2a 20 62 65 20 65  SIVE can.** be e
0a90: 6e 74 65 72 65 64 20 6d 75 6c 74 69 70 6c 65 20  ntered multiple 
0aa0: 74 69 6d 65 73 20 62 79 20 74 68 65 20 73 61 6d  times by the sam
0ab0: 65 20 74 68 72 65 61 64 2e 20 20 49 6e 20 73 75  e thread.  In su
0ac0: 63 68 20 63 61 73 65 73 20 74 68 65 2c 0a 2a 2a  ch cases the,.**
0ad0: 20 6d 75 74 65 78 20 6d 75 73 74 20 62 65 20 65   mutex must be e
0ae0: 78 69 74 65 64 20 61 6e 20 65 71 75 61 6c 20 6e  xited an equal n
0af0: 75 6d 62 65 72 20 6f 66 20 74 69 6d 65 73 20 62  umber of times b
0b00: 65 66 6f 72 65 20 61 6e 6f 74 68 65 72 20 74 68  efore another th
0b10: 72 65 61 64 0a 2a 2a 20 63 61 6e 20 65 6e 74 65  read.** can ente
0b20: 72 2e 20 20 49 66 20 74 68 65 20 73 61 6d 65 20  r.  If the same 
0b30: 74 68 72 65 61 64 20 74 72 69 65 73 20 74 6f 20  thread tries to 
0b40: 65 6e 74 65 72 20 61 6e 79 20 6f 74 68 65 72 20  enter any other 
0b50: 6b 69 6e 64 20 6f 66 20 6d 75 74 65 78 0a 2a 2a  kind of mutex.**
0b60: 20 6d 6f 72 65 20 74 68 61 6e 20 6f 6e 63 65 2c   more than once,
0b70: 20 74 68 65 20 62 65 68 61 76 69 6f 72 20 69 73   the behavior is
0b80: 20 75 6e 64 65 66 69 6e 65 64 2e 0a 2a 2f 0a 76   undefined..*/.v
0b90: 6f 69 64 20 73 71 6c 69 74 65 33 5f 6d 75 74 65  oid sqlite3_mute
0ba0: 78 5f 65 6e 74 65 72 28 73 71 6c 69 74 65 33 5f  x_enter(sqlite3_
0bb0: 6d 75 74 65 78 20 2a 70 29 7b 0a 20 20 69 66 28  mutex *p){.  if(
0bc0: 20 70 20 29 7b 0a 20 20 20 20 61 73 73 65 72 74   p ){.    assert
0bd0: 28 20 70 2d 3e 69 64 3d 3d 53 51 4c 49 54 45 5f  ( p->id==SQLITE_
0be0: 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56 45 20  MUTEX_RECURSIVE 
0bf0: 7c 7c 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  || sqlite3_mutex
0c00: 5f 6e 6f 74 68 65 6c 64 28 70 29 20 29 3b 0a 20  _notheld(p) );. 
0c10: 20 20 20 70 2d 3e 63 6e 74 2b 2b 3b 0a 20 20 7d     p->cnt++;.  }
0c20: 0a 7d 0a 69 6e 74 20 73 71 6c 69 74 65 33 5f 6d  .}.int sqlite3_m
0c30: 75 74 65 78 5f 74 72 79 28 73 71 6c 69 74 65 33  utex_try(sqlite3
0c40: 5f 6d 75 74 65 78 20 2a 70 29 7b 0a 20 20 69 66  _mutex *p){.  if
0c50: 28 20 70 20 29 7b 0a 20 20 20 20 61 73 73 65 72  ( p ){.    asser
0c60: 74 28 20 70 2d 3e 69 64 3d 3d 53 51 4c 49 54 45  t( p->id==SQLITE
0c70: 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56 45  _MUTEX_RECURSIVE
0c80: 20 7c 7c 20 73 71 6c 69 74 65 33 5f 6d 75 74 65   || sqlite3_mute
0c90: 78 5f 6e 6f 74 68 65 6c 64 28 70 29 20 29 3b 0a  x_notheld(p) );.
0ca0: 20 20 20 20 70 2d 3e 63 6e 74 2b 2b 3b 0a 20 20      p->cnt++;.  
0cb0: 7d 0a 20 20 72 65 74 75 72 6e 20 53 51 4c 49 54  }.  return SQLIT
0cc0: 45 5f 4f 4b 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 54  E_OK;.}../*.** T
0cd0: 68 65 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  he sqlite3_mutex
0ce0: 5f 6c 65 61 76 65 28 29 20 72 6f 75 74 69 6e 65  _leave() routine
0cf0: 20 65 78 69 74 73 20 61 20 6d 75 74 65 78 20 74   exits a mutex t
0d00: 68 61 74 20 77 61 73 0a 2a 2a 20 70 72 65 76 69  hat was.** previ
0d10: 6f 75 73 6c 79 20 65 6e 74 65 72 65 64 20 62 79  ously entered by
0d20: 20 74 68 65 20 73 61 6d 65 20 74 68 72 65 61 64   the same thread
0d30: 2e 20 20 54 68 65 20 62 65 68 61 76 69 6f 72 0a  .  The behavior.
0d40: 2a 2a 20 69 73 20 75 6e 64 65 66 69 6e 65 64 20  ** is undefined 
0d50: 69 66 20 74 68 65 20 6d 75 74 65 78 20 69 73 20  if the mutex is 
0d60: 6e 6f 74 20 63 75 72 72 65 6e 74 6c 79 20 65 6e  not currently en
0d70: 74 65 72 65 64 20 6f 72 0a 2a 2a 20 69 73 20 6e  tered or.** is n
0d80: 6f 74 20 63 75 72 72 65 6e 74 6c 79 20 61 6c 6c  ot currently all
0d90: 6f 63 61 74 65 64 2e 20 20 53 51 4c 69 74 65 20  ocated.  SQLite 
0da0: 77 69 6c 6c 20 6e 65 76 65 72 20 64 6f 20 65 69  will never do ei
0db0: 74 68 65 72 2e 0a 2a 2f 0a 76 6f 69 64 20 73 71  ther..*/.void sq
0dc0: 6c 69 74 65 33 5f 6d 75 74 65 78 5f 6c 65 61 76  lite3_mutex_leav
0dd0: 65 28 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20  e(sqlite3_mutex 
0de0: 2a 70 29 7b 0a 20 20 69 66 28 20 70 20 29 7b 0a  *p){.  if( p ){.
0df0: 20 20 20 20 61 73 73 65 72 74 28 20 73 71 6c 69      assert( sqli
0e00: 74 65 33 5f 6d 75 74 65 78 5f 68 65 6c 64 28 70  te3_mutex_held(p
0e10: 29 20 29 3b 0a 20 20 20 20 70 2d 3e 63 6e 74 2d  ) );.    p->cnt-
0e20: 2d 3b 0a 20 20 20 20 61 73 73 65 72 74 28 20 70  -;.    assert( p
0e30: 2d 3e 69 64 3d 3d 53 51 4c 49 54 45 5f 4d 55 54  ->id==SQLITE_MUT
0e40: 45 58 5f 52 45 43 55 52 53 49 56 45 20 7c 7c 20  EX_RECURSIVE || 
0e50: 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 6e 6f  sqlite3_mutex_no
0e60: 74 68 65 6c 64 28 70 29 20 29 3b 0a 20 20 7d 0a  theld(p) );.  }.
0e70: 7d 0a 0a 2f 2a 0a 2a 2a 20 54 68 65 20 73 71 6c  }../*.** The sql
0e80: 69 74 65 33 5f 6d 75 74 65 78 5f 68 65 6c 64 28  ite3_mutex_held(
0e90: 29 20 61 6e 64 20 73 71 6c 69 74 65 33 5f 6d 75  ) and sqlite3_mu
0ea0: 74 65 78 5f 6e 6f 74 68 65 6c 64 28 29 20 72 6f  tex_notheld() ro
0eb0: 75 74 69 6e 65 20 61 72 65 0a 2a 2a 20 69 6e 74  utine are.** int
0ec0: 65 6e 64 65 64 20 66 6f 72 20 75 73 65 20 69 6e  ended for use in
0ed0: 73 69 64 65 20 61 73 73 65 72 74 28 29 20 73 74  side assert() st
0ee0: 61 74 65 6d 65 6e 74 73 2e 0a 2a 2f 0a 69 6e 74  atements..*/.int
0ef0: 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 68   sqlite3_mutex_h
0f00: 65 6c 64 28 73 71 6c 69 74 65 33 5f 6d 75 74 65  eld(sqlite3_mute
0f10: 78 20 2a 70 29 7b 0a 20 20 72 65 74 75 72 6e 20  x *p){.  return 
0f20: 70 3d 3d 30 20 7c 7c 20 70 2d 3e 63 6e 74 3e 30  p==0 || p->cnt>0
0f30: 3b 0a 7d 0a 69 6e 74 20 73 71 6c 69 74 65 33 5f  ;.}.int sqlite3_
0f40: 6d 75 74 65 78 5f 6e 6f 74 68 65 6c 64 28 73 71  mutex_notheld(sq
0f50: 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a 70 29 7b  lite3_mutex *p){
0f60: 0a 20 20 72 65 74 75 72 6e 20 70 3d 3d 30 20 7c  .  return p==0 |
0f70: 7c 20 70 2d 3e 63 6e 74 3d 3d 30 3b 0a 7d 0a 23  | p->cnt==0;.}.#
0f80: 65 6e 64 69 66 20 2f 2a 20 53 51 4c 49 54 45 5f  endif /* SQLITE_
0f90: 4d 55 54 45 58 5f 4e 4f 4f 50 5f 44 45 42 55 47  MUTEX_NOOP_DEBUG
0fa0: 20 2a 2f 0a                                       */.