|
From: <sv...@va...> - 2008-09-27 12:36:19
|
Author: bart
Date: 2008-09-27 13:36:13 +0100 (Sat, 27 Sep 2008)
New Revision: 8638
Log:
Added support for pthread_cancel() handling.
Modified:
trunk/drd/drd_main.c
trunk/drd/drd_track.h
Modified: trunk/drd/drd_main.c
===================================================================
--- trunk/drd/drd_main.c 2008-09-27 12:35:31 UTC (rev 8637)
+++ trunk/drd/drd_main.c 2008-09-27 12:36:13 UTC (rev 8638)
@@ -684,7 +684,14 @@
barrier_thread_delete(drd_joinee);
}
+void drd_pre_thread_cancel(DrdThreadId canceling, DrdThreadId canceled)
+{
+ thread_pre_cancel(canceled);
+}
+void drd_post_thread_cancel(DrdThreadId canceling, DrdThreadId canceled, Bool succeeded)
+{ }
+
/* Called after a thread has performed its last memory access. */
static void drd_thread_finished(ThreadId vg_tid)
{
Modified: trunk/drd/drd_track.h
===================================================================
--- trunk/drd/drd_track.h 2008-09-27 12:35:31 UTC (rev 8637)
+++ trunk/drd/drd_track.h 2008-09-27 12:36:13 UTC (rev 8638)
@@ -25,6 +25,9 @@
void drd_post_thread_join(DrdThreadId joiner, DrdThreadId joinee);
+void drd_pre_thread_cancel(DrdThreadId canceling, DrdThreadId canceled);
+void drd_post_thread_cancel(DrdThreadId canceling, DrdThreadId canceled, Bool succeeded);
+
void drd_pre_mutex_init(Addr mutex, const MutexT mutex_type);
void drd_post_mutex_destroy(Addr mutex, const MutexT mutex_type);
void drd_pre_mutex_lock(const Addr mutex, const MutexT mutex_type,
|