0000: 2f 2a 0a 2a 2a 20 32 30 30 37 20 41 75 67 75 73 /*.** 2007 Augus
0010: 74 20 32 38 0a 2a 2a 0a 2a 2a 20 54 68 65 20 61 t 28.**.** 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: 20 66 6f 72 20 70 74 68 72 65 61 64 73 0a 2a 2a for pthreads.**
01c0: 0a 2a 2a 20 24 49 64 3a 20 6d 75 74 65 78 5f 75 .** $Id: mutex_u
01d0: 6e 69 78 2e 63 2c 76 20 31 2e 39 20 32 30 30 38 nix.c,v 1.9 2008
01e0: 2f 30 36 2f 31 37 20 31 37 3a 32 31 3a 31 38 20 /06/17 17:21:18
01f0: 64 61 6e 69 65 6c 6b 31 39 37 37 20 45 78 70 20 danielk1977 Exp
0200: 24 0a 2a 2f 0a 23 69 6e 63 6c 75 64 65 20 22 73 $.*/.#include "s
0210: 71 6c 69 74 65 49 6e 74 2e 68 22 0a 0a 2f 2a 0a qliteInt.h"../*.
0220: 2a 2a 20 54 68 65 20 63 6f 64 65 20 69 6e 20 74 ** The code in t
0230: 68 69 73 20 66 69 6c 65 20 69 73 20 6f 6e 6c 79 his file is only
0240: 20 75 73 65 64 20 69 66 20 77 65 20 61 72 65 20 used if we are
0250: 63 6f 6d 70 69 6c 69 6e 67 20 74 68 72 65 61 64 compiling thread
0260: 73 61 66 65 0a 2a 2a 20 75 6e 64 65 72 20 75 6e safe.** under un
0270: 69 78 20 77 69 74 68 20 70 74 68 72 65 61 64 73 ix with pthreads
0280: 2e 0a 2a 2a 0a 2a 2a 20 4e 6f 74 65 20 74 68 61 ..**.** Note tha
0290: 74 20 74 68 69 73 20 69 6d 70 6c 65 6d 65 6e 74 t this implement
02a0: 61 74 69 6f 6e 20 72 65 71 75 69 72 65 73 20 61 ation requires a
02b0: 20 76 65 72 73 69 6f 6e 20 6f 66 20 70 74 68 72 version of pthr
02c0: 65 61 64 73 20 74 68 61 74 0a 2a 2a 20 73 75 70 eads that.** sup
02d0: 70 6f 72 74 73 20 72 65 63 75 72 73 69 76 65 20 ports recursive
02e0: 6d 75 74 65 78 65 73 2e 0a 2a 2f 0a 23 69 66 64 mutexes..*/.#ifd
02f0: 65 66 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f ef SQLITE_MUTEX_
0300: 50 54 48 52 45 41 44 53 0a 0a 23 69 6e 63 6c 75 PTHREADS..#inclu
0310: 64 65 20 3c 70 74 68 72 65 61 64 2e 68 3e 0a 0a de <pthread.h>..
0320: 0a 2f 2a 0a 2a 2a 20 45 61 63 68 20 72 65 63 75 ./*.** Each recu
0330: 72 73 69 76 65 20 6d 75 74 65 78 20 69 73 20 61 rsive mutex is a
0340: 6e 20 69 6e 73 74 61 6e 63 65 20 6f 66 20 74 68 n instance of th
0350: 65 20 66 6f 6c 6c 6f 77 69 6e 67 20 73 74 72 75 e following stru
0360: 63 74 75 72 65 2e 0a 2a 2f 0a 73 74 72 75 63 74 cture..*/.struct
0370: 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 7b sqlite3_mutex {
0380: 0a 20 20 70 74 68 72 65 61 64 5f 6d 75 74 65 78 . pthread_mutex
0390: 5f 74 20 6d 75 74 65 78 3b 20 20 20 20 20 2f 2a _t mutex; /*
03a0: 20 4d 75 74 65 78 20 63 6f 6e 74 72 6f 6c 6c 69 Mutex controlli
03b0: 6e 67 20 74 68 65 20 6c 6f 63 6b 20 2a 2f 0a 20 ng the lock */.
03c0: 20 69 6e 74 20 69 64 3b 20 20 20 20 20 20 20 20 int id;
03d0: 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20 4d /* M
03e0: 75 74 65 78 20 74 79 70 65 20 2a 2f 0a 20 20 69 utex type */. i
03f0: 6e 74 20 6e 52 65 66 3b 20 20 20 20 20 20 20 20 nt nRef;
0400: 20 20 20 20 20 20 20 20 20 20 2f 2a 20 4e 75 6d /* Num
0410: 62 65 72 20 6f 66 20 65 6e 74 72 61 6e 63 65 73 ber of entrances
0420: 20 2a 2f 0a 20 20 70 74 68 72 65 61 64 5f 74 20 */. pthread_t
0430: 6f 77 6e 65 72 3b 20 20 20 20 20 20 20 20 20 20 owner;
0440: 20 2f 2a 20 54 68 72 65 61 64 20 74 68 61 74 20 /* Thread that
0450: 69 73 20 77 69 74 68 69 6e 20 74 68 69 73 20 6d is within this m
0460: 75 74 65 78 20 2a 2f 0a 23 69 66 64 65 66 20 53 utex */.#ifdef S
0470: 51 4c 49 54 45 5f 44 45 42 55 47 0a 20 20 69 6e QLITE_DEBUG. in
0480: 74 20 74 72 61 63 65 3b 20 20 20 20 20 20 20 20 t trace;
0490: 20 20 20 20 20 20 20 20 20 2f 2a 20 54 72 75 65 /* True
04a0: 20 74 6f 20 74 72 61 63 65 20 63 68 61 6e 67 65 to trace change
04b0: 73 20 2a 2f 0a 23 65 6e 64 69 66 0a 7d 3b 0a 23 s */.#endif.};.#
04c0: 69 66 64 65 66 20 53 51 4c 49 54 45 5f 44 45 42 ifdef SQLITE_DEB
04d0: 55 47 0a 23 64 65 66 69 6e 65 20 53 51 4c 49 54 UG.#define SQLIT
04e0: 45 33 5f 4d 55 54 45 58 5f 49 4e 49 54 49 41 4c E3_MUTEX_INITIAL
04f0: 49 5a 45 52 20 7b 20 50 54 48 52 45 41 44 5f 4d IZER { PTHREAD_M
0500: 55 54 45 58 5f 49 4e 49 54 49 41 4c 49 5a 45 52 UTEX_INITIALIZER
0510: 2c 20 30 2c 20 30 2c 20 28 70 74 68 72 65 61 64 , 0, 0, (pthread
0520: 5f 74 29 30 2c 20 30 20 7d 0a 23 65 6c 73 65 0a _t)0, 0 }.#else.
0530: 23 64 65 66 69 6e 65 20 53 51 4c 49 54 45 33 5f #define SQLITE3_
0540: 4d 55 54 45 58 5f 49 4e 49 54 49 41 4c 49 5a 45 MUTEX_INITIALIZE
0550: 52 20 7b 20 50 54 48 52 45 41 44 5f 4d 55 54 45 R { PTHREAD_MUTE
0560: 58 5f 49 4e 49 54 49 41 4c 49 5a 45 52 2c 20 30 X_INITIALIZER, 0
0570: 2c 20 30 2c 20 28 70 74 68 72 65 61 64 5f 74 29 , 0, (pthread_t)
0580: 30 20 7d 0a 23 65 6e 64 69 66 0a 0a 2f 2a 0a 2a 0 }.#endif../*.*
0590: 2a 20 54 68 65 20 73 71 6c 69 74 65 33 5f 6d 75 * The sqlite3_mu
05a0: 74 65 78 5f 68 65 6c 64 28 29 20 61 6e 64 20 73 tex_held() and s
05b0: 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 6e 6f 74 qlite3_mutex_not
05c0: 68 65 6c 64 28 29 20 72 6f 75 74 69 6e 65 20 61 held() routine a
05d0: 72 65 0a 2a 2a 20 69 6e 74 65 6e 64 65 64 20 66 re.** intended f
05e0: 6f 72 20 75 73 65 20 6f 6e 6c 79 20 69 6e 73 69 or use only insi
05f0: 64 65 20 61 73 73 65 72 74 28 29 20 73 74 61 74 de assert() stat
0600: 65 6d 65 6e 74 73 2e 20 20 4f 6e 20 73 6f 6d 65 ements. On some
0610: 20 70 6c 61 74 66 6f 72 6d 73 2c 0a 2a 2a 20 74 platforms,.** t
0620: 68 65 72 65 20 6d 69 67 68 74 20 62 65 20 72 61 here might be ra
0630: 63 65 20 63 6f 6e 64 69 74 69 6f 6e 73 20 74 68 ce conditions th
0640: 61 74 20 63 61 6e 20 63 61 75 73 65 20 74 68 65 at can cause the
0650: 73 65 20 72 6f 75 74 69 6e 65 73 20 74 6f 0a 2a se routines to.*
0660: 2a 20 64 65 6c 69 76 65 72 20 69 6e 63 6f 72 72 * deliver incorr
0670: 65 63 74 20 72 65 73 75 6c 74 73 2e 20 20 49 6e ect results. In
0680: 20 70 61 72 74 69 63 75 6c 61 72 2c 20 69 66 20 particular, if
0690: 70 74 68 72 65 61 64 5f 65 71 75 61 6c 28 29 20 pthread_equal()
06a0: 69 73 0a 2a 2a 20 6e 6f 74 20 61 6e 20 61 74 6f is.** not an ato
06b0: 6d 69 63 20 6f 70 65 72 61 74 69 6f 6e 2c 20 74 mic operation, t
06c0: 68 65 6e 20 74 68 65 73 65 20 72 6f 75 74 69 6e hen these routin
06d0: 65 73 20 6d 69 67 68 74 20 64 65 6c 69 76 65 72 es might deliver
06e0: 79 0a 2a 2a 20 69 6e 63 6f 72 72 65 63 74 20 72 y.** incorrect r
06f0: 65 73 75 6c 74 73 2e 20 20 4f 6e 20 6d 6f 73 74 esults. On most
0700: 20 70 6c 61 74 66 6f 72 6d 73 2c 20 70 74 68 72 platforms, pthr
0710: 65 61 64 5f 65 71 75 61 6c 28 29 20 69 73 20 61 ead_equal() is a
0720: 20 0a 2a 2a 20 63 6f 6d 70 61 72 69 73 6f 6e 20 .** comparison
0730: 6f 66 20 74 77 6f 20 69 6e 74 65 67 65 72 73 20 of two integers
0740: 61 6e 64 20 69 73 20 74 68 65 72 65 66 6f 72 65 and is therefore
0750: 20 61 74 6f 6d 69 63 2e 20 20 42 75 74 20 77 65 atomic. But we
0760: 20 61 72 65 0a 2a 2a 20 74 6f 6c 64 20 74 68 61 are.** told tha
0770: 74 20 48 50 55 58 20 69 73 20 6e 6f 74 20 73 75 t HPUX is not su
0780: 63 68 20 61 20 70 6c 61 74 66 6f 72 6d 2e 20 20 ch a platform.
0790: 49 66 20 73 6f 2c 20 74 68 65 6e 20 74 68 65 73 If so, then thes
07a0: 65 20 72 6f 75 74 69 6e 65 73 0a 2a 2a 20 77 69 e routines.** wi
07b0: 6c 6c 20 6e 6f 74 20 61 6c 77 61 79 73 20 77 6f ll not always wo
07c0: 72 6b 20 63 6f 72 72 65 63 74 6c 79 20 6f 6e 20 rk correctly on
07d0: 48 50 55 58 2e 0a 2a 2a 0a 2a 2a 20 4f 6e 20 74 HPUX..**.** On t
07e0: 68 6f 73 65 20 70 6c 61 74 66 6f 72 6d 73 20 77 hose platforms w
07f0: 68 65 72 65 20 70 74 68 72 65 61 64 5f 65 71 75 here pthread_equ
0800: 61 6c 28 29 20 69 73 20 6e 6f 74 20 61 74 6f 6d al() is not atom
0810: 69 63 2c 20 53 51 4c 69 74 65 0a 2a 2a 20 73 68 ic, SQLite.** sh
0820: 6f 75 6c 64 20 62 65 20 63 6f 6d 70 69 6c 65 64 ould be compiled
0830: 20 77 69 74 68 6f 75 74 20 2d 44 53 51 4c 49 54 without -DSQLIT
0840: 45 5f 44 45 42 55 47 20 61 6e 64 20 77 69 74 68 E_DEBUG and with
0850: 20 2d 44 4e 44 45 42 55 47 20 74 6f 0a 2a 2a 20 -DNDEBUG to.**
0860: 6d 61 6b 65 20 73 75 72 65 20 6e 6f 20 61 73 73 make sure no ass
0870: 65 72 74 28 29 20 73 74 61 74 65 6d 65 6e 74 73 ert() statements
0880: 20 61 72 65 20 65 76 61 6c 75 61 74 65 64 20 61 are evaluated a
0890: 6e 64 20 68 65 6e 63 65 20 74 68 65 73 65 0a 2a nd hence these.*
08a0: 2a 20 72 6f 75 74 69 6e 65 73 20 61 72 65 20 6e * routines are n
08b0: 65 76 65 72 20 63 61 6c 6c 65 64 2e 0a 2a 2f 0a ever called..*/.
08c0: 23 69 66 6e 64 65 66 20 4e 44 45 42 55 47 0a 73 #ifndef NDEBUG.s
08d0: 74 61 74 69 63 20 69 6e 74 20 70 74 68 72 65 61 tatic int pthrea
08e0: 64 4d 75 74 65 78 48 65 6c 64 28 73 71 6c 69 74 dMutexHeld(sqlit
08f0: 65 33 5f 6d 75 74 65 78 20 2a 70 29 7b 0a 20 20 e3_mutex *p){.
0900: 72 65 74 75 72 6e 20 28 70 2d 3e 6e 52 65 66 21 return (p->nRef!
0910: 3d 30 20 26 26 20 70 74 68 72 65 61 64 5f 65 71 =0 && pthread_eq
0920: 75 61 6c 28 70 2d 3e 6f 77 6e 65 72 2c 20 70 74 ual(p->owner, pt
0930: 68 72 65 61 64 5f 73 65 6c 66 28 29 29 29 3b 0a hread_self()));.
0940: 7d 0a 73 74 61 74 69 63 20 69 6e 74 20 70 74 68 }.static int pth
0950: 72 65 61 64 4d 75 74 65 78 4e 6f 74 68 65 6c 64 readMutexNotheld
0960: 28 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a (sqlite3_mutex *
0970: 70 29 7b 0a 20 20 72 65 74 75 72 6e 20 70 2d 3e p){. return p->
0980: 6e 52 65 66 3d 3d 30 20 7c 7c 20 70 74 68 72 65 nRef==0 || pthre
0990: 61 64 5f 65 71 75 61 6c 28 70 2d 3e 6f 77 6e 65 ad_equal(p->owne
09a0: 72 2c 20 70 74 68 72 65 61 64 5f 73 65 6c 66 28 r, pthread_self(
09b0: 29 29 3d 3d 30 3b 0a 7d 0a 23 65 6e 64 69 66 0a ))==0;.}.#endif.
09c0: 0a 2f 2a 0a 2a 2a 20 49 6e 69 74 69 61 6c 69 7a ./*.** Initializ
09d0: 65 20 61 6e 64 20 64 65 69 6e 69 74 69 61 6c 69 e and deinitiali
09e0: 7a 65 20 74 68 65 20 6d 75 74 65 78 20 73 75 62 ze the mutex sub
09f0: 73 79 73 74 65 6d 2e 0a 2a 2f 0a 73 74 61 74 69 system..*/.stati
0a00: 63 20 69 6e 74 20 70 74 68 72 65 61 64 4d 75 74 c int pthreadMut
0a10: 65 78 49 6e 69 74 28 76 6f 69 64 29 7b 20 72 65 exInit(void){ re
0a20: 74 75 72 6e 20 53 51 4c 49 54 45 5f 4f 4b 3b 20 turn SQLITE_OK;
0a30: 7d 0a 73 74 61 74 69 63 20 69 6e 74 20 70 74 68 }.static int pth
0a40: 72 65 61 64 4d 75 74 65 78 45 6e 64 28 76 6f 69 readMutexEnd(voi
0a50: 64 29 7b 20 72 65 74 75 72 6e 20 53 51 4c 49 54 d){ return SQLIT
0a60: 45 5f 4f 4b 3b 20 7d 0a 0a 2f 2a 0a 2a 2a 20 54 E_OK; }../*.** T
0a70: 68 65 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 he sqlite3_mutex
0a80: 5f 61 6c 6c 6f 63 28 29 20 72 6f 75 74 69 6e 65 _alloc() routine
0a90: 20 61 6c 6c 6f 63 61 74 65 73 20 61 20 6e 65 77 allocates a new
0aa0: 0a 2a 2a 20 6d 75 74 65 78 20 61 6e 64 20 72 65 .** mutex and re
0ab0: 74 75 72 6e 73 20 61 20 70 6f 69 6e 74 65 72 20 turns a pointer
0ac0: 74 6f 20 69 74 2e 20 20 49 66 20 69 74 20 72 65 to it. If it re
0ad0: 74 75 72 6e 73 20 4e 55 4c 4c 0a 2a 2a 20 74 68 turns NULL.** th
0ae0: 61 74 20 6d 65 61 6e 73 20 74 68 61 74 20 61 20 at means that a
0af0: 6d 75 74 65 78 20 63 6f 75 6c 64 20 6e 6f 74 20 mutex could not
0b00: 62 65 20 61 6c 6c 6f 63 61 74 65 64 2e 20 20 53 be allocated. S
0b10: 51 4c 69 74 65 0a 2a 2a 20 77 69 6c 6c 20 75 6e QLite.** will un
0b20: 77 69 6e 64 20 69 74 73 20 73 74 61 63 6b 20 61 wind its stack a
0b30: 6e 64 20 72 65 74 75 72 6e 20 61 6e 20 65 72 72 nd return an err
0b40: 6f 72 2e 20 20 54 68 65 20 61 72 67 75 6d 65 6e or. The argumen
0b50: 74 0a 2a 2a 20 74 6f 20 73 71 6c 69 74 65 33 5f t.** to sqlite3_
0b60: 6d 75 74 65 78 5f 61 6c 6c 6f 63 28 29 20 69 73 mutex_alloc() is
0b70: 20 6f 6e 65 20 6f 66 20 74 68 65 73 65 20 69 6e one of these in
0b80: 74 65 67 65 72 20 63 6f 6e 73 74 61 6e 74 73 3a teger constants:
0b90: 0a 2a 2a 0a 2a 2a 20 3c 75 6c 3e 0a 2a 2a 20 3c .**.** <ul>.** <
0ba0: 6c 69 3e 20 20 53 51 4c 49 54 45 5f 4d 55 54 45 li> SQLITE_MUTE
0bb0: 58 5f 46 41 53 54 0a 2a 2a 20 3c 6c 69 3e 20 20 X_FAST.** <li>
0bc0: 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 52 45 43 SQLITE_MUTEX_REC
0bd0: 55 52 53 49 56 45 0a 2a 2a 20 3c 6c 69 3e 20 20 URSIVE.** <li>
0be0: 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 53 54 41 SQLITE_MUTEX_STA
0bf0: 54 49 43 5f 4d 41 53 54 45 52 0a 2a 2a 20 3c 6c TIC_MASTER.** <l
0c00: 69 3e 20 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 i> SQLITE_MUTEX
0c10: 5f 53 54 41 54 49 43 5f 4d 45 4d 0a 2a 2a 20 3c _STATIC_MEM.** <
0c20: 6c 69 3e 20 20 53 51 4c 49 54 45 5f 4d 55 54 45 li> SQLITE_MUTE
0c30: 58 5f 53 54 41 54 49 43 5f 4d 45 4d 32 0a 2a 2a X_STATIC_MEM2.**
0c40: 20 3c 6c 69 3e 20 20 53 51 4c 49 54 45 5f 4d 55 <li> SQLITE_MU
0c50: 54 45 58 5f 53 54 41 54 49 43 5f 50 52 4e 47 0a TEX_STATIC_PRNG.
0c60: 2a 2a 20 3c 6c 69 3e 20 20 53 51 4c 49 54 45 5f ** <li> SQLITE_
0c70: 4d 55 54 45 58 5f 53 54 41 54 49 43 5f 4c 52 55 MUTEX_STATIC_LRU
0c80: 0a 2a 2a 20 3c 2f 75 6c 3e 0a 2a 2a 0a 2a 2a 20 .** </ul>.**.**
0c90: 54 68 65 20 66 69 72 73 74 20 74 77 6f 20 63 6f The first two co
0ca0: 6e 73 74 61 6e 74 73 20 63 61 75 73 65 20 73 71 nstants cause sq
0cb0: 6c 69 74 65 33 5f 6d 75 74 65 78 5f 61 6c 6c 6f lite3_mutex_allo
0cc0: 63 28 29 20 74 6f 20 63 72 65 61 74 65 0a 2a 2a c() to create.**
0cd0: 20 61 20 6e 65 77 20 6d 75 74 65 78 2e 20 20 54 a new mutex. T
0ce0: 68 65 20 6e 65 77 20 6d 75 74 65 78 20 69 73 20 he new mutex is
0cf0: 72 65 63 75 72 73 69 76 65 20 77 68 65 6e 20 53 recursive when S
0d00: 51 4c 49 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 QLITE_MUTEX_RECU
0d10: 52 53 49 56 45 0a 2a 2a 20 69 73 20 75 73 65 64 RSIVE.** is used
0d20: 20 62 75 74 20 6e 6f 74 20 6e 65 63 65 73 73 61 but not necessa
0d30: 72 69 6c 79 20 73 6f 20 77 68 65 6e 20 53 51 4c rily so when SQL
0d40: 49 54 45 5f 4d 55 54 45 58 5f 46 41 53 54 20 69 ITE_MUTEX_FAST i
0d50: 73 20 75 73 65 64 2e 0a 2a 2a 20 54 68 65 20 6d s used..** The m
0d60: 75 74 65 78 20 69 6d 70 6c 65 6d 65 6e 74 61 74 utex implementat
0d70: 69 6f 6e 20 64 6f 65 73 20 6e 6f 74 20 6e 65 65 ion does not nee
0d80: 64 20 74 6f 20 6d 61 6b 65 20 61 20 64 69 73 74 d to make a dist
0d90: 69 6e 63 74 69 6f 6e 0a 2a 2a 20 62 65 74 77 65 inction.** betwe
0da0: 65 6e 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f en SQLITE_MUTEX_
0db0: 52 45 43 55 52 53 49 56 45 20 61 6e 64 20 53 51 RECURSIVE and SQ
0dc0: 4c 49 54 45 5f 4d 55 54 45 58 5f 46 41 53 54 20 LITE_MUTEX_FAST
0dd0: 69 66 20 69 74 20 64 6f 65 73 0a 2a 2a 20 6e 6f if it does.** no
0de0: 74 20 77 61 6e 74 20 74 6f 2e 20 20 42 75 74 20 t want to. But
0df0: 53 51 4c 69 74 65 20 77 69 6c 6c 20 6f 6e 6c 79 SQLite will only
0e00: 20 72 65 71 75 65 73 74 20 61 20 72 65 63 75 72 request a recur
0e10: 73 69 76 65 20 6d 75 74 65 78 20 69 6e 0a 2a 2a sive mutex in.**
0e20: 20 63 61 73 65 73 20 77 68 65 72 65 20 69 74 20 cases where it
0e30: 72 65 61 6c 6c 79 20 6e 65 65 64 73 20 6f 6e 65 really needs one
0e40: 2e 20 20 49 66 20 61 20 66 61 73 74 65 72 20 6e . If a faster n
0e50: 6f 6e 2d 72 65 63 75 72 73 69 76 65 20 6d 75 74 on-recursive mut
0e60: 65 78 0a 2a 2a 20 69 6d 70 6c 65 6d 65 6e 74 61 ex.** implementa
0e70: 74 69 6f 6e 20 69 73 20 61 76 61 69 6c 61 62 6c tion is availabl
0e80: 65 20 6f 6e 20 74 68 65 20 68 6f 73 74 20 70 6c e on the host pl
0e90: 61 74 66 6f 72 6d 2c 20 74 68 65 20 6d 75 74 65 atform, the mute
0ea0: 78 20 73 75 62 73 79 73 74 65 6d 0a 2a 2a 20 6d x subsystem.** m
0eb0: 69 67 68 74 20 72 65 74 75 72 6e 20 73 75 63 68 ight return such
0ec0: 20 61 20 6d 75 74 65 78 20 69 6e 20 72 65 73 70 a mutex in resp
0ed0: 6f 6e 73 65 20 74 6f 20 53 51 4c 49 54 45 5f 4d onse to SQLITE_M
0ee0: 55 54 45 58 5f 46 41 53 54 2e 0a 2a 2a 0a 2a 2a UTEX_FAST..**.**
0ef0: 20 54 68 65 20 6f 74 68 65 72 20 61 6c 6c 6f 77 The other allow
0f00: 65 64 20 70 61 72 61 6d 65 74 65 72 73 20 74 6f ed parameters to
0f10: 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 61 sqlite3_mutex_a
0f20: 6c 6c 6f 63 28 29 20 65 61 63 68 20 72 65 74 75 lloc() each retu
0f30: 72 6e 0a 2a 2a 20 61 20 70 6f 69 6e 74 65 72 20 rn.** a pointer
0f40: 74 6f 20 61 20 73 74 61 74 69 63 20 70 72 65 65 to a static pree
0f50: 78 69 73 74 69 6e 67 20 6d 75 74 65 78 2e 20 20 xisting mutex.
0f60: 54 68 72 65 65 20 73 74 61 74 69 63 20 6d 75 74 Three static mut
0f70: 65 78 65 73 20 61 72 65 0a 2a 2a 20 75 73 65 64 exes are.** used
0f80: 20 62 79 20 74 68 65 20 63 75 72 72 65 6e 74 20 by the current
0f90: 76 65 72 73 69 6f 6e 20 6f 66 20 53 51 4c 69 74 version of SQLit
0fa0: 65 2e 20 20 46 75 74 75 72 65 20 76 65 72 73 69 e. Future versi
0fb0: 6f 6e 73 20 6f 66 20 53 51 4c 69 74 65 0a 2a 2a ons of SQLite.**
0fc0: 20 6d 61 79 20 61 64 64 20 61 64 64 69 74 69 6f may add additio
0fd0: 6e 61 6c 20 73 74 61 74 69 63 20 6d 75 74 65 78 nal static mutex
0fe0: 65 73 2e 20 20 53 74 61 74 69 63 20 6d 75 74 65 es. Static mute
0ff0: 78 65 73 20 61 72 65 20 66 6f 72 20 69 6e 74 65 xes are for inte
1000: 72 6e 61 6c 0a 2a 2a 20 75 73 65 20 62 79 20 53 rnal.** use by S
1010: 51 4c 69 74 65 20 6f 6e 6c 79 2e 20 20 41 70 70 QLite only. App
1020: 6c 69 63 61 74 69 6f 6e 73 20 74 68 61 74 20 75 lications that u
1030: 73 65 20 53 51 4c 69 74 65 20 6d 75 74 65 78 65 se SQLite mutexe
1040: 73 20 73 68 6f 75 6c 64 0a 2a 2a 20 75 73 65 20 s should.** use
1050: 6f 6e 6c 79 20 74 68 65 20 64 79 6e 61 6d 69 63 only the dynamic
1060: 20 6d 75 74 65 78 65 73 20 72 65 74 75 72 6e 65 mutexes returne
1070: 64 20 62 79 20 53 51 4c 49 54 45 5f 4d 55 54 45 d by SQLITE_MUTE
1080: 58 5f 46 41 53 54 20 6f 72 0a 2a 2a 20 53 51 4c X_FAST or.** SQL
1090: 49 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 ITE_MUTEX_RECURS
10a0: 49 56 45 2e 0a 2a 2a 0a 2a 2a 20 4e 6f 74 65 20 IVE..**.** Note
10b0: 74 68 61 74 20 69 66 20 6f 6e 65 20 6f 66 20 74 that if one of t
10c0: 68 65 20 64 79 6e 61 6d 69 63 20 6d 75 74 65 78 he dynamic mutex
10d0: 20 70 61 72 61 6d 65 74 65 72 73 20 28 53 51 4c parameters (SQL
10e0: 49 54 45 5f 4d 55 54 45 58 5f 46 41 53 54 0a 2a ITE_MUTEX_FAST.*
10f0: 2a 20 6f 72 20 53 51 4c 49 54 45 5f 4d 55 54 45 * or SQLITE_MUTE
1100: 58 5f 52 45 43 55 52 53 49 56 45 29 20 69 73 20 X_RECURSIVE) is
1110: 75 73 65 64 20 74 68 65 6e 20 73 71 6c 69 74 65 used then sqlite
1120: 33 5f 6d 75 74 65 78 5f 61 6c 6c 6f 63 28 29 0a 3_mutex_alloc().
1130: 2a 2a 20 72 65 74 75 72 6e 73 20 61 20 64 69 66 ** returns a dif
1140: 66 65 72 65 6e 74 20 6d 75 74 65 78 20 6f 6e 20 ferent mutex on
1150: 65 76 65 72 79 20 63 61 6c 6c 2e 20 20 42 75 74 every call. But
1160: 20 66 6f 72 20 74 68 65 20 73 74 61 74 69 63 20 for the static
1170: 0a 2a 2a 20 6d 75 74 65 78 20 74 79 70 65 73 2c .** mutex types,
1180: 20 74 68 65 20 73 61 6d 65 20 6d 75 74 65 78 20 the same mutex
1190: 69 73 20 72 65 74 75 72 6e 65 64 20 6f 6e 20 65 is returned on e
11a0: 76 65 72 79 20 63 61 6c 6c 20 74 68 61 74 20 68 very call that h
11b0: 61 73 0a 2a 2a 20 74 68 65 20 73 61 6d 65 20 74 as.** the same t
11c0: 79 70 65 20 6e 75 6d 62 65 72 2e 0a 2a 2f 0a 73 ype number..*/.s
11d0: 74 61 74 69 63 20 73 71 6c 69 74 65 33 5f 6d 75 tatic sqlite3_mu
11e0: 74 65 78 20 2a 70 74 68 72 65 61 64 4d 75 74 65 tex *pthreadMute
11f0: 78 41 6c 6c 6f 63 28 69 6e 74 20 69 54 79 70 65 xAlloc(int iType
1200: 29 7b 0a 20 20 73 74 61 74 69 63 20 73 71 6c 69 ){. static sqli
1210: 74 65 33 5f 6d 75 74 65 78 20 73 74 61 74 69 63 te3_mutex static
1220: 4d 75 74 65 78 65 73 5b 5d 20 3d 20 7b 0a 20 20 Mutexes[] = {.
1230: 20 20 53 51 4c 49 54 45 33 5f 4d 55 54 45 58 5f SQLITE3_MUTEX_
1240: 49 4e 49 54 49 41 4c 49 5a 45 52 2c 0a 20 20 20 INITIALIZER,.
1250: 20 53 51 4c 49 54 45 33 5f 4d 55 54 45 58 5f 49 SQLITE3_MUTEX_I
1260: 4e 49 54 49 41 4c 49 5a 45 52 2c 0a 20 20 20 20 NITIALIZER,.
1270: 53 51 4c 49 54 45 33 5f 4d 55 54 45 58 5f 49 4e SQLITE3_MUTEX_IN
1280: 49 54 49 41 4c 49 5a 45 52 2c 0a 20 20 20 20 53 ITIALIZER,. S
1290: 51 4c 49 54 45 33 5f 4d 55 54 45 58 5f 49 4e 49 QLITE3_MUTEX_INI
12a0: 54 49 41 4c 49 5a 45 52 2c 0a 20 20 20 20 53 51 TIALIZER,. SQ
12b0: 4c 49 54 45 33 5f 4d 55 54 45 58 5f 49 4e 49 54 LITE3_MUTEX_INIT
12c0: 49 41 4c 49 5a 45 52 2c 0a 20 20 20 20 53 51 4c IALIZER,. SQL
12d0: 49 54 45 33 5f 4d 55 54 45 58 5f 49 4e 49 54 49 ITE3_MUTEX_INITI
12e0: 41 4c 49 5a 45 52 0a 20 20 7d 3b 0a 20 20 73 71 ALIZER. };. sq
12f0: 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a 70 3b 0a lite3_mutex *p;.
1300: 20 20 73 77 69 74 63 68 28 20 69 54 79 70 65 20 switch( iType
1310: 29 7b 0a 20 20 20 20 63 61 73 65 20 53 51 4c 49 ){. case SQLI
1320: 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49 TE_MUTEX_RECURSI
1330: 56 45 3a 20 7b 0a 20 20 20 20 20 20 70 20 3d 20 VE: {. p =
1340: 73 71 6c 69 74 65 33 4d 61 6c 6c 6f 63 5a 65 72 sqlite3MallocZer
1350: 6f 28 20 73 69 7a 65 6f 66 28 2a 70 29 20 29 3b o( sizeof(*p) );
1360: 0a 20 20 20 20 20 20 69 66 28 20 70 20 29 7b 0a . if( p ){.
1370: 23 69 66 64 65 66 20 53 51 4c 49 54 45 5f 48 4f #ifdef SQLITE_HO
1380: 4d 45 47 52 4f 57 4e 5f 52 45 43 55 52 53 49 56 MEGROWN_RECURSIV
1390: 45 5f 4d 55 54 45 58 0a 20 20 20 20 20 20 20 20 E_MUTEX.
13a0: 2f 2a 20 49 66 20 72 65 63 75 72 73 69 76 65 20 /* If recursive
13b0: 6d 75 74 65 78 65 73 20 61 72 65 20 6e 6f 74 20 mutexes are not
13c0: 61 76 61 69 6c 61 62 6c 65 2c 20 77 65 20 77 69 available, we wi
13d0: 6c 6c 20 68 61 76 65 20 74 6f 0a 20 20 20 20 20 ll have to.
13e0: 20 20 20 2a 2a 20 62 75 69 6c 64 20 6f 75 72 20 ** build our
13f0: 6f 77 6e 2e 20 20 53 65 65 20 62 65 6c 6f 77 2e own. See below.
1400: 20 2a 2f 0a 20 20 20 20 20 20 20 20 70 74 68 72 */. pthr
1410: 65 61 64 5f 6d 75 74 65 78 5f 69 6e 69 74 28 26 ead_mutex_init(&
1420: 70 2d 3e 6d 75 74 65 78 2c 20 30 29 3b 0a 23 65 p->mutex, 0);.#e
1430: 6c 73 65 0a 20 20 20 20 20 20 20 20 2f 2a 20 55 lse. /* U
1440: 73 65 20 61 20 72 65 63 75 72 73 69 76 65 20 6d se a recursive m
1450: 75 74 65 78 20 69 66 20 69 74 20 69 73 20 61 76 utex if it is av
1460: 61 69 6c 61 62 6c 65 20 2a 2f 0a 20 20 20 20 20 ailable */.
1470: 20 20 20 70 74 68 72 65 61 64 5f 6d 75 74 65 78 pthread_mutex
1480: 61 74 74 72 5f 74 20 72 65 63 75 72 73 69 76 65 attr_t recursive
1490: 41 74 74 72 3b 0a 20 20 20 20 20 20 20 20 70 74 Attr;. pt
14a0: 68 72 65 61 64 5f 6d 75 74 65 78 61 74 74 72 5f hread_mutexattr_
14b0: 69 6e 69 74 28 26 72 65 63 75 72 73 69 76 65 41 init(&recursiveA
14c0: 74 74 72 29 3b 0a 20 20 20 20 20 20 20 20 70 74 ttr);. pt
14d0: 68 72 65 61 64 5f 6d 75 74 65 78 61 74 74 72 5f hread_mutexattr_
14e0: 73 65 74 74 79 70 65 28 26 72 65 63 75 72 73 69 settype(&recursi
14f0: 76 65 41 74 74 72 2c 20 50 54 48 52 45 41 44 5f veAttr, PTHREAD_
1500: 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56 45 29 MUTEX_RECURSIVE)
1510: 3b 0a 20 20 20 20 20 20 20 20 70 74 68 72 65 61 ;. pthrea
1520: 64 5f 6d 75 74 65 78 5f 69 6e 69 74 28 26 70 2d d_mutex_init(&p-
1530: 3e 6d 75 74 65 78 2c 20 26 72 65 63 75 72 73 69 >mutex, &recursi
1540: 76 65 41 74 74 72 29 3b 0a 20 20 20 20 20 20 20 veAttr);.
1550: 20 70 74 68 72 65 61 64 5f 6d 75 74 65 78 61 74 pthread_mutexat
1560: 74 72 5f 64 65 73 74 72 6f 79 28 26 72 65 63 75 tr_destroy(&recu
1570: 72 73 69 76 65 41 74 74 72 29 3b 0a 23 65 6e 64 rsiveAttr);.#end
1580: 69 66 0a 20 20 20 20 20 20 20 20 70 2d 3e 69 64 if. p->id
1590: 20 3d 20 69 54 79 70 65 3b 0a 20 20 20 20 20 20 = iType;.
15a0: 7d 0a 20 20 20 20 20 20 62 72 65 61 6b 3b 0a 20 }. break;.
15b0: 20 20 20 7d 0a 20 20 20 20 63 61 73 65 20 53 51 }. case SQ
15c0: 4c 49 54 45 5f 4d 55 54 45 58 5f 46 41 53 54 3a LITE_MUTEX_FAST:
15d0: 20 7b 0a 20 20 20 20 20 20 70 20 3d 20 73 71 6c {. p = sql
15e0: 69 74 65 33 4d 61 6c 6c 6f 63 5a 65 72 6f 28 20 ite3MallocZero(
15f0: 73 69 7a 65 6f 66 28 2a 70 29 20 29 3b 0a 20 20 sizeof(*p) );.
1600: 20 20 20 20 69 66 28 20 70 20 29 7b 0a 20 20 20 if( p ){.
1610: 20 20 20 20 20 70 2d 3e 69 64 20 3d 20 69 54 79 p->id = iTy
1620: 70 65 3b 0a 20 20 20 20 20 20 20 20 70 74 68 72 pe;. pthr
1630: 65 61 64 5f 6d 75 74 65 78 5f 69 6e 69 74 28 26 ead_mutex_init(&
1640: 70 2d 3e 6d 75 74 65 78 2c 20 30 29 3b 0a 20 20 p->mutex, 0);.
1650: 20 20 20 20 7d 0a 20 20 20 20 20 20 62 72 65 61 }. brea
1660: 6b 3b 0a 20 20 20 20 7d 0a 20 20 20 20 64 65 66 k;. }. def
1670: 61 75 6c 74 3a 20 7b 0a 20 20 20 20 20 20 61 73 ault: {. as
1680: 73 65 72 74 28 20 69 54 79 70 65 2d 32 20 3e 3d sert( iType-2 >=
1690: 20 30 20 29 3b 0a 20 20 20 20 20 20 61 73 73 65 0 );. asse
16a0: 72 74 28 20 69 54 79 70 65 2d 32 20 3c 20 73 69 rt( iType-2 < si
16b0: 7a 65 6f 66 28 73 74 61 74 69 63 4d 75 74 65 78 zeof(staticMutex
16c0: 65 73 29 2f 73 69 7a 65 6f 66 28 73 74 61 74 69 es)/sizeof(stati
16d0: 63 4d 75 74 65 78 65 73 5b 30 5d 29 20 29 3b 0a cMutexes[0]) );.
16e0: 20 20 20 20 20 20 70 20 3d 20 26 73 74 61 74 69 p = &stati
16f0: 63 4d 75 74 65 78 65 73 5b 69 54 79 70 65 2d 32 cMutexes[iType-2
1700: 5d 3b 0a 20 20 20 20 20 20 70 2d 3e 69 64 20 3d ];. p->id =
1710: 20 69 54 79 70 65 3b 0a 20 20 20 20 20 20 62 72 iType;. br
1720: 65 61 6b 3b 0a 20 20 20 20 7d 0a 20 20 7d 0a 20 eak;. }. }.
1730: 20 72 65 74 75 72 6e 20 70 3b 0a 7d 0a 0a 0a 2f return p;.}.../
1740: 2a 0a 2a 2a 20 54 68 69 73 20 72 6f 75 74 69 6e *.** This routin
1750: 65 20 64 65 61 6c 6c 6f 63 61 74 65 73 20 61 20 e deallocates a
1760: 70 72 65 76 69 6f 75 73 6c 79 0a 2a 2a 20 61 6c previously.** al
1770: 6c 6f 63 61 74 65 64 20 6d 75 74 65 78 2e 20 20 located mutex.
1780: 53 51 4c 69 74 65 20 69 73 20 63 61 72 65 66 75 SQLite is carefu
1790: 6c 20 74 6f 20 64 65 61 6c 6c 6f 63 61 74 65 20 l to deallocate
17a0: 65 76 65 72 79 0a 2a 2a 20 6d 75 74 65 78 20 74 every.** mutex t
17b0: 68 61 74 20 69 74 20 61 6c 6c 6f 63 61 74 65 73 hat it allocates
17c0: 2e 0a 2a 2f 0a 73 74 61 74 69 63 20 76 6f 69 64 ..*/.static void
17d0: 20 70 74 68 72 65 61 64 4d 75 74 65 78 46 72 65 pthreadMutexFre
17e0: 65 28 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 e(sqlite3_mutex
17f0: 2a 70 29 7b 0a 20 20 61 73 73 65 72 74 28 20 70 *p){. assert( p
1800: 2d 3e 6e 52 65 66 3d 3d 30 20 29 3b 0a 20 20 61 ->nRef==0 );. a
1810: 73 73 65 72 74 28 20 70 2d 3e 69 64 3d 3d 53 51 ssert( p->id==SQ
1820: 4c 49 54 45 5f 4d 55 54 45 58 5f 46 41 53 54 20 LITE_MUTEX_FAST
1830: 7c 7c 20 70 2d 3e 69 64 3d 3d 53 51 4c 49 54 45 || p->id==SQLITE
1840: 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56 45 _MUTEX_RECURSIVE
1850: 20 29 3b 0a 20 20 70 74 68 72 65 61 64 5f 6d 75 );. pthread_mu
1860: 74 65 78 5f 64 65 73 74 72 6f 79 28 26 70 2d 3e tex_destroy(&p->
1870: 6d 75 74 65 78 29 3b 0a 20 20 73 71 6c 69 74 65 mutex);. sqlite
1880: 33 5f 66 72 65 65 28 70 29 3b 0a 7d 0a 0a 2f 2a 3_free(p);.}../*
1890: 0a 2a 2a 20 54 68 65 20 73 71 6c 69 74 65 33 5f .** The sqlite3_
18a0: 6d 75 74 65 78 5f 65 6e 74 65 72 28 29 20 61 6e mutex_enter() an
18b0: 64 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f d sqlite3_mutex_
18c0: 74 72 79 28 29 20 72 6f 75 74 69 6e 65 73 20 61 try() routines a
18d0: 74 74 65 6d 70 74 0a 2a 2a 20 74 6f 20 65 6e 74 ttempt.** to ent
18e0: 65 72 20 61 20 6d 75 74 65 78 2e 20 20 49 66 20 er a mutex. If
18f0: 61 6e 6f 74 68 65 72 20 74 68 72 65 61 64 20 69 another thread i
1900: 73 20 61 6c 72 65 61 64 79 20 77 69 74 68 69 6e s already within
1910: 20 74 68 65 20 6d 75 74 65 78 2c 0a 2a 2a 20 73 the mutex,.** s
1920: 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 65 6e 74 qlite3_mutex_ent
1930: 65 72 28 29 20 77 69 6c 6c 20 62 6c 6f 63 6b 20 er() will block
1940: 61 6e 64 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 and sqlite3_mute
1950: 78 5f 74 72 79 28 29 20 77 69 6c 6c 20 72 65 74 x_try() will ret
1960: 75 72 6e 0a 2a 2a 20 53 51 4c 49 54 45 5f 42 55 urn.** SQLITE_BU
1970: 53 59 2e 20 20 54 68 65 20 73 71 6c 69 74 65 33 SY. The sqlite3
1980: 5f 6d 75 74 65 78 5f 74 72 79 28 29 20 69 6e 74 _mutex_try() int
1990: 65 72 66 61 63 65 20 72 65 74 75 72 6e 73 20 53 erface returns S
19a0: 51 4c 49 54 45 5f 4f 4b 0a 2a 2a 20 75 70 6f 6e QLITE_OK.** upon
19b0: 20 73 75 63 63 65 73 73 66 75 6c 20 65 6e 74 72 successful entr
19c0: 79 2e 20 20 4d 75 74 65 78 65 73 20 63 72 65 61 y. Mutexes crea
19d0: 74 65 64 20 75 73 69 6e 67 20 53 51 4c 49 54 45 ted using SQLITE
19e0: 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56 45 _MUTEX_RECURSIVE
19f0: 20 63 61 6e 0a 2a 2a 20 62 65 20 65 6e 74 65 72 can.** be enter
1a00: 65 64 20 6d 75 6c 74 69 70 6c 65 20 74 69 6d 65 ed multiple time
1a10: 73 20 62 79 20 74 68 65 20 73 61 6d 65 20 74 68 s by the same th
1a20: 72 65 61 64 2e 20 20 49 6e 20 73 75 63 68 20 63 read. In such c
1a30: 61 73 65 73 20 74 68 65 2c 0a 2a 2a 20 6d 75 74 ases the,.** mut
1a40: 65 78 20 6d 75 73 74 20 62 65 20 65 78 69 74 65 ex must be exite
1a50: 64 20 61 6e 20 65 71 75 61 6c 20 6e 75 6d 62 65 d an equal numbe
1a60: 72 20 6f 66 20 74 69 6d 65 73 20 62 65 66 6f 72 r of times befor
1a70: 65 20 61 6e 6f 74 68 65 72 20 74 68 72 65 61 64 e another thread
1a80: 0a 2a 2a 20 63 61 6e 20 65 6e 74 65 72 2e 20 20 .** can enter.
1a90: 49 66 20 74 68 65 20 73 61 6d 65 20 74 68 72 65 If the same thre
1aa0: 61 64 20 74 72 69 65 73 20 74 6f 20 65 6e 74 65 ad tries to ente
1ab0: 72 20 61 6e 79 20 6f 74 68 65 72 20 6b 69 6e 64 r any other kind
1ac0: 20 6f 66 20 6d 75 74 65 78 0a 2a 2a 20 6d 6f 72 of mutex.** mor
1ad0: 65 20 74 68 61 6e 20 6f 6e 63 65 2c 20 74 68 65 e than once, the
1ae0: 20 62 65 68 61 76 69 6f 72 20 69 73 20 75 6e 64 behavior is und
1af0: 65 66 69 6e 65 64 2e 0a 2a 2f 0a 73 74 61 74 69 efined..*/.stati
1b00: 63 20 76 6f 69 64 20 70 74 68 72 65 61 64 4d 75 c void pthreadMu
1b10: 74 65 78 45 6e 74 65 72 28 73 71 6c 69 74 65 33 texEnter(sqlite3
1b20: 5f 6d 75 74 65 78 20 2a 70 29 7b 0a 20 20 61 73 _mutex *p){. as
1b30: 73 65 72 74 28 20 70 2d 3e 69 64 3d 3d 53 51 4c sert( p->id==SQL
1b40: 49 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 ITE_MUTEX_RECURS
1b50: 49 56 45 20 7c 7c 20 70 74 68 72 65 61 64 4d 75 IVE || pthreadMu
1b60: 74 65 78 4e 6f 74 68 65 6c 64 28 70 29 20 29 3b texNotheld(p) );
1b70: 0a 0a 23 69 66 64 65 66 20 53 51 4c 49 54 45 5f ..#ifdef SQLITE_
1b80: 48 4f 4d 45 47 52 4f 57 4e 5f 52 45 43 55 52 53 HOMEGROWN_RECURS
1b90: 49 56 45 5f 4d 55 54 45 58 0a 20 20 2f 2a 20 49 IVE_MUTEX. /* I
1ba0: 66 20 72 65 63 75 72 73 69 76 65 20 6d 75 74 65 f recursive mute
1bb0: 78 65 73 20 61 72 65 20 6e 6f 74 20 61 76 61 69 xes are not avai
1bc0: 6c 61 62 6c 65 2c 20 74 68 65 6e 20 77 65 20 68 lable, then we h
1bd0: 61 76 65 20 74 6f 20 67 72 6f 77 0a 20 20 2a 2a ave to grow. **
1be0: 20 6f 75 72 20 6f 77 6e 2e 20 20 54 68 69 73 20 our own. This
1bf0: 69 6d 70 6c 65 6d 65 6e 74 61 74 69 6f 6e 20 61 implementation a
1c00: 73 73 75 6d 65 73 20 74 68 61 74 20 70 74 68 72 ssumes that pthr
1c10: 65 61 64 5f 65 71 75 61 6c 28 29 0a 20 20 2a 2a ead_equal(). **
1c20: 20 69 73 20 61 74 6f 6d 69 63 20 2d 20 74 68 61 is atomic - tha
1c30: 74 20 69 74 20 63 61 6e 6e 6f 74 20 62 65 20 64 t it cannot be d
1c40: 65 63 65 69 76 65 64 20 69 6e 74 6f 20 74 68 69 eceived into thi
1c50: 6e 6b 69 6e 67 20 73 65 6c 66 0a 20 20 2a 2a 20 nking self. **
1c60: 61 6e 64 20 70 2d 3e 6f 77 6e 65 72 20 61 72 65 and p->owner are
1c70: 20 65 71 75 61 6c 20 69 66 20 70 2d 3e 6f 77 6e equal if p->own
1c80: 65 72 20 63 68 61 6e 67 65 73 20 62 65 74 77 65 er changes betwe
1c90: 65 6e 20 74 77 6f 20 76 61 6c 75 65 73 0a 20 20 en two values.
1ca0: 2a 2a 20 74 68 61 74 20 61 72 65 20 6e 6f 74 20 ** that are not
1cb0: 65 71 75 61 6c 20 74 6f 20 73 65 6c 66 20 77 68 equal to self wh
1cc0: 69 6c 65 20 74 68 65 20 63 6f 6d 70 61 72 69 73 ile the comparis
1cd0: 6f 6e 20 69 73 20 74 61 6b 69 6e 67 20 70 6c 61 on is taking pla
1ce0: 63 65 2e 0a 20 20 2a 2a 20 54 68 69 73 20 69 6d ce.. ** This im
1cf0: 70 6c 65 6d 65 6e 74 61 74 69 6f 6e 20 61 6c 73 plementation als
1d00: 6f 20 61 73 73 75 6d 65 73 20 61 20 63 6f 68 65 o assumes a cohe
1d10: 72 65 6e 74 20 63 61 63 68 65 20 2d 20 74 68 61 rent cache - tha
1d20: 74 20 0a 20 20 2a 2a 20 73 65 70 61 72 61 74 65 t . ** separate
1d30: 20 70 72 6f 63 65 73 73 65 73 20 63 61 6e 6e 6f processes canno
1d40: 74 20 72 65 61 64 20 64 69 66 66 65 72 65 6e 74 t read different
1d50: 20 76 61 6c 75 65 73 20 66 72 6f 6d 20 74 68 65 values from the
1d60: 20 73 61 6d 65 0a 20 20 2a 2a 20 61 64 64 72 65 same. ** addre
1d70: 73 73 20 61 74 20 74 68 65 20 73 61 6d 65 20 74 ss at the same t
1d80: 69 6d 65 2e 20 20 49 66 20 65 69 74 68 65 72 20 ime. If either
1d90: 6f 66 20 74 68 65 73 65 20 74 77 6f 20 63 6f 6e of these two con
1da0: 64 69 74 69 6f 6e 73 0a 20 20 2a 2a 20 61 72 65 ditions. ** are
1db0: 20 6e 6f 74 20 6d 65 74 2c 20 74 68 65 6e 20 74 not met, then t
1dc0: 68 65 20 6d 75 74 65 78 65 73 20 77 69 6c 6c 20 he mutexes will
1dd0: 66 61 69 6c 20 61 6e 64 20 70 72 6f 62 6c 65 6d fail and problem
1de0: 73 20 77 69 6c 6c 20 72 65 73 75 6c 74 2e 0a 20 s will result..
1df0: 20 2a 2f 0a 20 20 7b 0a 20 20 20 20 70 74 68 72 */. {. pthr
1e00: 65 61 64 5f 74 20 73 65 6c 66 20 3d 20 70 74 68 ead_t self = pth
1e10: 72 65 61 64 5f 73 65 6c 66 28 29 3b 0a 20 20 20 read_self();.
1e20: 20 69 66 28 20 70 2d 3e 6e 52 65 66 3e 30 20 26 if( p->nRef>0 &
1e30: 26 20 70 74 68 72 65 61 64 5f 65 71 75 61 6c 28 & pthread_equal(
1e40: 70 2d 3e 6f 77 6e 65 72 2c 20 73 65 6c 66 29 20 p->owner, self)
1e50: 29 7b 0a 20 20 20 20 20 20 70 2d 3e 6e 52 65 66 ){. p->nRef
1e60: 2b 2b 3b 0a 20 20 20 20 7d 65 6c 73 65 7b 0a 20 ++;. }else{.
1e70: 20 20 20 20 20 70 74 68 72 65 61 64 5f 6d 75 74 pthread_mut
1e80: 65 78 5f 6c 6f 63 6b 28 26 70 2d 3e 6d 75 74 65 ex_lock(&p->mute
1e90: 78 29 3b 0a 20 20 20 20 20 20 61 73 73 65 72 74 x);. assert
1ea0: 28 20 70 2d 3e 6e 52 65 66 3d 3d 30 20 29 3b 0a ( p->nRef==0 );.
1eb0: 20 20 20 20 20 20 70 2d 3e 6f 77 6e 65 72 20 3d p->owner =
1ec0: 20 73 65 6c 66 3b 0a 20 20 20 20 20 20 70 2d 3e self;. p->
1ed0: 6e 52 65 66 20 3d 20 31 3b 0a 20 20 20 20 7d 0a nRef = 1;. }.
1ee0: 20 20 7d 0a 23 65 6c 73 65 0a 20 20 2f 2a 20 55 }.#else. /* U
1ef0: 73 65 20 74 68 65 20 62 75 69 6c 74 2d 69 6e 20 se the built-in
1f00: 72 65 63 75 72 73 69 76 65 20 6d 75 74 65 78 65 recursive mutexe
1f10: 73 20 69 66 20 74 68 65 79 20 61 72 65 20 61 76 s if they are av
1f20: 61 69 6c 61 62 6c 65 2e 0a 20 20 2a 2f 0a 20 20 ailable.. */.
1f30: 70 74 68 72 65 61 64 5f 6d 75 74 65 78 5f 6c 6f pthread_mutex_lo
1f40: 63 6b 28 26 70 2d 3e 6d 75 74 65 78 29 3b 0a 20 ck(&p->mutex);.
1f50: 20 70 2d 3e 6f 77 6e 65 72 20 3d 20 70 74 68 72 p->owner = pthr
1f60: 65 61 64 5f 73 65 6c 66 28 29 3b 0a 20 20 70 2d ead_self();. p-
1f70: 3e 6e 52 65 66 2b 2b 3b 0a 23 65 6e 64 69 66 0a >nRef++;.#endif.
1f80: 0a 23 69 66 64 65 66 20 53 51 4c 49 54 45 5f 44 .#ifdef SQLITE_D
1f90: 45 42 55 47 0a 20 20 69 66 28 20 70 2d 3e 74 72 EBUG. if( p->tr
1fa0: 61 63 65 20 29 7b 0a 20 20 20 20 70 72 69 6e 74 ace ){. print
1fb0: 66 28 22 65 6e 74 65 72 20 6d 75 74 65 78 20 25 f("enter mutex %
1fc0: 70 20 28 25 64 29 20 77 69 74 68 20 6e 52 65 66 p (%d) with nRef
1fd0: 3d 25 64 5c 6e 22 2c 20 70 2c 20 70 2d 3e 74 72 =%d\n", p, p->tr
1fe0: 61 63 65 2c 20 70 2d 3e 6e 52 65 66 29 3b 0a 20 ace, p->nRef);.
1ff0: 20 7d 0a 23 65 6e 64 69 66 0a 7d 0a 73 74 61 74 }.#endif.}.stat
2000: 69 63 20 69 6e 74 20 70 74 68 72 65 61 64 4d 75 ic int pthreadMu
2010: 74 65 78 54 72 79 28 73 71 6c 69 74 65 33 5f 6d texTry(sqlite3_m
2020: 75 74 65 78 20 2a 70 29 7b 0a 20 20 69 6e 74 20 utex *p){. int
2030: 72 63 3b 0a 20 20 61 73 73 65 72 74 28 20 70 2d rc;. assert( p-
2040: 3e 69 64 3d 3d 53 51 4c 49 54 45 5f 4d 55 54 45 >id==SQLITE_MUTE
2050: 58 5f 52 45 43 55 52 53 49 56 45 20 7c 7c 20 70 X_RECURSIVE || p
2060: 74 68 72 65 61 64 4d 75 74 65 78 4e 6f 74 68 65 threadMutexNothe
2070: 6c 64 28 70 29 20 29 3b 0a 0a 23 69 66 64 65 66 ld(p) );..#ifdef
2080: 20 53 51 4c 49 54 45 5f 48 4f 4d 45 47 52 4f 57 SQLITE_HOMEGROW
2090: 4e 5f 52 45 43 55 52 53 49 56 45 5f 4d 55 54 45 N_RECURSIVE_MUTE
20a0: 58 0a 20 20 2f 2a 20 49 66 20 72 65 63 75 72 73 X. /* If recurs
20b0: 69 76 65 20 6d 75 74 65 78 65 73 20 61 72 65 20 ive mutexes are
20c0: 6e 6f 74 20 61 76 61 69 6c 61 62 6c 65 2c 20 74 not available, t
20d0: 68 65 6e 20 77 65 20 68 61 76 65 20 74 6f 20 67 hen we have to g
20e0: 72 6f 77 0a 20 20 2a 2a 20 6f 75 72 20 6f 77 6e row. ** our own
20f0: 2e 20 20 54 68 69 73 20 69 6d 70 6c 65 6d 65 6e . This implemen
2100: 74 61 74 69 6f 6e 20 61 73 73 75 6d 65 73 20 74 tation assumes t
2110: 68 61 74 20 70 74 68 72 65 61 64 5f 65 71 75 61 hat pthread_equa
2120: 6c 28 29 0a 20 20 2a 2a 20 69 73 20 61 74 6f 6d l(). ** is atom
2130: 69 63 20 2d 20 74 68 61 74 20 69 74 20 63 61 6e ic - that it can
2140: 6e 6f 74 20 62 65 20 64 65 63 65 69 76 65 64 20 not be deceived
2150: 69 6e 74 6f 20 74 68 69 6e 6b 69 6e 67 20 73 65 into thinking se
2160: 6c 66 0a 20 20 2a 2a 20 61 6e 64 20 70 2d 3e 6f lf. ** and p->o
2170: 77 6e 65 72 20 61 72 65 20 65 71 75 61 6c 20 69 wner are equal i
2180: 66 20 70 2d 3e 6f 77 6e 65 72 20 63 68 61 6e 67 f p->owner chang
2190: 65 73 20 62 65 74 77 65 65 6e 20 74 77 6f 20 76 es between two v
21a0: 61 6c 75 65 73 0a 20 20 2a 2a 20 74 68 61 74 20 alues. ** that
21b0: 61 72 65 20 6e 6f 74 20 65 71 75 61 6c 20 74 6f are not equal to
21c0: 20 73 65 6c 66 20 77 68 69 6c 65 20 74 68 65 20 self while the
21d0: 63 6f 6d 70 61 72 69 73 6f 6e 20 69 73 20 74 61 comparison is ta
21e0: 6b 69 6e 67 20 70 6c 61 63 65 2e 0a 20 20 2a 2a king place.. **
21f0: 20 54 68 69 73 20 69 6d 70 6c 65 6d 65 6e 74 61 This implementa
2200: 74 69 6f 6e 20 61 6c 73 6f 20 61 73 73 75 6d 65 tion also assume
2210: 73 20 61 20 63 6f 68 65 72 65 6e 74 20 63 61 63 s a coherent cac
2220: 68 65 20 2d 20 74 68 61 74 20 0a 20 20 2a 2a 20 he - that . **
2230: 73 65 70 61 72 61 74 65 20 70 72 6f 63 65 73 73 separate process
2240: 65 73 20 63 61 6e 6e 6f 74 20 72 65 61 64 20 64 es cannot read d
2250: 69 66 66 65 72 65 6e 74 20 76 61 6c 75 65 73 20 ifferent values
2260: 66 72 6f 6d 20 74 68 65 20 73 61 6d 65 0a 20 20 from the same.
2270: 2a 2a 20 61 64 64 72 65 73 73 20 61 74 20 74 68 ** address at th
2280: 65 20 73 61 6d 65 20 74 69 6d 65 2e 20 20 49 66 e same time. If
2290: 20 65 69 74 68 65 72 20 6f 66 20 74 68 65 73 65 either of these
22a0: 20 74 77 6f 20 63 6f 6e 64 69 74 69 6f 6e 73 0a two conditions.
22b0: 20 20 2a 2a 20 61 72 65 20 6e 6f 74 20 6d 65 74 ** are not met
22c0: 2c 20 74 68 65 6e 20 74 68 65 20 6d 75 74 65 78 , then the mutex
22d0: 65 73 20 77 69 6c 6c 20 66 61 69 6c 20 61 6e 64 es will fail and
22e0: 20 70 72 6f 62 6c 65 6d 73 20 77 69 6c 6c 20 72 problems will r
22f0: 65 73 75 6c 74 2e 0a 20 20 2a 2f 0a 20 20 7b 0a esult.. */. {.
2300: 20 20 20 20 70 74 68 72 65 61 64 5f 74 20 73 65 pthread_t se
2310: 6c 66 20 3d 20 70 74 68 72 65 61 64 5f 73 65 6c lf = pthread_sel
2320: 66 28 29 3b 0a 20 20 20 20 69 66 28 20 70 2d 3e f();. if( p->
2330: 6e 52 65 66 3e 30 20 26 26 20 70 74 68 72 65 61 nRef>0 && pthrea
2340: 64 5f 65 71 75 61 6c 28 70 2d 3e 6f 77 6e 65 72 d_equal(p->owner
2350: 2c 20 73 65 6c 66 29 20 29 7b 0a 20 20 20 20 20 , self) ){.
2360: 20 70 2d 3e 6e 52 65 66 2b 2b 3b 0a 20 20 20 20 p->nRef++;.
2370: 20 20 72 63 20 3d 20 53 51 4c 49 54 45 5f 4f 4b rc = SQLITE_OK
2380: 3b 0a 20 20 20 20 7d 65 6c 73 65 20 69 66 28 20 ;. }else if(
2390: 70 74 68 72 65 61 64 5f 6d 75 74 65 78 5f 6c 6f pthread_mutex_lo
23a0: 63 6b 28 26 70 2d 3e 6d 75 74 65 78 29 3d 3d 30 ck(&p->mutex)==0
23b0: 20 29 7b 0a 20 20 20 20 20 20 61 73 73 65 72 74 ){. assert
23c0: 28 20 70 2d 3e 6e 52 65 66 3d 3d 30 20 29 3b 0a ( p->nRef==0 );.
23d0: 20 20 20 20 20 20 70 2d 3e 6f 77 6e 65 72 20 3d p->owner =
23e0: 20 73 65 6c 66 3b 0a 20 20 20 20 20 20 70 2d 3e self;. p->
23f0: 6e 52 65 66 20 3d 20 31 3b 0a 20 20 20 20 20 20 nRef = 1;.
2400: 72 63 20 3d 20 53 51 4c 49 54 45 5f 4f 4b 3b 0a rc = SQLITE_OK;.
2410: 20 20 20 20 7d 65 6c 73 65 7b 0a 20 20 20 20 20 }else{.
2420: 20 72 63 20 3d 20 53 51 4c 49 54 45 5f 42 55 53 rc = SQLITE_BUS
2430: 59 3b 0a 20 20 20 20 7d 0a 20 20 7d 0a 23 65 6c Y;. }. }.#el
2440: 73 65 0a 20 20 2f 2a 20 55 73 65 20 74 68 65 20 se. /* Use the
2450: 62 75 69 6c 74 2d 69 6e 20 72 65 63 75 72 73 69 built-in recursi
2460: 76 65 20 6d 75 74 65 78 65 73 20 69 66 20 74 68 ve mutexes if th
2470: 65 79 20 61 72 65 20 61 76 61 69 6c 61 62 6c 65 ey are available
2480: 2e 0a 20 20 2a 2f 0a 20 20 69 66 28 20 70 74 68 .. */. if( pth
2490: 72 65 61 64 5f 6d 75 74 65 78 5f 74 72 79 6c 6f read_mutex_trylo
24a0: 63 6b 28 26 70 2d 3e 6d 75 74 65 78 29 3d 3d 30 ck(&p->mutex)==0
24b0: 20 29 7b 0a 20 20 20 20 70 2d 3e 6f 77 6e 65 72 ){. p->owner
24c0: 20 3d 20 70 74 68 72 65 61 64 5f 73 65 6c 66 28 = pthread_self(
24d0: 29 3b 0a 20 20 20 20 70 2d 3e 6e 52 65 66 2b 2b );. p->nRef++
24e0: 3b 0a 20 20 20 20 72 63 20 3d 20 53 51 4c 49 54 ;. rc = SQLIT
24f0: 45 5f 4f 4b 3b 0a 20 20 7d 65 6c 73 65 7b 0a 20 E_OK;. }else{.
2500: 20 20 20 72 63 20 3d 20 53 51 4c 49 54 45 5f 42 rc = SQLITE_B
2510: 55 53 59 3b 0a 20 20 7d 0a 23 65 6e 64 69 66 0a USY;. }.#endif.
2520: 0a 23 69 66 64 65 66 20 53 51 4c 49 54 45 5f 44 .#ifdef SQLITE_D
2530: 45 42 55 47 0a 20 20 69 66 28 20 72 63 3d 3d 53 EBUG. if( rc==S
2540: 51 4c 49 54 45 5f 4f 4b 20 26 26 20 70 2d 3e 74 QLITE_OK && p->t
2550: 72 61 63 65 20 29 7b 0a 20 20 20 20 70 72 69 6e race ){. prin
2560: 74 66 28 22 65 6e 74 65 72 20 6d 75 74 65 78 20 tf("enter mutex
2570: 25 70 20 28 25 64 29 20 77 69 74 68 20 6e 52 65 %p (%d) with nRe
2580: 66 3d 25 64 5c 6e 22 2c 20 70 2c 20 70 2d 3e 74 f=%d\n", p, p->t
2590: 72 61 63 65 2c 20 70 2d 3e 6e 52 65 66 29 3b 0a race, p->nRef);.
25a0: 20 20 7d 0a 23 65 6e 64 69 66 0a 20 20 72 65 74 }.#endif. ret
25b0: 75 72 6e 20 72 63 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a urn rc;.}../*.**
25c0: 20 54 68 65 20 73 71 6c 69 74 65 33 5f 6d 75 74 The sqlite3_mut
25d0: 65 78 5f 6c 65 61 76 65 28 29 20 72 6f 75 74 69 ex_leave() routi
25e0: 6e 65 20 65 78 69 74 73 20 61 20 6d 75 74 65 78 ne exits a mutex
25f0: 20 74 68 61 74 20 77 61 73 0a 2a 2a 20 70 72 65 that was.** pre
2600: 76 69 6f 75 73 6c 79 20 65 6e 74 65 72 65 64 20 viously entered
2610: 62 79 20 74 68 65 20 73 61 6d 65 20 74 68 72 65 by the same thre
2620: 61 64 2e 20 20 54 68 65 20 62 65 68 61 76 69 6f ad. The behavio
2630: 72 0a 2a 2a 20 69 73 20 75 6e 64 65 66 69 6e 65 r.** is undefine
2640: 64 20 69 66 20 74 68 65 20 6d 75 74 65 78 20 69 d if the mutex i
2650: 73 20 6e 6f 74 20 63 75 72 72 65 6e 74 6c 79 20 s not currently
2660: 65 6e 74 65 72 65 64 20 6f 72 0a 2a 2a 20 69 73 entered or.** is
2670: 20 6e 6f 74 20 63 75 72 72 65 6e 74 6c 79 20 61 not currently a
2680: 6c 6c 6f 63 61 74 65 64 2e 20 20 53 51 4c 69 74 llocated. SQLit
2690: 65 20 77 69 6c 6c 20 6e 65 76 65 72 20 64 6f 20 e will never do
26a0: 65 69 74 68 65 72 2e 0a 2a 2f 0a 73 74 61 74 69 either..*/.stati
26b0: 63 20 76 6f 69 64 20 70 74 68 72 65 61 64 4d 75 c void pthreadMu
26c0: 74 65 78 4c 65 61 76 65 28 73 71 6c 69 74 65 33 texLeave(sqlite3
26d0: 5f 6d 75 74 65 78 20 2a 70 29 7b 0a 20 20 61 73 _mutex *p){. as
26e0: 73 65 72 74 28 20 73 71 6c 69 74 65 33 5f 6d 75 sert( sqlite3_mu
26f0: 74 65 78 5f 68 65 6c 64 28 70 29 20 29 3b 0a 20 tex_held(p) );.
2700: 20 70 2d 3e 6e 52 65 66 2d 2d 3b 0a 20 20 61 73 p->nRef--;. as
2710: 73 65 72 74 28 20 70 2d 3e 6e 52 65 66 3d 3d 30 sert( p->nRef==0
2720: 20 7c 7c 20 70 2d 3e 69 64 3d 3d 53 51 4c 49 54 || p->id==SQLIT
2730: 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56 E_MUTEX_RECURSIV
2740: 45 20 29 3b 0a 0a 23 69 66 64 65 66 20 53 51 4c E );..#ifdef SQL
2750: 49 54 45 5f 48 4f 4d 45 47 52 4f 57 4e 5f 52 45 ITE_HOMEGROWN_RE
2760: 43 55 52 53 49 56 45 5f 4d 55 54 45 58 0a 20 20 CURSIVE_MUTEX.
2770: 69 66 28 20 70 2d 3e 6e 52 65 66 3d 3d 30 20 29 if( p->nRef==0 )
2780: 7b 0a 20 20 20 20 70 74 68 72 65 61 64 5f 6d 75 {. pthread_mu
2790: 74 65 78 5f 75 6e 6c 6f 63 6b 28 26 70 2d 3e 6d tex_unlock(&p->m
27a0: 75 74 65 78 29 3b 0a 20 20 7d 0a 23 65 6c 73 65 utex);. }.#else
27b0: 0a 20 20 70 74 68 72 65 61 64 5f 6d 75 74 65 78 . pthread_mutex
27c0: 5f 75 6e 6c 6f 63 6b 28 26 70 2d 3e 6d 75 74 65 _unlock(&p->mute
27d0: 78 29 3b 0a 23 65 6e 64 69 66 0a 0a 23 69 66 64 x);.#endif..#ifd
27e0: 65 66 20 53 51 4c 49 54 45 5f 44 45 42 55 47 0a ef SQLITE_DEBUG.
27f0: 20 20 69 66 28 20 70 2d 3e 74 72 61 63 65 20 29 if( p->trace )
2800: 7b 0a 20 20 20 20 70 72 69 6e 74 66 28 22 6c 65 {. printf("le
2810: 61 76 65 20 6d 75 74 65 78 20 25 70 20 28 25 64 ave mutex %p (%d
2820: 29 20 77 69 74 68 20 6e 52 65 66 3d 25 64 5c 6e ) with nRef=%d\n
2830: 22 2c 20 70 2c 20 70 2d 3e 74 72 61 63 65 2c 20 ", p, p->trace,
2840: 70 2d 3e 6e 52 65 66 29 3b 0a 20 20 7d 0a 23 65 p->nRef);. }.#e
2850: 6e 64 69 66 0a 7d 0a 0a 73 71 6c 69 74 65 33 5f ndif.}..sqlite3_
2860: 6d 75 74 65 78 5f 6d 65 74 68 6f 64 73 20 2a 73 mutex_methods *s
2870: 71 6c 69 74 65 33 44 65 66 61 75 6c 74 4d 75 74 qlite3DefaultMut
2880: 65 78 28 76 6f 69 64 29 7b 0a 20 20 73 74 61 74 ex(void){. stat
2890: 69 63 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 ic sqlite3_mutex
28a0: 5f 6d 65 74 68 6f 64 73 20 73 4d 75 74 65 78 20 _methods sMutex
28b0: 3d 20 7b 0a 20 20 20 20 70 74 68 72 65 61 64 4d = {. pthreadM
28c0: 75 74 65 78 49 6e 69 74 2c 0a 20 20 20 20 70 74 utexInit,. pt
28d0: 68 72 65 61 64 4d 75 74 65 78 41 6c 6c 6f 63 2c hreadMutexAlloc,
28e0: 0a 20 20 20 20 70 74 68 72 65 61 64 4d 75 74 65 . pthreadMute
28f0: 78 46 72 65 65 2c 0a 20 20 20 20 70 74 68 72 65 xFree,. pthre
2900: 61 64 4d 75 74 65 78 45 6e 74 65 72 2c 0a 20 20 adMutexEnter,.
2910: 20 20 70 74 68 72 65 61 64 4d 75 74 65 78 54 72 pthreadMutexTr
2920: 79 2c 0a 20 20 20 20 70 74 68 72 65 61 64 4d 75 y,. pthreadMu
2930: 74 65 78 4c 65 61 76 65 2c 0a 20 20 20 20 70 74 texLeave,. pt
2940: 68 72 65 61 64 4d 75 74 65 78 45 6e 64 2c 0a 0a hreadMutexEnd,..
2950: 20 20 20 20 70 74 68 72 65 61 64 4d 75 74 65 78 pthreadMutex
2960: 48 65 6c 64 2c 0a 20 20 20 20 70 74 68 72 65 61 Held,. pthrea
2970: 64 4d 75 74 65 78 4e 6f 74 68 65 6c 64 0a 20 20 dMutexNotheld.
2980: 7d 3b 0a 0a 20 20 72 65 74 75 72 6e 20 26 73 4d };.. return &sM
2990: 75 74 65 78 3b 0a 7d 0a 0a 23 65 6e 64 69 66 20 utex;.}..#endif
29a0: 2f 2a 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f /* SQLITE_MUTEX_
29b0: 50 54 48 52 45 41 44 20 2a 2f 0a PTHREAD */.