Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[debugger] Assert when async debug a generic method #17727

Merged
merged 7 commits into from
Nov 13, 2019
Merged

[debugger] Assert when async debug a generic method #17727

Show file tree
Hide file tree
Changes from 2 commits
Commits
Show all changes
7 commits
Select commit Hold shift + click to select a range
bec3050
When we try to call a method to get the async_id to do an async debug…
thaystg Nov 5, 2019
905f4bf
Do not use reserved word "class
thaystg Nov 5, 2019
1ddff3d
adding unit test
thaystg Nov 6, 2019
2e279d5
Update mono/mini/debugger-agent.c
thaystg Nov 6, 2019
f696f90
Adding mono prefix.
thaystg Nov 6, 2019
7dbe5e5
Moving mono_get_generic_context_from_stack_frame to debugger-engine b…
thaystg Nov 6, 2019
708739c
Moving mono_get_generic_context_from_stack_frame back to mini-excepti…
thaystg Nov 13, 2019
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Jump to
Jump to file
Failed to load files.
Diff view
Diff view
83 changes: 79 additions & 4 deletions mono/mini/debugger-agent.c
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4526,6 +4526,79 @@ get_object_id_for_debugger_method (MonoClass* async_builder_class)
return method;
}

/*
* generic_info is either a MonoMethodRuntimeGenericContext or a MonoVTable.
*/
MonoGenericContext
get_generic_context_from_stack_frame (MonoJitInfo *ji, gpointer generic_info)
{
MonoGenericContext context = { NULL, NULL };
MonoClass *klass, *method_container_class;
MonoMethod *method;

g_assert (generic_info);

method = jinfo_get_method (ji);
g_assert (method->is_inflated);
if (mono_method_get_context (method)->method_inst) {
MonoMethodRuntimeGenericContext *mrgctx = (MonoMethodRuntimeGenericContext *)generic_info;

klass = mrgctx->class_vtable->klass;
context.method_inst = mrgctx->method_inst;
g_assert (context.method_inst);
} else {
MonoVTable *vtable = (MonoVTable *)generic_info;

klass = vtable->klass;
}

//g_assert (!mono_class_is_gtd (method->klass));
if (mono_class_is_ginst (method->klass))
method_container_class = mono_class_get_generic_class (method->klass)->container_class;
else
method_container_class = method->klass;

/* class might refer to a subclass of method's class */
while (!(klass == method->klass || (mono_class_is_ginst (klass) && mono_class_get_generic_class (klass)->container_class == method_container_class))) {
klass = m_class_get_parent (klass);
g_assert (klass);
}

if (mono_class_is_ginst (klass) || mono_class_is_gtd (klass))
context.class_inst = mini_class_get_context (klass)->class_inst;

if (mono_class_is_ginst (klass))
g_assert (mono_class_has_parent_and_ignore_generics (mono_class_get_generic_class (klass)->container_class, method_container_class));
else
g_assert (mono_class_has_parent_and_ignore_generics (klass, method_container_class));

return context;
}

static MonoClass *get_class_to_get_builder_field(DbgEngineStackFrame *frame)
thaystg marked this conversation as resolved.
Show resolved Hide resolved
{
ERROR_DECL (error);
gpointer this_addr = get_this_addr (frame);
MonoClass *original_class = frame->method->klass;
MonoClass *ret;
if (!m_class_is_valuetype (original_class) && mono_class_is_open_constructed_type (m_class_get_byval_arg (original_class))) {
MonoObject *this_obj = *(MonoObject**)this_addr;
MonoGenericContext context;
MonoType *inflated_type;

g_assert (this_obj);
context = get_generic_context_from_stack_frame (frame->ji, this_obj->vtable);
inflated_type = mono_class_inflate_generic_type_checked (m_class_get_byval_arg (original_class), &context, error);
mono_error_assert_ok (error); /* FIXME don't swallow the error */

ret = mono_class_from_mono_type_internal (inflated_type);
mono_metadata_free_type (inflated_type);
return ret;
}
return original_class;
}


/* Return the address of the AsyncMethodBuilder struct belonging to the state machine method pointed to by FRAME */
static gpointer
get_async_method_builder (DbgEngineStackFrame *frame)
Expand All @@ -4534,15 +4607,17 @@ get_async_method_builder (DbgEngineStackFrame *frame)
MonoClassField *builder_field;
gpointer builder;
gpointer this_addr;
MonoClass* klass = frame->method->klass;

