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