adjust thread-selection-on-stop & thread-snapping rules, to prevent useless disasm snaps & incorrect thread selections in some edge cases

This commit is contained in:
Ryan Fleury
2024-12-02 09:44:50 -08:00
parent 0c86580e1e
commit a827c74501
3 changed files with 39 additions and 44 deletions
+14 -3
View File
@@ -1716,12 +1716,23 @@ d_tick(Arena *arena, D_TargetArray *targets, D_BreakpointArray *breakpoints, D_P
// rjf: push stop event to caller, if this is not a soft-halt // rjf: push stop event to caller, if this is not a soft-halt
if(should_snap) if(should_snap)
{ {
CTRL_Entity *thread = ctrl_entity_from_handle(d_state->ctrl_entity_store, event->entity);
D_EventCause cause = D_EventCause_Null; D_EventCause cause = D_EventCause_Null;
switch(event->cause) switch(event->cause)
{ {
default:{}break; default:{}break;
case CTRL_EventCause_InterruptedByHalt:{cause = D_EventCause_Halt;}break; case CTRL_EventCause_InterruptedByHalt:
case CTRL_EventCause_UserBreakpoint:{cause = D_EventCause_UserBreakpoint;}break; {
if(should_snap)
{
cause = D_EventCause_Halt;
}
else
{
cause = D_EventCause_SoftHalt;
}
}break;
case CTRL_EventCause_UserBreakpoint: {cause = D_EventCause_UserBreakpoint;}break;
} }
D_EventNode *n = push_array(arena, D_EventNode, 1); D_EventNode *n = push_array(arena, D_EventNode, 1);
SLLQueuePush(result.first, result.last, n); SLLQueuePush(result.first, result.last, n);
@@ -1729,7 +1740,7 @@ d_tick(Arena *arena, D_TargetArray *targets, D_BreakpointArray *breakpoints, D_P
D_Event *evt = &n->v; D_Event *evt = &n->v;
evt->kind = D_EventKind_Stop; evt->kind = D_EventKind_Stop;
evt->cause = cause; evt->cause = cause;
evt->thread = event->entity; evt->thread = thread->kind == CTRL_EntityKind_Thread ? thread->handle : ctrl_handle_zero();
evt->vaddr = event->rip_vaddr; evt->vaddr = event->rip_vaddr;
} }
}break; }break;
+1
View File
@@ -76,6 +76,7 @@ typedef enum D_EventCause
D_EventCause_Null, D_EventCause_Null,
D_EventCause_UserBreakpoint, D_EventCause_UserBreakpoint,
D_EventCause_Halt, D_EventCause_Halt,
D_EventCause_SoftHalt,
D_EventCause_COUNT D_EventCause_COUNT
} }
D_EventCause; D_EventCause;
+24 -41
View File
@@ -16439,27 +16439,6 @@ rd_frame(void)
U64 cmd_count_pre_tick = rd_state->cmds[0].count; U64 cmd_count_pre_tick = rd_state->cmds[0].count;
D_EventList engine_events = d_tick(scratch.arena, &targets, &breakpoints, &path_maps, exception_code_filters, &meta_evals); D_EventList engine_events = d_tick(scratch.arena, &targets, &breakpoints, &path_maps, exception_code_filters, &meta_evals);
////////////////////////////
//- rjf: no selected thread? -> try to snap to any existing thread
//
if(!d_ctrl_targets_running() && ctrl_entity_from_handle(d_state->ctrl_entity_store, rd_base_regs()->thread) == &ctrl_entity_nil)
{
CTRL_Entity *process = ctrl_entity_from_handle(d_state->ctrl_entity_store, rd_base_regs()->process);
if(process == &ctrl_entity_nil)
{
CTRL_EntityList all_processes = ctrl_entity_list_from_kind(d_state->ctrl_entity_store, CTRL_EntityKind_Process);
if(all_processes.count != 0)
{
process = all_processes.first->v;
}
}
CTRL_Entity *new_thread = ctrl_entity_child_from_kind(process, CTRL_EntityKind_Thread);
if(new_thread != &ctrl_entity_nil)
{
rd_cmd(RD_CmdKind_SelectThread, .thread = new_thread->handle);
}
}
//////////////////////////// ////////////////////////////
//- rjf: process debug engine events //- rjf: process debug engine events
// //
@@ -16484,6 +16463,7 @@ rd_frame(void)
}break; }break;
case D_EventKind_Stop: case D_EventKind_Stop:
{ {
B32 need_refocus = (evt->cause != D_EventCause_SoftHalt);
CTRL_Entity *thread = ctrl_entity_from_handle(d_state->ctrl_entity_store, evt->thread); CTRL_Entity *thread = ctrl_entity_from_handle(d_state->ctrl_entity_store, evt->thread);
U64 vaddr = evt->vaddr; U64 vaddr = evt->vaddr;
CTRL_Entity *process = ctrl_entity_ancestor_from_kind(thread, CTRL_EntityKind_Process); CTRL_Entity *process = ctrl_entity_ancestor_from_kind(thread, CTRL_EntityKind_Process);
@@ -16493,20 +16473,20 @@ rd_frame(void)
U64 test_cached_vaddr = ctrl_query_cached_rip_from_thread(d_state->ctrl_entity_store, thread->handle); U64 test_cached_vaddr = ctrl_query_cached_rip_from_thread(d_state->ctrl_entity_store, thread->handle);
// rjf: valid stop thread? -> select & snap // rjf: valid stop thread? -> select & snap
if(thread != &ctrl_entity_nil && evt->cause != D_EventCause_Halt) if(need_refocus && thread != &ctrl_entity_nil && evt->cause != D_EventCause_Halt)
{ {
rd_cmd(RD_CmdKind_SelectThread, .thread = thread->handle); rd_cmd(RD_CmdKind_SelectThread, .thread = thread->handle);
} }
// rjf: no stop-causing thread, but have selected thread? -> snap to selected // rjf: no stop-causing thread, but have selected thread? -> snap to selected
CTRL_Entity *selected_thread = ctrl_entity_from_handle(d_state->ctrl_entity_store, rd_base_regs()->thread); CTRL_Entity *selected_thread = ctrl_entity_from_handle(d_state->ctrl_entity_store, rd_base_regs()->thread);
if((evt->cause == D_EventCause_Halt || thread == &ctrl_entity_nil) && selected_thread != &ctrl_entity_nil) if(need_refocus && (evt->cause == D_EventCause_Halt || thread == &ctrl_entity_nil) && selected_thread != &ctrl_entity_nil)
{ {
rd_cmd(RD_CmdKind_SelectThread, .thread = selected_thread->handle); rd_cmd(RD_CmdKind_SelectThread, .thread = selected_thread->handle);
} }
// rjf: no stop-causing thread, but don't have selected thread? -> snap to first available thread // rjf: no stop-causing thread, but don't have selected thread? -> snap to first available thread
if(thread == &ctrl_entity_nil && selected_thread == &ctrl_entity_nil) if(need_refocus && thread == &ctrl_entity_nil && selected_thread == &ctrl_entity_nil)
{ {
CTRL_EntityList threads = ctrl_entity_list_from_kind(d_state->ctrl_entity_store, CTRL_EntityKind_Thread); CTRL_EntityList threads = ctrl_entity_list_from_kind(d_state->ctrl_entity_store, CTRL_EntityKind_Thread);
CTRL_Entity *first_available_thread = ctrl_entity_list_first(&threads); CTRL_Entity *first_available_thread = ctrl_entity_list_first(&threads);
@@ -16549,27 +16529,30 @@ rd_frame(void)
} }
// rjf: focus window if none focused // rjf: focus window if none focused
B32 any_window_is_focused = 0; if(need_refocus)
for(RD_Window *window = rd_state->first_window; window != 0; window = window->next)
{ {
if(os_window_is_focused(window->os)) B32 any_window_is_focused = 0;
for(RD_Window *window = rd_state->first_window; window != 0; window = window->next)
{ {
any_window_is_focused = 1; if(os_window_is_focused(window->os))
break; {
any_window_is_focused = 1;
break;
}
} }
} if(!any_window_is_focused)
if(!any_window_is_focused)
{
RD_Window *window = rd_window_from_handle(rd_state->last_focused_window);
if(window == 0)
{ {
window = rd_state->first_window; RD_Window *window = rd_window_from_handle(rd_state->last_focused_window);
} if(window == 0)
if(window != 0) {
{ window = rd_state->first_window;
os_window_set_minimized(window->os, 0); }
os_window_bring_to_front(window->os); if(window != 0)
os_window_focus(window->os); {
os_window_set_minimized(window->os, 0);
os_window_bring_to_front(window->os);
os_window_focus(window->os);
}
} }
} }
}break; }break;