lockvalidator.h@ 34066

Last change on this file since 34066 was 33540, checked in by vboxsync, 14 years ago
*: spelling fixes, thanks Timeless!
Property svn:eol-style set to `native` Property svn:keywords set to `Author Date Id Revision`
File size: 45.0 KB

Line
1	/** @file
2	* IPRT - Lock Validator.
3	*/
4
5	/*
6	* Copyright (C) 2009 Oracle Corporation
7	*
8	* This file is part of VirtualBox Open Source Edition (OSE), as
9	* available from http://www.virtualbox.org. This file is free software;
10	* you can redistribute it and/or modify it under the terms of the GNU
11	* General Public License (GPL) as published by the Free Software
12	* Foundation, in version 2 as it comes in the "COPYING" file of the
13	* VirtualBox OSE distribution. VirtualBox OSE is distributed in the
14	* hope that it will be useful, but WITHOUT ANY WARRANTY of any kind.
15	*
16	* The contents of this file may alternatively be used under the terms
17	* of the Common Development and Distribution License Version 1.0
18	* (CDDL) only, as it comes in the "COPYING.CDDL" file of the
19	* VirtualBox OSE distribution, in which case the provisions of the
20	* CDDL are applicable instead of those of the GPL.
21	*
22	* You may elect to license modified versions of this file under the
23	* terms and conditions of either the GPL or the CDDL or both.
24	*/
25
26	#ifndef ___iprt_lockvalidator_h
27	#define ___iprt_lockvalidator_h
28
29	#include <iprt/cdefs.h>
30	#include <iprt/types.h>
31	#include <iprt/assert.h>
32	#include <iprt/thread.h>
33	#include <iprt/stdarg.h>
34
35
36	/** @defgroup grp_rtlockval RTLockValidator - Lock Validator
37	* @ingroup grp_rt
38	* @{
39	*/
40
41	RT_C_DECLS_BEGIN
42
43	/** Pointer to a record union.
44	* @internal */
45	typedef union RTLOCKVALRECUNION *PRTLOCKVALRECUNION;
46
47	/**
48	* Source position.
49	*/
50	typedef struct RTLOCKVALSRCPOS
51	{
52	/** The file where the lock was taken. */
53	R3R0PTRTYPE(const char * volatile) pszFile;
54	/** The function where the lock was taken. */
55	R3R0PTRTYPE(const char * volatile) pszFunction;
56	/** Some ID indicating where the lock was taken, typically an address. */
57	RTHCUINTPTR volatile uId;
58	/** The line number in the file. */
59	uint32_t volatile uLine;
60	#if HC_ARCH_BITS == 64
61	uint32_t u32Padding; /*< Alignment padding. /
62	#endif
63	} RTLOCKVALSRCPOS;
64	AssertCompileSize(RTLOCKVALSRCPOS, HC_ARCH_BITS == 32 ? 16 : 32);
65	/* The pointer types are defined in iprt/types.h. */
66
67	/** @def RTLOCKVALSRCPOS_INIT
68	* Initializer for a RTLOCKVALSRCPOS variable.
69	*
70	* @param pszFile The file name. Optional (NULL).
71	* @param uLine The line number in that file. Optional (0).
72	* @param pszFunction The function. Optional (NULL).
73	* @param uId Some location ID, normally the return address.
74	* Optional (NULL).
75	*/
76	#if HC_ARCH_BITS == 64
77	# define RTLOCKVALSRCPOS_INIT(pszFile, uLine, pszFunction, uId) \
78	{ (pszFile), (pszFunction), (uId), (uLine), 0 }
79	#else
80	# define RTLOCKVALSRCPOS_INIT(pszFile, uLine, pszFunction, uId) \
81	{ (pszFile), (pszFunction), (uId), (uLine) }
82	#endif
83
84	/** @def RTLOCKVALSRCPOS_INIT_DEBUG_API
85	* Initializer for a RTLOCKVALSRCPOS variable in a typicial debug API
86	* variant. Assumes RT_SRC_POS_DECL and RTHCUINTPTR uId as arguments.
87	*/
88	#define RTLOCKVALSRCPOS_INIT_DEBUG_API() \
89	RTLOCKVALSRCPOS_INIT(pszFile, iLine, pszFunction, uId)
90
91	/** @def RTLOCKVALSRCPOS_INIT_NORMAL_API
92	* Initializer for a RTLOCKVALSRCPOS variable in a normal API
93	* variant. Assumes iprt/asm.h is included.
94	*/
95	#define RTLOCKVALSRCPOS_INIT_NORMAL_API() \
96	RTLOCKVALSRCPOS_INIT(__FILE__, __LINE__, __PRETTY_FUNCTION__, (uintptr_t)ASMReturnAddress())
97
98	/** @def RTLOCKVALSRCPOS_INIT_POS_NO_ID
99	* Initializer for a RTLOCKVALSRCPOS variable when no @c uId is present.
100	* Assumes iprt/asm.h is included.
101	*/
102	#define RTLOCKVALSRCPOS_INIT_POS_NO_ID() \
103	RTLOCKVALSRCPOS_INIT(pszFile, iLine, pszFunction, (uintptr_t)ASMReturnAddress())
104
105	/** Pointer to a record of one ownership share. */
106	typedef struct RTLOCKVALRECSHRD *PRTLOCKVALRECSHRD;
107
108
109	/**
110	* Lock validator record core.
111	*/
112	typedef struct RTLOCKVALRECORE
113	{
114	/** The magic value indicating the record type. */
115	uint32_t volatile u32Magic;
116	} RTLOCKVALRECCORE;
117	/** Pointer to a lock validator record core. */
118	typedef RTLOCKVALRECCORE *PRTLOCKVALRECCORE;
119	/** Pointer to a const lock validator record core. */
120	typedef RTLOCKVALRECCORE const *PCRTLOCKVALRECCORE;
121
122
123	/**
124	* Record recording the exclusive ownership of a lock.
125	*
126	* This is typically part of the per-lock data structure when compiling with
127	* the lock validator.
128	*/
129	typedef struct RTLOCKVALRECEXCL
130	{
131	/** Record core with RTLOCKVALRECEXCL_MAGIC as the magic value. */
132	RTLOCKVALRECCORE Core;
133	/** Whether it's enabled or not. */
134	bool fEnabled;
135	/** Reserved. */
136	bool afReserved[3];
137	/** Source position where the lock was taken. */
138	RTLOCKVALSRCPOS SrcPos;
139	/** The current owner thread. */
140	RTTHREAD volatile hThread;
141	/** Pointer to the lock record below us. Only accessed by the owner. */
142	R3R0PTRTYPE(PRTLOCKVALRECUNION) pDown;
143	/** Recursion count */
144	uint32_t cRecursion;
145	/** The lock sub-class. */
146	uint32_t volatile uSubClass;
147	/** The lock class. */
148	RTLOCKVALCLASS hClass;
149	/** Pointer to the lock. */
150	RTHCPTR hLock;
151	/** Pointer to the next sibling record.
152	* This is used to find the read side of a read-write lock. */
153	R3R0PTRTYPE(PRTLOCKVALRECUNION) pSibling;
154	/** The lock name.
155	* @remarks The bytes beyond 32 are for better size alignment and can be
156	* taken and used for other purposes if it becomes necessary. */
157	char szName[32 + (HC_ARCH_BITS == 32 ? 12 : 8)];
158	} RTLOCKVALRECEXCL;
159	AssertCompileSize(RTLOCKVALRECEXCL, HC_ARCH_BITS == 32 ? 0x60 : 0x80);
160	/* The pointer type is defined in iprt/types.h. */
161
162	/**
163	* For recording the one ownership share.
164	*/
165	typedef struct RTLOCKVALRECSHRDOWN
166	{
167	/** Record core with RTLOCKVALRECSHRDOWN_MAGIC as the magic value. */
168	RTLOCKVALRECCORE Core;
169	/** Recursion count */
170	uint16_t cRecursion;
171	/** Static (true) or dynamic (false) allocated record. */
172	bool fStaticAlloc;
173	/** Reserved. */
174	bool fReserved;
175	/** The current owner thread. */
176	RTTHREAD volatile hThread;
177	/** Pointer to the lock record below us. Only accessed by the owner. */
178	R3R0PTRTYPE(PRTLOCKVALRECUNION) pDown;
179	/** Pointer back to the shared record. */
180	R3R0PTRTYPE(PRTLOCKVALRECSHRD) pSharedRec;
181	#if HC_ARCH_BITS == 32
182	/** Reserved. */
183	RTHCPTR pvReserved;
184	#endif
185	/** Source position where the lock was taken. */
186	RTLOCKVALSRCPOS SrcPos;
187	} RTLOCKVALRECSHRDOWN;
188	AssertCompileSize(RTLOCKVALRECSHRDOWN, HC_ARCH_BITS == 32 ? 24 + 16 : 32 + 32);
189	/** Pointer to a RTLOCKVALRECSHRDOWN. */
190	typedef RTLOCKVALRECSHRDOWN *PRTLOCKVALRECSHRDOWN;
191
192	/**
193	* Record recording the shared ownership of a lock.
194	*
195	* This is typically part of the per-lock data structure when compiling with
196	* the lock validator.
197	*/
198	typedef struct RTLOCKVALRECSHRD
199	{
200	/** Record core with RTLOCKVALRECSHRD_MAGIC as the magic value. */
201	RTLOCKVALRECCORE Core;
202	/** The lock sub-class. */
203	uint32_t volatile uSubClass;
204	/** The lock class. */
205	RTLOCKVALCLASS hClass;
206	/** Pointer to the lock. */
207	RTHCPTR hLock;
208	/** Pointer to the next sibling record.
209	* This is used to find the write side of a read-write lock. */
210	R3R0PTRTYPE(PRTLOCKVALRECUNION) pSibling;
211
212	/** The number of entries in the table.
213	* Updated before inserting and after removal. */
214	uint32_t volatile cEntries;
215	/** The index of the last entry (approximately). */
216	uint32_t volatile iLastEntry;
217	/** The max table size. */
218	uint32_t volatile cAllocated;
219	/** Set if the table is being reallocated, clear if not.
220	* This is used together with rtLockValidatorSerializeDetectionEnter to make
221	* sure there is exactly one thread doing the reallocation and that nobody is
222	* using the table at that point. */
223	bool volatile fReallocating;
224	/** Whether it's enabled or not. */
225	bool fEnabled;
226	/** Set if event semaphore signaller, clear if read-write semaphore. */
227	bool fSignaller;
228	/** Alignment padding. */
229	bool fPadding;
230	/** Pointer to a table containing pointers to records of all the owners. */
231	R3R0PTRTYPE(PRTLOCKVALRECSHRDOWN volatile *) papOwners;
232
233	/** The lock name.
234	* @remarks The bytes beyond 32 are for better size alignment and can be
235	* taken and used for other purposes if it becomes necessary. */
236	char szName[32 + (HC_ARCH_BITS == 32 ? 8 : 8)];
237	} RTLOCKVALRECSHRD;
238	AssertCompileSize(RTLOCKVALRECSHRD, HC_ARCH_BITS == 32 ? 0x50 : 0x60);
239
240
241	/**
242	* Makes the two records siblings.
243	*
244	* @returns VINF_SUCCESS on success, VERR_SEM_LV_INVALID_PARAMETER if either of
245	* the records are invalid.
246	* @param pRec1 Record 1.
247	* @param pRec2 Record 2.
248	*/
249	RTDECL(int) RTLockValidatorRecMakeSiblings(PRTLOCKVALRECCORE pRec1, PRTLOCKVALRECCORE pRec2);
250
251	/**
252	* Initialize a lock validator record.
253	*
254	* Use RTLockValidatorRecExclDelete to deinitialize it.
255	*
256	* @param pRec The record.
257	* @param hClass The class (no reference consumed). If NIL, the
258	* no lock order validation will be performed on
259	* this lock.
260	* @param uSubClass The sub-class. This is used to define lock
261	* order inside the same class. If you don't know,
262	* then pass RTLOCKVAL_SUB_CLASS_NONE.
263	* @param hLock The lock handle.
264	* @param fEnabled Pass @c false to explicitly disable lock
265	* validation, otherwise @c true.
266	* @param pszNameFmt Name format string for the lock validator,
267	* optional (NULL). Max length is 32 bytes.
268	* @param ... Format string arguments.
269	*/
270	RTDECL(void) RTLockValidatorRecExclInit(PRTLOCKVALRECEXCL pRec, RTLOCKVALCLASS hClass, uint32_t uSubClass,
271	void hLock, bool fEnabled, const char pszNameFmt, ...);
272	/**
273	* Initialize a lock validator record.
274	*
275	* Use RTLockValidatorRecExclDelete to deinitialize it.
276	*
277	* @param pRec The record.
278	* @param hClass The class (no reference consumed). If NIL, the
279	* no lock order validation will be performed on
280	* this lock.
281	* @param uSubClass The sub-class. This is used to define lock
282	* order inside the same class. If you don't know,
283	* then pass RTLOCKVAL_SUB_CLASS_NONE.
284	* @param hLock The lock handle.
285	* @param fEnabled Pass @c false to explicitly disable lock
286	* validation, otherwise @c true.
287	* @param pszNameFmt Name format string for the lock validator,
288	* optional (NULL). Max length is 32 bytes.
289	* @param va Format string arguments.
290	*/
291	RTDECL(void) RTLockValidatorRecExclInitV(PRTLOCKVALRECEXCL pRec, RTLOCKVALCLASS hClass, uint32_t uSubClass,
292	void hLock, bool fEnabled, const char pszNameFmt, va_list va);
293	/**
294	* Uninitialize a lock validator record previously initialized by
295	* RTLockRecValidatorInit.
296	*
297	* @param pRec The record. Must be valid.
298	*/
299	RTDECL(void) RTLockValidatorRecExclDelete(PRTLOCKVALRECEXCL pRec);
300
301	/**
302	* Create and initialize a lock validator record.
303	*
304	* Use RTLockValidatorRecExclDestroy to deinitialize and destroy the returned
305	* record.
306	*
307	* @return VINF_SUCCESS or VERR_NO_MEMORY.
308	* @param ppRec Where to return the record pointer.
309	* @param hClass The class (no reference consumed). If NIL, the
310	* no lock order validation will be performed on
311	* this lock.
312	* @param uSubClass The sub-class. This is used to define lock
313	* order inside the same class. If you don't know,
314	* then pass RTLOCKVAL_SUB_CLASS_NONE.
315	* @param hLock The lock handle.
316	* @param fEnabled Pass @c false to explicitly disable lock
317	* validation, otherwise @c true.
318	* @param pszNameFmt Name format string for the lock validator,
319	* optional (NULL). Max length is 32 bytes.
320	* @param ... Format string arguments.
321	*/
322	RTDECL(int) RTLockValidatorRecExclCreate(PRTLOCKVALRECEXCL *ppRec, RTLOCKVALCLASS hClass, uint32_t uSubClass,
323	void hLock, bool fEnabled, const char pszNameFmt, ...);
324
325	/**
326	* Create and initialize a lock validator record.
327	*
328	* Use RTLockValidatorRecExclDestroy to deinitialize and destroy the returned
329	* record.
330	*
331	* @return VINF_SUCCESS or VERR_NO_MEMORY.
332	* @param ppRec Where to return the record pointer.
333	* @param hClass The class (no reference consumed). If NIL, the
334	* no lock order validation will be performed on
335	* this lock.
336	* @param uSubClass The sub-class. This is used to define lock
337	* order inside the same class. If you don't know,
338	* then pass RTLOCKVAL_SUB_CLASS_NONE.
339	* @param hLock The lock handle.
340	* @param fEnabled Pass @c false to explicitly disable lock
341	* validation, otherwise @c true.
342	* @param pszNameFmt Name format string for the lock validator,
343	* optional (NULL). Max length is 32 bytes.
344	* @param va Format string arguments.
345	*/
346	RTDECL(int) RTLockValidatorRecExclCreateV(PRTLOCKVALRECEXCL *ppRec, RTLOCKVALCLASS hClass, uint32_t uSubClass,
347	void hLock, bool fEnabled, const char pszNameFmt, va_list va);
348
349	/**
350	* Deinitialize and destroy a record created by RTLockValidatorRecExclCreate.
351	*
352	* @param ppRec Pointer to the record pointer. Will be set to
353	* NULL.
354	*/
355	RTDECL(void) RTLockValidatorRecExclDestroy(PRTLOCKVALRECEXCL *ppRec);
356
357	/**
358	* Sets the sub-class of the record.
359	*
360	* It is recommended to try make sure that nobody is using this class while
361	* changing the value.
362	*
363	* @returns The old sub-class. RTLOCKVAL_SUB_CLASS_INVALID is returns if the
364	* lock validator isn't compiled in or either of the parameters are
365	* invalid.
366	* @param pRec The validator record.
367	* @param uSubClass The new sub-class value.
368	*/
369	RTDECL(uint32_t) RTLockValidatorRecExclSetSubClass(PRTLOCKVALRECEXCL pRec, uint32_t uSubClass);
370
371	/**
372	* Record the specified thread as lock owner and increment the write lock count.
373	*
374	* This function is typically called after acquiring the lock. It accounts for
375	* recursions so it can be used instead of RTLockValidatorRecExclRecursion. Use
376	* RTLockValidatorRecExclReleaseOwner to reverse the effect.
377	*
378	* @param pRec The validator record.
379	* @param hThreadSelf The handle of the calling thread. If not known,
380	* pass NIL_RTTHREAD and we'll figure it out.
381	* @param pSrcPos The source position of the lock operation.
382	* @param fFirstRecursion Set if it is the first recursion, clear if not
383	* sure.
384	*/
385	RTDECL(void) RTLockValidatorRecExclSetOwner(PRTLOCKVALRECEXCL pRec, RTTHREAD hThreadSelf,
386	PCRTLOCKVALSRCPOS pSrcPos, bool fFirstRecursion);
387
388	/**
389	* Check the exit order and release (unset) the ownership.
390	*
391	* This is called by routines implementing releasing an exclusive lock,
392	* typically before getting down to the final lock releasing. Can be used for
393	* recursive releasing instead of RTLockValidatorRecExclUnwind.
394	*
395	* @retval VINF_SUCCESS on success.
396	* @retval VERR_SEM_LV_WRONG_RELEASE_ORDER if the order is wrong. Will have
397	* done all necessary whining and breakpointing before returning.
398	* @retval VERR_SEM_LV_INVALID_PARAMETER if the input is invalid.
399	*
400	* @param pRec The validator record.
401	* @param fFinalRecursion Set if it's the final recursion, clear if not
402	* sure.
403	*/
404	RTDECL(int) RTLockValidatorRecExclReleaseOwner(PRTLOCKVALRECEXCL pRec, bool fFinalRecursion);
405
406	/**
407	* Clear the lock ownership and decrement the write lock count.
408	*
409	* This is only for special cases where we wish to drop lock validation
410	* recording. See RTLockValidatorRecExclCheckAndRelease.
411	*
412	* @param pRec The validator record.
413	*/
414	RTDECL(void) RTLockValidatorRecExclReleaseOwnerUnchecked(PRTLOCKVALRECEXCL pRec);
415
416	/**
417	* Checks and records a lock recursion.
418	*
419	* @retval VINF_SUCCESS on success.
420	* @retval VERR_SEM_LV_NESTED if the semaphore class forbids recursion. Gone
421	* thru the motions.
422	* @retval VERR_SEM_LV_WRONG_ORDER if the locking order is wrong. Gone thru
423	* the motions.
424	* @retval VERR_SEM_LV_INVALID_PARAMETER if the input is invalid.
425	*
426	* @param pRec The validator record.
427	* @param pSrcPos The source position of the lock operation.
428	*/
429	RTDECL(int) RTLockValidatorRecExclRecursion(PRTLOCKVALRECEXCL pRec, PCRTLOCKVALSRCPOS pSrcPos);
430
431	/**
432	* Checks and records a lock unwind (releasing one recursion).
433	*
434	* This should be coupled with called to RTLockValidatorRecExclRecursion.
435	*
436	* @retval VINF_SUCCESS on success.
437	* @retval VERR_SEM_LV_WRONG_RELEASE_ORDER if the release order is wrong. Gone
438	* thru the motions.
439	* @retval VERR_SEM_LV_INVALID_PARAMETER if the input is invalid.
440	*
441	* @param pRec The validator record.
442	*/
443	RTDECL(int) RTLockValidatorRecExclUnwind(PRTLOCKVALRECEXCL pRec);
444
445	/**
446	* Checks and records a mixed recursion.
447	*
448	* An example of a mixed recursion is a writer requesting read access to a
449	* SemRW.
450	*
451	* This should be coupled with called to RTLockValidatorRecExclUnwindMixed.
452	*
453	* @retval VINF_SUCCESS on success.
454	* @retval VERR_SEM_LV_NESTED if the semaphore class forbids recursion. Gone
455	* thru the motions.
456	* @retval VERR_SEM_LV_WRONG_ORDER if the locking order is wrong. Gone thru
457	* the motions.
458	* @retval VERR_SEM_LV_INVALID_PARAMETER if the input is invalid.
459	*
460	* @param pRec The validator record it to accounted it to.
461	* @param pRecMixed The validator record it came in on.
462	* @param pSrcPos The source position of the lock operation.
463	*/
464	RTDECL(int) RTLockValidatorRecExclRecursionMixed(PRTLOCKVALRECEXCL pRec, PRTLOCKVALRECCORE pRecMixed, PCRTLOCKVALSRCPOS pSrcPos);
465
466	/**
467	* Checks and records the unwinding of a mixed recursion.
468	*
469	* This should be coupled with called to RTLockValidatorRecExclRecursionMixed.
470	*
471	* @retval VINF_SUCCESS on success.
472	* @retval VERR_SEM_LV_WRONG_RELEASE_ORDER if the release order is wrong. Gone
473	* thru the motions.
474	* @retval VERR_SEM_LV_INVALID_PARAMETER if the input is invalid.
475	*
476	* @param pRec The validator record it was accounted to.
477	* @param pRecMixed The validator record it came in on.
478	*/
479	RTDECL(int) RTLockValidatorRecExclUnwindMixed(PRTLOCKVALRECEXCL pRec, PRTLOCKVALRECCORE pRecMixed);
480
481	/**
482	* Check the exclusive locking order.
483	*
484	* This is called by routines implementing exclusive lock acquisition.
485	*
486	* @retval VINF_SUCCESS on success.
487	* @retval VERR_SEM_LV_WRONG_ORDER if the order is wrong. Will have done all
488	* necessary whining and breakpointing before returning.
489	* @retval VERR_SEM_LV_INVALID_PARAMETER if the input is invalid.
490	*
491	* @param pRec The validator record.
492	* @param hThreadSelf The handle of the calling thread. If not known,
493	* pass NIL_RTTHREAD and we'll figure it out.
494	* @param pSrcPos The source position of the lock operation.
495	* @param cMillies The timeout, in milliseconds.
496	*/
497	RTDECL(int) RTLockValidatorRecExclCheckOrder(PRTLOCKVALRECEXCL pRec, RTTHREAD hThreadSelf,
498	PCRTLOCKVALSRCPOS pSrcPos, RTMSINTERVAL cMillies);
499
500	/**
501	* Do deadlock detection before blocking on exclusive access to a lock and
502	* change the thread state.
503	*
504	* @retval VINF_SUCCESS - thread is in the specified sleep state.
505	* @retval VERR_SEM_LV_DEADLOCK if blocking would deadlock. Gone thru the
506	* motions.
507	* @retval VERR_SEM_LV_NESTED if the semaphore isn't recursive and hThread is
508	* already the owner. Gone thru the motions.
509	* @retval VERR_SEM_LV_ILLEGAL_UPGRADE if it's a deadlock on the same lock.
510	* The caller must handle any legal upgrades without invoking this
511	* function (for now).
512	* @retval VERR_SEM_LV_INVALID_PARAMETER if the input is invalid.
513	*
514	* @param pRec The validator record we're blocking on.
515	* @param hThreadSelf The current thread. Shall not be NIL_RTTHREAD!
516	* @param pSrcPos The source position of the lock operation.
517	* @param fRecursiveOk Whether it's ok to recurse.
518	* @param cMillies The timeout, in milliseconds.
519	* @param enmSleepState The sleep state to enter on successful return.
520	* @param fReallySleeping Is it really going to sleep now or not. Use
521	* false before calls to other IPRT synchronization
522	* methods.
523	*/
524	RTDECL(int) RTLockValidatorRecExclCheckBlocking(PRTLOCKVALRECEXCL pRec, RTTHREAD hThreadSelf,
525	PCRTLOCKVALSRCPOS pSrcPos, bool fRecursiveOk, RTMSINTERVAL cMillies,
526	RTTHREADSTATE enmSleepState, bool fReallySleeping);
527
528	/**
529	* RTLockValidatorRecExclCheckOrder and RTLockValidatorRecExclCheckBlocking
530	* baked into one call.
531	*
532	* @returns Any of the statuses returned by the two APIs.
533	* @param pRec The validator record.
534	* @param hThreadSelf The current thread. Shall not be NIL_RTTHREAD!
535	* @param pSrcPos The source position of the lock operation.
536	* @param fRecursiveOk Whether it's ok to recurse.
537	* @param cMillies The timeout, in milliseconds.
538	* @param enmSleepState The sleep state to enter on successful return.
539	* @param fReallySleeping Is it really going to sleep now or not. Use
540	* false before calls to other IPRT synchronization
541	* methods.
542	*/
543	RTDECL(int) RTLockValidatorRecExclCheckOrderAndBlocking(PRTLOCKVALRECEXCL pRec, RTTHREAD hThreadSelf,
544	PCRTLOCKVALSRCPOS pSrcPos, bool fRecursiveOk, RTMSINTERVAL cMillies,
545	RTTHREADSTATE enmSleepState, bool fReallySleeping);
546
547	/**
548	* Initialize a lock validator record for a shared lock.
549	*
550	* Use RTLockValidatorRecSharedDelete to deinitialize it.
551	*
552	* @param pRec The shared lock record.
553	* @param hClass The class (no reference consumed). If NIL, the
554	* no lock order validation will be performed on
555	* this lock.
556	* @param uSubClass The sub-class. This is used to define lock
557	* order inside the same class. If you don't know,
558	* then pass RTLOCKVAL_SUB_CLASS_NONE.
559	* @param hLock The lock handle.
560	* @param fSignaller Set if event semaphore signaller logic should be
561	* applied to this record, clear if read-write
562	* semaphore logic should be used.
563	* @param fEnabled Pass @c false to explicitly disable lock
564	* validation, otherwise @c true.
565	* @param pszNameFmt Name format string for the lock validator,
566	* optional (NULL). Max length is 32 bytes.
567	* @param ... Format string arguments.
568	*/
569	RTDECL(void) RTLockValidatorRecSharedInit(PRTLOCKVALRECSHRD pRec, RTLOCKVALCLASS hClass, uint32_t uSubClass,
570	void hLock, bool fSignaller, bool fEnabled, const char pszNameFmt, ...);
571	/**
572	* Initialize a lock validator record for a shared lock.
573	*
574	* Use RTLockValidatorRecSharedDelete to deinitialize it.
575	*
576	* @param pRec The shared lock record.
577	* @param hClass The class (no reference consumed). If NIL, the
578	* no lock order validation will be performed on
579	* this lock.
580	* @param uSubClass The sub-class. This is used to define lock
581	* order inside the same class. If you don't know,
582	* then pass RTLOCKVAL_SUB_CLASS_NONE.
583	* @param hLock The lock handle.
584	* @param fSignaller Set if event semaphore signaller logic should be
585	* applied to this record, clear if read-write
586	* semaphore logic should be used.
587	* @param fEnabled Pass @c false to explicitly disable lock
588	* validation, otherwise @c true.
589	* @param pszNameFmt Name format string for the lock validator,
590	* optional (NULL). Max length is 32 bytes.
591	* @param va Format string arguments.
592	*/
593	RTDECL(void) RTLockValidatorRecSharedInitV(PRTLOCKVALRECSHRD pRec, RTLOCKVALCLASS hClass, uint32_t uSubClass,
594	void hLock, bool fSignaller, bool fEnabled, const char pszNameFmt, va_list va);
595	/**
596	* Uninitialize a lock validator record previously initialized by
597	* RTLockValidatorRecSharedInit.
598	*
599	* @param pRec The shared lock record. Must be valid.
600	*/
601	RTDECL(void) RTLockValidatorRecSharedDelete(PRTLOCKVALRECSHRD pRec);
602
603	/**
604	* Sets the sub-class of the record.
605	*
606	* It is recommended to try make sure that nobody is using this class while
607	* changing the value.
608	*
609	* @returns The old sub-class. RTLOCKVAL_SUB_CLASS_INVALID is returns if the
610	* lock validator isn't compiled in or either of the parameters are
611	* invalid.
612	* @param pRec The validator record.
613	* @param uSubClass The new sub-class value.
614	*/
615	RTDECL(uint32_t) RTLockValidatorRecSharedSetSubClass(PRTLOCKVALRECSHRD pRec, uint32_t uSubClass);
616
617	/**
618	* Check the shared locking order.
619	*
620	* This is called by routines implementing shared lock acquisition.
621	*
622	* @retval VINF_SUCCESS on success.
623	* @retval VERR_SEM_LV_WRONG_ORDER if the order is wrong. Will have done all
624	* necessary whining and breakpointing before returning.
625	* @retval VERR_SEM_LV_INVALID_PARAMETER if the input is invalid.
626	*
627	* @param pRec The validator record.
628	* @param hThreadSelf The handle of the calling thread. If not known,
629	* pass NIL_RTTHREAD and we'll figure it out.
630	* @param pSrcPos The source position of the lock operation.
631	*/
632	RTDECL(int) RTLockValidatorRecSharedCheckOrder(PRTLOCKVALRECSHRD pRec, RTTHREAD hThreadSelf,
633	PCRTLOCKVALSRCPOS pSrcPos, RTMSINTERVAL cMillies);
634
635	/**
636	* Do deadlock detection before blocking on shared access to a lock and change
637	* the thread state.
638	*
639	* @retval VINF_SUCCESS - thread is in the specified sleep state.
640	* @retval VERR_SEM_LV_DEADLOCK if blocking would deadlock. Gone thru the
641	* motions.
642	* @retval VERR_SEM_LV_NESTED if the semaphore isn't recursive and hThread is
643	* already the owner. Gone thru the motions.
644	* @retval VERR_SEM_LV_ILLEGAL_UPGRADE if it's a deadlock on the same lock.
645	* The caller must handle any legal upgrades without invoking this
646	* function (for now).
647	* @retval VERR_SEM_LV_INVALID_PARAMETER if the input is invalid.
648	*
649	* @param pRec The validator record we're blocking on.
650	* @param hThreadSelf The current thread. Shall not be NIL_RTTHREAD!
651	* @param pSrcPos The source position of the lock operation.
652	* @param fRecursiveOk Whether it's ok to recurse.
653	* @param enmSleepState The sleep state to enter on successful return.
654	* @param fReallySleeping Is it really going to sleep now or not. Use
655	* false before calls to other IPRT synchronization
656	* methods.
657	*/
658	RTDECL(int) RTLockValidatorRecSharedCheckBlocking(PRTLOCKVALRECSHRD pRec, RTTHREAD hThreadSelf,
659	PCRTLOCKVALSRCPOS pSrcPos, bool fRecursiveOk, RTMSINTERVAL cMillies,
660	RTTHREADSTATE enmSleepState, bool fReallySleeping);
661
662	/**
663	* RTLockValidatorRecSharedCheckOrder and RTLockValidatorRecSharedCheckBlocking
664	* baked into one call.
665	*
666	* @returns Any of the statuses returned by the two APIs.
667	* @param pRec The validator record.
668	* @param hThreadSelf The current thread. Shall not be NIL_RTTHREAD!
669	* @param pSrcPos The source position of the lock operation.
670	* @param fRecursiveOk Whether it's ok to recurse.
671	* @param enmSleepState The sleep state to enter on successful return.
672	* @param fReallySleeping Is it really going to sleep now or not. Use
673	* false before calls to other IPRT synchronization
674	* methods.
675	*/
676	RTDECL(int) RTLockValidatorRecSharedCheckOrderAndBlocking(PRTLOCKVALRECSHRD pRec, RTTHREAD hThreadSelf,
677	PCRTLOCKVALSRCPOS pSrcPos, bool fRecursiveOk, RTMSINTERVAL cMillies,
678	RTTHREADSTATE enmSleepState, bool fReallySleeping);
679
680	/**
681	* Removes all current owners and makes hThread the only owner.
682	*
683	* @param pRec The validator record.
684	* @param hThread The thread handle of the owner. NIL_RTTHREAD is
685	* an alias for the current thread.
686	* @param pSrcPos The source position of the lock operation.
687	*/
688	RTDECL(void) RTLockValidatorRecSharedResetOwner(PRTLOCKVALRECSHRD pRec, RTTHREAD hThread, PCRTLOCKVALSRCPOS pSrcPos);
689
690	/**
691	* Adds an owner to a shared locking record.
692	*
693	* Takes recursion into account. This function is typically called after
694	* acquiring the lock in shared mode.
695	*
696	* @param pRec The validator record.
697	* @param hThread The thread handle of the owner. NIL_RTTHREAD is
698	* an alias for the current thread.
699	* @param pSrcPos The source position of the lock operation.
700	*/
701	RTDECL(void) RTLockValidatorRecSharedAddOwner(PRTLOCKVALRECSHRD pRec, RTTHREAD hThread, PCRTLOCKVALSRCPOS pSrcPos);
702
703	/**
704	* Removes an owner from a shared locking record.
705	*
706	* Takes recursion into account. This function is typically called before
707	* releasing the lock.
708	*
709	* @param pRec The validator record.
710	* @param hThread The thread handle of the owner. NIL_RTTHREAD is
711	* an alias for the current thread.
712	*/
713	RTDECL(void) RTLockValidatorRecSharedRemoveOwner(PRTLOCKVALRECSHRD pRec, RTTHREAD hThread);
714
715	/**
716	* Checks if the specified thread is one of the owners.
717	*
718	* @returns true if it is, false if not.
719	*
720	* @param pRec The validator record.
721	* @param hThread The thread handle of the owner. NIL_RTTHREAD is
722	* an alias for the current thread.
723	*/
724	RTDECL(bool) RTLockValidatorRecSharedIsOwner(PRTLOCKVALRECSHRD pRec, RTTHREAD hThread);
725
726	/**
727	* Check the exit order and release (unset) the shared ownership.
728	*
729	* This is called by routines implementing releasing the read/write lock.
730	*
731	* @retval VINF_SUCCESS on success.
732	* @retval VERR_SEM_LV_WRONG_RELEASE_ORDER if the order is wrong. Will have
733	* done all necessary whining and breakpointing before returning.
734	* @retval VERR_SEM_LV_INVALID_PARAMETER if the input is invalid.
735	*
736	* @param pRec The validator record.
737	* @param hThreadSelf The handle of the calling thread. NIL_RTTHREAD
738	* is an alias for the current thread.
739	*/
740	RTDECL(int) RTLockValidatorRecSharedCheckAndRelease(PRTLOCKVALRECSHRD pRec, RTTHREAD hThreadSelf);
741
742	/**
743	* Check the signaller of an event.
744	*
745	* This is called by routines implementing releasing the event semaphore (both
746	* kinds).
747	*
748	* @retval VINF_SUCCESS on success.
749	* @retval VERR_SEM_LV_NOT_SIGNALLER if the thread is not in the record. Will
750	* have done all necessary whining and breakpointing before returning.
751	* @retval VERR_SEM_LV_INVALID_PARAMETER if the input is invalid.
752	*
753	* @param pRec The validator record.
754	* @param hThreadSelf The handle of the calling thread. NIL_RTTHREAD
755	* is an alias for the current thread.
756	*/
757	RTDECL(int) RTLockValidatorRecSharedCheckSignaller(PRTLOCKVALRECSHRD pRec, RTTHREAD hThreadSelf);
758
759	/**
760	* Gets the number of write locks and critical sections the specified
761	* thread owns.
762	*
763	* This number does not include any nested lock/critect entries.
764	*
765	* Note that it probably will return 0 for non-strict builds since
766	* release builds doesn't do unnecessary diagnostic counting like this.
767	*
768	* @returns Number of locks on success (0+) and VERR_INVALID_HANDLER on failure
769	* @param Thread The thread we're inquiring about.
770	* @remarks Will only work for strict builds.
771	*/
772	RTDECL(int32_t) RTLockValidatorWriteLockGetCount(RTTHREAD Thread);
773
774	/**
775	* Works the THREADINT::cWriteLocks member, mostly internal.
776	*
777	* @param Thread The current thread.
778	*/
779	RTDECL(void) RTLockValidatorWriteLockInc(RTTHREAD Thread);
780
781	/**
782	* Works the THREADINT::cWriteLocks member, mostly internal.
783	*
784	* @param Thread The current thread.
785	*/
786	RTDECL(void) RTLockValidatorWriteLockDec(RTTHREAD Thread);
787
788	/**
789	* Gets the number of read locks the specified thread owns.
790	*
791	* Note that nesting read lock entry will be included in the
792	* total sum. And that it probably will return 0 for non-strict
793	* builds since release builds doesn't do unnecessary diagnostic
794	* counting like this.
795	*
796	* @returns Number of read locks on success (0+) and VERR_INVALID_HANDLER on failure
797	* @param Thread The thread we're inquiring about.
798	*/
799	RTDECL(int32_t) RTLockValidatorReadLockGetCount(RTTHREAD Thread);
800
801	/**
802	* Works the THREADINT::cReadLocks member.
803	*
804	* @param Thread The current thread.
805	*/
806	RTDECL(void) RTLockValidatorReadLockInc(RTTHREAD Thread);
807
808	/**
809	* Works the THREADINT::cReadLocks member.
810	*
811	* @param Thread The current thread.
812	*/
813	RTDECL(void) RTLockValidatorReadLockDec(RTTHREAD Thread);
814
815	/**
816	* Query which lock the specified thread is waiting on.
817	*
818	* @returns The lock handle value or NULL.
819	* @param hThread The thread in question.
820	*/
821	RTDECL(void *) RTLockValidatorQueryBlocking(RTTHREAD hThread);
822
823	/**
824	* Checks if the thread is running in the lock validator after it has entered a
825	* block state.
826	*
827	* @returns true if it is, false if it isn't.
828	* @param hThread The thread in question.
829	*/
830	RTDECL(bool) RTLockValidatorIsBlockedThreadInValidator(RTTHREAD hThread);
831
832	/**
833	* Checks if the calling thread is holding a lock in the specified class.
834	*
835	* @returns true if it holds a lock in the specific class, false if it
836	* doesn't.
837	*
838	* @param hCurrentThread The current thread. Pass NIL_RTTHREAD if you're
839	* lazy.
840	* @param hClass The class.
841	*/
842	RTDECL(bool) RTLockValidatorHoldsLocksInClass(RTTHREAD hCurrentThread, RTLOCKVALCLASS hClass);
843
844	/**
845	* Checks if the calling thread is holding a lock in the specified sub-class.
846	*
847	* @returns true if it holds a lock in the specific sub-class, false if it
848	* doesn't.
849	*
850	* @param hCurrentThread The current thread. Pass NIL_RTTHREAD if you're
851	* lazy.
852	* @param hClass The class.
853	* @param uSubClass The new sub-class value.
854	*/
855	RTDECL(bool) RTLockValidatorHoldsLocksInSubClass(RTTHREAD hCurrentThread, RTLOCKVALCLASS hClass, uint32_t uSubClass);
856
857
858
859	/**
860	* Creates a new lock validator class, all properties specified.
861	*
862	* @returns IPRT status code
863	* @param phClass Where to return the class handle.
864	* @param pSrcPos The source position of the create call.
865	* @param fAutodidact Whether the class should be allowed to teach
866	* itself new locking order rules (true), or if the
867	* user will teach it all it needs to know (false).
868	* @param fRecursionOk Whether to allow lock recursion or not.
869	* @param fStrictReleaseOrder Enforce strict lock release order or not.
870	* @param cMsMinDeadlock Used to raise the sleep interval at which
871	* deadlock detection kicks in. Minimum is 1 ms,
872	* while RT_INDEFINITE_WAIT will disable it.
873	* @param cMsMinOrder Used to raise the sleep interval at which lock
874	* order validation kicks in. Minimum is 1 ms,
875	* while RT_INDEFINITE_WAIT will disable it.
876	* @param pszNameFmt Class name format string, optional (NULL). Max
877	* length is 32 bytes.
878	* @param ... Format string arguments.
879	*
880	* @remarks The properties can be modified after creation by the
881	* RTLockValidatorClassSet* methods.
882	*/
883	RTDECL(int) RTLockValidatorClassCreateEx(PRTLOCKVALCLASS phClass, PCRTLOCKVALSRCPOS pSrcPos,
884	bool fAutodidact, bool fRecursionOk, bool fStrictReleaseOrder,
885	RTMSINTERVAL cMsMinDeadlock, RTMSINTERVAL cMsMinOrder,
886	const char *pszNameFmt, ...);
887
888	/**
889	* Creates a new lock validator class, all properties specified.
890	*
891	* @returns IPRT status code
892	* @param phClass Where to return the class handle.
893	* @param pSrcPos The source position of the create call.
894	* @param fAutodidact Whether the class should be allowed to teach
895	* itself new locking order rules (true), or if the
896	* user will teach it all it needs to know (false).
897	* @param fRecursionOk Whether to allow lock recursion or not.
898	* @param fStrictReleaseOrder Enforce strict lock release order or not.
899	* @param cMsMinDeadlock Used to raise the sleep interval at which
900	* deadlock detection kicks in. Minimum is 1 ms,
901	* while RT_INDEFINITE_WAIT will disable it.
902	* @param cMsMinOrder Used to raise the sleep interval at which lock
903	* order validation kicks in. Minimum is 1 ms,
904	* while RT_INDEFINITE_WAIT will disable it.
905	* @param pszNameFmt Class name format string, optional (NULL). Max
906	* length is 32 bytes.
907	* @param va Format string arguments.
908	*
909	* @remarks The properties can be modified after creation by the
910	* RTLockValidatorClassSet* methods.
911	*/
912	RTDECL(int) RTLockValidatorClassCreateExV(PRTLOCKVALCLASS phClass, PCRTLOCKVALSRCPOS pSrcPos,
913	bool fAutodidact, bool fRecursionOk, bool fStrictReleaseOrder,
914	RTMSINTERVAL cMsMinDeadlock, RTMSINTERVAL cMsMinOrder,
915	const char *pszNameFmt, va_list va);
916
917	/**
918	* Creates a new lock validator class.
919	*
920	* @returns IPRT status code
921	* @param phClass Where to return the class handle.
922	* @param fAutodidact Whether the class should be allowed to teach
923	* itself new locking order rules (true), or if the
924	* user will teach it all it needs to know (false).
925	* @param pszFile The source position of the call, file.
926	* @param iLine The source position of the call, line.
927	* @param pszFunction The source position of the call, function.
928	* @param pszNameFmt Class name format string, optional (NULL). Max
929	* length is 32 bytes.
930	* @param ... Format string arguments.
931	*/
932	RTDECL(int) RTLockValidatorClassCreate(PRTLOCKVALCLASS phClass, bool fAutodidact, RT_SRC_POS_DECL, const char *pszNameFmt, ...);
933
934	/**
935	* Creates a new lock validator class with a reference that is consumed by the
936	* first call to RTLockValidatorClassRetain.
937	*
938	* This is tailored for use in the parameter list of a semaphore constructor.
939	*
940	* @returns Class handle with a reference that is automatically consumed by the
941	* first retainer. NIL_RTLOCKVALCLASS if we run into trouble.
942	*
943	* @param pszFile The source position of the call, file.
944	* @param iLine The source position of the call, line.
945	* @param pszFunction The source position of the call, function.
946	* @param pszNameFmt Class name format string, optional (NULL). Max
947	* length is 32 bytes.
948	* @param ... Format string arguments.
949	*/
950	RTDECL(RTLOCKVALCLASS) RTLockValidatorClassCreateUnique(RT_SRC_POS_DECL, const char *pszNameFmt, ...);
951
952	/**
953	* Finds a class for the specified source position.
954	*
955	* @returns A handle to the class (not retained!) or NIL_RTLOCKVALCLASS.
956	* @param pSrcPos The source position.
957	*/
958	RTDECL(RTLOCKVALCLASS) RTLockValidatorClassFindForSrcPos(PRTLOCKVALSRCPOS pSrcPos);
959
960	/**
961	* Finds or creates a class given the source position.
962	*
963	* @returns Class handle (not retained!) or NIL_RTLOCKVALCLASS.
964	* @param pszFile The source file.
965	* @param iLine The line in that source file.
966	* @param pszFunction The function name.
967	* @param pszNameFmt Class name format string, optional (NULL). Max
968	* length is 32 bytes.
969	* @param ... Format string arguments.
970	*/
971	RTDECL(RTLOCKVALCLASS) RTLockValidatorClassForSrcPos(RT_SRC_POS_DECL, const char *pszNameFmt, ...);
972
973	/**
974	* Retains a reference to a lock validator class.
975	*
976	* @returns New reference count; UINT32_MAX if the handle is invalid.
977	* @param hClass Handle to the class.
978	*/
979	RTDECL(uint32_t) RTLockValidatorClassRetain(RTLOCKVALCLASS hClass);
980
981	/**
982	* Releases a reference to a lock validator class.
983	*
984	* @returns New reference count. 0 if hClass is NIL_RTLOCKVALCLASS. UINT32_MAX
985	* if the handle is invalid.
986	* @param hClass Handle to the class.
987	*/
988	RTDECL(uint32_t) RTLockValidatorClassRelease(RTLOCKVALCLASS hClass);
989
990	/**
991	* Teaches the class @a hClass that locks in the class @a hPriorClass can be
992	* held when taking a lock of class @hClass
993	*
994	* @returns IPRT status.
995	* @param hClass Handle to the pupil class.
996	* @param hPriorClass Handle to the class that can be held prior to
997	* taking a lock in the pupil class. (No reference
998	* is consumed.)
999	*/
1000	RTDECL(int) RTLockValidatorClassAddPriorClass(RTLOCKVALCLASS hClass, RTLOCKVALCLASS hPriorClass);
1001
1002	/**
1003	* Enables or disables the strict release order enforcing.
1004	*
1005	* @returns IPRT status.
1006	* @param hClass Handle to the class to change.
1007	* @param fEnable Enable it (true) or disable it (false).
1008	*/
1009	RTDECL(int) RTLockValidatorClassEnforceStrictReleaseOrder(RTLOCKVALCLASS hClass, bool fEnabled);
1010
1011	/**
1012	* Enables / disables the lock validator for new locks.
1013	*
1014	* @returns The old setting.
1015	* @param fEnabled The new setting.
1016	*/
1017	RTDECL(bool) RTLockValidatorSetEnabled(bool fEnabled);
1018
1019	/**
1020	* Is the lock validator enabled?
1021	*
1022	* @returns True if enabled, false if not.
1023	*/
1024	RTDECL(bool) RTLockValidatorIsEnabled(void);
1025
1026	/**
1027	* Controls whether the lock validator should be quiet or noisy (default).
1028	*
1029	* @returns The old setting.
1030	* @param fQuiet The new setting.
1031	*/
1032	RTDECL(bool) RTLockValidatorSetQuiet(bool fQuiet);
1033
1034	/**
1035	* Is the lock validator quiet or noisy?
1036	*
1037	* @returns True if it is quiet, false if noisy.
1038	*/
1039	RTDECL(bool) RTLockValidatorIsQuiet(void);
1040
1041	/**
1042	* Makes the lock validator panic (default) or not.
1043	*
1044	* @returns The old setting.
1045	* @param fPanic The new setting.
1046	*/
1047	RTDECL(bool) RTLockValidatorSetMayPanic(bool fPanic);
1048
1049	/**
1050	* Can the lock validator cause panic.
1051	*
1052	* @returns True if it can, false if not.
1053	*/
1054	RTDECL(bool) RTLockValidatorMayPanic(void);
1055
1056
1057	RT_C_DECLS_END
1058
1059	/** @} */
1060
1061	#endif
1062

Note: See TracBrowser for help on using the repository browser.

source: vbox/trunk/include/iprt/lockvalidator.h@ 34066

Download in other formats: