/ Hex Artifact Content
Login

Artifact 882d735098c07c8c6a5472b8dd66e19675fe117f:


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 4f 53 2f 32 0a 2a 2f 0a 23 69 6e   for OS/2.*/.#in
01c0: 63 6c 75 64 65 20 22 73 71 6c 69 74 65 49 6e 74  clude "sqliteInt
01d0: 2e 68 22 0a 0a 2f 2a 0a 2a 2a 20 54 68 65 20 63  .h"../*.** The c
01e0: 6f 64 65 20 69 6e 20 74 68 69 73 20 66 69 6c 65  ode in this file
01f0: 20 69 73 20 6f 6e 6c 79 20 75 73 65 64 20 69 66   is only used if
0200: 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 4f 53   SQLITE_MUTEX_OS
0210: 32 20 69 73 20 64 65 66 69 6e 65 64 2e 0a 2a 2a  2 is defined..**
0220: 20 53 65 65 20 74 68 65 20 6d 75 74 65 78 2e 68   See the mutex.h
0230: 20 66 69 6c 65 20 66 6f 72 20 64 65 74 61 69 6c   file for detail
0240: 73 2e 0a 2a 2f 0a 23 69 66 64 65 66 20 53 51 4c  s..*/.#ifdef SQL
0250: 49 54 45 5f 4d 55 54 45 58 5f 4f 53 32 0a 0a 2f  ITE_MUTEX_OS2../
0260: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0270: 2a 2a 2a 2a 2a 2a 20 4f 53 2f 32 20 4d 75 74 65  ****** OS/2 Mute
0280: 78 20 49 6d 70 6c 65 6d 65 6e 74 61 74 69 6f 6e  x Implementation
0290: 20 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a   ***************
02a0: 2a 2a 2a 2a 2a 2a 2a 0a 2a 2a 0a 2a 2a 20 54 68  *******.**.** Th
02b0: 69 73 20 69 6d 70 6c 65 6d 65 6e 74 61 74 69 6f  is implementatio
02c0: 6e 20 6f 66 20 6d 75 74 65 78 65 73 20 69 73 20  n of mutexes is 
02d0: 62 75 69 6c 74 20 75 73 69 6e 67 20 74 68 65 20  built using the 
02e0: 4f 53 2f 32 20 41 50 49 2e 0a 2a 2f 0a 0a 2f 2a  OS/2 API..*/../*
02f0: 0a 2a 2a 20 54 68 65 20 6d 75 74 65 78 20 6f 62  .** The mutex ob
0300: 6a 65 63 74 0a 2a 2a 20 45 61 63 68 20 72 65 63  ject.** Each rec
0310: 75 72 73 69 76 65 20 6d 75 74 65 78 20 69 73 20  ursive mutex is 
0320: 61 6e 20 69 6e 73 74 61 6e 63 65 20 6f 66 20 74  an instance of t
0330: 68 65 20 66 6f 6c 6c 6f 77 69 6e 67 20 73 74 72  he following str
0340: 75 63 74 75 72 65 2e 0a 2a 2f 0a 73 74 72 75 63  ucture..*/.struc
0350: 74 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20  t sqlite3_mutex 
0360: 7b 0a 20 20 48 4d 54 58 20 6d 75 74 65 78 3b 20  {.  HMTX mutex; 
0370: 20 20 20 20 20 20 2f 2a 20 4d 75 74 65 78 20 63        /* Mutex c
0380: 6f 6e 74 72 6f 6c 6c 69 6e 67 20 74 68 65 20 6c  ontrolling the l
0390: 6f 63 6b 20 2a 2f 0a 20 20 69 6e 74 20 20 69 64  ock */.  int  id
03a0: 3b 20 20 20 20 20 20 20 20 20 20 2f 2a 20 4d 75  ;          /* Mu
03b0: 74 65 78 20 74 79 70 65 20 2a 2f 0a 23 69 66 64  tex type */.#ifd
03c0: 65 66 20 53 51 4c 49 54 45 5f 44 45 42 55 47 0a  ef SQLITE_DEBUG.
03d0: 20 69 6e 74 20 20 20 74 72 61 63 65 3b 20 20 20   int   trace;   
03e0: 20 20 20 20 2f 2a 20 54 72 75 65 20 74 6f 20 74      /* True to t
03f0: 72 61 63 65 20 63 68 61 6e 67 65 73 20 2a 2f 0a  race changes */.
0400: 23 65 6e 64 69 66 0a 7d 3b 0a 0a 23 69 66 64 65  #endif.};..#ifde
0410: 66 20 53 51 4c 49 54 45 5f 44 45 42 55 47 0a 23  f SQLITE_DEBUG.#
0420: 64 65 66 69 6e 65 20 53 51 4c 49 54 45 33 5f 4d  define SQLITE3_M
0430: 55 54 45 58 5f 49 4e 49 54 49 41 4c 49 5a 45 52  UTEX_INITIALIZER
0440: 20 7b 20 30 2c 20 30 2c 20 30 20 7d 0a 23 65 6c   { 0, 0, 0 }.#el
0450: 73 65 0a 23 64 65 66 69 6e 65 20 53 51 4c 49 54  se.#define SQLIT
0460: 45 33 5f 4d 55 54 45 58 5f 49 4e 49 54 49 41 4c  E3_MUTEX_INITIAL
0470: 49 5a 45 52 20 7b 20 30 2c 20 30 20 7d 0a 23 65  IZER { 0, 0 }.#e
0480: 6e 64 69 66 0a 0a 2f 2a 0a 2a 2a 20 49 6e 69 74  ndif../*.** Init
0490: 69 61 6c 69 7a 65 20 61 6e 64 20 64 65 69 6e 69  ialize and deini
04a0: 74 69 61 6c 69 7a 65 20 74 68 65 20 6d 75 74 65  tialize the mute
04b0: 78 20 73 75 62 73 79 73 74 65 6d 2e 0a 2a 2f 0a  x subsystem..*/.
04c0: 73 74 61 74 69 63 20 69 6e 74 20 6f 73 32 4d 75  static int os2Mu
04d0: 74 65 78 49 6e 69 74 28 76 6f 69 64 29 7b 20 72  texInit(void){ r
04e0: 65 74 75 72 6e 20 53 51 4c 49 54 45 5f 4f 4b 3b  eturn SQLITE_OK;
04f0: 20 7d 0a 73 74 61 74 69 63 20 69 6e 74 20 6f 73   }.static int os
0500: 32 4d 75 74 65 78 45 6e 64 28 76 6f 69 64 29 7b  2MutexEnd(void){
0510: 20 72 65 74 75 72 6e 20 53 51 4c 49 54 45 5f 4f   return SQLITE_O
0520: 4b 3b 20 7d 0a 0a 2f 2a 0a 2a 2a 20 54 68 65 20  K; }../*.** The 
0530: 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 61 6c  sqlite3_mutex_al
0540: 6c 6f 63 28 29 20 72 6f 75 74 69 6e 65 20 61 6c  loc() routine al
0550: 6c 6f 63 61 74 65 73 20 61 20 6e 65 77 0a 2a 2a  locates a new.**
0560: 20 6d 75 74 65 78 20 61 6e 64 20 72 65 74 75 72   mutex and retur
0570: 6e 73 20 61 20 70 6f 69 6e 74 65 72 20 74 6f 20  ns a pointer to 
0580: 69 74 2e 20 20 49 66 20 69 74 20 72 65 74 75 72  it.  If it retur
0590: 6e 73 20 4e 55 4c 4c 0a 2a 2a 20 74 68 61 74 20  ns NULL.** that 
05a0: 6d 65 61 6e 73 20 74 68 61 74 20 61 20 6d 75 74  means that a mut
05b0: 65 78 20 63 6f 75 6c 64 20 6e 6f 74 20 62 65 20  ex could not be 
05c0: 61 6c 6c 6f 63 61 74 65 64 2e 20 0a 2a 2a 20 53  allocated. .** S
05d0: 51 4c 69 74 65 20 77 69 6c 6c 20 75 6e 77 69 6e  QLite will unwin
05e0: 64 20 69 74 73 20 73 74 61 63 6b 20 61 6e 64 20  d its stack and 
05f0: 72 65 74 75 72 6e 20 61 6e 20 65 72 72 6f 72 2e  return an error.
0600: 20 20 54 68 65 20 61 72 67 75 6d 65 6e 74 0a 2a    The argument.*
0610: 2a 20 74 6f 20 73 71 6c 69 74 65 33 5f 6d 75 74  * to sqlite3_mut
0620: 65 78 5f 61 6c 6c 6f 63 28 29 20 69 73 20 6f 6e  ex_alloc() is on
0630: 65 20 6f 66 20 74 68 65 73 65 20 69 6e 74 65 67  e of these integ
0640: 65 72 20 63 6f 6e 73 74 61 6e 74 73 3a 0a 2a 2a  er constants:.**
0650: 0a 2a 2a 20 3c 75 6c 3e 0a 2a 2a 20 3c 6c 69 3e  .** <ul>.** <li>
0660: 20 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 46    SQLITE_MUTEX_F
0670: 41 53 54 0a 2a 2a 20 3c 6c 69 3e 20 20 53 51 4c  AST.** <li>  SQL
0680: 49 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53  ITE_MUTEX_RECURS
0690: 49 56 45 0a 2a 2a 20 3c 6c 69 3e 20 20 53 51 4c  IVE.** <li>  SQL
06a0: 49 54 45 5f 4d 55 54 45 58 5f 53 54 41 54 49 43  ITE_MUTEX_STATIC
06b0: 5f 4d 41 53 54 45 52 0a 2a 2a 20 3c 6c 69 3e 20  _MASTER.** <li> 
06c0: 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 53 54   SQLITE_MUTEX_ST
06d0: 41 54 49 43 5f 4d 45 4d 0a 2a 2a 20 3c 6c 69 3e  ATIC_MEM.** <li>
06e0: 20 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 53    SQLITE_MUTEX_S
06f0: 54 41 54 49 43 5f 4d 45 4d 32 0a 2a 2a 20 3c 6c  TATIC_MEM2.** <l
0700: 69 3e 20 20 53 51 4c 49 54 45 5f 4d 55 54 45 58  i>  SQLITE_MUTEX
0710: 5f 53 54 41 54 49 43 5f 50 52 4e 47 0a 2a 2a 20  _STATIC_PRNG.** 
0720: 3c 6c 69 3e 20 20 53 51 4c 49 54 45 5f 4d 55 54  <li>  SQLITE_MUT
0730: 45 58 5f 53 54 41 54 49 43 5f 4c 52 55 0a 2a 2a  EX_STATIC_LRU.**
0740: 20 3c 6c 69 3e 20 20 53 51 4c 49 54 45 5f 4d 55   <li>  SQLITE_MU
0750: 54 45 58 5f 53 54 41 54 49 43 5f 4c 52 55 32 0a  TEX_STATIC_LRU2.
0760: 2a 2a 20 3c 2f 75 6c 3e 0a 2a 2a 0a 2a 2a 20 54  ** </ul>.**.** T
0770: 68 65 20 66 69 72 73 74 20 74 77 6f 20 63 6f 6e  he first two con
0780: 73 74 61 6e 74 73 20 63 61 75 73 65 20 73 71 6c  stants cause sql
0790: 69 74 65 33 5f 6d 75 74 65 78 5f 61 6c 6c 6f 63  ite3_mutex_alloc
07a0: 28 29 20 74 6f 20 63 72 65 61 74 65 0a 2a 2a 20  () to create.** 
07b0: 61 20 6e 65 77 20 6d 75 74 65 78 2e 20 20 54 68  a new mutex.  Th
07c0: 65 20 6e 65 77 20 6d 75 74 65 78 20 69 73 20 72  e new mutex is r
07d0: 65 63 75 72 73 69 76 65 20 77 68 65 6e 20 53 51  ecursive when SQ
07e0: 4c 49 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52  LITE_MUTEX_RECUR
07f0: 53 49 56 45 0a 2a 2a 20 69 73 20 75 73 65 64 20  SIVE.** is used 
0800: 62 75 74 20 6e 6f 74 20 6e 65 63 65 73 73 61 72  but not necessar
0810: 69 6c 79 20 73 6f 20 77 68 65 6e 20 53 51 4c 49  ily so when SQLI
0820: 54 45 5f 4d 55 54 45 58 5f 46 41 53 54 20 69 73  TE_MUTEX_FAST is
0830: 20 75 73 65 64 2e 0a 2a 2a 20 54 68 65 20 6d 75   used..** The mu
0840: 74 65 78 20 69 6d 70 6c 65 6d 65 6e 74 61 74 69  tex implementati
0850: 6f 6e 20 64 6f 65 73 20 6e 6f 74 20 6e 65 65 64  on does not need
0860: 20 74 6f 20 6d 61 6b 65 20 61 20 64 69 73 74 69   to make a disti
0870: 6e 63 74 69 6f 6e 0a 2a 2a 20 62 65 74 77 65 65  nction.** betwee
0880: 6e 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 52  n SQLITE_MUTEX_R
0890: 45 43 55 52 53 49 56 45 20 61 6e 64 20 53 51 4c  ECURSIVE and SQL
08a0: 49 54 45 5f 4d 55 54 45 58 5f 46 41 53 54 20 69  ITE_MUTEX_FAST i
08b0: 66 20 69 74 20 64 6f 65 73 0a 2a 2a 20 6e 6f 74  f it does.** not
08c0: 20 77 61 6e 74 20 74 6f 2e 20 20 42 75 74 20 53   want to.  But S
08d0: 51 4c 69 74 65 20 77 69 6c 6c 20 6f 6e 6c 79 20  QLite will only 
08e0: 72 65 71 75 65 73 74 20 61 20 72 65 63 75 72 73  request a recurs
08f0: 69 76 65 20 6d 75 74 65 78 20 69 6e 0a 2a 2a 20  ive mutex in.** 
0900: 63 61 73 65 73 20 77 68 65 72 65 20 69 74 20 72  cases where it r
0910: 65 61 6c 6c 79 20 6e 65 65 64 73 20 6f 6e 65 2e  eally needs one.
0920: 20 20 49 66 20 61 20 66 61 73 74 65 72 20 6e 6f    If a faster no
0930: 6e 2d 72 65 63 75 72 73 69 76 65 20 6d 75 74 65  n-recursive mute
0940: 78 0a 2a 2a 20 69 6d 70 6c 65 6d 65 6e 74 61 74  x.** implementat
0950: 69 6f 6e 20 69 73 20 61 76 61 69 6c 61 62 6c 65  ion is available
0960: 20 6f 6e 20 74 68 65 20 68 6f 73 74 20 70 6c 61   on the host pla
0970: 74 66 6f 72 6d 2c 20 74 68 65 20 6d 75 74 65 78  tform, the mutex
0980: 20 73 75 62 73 79 73 74 65 6d 0a 2a 2a 20 6d 69   subsystem.** mi
0990: 67 68 74 20 72 65 74 75 72 6e 20 73 75 63 68 20  ght return such 
09a0: 61 20 6d 75 74 65 78 20 69 6e 20 72 65 73 70 6f  a mutex in respo
09b0: 6e 73 65 20 74 6f 20 53 51 4c 49 54 45 5f 4d 55  nse to SQLITE_MU
09c0: 54 45 58 5f 46 41 53 54 2e 0a 2a 2a 0a 2a 2a 20  TEX_FAST..**.** 
09d0: 54 68 65 20 6f 74 68 65 72 20 61 6c 6c 6f 77 65  The other allowe
09e0: 64 20 70 61 72 61 6d 65 74 65 72 73 20 74 6f 20  d parameters to 
09f0: 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 61 6c  sqlite3_mutex_al
0a00: 6c 6f 63 28 29 20 65 61 63 68 20 72 65 74 75 72  loc() each retur
0a10: 6e 0a 2a 2a 20 61 20 70 6f 69 6e 74 65 72 20 74  n.** a pointer t
0a20: 6f 20 61 20 73 74 61 74 69 63 20 70 72 65 65 78  o a static preex
0a30: 69 73 74 69 6e 67 20 6d 75 74 65 78 2e 20 20 53  isting mutex.  S
0a40: 69 78 20 73 74 61 74 69 63 20 6d 75 74 65 78 65  ix static mutexe
0a50: 73 20 61 72 65 0a 2a 2a 20 75 73 65 64 20 62 79  s are.** used by
0a60: 20 74 68 65 20 63 75 72 72 65 6e 74 20 76 65 72   the current ver
0a70: 73 69 6f 6e 20 6f 66 20 53 51 4c 69 74 65 2e 20  sion of SQLite. 
0a80: 20 46 75 74 75 72 65 20 76 65 72 73 69 6f 6e 73   Future versions
0a90: 20 6f 66 20 53 51 4c 69 74 65 0a 2a 2a 20 6d 61   of SQLite.** ma
0aa0: 79 20 61 64 64 20 61 64 64 69 74 69 6f 6e 61 6c  y add additional
0ab0: 20 73 74 61 74 69 63 20 6d 75 74 65 78 65 73 2e   static mutexes.
0ac0: 20 20 53 74 61 74 69 63 20 6d 75 74 65 78 65 73    Static mutexes
0ad0: 20 61 72 65 20 66 6f 72 20 69 6e 74 65 72 6e 61   are for interna
0ae0: 6c 0a 2a 2a 20 75 73 65 20 62 79 20 53 51 4c 69  l.** use by SQLi
0af0: 74 65 20 6f 6e 6c 79 2e 20 20 41 70 70 6c 69 63  te only.  Applic
0b00: 61 74 69 6f 6e 73 20 74 68 61 74 20 75 73 65 20  ations that use 
0b10: 53 51 4c 69 74 65 20 6d 75 74 65 78 65 73 20 73  SQLite mutexes s
0b20: 68 6f 75 6c 64 0a 2a 2a 20 75 73 65 20 6f 6e 6c  hould.** use onl
0b30: 79 20 74 68 65 20 64 79 6e 61 6d 69 63 20 6d 75  y the dynamic mu
0b40: 74 65 78 65 73 20 72 65 74 75 72 6e 65 64 20 62  texes returned b
0b50: 79 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 46  y SQLITE_MUTEX_F
0b60: 41 53 54 20 6f 72 0a 2a 2a 20 53 51 4c 49 54 45  AST or.** SQLITE
0b70: 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56 45  _MUTEX_RECURSIVE
0b80: 2e 0a 2a 2a 0a 2a 2a 20 4e 6f 74 65 20 74 68 61  ..**.** Note tha
0b90: 74 20 69 66 20 6f 6e 65 20 6f 66 20 74 68 65 20  t if one of the 
0ba0: 64 79 6e 61 6d 69 63 20 6d 75 74 65 78 20 70 61  dynamic mutex pa
0bb0: 72 61 6d 65 74 65 72 73 20 28 53 51 4c 49 54 45  rameters (SQLITE
0bc0: 5f 4d 55 54 45 58 5f 46 41 53 54 0a 2a 2a 20 6f  _MUTEX_FAST.** o
0bd0: 72 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 52  r SQLITE_MUTEX_R
0be0: 45 43 55 52 53 49 56 45 29 20 69 73 20 75 73 65  ECURSIVE) is use
0bf0: 64 20 74 68 65 6e 20 73 71 6c 69 74 65 33 5f 6d  d then sqlite3_m
0c00: 75 74 65 78 5f 61 6c 6c 6f 63 28 29 0a 2a 2a 20  utex_alloc().** 
0c10: 72 65 74 75 72 6e 73 20 61 20 64 69 66 66 65 72  returns a differ
0c20: 65 6e 74 20 6d 75 74 65 78 20 6f 6e 20 65 76 65  ent mutex on eve
0c30: 72 79 20 63 61 6c 6c 2e 20 20 42 75 74 20 66 6f  ry call.  But fo
0c40: 72 20 74 68 65 20 73 74 61 74 69 63 0a 2a 2a 20  r the static.** 
0c50: 6d 75 74 65 78 20 74 79 70 65 73 2c 20 74 68 65  mutex types, the
0c60: 20 73 61 6d 65 20 6d 75 74 65 78 20 69 73 20 72   same mutex is r
0c70: 65 74 75 72 6e 65 64 20 6f 6e 20 65 76 65 72 79  eturned on every
0c80: 20 63 61 6c 6c 20 74 68 61 74 20 68 61 73 0a 2a   call that has.*
0c90: 2a 20 74 68 65 20 73 61 6d 65 20 74 79 70 65 20  * the same type 
0ca0: 6e 75 6d 62 65 72 2e 0a 2a 2f 0a 73 74 61 74 69  number..*/.stati
0cb0: 63 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20  c sqlite3_mutex 
0cc0: 2a 6f 73 32 4d 75 74 65 78 41 6c 6c 6f 63 28 69  *os2MutexAlloc(i
0cd0: 6e 74 20 69 54 79 70 65 29 7b 0a 20 20 73 71 6c  nt iType){.  sql
0ce0: 69 74 65 33 5f 6d 75 74 65 78 20 2a 70 20 3d 20  ite3_mutex *p = 
0cf0: 4e 55 4c 4c 3b 0a 20 20 73 77 69 74 63 68 28 20  NULL;.  switch( 
0d00: 69 54 79 70 65 20 29 7b 0a 20 20 20 20 63 61 73  iType ){.    cas
0d10: 65 20 53 51 4c 49 54 45 5f 4d 55 54 45 58 5f 46  e SQLITE_MUTEX_F
0d20: 41 53 54 3a 0a 20 20 20 20 63 61 73 65 20 53 51  AST:.    case SQ
0d30: 4c 49 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52  LITE_MUTEX_RECUR
0d40: 53 49 56 45 3a 20 7b 0a 20 20 20 20 20 20 70 20  SIVE: {.      p 
0d50: 3d 20 73 71 6c 69 74 65 33 4d 61 6c 6c 6f 63 5a  = sqlite3MallocZ
0d60: 65 72 6f 28 20 73 69 7a 65 6f 66 28 2a 70 29 20  ero( sizeof(*p) 
0d70: 29 3b 0a 20 20 20 20 20 20 69 66 28 20 70 20 29  );.      if( p )
0d80: 7b 0a 20 20 20 20 20 20 20 20 70 2d 3e 69 64 20  {.        p->id 
0d90: 3d 20 69 54 79 70 65 3b 0a 20 20 20 20 20 20 20  = iType;.       
0da0: 20 69 66 28 20 44 6f 73 43 72 65 61 74 65 4d 75   if( DosCreateMu
0db0: 74 65 78 53 65 6d 28 20 30 2c 20 26 70 2d 3e 6d  texSem( 0, &p->m
0dc0: 75 74 65 78 2c 20 30 2c 20 46 41 4c 53 45 20 29  utex, 0, FALSE )
0dd0: 20 21 3d 20 4e 4f 5f 45 52 52 4f 52 20 29 7b 0a   != NO_ERROR ){.
0de0: 20 20 20 20 20 20 20 20 20 20 73 71 6c 69 74 65            sqlite
0df0: 33 5f 66 72 65 65 28 20 70 20 29 3b 0a 20 20 20  3_free( p );.   
0e00: 20 20 20 20 20 20 20 70 20 3d 20 4e 55 4c 4c 3b         p = NULL;
0e10: 0a 20 20 20 20 20 20 20 20 7d 0a 20 20 20 20 20  .        }.     
0e20: 20 7d 0a 20 20 20 20 20 20 62 72 65 61 6b 3b 0a   }.      break;.
0e30: 20 20 20 20 7d 0a 20 20 20 20 64 65 66 61 75 6c      }.    defaul
0e40: 74 3a 20 7b 0a 20 20 20 20 20 20 73 74 61 74 69  t: {.      stati
0e50: 63 20 76 6f 6c 61 74 69 6c 65 20 69 6e 74 20 69  c volatile int i
0e60: 73 49 6e 69 74 20 3d 20 30 3b 0a 20 20 20 20 20  sInit = 0;.     
0e70: 20 73 74 61 74 69 63 20 73 71 6c 69 74 65 33 5f   static sqlite3_
0e80: 6d 75 74 65 78 20 73 74 61 74 69 63 4d 75 74 65  mutex staticMute
0e90: 78 65 73 5b 36 5d 20 3d 20 7b 0a 20 20 20 20 20  xes[6] = {.     
0ea0: 20 20 20 53 51 4c 49 54 45 33 5f 4d 55 54 45 58     SQLITE3_MUTEX
0eb0: 5f 49 4e 49 54 49 41 4c 49 5a 45 52 2c 0a 20 20  _INITIALIZER,.  
0ec0: 20 20 20 20 20 20 53 51 4c 49 54 45 33 5f 4d 55        SQLITE3_MU
0ed0: 54 45 58 5f 49 4e 49 54 49 41 4c 49 5a 45 52 2c  TEX_INITIALIZER,
0ee0: 0a 20 20 20 20 20 20 20 20 53 51 4c 49 54 45 33  .        SQLITE3
0ef0: 5f 4d 55 54 45 58 5f 49 4e 49 54 49 41 4c 49 5a  _MUTEX_INITIALIZ
0f00: 45 52 2c 0a 20 20 20 20 20 20 20 20 53 51 4c 49  ER,.        SQLI
0f10: 54 45 33 5f 4d 55 54 45 58 5f 49 4e 49 54 49 41  TE3_MUTEX_INITIA
0f20: 4c 49 5a 45 52 2c 0a 20 20 20 20 20 20 20 20 53  LIZER,.        S
0f30: 51 4c 49 54 45 33 5f 4d 55 54 45 58 5f 49 4e 49  QLITE3_MUTEX_INI
0f40: 54 49 41 4c 49 5a 45 52 2c 0a 20 20 20 20 20 20  TIALIZER,.      
0f50: 20 20 53 51 4c 49 54 45 33 5f 4d 55 54 45 58 5f    SQLITE3_MUTEX_
0f60: 49 4e 49 54 49 41 4c 49 5a 45 52 2c 0a 20 20 20  INITIALIZER,.   
0f70: 20 20 20 7d 3b 0a 20 20 20 20 20 20 69 66 20 28     };.      if (
0f80: 20 21 69 73 49 6e 69 74 20 29 7b 0a 20 20 20 20   !isInit ){.    
0f90: 20 20 20 20 41 50 49 52 45 54 20 72 63 3b 0a 20      APIRET rc;. 
0fa0: 20 20 20 20 20 20 20 50 54 49 42 20 70 74 69 62         PTIB ptib
0fb0: 3b 0a 20 20 20 20 20 20 20 20 50 50 49 42 20 70  ;.        PPIB p
0fc0: 70 69 62 3b 0a 20 20 20 20 20 20 20 20 48 4d 54  pib;.        HMT
0fd0: 58 20 6d 75 74 65 78 3b 0a 20 20 20 20 20 20 20  X mutex;.       
0fe0: 20 63 68 61 72 20 6e 61 6d 65 5b 33 32 5d 3b 0a   char name[32];.
0ff0: 20 20 20 20 20 20 20 20 44 6f 73 47 65 74 49 6e          DosGetIn
1000: 66 6f 42 6c 6f 63 6b 73 28 20 26 70 74 69 62 2c  foBlocks( &ptib,
1010: 20 26 70 70 69 62 20 29 3b 0a 20 20 20 20 20 20   &ppib );.      
1020: 20 20 73 71 6c 69 74 65 33 5f 73 6e 70 72 69 6e    sqlite3_snprin
1030: 74 66 28 20 73 69 7a 65 6f 66 28 6e 61 6d 65 29  tf( sizeof(name)
1040: 2c 20 6e 61 6d 65 2c 20 22 5c 5c 53 45 4d 33 32  , name, "\\SEM32
1050: 5c 5c 53 51 4c 49 54 45 25 30 34 78 22 2c 0a 20  \\SQLITE%04x",. 
1060: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1070: 20 20 20 20 20 20 20 20 20 70 70 69 62 2d 3e 70           ppib->p
1080: 69 62 5f 75 6c 70 69 64 20 29 3b 0a 20 20 20 20  ib_ulpid );.    
1090: 20 20 20 20 77 68 69 6c 65 28 20 21 69 73 49 6e      while( !isIn
10a0: 69 74 20 29 7b 0a 20 20 20 20 20 20 20 20 20 20  it ){.          
10b0: 6d 75 74 65 78 20 3d 20 30 3b 0a 20 20 20 20 20  mutex = 0;.     
10c0: 20 20 20 20 20 72 63 20 3d 20 44 6f 73 43 72 65       rc = DosCre
10d0: 61 74 65 4d 75 74 65 78 53 65 6d 28 20 6e 61 6d  ateMutexSem( nam
10e0: 65 2c 20 26 6d 75 74 65 78 2c 20 30 2c 20 46 41  e, &mutex, 0, FA
10f0: 4c 53 45 29 3b 0a 20 20 20 20 20 20 20 20 20 20  LSE);.          
1100: 69 66 28 20 72 63 20 3d 3d 20 4e 4f 5f 45 52 52  if( rc == NO_ERR
1110: 4f 52 20 29 7b 0a 20 20 20 20 20 20 20 20 20 20  OR ){.          
1120: 20 20 75 6e 73 69 67 6e 65 64 20 69 6e 74 20 69    unsigned int i
1130: 3b 0a 20 20 20 20 20 20 20 20 20 20 20 20 69 66  ;.            if
1140: 28 20 21 69 73 49 6e 69 74 20 29 7b 0a 20 20 20  ( !isInit ){.   
1150: 20 20 20 20 20 20 20 20 20 20 20 66 6f 72 28 20             for( 
1160: 69 20 3d 20 30 3b 20 69 20 3c 20 73 69 7a 65 6f  i = 0; i < sizeo
1170: 66 28 73 74 61 74 69 63 4d 75 74 65 78 65 73 29  f(staticMutexes)
1180: 2f 73 69 7a 65 6f 66 28 73 74 61 74 69 63 4d 75  /sizeof(staticMu
1190: 74 65 78 65 73 5b 30 5d 29 3b 20 69 2b 2b 20 29  texes[0]); i++ )
11a0: 7b 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20  {.              
11b0: 20 20 44 6f 73 43 72 65 61 74 65 4d 75 74 65 78    DosCreateMutex
11c0: 53 65 6d 28 20 30 2c 20 26 73 74 61 74 69 63 4d  Sem( 0, &staticM
11d0: 75 74 65 78 65 73 5b 69 5d 2e 6d 75 74 65 78 2c  utexes[i].mutex,
11e0: 20 30 2c 20 46 41 4c 53 45 20 29 3b 0a 20 20 20   0, FALSE );.   
11f0: 20 20 20 20 20 20 20 20 20 20 20 7d 0a 20 20 20             }.   
1200: 20 20 20 20 20 20 20 20 20 20 20 69 73 49 6e 69             isIni
1210: 74 20 3d 20 31 3b 0a 20 20 20 20 20 20 20 20 20  t = 1;.         
1220: 20 20 20 7d 0a 20 20 20 20 20 20 20 20 20 20 20     }.           
1230: 20 44 6f 73 43 6c 6f 73 65 4d 75 74 65 78 53 65   DosCloseMutexSe
1240: 6d 28 20 6d 75 74 65 78 20 29 3b 0a 20 20 20 20  m( mutex );.    
1250: 20 20 20 20 20 20 7d 65 6c 73 65 20 69 66 28 20        }else if( 
1260: 72 63 20 3d 3d 20 45 52 52 4f 52 5f 44 55 50 4c  rc == ERROR_DUPL
1270: 49 43 41 54 45 5f 4e 41 4d 45 20 29 7b 0a 20 20  ICATE_NAME ){.  
1280: 20 20 20 20 20 20 20 20 20 20 44 6f 73 53 6c 65            DosSle
1290: 65 70 28 20 31 20 29 3b 0a 20 20 20 20 20 20 20  ep( 1 );.       
12a0: 20 20 20 7d 65 6c 73 65 7b 0a 20 20 20 20 20 20     }else{.      
12b0: 20 20 20 20 20 20 72 65 74 75 72 6e 20 70 3b 0a        return p;.
12c0: 20 20 20 20 20 20 20 20 20 20 7d 0a 20 20 20 20            }.    
12d0: 20 20 20 20 7d 0a 20 20 20 20 20 20 7d 0a 20 20      }.      }.  
12e0: 20 20 20 20 61 73 73 65 72 74 28 20 69 54 79 70      assert( iTyp
12f0: 65 2d 32 20 3e 3d 20 30 20 29 3b 0a 20 20 20 20  e-2 >= 0 );.    
1300: 20 20 61 73 73 65 72 74 28 20 69 54 79 70 65 2d    assert( iType-
1310: 32 20 3c 20 73 69 7a 65 6f 66 28 73 74 61 74 69  2 < sizeof(stati
1320: 63 4d 75 74 65 78 65 73 29 2f 73 69 7a 65 6f 66  cMutexes)/sizeof
1330: 28 73 74 61 74 69 63 4d 75 74 65 78 65 73 5b 30  (staticMutexes[0
1340: 5d 29 20 29 3b 0a 20 20 20 20 20 20 70 20 3d 20  ]) );.      p = 
1350: 26 73 74 61 74 69 63 4d 75 74 65 78 65 73 5b 69  &staticMutexes[i
1360: 54 79 70 65 2d 32 5d 3b 0a 20 20 20 20 20 20 70  Type-2];.      p
1370: 2d 3e 69 64 20 3d 20 69 54 79 70 65 3b 0a 20 20  ->id = iType;.  
1380: 20 20 20 20 62 72 65 61 6b 3b 0a 20 20 20 20 7d      break;.    }
1390: 0a 20 20 7d 0a 20 20 72 65 74 75 72 6e 20 70 3b  .  }.  return p;
13a0: 0a 7d 0a 0a 0a 2f 2a 0a 2a 2a 20 54 68 69 73 20  .}.../*.** This 
13b0: 72 6f 75 74 69 6e 65 20 64 65 61 6c 6c 6f 63 61  routine dealloca
13c0: 74 65 73 20 61 20 70 72 65 76 69 6f 75 73 6c 79  tes a previously
13d0: 20 61 6c 6c 6f 63 61 74 65 64 20 6d 75 74 65 78   allocated mutex
13e0: 2e 0a 2a 2a 20 53 51 4c 69 74 65 20 69 73 20 63  ..** SQLite is c
13f0: 61 72 65 66 75 6c 20 74 6f 20 64 65 61 6c 6c 6f  areful to deallo
1400: 63 61 74 65 20 65 76 65 72 79 20 6d 75 74 65 78  cate every mutex
1410: 20 74 68 61 74 20 69 74 20 61 6c 6c 6f 63 61 74   that it allocat
1420: 65 73 2e 0a 2a 2f 0a 73 74 61 74 69 63 20 76 6f  es..*/.static vo
1430: 69 64 20 6f 73 32 4d 75 74 65 78 46 72 65 65 28  id os2MutexFree(
1440: 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a 70  sqlite3_mutex *p
1450: 29 7b 0a 23 69 66 64 65 66 20 53 51 4c 49 54 45  ){.#ifdef SQLITE
1460: 5f 44 45 42 55 47 0a 20 20 54 49 44 20 74 69 64  _DEBUG.  TID tid
1470: 3b 0a 20 20 50 49 44 20 70 69 64 3b 0a 20 20 55  ;.  PID pid;.  U
1480: 4c 4f 4e 47 20 75 6c 43 6f 75 6e 74 3b 0a 20 20  LONG ulCount;.  
1490: 44 6f 73 51 75 65 72 79 4d 75 74 65 78 53 65 6d  DosQueryMutexSem
14a0: 28 70 2d 3e 6d 75 74 65 78 2c 20 26 70 69 64 2c  (p->mutex, &pid,
14b0: 20 26 74 69 64 2c 20 26 75 6c 43 6f 75 6e 74 29   &tid, &ulCount)
14c0: 3b 0a 20 20 61 73 73 65 72 74 28 20 75 6c 43 6f  ;.  assert( ulCo
14d0: 75 6e 74 3d 3d 30 20 29 3b 0a 20 20 61 73 73 65  unt==0 );.  asse
14e0: 72 74 28 20 70 2d 3e 69 64 3d 3d 53 51 4c 49 54  rt( p->id==SQLIT
14f0: 45 5f 4d 55 54 45 58 5f 46 41 53 54 20 7c 7c 20  E_MUTEX_FAST || 
1500: 70 2d 3e 69 64 3d 3d 53 51 4c 49 54 45 5f 4d 55  p->id==SQLITE_MU
1510: 54 45 58 5f 52 45 43 55 52 53 49 56 45 20 29 3b  TEX_RECURSIVE );
1520: 0a 23 65 6e 64 69 66 0a 20 20 44 6f 73 43 6c 6f  .#endif.  DosClo
1530: 73 65 4d 75 74 65 78 53 65 6d 28 20 70 2d 3e 6d  seMutexSem( p->m
1540: 75 74 65 78 20 29 3b 0a 20 20 73 71 6c 69 74 65  utex );.  sqlite
1550: 33 5f 66 72 65 65 28 20 70 20 29 3b 0a 7d 0a 0a  3_free( p );.}..
1560: 23 69 66 64 65 66 20 53 51 4c 49 54 45 5f 44 45  #ifdef SQLITE_DE
1570: 42 55 47 0a 2f 2a 0a 2a 2a 20 54 68 65 20 73 71  BUG./*.** The sq
1580: 6c 69 74 65 33 5f 6d 75 74 65 78 5f 68 65 6c 64  lite3_mutex_held
1590: 28 29 20 61 6e 64 20 73 71 6c 69 74 65 33 5f 6d  () and sqlite3_m
15a0: 75 74 65 78 5f 6e 6f 74 68 65 6c 64 28 29 20 72  utex_notheld() r
15b0: 6f 75 74 69 6e 65 20 61 72 65 0a 2a 2a 20 69 6e  outine are.** in
15c0: 74 65 6e 64 65 64 20 66 6f 72 20 75 73 65 20 69  tended for use i
15d0: 6e 73 69 64 65 20 61 73 73 65 72 74 28 29 20 73  nside assert() s
15e0: 74 61 74 65 6d 65 6e 74 73 2e 0a 2a 2f 0a 73 74  tatements..*/.st
15f0: 61 74 69 63 20 69 6e 74 20 6f 73 32 4d 75 74 65  atic int os2Mute
1600: 78 48 65 6c 64 28 73 71 6c 69 74 65 33 5f 6d 75  xHeld(sqlite3_mu
1610: 74 65 78 20 2a 70 29 7b 0a 20 20 54 49 44 20 74  tex *p){.  TID t
1620: 69 64 3b 0a 20 20 50 49 44 20 70 69 64 3b 0a 20  id;.  PID pid;. 
1630: 20 55 4c 4f 4e 47 20 75 6c 43 6f 75 6e 74 3b 0a   ULONG ulCount;.
1640: 20 20 50 54 49 42 20 70 74 69 62 3b 0a 20 20 44    PTIB ptib;.  D
1650: 6f 73 51 75 65 72 79 4d 75 74 65 78 53 65 6d 28  osQueryMutexSem(
1660: 70 2d 3e 6d 75 74 65 78 2c 20 26 70 69 64 2c 20  p->mutex, &pid, 
1670: 26 74 69 64 2c 20 26 75 6c 43 6f 75 6e 74 29 3b  &tid, &ulCount);
1680: 0a 20 20 69 66 28 20 75 6c 43 6f 75 6e 74 3d 3d  .  if( ulCount==
1690: 30 20 7c 7c 20 28 20 75 6c 43 6f 75 6e 74 3e 31  0 || ( ulCount>1
16a0: 20 26 26 20 70 2d 3e 69 64 21 3d 53 51 4c 49 54   && p->id!=SQLIT
16b0: 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56  E_MUTEX_RECURSIV
16c0: 45 20 29 20 29 0a 20 20 20 20 72 65 74 75 72 6e  E ) ).    return
16d0: 20 30 3b 0a 20 20 44 6f 73 47 65 74 49 6e 66 6f   0;.  DosGetInfo
16e0: 42 6c 6f 63 6b 73 28 26 70 74 69 62 2c 20 4e 55  Blocks(&ptib, NU
16f0: 4c 4c 29 3b 0a 20 20 72 65 74 75 72 6e 20 74 69  LL);.  return ti
1700: 64 3d 3d 70 74 69 62 2d 3e 74 69 62 5f 70 74 69  d==ptib->tib_pti
1710: 62 32 2d 3e 74 69 62 32 5f 75 6c 74 69 64 3b 0a  b2->tib2_ultid;.
1720: 7d 0a 73 74 61 74 69 63 20 69 6e 74 20 6f 73 32  }.static int os2
1730: 4d 75 74 65 78 4e 6f 74 68 65 6c 64 28 73 71 6c  MutexNotheld(sql
1740: 69 74 65 33 5f 6d 75 74 65 78 20 2a 70 29 7b 0a  ite3_mutex *p){.
1750: 20 20 54 49 44 20 74 69 64 3b 0a 20 20 50 49 44    TID tid;.  PID
1760: 20 70 69 64 3b 0a 20 20 55 4c 4f 4e 47 20 75 6c   pid;.  ULONG ul
1770: 43 6f 75 6e 74 3b 0a 20 20 50 54 49 42 20 70 74  Count;.  PTIB pt
1780: 69 62 3b 0a 20 20 44 6f 73 51 75 65 72 79 4d 75  ib;.  DosQueryMu
1790: 74 65 78 53 65 6d 28 70 2d 3e 6d 75 74 65 78 2c  texSem(p->mutex,
17a0: 20 26 70 69 64 2c 20 26 74 69 64 2c 20 26 75 6c   &pid, &tid, &ul
17b0: 43 6f 75 6e 74 29 3b 0a 20 20 69 66 28 20 75 6c  Count);.  if( ul
17c0: 43 6f 75 6e 74 3d 3d 30 20 29 0a 20 20 20 20 72  Count==0 ).    r
17d0: 65 74 75 72 6e 20 31 3b 0a 20 20 44 6f 73 47 65  eturn 1;.  DosGe
17e0: 74 49 6e 66 6f 42 6c 6f 63 6b 73 28 26 70 74 69  tInfoBlocks(&pti
17f0: 62 2c 20 4e 55 4c 4c 29 3b 0a 20 20 72 65 74 75  b, NULL);.  retu
1800: 72 6e 20 74 69 64 21 3d 70 74 69 62 2d 3e 74 69  rn tid!=ptib->ti
1810: 62 5f 70 74 69 62 32 2d 3e 74 69 62 32 5f 75 6c  b_ptib2->tib2_ul
1820: 74 69 64 3b 0a 7d 0a 73 74 61 74 69 63 20 76 6f  tid;.}.static vo
1830: 69 64 20 6f 73 32 4d 75 74 65 78 54 72 61 63 65  id os2MutexTrace
1840: 28 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a  (sqlite3_mutex *
1850: 70 2c 20 63 68 61 72 20 2a 70 41 63 74 69 6f 6e  p, char *pAction
1860: 29 7b 0a 20 20 54 49 44 20 20 20 74 69 64 3b 0a  ){.  TID   tid;.
1870: 20 20 50 49 44 20 20 20 70 69 64 3b 0a 20 20 55    PID   pid;.  U
1880: 4c 4f 4e 47 20 75 6c 43 6f 75 6e 74 3b 0a 20 20  LONG ulCount;.  
1890: 44 6f 73 51 75 65 72 79 4d 75 74 65 78 53 65 6d  DosQueryMutexSem
18a0: 28 70 2d 3e 6d 75 74 65 78 2c 20 26 70 69 64 2c  (p->mutex, &pid,
18b0: 20 26 74 69 64 2c 20 26 75 6c 43 6f 75 6e 74 29   &tid, &ulCount)
18c0: 3b 0a 20 20 70 72 69 6e 74 66 28 22 25 73 20 6d  ;.  printf("%s m
18d0: 75 74 65 78 20 25 70 20 28 25 64 29 20 77 69 74  utex %p (%d) wit
18e0: 68 20 6e 52 65 66 3d 25 6c 64 5c 6e 22 2c 20 70  h nRef=%ld\n", p
18f0: 41 63 74 69 6f 6e 2c 20 28 76 6f 69 64 2a 29 70  Action, (void*)p
1900: 2c 20 70 2d 3e 74 72 61 63 65 2c 20 75 6c 43 6f  , p->trace, ulCo
1910: 75 6e 74 29 3b 0a 7d 0a 23 65 6e 64 69 66 0a 0a  unt);.}.#endif..
1920: 2f 2a 0a 2a 2a 20 54 68 65 20 73 71 6c 69 74 65  /*.** The sqlite
1930: 33 5f 6d 75 74 65 78 5f 65 6e 74 65 72 28 29 20  3_mutex_enter() 
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 72 6f 75 74 69 6e 65 73  x_try() routines
1960: 20 61 74 74 65 6d 70 74 0a 2a 2a 20 74 6f 20 65   attempt.** to e
1970: 6e 74 65 72 20 61 20 6d 75 74 65 78 2e 20 20 49  nter a mutex.  I
1980: 66 20 61 6e 6f 74 68 65 72 20 74 68 72 65 61 64  f another thread
1990: 20 69 73 20 61 6c 72 65 61 64 79 20 77 69 74 68   is already with
19a0: 69 6e 20 74 68 65 20 6d 75 74 65 78 2c 0a 2a 2a  in the mutex,.**
19b0: 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 65   sqlite3_mutex_e
19c0: 6e 74 65 72 28 29 20 77 69 6c 6c 20 62 6c 6f 63  nter() will bloc
19d0: 6b 20 61 6e 64 20 73 71 6c 69 74 65 33 5f 6d 75  k and sqlite3_mu
19e0: 74 65 78 5f 74 72 79 28 29 20 77 69 6c 6c 20 72  tex_try() will r
19f0: 65 74 75 72 6e 0a 2a 2a 20 53 51 4c 49 54 45 5f  eturn.** SQLITE_
1a00: 42 55 53 59 2e 20 20 54 68 65 20 73 71 6c 69 74  BUSY.  The sqlit
1a10: 65 33 5f 6d 75 74 65 78 5f 74 72 79 28 29 20 69  e3_mutex_try() i
1a20: 6e 74 65 72 66 61 63 65 20 72 65 74 75 72 6e 73  nterface returns
1a30: 20 53 51 4c 49 54 45 5f 4f 4b 0a 2a 2a 20 75 70   SQLITE_OK.** up
1a40: 6f 6e 20 73 75 63 63 65 73 73 66 75 6c 20 65 6e  on successful en
1a50: 74 72 79 2e 20 20 4d 75 74 65 78 65 73 20 63 72  try.  Mutexes cr
1a60: 65 61 74 65 64 20 75 73 69 6e 67 20 53 51 4c 49  eated using SQLI
1a70: 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49  TE_MUTEX_RECURSI
1a80: 56 45 20 63 61 6e 0a 2a 2a 20 62 65 20 65 6e 74  VE can.** be ent
1a90: 65 72 65 64 20 6d 75 6c 74 69 70 6c 65 20 74 69  ered multiple ti
1aa0: 6d 65 73 20 62 79 20 74 68 65 20 73 61 6d 65 20  mes by the same 
1ab0: 74 68 72 65 61 64 2e 20 20 49 6e 20 73 75 63 68  thread.  In such
1ac0: 20 63 61 73 65 73 20 74 68 65 2c 0a 2a 2a 20 6d   cases the,.** m
1ad0: 75 74 65 78 20 6d 75 73 74 20 62 65 20 65 78 69  utex must be exi
1ae0: 74 65 64 20 61 6e 20 65 71 75 61 6c 20 6e 75 6d  ted an equal num
1af0: 62 65 72 20 6f 66 20 74 69 6d 65 73 20 62 65 66  ber of times bef
1b00: 6f 72 65 20 61 6e 6f 74 68 65 72 20 74 68 72 65  ore another thre
1b10: 61 64 0a 2a 2a 20 63 61 6e 20 65 6e 74 65 72 2e  ad.** can enter.
1b20: 20 20 49 66 20 74 68 65 20 73 61 6d 65 20 74 68    If the same th
1b30: 72 65 61 64 20 74 72 69 65 73 20 74 6f 20 65 6e  read tries to en
1b40: 74 65 72 20 61 6e 79 20 6f 74 68 65 72 20 6b 69  ter any other ki
1b50: 6e 64 20 6f 66 20 6d 75 74 65 78 0a 2a 2a 20 6d  nd of mutex.** m
1b60: 6f 72 65 20 74 68 61 6e 20 6f 6e 63 65 2c 20 74  ore than once, t
1b70: 68 65 20 62 65 68 61 76 69 6f 72 20 69 73 20 75  he behavior is u
1b80: 6e 64 65 66 69 6e 65 64 2e 0a 2a 2f 0a 73 74 61  ndefined..*/.sta
1b90: 74 69 63 20 76 6f 69 64 20 6f 73 32 4d 75 74 65  tic void os2Mute
1ba0: 78 45 6e 74 65 72 28 73 71 6c 69 74 65 33 5f 6d  xEnter(sqlite3_m
1bb0: 75 74 65 78 20 2a 70 29 7b 0a 20 20 61 73 73 65  utex *p){.  asse
1bc0: 72 74 28 20 70 2d 3e 69 64 3d 3d 53 51 4c 49 54  rt( p->id==SQLIT
1bd0: 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49 56  E_MUTEX_RECURSIV
1be0: 45 20 7c 7c 20 6f 73 32 4d 75 74 65 78 4e 6f 74  E || os2MutexNot
1bf0: 68 65 6c 64 28 70 29 20 29 3b 0a 20 20 44 6f 73  held(p) );.  Dos
1c00: 52 65 71 75 65 73 74 4d 75 74 65 78 53 65 6d 28  RequestMutexSem(
1c10: 70 2d 3e 6d 75 74 65 78 2c 20 53 45 4d 5f 49 4e  p->mutex, SEM_IN
1c20: 44 45 46 49 4e 49 54 45 5f 57 41 49 54 29 3b 0a  DEFINITE_WAIT);.
1c30: 23 69 66 64 65 66 20 53 51 4c 49 54 45 5f 44 45  #ifdef SQLITE_DE
1c40: 42 55 47 0a 20 20 69 66 28 20 70 2d 3e 74 72 61  BUG.  if( p->tra
1c50: 63 65 20 29 20 6f 73 32 4d 75 74 65 78 54 72 61  ce ) os2MutexTra
1c60: 63 65 28 70 2c 20 22 65 6e 74 65 72 22 29 3b 0a  ce(p, "enter");.
1c70: 23 65 6e 64 69 66 0a 7d 0a 73 74 61 74 69 63 20  #endif.}.static 
1c80: 69 6e 74 20 6f 73 32 4d 75 74 65 78 54 72 79 28  int os2MutexTry(
1c90: 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a 70  sqlite3_mutex *p
1ca0: 29 7b 0a 20 20 69 6e 74 20 72 63 20 3d 20 53 51  ){.  int rc = SQ
1cb0: 4c 49 54 45 5f 42 55 53 59 3b 0a 20 20 61 73 73  LITE_BUSY;.  ass
1cc0: 65 72 74 28 20 70 2d 3e 69 64 3d 3d 53 51 4c 49  ert( p->id==SQLI
1cd0: 54 45 5f 4d 55 54 45 58 5f 52 45 43 55 52 53 49  TE_MUTEX_RECURSI
1ce0: 56 45 20 7c 7c 20 6f 73 32 4d 75 74 65 78 4e 6f  VE || os2MutexNo
1cf0: 74 68 65 6c 64 28 70 29 20 29 3b 0a 20 20 69 66  theld(p) );.  if
1d00: 28 20 44 6f 73 52 65 71 75 65 73 74 4d 75 74 65  ( DosRequestMute
1d10: 78 53 65 6d 28 70 2d 3e 6d 75 74 65 78 2c 20 53  xSem(p->mutex, S
1d20: 45 4d 5f 49 4d 4d 45 44 49 41 54 45 5f 52 45 54  EM_IMMEDIATE_RET
1d30: 55 52 4e 29 20 3d 3d 20 4e 4f 5f 45 52 52 4f 52  URN) == NO_ERROR
1d40: 20 29 20 7b 0a 20 20 20 20 72 63 20 3d 20 53 51   ) {.    rc = SQ
1d50: 4c 49 54 45 5f 4f 4b 3b 0a 23 69 66 64 65 66 20  LITE_OK;.#ifdef 
1d60: 53 51 4c 49 54 45 5f 44 45 42 55 47 0a 20 20 20  SQLITE_DEBUG.   
1d70: 20 69 66 28 20 70 2d 3e 74 72 61 63 65 20 29 20   if( p->trace ) 
1d80: 6f 73 32 4d 75 74 65 78 54 72 61 63 65 28 70 2c  os2MutexTrace(p,
1d90: 20 22 74 72 79 22 29 3b 0a 23 65 6e 64 69 66 0a   "try");.#endif.
1da0: 20 20 7d 0a 20 20 72 65 74 75 72 6e 20 72 63 3b    }.  return rc;
1db0: 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 54 68 65 20 73 71  .}../*.** The sq
1dc0: 6c 69 74 65 33 5f 6d 75 74 65 78 5f 6c 65 61 76  lite3_mutex_leav
1dd0: 65 28 29 20 72 6f 75 74 69 6e 65 20 65 78 69 74  e() routine exit
1de0: 73 20 61 20 6d 75 74 65 78 20 74 68 61 74 20 77  s a mutex that w
1df0: 61 73 0a 2a 2a 20 70 72 65 76 69 6f 75 73 6c 79  as.** previously
1e00: 20 65 6e 74 65 72 65 64 20 62 79 20 74 68 65 20   entered by the 
1e10: 73 61 6d 65 20 74 68 72 65 61 64 2e 20 20 54 68  same thread.  Th
1e20: 65 20 62 65 68 61 76 69 6f 72 0a 2a 2a 20 69 73  e behavior.** is
1e30: 20 75 6e 64 65 66 69 6e 65 64 20 69 66 20 74 68   undefined if th
1e40: 65 20 6d 75 74 65 78 20 69 73 20 6e 6f 74 20 63  e mutex is not c
1e50: 75 72 72 65 6e 74 6c 79 20 65 6e 74 65 72 65 64  urrently entered
1e60: 20 6f 72 0a 2a 2a 20 69 73 20 6e 6f 74 20 63 75   or.** is not cu
1e70: 72 72 65 6e 74 6c 79 20 61 6c 6c 6f 63 61 74 65  rrently allocate
1e80: 64 2e 20 20 53 51 4c 69 74 65 20 77 69 6c 6c 20  d.  SQLite will 
1e90: 6e 65 76 65 72 20 64 6f 20 65 69 74 68 65 72 2e  never do either.
1ea0: 0a 2a 2f 0a 73 74 61 74 69 63 20 76 6f 69 64 20  .*/.static void 
1eb0: 6f 73 32 4d 75 74 65 78 4c 65 61 76 65 28 73 71  os2MutexLeave(sq
1ec0: 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a 70 29 7b  lite3_mutex *p){
1ed0: 0a 20 20 61 73 73 65 72 74 28 20 6f 73 32 4d 75  .  assert( os2Mu
1ee0: 74 65 78 48 65 6c 64 28 70 29 20 29 3b 0a 20 20  texHeld(p) );.  
1ef0: 44 6f 73 52 65 6c 65 61 73 65 4d 75 74 65 78 53  DosReleaseMutexS
1f00: 65 6d 28 70 2d 3e 6d 75 74 65 78 29 3b 0a 23 69  em(p->mutex);.#i
1f10: 66 64 65 66 20 53 51 4c 49 54 45 5f 44 45 42 55  fdef SQLITE_DEBU
1f20: 47 0a 20 20 69 66 28 20 70 2d 3e 74 72 61 63 65  G.  if( p->trace
1f30: 20 29 20 6f 73 32 4d 75 74 65 78 54 72 61 63 65   ) os2MutexTrace
1f40: 28 70 2c 20 22 6c 65 61 76 65 22 29 3b 0a 23 65  (p, "leave");.#e
1f50: 6e 64 69 66 0a 7d 0a 0a 73 71 6c 69 74 65 33 5f  ndif.}..sqlite3_
1f60: 6d 75 74 65 78 5f 6d 65 74 68 6f 64 73 20 63 6f  mutex_methods co
1f70: 6e 73 74 20 2a 73 71 6c 69 74 65 33 44 65 66 61  nst *sqlite3Defa
1f80: 75 6c 74 4d 75 74 65 78 28 76 6f 69 64 29 7b 0a  ultMutex(void){.
1f90: 20 20 73 74 61 74 69 63 20 63 6f 6e 73 74 20 73    static const s
1fa0: 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 6d 65 74  qlite3_mutex_met
1fb0: 68 6f 64 73 20 73 4d 75 74 65 78 20 3d 20 7b 0a  hods sMutex = {.
1fc0: 20 20 20 20 6f 73 32 4d 75 74 65 78 49 6e 69 74      os2MutexInit
1fd0: 2c 0a 20 20 20 20 6f 73 32 4d 75 74 65 78 45 6e  ,.    os2MutexEn
1fe0: 64 2c 0a 20 20 20 20 6f 73 32 4d 75 74 65 78 41  d,.    os2MutexA
1ff0: 6c 6c 6f 63 2c 0a 20 20 20 20 6f 73 32 4d 75 74  lloc,.    os2Mut
2000: 65 78 46 72 65 65 2c 0a 20 20 20 20 6f 73 32 4d  exFree,.    os2M
2010: 75 74 65 78 45 6e 74 65 72 2c 0a 20 20 20 20 6f  utexEnter,.    o
2020: 73 32 4d 75 74 65 78 54 72 79 2c 0a 20 20 20 20  s2MutexTry,.    
2030: 6f 73 32 4d 75 74 65 78 4c 65 61 76 65 2c 0a 23  os2MutexLeave,.#
2040: 69 66 64 65 66 20 53 51 4c 49 54 45 5f 44 45 42  ifdef SQLITE_DEB
2050: 55 47 0a 20 20 20 20 6f 73 32 4d 75 74 65 78 48  UG.    os2MutexH
2060: 65 6c 64 2c 0a 20 20 20 20 6f 73 32 4d 75 74 65  eld,.    os2Mute
2070: 78 4e 6f 74 68 65 6c 64 0a 23 65 6c 73 65 0a 20  xNotheld.#else. 
2080: 20 20 20 30 2c 0a 20 20 20 20 30 0a 23 65 6e 64     0,.    0.#end
2090: 69 66 0a 20 20 7d 3b 0a 0a 20 20 72 65 74 75 72  if.  };..  retur
20a0: 6e 20 26 73 4d 75 74 65 78 3b 0a 7d 0a 23 65 6e  n &sMutex;.}.#en
20b0: 64 69 66 20 2f 2a 20 53 51 4c 49 54 45 5f 4d 55  dif /* SQLITE_MU
20c0: 54 45 58 5f 4f 53 32 20 2a 2f 0a                 TEX_OS2 */.