/ Hex Artifact Content
Login

Artifact f3f09fd7a2eb4287cfc799753ffc30380e7b71a1:


0000: 2f 2a 0a 2a 2a 20 32 30 30 38 20 4f 63 74 6f 62  /*.** 2008 Octob
0010: 65 72 20 30 37 0a 2a 2a 0a 2a 2a 20 54 68 65 20  er 07.**.** The 
0020: 61 75 74 68 6f 72 20 64 69 73 63 6c 61 69 6d 73  author disclaims
0030: 20 63 6f 70 79 72 69 67 68 74 20 74 6f 20 74 68   copyright to th
0040: 69 73 20 73 6f 75 72 63 65 20 63 6f 64 65 2e 20  is source code. 
0050: 20 49 6e 20 70 6c 61 63 65 20 6f 66 0a 2a 2a 20   In place of.** 
0060: 61 20 6c 65 67 61 6c 20 6e 6f 74 69 63 65 2c 20  a legal notice, 
0070: 68 65 72 65 20 69 73 20 61 20 62 6c 65 73 73 69  here is a blessi
0080: 6e 67 3a 0a 2a 2a 0a 2a 2a 20 20 20 20 4d 61 79  ng:.**.**    May
0090: 20 79 6f 75 20 64 6f 20 67 6f 6f 64 20 61 6e 64   you do good and
00a0: 20 6e 6f 74 20 65 76 69 6c 2e 0a 2a 2a 20 20 20   not evil..**   
00b0: 20 4d 61 79 20 79 6f 75 20 66 69 6e 64 20 66 6f   May you find fo
00c0: 72 67 69 76 65 6e 65 73 73 20 66 6f 72 20 79 6f  rgiveness for yo
00d0: 75 72 73 65 6c 66 20 61 6e 64 20 66 6f 72 67 69  urself and forgi
00e0: 76 65 20 6f 74 68 65 72 73 2e 0a 2a 2a 20 20 20  ve others..**   
00f0: 20 4d 61 79 20 79 6f 75 20 73 68 61 72 65 20 66   May you share f
0100: 72 65 65 6c 79 2c 20 6e 65 76 65 72 20 74 61 6b  reely, never tak
0110: 69 6e 67 20 6d 6f 72 65 20 74 68 61 6e 20 79 6f  ing more than yo
0120: 75 20 67 69 76 65 2e 0a 2a 2a 0a 2a 2a 2a 2a 2a  u 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 2a 0a 2a 2a 20 54 68 69 73 20 66 69 6c  ****.** This fil
0180: 65 20 63 6f 6e 74 61 69 6e 73 20 74 68 65 20 43  e contains the C
0190: 20 66 75 6e 63 74 69 6f 6e 73 20 74 68 61 74 20   functions that 
01a0: 69 6d 70 6c 65 6d 65 6e 74 20 6d 75 74 65 78 65  implement mutexe
01b0: 73 2e 0a 2a 2a 0a 2a 2a 20 54 68 69 73 20 69 6d  s..**.** This im
01c0: 70 6c 65 6d 65 6e 74 61 74 69 6f 6e 20 69 6e 20  plementation in 
01d0: 74 68 69 73 20 66 69 6c 65 20 64 6f 65 73 20 6e  this file does n
01e0: 6f 74 20 70 72 6f 76 69 64 65 20 61 6e 79 20 6d  ot provide any m
01f0: 75 74 75 61 6c 0a 2a 2a 20 65 78 63 6c 75 73 69  utual.** exclusi
0200: 6f 6e 20 61 6e 64 20 69 73 20 74 68 75 73 20 73  on and is thus s
0210: 75 69 74 61 62 6c 65 20 66 6f 72 20 75 73 65 20  uitable for use 
0220: 6f 6e 6c 79 20 69 6e 20 61 70 70 6c 69 63 61 74  only in applicat
0230: 69 6f 6e 73 0a 2a 2a 20 74 68 61 74 20 75 73 65  ions.** that use
0240: 20 53 51 4c 69 74 65 20 69 6e 20 61 20 73 69 6e   SQLite in a sin
0250: 67 6c 65 20 74 68 72 65 61 64 2e 20 20 54 68 65  gle thread.  The
0260: 20 72 6f 75 74 69 6e 65 73 20 64 65 66 69 6e 65   routines define
0270: 64 0a 2a 2a 20 68 65 72 65 20 61 72 65 20 70 6c  d.** here are pl
0280: 61 63 65 2d 68 6f 6c 64 65 72 73 2e 20 20 41 70  ace-holders.  Ap
0290: 70 6c 69 63 61 74 69 6f 6e 73 20 63 61 6e 20 73  plications can s
02a0: 75 62 73 74 69 74 75 74 65 20 77 6f 72 6b 69 6e  ubstitute workin
02b0: 67 0a 2a 2a 20 6d 75 74 65 78 20 72 6f 75 74 69  g.** mutex routi
02c0: 6e 65 73 20 61 74 20 73 74 61 72 74 2d 74 69 6d  nes at start-tim
02d0: 65 20 75 73 69 6e 67 20 74 68 65 0a 2a 2a 0a 2a  e using the.**.*
02e0: 2a 20 20 20 20 20 73 71 6c 69 74 65 33 5f 63 6f  *     sqlite3_co
02f0: 6e 66 69 67 28 53 51 4c 49 54 45 5f 43 4f 4e 46  nfig(SQLITE_CONF
0300: 49 47 5f 4d 55 54 45 58 2c 2e 2e 2e 29 0a 2a 2a  IG_MUTEX,...).**
0310: 0a 2a 2a 20 69 6e 74 65 72 66 61 63 65 2e 0a 2a  .** interface..*
0320: 2a 0a 2a 2a 20 49 66 20 63 6f 6d 70 69 6c 65 64  *.** If compiled
0330: 20 77 69 74 68 20 53 51 4c 49 54 45 5f 44 45 42   with SQLITE_DEB
0340: 55 47 2c 20 74 68 65 6e 20 61 64 64 69 74 69 6f  UG, then additio
0350: 6e 61 6c 20 6c 6f 67 69 63 20 69 73 20 69 6e 73  nal logic is ins
0360: 65 72 74 65 64 0a 2a 2a 20 74 68 61 74 20 64 6f  erted.** that do
0370: 65 73 20 65 72 72 6f 72 20 63 68 65 63 6b 69 6e  es error checkin
0380: 67 20 6f 6e 20 6d 75 74 65 78 65 73 20 74 6f 20  g on mutexes to 
0390: 6d 61 6b 65 20 73 75 72 65 20 74 68 65 79 20 61  make sure they a
03a0: 72 65 20 62 65 69 6e 67 0a 2a 2a 20 63 61 6c 6c  re being.** call
03b0: 65 64 20 63 6f 72 72 65 63 74 6c 79 2e 0a 2a 2f  ed correctly..*/
03c0: 0a 23 69 6e 63 6c 75 64 65 20 22 73 71 6c 69 74  .#include "sqlit
03d0: 65 49 6e 74 2e 68 22 0a 0a 23 69 66 6e 64 65 66  eInt.h"..#ifndef
03e0: 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 4f 4d   SQLITE_MUTEX_OM
03f0: 49 54 0a 0a 23 69 66 6e 64 65 66 20 53 51 4c 49  IT..#ifndef SQLI
0400: 54 45 5f 44 45 42 55 47 0a 2f 2a 0a 2a 2a 20 53  TE_DEBUG./*.** S
0410: 74 75 62 20 72 6f 75 74 69 6e 65 73 20 66 6f 72  tub routines for
0420: 20 61 6c 6c 20 6d 75 74 65 78 20 6d 65 74 68 6f   all mutex metho
0430: 64 73 2e 0a 2a 2a 0a 2a 2a 20 54 68 69 73 20 72  ds..**.** This r
0440: 6f 75 74 69 6e 65 73 20 70 72 6f 76 69 64 65 20  outines provide 
0450: 6e 6f 20 6d 75 74 75 61 6c 20 65 78 63 6c 75 73  no mutual exclus
0460: 69 6f 6e 20 6f 72 20 65 72 72 6f 72 20 63 68 65  ion or error che
0470: 63 6b 69 6e 67 2e 0a 2a 2f 0a 73 74 61 74 69 63  cking..*/.static
0480: 20 69 6e 74 20 6e 6f 6f 70 4d 75 74 65 78 49 6e   int noopMutexIn
0490: 69 74 28 76 6f 69 64 29 7b 20 72 65 74 75 72 6e  it(void){ return
04a0: 20 53 51 4c 49 54 45 5f 4f 4b 3b 20 7d 0a 73 74   SQLITE_OK; }.st
04b0: 61 74 69 63 20 69 6e 74 20 6e 6f 6f 70 4d 75 74  atic int noopMut
04c0: 65 78 45 6e 64 28 76 6f 69 64 29 7b 20 72 65 74  exEnd(void){ ret
04d0: 75 72 6e 20 53 51 4c 49 54 45 5f 4f 4b 3b 20 7d  urn SQLITE_OK; }
04e0: 0a 73 74 61 74 69 63 20 73 71 6c 69 74 65 33 5f  .static sqlite3_
04f0: 6d 75 74 65 78 20 2a 6e 6f 6f 70 4d 75 74 65 78  mutex *noopMutex
0500: 41 6c 6c 6f 63 28 69 6e 74 20 69 64 29 7b 20 0a  Alloc(int id){ .
0510: 20 20 55 4e 55 53 45 44 5f 50 41 52 41 4d 45 54    UNUSED_PARAMET
0520: 45 52 28 69 64 29 3b 0a 20 20 72 65 74 75 72 6e  ER(id);.  return
0530: 20 28 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 2a   (sqlite3_mutex*
0540: 29 38 3b 20 0a 7d 0a 73 74 61 74 69 63 20 76 6f  )8; .}.static vo
0550: 69 64 20 6e 6f 6f 70 4d 75 74 65 78 46 72 65 65  id noopMutexFree
0560: 28 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a  (sqlite3_mutex *
0570: 70 29 7b 20 55 4e 55 53 45 44 5f 50 41 52 41 4d  p){ UNUSED_PARAM
0580: 45 54 45 52 28 70 29 3b 20 72 65 74 75 72 6e 3b  ETER(p); return;
0590: 20 7d 0a 73 74 61 74 69 63 20 76 6f 69 64 20 6e   }.static void n
05a0: 6f 6f 70 4d 75 74 65 78 45 6e 74 65 72 28 73 71  oopMutexEnter(sq
05b0: 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a 70 29 7b  lite3_mutex *p){
05c0: 20 55 4e 55 53 45 44 5f 50 41 52 41 4d 45 54 45   UNUSED_PARAMETE
05d0: 52 28 70 29 3b 20 72 65 74 75 72 6e 3b 20 7d 0a  R(p); return; }.
05e0: 73 74 61 74 69 63 20 69 6e 74 20 6e 6f 6f 70 4d  static int noopM
05f0: 75 74 65 78 54 72 79 28 73 71 6c 69 74 65 33 5f  utexTry(sqlite3_
0600: 6d 75 74 65 78 20 2a 70 29 7b 0a 20 20 55 4e 55  mutex *p){.  UNU
0610: 53 45 44 5f 50 41 52 41 4d 45 54 45 52 28 70 29  SED_PARAMETER(p)
0620: 3b 0a 20 20 72 65 74 75 72 6e 20 53 51 4c 49 54  ;.  return SQLIT
0630: 45 5f 4f 4b 3b 0a 7d 0a 73 74 61 74 69 63 20 76  E_OK;.}.static v
0640: 6f 69 64 20 6e 6f 6f 70 4d 75 74 65 78 4c 65 61  oid noopMutexLea
0650: 76 65 28 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  ve(sqlite3_mutex
0660: 20 2a 70 29 7b 20 55 4e 55 53 45 44 5f 50 41 52   *p){ UNUSED_PAR
0670: 41 4d 45 54 45 52 28 70 29 3b 20 72 65 74 75 72  AMETER(p); retur
0680: 6e 3b 20 7d 0a 0a 73 71 6c 69 74 65 33 5f 6d 75  n; }..sqlite3_mu
0690: 74 65 78 5f 6d 65 74 68 6f 64 73 20 63 6f 6e 73  tex_methods cons
06a0: 74 20 2a 73 71 6c 69 74 65 33 4e 6f 6f 70 4d 75  t *sqlite3NoopMu
06b0: 74 65 78 28 76 6f 69 64 29 7b 0a 20 20 73 74 61  tex(void){.  sta
06c0: 74 69 63 20 63 6f 6e 73 74 20 73 71 6c 69 74 65  tic const sqlite
06d0: 33 5f 6d 75 74 65 78 5f 6d 65 74 68 6f 64 73 20  3_mutex_methods 
06e0: 73 4d 75 74 65 78 20 3d 20 7b 0a 20 20 20 20 6e  sMutex = {.    n
06f0: 6f 6f 70 4d 75 74 65 78 49 6e 69 74 2c 0a 20 20  oopMutexInit,.  
0700: 20 20 6e 6f 6f 70 4d 75 74 65 78 45 6e 64 2c 0a    noopMutexEnd,.
0710: 20 20 20 20 6e 6f 6f 70 4d 75 74 65 78 41 6c 6c      noopMutexAll
0720: 6f 63 2c 0a 20 20 20 20 6e 6f 6f 70 4d 75 74 65  oc,.    noopMute
0730: 78 46 72 65 65 2c 0a 20 20 20 20 6e 6f 6f 70 4d  xFree,.    noopM
0740: 75 74 65 78 45 6e 74 65 72 2c 0a 20 20 20 20 6e  utexEnter,.    n
0750: 6f 6f 70 4d 75 74 65 78 54 72 79 2c 0a 20 20 20  oopMutexTry,.   
0760: 20 6e 6f 6f 70 4d 75 74 65 78 4c 65 61 76 65 2c   noopMutexLeave,
0770: 0a 0a 20 20 20 20 30 2c 0a 20 20 20 20 30 2c 0a  ..    0,.    0,.
0780: 20 20 7d 3b 0a 0a 20 20 72 65 74 75 72 6e 20 26    };..  return &
0790: 73 4d 75 74 65 78 3b 0a 7d 0a 23 65 6e 64 69 66  sMutex;.}.#endif
07a0: 20 2f 2a 20 21 53 51 4c 49 54 45 5f 44 45 42 55   /* !SQLITE_DEBU
07b0: 47 20 2a 2f 0a 0a 23 69 66 64 65 66 20 53 51 4c  G */..#ifdef SQL
07c0: 49 54 45 5f 44 45 42 55 47 0a 2f 2a 0a 2a 2a 20  ITE_DEBUG./*.** 
07d0: 49 6e 20 74 68 69 73 20 69 6d 70 6c 65 6d 65 6e  In this implemen
07e0: 74 61 74 69 6f 6e 2c 20 65 72 72 6f 72 20 63 68  tation, error ch
07f0: 65 63 6b 69 6e 67 20 69 73 20 70 72 6f 76 69 64  ecking is provid
0800: 65 64 20 66 6f 72 20 74 65 73 74 69 6e 67 0a 2a  ed for testing.*
0810: 2a 20 61 6e 64 20 64 65 62 75 67 67 69 6e 67 20  * and debugging 
0820: 70 75 72 70 6f 73 65 73 2e 20 20 54 68 65 20 6d  purposes.  The m
0830: 75 74 65 78 65 73 20 73 74 69 6c 6c 20 64 6f 20  utexes still do 
0840: 6e 6f 74 20 70 72 6f 76 69 64 65 20 61 6e 79 0a  not provide any.
0850: 2a 2a 20 6d 75 74 75 61 6c 20 65 78 63 6c 75 73  ** mutual exclus
0860: 69 6f 6e 2e 0a 2a 2f 0a 0a 2f 2a 0a 2a 2a 20 54  ion..*/../*.** T
0870: 68 65 20 6d 75 74 65 78 20 6f 62 6a 65 63 74 0a  he mutex object.
0880: 2a 2f 0a 74 79 70 65 64 65 66 20 73 74 72 75 63  */.typedef struc
0890: 74 20 73 71 6c 69 74 65 33 5f 64 65 62 75 67 5f  t sqlite3_debug_
08a0: 6d 75 74 65 78 20 7b 0a 20 20 69 6e 74 20 69 64  mutex {.  int id
08b0: 3b 20 20 20 20 20 2f 2a 20 54 68 65 20 6d 75 74  ;     /* The mut
08c0: 65 78 20 74 79 70 65 20 2a 2f 0a 20 20 69 6e 74  ex type */.  int
08d0: 20 63 6e 74 3b 20 20 20 20 2f 2a 20 4e 75 6d 62   cnt;    /* Numb
08e0: 65 72 20 6f 66 20 65 6e 74 72 69 65 73 20 77 69  er of entries wi
08f0: 74 68 6f 75 74 20 61 20 6d 61 74 63 68 69 6e 67  thout a matching
0900: 20 6c 65 61 76 65 20 2a 2f 0a 7d 20 73 71 6c 69   leave */.} sqli
0910: 74 65 33 5f 64 65 62 75 67 5f 6d 75 74 65 78 3b  te3_debug_mutex;
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 68 65 6c 64 28 29  te3_mutex_held()
0940: 20 61 6e 64 20 73 71 6c 69 74 65 33 5f 6d 75 74   and sqlite3_mut
0950: 65 78 5f 6e 6f 74 68 65 6c 64 28 29 20 72 6f 75  ex_notheld() rou
0960: 74 69 6e 65 20 61 72 65 0a 2a 2a 20 69 6e 74 65  tine are.** inte
0970: 6e 64 65 64 20 66 6f 72 20 75 73 65 20 69 6e 73  nded for use ins
0980: 69 64 65 20 61 73 73 65 72 74 28 29 20 73 74 61  ide assert() sta
0990: 74 65 6d 65 6e 74 73 2e 0a 2a 2f 0a 73 74 61 74  tements..*/.stat
09a0: 69 63 20 69 6e 74 20 64 65 62 75 67 4d 75 74 65  ic int debugMute
09b0: 78 48 65 6c 64 28 73 71 6c 69 74 65 33 5f 6d 75  xHeld(sqlite3_mu
09c0: 74 65 78 20 2a 70 58 29 7b 0a 20 20 73 71 6c 69  tex *pX){.  sqli
09d0: 74 65 33 5f 64 65 62 75 67 5f 6d 75 74 65 78 20  te3_debug_mutex 
09e0: 2a 70 20 3d 20 28 73 71 6c 69 74 65 33 5f 64 65  *p = (sqlite3_de
09f0: 62 75 67 5f 6d 75 74 65 78 2a 29 70 58 3b 0a 20  bug_mutex*)pX;. 
0a00: 20 72 65 74 75 72 6e 20 70 3d 3d 30 20 7c 7c 20   return p==0 || 
0a10: 70 2d 3e 63 6e 74 3e 30 3b 0a 7d 0a 73 74 61 74  p->cnt>0;.}.stat
0a20: 69 63 20 69 6e 74 20 64 65 62 75 67 4d 75 74 65  ic int debugMute
0a30: 78 4e 6f 74 68 65 6c 64 28 73 71 6c 69 74 65 33  xNotheld(sqlite3
0a40: 5f 6d 75 74 65 78 20 2a 70 58 29 7b 0a 20 20 73  _mutex *pX){.  s
0a50: 71 6c 69 74 65 33 5f 64 65 62 75 67 5f 6d 75 74  qlite3_debug_mut
0a60: 65 78 20 2a 70 20 3d 20 28 73 71 6c 69 74 65 33  ex *p = (sqlite3
0a70: 5f 64 65 62 75 67 5f 6d 75 74 65 78 2a 29 70 58  _debug_mutex*)pX
0a80: 3b 0a 20 20 72 65 74 75 72 6e 20 70 3d 3d 30 20  ;.  return p==0 
0a90: 7c 7c 20 70 2d 3e 63 6e 74 3d 3d 30 3b 0a 7d 0a  || p->cnt==0;.}.
0aa0: 0a 2f 2a 0a 2a 2a 20 49 6e 69 74 69 61 6c 69 7a  ./*.** Initializ
0ab0: 65 20 61 6e 64 20 64 65 69 6e 69 74 69 61 6c 69  e and deinitiali
0ac0: 7a 65 20 74 68 65 20 6d 75 74 65 78 20 73 75 62  ze the mutex sub
0ad0: 73 79 73 74 65 6d 2e 0a 2a 2f 0a 73 74 61 74 69  system..*/.stati
0ae0: 63 20 69 6e 74 20 64 65 62 75 67 4d 75 74 65 78  c int debugMutex
0af0: 49 6e 69 74 28 76 6f 69 64 29 7b 20 72 65 74 75  Init(void){ retu
0b00: 72 6e 20 53 51 4c 49 54 45 5f 4f 4b 3b 20 7d 0a  rn SQLITE_OK; }.
0b10: 73 74 61 74 69 63 20 69 6e 74 20 64 65 62 75 67  static int debug
0b20: 4d 75 74 65 78 45 6e 64 28 76 6f 69 64 29 7b 20  MutexEnd(void){ 
0b30: 72 65 74 75 72 6e 20 53 51 4c 49 54 45 5f 4f 4b  return SQLITE_OK
0b40: 3b 20 7d 0a 0a 2f 2a 0a 2a 2a 20 54 68 65 20 73  ; }../*.** The s
0b50: 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 61 6c 6c  qlite3_mutex_all
0b60: 6f 63 28 29 20 72 6f 75 74 69 6e 65 20 61 6c 6c  oc() routine all
0b70: 6f 63 61 74 65 73 20 61 20 6e 65 77 0a 2a 2a 20  ocates a new.** 
0b80: 6d 75 74 65 78 20 61 6e 64 20 72 65 74 75 72 6e  mutex and return
0b90: 73 20 61 20 70 6f 69 6e 74 65 72 20 74 6f 20 69  s a pointer to i
0ba0: 74 2e 20 20 49 66 20 69 74 20 72 65 74 75 72 6e  t.  If it return
0bb0: 73 20 4e 55 4c 4c 0a 2a 2a 20 74 68 61 74 20 6d  s NULL.** that m
0bc0: 65 61 6e 73 20 74 68 61 74 20 61 20 6d 75 74 65  eans that a mute
0bd0: 78 20 63 6f 75 6c 64 20 6e 6f 74 20 62 65 20 61  x could not be a
0be0: 6c 6c 6f 63 61 74 65 64 2e 20 0a 2a 2f 0a 73 74  llocated. .*/.st
0bf0: 61 74 69 63 20 73 71 6c 69 74 65 33 5f 6d 75 74  atic sqlite3_mut
0c00: 65 78 20 2a 64 65 62 75 67 4d 75 74 65 78 41 6c  ex *debugMutexAl
0c10: 6c 6f 63 28 69 6e 74 20 69 64 29 7b 0a 20 20 73  loc(int id){.  s
0c20: 74 61 74 69 63 20 73 71 6c 69 74 65 33 5f 64 65  tatic sqlite3_de
0c30: 62 75 67 5f 6d 75 74 65 78 20 61 53 74 61 74 69  bug_mutex aStati
0c40: 63 5b 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 53  c[SQLITE_MUTEX_S
0c50: 54 41 54 49 43 5f 41 50 50 33 20 2d 20 31 5d 3b  TATIC_APP3 - 1];
0c60: 0a 20 20 73 71 6c 69 74 65 33 5f 64 65 62 75 67  .  sqlite3_debug
0c70: 5f 6d 75 74 65 78 20 2a 70 4e 65 77 20 3d 20 30  _mutex *pNew = 0
0c80: 3b 0a 20 20 73 77 69 74 63 68 28 20 69 64 20 29  ;.  switch( id )
0c90: 7b 0a 20 20 20 20 63 61 73 65 20 53 51 4c 49 54  {.    case SQLIT
0ca0: 45 5f 4d 55 54 45 58 5f 46 41 53 54 3a 0a 20 20  E_MUTEX_FAST:.  
0cb0: 20 20 63 61 73 65 20 53 51 4c 49 54 45 5f 4d 55    case SQLITE_MU
0cc0: 54 45 58 5f 52 45 43 55 52 53 49 56 45 3a 20 7b  TEX_RECURSIVE: {
0cd0: 0a 20 20 20 20 20 20 70 4e 65 77 20 3d 20 73 71  .      pNew = sq
0ce0: 6c 69 74 65 33 4d 61 6c 6c 6f 63 28 73 69 7a 65  lite3Malloc(size
0cf0: 6f 66 28 2a 70 4e 65 77 29 29 3b 0a 20 20 20 20  of(*pNew));.    
0d00: 20 20 69 66 28 20 70 4e 65 77 20 29 7b 0a 20 20    if( pNew ){.  
0d10: 20 20 20 20 20 20 70 4e 65 77 2d 3e 69 64 20 3d        pNew->id =
0d20: 20 69 64 3b 0a 20 20 20 20 20 20 20 20 70 4e 65   id;.        pNe
0d30: 77 2d 3e 63 6e 74 20 3d 20 30 3b 0a 20 20 20 20  w->cnt = 0;.    
0d40: 20 20 7d 0a 20 20 20 20 20 20 62 72 65 61 6b 3b    }.      break;
0d50: 0a 20 20 20 20 7d 0a 20 20 20 20 64 65 66 61 75  .    }.    defau
0d60: 6c 74 3a 20 7b 0a 20 20 20 20 20 20 61 73 73 65  lt: {.      asse
0d70: 72 74 28 20 69 64 2d 32 20 3e 3d 20 30 20 29 3b  rt( id-2 >= 0 );
0d80: 0a 20 20 20 20 20 20 61 73 73 65 72 74 28 20 69  .      assert( i
0d90: 64 2d 32 20 3c 20 28 69 6e 74 29 28 73 69 7a 65  d-2 < (int)(size
0da0: 6f 66 28 61 53 74 61 74 69 63 29 2f 73 69 7a 65  of(aStatic)/size
0db0: 6f 66 28 61 53 74 61 74 69 63 5b 30 5d 29 29 20  of(aStatic[0])) 
0dc0: 29 3b 0a 20 20 20 20 20 20 70 4e 65 77 20 3d 20  );.      pNew = 
0dd0: 26 61 53 74 61 74 69 63 5b 69 64 2d 32 5d 3b 0a  &aStatic[id-2];.
0de0: 20 20 20 20 20 20 70 4e 65 77 2d 3e 69 64 20 3d        pNew->id =
0df0: 20 69 64 3b 0a 20 20 20 20 20 20 62 72 65 61 6b   id;.      break
0e00: 3b 0a 20 20 20 20 7d 0a 20 20 7d 0a 20 20 72 65  ;.    }.  }.  re
0e10: 74 75 72 6e 20 28 73 71 6c 69 74 65 33 5f 6d 75  turn (sqlite3_mu
0e20: 74 65 78 2a 29 70 4e 65 77 3b 0a 7d 0a 0a 2f 2a  tex*)pNew;.}../*
0e30: 0a 2a 2a 20 54 68 69 73 20 72 6f 75 74 69 6e 65  .** This routine
0e40: 20 64 65 61 6c 6c 6f 63 61 74 65 73 20 61 20 70   deallocates a p
0e50: 72 65 76 69 6f 75 73 6c 79 20 61 6c 6c 6f 63 61  reviously alloca
0e60: 74 65 64 20 6d 75 74 65 78 2e 0a 2a 2f 0a 73 74  ted mutex..*/.st
0e70: 61 74 69 63 20 76 6f 69 64 20 64 65 62 75 67 4d  atic void debugM
0e80: 75 74 65 78 46 72 65 65 28 73 71 6c 69 74 65 33  utexFree(sqlite3
0e90: 5f 6d 75 74 65 78 20 2a 70 58 29 7b 0a 20 20 73  _mutex *pX){.  s
0ea0: 71 6c 69 74 65 33 5f 64 65 62 75 67 5f 6d 75 74  qlite3_debug_mut
0eb0: 65 78 20 2a 70 20 3d 20 28 73 71 6c 69 74 65 33  ex *p = (sqlite3
0ec0: 5f 64 65 62 75 67 5f 6d 75 74 65 78 2a 29 70 58  _debug_mutex*)pX
0ed0: 3b 0a 20 20 61 73 73 65 72 74 28 20 70 2d 3e 63  ;.  assert( p->c
0ee0: 6e 74 3d 3d 30 20 29 3b 0a 20 20 61 73 73 65 72  nt==0 );.  asser
0ef0: 74 28 20 70 2d 3e 69 64 3d 3d 53 51 4c 49 54 45  t( p->id==SQLITE
0f00: 5f 4d 55 54 45 58 5f 46 41 53 54 20 7c 7c 20 70  _MUTEX_FAST || p
0f10: 2d 3e 69 64 3d 3d 53 51 4c 49 54 45 5f 4d 55 54  ->id==SQLITE_MUT
0f20: 45 58 5f 52 45 43 55 52 53 49 56 45 20 29 3b 0a  EX_RECURSIVE );.
0f30: 20 20 73 71 6c 69 74 65 33 5f 66 72 65 65 28 70    sqlite3_free(p
0f40: 29 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 54 68 65 20  );.}../*.** The 
0f50: 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 65 6e  sqlite3_mutex_en
0f60: 74 65 72 28 29 20 61 6e 64 20 73 71 6c 69 74 65  ter() and sqlite
0f70: 33 5f 6d 75 74 65 78 5f 74 72 79 28 29 20 72 6f  3_mutex_try() ro
0f80: 75 74 69 6e 65 73 20 61 74 74 65 6d 70 74 0a 2a  utines attempt.*
0f90: 2a 20 74 6f 20 65 6e 74 65 72 20 61 20 6d 75 74  * to enter a mut
0fa0: 65 78 2e 20 20 49 66 20 61 6e 6f 74 68 65 72 20  ex.  If another 
0fb0: 74 68 72 65 61 64 20 69 73 20 61 6c 72 65 61 64  thread is alread
0fc0: 79 20 77 69 74 68 69 6e 20 74 68 65 20 6d 75 74  y within the mut
0fd0: 65 78 2c 0a 2a 2a 20 73 71 6c 69 74 65 33 5f 6d  ex,.** sqlite3_m
0fe0: 75 74 65 78 5f 65 6e 74 65 72 28 29 20 77 69 6c  utex_enter() wil
0ff0: 6c 20 62 6c 6f 63 6b 20 61 6e 64 20 73 71 6c 69  l block and sqli
1000: 74 65 33 5f 6d 75 74 65 78 5f 74 72 79 28 29 20  te3_mutex_try() 
1010: 77 69 6c 6c 20 72 65 74 75 72 6e 0a 2a 2a 20 53  will return.** S
1020: 51 4c 49 54 45 5f 42 55 53 59 2e 20 20 54 68 65  QLITE_BUSY.  The
1030: 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 74   sqlite3_mutex_t
1040: 72 79 28 29 20 69 6e 74 65 72 66 61 63 65 20 72  ry() interface r
1050: 65 74 75 72 6e 73 20 53 51 4c 49 54 45 5f 4f 4b  eturns SQLITE_OK
1060: 0a 2a 2a 20 75 70 6f 6e 20 73 75 63 63 65 73 73  .** upon success
1070: 66 75 6c 20 65 6e 74 72 79 2e 20 20 4d 75 74 65  ful entry.  Mute
1080: 78 65 73 20 63 72 65 61 74 65 64 20 75 73 69 6e  xes created usin
1090: 67 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 52  g SQLITE_MUTEX_R
10a0: 45 43 55 52 53 49 56 45 20 63 61 6e 0a 2a 2a 20  ECURSIVE can.** 
10b0: 62 65 20 65 6e 74 65 72 65 64 20 6d 75 6c 74 69  be entered multi
10c0: 70 6c 65 20 74 69 6d 65 73 20 62 79 20 74 68 65  ple times by the
10d0: 20 73 61 6d 65 20 74 68 72 65 61 64 2e 20 20 49   same thread.  I
10e0: 6e 20 73 75 63 68 20 63 61 73 65 73 20 74 68 65  n such cases the
10f0: 2c 0a 2a 2a 20 6d 75 74 65 78 20 6d 75 73 74 20  ,.** mutex must 
1100: 62 65 20 65 78 69 74 65 64 20 61 6e 20 65 71 75  be exited an equ
1110: 61 6c 20 6e 75 6d 62 65 72 20 6f 66 20 74 69 6d  al number of tim
1120: 65 73 20 62 65 66 6f 72 65 20 61 6e 6f 74 68 65  es before anothe
1130: 72 20 74 68 72 65 61 64 0a 2a 2a 20 63 61 6e 20  r thread.** can 
1140: 65 6e 74 65 72 2e 20 20 49 66 20 74 68 65 20 73  enter.  If the s
1150: 61 6d 65 20 74 68 72 65 61 64 20 74 72 69 65 73  ame thread tries
1160: 20 74 6f 20 65 6e 74 65 72 20 61 6e 79 20 6f 74   to enter any ot
1170: 68 65 72 20 6b 69 6e 64 20 6f 66 20 6d 75 74 65  her kind of mute
1180: 78 0a 2a 2a 20 6d 6f 72 65 20 74 68 61 6e 20 6f  x.** more than o
1190: 6e 63 65 2c 20 74 68 65 20 62 65 68 61 76 69 6f  nce, the behavio
11a0: 72 20 69 73 20 75 6e 64 65 66 69 6e 65 64 2e 0a  r is undefined..
11b0: 2a 2f 0a 73 74 61 74 69 63 20 76 6f 69 64 20 64  */.static void d
11c0: 65 62 75 67 4d 75 74 65 78 45 6e 74 65 72 28 73  ebugMutexEnter(s
11d0: 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a 70 58  qlite3_mutex *pX
11e0: 29 7b 0a 20 20 73 71 6c 69 74 65 33 5f 64 65 62  ){.  sqlite3_deb
11f0: 75 67 5f 6d 75 74 65 78 20 2a 70 20 3d 20 28 73  ug_mutex *p = (s
1200: 71 6c 69 74 65 33 5f 64 65 62 75 67 5f 6d 75 74  qlite3_debug_mut
1210: 65 78 2a 29 70 58 3b 0a 20 20 61 73 73 65 72 74  ex*)pX;.  assert
1220: 28 20 70 2d 3e 69 64 3d 3d 53 51 4c 49 54 45 5f  ( p->id==SQLITE_
1230: 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56 45 20  MUTEX_RECURSIVE 
1240: 7c 7c 20 64 65 62 75 67 4d 75 74 65 78 4e 6f 74  || debugMutexNot
1250: 68 65 6c 64 28 70 58 29 20 29 3b 0a 20 20 70 2d  held(pX) );.  p-
1260: 3e 63 6e 74 2b 2b 3b 0a 7d 0a 73 74 61 74 69 63  >cnt++;.}.static
1270: 20 69 6e 74 20 64 65 62 75 67 4d 75 74 65 78 54   int debugMutexT
1280: 72 79 28 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  ry(sqlite3_mutex
1290: 20 2a 70 58 29 7b 0a 20 20 73 71 6c 69 74 65 33   *pX){.  sqlite3
12a0: 5f 64 65 62 75 67 5f 6d 75 74 65 78 20 2a 70 20  _debug_mutex *p 
12b0: 3d 20 28 73 71 6c 69 74 65 33 5f 64 65 62 75 67  = (sqlite3_debug
12c0: 5f 6d 75 74 65 78 2a 29 70 58 3b 0a 20 20 61 73  _mutex*)pX;.  as
12d0: 73 65 72 74 28 20 70 2d 3e 69 64 3d 3d 53 51 4c  sert( p->id==SQL
12e0: 49 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53  ITE_MUTEX_RECURS
12f0: 49 56 45 20 7c 7c 20 64 65 62 75 67 4d 75 74 65  IVE || debugMute
1300: 78 4e 6f 74 68 65 6c 64 28 70 58 29 20 29 3b 0a  xNotheld(pX) );.
1310: 20 20 70 2d 3e 63 6e 74 2b 2b 3b 0a 20 20 72 65    p->cnt++;.  re
1320: 74 75 72 6e 20 53 51 4c 49 54 45 5f 4f 4b 3b 0a  turn SQLITE_OK;.
1330: 7d 0a 0a 2f 2a 0a 2a 2a 20 54 68 65 20 73 71 6c  }../*.** The sql
1340: 69 74 65 33 5f 6d 75 74 65 78 5f 6c 65 61 76 65  ite3_mutex_leave
1350: 28 29 20 72 6f 75 74 69 6e 65 20 65 78 69 74 73  () routine exits
1360: 20 61 20 6d 75 74 65 78 20 74 68 61 74 20 77 61   a mutex that wa
1370: 73 0a 2a 2a 20 70 72 65 76 69 6f 75 73 6c 79 20  s.** previously 
1380: 65 6e 74 65 72 65 64 20 62 79 20 74 68 65 20 73  entered by the s
1390: 61 6d 65 20 74 68 72 65 61 64 2e 20 20 54 68 65  ame thread.  The
13a0: 20 62 65 68 61 76 69 6f 72 0a 2a 2a 20 69 73 20   behavior.** is 
13b0: 75 6e 64 65 66 69 6e 65 64 20 69 66 20 74 68 65  undefined if the
13c0: 20 6d 75 74 65 78 20 69 73 20 6e 6f 74 20 63 75   mutex is not cu
13d0: 72 72 65 6e 74 6c 79 20 65 6e 74 65 72 65 64 20  rrently entered 
13e0: 6f 72 0a 2a 2a 20 69 73 20 6e 6f 74 20 63 75 72  or.** is not cur
13f0: 72 65 6e 74 6c 79 20 61 6c 6c 6f 63 61 74 65 64  rently allocated
1400: 2e 20 20 53 51 4c 69 74 65 20 77 69 6c 6c 20 6e  .  SQLite will n
1410: 65 76 65 72 20 64 6f 20 65 69 74 68 65 72 2e 0a  ever do either..
1420: 2a 2f 0a 73 74 61 74 69 63 20 76 6f 69 64 20 64  */.static void d
1430: 65 62 75 67 4d 75 74 65 78 4c 65 61 76 65 28 73  ebugMutexLeave(s
1440: 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a 70 58  qlite3_mutex *pX
1450: 29 7b 0a 20 20 73 71 6c 69 74 65 33 5f 64 65 62  ){.  sqlite3_deb
1460: 75 67 5f 6d 75 74 65 78 20 2a 70 20 3d 20 28 73  ug_mutex *p = (s
1470: 71 6c 69 74 65 33 5f 64 65 62 75 67 5f 6d 75 74  qlite3_debug_mut
1480: 65 78 2a 29 70 58 3b 0a 20 20 61 73 73 65 72 74  ex*)pX;.  assert
1490: 28 20 64 65 62 75 67 4d 75 74 65 78 48 65 6c 64  ( debugMutexHeld
14a0: 28 70 58 29 20 29 3b 0a 20 20 70 2d 3e 63 6e 74  (pX) );.  p->cnt
14b0: 2d 2d 3b 0a 20 20 61 73 73 65 72 74 28 20 70 2d  --;.  assert( p-
14c0: 3e 69 64 3d 3d 53 51 4c 49 54 45 5f 4d 55 54 45  >id==SQLITE_MUTE
14d0: 58 5f 52 45 43 55 52 53 49 56 45 20 7c 7c 20 64  X_RECURSIVE || d
14e0: 65 62 75 67 4d 75 74 65 78 4e 6f 74 68 65 6c 64  ebugMutexNotheld
14f0: 28 70 58 29 20 29 3b 0a 7d 0a 0a 73 71 6c 69 74  (pX) );.}..sqlit
1500: 65 33 5f 6d 75 74 65 78 5f 6d 65 74 68 6f 64 73  e3_mutex_methods
1510: 20 63 6f 6e 73 74 20 2a 73 71 6c 69 74 65 33 4e   const *sqlite3N
1520: 6f 6f 70 4d 75 74 65 78 28 76 6f 69 64 29 7b 0a  oopMutex(void){.
1530: 20 20 73 74 61 74 69 63 20 63 6f 6e 73 74 20 73    static const s
1540: 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 6d 65 74  qlite3_mutex_met
1550: 68 6f 64 73 20 73 4d 75 74 65 78 20 3d 20 7b 0a  hods sMutex = {.
1560: 20 20 20 20 64 65 62 75 67 4d 75 74 65 78 49 6e      debugMutexIn
1570: 69 74 2c 0a 20 20 20 20 64 65 62 75 67 4d 75 74  it,.    debugMut
1580: 65 78 45 6e 64 2c 0a 20 20 20 20 64 65 62 75 67  exEnd,.    debug
1590: 4d 75 74 65 78 41 6c 6c 6f 63 2c 0a 20 20 20 20  MutexAlloc,.    
15a0: 64 65 62 75 67 4d 75 74 65 78 46 72 65 65 2c 0a  debugMutexFree,.
15b0: 20 20 20 20 64 65 62 75 67 4d 75 74 65 78 45 6e      debugMutexEn
15c0: 74 65 72 2c 0a 20 20 20 20 64 65 62 75 67 4d 75  ter,.    debugMu
15d0: 74 65 78 54 72 79 2c 0a 20 20 20 20 64 65 62 75  texTry,.    debu
15e0: 67 4d 75 74 65 78 4c 65 61 76 65 2c 0a 0a 20 20  gMutexLeave,..  
15f0: 20 20 64 65 62 75 67 4d 75 74 65 78 48 65 6c 64    debugMutexHeld
1600: 2c 0a 20 20 20 20 64 65 62 75 67 4d 75 74 65 78  ,.    debugMutex
1610: 4e 6f 74 68 65 6c 64 0a 20 20 7d 3b 0a 0a 20 20  Notheld.  };..  
1620: 72 65 74 75 72 6e 20 26 73 4d 75 74 65 78 3b 0a  return &sMutex;.
1630: 7d 0a 23 65 6e 64 69 66 20 2f 2a 20 53 51 4c 49  }.#endif /* SQLI
1640: 54 45 5f 44 45 42 55 47 20 2a 2f 0a 0a 2f 2a 0a  TE_DEBUG */../*.
1650: 2a 2a 20 49 66 20 63 6f 6d 70 69 6c 65 64 20 77  ** If compiled w
1660: 69 74 68 20 53 51 4c 49 54 45 5f 4d 55 54 45 58  ith SQLITE_MUTEX
1670: 5f 4e 4f 4f 50 2c 20 74 68 65 6e 20 74 68 65 20  _NOOP, then the 
1680: 6e 6f 2d 6f 70 20 6d 75 74 65 78 20 69 6d 70 6c  no-op mutex impl
1690: 65 6d 65 6e 74 61 74 69 6f 6e 0a 2a 2a 20 69 73  ementation.** is
16a0: 20 75 73 65 64 20 72 65 67 61 72 64 6c 65 73 73   used regardless
16b0: 20 6f 66 20 74 68 65 20 72 75 6e 2d 74 69 6d 65   of the run-time
16c0: 20 74 68 72 65 61 64 73 61 66 65 74 79 20 73 65   threadsafety se
16d0: 74 74 69 6e 67 2e 0a 2a 2f 0a 23 69 66 64 65 66  tting..*/.#ifdef
16e0: 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 4e 4f   SQLITE_MUTEX_NO
16f0: 4f 50 0a 73 71 6c 69 74 65 33 5f 6d 75 74 65 78  OP.sqlite3_mutex
1700: 5f 6d 65 74 68 6f 64 73 20 63 6f 6e 73 74 20 2a  _methods const *
1710: 73 71 6c 69 74 65 33 44 65 66 61 75 6c 74 4d 75  sqlite3DefaultMu
1720: 74 65 78 28 76 6f 69 64 29 7b 0a 20 20 72 65 74  tex(void){.  ret
1730: 75 72 6e 20 73 71 6c 69 74 65 33 4e 6f 6f 70 4d  urn sqlite3NoopM
1740: 75 74 65 78 28 29 3b 0a 7d 0a 23 65 6e 64 69 66  utex();.}.#endif
1750: 20 2f 2a 20 64 65 66 69 6e 65 64 28 53 51 4c 49   /* defined(SQLI
1760: 54 45 5f 4d 55 54 45 58 5f 4e 4f 4f 50 29 20 2a  TE_MUTEX_NOOP) *
1770: 2f 0a 23 65 6e 64 69 66 20 2f 2a 20 21 64 65 66  /.#endif /* !def
1780: 69 6e 65 64 28 53 51 4c 49 54 45 5f 4d 55 54 45  ined(SQLITE_MUTE
1790: 58 5f 4f 4d 49 54 29 20 2a 2f 0a                 X_OMIT) */.