mirror of
https://github.com/Zenithsiz/ftmemsim-valgrind.git
synced 2026-02-05 03:07:56 +00:00
22b3fe2a3e
- Updated copyright statement: replaced 2006-2007 by 2006-2008. - Added copyright statement in the files where it was missing (drd_track.h and drd_clientreq.c) - Eliminated dependencies on core header files -- there are no more #include "pub_core....h" directives in the exp-drd source code. - Added semaphore support. - Added barrier support. - Added pthread_mutex_timedlock() support. - Stack depth of stack traces printed by exp-drd can now be set via --num-callers=... - Added command-line option --trace-barrier=[yes|no]. - Added regression test for pthread_barrier() (matinv, a program that performs matrix inversion). - Added regression test sem_as_mutex, which tests whether race detection works correctly when a semaphore is used to ensure mutual exclusion of critical sections. - Some of helgrind's regression tests are now used to test both helgrind and exp-drd: tc17_sembar and tc18_semabuse. - Cleaned up bitmap implementation code now that the const keyword has been added to the declarations of the OSet functions. - Cleaned up exp-drd/Makefile.am - Updated exp-drd/TODO.txt git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7346
106 lines
4.4 KiB
C
106 lines
4.4 KiB
C
/*
|
|
This file is part of drd, a data race detector.
|
|
|
|
Copyright (C) 2006-2008 Bart Van Assche
|
|
bart.vanassche@gmail.com
|
|
|
|
This program is free software; you can redistribute it and/or
|
|
modify it under the terms of the GNU General Public License as
|
|
published by the Free Software Foundation; either version 2 of the
|
|
License, or (at your option) any later version.
|
|
|
|
This program is distributed in the hope that it will be useful, but
|
|
WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
General Public License for more details.
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
along with this program; if not, write to the Free Software
|
|
Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
|
|
02111-1307, USA.
|
|
|
|
The GNU General Public License is contained in the file COPYING.
|
|
*/
|
|
|
|
|
|
#ifndef __THREAD_H
|
|
#define __THREAD_H
|
|
|
|
|
|
#include "drd_segment.h"
|
|
#include "pub_tool_stacktrace.h" // StackTrace
|
|
|
|
|
|
#define DRD_INVALID_THREADID 0
|
|
|
|
/* Note: the PThreadId typedef and the INVALID_POSIX_THREADID depend on the */
|
|
/* operating system and threading library in use. PThreadId must contain at */
|
|
/* least the same number of bits as pthread_t, and INVALID_POSIX_THREADID */
|
|
/* must be a value that will never be returned by pthread_self(). */
|
|
|
|
#define INVALID_POSIX_THREADID ((PThreadId)0)
|
|
|
|
|
|
typedef UInt DrdThreadId;
|
|
typedef UWord PThreadId;
|
|
|
|
|
|
Bool IsValidDrdThreadId(const DrdThreadId tid);
|
|
|
|
DrdThreadId VgThreadIdToDrdThreadId(const ThreadId tid);
|
|
DrdThreadId NewVgThreadIdToDrdThreadId(const ThreadId tid);
|
|
DrdThreadId PtThreadIdToDrdThreadId(const PThreadId tid);
|
|
ThreadId DrdThreadIdToVgThreadId(const DrdThreadId tid);
|
|
DrdThreadId thread_pre_create(const DrdThreadId creator,
|
|
const ThreadId vg_created);
|
|
DrdThreadId thread_post_create(const ThreadId vg_created);
|
|
void thread_delete(const DrdThreadId tid);
|
|
void thread_finished(const DrdThreadId tid);
|
|
void thread_set_stack_startup(const DrdThreadId tid, const Addr stack_startup);
|
|
Addr thread_get_stack_min(const DrdThreadId tid);
|
|
void thread_set_stack_min(const DrdThreadId tid, const Addr stack_min);
|
|
DrdThreadId thread_lookup_stackaddr(const Addr a,
|
|
Addr* const stack_min,
|
|
Addr* const stack_max);
|
|
void thread_set_pthreadid(const DrdThreadId tid, const PThreadId ptid);
|
|
Bool thread_get_joinable(const DrdThreadId tid);
|
|
void thread_set_joinable(const DrdThreadId tid, const Bool joinable);
|
|
const char* thread_get_name(const DrdThreadId tid);
|
|
void thread_set_name(const DrdThreadId tid, const char* const name);
|
|
void thread_set_name_fmt(const DrdThreadId tid, const char* const name,
|
|
const UWord arg);
|
|
DrdThreadId thread_get_running_tid(void);
|
|
void thread_set_vg_running_tid(const ThreadId vg_tid);
|
|
void thread_set_running_tid(const ThreadId vg_tid,
|
|
const DrdThreadId drd_tid);
|
|
Segment* thread_get_segment(const DrdThreadId tid);
|
|
void thread_new_segment(const DrdThreadId tid);
|
|
VectorClock* thread_get_vc(const DrdThreadId tid);
|
|
void thread_combine_vc(const DrdThreadId joiner, const DrdThreadId joinee);
|
|
void thread_combine_vc2(const DrdThreadId tid, const VectorClock* const vc);
|
|
void thread_stop_using_mem(const Addr a1, const Addr a2);
|
|
void thread_start_recording(const DrdThreadId tid);
|
|
void thread_stop_recording(const DrdThreadId tid);
|
|
Bool thread_is_recording(const DrdThreadId tid);
|
|
void thread_print_all(void);
|
|
void thread_report_races(const DrdThreadId tid);
|
|
void thread_report_races_segment(const DrdThreadId tid,
|
|
const Segment* const p);
|
|
void thread_report_all_races(void);
|
|
Bool thread_conflicting_access(Addr const a,
|
|
SizeT const size,
|
|
BmAccessTypeT access_type);
|
|
void thread_report_conflicting_segments(const DrdThreadId tid,
|
|
const Addr addr,
|
|
const SizeT size,
|
|
const BmAccessTypeT access_type);
|
|
ULong thread_get_context_switch_count(void);
|
|
ULong thread_get_report_races_count(void);
|
|
ULong thread_get_discard_ordered_segments_count(void);
|
|
ULong thread_get_update_danger_set_count(void);
|
|
ULong thread_get_danger_set_bitmap_creation_count(void);
|
|
ULong thread_get_danger_set_bitmap2_creation_count(void);
|
|
|
|
|
|
#endif // __THREAD_H
|