Artifact
9d4309c075ba9cc7249e19412d3d62f7f94839c4
File
src/mutex_noop.c
— part of check-in
[b202e2a1d7]
at
2015-07-03 21:38:09
on branch trunk
— Add static mutexes for use by the built-in / third-party VFSs and use the built-in VFS mutex where appropriate.
(user:
mistachkin
size: 6175)
[more...]
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 56 46 53 33 20 2d 20 31 5d 3b TATIC_VFS3 - 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 23 69 66 64 65 66 20 53 51 4c lt: {.#ifdef SQL
0d70: 49 54 45 5f 45 4e 41 42 4c 45 5f 41 50 49 5f 41 ITE_ENABLE_API_A
0d80: 52 4d 4f 52 0a 20 20 20 20 20 20 69 66 28 20 69 RMOR. if( i
0d90: 64 2d 32 3c 30 20 7c 7c 20 69 64 2d 32 3e 3d 41 d-2<0 || id-2>=A
0da0: 72 72 61 79 53 69 7a 65 28 61 53 74 61 74 69 63 rraySize(aStatic
0db0: 29 20 29 7b 0a 20 20 20 20 20 20 20 20 28 76 6f ) ){. (vo
0dc0: 69 64 29 53 51 4c 49 54 45 5f 4d 49 53 55 53 45 id)SQLITE_MISUSE
0dd0: 5f 42 4b 50 54 3b 0a 20 20 20 20 20 20 20 20 72 _BKPT;. r
0de0: 65 74 75 72 6e 20 30 3b 0a 20 20 20 20 20 20 7d eturn 0;. }
0df0: 0a 23 65 6e 64 69 66 0a 20 20 20 20 20 20 70 4e .#endif. pN
0e00: 65 77 20 3d 20 26 61 53 74 61 74 69 63 5b 69 64 ew = &aStatic[id
0e10: 2d 32 5d 3b 0a 20 20 20 20 20 20 70 4e 65 77 2d -2];. pNew-
0e20: 3e 69 64 20 3d 20 69 64 3b 0a 20 20 20 20 20 20 >id = id;.
0e30: 62 72 65 61 6b 3b 0a 20 20 20 20 7d 0a 20 20 7d break;. }. }
0e40: 0a 20 20 72 65 74 75 72 6e 20 28 73 71 6c 69 74 . return (sqlit
0e50: 65 33 5f 6d 75 74 65 78 2a 29 70 4e 65 77 3b 0a e3_mutex*)pNew;.
0e60: 7d 0a 0a 2f 2a 0a 2a 2a 20 54 68 69 73 20 72 6f }../*.** This ro
0e70: 75 74 69 6e 65 20 64 65 61 6c 6c 6f 63 61 74 65 utine deallocate
0e80: 73 20 61 20 70 72 65 76 69 6f 75 73 6c 79 20 61 s a previously a
0e90: 6c 6c 6f 63 61 74 65 64 20 6d 75 74 65 78 2e 0a llocated mutex..
0ea0: 2a 2f 0a 73 74 61 74 69 63 20 76 6f 69 64 20 64 */.static void d
0eb0: 65 62 75 67 4d 75 74 65 78 46 72 65 65 28 73 71 ebugMutexFree(sq
0ec0: 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a 70 58 29 lite3_mutex *pX)
0ed0: 7b 0a 20 20 73 71 6c 69 74 65 33 5f 64 65 62 75 {. sqlite3_debu
0ee0: 67 5f 6d 75 74 65 78 20 2a 70 20 3d 20 28 73 71 g_mutex *p = (sq
0ef0: 6c 69 74 65 33 5f 64 65 62 75 67 5f 6d 75 74 65 lite3_debug_mute
0f00: 78 2a 29 70 58 3b 0a 20 20 61 73 73 65 72 74 28 x*)pX;. assert(
0f10: 20 70 2d 3e 63 6e 74 3d 3d 30 20 29 3b 0a 20 20 p->cnt==0 );.
0f20: 69 66 28 20 70 2d 3e 69 64 3d 3d 53 51 4c 49 54 if( p->id==SQLIT
0f30: 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56 E_MUTEX_RECURSIV
0f40: 45 20 7c 7c 20 70 2d 3e 69 64 3d 3d 53 51 4c 49 E || p->id==SQLI
0f50: 54 45 5f 4d 55 54 45 58 5f 46 41 53 54 20 29 7b TE_MUTEX_FAST ){
0f60: 0a 20 20 20 20 73 71 6c 69 74 65 33 5f 66 72 65 . sqlite3_fre
0f70: 65 28 70 29 3b 0a 20 20 7d 65 6c 73 65 7b 0a 23 e(p);. }else{.#
0f80: 69 66 64 65 66 20 53 51 4c 49 54 45 5f 45 4e 41 ifdef SQLITE_ENA
0f90: 42 4c 45 5f 41 50 49 5f 41 52 4d 4f 52 0a 20 20 BLE_API_ARMOR.
0fa0: 20 20 28 76 6f 69 64 29 53 51 4c 49 54 45 5f 4d (void)SQLITE_M
0fb0: 49 53 55 53 45 5f 42 4b 50 54 3b 0a 23 65 6e 64 ISUSE_BKPT;.#end
0fc0: 69 66 0a 20 20 7d 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 if. }.}../*.**
0fd0: 54 68 65 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 The sqlite3_mute
0fe0: 78 5f 65 6e 74 65 72 28 29 20 61 6e 64 20 73 71 x_enter() and sq
0ff0: 6c 69 74 65 33 5f 6d 75 74 65 78 5f 74 72 79 28 lite3_mutex_try(
1000: 29 20 72 6f 75 74 69 6e 65 73 20 61 74 74 65 6d ) routines attem
1010: 70 74 0a 2a 2a 20 74 6f 20 65 6e 74 65 72 20 61 pt.** to enter a
1020: 20 6d 75 74 65 78 2e 20 20 49 66 20 61 6e 6f 74 mutex. If anot
1030: 68 65 72 20 74 68 72 65 61 64 20 69 73 20 61 6c her thread is al
1040: 72 65 61 64 79 20 77 69 74 68 69 6e 20 74 68 65 ready within the
1050: 20 6d 75 74 65 78 2c 0a 2a 2a 20 73 71 6c 69 74 mutex,.** sqlit
1060: 65 33 5f 6d 75 74 65 78 5f 65 6e 74 65 72 28 29 e3_mutex_enter()
1070: 20 77 69 6c 6c 20 62 6c 6f 63 6b 20 61 6e 64 20 will block and
1080: 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 74 72 sqlite3_mutex_tr
1090: 79 28 29 20 77 69 6c 6c 20 72 65 74 75 72 6e 0a y() will return.
10a0: 2a 2a 20 53 51 4c 49 54 45 5f 42 55 53 59 2e 20 ** SQLITE_BUSY.
10b0: 20 54 68 65 20 73 71 6c 69 74 65 33 5f 6d 75 74 The sqlite3_mut
10c0: 65 78 5f 74 72 79 28 29 20 69 6e 74 65 72 66 61 ex_try() interfa
10d0: 63 65 20 72 65 74 75 72 6e 73 20 53 51 4c 49 54 ce returns SQLIT
10e0: 45 5f 4f 4b 0a 2a 2a 20 75 70 6f 6e 20 73 75 63 E_OK.** upon suc
10f0: 63 65 73 73 66 75 6c 20 65 6e 74 72 79 2e 20 20 cessful entry.
1100: 4d 75 74 65 78 65 73 20 63 72 65 61 74 65 64 20 Mutexes created
1110: 75 73 69 6e 67 20 53 51 4c 49 54 45 5f 4d 55 54 using SQLITE_MUT
1120: 45 58 5f 52 45 43 55 52 53 49 56 45 20 63 61 6e EX_RECURSIVE can
1130: 0a 2a 2a 20 62 65 20 65 6e 74 65 72 65 64 20 6d .** be entered m
1140: 75 6c 74 69 70 6c 65 20 74 69 6d 65 73 20 62 79 ultiple times by
1150: 20 74 68 65 20 73 61 6d 65 20 74 68 72 65 61 64 the same thread
1160: 2e 20 20 49 6e 20 73 75 63 68 20 63 61 73 65 73 . In such cases
1170: 20 74 68 65 2c 0a 2a 2a 20 6d 75 74 65 78 20 6d the,.** mutex m
1180: 75 73 74 20 62 65 20 65 78 69 74 65 64 20 61 6e ust be exited an
1190: 20 65 71 75 61 6c 20 6e 75 6d 62 65 72 20 6f 66 equal number of
11a0: 20 74 69 6d 65 73 20 62 65 66 6f 72 65 20 61 6e times before an
11b0: 6f 74 68 65 72 20 74 68 72 65 61 64 0a 2a 2a 20 other thread.**
11c0: 63 61 6e 20 65 6e 74 65 72 2e 20 20 49 66 20 74 can enter. If t
11d0: 68 65 20 73 61 6d 65 20 74 68 72 65 61 64 20 74 he same thread t
11e0: 72 69 65 73 20 74 6f 20 65 6e 74 65 72 20 61 6e ries to enter an
11f0: 79 20 6f 74 68 65 72 20 6b 69 6e 64 20 6f 66 20 y other kind of
1200: 6d 75 74 65 78 0a 2a 2a 20 6d 6f 72 65 20 74 68 mutex.** more th
1210: 61 6e 20 6f 6e 63 65 2c 20 74 68 65 20 62 65 68 an once, the beh
1220: 61 76 69 6f 72 20 69 73 20 75 6e 64 65 66 69 6e avior is undefin
1230: 65 64 2e 0a 2a 2f 0a 73 74 61 74 69 63 20 76 6f ed..*/.static vo
1240: 69 64 20 64 65 62 75 67 4d 75 74 65 78 45 6e 74 id debugMutexEnt
1250: 65 72 28 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 er(sqlite3_mutex
1260: 20 2a 70 58 29 7b 0a 20 20 73 71 6c 69 74 65 33 *pX){. sqlite3
1270: 5f 64 65 62 75 67 5f 6d 75 74 65 78 20 2a 70 20 _debug_mutex *p
1280: 3d 20 28 73 71 6c 69 74 65 33 5f 64 65 62 75 67 = (sqlite3_debug
1290: 5f 6d 75 74 65 78 2a 29 70 58 3b 0a 20 20 61 73 _mutex*)pX;. as
12a0: 73 65 72 74 28 20 70 2d 3e 69 64 3d 3d 53 51 4c sert( p->id==SQL
12b0: 49 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 ITE_MUTEX_RECURS
12c0: 49 56 45 20 7c 7c 20 64 65 62 75 67 4d 75 74 65 IVE || debugMute
12d0: 78 4e 6f 74 68 65 6c 64 28 70 58 29 20 29 3b 0a xNotheld(pX) );.
12e0: 20 20 70 2d 3e 63 6e 74 2b 2b 3b 0a 7d 0a 73 74 p->cnt++;.}.st
12f0: 61 74 69 63 20 69 6e 74 20 64 65 62 75 67 4d 75 atic int debugMu
1300: 74 65 78 54 72 79 28 73 71 6c 69 74 65 33 5f 6d texTry(sqlite3_m
1310: 75 74 65 78 20 2a 70 58 29 7b 0a 20 20 73 71 6c utex *pX){. sql
1320: 69 74 65 33 5f 64 65 62 75 67 5f 6d 75 74 65 78 ite3_debug_mutex
1330: 20 2a 70 20 3d 20 28 73 71 6c 69 74 65 33 5f 64 *p = (sqlite3_d
1340: 65 62 75 67 5f 6d 75 74 65 78 2a 29 70 58 3b 0a ebug_mutex*)pX;.
1350: 20 20 61 73 73 65 72 74 28 20 70 2d 3e 69 64 3d assert( p->id=
1360: 3d 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 52 45 =SQLITE_MUTEX_RE
1370: 43 55 52 53 49 56 45 20 7c 7c 20 64 65 62 75 67 CURSIVE || debug
1380: 4d 75 74 65 78 4e 6f 74 68 65 6c 64 28 70 58 29 MutexNotheld(pX)
1390: 20 29 3b 0a 20 20 70 2d 3e 63 6e 74 2b 2b 3b 0a );. p->cnt++;.
13a0: 20 20 72 65 74 75 72 6e 20 53 51 4c 49 54 45 5f return SQLITE_
13b0: 4f 4b 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 54 68 65 OK;.}../*.** The
13c0: 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 6c sqlite3_mutex_l
13d0: 65 61 76 65 28 29 20 72 6f 75 74 69 6e 65 20 65 eave() routine e
13e0: 78 69 74 73 20 61 20 6d 75 74 65 78 20 74 68 61 xits a mutex tha
13f0: 74 20 77 61 73 0a 2a 2a 20 70 72 65 76 69 6f 75 t was.** previou
1400: 73 6c 79 20 65 6e 74 65 72 65 64 20 62 79 20 74 sly entered by t
1410: 68 65 20 73 61 6d 65 20 74 68 72 65 61 64 2e 20 he same thread.
1420: 20 54 68 65 20 62 65 68 61 76 69 6f 72 0a 2a 2a The behavior.**
1430: 20 69 73 20 75 6e 64 65 66 69 6e 65 64 20 69 66 is undefined if
1440: 20 74 68 65 20 6d 75 74 65 78 20 69 73 20 6e 6f the mutex is no
1450: 74 20 63 75 72 72 65 6e 74 6c 79 20 65 6e 74 65 t currently ente
1460: 72 65 64 20 6f 72 0a 2a 2a 20 69 73 20 6e 6f 74 red or.** is not
1470: 20 63 75 72 72 65 6e 74 6c 79 20 61 6c 6c 6f 63 currently alloc
1480: 61 74 65 64 2e 20 20 53 51 4c 69 74 65 20 77 69 ated. SQLite wi
1490: 6c 6c 20 6e 65 76 65 72 20 64 6f 20 65 69 74 68 ll never do eith
14a0: 65 72 2e 0a 2a 2f 0a 73 74 61 74 69 63 20 76 6f er..*/.static vo
14b0: 69 64 20 64 65 62 75 67 4d 75 74 65 78 4c 65 61 id debugMutexLea
14c0: 76 65 28 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 ve(sqlite3_mutex
14d0: 20 2a 70 58 29 7b 0a 20 20 73 71 6c 69 74 65 33 *pX){. sqlite3
14e0: 5f 64 65 62 75 67 5f 6d 75 74 65 78 20 2a 70 20 _debug_mutex *p
14f0: 3d 20 28 73 71 6c 69 74 65 33 5f 64 65 62 75 67 = (sqlite3_debug
1500: 5f 6d 75 74 65 78 2a 29 70 58 3b 0a 20 20 61 73 _mutex*)pX;. as
1510: 73 65 72 74 28 20 64 65 62 75 67 4d 75 74 65 78 sert( debugMutex
1520: 48 65 6c 64 28 70 58 29 20 29 3b 0a 20 20 70 2d Held(pX) );. p-
1530: 3e 63 6e 74 2d 2d 3b 0a 20 20 61 73 73 65 72 74 >cnt--;. assert
1540: 28 20 70 2d 3e 69 64 3d 3d 53 51 4c 49 54 45 5f ( p->id==SQLITE_
1550: 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56 45 20 MUTEX_RECURSIVE
1560: 7c 7c 20 64 65 62 75 67 4d 75 74 65 78 4e 6f 74 || debugMutexNot
1570: 68 65 6c 64 28 70 58 29 20 29 3b 0a 7d 0a 0a 73 held(pX) );.}..s
1580: 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 6d 65 74 qlite3_mutex_met
1590: 68 6f 64 73 20 63 6f 6e 73 74 20 2a 73 71 6c 69 hods const *sqli
15a0: 74 65 33 4e 6f 6f 70 4d 75 74 65 78 28 76 6f 69 te3NoopMutex(voi
15b0: 64 29 7b 0a 20 20 73 74 61 74 69 63 20 63 6f 6e d){. static con
15c0: 73 74 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 st sqlite3_mutex
15d0: 5f 6d 65 74 68 6f 64 73 20 73 4d 75 74 65 78 20 _methods sMutex
15e0: 3d 20 7b 0a 20 20 20 20 64 65 62 75 67 4d 75 74 = {. debugMut
15f0: 65 78 49 6e 69 74 2c 0a 20 20 20 20 64 65 62 75 exInit,. debu
1600: 67 4d 75 74 65 78 45 6e 64 2c 0a 20 20 20 20 64 gMutexEnd,. d
1610: 65 62 75 67 4d 75 74 65 78 41 6c 6c 6f 63 2c 0a ebugMutexAlloc,.
1620: 20 20 20 20 64 65 62 75 67 4d 75 74 65 78 46 72 debugMutexFr
1630: 65 65 2c 0a 20 20 20 20 64 65 62 75 67 4d 75 74 ee,. debugMut
1640: 65 78 45 6e 74 65 72 2c 0a 20 20 20 20 64 65 62 exEnter,. deb
1650: 75 67 4d 75 74 65 78 54 72 79 2c 0a 20 20 20 20 ugMutexTry,.
1660: 64 65 62 75 67 4d 75 74 65 78 4c 65 61 76 65 2c debugMutexLeave,
1670: 0a 0a 20 20 20 20 64 65 62 75 67 4d 75 74 65 78 .. debugMutex
1680: 48 65 6c 64 2c 0a 20 20 20 20 64 65 62 75 67 4d Held,. debugM
1690: 75 74 65 78 4e 6f 74 68 65 6c 64 0a 20 20 7d 3b utexNotheld. };
16a0: 0a 0a 20 20 72 65 74 75 72 6e 20 26 73 4d 75 74 .. return &sMut
16b0: 65 78 3b 0a 7d 0a 23 65 6e 64 69 66 20 2f 2a 20 ex;.}.#endif /*
16c0: 53 51 4c 49 54 45 5f 44 45 42 55 47 20 2a 2f 0a SQLITE_DEBUG */.
16d0: 0a 2f 2a 0a 2a 2a 20 49 66 20 63 6f 6d 70 69 6c ./*.** If compil
16e0: 65 64 20 77 69 74 68 20 53 51 4c 49 54 45 5f 4d ed with SQLITE_M
16f0: 55 54 45 58 5f 4e 4f 4f 50 2c 20 74 68 65 6e 20 UTEX_NOOP, then
1700: 74 68 65 20 6e 6f 2d 6f 70 20 6d 75 74 65 78 20 the no-op mutex
1710: 69 6d 70 6c 65 6d 65 6e 74 61 74 69 6f 6e 0a 2a implementation.*
1720: 2a 20 69 73 20 75 73 65 64 20 72 65 67 61 72 64 * is used regard
1730: 6c 65 73 73 20 6f 66 20 74 68 65 20 72 75 6e 2d less of the run-
1740: 74 69 6d 65 20 74 68 72 65 61 64 73 61 66 65 74 time threadsafet
1750: 79 20 73 65 74 74 69 6e 67 2e 0a 2a 2f 0a 23 69 y setting..*/.#i
1760: 66 64 65 66 20 53 51 4c 49 54 45 5f 4d 55 54 45 fdef SQLITE_MUTE
1770: 58 5f 4e 4f 4f 50 0a 73 71 6c 69 74 65 33 5f 6d X_NOOP.sqlite3_m
1780: 75 74 65 78 5f 6d 65 74 68 6f 64 73 20 63 6f 6e utex_methods con
1790: 73 74 20 2a 73 71 6c 69 74 65 33 44 65 66 61 75 st *sqlite3Defau
17a0: 6c 74 4d 75 74 65 78 28 76 6f 69 64 29 7b 0a 20 ltMutex(void){.
17b0: 20 72 65 74 75 72 6e 20 73 71 6c 69 74 65 33 4e return sqlite3N
17c0: 6f 6f 70 4d 75 74 65 78 28 29 3b 0a 7d 0a 23 65 oopMutex();.}.#e
17d0: 6e 64 69 66 20 2f 2a 20 64 65 66 69 6e 65 64 28 ndif /* defined(
17e0: 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 4e 4f 4f SQLITE_MUTEX_NOO
17f0: 50 29 20 2a 2f 0a 23 65 6e 64 69 66 20 2f 2a 20 P) */.#endif /*
1800: 21 64 65 66 69 6e 65 64 28 53 51 4c 49 54 45 5f !defined(SQLITE_
1810: 4d 55 54 45 58 5f 4f 4d 49 54 29 20 2a 2f 0a MUTEX_OMIT) */.