|
From: <sv...@va...> - 2009-02-21 09:39:15
|
Author: bart
Date: 2009-02-21 09:39:09 +0000 (Sat, 21 Feb 2009)
New Revision: 9208
Log:
Documentation updates.
Modified:
trunk/drd/drd_mutex.c
trunk/drd/drd_rwlock.c
Modified: trunk/drd/drd_mutex.c
===================================================================
--- trunk/drd/drd_mutex.c 2009-02-20 19:53:50 UTC (rev 9207)
+++ trunk/drd/drd_mutex.c 2009-02-21 09:39:09 UTC (rev 9208)
@@ -328,9 +328,8 @@
/**
* Update mutex_info state when unlocking the pthread_mutex_t mutex.
*
- * @param mutex Pointer to pthread_mutex_t data structure in the client space.
- * @param tid ThreadId of the thread calling pthread_mutex_unlock().
- * @param vc Pointer to the current vector clock of thread tid.
+ * @param[in] mutex Address of the client mutex.
+ * @param[in] mutex_type Mutex type.
*
* @return New value of the mutex recursion count.
*
Modified: trunk/drd/drd_rwlock.c
===================================================================
--- trunk/drd/drd_rwlock.c 2009-02-20 19:53:50 UTC (rev 9207)
+++ trunk/drd/drd_rwlock.c 2009-02-21 09:39:09 UTC (rev 9208)
@@ -464,12 +464,13 @@
/**
* Update rwlock_info state when unlocking the pthread_rwlock_t rwlock.
- * Note: this function must be called before pthread_rwlock_unlock() is called,
- * or a race condition is triggered !
+ *
+ * @param rwlock Pointer to pthread_rwlock_t data structure in the client space.
+ *
* @return New value of the rwlock recursion count.
- * @param rwlock Pointer to pthread_rwlock_t data structure in the client space.
- * @param tid ThreadId of the thread calling pthread_rwlock_unlock().
- * @param vc Pointer to the current vector clock of thread tid.
+ *
+ * @note This function must be called before pthread_rwlock_unlock() is called,
+ * or a race condition is triggered !
*/
void DRD_(rwlock_pre_unlock)(const Addr rwlock)
{
|