168d75effSDimitry Andric //===-- sanitizer_deadlock_detector1.cpp ----------------------------------===//
268d75effSDimitry Andric //
368d75effSDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
468d75effSDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
568d75effSDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
668d75effSDimitry Andric //
768d75effSDimitry Andric //===----------------------------------------------------------------------===//
868d75effSDimitry Andric //
968d75effSDimitry Andric // Deadlock detector implementation based on NxN adjacency bit matrix.
1068d75effSDimitry Andric //
1168d75effSDimitry Andric //===----------------------------------------------------------------------===//
1268d75effSDimitry Andric 
1368d75effSDimitry Andric #include "sanitizer_deadlock_detector_interface.h"
1468d75effSDimitry Andric #include "sanitizer_deadlock_detector.h"
1568d75effSDimitry Andric #include "sanitizer_allocator_internal.h"
1668d75effSDimitry Andric #include "sanitizer_placement_new.h"
1768d75effSDimitry Andric #include "sanitizer_mutex.h"
1868d75effSDimitry Andric 
1968d75effSDimitry Andric #if SANITIZER_DEADLOCK_DETECTOR_VERSION == 1
2068d75effSDimitry Andric 
2168d75effSDimitry Andric namespace __sanitizer {
2268d75effSDimitry Andric 
2368d75effSDimitry Andric typedef TwoLevelBitVector<> DDBV;  // DeadlockDetector's bit vector.
2468d75effSDimitry Andric 
2568d75effSDimitry Andric struct DDPhysicalThread {
2668d75effSDimitry Andric };
2768d75effSDimitry Andric 
2868d75effSDimitry Andric struct DDLogicalThread {
2968d75effSDimitry Andric   u64 ctx;
3068d75effSDimitry Andric   DeadlockDetectorTLS<DDBV> dd;
3168d75effSDimitry Andric   DDReport rep;
3268d75effSDimitry Andric   bool report_pending;
3368d75effSDimitry Andric };
3468d75effSDimitry Andric 
35e8d8bef9SDimitry Andric struct DD final : public DDetector {
3668d75effSDimitry Andric   SpinMutex mtx;
3768d75effSDimitry Andric   DeadlockDetector<DDBV> dd;
3868d75effSDimitry Andric   DDFlags flags;
3968d75effSDimitry Andric 
4068d75effSDimitry Andric   explicit DD(const DDFlags *flags);
4168d75effSDimitry Andric 
4268d75effSDimitry Andric   DDPhysicalThread *CreatePhysicalThread() override;
4368d75effSDimitry Andric   void DestroyPhysicalThread(DDPhysicalThread *pt) override;
4468d75effSDimitry Andric 
4568d75effSDimitry Andric   DDLogicalThread *CreateLogicalThread(u64 ctx) override;
4668d75effSDimitry Andric   void DestroyLogicalThread(DDLogicalThread *lt) override;
4768d75effSDimitry Andric 
4868d75effSDimitry Andric   void MutexInit(DDCallback *cb, DDMutex *m) override;
4968d75effSDimitry Andric   void MutexBeforeLock(DDCallback *cb, DDMutex *m, bool wlock) override;
5068d75effSDimitry Andric   void MutexAfterLock(DDCallback *cb, DDMutex *m, bool wlock,
5168d75effSDimitry Andric                       bool trylock) override;
5268d75effSDimitry Andric   void MutexBeforeUnlock(DDCallback *cb, DDMutex *m, bool wlock) override;
5368d75effSDimitry Andric   void MutexDestroy(DDCallback *cb, DDMutex *m) override;
5468d75effSDimitry Andric 
5568d75effSDimitry Andric   DDReport *GetReport(DDCallback *cb) override;
5668d75effSDimitry Andric 
5768d75effSDimitry Andric   void MutexEnsureID(DDLogicalThread *lt, DDMutex *m);
5868d75effSDimitry Andric   void ReportDeadlock(DDCallback *cb, DDMutex *m);
5968d75effSDimitry Andric };
6068d75effSDimitry Andric 
Create(const DDFlags * flags)6168d75effSDimitry Andric DDetector *DDetector::Create(const DDFlags *flags) {
6268d75effSDimitry Andric   (void)flags;
6368d75effSDimitry Andric   void *mem = MmapOrDie(sizeof(DD), "deadlock detector");
6468d75effSDimitry Andric   return new(mem) DD(flags);
6568d75effSDimitry Andric }
6668d75effSDimitry Andric 
DD(const DDFlags * flags)6768d75effSDimitry Andric DD::DD(const DDFlags *flags)
6868d75effSDimitry Andric     : flags(*flags) {
6968d75effSDimitry Andric   dd.clear();
7068d75effSDimitry Andric }
7168d75effSDimitry Andric 
CreatePhysicalThread()7268d75effSDimitry Andric DDPhysicalThread* DD::CreatePhysicalThread() {
7368d75effSDimitry Andric   return nullptr;
7468d75effSDimitry Andric }
7568d75effSDimitry Andric 
DestroyPhysicalThread(DDPhysicalThread * pt)7668d75effSDimitry Andric void DD::DestroyPhysicalThread(DDPhysicalThread *pt) {
7768d75effSDimitry Andric }
7868d75effSDimitry Andric 
CreateLogicalThread(u64 ctx)7968d75effSDimitry Andric DDLogicalThread* DD::CreateLogicalThread(u64 ctx) {
8068d75effSDimitry Andric   DDLogicalThread *lt = (DDLogicalThread*)InternalAlloc(sizeof(*lt));
8168d75effSDimitry Andric   lt->ctx = ctx;
8268d75effSDimitry Andric   lt->dd.clear();
8368d75effSDimitry Andric   lt->report_pending = false;
8468d75effSDimitry Andric   return lt;
8568d75effSDimitry Andric }
8668d75effSDimitry Andric 
DestroyLogicalThread(DDLogicalThread * lt)8768d75effSDimitry Andric void DD::DestroyLogicalThread(DDLogicalThread *lt) {
8868d75effSDimitry Andric   lt->~DDLogicalThread();
8968d75effSDimitry Andric   InternalFree(lt);
9068d75effSDimitry Andric }
9168d75effSDimitry Andric 
MutexInit(DDCallback * cb,DDMutex * m)9268d75effSDimitry Andric void DD::MutexInit(DDCallback *cb, DDMutex *m) {
9368d75effSDimitry Andric   m->id = 0;
9468d75effSDimitry Andric   m->stk = cb->Unwind();
9568d75effSDimitry Andric }
9668d75effSDimitry Andric 
MutexEnsureID(DDLogicalThread * lt,DDMutex * m)9768d75effSDimitry Andric void DD::MutexEnsureID(DDLogicalThread *lt, DDMutex *m) {
9868d75effSDimitry Andric   if (!dd.nodeBelongsToCurrentEpoch(m->id))
9968d75effSDimitry Andric     m->id = dd.newNode(reinterpret_cast<uptr>(m));
10068d75effSDimitry Andric   dd.ensureCurrentEpoch(&lt->dd);
10168d75effSDimitry Andric }
10268d75effSDimitry Andric 
MutexBeforeLock(DDCallback * cb,DDMutex * m,bool wlock)10368d75effSDimitry Andric void DD::MutexBeforeLock(DDCallback *cb,
10468d75effSDimitry Andric     DDMutex *m, bool wlock) {
10568d75effSDimitry Andric   DDLogicalThread *lt = cb->lt;
10668d75effSDimitry Andric   if (lt->dd.empty()) return;  // This will be the first lock held by lt.
10768d75effSDimitry Andric   if (dd.hasAllEdges(&lt->dd, m->id)) return;  // We already have all edges.
10868d75effSDimitry Andric   SpinMutexLock lk(&mtx);
10968d75effSDimitry Andric   MutexEnsureID(lt, m);
11068d75effSDimitry Andric   if (dd.isHeld(&lt->dd, m->id))
11168d75effSDimitry Andric     return;  // FIXME: allow this only for recursive locks.
11268d75effSDimitry Andric   if (dd.onLockBefore(&lt->dd, m->id)) {
11368d75effSDimitry Andric     // Actually add this edge now so that we have all the stack traces.
11468d75effSDimitry Andric     dd.addEdges(&lt->dd, m->id, cb->Unwind(), cb->UniqueTid());
11568d75effSDimitry Andric     ReportDeadlock(cb, m);
11668d75effSDimitry Andric   }
11768d75effSDimitry Andric }
11868d75effSDimitry Andric 
ReportDeadlock(DDCallback * cb,DDMutex * m)11968d75effSDimitry Andric void DD::ReportDeadlock(DDCallback *cb, DDMutex *m) {
12068d75effSDimitry Andric   DDLogicalThread *lt = cb->lt;
12168d75effSDimitry Andric   uptr path[20];
12268d75effSDimitry Andric   uptr len = dd.findPathToLock(&lt->dd, m->id, path, ARRAY_SIZE(path));
12368d75effSDimitry Andric   if (len == 0U) {
12468d75effSDimitry Andric     // A cycle of 20+ locks? Well, that's a bit odd...
12568d75effSDimitry Andric     Printf("WARNING: too long mutex cycle found\n");
12668d75effSDimitry Andric     return;
12768d75effSDimitry Andric   }
12868d75effSDimitry Andric   CHECK_EQ(m->id, path[0]);
12968d75effSDimitry Andric   lt->report_pending = true;
13068d75effSDimitry Andric   len = Min<uptr>(len, DDReport::kMaxLoopSize);
13168d75effSDimitry Andric   DDReport *rep = &lt->rep;
13268d75effSDimitry Andric   rep->n = len;
13368d75effSDimitry Andric   for (uptr i = 0; i < len; i++) {
13468d75effSDimitry Andric     uptr from = path[i];
13568d75effSDimitry Andric     uptr to = path[(i + 1) % len];
13668d75effSDimitry Andric     DDMutex *m0 = (DDMutex*)dd.getData(from);
13768d75effSDimitry Andric     DDMutex *m1 = (DDMutex*)dd.getData(to);
13868d75effSDimitry Andric 
139*fe6060f1SDimitry Andric     u32 stk_from = 0, stk_to = 0;
14068d75effSDimitry Andric     int unique_tid = 0;
14168d75effSDimitry Andric     dd.findEdge(from, to, &stk_from, &stk_to, &unique_tid);
14268d75effSDimitry Andric     // Printf("Edge: %zd=>%zd: %u/%u T%d\n", from, to, stk_from, stk_to,
14368d75effSDimitry Andric     //    unique_tid);
14468d75effSDimitry Andric     rep->loop[i].thr_ctx = unique_tid;
14568d75effSDimitry Andric     rep->loop[i].mtx_ctx0 = m0->ctx;
14668d75effSDimitry Andric     rep->loop[i].mtx_ctx1 = m1->ctx;
14768d75effSDimitry Andric     rep->loop[i].stk[0] = stk_to;
14868d75effSDimitry Andric     rep->loop[i].stk[1] = stk_from;
14968d75effSDimitry Andric   }
15068d75effSDimitry Andric }
15168d75effSDimitry Andric 
MutexAfterLock(DDCallback * cb,DDMutex * m,bool wlock,bool trylock)15268d75effSDimitry Andric void DD::MutexAfterLock(DDCallback *cb, DDMutex *m, bool wlock, bool trylock) {
15368d75effSDimitry Andric   DDLogicalThread *lt = cb->lt;
15468d75effSDimitry Andric   u32 stk = 0;
15568d75effSDimitry Andric   if (flags.second_deadlock_stack)
15668d75effSDimitry Andric     stk = cb->Unwind();
15768d75effSDimitry Andric   // Printf("T%p MutexLock:   %zx stk %u\n", lt, m->id, stk);
15868d75effSDimitry Andric   if (dd.onFirstLock(&lt->dd, m->id, stk))
15968d75effSDimitry Andric     return;
16068d75effSDimitry Andric   if (dd.onLockFast(&lt->dd, m->id, stk))
16168d75effSDimitry Andric     return;
16268d75effSDimitry Andric 
16368d75effSDimitry Andric   SpinMutexLock lk(&mtx);
16468d75effSDimitry Andric   MutexEnsureID(lt, m);
16568d75effSDimitry Andric   if (wlock)  // Only a recursive rlock may be held.
16668d75effSDimitry Andric     CHECK(!dd.isHeld(&lt->dd, m->id));
16768d75effSDimitry Andric   if (!trylock)
16868d75effSDimitry Andric     dd.addEdges(&lt->dd, m->id, stk ? stk : cb->Unwind(), cb->UniqueTid());
16968d75effSDimitry Andric   dd.onLockAfter(&lt->dd, m->id, stk);
17068d75effSDimitry Andric }
17168d75effSDimitry Andric 
MutexBeforeUnlock(DDCallback * cb,DDMutex * m,bool wlock)17268d75effSDimitry Andric void DD::MutexBeforeUnlock(DDCallback *cb, DDMutex *m, bool wlock) {
17368d75effSDimitry Andric   // Printf("T%p MutexUnLock: %zx\n", cb->lt, m->id);
17468d75effSDimitry Andric   dd.onUnlock(&cb->lt->dd, m->id);
17568d75effSDimitry Andric }
17668d75effSDimitry Andric 
MutexDestroy(DDCallback * cb,DDMutex * m)17768d75effSDimitry Andric void DD::MutexDestroy(DDCallback *cb,
17868d75effSDimitry Andric     DDMutex *m) {
17968d75effSDimitry Andric   if (!m->id) return;
18068d75effSDimitry Andric   SpinMutexLock lk(&mtx);
18168d75effSDimitry Andric   if (dd.nodeBelongsToCurrentEpoch(m->id))
18268d75effSDimitry Andric     dd.removeNode(m->id);
18368d75effSDimitry Andric   m->id = 0;
18468d75effSDimitry Andric }
18568d75effSDimitry Andric 
GetReport(DDCallback * cb)18668d75effSDimitry Andric DDReport *DD::GetReport(DDCallback *cb) {
18768d75effSDimitry Andric   if (!cb->lt->report_pending)
18868d75effSDimitry Andric     return nullptr;
18968d75effSDimitry Andric   cb->lt->report_pending = false;
19068d75effSDimitry Andric   return &cb->lt->rep;
19168d75effSDimitry Andric }
19268d75effSDimitry Andric 
19368d75effSDimitry Andric } // namespace __sanitizer
19468d75effSDimitry Andric #endif // #if SANITIZER_DEADLOCK_DETECTOR_VERSION == 1
195