5 * This translation unit implements mutual exclusion (mutex) primitives.
7 * --------------------------------------------------------------------------
9 * Pthreads-win32 - POSIX Threads Library for Win32
10 * Copyright(C) 1998 John E. Bossom
11 * Copyright(C) 1999,2005 Pthreads-win32 contributors
13 * Contact Email: rpj@callisto.canberra.edu.au
15 * The current list of contributors is contained
16 * in the file CONTRIBUTORS included with the source
17 * code distribution. The list can also be seen at the
18 * following World Wide Web location:
19 * http://sources.redhat.com/pthreads-win32/contributors.html
21 * This library is free software; you can redistribute it and/or
22 * modify it under the terms of the GNU Lesser General Public
23 * License as published by the Free Software Foundation; either
24 * version 2 of the License, or (at your option) any later version.
26 * This library is distributed in the hope that it will be useful,
27 * but WITHOUT ANY WARRANTY; without even the implied warranty of
28 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
29 * Lesser General Public License for more details.
31 * You should have received a copy of the GNU Lesser General Public
32 * License along with this library in the file COPYING.LIB;
33 * if not, write to the Free Software Foundation, Inc.,
34 * 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA
38 /*# include <process.h> */
41 #include "implement.h"
44 pthread_mutex_lock (pthread_mutex_t
* mutex
)
51 * Let the system deal with invalid pointers.
59 * We do a quick check to see if we need to do more work
60 * to initialise a static mutex. We check
61 * again inside the guarded section of ptw32_mutex_check_need_init()
62 * to avoid race conditions.
64 if (*mutex
>= PTHREAD_ERRORCHECK_MUTEX_INITIALIZER
)
66 if ((result
= ptw32_mutex_check_need_init (mutex
)) != 0)
78 if (PTHREAD_MUTEX_NORMAL
== kind
)
80 if ((PTW32_INTERLOCKED_LONG
) PTW32_INTERLOCKED_EXCHANGE_LONG(
81 (PTW32_INTERLOCKED_LONGPTR
) &mx
->lock_idx
,
82 (PTW32_INTERLOCKED_LONG
) 1) != 0)
84 while ((PTW32_INTERLOCKED_LONG
) PTW32_INTERLOCKED_EXCHANGE_LONG(
85 (PTW32_INTERLOCKED_LONGPTR
) &mx
->lock_idx
,
86 (PTW32_INTERLOCKED_LONG
) -1) != 0)
88 if (WAIT_OBJECT_0
!= WaitForSingleObject (mx
->event
, INFINITE
))
98 pthread_t self
= pthread_self();
100 if ((PTW32_INTERLOCKED_LONG
) PTW32_INTERLOCKED_COMPARE_EXCHANGE_LONG(
101 (PTW32_INTERLOCKED_LONGPTR
) &mx
->lock_idx
,
102 (PTW32_INTERLOCKED_LONG
) 1,
103 (PTW32_INTERLOCKED_LONG
) 0) == 0)
105 mx
->recursive_count
= 1;
106 mx
->ownerThread
= self
;
110 if (pthread_equal (mx
->ownerThread
, self
))
112 if (kind
== PTHREAD_MUTEX_RECURSIVE
)
114 mx
->recursive_count
++;
123 while ((PTW32_INTERLOCKED_LONG
) PTW32_INTERLOCKED_EXCHANGE_LONG(
124 (PTW32_INTERLOCKED_LONGPTR
) &mx
->lock_idx
,
125 (PTW32_INTERLOCKED_LONG
) -1) != 0)
127 if (WAIT_OBJECT_0
!= WaitForSingleObject (mx
->event
, INFINITE
))
136 mx
->recursive_count
= 1;
137 mx
->ownerThread
= self
;
147 * All types record the current owner thread.
148 * The mutex is added to a per thread list when ownership is acquired.
150 ptw32_robust_state_t
* statePtr
= &mx
->robustNode
->stateInconsistent
;
152 if ((PTW32_INTERLOCKED_LONG
)PTW32_ROBUST_NOTRECOVERABLE
== PTW32_INTERLOCKED_EXCHANGE_ADD_LONG(
153 (PTW32_INTERLOCKED_LONGPTR
)statePtr
,
154 (PTW32_INTERLOCKED_LONG
)0))
156 result
= ENOTRECOVERABLE
;
160 pthread_t self
= pthread_self();
162 kind
= -kind
- 1; /* Convert to non-robust range */
164 if (PTHREAD_MUTEX_NORMAL
== kind
)
166 if ((PTW32_INTERLOCKED_LONG
) PTW32_INTERLOCKED_EXCHANGE_LONG(
167 (PTW32_INTERLOCKED_LONGPTR
) &mx
->lock_idx
,
168 (PTW32_INTERLOCKED_LONG
) 1) != 0)
170 while (0 == (result
= ptw32_robust_mutex_inherit(mutex
))
171 && (PTW32_INTERLOCKED_LONG
) PTW32_INTERLOCKED_EXCHANGE_LONG(
172 (PTW32_INTERLOCKED_LONGPTR
) &mx
->lock_idx
,
173 (PTW32_INTERLOCKED_LONG
) -1) != 0)
175 if (WAIT_OBJECT_0
!= WaitForSingleObject (mx
->event
, INFINITE
))
180 if ((PTW32_INTERLOCKED_LONG
)PTW32_ROBUST_NOTRECOVERABLE
==
181 PTW32_INTERLOCKED_EXCHANGE_ADD_LONG(
182 (PTW32_INTERLOCKED_LONGPTR
)statePtr
,
183 (PTW32_INTERLOCKED_LONG
)0))
185 /* Unblock the next thread */
187 result
= ENOTRECOVERABLE
;
192 if (0 == result
|| EOWNERDEAD
== result
)
195 * Add mutex to the per-thread robust mutex currently-held list.
196 * If the thread terminates, all mutexes in this list will be unlocked.
198 ptw32_robust_mutex_add(mutex
, self
);
203 if ((PTW32_INTERLOCKED_LONG
) PTW32_INTERLOCKED_COMPARE_EXCHANGE_LONG(
204 (PTW32_INTERLOCKED_LONGPTR
) &mx
->lock_idx
,
205 (PTW32_INTERLOCKED_LONG
) 1,
206 (PTW32_INTERLOCKED_LONG
) 0) == 0)
208 mx
->recursive_count
= 1;
210 * Add mutex to the per-thread robust mutex currently-held list.
211 * If the thread terminates, all mutexes in this list will be unlocked.
213 ptw32_robust_mutex_add(mutex
, self
);
217 if (pthread_equal (mx
->ownerThread
, self
))
219 if (PTHREAD_MUTEX_RECURSIVE
== kind
)
221 mx
->recursive_count
++;
230 while (0 == (result
= ptw32_robust_mutex_inherit(mutex
))
231 && (PTW32_INTERLOCKED_LONG
) PTW32_INTERLOCKED_EXCHANGE_LONG(
232 (PTW32_INTERLOCKED_LONGPTR
) &mx
->lock_idx
,
233 (PTW32_INTERLOCKED_LONG
) -1) != 0)
235 if (WAIT_OBJECT_0
!= WaitForSingleObject (mx
->event
, INFINITE
))
240 if ((PTW32_INTERLOCKED_LONG
)PTW32_ROBUST_NOTRECOVERABLE
==
241 PTW32_INTERLOCKED_EXCHANGE_ADD_LONG(
242 (PTW32_INTERLOCKED_LONGPTR
)statePtr
,
243 (PTW32_INTERLOCKED_LONG
)0))
245 /* Unblock the next thread */
247 result
= ENOTRECOVERABLE
;
252 if (0 == result
|| EOWNERDEAD
== result
)
254 mx
->recursive_count
= 1;
256 * Add mutex to the per-thread robust mutex currently-held list.
257 * If the thread terminates, all mutexes in this list will be unlocked.
259 ptw32_robust_mutex_add(mutex
, self
);