2012-11-22 23:03:11 +01:00
|
|
|
//===-- tsan_sync.h ---------------------------------------------*- C++ -*-===//
|
|
|
|
//
|
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// This file is a part of ThreadSanitizer (TSan), a race detector.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#ifndef TSAN_SYNC_H
|
|
|
|
#define TSAN_SYNC_H
|
|
|
|
|
|
|
|
#include "sanitizer_common/sanitizer_atomic.h"
|
|
|
|
#include "sanitizer_common/sanitizer_common.h"
|
2014-05-22 09:09:21 +02:00
|
|
|
#include "sanitizer_common/sanitizer_deadlock_detector_interface.h"
|
2012-11-22 23:03:11 +01:00
|
|
|
#include "tsan_clock.h"
|
|
|
|
#include "tsan_defs.h"
|
|
|
|
#include "tsan_mutex.h"
|
|
|
|
|
|
|
|
namespace __tsan {
|
|
|
|
|
|
|
|
class StackTrace {
|
|
|
|
public:
|
|
|
|
StackTrace();
|
|
|
|
// Initialized the object in "static mode",
|
|
|
|
// in this mode it never calls malloc/free but uses the provided buffer.
|
|
|
|
StackTrace(uptr *buf, uptr cnt);
|
|
|
|
~StackTrace();
|
|
|
|
void Reset();
|
|
|
|
|
|
|
|
void Init(const uptr *pcs, uptr cnt);
|
|
|
|
void ObtainCurrent(ThreadState *thr, uptr toppc);
|
|
|
|
bool IsEmpty() const;
|
|
|
|
uptr Size() const;
|
|
|
|
uptr Get(uptr i) const;
|
|
|
|
const uptr *Begin() const;
|
|
|
|
void CopyFrom(const StackTrace& other);
|
|
|
|
|
|
|
|
private:
|
|
|
|
uptr n_;
|
|
|
|
uptr *s_;
|
|
|
|
const uptr c_;
|
|
|
|
|
|
|
|
StackTrace(const StackTrace&);
|
|
|
|
void operator = (const StackTrace&);
|
|
|
|
};
|
|
|
|
|
|
|
|
struct SyncVar {
|
2013-01-10 13:44:08 +01:00
|
|
|
explicit SyncVar(uptr addr, u64 uid);
|
2012-11-22 23:03:11 +01:00
|
|
|
|
|
|
|
static const int kInvalidTid = -1;
|
|
|
|
|
|
|
|
Mutex mtx;
|
2013-01-10 13:44:08 +01:00
|
|
|
uptr addr;
|
|
|
|
const u64 uid; // Globally unique id.
|
2013-11-04 22:33:31 +01:00
|
|
|
u32 creation_stack_id;
|
2012-11-22 23:03:11 +01:00
|
|
|
int owner_tid; // Set only by exclusive owners.
|
|
|
|
u64 last_lock;
|
|
|
|
int recursion;
|
|
|
|
bool is_rw;
|
|
|
|
bool is_recursive;
|
|
|
|
bool is_broken;
|
|
|
|
bool is_linker_init;
|
|
|
|
SyncVar *next; // In SyncTab hashtable.
|
2014-05-22 09:09:21 +02:00
|
|
|
DDMutex dd;
|
|
|
|
SyncClock read_clock; // Used for rw mutexes only.
|
|
|
|
// The clock is placed last, so that it is situated on a different cache line
|
|
|
|
// with the mtx. This reduces contention for hot sync objects.
|
|
|
|
SyncClock clock;
|
2012-11-22 23:03:11 +01:00
|
|
|
|
2013-01-10 13:44:08 +01:00
|
|
|
u64 GetId() const {
|
|
|
|
// 47 lsb is addr, then 14 bits is low part of uid, then 3 zero bits.
|
|
|
|
return GetLsb((u64)addr | (uid << 47), 61);
|
|
|
|
}
|
|
|
|
bool CheckId(u64 uid) const {
|
|
|
|
CHECK_EQ(uid, GetLsb(uid, 14));
|
|
|
|
return GetLsb(this->uid, 14) == uid;
|
|
|
|
}
|
|
|
|
static uptr SplitId(u64 id, u64 *uid) {
|
|
|
|
*uid = id >> 47;
|
|
|
|
return (uptr)GetLsb(id, 47);
|
|
|
|
}
|
2012-11-22 23:03:11 +01:00
|
|
|
};
|
|
|
|
|
|
|
|
class SyncTab {
|
|
|
|
public:
|
|
|
|
SyncTab();
|
|
|
|
~SyncTab();
|
|
|
|
|
2013-01-10 13:44:08 +01:00
|
|
|
SyncVar* GetOrCreateAndLock(ThreadState *thr, uptr pc,
|
|
|
|
uptr addr, bool write_lock);
|
|
|
|
SyncVar* GetIfExistsAndLock(uptr addr, bool write_lock);
|
2012-11-22 23:03:11 +01:00
|
|
|
|
|
|
|
// If the SyncVar does not exist, returns 0.
|
|
|
|
SyncVar* GetAndRemove(ThreadState *thr, uptr pc, uptr addr);
|
|
|
|
|
2013-01-10 13:44:08 +01:00
|
|
|
SyncVar* Create(ThreadState *thr, uptr pc, uptr addr);
|
|
|
|
|
2012-11-22 23:03:11 +01:00
|
|
|
private:
|
|
|
|
struct Part {
|
|
|
|
Mutex mtx;
|
|
|
|
SyncVar *val;
|
|
|
|
char pad[kCacheLineSize - sizeof(Mutex) - sizeof(SyncVar*)]; // NOLINT
|
|
|
|
Part();
|
|
|
|
};
|
|
|
|
|
|
|
|
// FIXME: Implement something more sane.
|
|
|
|
static const int kPartCount = 1009;
|
|
|
|
Part tab_[kPartCount];
|
2013-01-10 13:44:08 +01:00
|
|
|
atomic_uint64_t uid_gen_;
|
2012-11-22 23:03:11 +01:00
|
|
|
|
|
|
|
int PartIdx(uptr addr);
|
|
|
|
|
2013-01-10 13:44:08 +01:00
|
|
|
SyncVar* GetAndLock(ThreadState *thr, uptr pc,
|
|
|
|
uptr addr, bool write_lock, bool create);
|
|
|
|
|
2012-11-22 23:03:11 +01:00
|
|
|
SyncTab(const SyncTab&); // Not implemented.
|
|
|
|
void operator = (const SyncTab&); // Not implemented.
|
|
|
|
};
|
|
|
|
|
|
|
|
} // namespace __tsan
|
|
|
|
|
|
|
|
#endif // TSAN_SYNC_H
|