1edd7eaddSDimitry Andric //===-- MainThreadCheckerRuntime.cpp ----------------------------*- C++ -*-===//
2edd7eaddSDimitry Andric //
3edd7eaddSDimitry Andric //                     The LLVM Compiler Infrastructure
4edd7eaddSDimitry Andric //
5edd7eaddSDimitry Andric // This file is distributed under the University of Illinois Open Source
6edd7eaddSDimitry Andric // License. See LICENSE.TXT for details.
7edd7eaddSDimitry Andric //
8edd7eaddSDimitry Andric //===----------------------------------------------------------------------===//
9edd7eaddSDimitry Andric 
10edd7eaddSDimitry Andric #include "MainThreadCheckerRuntime.h"
11edd7eaddSDimitry Andric 
12edd7eaddSDimitry Andric #include "lldb/Breakpoint/StoppointCallbackContext.h"
13edd7eaddSDimitry Andric #include "lldb/Core/Module.h"
14edd7eaddSDimitry Andric #include "lldb/Core/PluginManager.h"
15edd7eaddSDimitry Andric #include "lldb/Symbol/Symbol.h"
16edd7eaddSDimitry Andric #include "lldb/Symbol/SymbolContext.h"
17edd7eaddSDimitry Andric #include "lldb/Symbol/Variable.h"
18edd7eaddSDimitry Andric #include "lldb/Symbol/VariableList.h"
19edd7eaddSDimitry Andric #include "lldb/Target/InstrumentationRuntimeStopInfo.h"
20edd7eaddSDimitry Andric #include "lldb/Target/RegisterContext.h"
21edd7eaddSDimitry Andric #include "lldb/Target/SectionLoadList.h"
22edd7eaddSDimitry Andric #include "lldb/Target/StopInfo.h"
23edd7eaddSDimitry Andric #include "lldb/Target/Target.h"
24edd7eaddSDimitry Andric #include "lldb/Target/Thread.h"
25edd7eaddSDimitry Andric #include "lldb/Utility/RegularExpression.h"
26edd7eaddSDimitry Andric #include "Plugins/Process/Utility/HistoryThread.h"
27edd7eaddSDimitry Andric 
28edd7eaddSDimitry Andric using namespace lldb;
29edd7eaddSDimitry Andric using namespace lldb_private;
30edd7eaddSDimitry Andric 
~MainThreadCheckerRuntime()31edd7eaddSDimitry Andric MainThreadCheckerRuntime::~MainThreadCheckerRuntime() {
32edd7eaddSDimitry Andric   Deactivate();
33edd7eaddSDimitry Andric }
34edd7eaddSDimitry Andric 
35edd7eaddSDimitry Andric lldb::InstrumentationRuntimeSP
CreateInstance(const lldb::ProcessSP & process_sp)36edd7eaddSDimitry Andric MainThreadCheckerRuntime::CreateInstance(const lldb::ProcessSP &process_sp) {
37edd7eaddSDimitry Andric   return InstrumentationRuntimeSP(new MainThreadCheckerRuntime(process_sp));
38edd7eaddSDimitry Andric }
39edd7eaddSDimitry Andric 
Initialize()40edd7eaddSDimitry Andric void MainThreadCheckerRuntime::Initialize() {
41edd7eaddSDimitry Andric   PluginManager::RegisterPlugin(
42edd7eaddSDimitry Andric       GetPluginNameStatic(), "MainThreadChecker instrumentation runtime plugin.",
43edd7eaddSDimitry Andric       CreateInstance, GetTypeStatic);
44edd7eaddSDimitry Andric }
45edd7eaddSDimitry Andric 
Terminate()46edd7eaddSDimitry Andric void MainThreadCheckerRuntime::Terminate() {
47edd7eaddSDimitry Andric   PluginManager::UnregisterPlugin(CreateInstance);
48edd7eaddSDimitry Andric }
49edd7eaddSDimitry Andric 
GetPluginNameStatic()50edd7eaddSDimitry Andric lldb_private::ConstString MainThreadCheckerRuntime::GetPluginNameStatic() {
51edd7eaddSDimitry Andric   return ConstString("MainThreadChecker");
52edd7eaddSDimitry Andric }
53edd7eaddSDimitry Andric 
GetTypeStatic()54edd7eaddSDimitry Andric lldb::InstrumentationRuntimeType MainThreadCheckerRuntime::GetTypeStatic() {
55edd7eaddSDimitry Andric   return eInstrumentationRuntimeTypeMainThreadChecker;
56edd7eaddSDimitry Andric }
57edd7eaddSDimitry Andric 
58edd7eaddSDimitry Andric const RegularExpression &
GetPatternForRuntimeLibrary()59edd7eaddSDimitry Andric MainThreadCheckerRuntime::GetPatternForRuntimeLibrary() {
60edd7eaddSDimitry Andric   static RegularExpression regex(llvm::StringRef("libMainThreadChecker.dylib"));
61edd7eaddSDimitry Andric   return regex;
62edd7eaddSDimitry Andric }
63edd7eaddSDimitry Andric 
CheckIfRuntimeIsValid(const lldb::ModuleSP module_sp)64edd7eaddSDimitry Andric bool MainThreadCheckerRuntime::CheckIfRuntimeIsValid(
65edd7eaddSDimitry Andric     const lldb::ModuleSP module_sp) {
66edd7eaddSDimitry Andric   static ConstString test_sym("__main_thread_checker_on_report");
67edd7eaddSDimitry Andric   const Symbol *symbol =
68edd7eaddSDimitry Andric       module_sp->FindFirstSymbolWithNameAndType(test_sym, lldb::eSymbolTypeAny);
69edd7eaddSDimitry Andric   return symbol != nullptr;
70edd7eaddSDimitry Andric }
71edd7eaddSDimitry Andric 
72edd7eaddSDimitry Andric StructuredData::ObjectSP
RetrieveReportData(ExecutionContextRef exe_ctx_ref)73edd7eaddSDimitry Andric MainThreadCheckerRuntime::RetrieveReportData(ExecutionContextRef exe_ctx_ref) {
74edd7eaddSDimitry Andric   ProcessSP process_sp = GetProcessSP();
75edd7eaddSDimitry Andric   if (!process_sp)
76edd7eaddSDimitry Andric     return StructuredData::ObjectSP();
77edd7eaddSDimitry Andric 
78edd7eaddSDimitry Andric   ThreadSP thread_sp = exe_ctx_ref.GetThreadSP();
79edd7eaddSDimitry Andric   StackFrameSP frame_sp = thread_sp->GetSelectedFrame();
80edd7eaddSDimitry Andric   ModuleSP runtime_module_sp = GetRuntimeModuleSP();
81edd7eaddSDimitry Andric   Target &target = process_sp->GetTarget();
82edd7eaddSDimitry Andric 
83edd7eaddSDimitry Andric   if (!frame_sp)
84edd7eaddSDimitry Andric     return StructuredData::ObjectSP();
85edd7eaddSDimitry Andric 
86edd7eaddSDimitry Andric   RegisterContextSP regctx_sp = frame_sp->GetRegisterContext();
87edd7eaddSDimitry Andric   if (!regctx_sp)
88edd7eaddSDimitry Andric     return StructuredData::ObjectSP();
89edd7eaddSDimitry Andric 
90edd7eaddSDimitry Andric   const RegisterInfo *reginfo = regctx_sp->GetRegisterInfoByName("arg1");
91edd7eaddSDimitry Andric   if (!reginfo)
92edd7eaddSDimitry Andric     return StructuredData::ObjectSP();
93edd7eaddSDimitry Andric 
94edd7eaddSDimitry Andric   uint64_t apiname_ptr = regctx_sp->ReadRegisterAsUnsigned(reginfo, 0);
95edd7eaddSDimitry Andric   if (!apiname_ptr)
96edd7eaddSDimitry Andric     return StructuredData::ObjectSP();
97edd7eaddSDimitry Andric 
98edd7eaddSDimitry Andric   std::string apiName = "";
99edd7eaddSDimitry Andric   Status read_error;
100edd7eaddSDimitry Andric   target.ReadCStringFromMemory(apiname_ptr, apiName, read_error);
101edd7eaddSDimitry Andric   if (read_error.Fail())
102edd7eaddSDimitry Andric     return StructuredData::ObjectSP();
103edd7eaddSDimitry Andric 
104edd7eaddSDimitry Andric   std::string className = "";
105edd7eaddSDimitry Andric   std::string selector = "";
106edd7eaddSDimitry Andric   if (apiName.substr(0, 2) == "-[") {
107edd7eaddSDimitry Andric     size_t spacePos = apiName.find(" ");
108edd7eaddSDimitry Andric     if (spacePos != std::string::npos) {
109edd7eaddSDimitry Andric       className = apiName.substr(2, spacePos - 2);
110edd7eaddSDimitry Andric       selector = apiName.substr(spacePos + 1, apiName.length() - spacePos - 2);
111edd7eaddSDimitry Andric     }
112edd7eaddSDimitry Andric   }
113edd7eaddSDimitry Andric 
114edd7eaddSDimitry Andric   // Gather the PCs of the user frames in the backtrace.
115edd7eaddSDimitry Andric   StructuredData::Array *trace = new StructuredData::Array();
116edd7eaddSDimitry Andric   auto trace_sp = StructuredData::ObjectSP(trace);
117edd7eaddSDimitry Andric   StackFrameSP responsible_frame;
118edd7eaddSDimitry Andric   for (unsigned I = 0; I < thread_sp->GetStackFrameCount(); ++I) {
119edd7eaddSDimitry Andric     StackFrameSP frame = thread_sp->GetStackFrameAtIndex(I);
120edd7eaddSDimitry Andric     Address addr = frame->GetFrameCodeAddress();
121edd7eaddSDimitry Andric     if (addr.GetModule() == runtime_module_sp) // Skip PCs from the runtime.
122edd7eaddSDimitry Andric       continue;
123edd7eaddSDimitry Andric 
124edd7eaddSDimitry Andric     // The first non-runtime frame is responsible for the bug.
125edd7eaddSDimitry Andric     if (!responsible_frame)
126edd7eaddSDimitry Andric       responsible_frame = frame;
127edd7eaddSDimitry Andric 
128edd7eaddSDimitry Andric     // First frame in stacktrace should point to a real PC, not return address.
129edd7eaddSDimitry Andric     if (I != 0 && trace->GetSize() == 0) {
130edd7eaddSDimitry Andric       addr.Slide(-1);
131edd7eaddSDimitry Andric     }
132edd7eaddSDimitry Andric 
133edd7eaddSDimitry Andric     lldb::addr_t PC = addr.GetLoadAddress(&target);
134edd7eaddSDimitry Andric     trace->AddItem(StructuredData::ObjectSP(new StructuredData::Integer(PC)));
135edd7eaddSDimitry Andric   }
136edd7eaddSDimitry Andric 
137edd7eaddSDimitry Andric   auto *d = new StructuredData::Dictionary();
138edd7eaddSDimitry Andric   auto dict_sp = StructuredData::ObjectSP(d);
139edd7eaddSDimitry Andric   d->AddStringItem("instrumentation_class", "MainThreadChecker");
140edd7eaddSDimitry Andric   d->AddStringItem("api_name", apiName);
141edd7eaddSDimitry Andric   d->AddStringItem("class_name", className);
142edd7eaddSDimitry Andric   d->AddStringItem("selector", selector);
143edd7eaddSDimitry Andric   d->AddStringItem("description",
144c4394386SDimitry Andric                    apiName + " must be used from main thread only");
145edd7eaddSDimitry Andric   d->AddIntegerItem("tid", thread_sp->GetIndexID());
146edd7eaddSDimitry Andric   d->AddItem("trace", trace_sp);
147edd7eaddSDimitry Andric   return dict_sp;
148edd7eaddSDimitry Andric }
149edd7eaddSDimitry Andric 
NotifyBreakpointHit(void * baton,StoppointCallbackContext * context,user_id_t break_id,user_id_t break_loc_id)150edd7eaddSDimitry Andric bool MainThreadCheckerRuntime::NotifyBreakpointHit(
151edd7eaddSDimitry Andric     void *baton, StoppointCallbackContext *context, user_id_t break_id,
152edd7eaddSDimitry Andric     user_id_t break_loc_id) {
153edd7eaddSDimitry Andric   assert(baton && "null baton");
154edd7eaddSDimitry Andric   if (!baton)
155edd7eaddSDimitry Andric     return false; //< false => resume execution.
156edd7eaddSDimitry Andric 
157edd7eaddSDimitry Andric   MainThreadCheckerRuntime *const instance =
158edd7eaddSDimitry Andric       static_cast<MainThreadCheckerRuntime *>(baton);
159edd7eaddSDimitry Andric 
160edd7eaddSDimitry Andric   ProcessSP process_sp = instance->GetProcessSP();
161edd7eaddSDimitry Andric   ThreadSP thread_sp = context->exe_ctx_ref.GetThreadSP();
162edd7eaddSDimitry Andric   if (!process_sp || !thread_sp ||
163edd7eaddSDimitry Andric       process_sp != context->exe_ctx_ref.GetProcessSP())
164edd7eaddSDimitry Andric     return false;
165edd7eaddSDimitry Andric 
166c4394386SDimitry Andric   if (process_sp->GetModIDRef().IsLastResumeForUserExpression())
167c4394386SDimitry Andric     return false;
168c4394386SDimitry Andric 
169edd7eaddSDimitry Andric   StructuredData::ObjectSP report =
170edd7eaddSDimitry Andric       instance->RetrieveReportData(context->exe_ctx_ref);
171edd7eaddSDimitry Andric 
172edd7eaddSDimitry Andric   if (report) {
173edd7eaddSDimitry Andric     std::string description = report->GetAsDictionary()
174edd7eaddSDimitry Andric                                 ->GetValueForKey("description")
175edd7eaddSDimitry Andric                                 ->GetAsString()
176edd7eaddSDimitry Andric                                 ->GetValue();
177edd7eaddSDimitry Andric     thread_sp->SetStopInfo(
178edd7eaddSDimitry Andric         InstrumentationRuntimeStopInfo::CreateStopReasonWithInstrumentationData(
179edd7eaddSDimitry Andric             *thread_sp, description, report));
180edd7eaddSDimitry Andric     return true;
181edd7eaddSDimitry Andric   }
182edd7eaddSDimitry Andric 
183edd7eaddSDimitry Andric   return false;
184edd7eaddSDimitry Andric }
185edd7eaddSDimitry Andric 
Activate()186edd7eaddSDimitry Andric void MainThreadCheckerRuntime::Activate() {
187edd7eaddSDimitry Andric   if (IsActive())
188edd7eaddSDimitry Andric     return;
189edd7eaddSDimitry Andric 
190edd7eaddSDimitry Andric   ProcessSP process_sp = GetProcessSP();
191edd7eaddSDimitry Andric   if (!process_sp)
192edd7eaddSDimitry Andric     return;
193edd7eaddSDimitry Andric 
194edd7eaddSDimitry Andric   ModuleSP runtime_module_sp = GetRuntimeModuleSP();
195edd7eaddSDimitry Andric 
196edd7eaddSDimitry Andric   ConstString symbol_name("__main_thread_checker_on_report");
197edd7eaddSDimitry Andric   const Symbol *symbol = runtime_module_sp->FindFirstSymbolWithNameAndType(
198edd7eaddSDimitry Andric       symbol_name, eSymbolTypeCode);
199edd7eaddSDimitry Andric 
200edd7eaddSDimitry Andric   if (symbol == nullptr)
201edd7eaddSDimitry Andric     return;
202edd7eaddSDimitry Andric 
203edd7eaddSDimitry Andric   if (!symbol->ValueIsAddress() || !symbol->GetAddressRef().IsValid())
204edd7eaddSDimitry Andric     return;
205edd7eaddSDimitry Andric 
206edd7eaddSDimitry Andric   Target &target = process_sp->GetTarget();
207edd7eaddSDimitry Andric   addr_t symbol_address = symbol->GetAddressRef().GetOpcodeLoadAddress(&target);
208edd7eaddSDimitry Andric 
209edd7eaddSDimitry Andric   if (symbol_address == LLDB_INVALID_ADDRESS)
210edd7eaddSDimitry Andric     return;
211edd7eaddSDimitry Andric 
212edd7eaddSDimitry Andric   Breakpoint *breakpoint =
213edd7eaddSDimitry Andric       process_sp->GetTarget()
214edd7eaddSDimitry Andric           .CreateBreakpoint(symbol_address, /*internal=*/true,
215edd7eaddSDimitry Andric                             /*hardware=*/false)
216edd7eaddSDimitry Andric           .get();
217edd7eaddSDimitry Andric   breakpoint->SetCallback(MainThreadCheckerRuntime::NotifyBreakpointHit, this,
218edd7eaddSDimitry Andric                           true);
219edd7eaddSDimitry Andric   breakpoint->SetBreakpointKind("main-thread-checker-report");
220edd7eaddSDimitry Andric   SetBreakpointID(breakpoint->GetID());
221edd7eaddSDimitry Andric 
222edd7eaddSDimitry Andric   SetActive(true);
223edd7eaddSDimitry Andric }
224edd7eaddSDimitry Andric 
Deactivate()225edd7eaddSDimitry Andric void MainThreadCheckerRuntime::Deactivate() {
226edd7eaddSDimitry Andric   SetActive(false);
227edd7eaddSDimitry Andric 
228edd7eaddSDimitry Andric   auto BID = GetBreakpointID();
229edd7eaddSDimitry Andric   if (BID == LLDB_INVALID_BREAK_ID)
230edd7eaddSDimitry Andric     return;
231edd7eaddSDimitry Andric 
232edd7eaddSDimitry Andric   if (ProcessSP process_sp = GetProcessSP()) {
233edd7eaddSDimitry Andric     process_sp->GetTarget().RemoveBreakpointByID(BID);
234edd7eaddSDimitry Andric     SetBreakpointID(LLDB_INVALID_BREAK_ID);
235edd7eaddSDimitry Andric   }
236edd7eaddSDimitry Andric }
237edd7eaddSDimitry Andric 
238edd7eaddSDimitry Andric lldb::ThreadCollectionSP
GetBacktracesFromExtendedStopInfo(StructuredData::ObjectSP info)239edd7eaddSDimitry Andric MainThreadCheckerRuntime::GetBacktracesFromExtendedStopInfo(
240edd7eaddSDimitry Andric     StructuredData::ObjectSP info) {
241edd7eaddSDimitry Andric   ThreadCollectionSP threads;
242edd7eaddSDimitry Andric   threads.reset(new ThreadCollection());
243edd7eaddSDimitry Andric 
244edd7eaddSDimitry Andric   ProcessSP process_sp = GetProcessSP();
245edd7eaddSDimitry Andric 
246edd7eaddSDimitry Andric   if (info->GetObjectForDotSeparatedPath("instrumentation_class")
247edd7eaddSDimitry Andric       ->GetStringValue() != "MainThreadChecker")
248edd7eaddSDimitry Andric     return threads;
249edd7eaddSDimitry Andric 
250edd7eaddSDimitry Andric   std::vector<lldb::addr_t> PCs;
251edd7eaddSDimitry Andric   auto trace = info->GetObjectForDotSeparatedPath("trace")->GetAsArray();
252edd7eaddSDimitry Andric   trace->ForEach([&PCs](StructuredData::Object *PC) -> bool {
253edd7eaddSDimitry Andric     PCs.push_back(PC->GetAsInteger()->GetValue());
254edd7eaddSDimitry Andric     return true;
255edd7eaddSDimitry Andric   });
256edd7eaddSDimitry Andric 
257edd7eaddSDimitry Andric   if (PCs.empty())
258edd7eaddSDimitry Andric     return threads;
259edd7eaddSDimitry Andric 
260edd7eaddSDimitry Andric   StructuredData::ObjectSP thread_id_obj =
261edd7eaddSDimitry Andric       info->GetObjectForDotSeparatedPath("tid");
262edd7eaddSDimitry Andric   tid_t tid = thread_id_obj ? thread_id_obj->GetIntegerValue() : 0;
263edd7eaddSDimitry Andric 
264edd7eaddSDimitry Andric   uint32_t stop_id = 0;
265edd7eaddSDimitry Andric   bool stop_id_is_valid = false;
266edd7eaddSDimitry Andric   HistoryThread *history_thread =
267edd7eaddSDimitry Andric       new HistoryThread(*process_sp, tid, PCs, stop_id, stop_id_is_valid);
268edd7eaddSDimitry Andric   ThreadSP new_thread_sp(history_thread);
269edd7eaddSDimitry Andric 
270*4ba319b5SDimitry Andric   // Save this in the Process' ExtendedThreadList so a strong pointer retains
271*4ba319b5SDimitry Andric   // the object
272edd7eaddSDimitry Andric   process_sp->GetExtendedThreadList().AddThread(new_thread_sp);
273edd7eaddSDimitry Andric   threads->AddThread(new_thread_sp);
274edd7eaddSDimitry Andric 
275edd7eaddSDimitry Andric   return threads;
276edd7eaddSDimitry Andric }
277