LLDB mainline
StackFrameList.h
Go to the documentation of this file.
1//===-- StackFrameList.h ----------------------------------------*- C++ -*-===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8
9#ifndef LLDB_TARGET_STACKFRAMELIST_H
10#define LLDB_TARGET_STACKFRAMELIST_H
11
12#include <memory>
13#include <mutex>
14#include <shared_mutex>
15#include <vector>
16
18
19namespace lldb_private {
20
21class ScriptedThread;
22
23class StackFrameList : public std::enable_shared_from_this<StackFrameList> {
24public:
25 // Constructors and Destructors
26 StackFrameList(Thread &thread, const lldb::StackFrameListSP &prev_frames_sp,
27 bool show_inline_frames);
28
29 virtual ~StackFrameList();
30
31 /// Get the number of visible frames. Frames may be created if \p can_create
32 /// is true. Synthetic (inline) frames expanded from the concrete frame #0
33 /// (aka invisible frames) are not included in this count.
34 uint32_t GetNumFrames(bool can_create = true);
35
36 /// Get the frame at index \p idx. Invisible frames cannot be indexed.
38
39 /// Get the first concrete frame with index greater than or equal to \p idx.
40 /// Unlike \ref GetFrameAtIndex, this cannot return a synthetic frame.
42
43 /// Retrieve the stack frame with the given ID \p stack_id.
45
46 /// Mark a stack frame as the currently selected frame and return its index.
48
49 /// Resets the selected frame index of this object.
51
52 /// Get the currently selected frame index.
53 /// We should only call SelectMostRelevantFrame if (a) the user hasn't already
54 /// selected a frame, and (b) if this really is a user facing
55 /// "GetSelectedFrame". SMRF runs the frame recognizers which can do
56 /// arbitrary work that ends up being dangerous to do internally. Also,
57 /// for most internal uses we don't actually want the frame changed by the
58 /// SMRF logic. So unless this is in a command or SB API, you should
59 /// pass false here.
60 uint32_t
61 GetSelectedFrameIndex(SelectMostRelevant select_most_relevant_frame);
62
63 /// Mark a stack frame as the currently selected frame using the frame index
64 /// \p idx. Like \ref GetFrameAtIndex, invisible frames cannot be selected.
65 bool SetSelectedFrameByIndex(uint32_t idx);
66
67 /// If the current inline depth (i.e the number of invisible frames) is valid,
68 /// subtract it from \p idx. Otherwise simply return \p idx.
69 uint32_t GetVisibleStackFrameIndex(uint32_t idx) {
71 return idx - m_current_inlined_depth;
72 else
73 return idx;
74 }
75
76 /// Calculate and set the current inline depth. This may be used to update
77 /// the StackFrameList's set of inline frames when execution stops, e.g when
78 /// a breakpoint is hit.
80
81 /// If the currently selected frame comes from the currently selected thread,
82 /// point the default file and line of the thread's target to the location
83 /// specified by the frame.
85
86 /// Clear the cache of frames.
87 void Clear();
88
89 void Dump(Stream *s);
90
91 /// If \p stack_frame_ptr is contained in this StackFrameList, return its
92 /// wrapping shared pointer.
95
96 size_t GetStatus(Stream &strm, uint32_t first_frame, uint32_t num_frames,
97 bool show_frame_info, uint32_t num_frames_with_source,
98 bool show_unique = false, bool show_hidden = false,
99 const char *frame_marker = nullptr);
100
101 /// Returns whether we have currently fetched all the frames of a stack.
102 bool WereAllFramesFetched() const;
103
104 /// Get the thread associated with this frame list.
105 Thread &GetThread() const { return m_thread; }
106
107protected:
108 friend class Thread;
110 friend class ScriptedThread;
111
112 /// Use this API to build a stack frame list (used for scripted threads, for
113 /// instance.) This API is not meant for StackFrameLists that have unwinders
114 /// and partake in lazy stack filling (using GetFramesUpTo). Rather if you
115 /// are building StackFrameLists with this API, you should build the entire
116 /// list before making it available for use.
117 bool SetFrameAtIndex(uint32_t idx, lldb::StackFrameSP &frame_sp);
118
119 /// Ensures that frames up to (and including) `end_idx` are realized in the
120 /// StackFrameList. `end_idx` can be larger than the actual number of frames,
121 /// in which case all the frames will be fetched. Acquires the writer end of
122 /// the list mutex.
123 /// Returns true if the function was interrupted, false otherwise.
124 /// Callers should first check (under the shared mutex) whether we need to
125 /// fetch frames or not.
126 bool GetFramesUpTo(uint32_t end_idx, InterruptionControl allow_interrupt);
127
128 // This should be called with either the reader or writer end of the list
129 // mutex held:
130 bool GetAllFramesFetched() const {
132 }
133
134 // This should be called with the writer end of the list mutex held.
136
138
140
141 uint32_t GetCurrentInlinedDepth();
142
143 void SetCurrentInlinedDepth(uint32_t new_depth);
144
145 /// Calls into the stack frame recognizers and stop info to set the most
146 /// relevant frame. This can call out to arbitrary user code so it can't
147 /// hold the StackFrameList mutex.
149
150 typedef std::vector<lldb::StackFrameSP> collection;
151 typedef collection::iterator iterator;
152 typedef collection::const_iterator const_iterator;
153
154 /// The thread this frame list describes.
156
157 /// The old stack frame list.
158 // TODO: The old stack frame list is used to fill in missing frame info
159 // heuristically when it's otherwise unavailable (say, because the unwinder
160 // fails). We should have stronger checks to make sure that this is a valid
161 // source of information.
163
164 /// A mutex for this frame list. The only public API that requires the
165 /// unique lock is Clear. All other clients take the shared lock, though
166 /// if we need more frames we may swap shared for unique to fulfill that
167 /// requirement.
168 mutable std::shared_mutex m_list_mutex;
169
170 // Setting the inlined depth should be protected against other attempts to
171 // change it, but since it doesn't mutate the list itself, we can limit the
172 // critical regions it produces by having a separate mutex.
173 mutable std::mutex m_inlined_depth_mutex;
174
175 /// A cache of frames. This may need to be updated when the program counter
176 /// changes.
178
179 /// The currently selected frame. An optional is used to record whether anyone
180 /// has set the selected frame on this stack yet. We only let recognizers
181 /// change the frame if this is the first time GetSelectedFrame is called.
182 ///
183 /// Thread-safety:
184 /// This member is not protected by a mutex.
185 /// LLDB really only should have an opinion about the selected frame index
186 /// when a process stops, before control gets handed back to the user.
187 /// After that, it's up to them to change it whenever they feel like it.
188 /// If two parts of lldb decided they wanted to be in control of the selected
189 /// frame index on stop the right way to fix it would need to be some explicit
190 /// negotiation for who gets to control this.
191 std::optional<uint32_t> m_selected_frame_idx;
192
193 /// Protect access to m_selected_frame_idx. Always acquire after m_list_mutex
194 /// to avoid lock inversion. A recursive mutex because GetSelectedFrameIndex
195 /// may indirectly call SetSelectedFrame.
196 std::recursive_mutex m_selected_frame_mutex;
197
198 /// The number of concrete frames fetched while filling the frame list. This
199 /// is only used when synthetic frames are enabled.
201
202 /// The number of synthetic function activations (invisible frames) expanded
203 /// from the concrete frame #0 activation.
204 // TODO: Use an optional instead of UINT32_MAX to denote invalid values.
206
207 /// The program counter value at the currently selected synthetic activation.
208 /// This is only valid if m_current_inlined_depth is valid.
209 // TODO: Use an optional instead of UINT32_MAX to denote invalid values.
211
212 /// Whether or not to show synthetic (inline) frames. Immutable.
214
215 /// Returns true if fetching frames was interrupted, false otherwise.
216 virtual bool FetchFramesUpTo(uint32_t end_idx,
217 InterruptionControl allow_interrupt);
218
219private:
223 std::shared_lock<std::shared_mutex> &guard);
224
225 /// @{
226 /// These two Fetch frames APIs and SynthesizeTailCallFrames are called in
227 /// GetFramesUpTo, they are the ones that actually add frames. They must be
228 /// called with the writer end of the list mutex held.
229 ///
230 /// Not currently interruptible so returns void.
231 /// }@
232 void FetchOnlyConcreteFramesUpTo(uint32_t end_idx);
233 void SynthesizeTailCallFrames(StackFrame &next_frame);
234
236 const StackFrameList &operator=(const StackFrameList &) = delete;
237};
238
239/// A StackFrameList that wraps another StackFrameList and uses a
240/// SyntheticFrameProvider to lazily provide frames from either the provider
241/// or the underlying real stack frame list.
243public:
245 const lldb::StackFrameListSP &prev_frames_sp,
246 bool show_inline_frames);
247
248protected:
249 /// Override FetchFramesUpTo to lazily return frames from the provider
250 /// or from the actual stack frame list.
251 bool FetchFramesUpTo(uint32_t end_idx,
252 InterruptionControl allow_interrupt) override;
253
254private:
255 /// The input stack frame list that the provider transforms.
256 /// This could be a real StackFrameList or another SyntheticStackFrameList.
258};
259
260} // namespace lldb_private
261
262#endif // LLDB_TARGET_STACKFRAMELIST_H
lldb::addr_t m_current_inlined_pc
The program counter value at the currently selected synthetic activation.
collection m_frames
A cache of frames.
lldb::StackFrameSP GetFrameWithStackID(const StackID &stack_id)
Retrieve the stack frame with the given ID stack_id.
lldb::StackFrameSP GetFrameWithConcreteFrameIndex(uint32_t unwind_idx)
Get the first concrete frame with index greater than or equal to idx.
bool GetFramesUpTo(uint32_t end_idx, InterruptionControl allow_interrupt)
Ensures that frames up to (and including) end_idx are realized in the StackFrameList.
std::vector< lldb::StackFrameSP > collection
void ClearSelectedFrameIndex()
Resets the selected frame index of this object.
std::recursive_mutex m_selected_frame_mutex
Protect access to m_selected_frame_idx.
void Clear()
Clear the cache of frames.
lldb::StackFrameSP GetFrameAtIndex(uint32_t idx)
Get the frame at index idx. Invisible frames cannot be indexed.
std::optional< uint32_t > m_selected_frame_idx
The currently selected frame.
lldb::StackFrameListSP m_prev_frames_sp
The old stack frame list.
uint32_t m_concrete_frames_fetched
The number of concrete frames fetched while filling the frame list.
lldb::StackFrameSP GetFrameAtIndexNoLock(uint32_t idx, std::shared_lock< std::shared_mutex > &guard)
size_t GetStatus(Stream &strm, uint32_t first_frame, uint32_t num_frames, bool show_frame_info, uint32_t num_frames_with_source, bool show_unique=false, bool show_hidden=false, const char *frame_marker=nullptr)
void FetchOnlyConcreteFramesUpTo(uint32_t end_idx)
Thread & m_thread
The thread this frame list describes.
void SelectMostRelevantFrame()
Calls into the stack frame recognizers and stop info to set the most relevant frame.
const bool m_show_inlined_frames
Whether or not to show synthetic (inline) frames. Immutable.
bool SetFrameAtIndex(uint32_t idx, lldb::StackFrameSP &frame_sp)
Use this API to build a stack frame list (used for scripted threads, for instance....
uint32_t m_current_inlined_depth
The number of synthetic function activations (invisible frames) expanded from the concrete frame #0 a...
void SetDefaultFileAndLineToSelectedFrame()
If the currently selected frame comes from the currently selected thread, point the default file and ...
uint32_t GetVisibleStackFrameIndex(uint32_t idx)
If the current inline depth (i.e the number of invisible frames) is valid, subtract it from idx.
uint32_t GetNumFrames(bool can_create=true)
Get the number of visible frames.
virtual bool FetchFramesUpTo(uint32_t end_idx, InterruptionControl allow_interrupt)
Returns true if fetching frames was interrupted, false otherwise.
collection::const_iterator const_iterator
void SynthesizeTailCallFrames(StackFrame &next_frame)
Given that next_frame will be appended to the frame list, synthesize tail call frames between the cur...
StackFrameList(const StackFrameList &)=delete
uint32_t SetSelectedFrameNoLock(lldb_private::StackFrame *frame)
StackFrameList(Thread &thread, const lldb::StackFrameListSP &prev_frames_sp, bool show_inline_frames)
void SetCurrentInlinedDepth(uint32_t new_depth)
Thread & GetThread() const
Get the thread associated with this frame list.
uint32_t GetSelectedFrameIndex(SelectMostRelevant select_most_relevant_frame)
Get the currently selected frame index.
std::shared_mutex m_list_mutex
A mutex for this frame list.
collection::iterator iterator
uint32_t SetSelectedFrame(lldb_private::StackFrame *frame)
Mark a stack frame as the currently selected frame and return its index.
void CalculateCurrentInlinedDepth()
Calculate and set the current inline depth.
lldb::StackFrameSP GetStackFrameSPForStackFramePtr(StackFrame *stack_frame_ptr)
If stack_frame_ptr is contained in this StackFrameList, return its wrapping shared pointer.
const StackFrameList & operator=(const StackFrameList &)=delete
bool WereAllFramesFetched() const
Returns whether we have currently fetched all the frames of a stack.
bool SetSelectedFrameByIndex(uint32_t idx)
Mark a stack frame as the currently selected frame using the frame index idx.
This base class provides an interface to stack frames.
Definition StackFrame.h:44
A stream class that can stream formatted output to a file.
Definition Stream.h:28
SyntheticStackFrameList(Thread &thread, lldb::StackFrameListSP input_frames, const lldb::StackFrameListSP &prev_frames_sp, bool show_inline_frames)
bool FetchFramesUpTo(uint32_t end_idx, InterruptionControl allow_interrupt) override
Override FetchFramesUpTo to lazily return frames from the provider or from the actual stack frame lis...
lldb::StackFrameListSP m_input_frames
The input stack frame list that the provider transforms.
#define UINT32_MAX
A class that represents a running process on the host machine.
std::shared_ptr< lldb_private::StackFrame > StackFrameSP
uint64_t addr_t
Definition lldb-types.h:80
std::shared_ptr< lldb_private::StackFrameList > StackFrameListSP