builder_field = mono_class_get_field_from_name_full (frame->method->klass, "<>t__builder", NULL);
klass = get_class_to_get_builder_field(frame);
builder_field = mono_class_get_field_from_name_full (klass, "<>t__builder", NULL);
g_assert (builder_field);

this_addr = get_this_addr (frame);
if (!this_addr)
return NULL;

if (m_class_is_valuetype (frame->method->klass)) {
if (m_class_is_valuetype (klass)) {
builder = mono_vtype_get_field_addr (*(guint8**)this_addr, builder_field);
} else {
this_obj = *(MonoObject**)this_addr;
Expand Down Expand Up @@ -4574,7 +4649,7 @@ get_this_async_id (DbgEngineStackFrame *frame)
if (!builder)
return 0;

builder_field = mono_class_get_field_from_name_full (frame->method->klass, "<>t__builder", NULL);
builder_field = mono_class_get_field_from_name_full (get_class_to_get_builder_field(frame), "<>t__builder", NULL);
g_assert (builder_field);

tls = (DebuggerTlsData *)mono_native_tls_get_value (debugger_tls_id);
Expand All @@ -4598,7 +4673,7 @@ get_this_async_id (DbgEngineStackFrame *frame)
static gboolean
set_set_notification_for_wait_completion_flag (DbgEngineStackFrame *frame)
{
MonoClassField *builder_field = mono_class_get_field_from_name_full (frame->method->klass, "<>t__builder", NULL);
MonoClassField *builder_field = mono_class_get_field_from_name_full (get_class_to_get_builder_field(frame), "<>t__builder", NULL);
g_assert (builder_field);
gpointer builder = get_async_method_builder (frame);
g_assert (builder);
Expand Down
3 changes: 3 additions & 0 deletions mono/mini/debugger-agent.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -45,4 +45,7 @@ mono_debugger_agent_stub_init (void);
MONO_API gboolean
mono_debugger_agent_transport_handshake (void);

MonoGenericContext
get_generic_context_from_stack_frame (MonoJitInfo *ji, gpointer generic_info);
lambdageek marked this conversation as resolved.
Show resolved Hide resolved

#endif
49 changes: 0 additions & 49 deletions mono/mini/mini-exceptions.c
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -839,55 +839,6 @@ get_generic_info_from_stack_frame (MonoJitInfo *ji, MonoContext *ctx)
}
}

/*
* generic_info is either a MonoMethodRuntimeGenericContext or a MonoVTable.
*/
static MonoGenericContext
get_generic_context_from_stack_frame (MonoJitInfo *ji, gpointer generic_info)
{
MonoGenericContext context = { NULL, NULL };
MonoClass *klass, *method_container_class;
MonoMethod *method;

g_assert (generic_info);

method = jinfo_get_method (ji);
g_assert (method->is_inflated);
if (mono_method_get_context (method)->method_inst) {
MonoMethodRuntimeGenericContext *mrgctx = (MonoMethodRuntimeGenericContext *)generic_info;

klass = mrgctx->class_vtable->klass;
context.method_inst = mrgctx->method_inst;
g_assert (context.method_inst);
} else {
MonoVTable *vtable = (MonoVTable *)generic_info;

klass = vtable->klass;
}

//g_assert (!mono_class_is_gtd (method->klass));
if (mono_class_is_ginst (method->klass))
method_container_class = mono_class_get_generic_class (method->klass)->container_class;
else
method_container_class = method->klass;

/* class might refer to a subclass of method's class */
while (!(klass == method->klass || (mono_class_is_ginst (klass) && mono_class_get_generic_class (klass)->container_class == method_container_class))) {
klass = m_class_get_parent (klass);
g_assert (klass);
}

if (mono_class_is_ginst (klass) || mono_class_is_gtd (klass))
context.class_inst = mini_class_get_context (klass)->class_inst;

if (mono_class_is_ginst (klass))
g_assert (mono_class_has_parent_and_ignore_generics (mono_class_get_generic_class (klass)->container_class, method_container_class));
else
g_assert (mono_class_has_parent_and_ignore_generics (klass, method_container_class));

return context;
}

static MonoMethod*
get_method_from_stack_frame (MonoJitInfo *ji, gpointer generic_info)
{
Expand Down