/********************************************************************** vm_trace.c - $Author: ko1 $ created at: Tue Aug 14 19:37:09 2012 Copyright (C) 1993-2012 Yukihiro Matsumoto **********************************************************************/ /* * This file incldue two parts: * * (1) set_trace_func internal mechanisms * and C level API * * (2) Ruby level API * (2-1) set_trace_func API * (2-2) TracePoint API (not yet) * */ #include "ruby/ruby.h" #include "ruby/debug.h" #include "ruby/encoding.h" #include "internal.h" #include "vm_core.h" #include "eval_intern.h" /* (1) trace mechanisms */ typedef struct rb_event_hook_struct { rb_event_hook_flag_t hook_flags; rb_event_flag_t events; rb_event_hook_func_t func; VALUE data; struct rb_event_hook_struct *next; } rb_event_hook_t; typedef void (*rb_event_hook_raw_arg_func_t)(VALUE data, const rb_trace_arg_t *arg); #define MAX_EVENT_NUM 32 static int ruby_event_flag_count[MAX_EVENT_NUM] = {0}; /* called from vm.c */ void vm_trace_mark_event_hooks(rb_hook_list_t *hooks) { rb_event_hook_t *hook = hooks->hooks; while (hook) { rb_gc_mark(hook->data); hook = hook->next; } } /* ruby_vm_event_flags management */ static void recalc_add_ruby_vm_event_flags(rb_event_flag_t events) { int i; ruby_vm_event_flags = 0; for (i=0; ihook_flags = hook_flags; hook->events = events; hook->func = func; hook->data = data; return hook; } static void connect_event_hook(rb_hook_list_t *list, rb_event_hook_t *hook) { hook->next = list->hooks; list->hooks = hook; recalc_add_ruby_vm_event_flags(hook->events); list->events |= hook->events; } static void rb_threadptr_add_event_hook(rb_thread_t *th, rb_event_hook_func_t func, rb_event_flag_t events, VALUE data, rb_event_hook_flag_t hook_flags) { rb_event_hook_t *hook = alloc_event_hook(func, events, data, hook_flags); connect_event_hook(&th->event_hooks, hook); } void rb_thread_add_event_hook(VALUE thval, rb_event_hook_func_t func, rb_event_flag_t events, VALUE data) { rb_threadptr_add_event_hook(thval2thread_t(thval), func, events, data, RUBY_EVENT_HOOK_FLAG_SAFE); } void rb_add_event_hook(rb_event_hook_func_t func, rb_event_flag_t events, VALUE data) { rb_event_hook_t *hook = alloc_event_hook(func, events, data, RUBY_EVENT_HOOK_FLAG_SAFE); connect_event_hook(&GET_VM()->event_hooks, hook); } void rb_thread_add_event_hook2(VALUE thval, rb_event_hook_func_t func, rb_event_flag_t events, VALUE data, rb_event_hook_flag_t hook_flags) { rb_threadptr_add_event_hook(thval2thread_t(thval), func, events, data, hook_flags); } void rb_add_event_hook2(rb_event_hook_func_t func, rb_event_flag_t events, VALUE data, rb_event_hook_flag_t hook_flags) { rb_event_hook_t *hook = alloc_event_hook(func, events, data, hook_flags); connect_event_hook(&GET_VM()->event_hooks, hook); } /* if func is 0, then clear all funcs */ static int remove_event_hook(rb_hook_list_t *list, rb_event_hook_func_t func, VALUE data) { int ret = 0; rb_event_hook_t *hook = list->hooks; while (hook) { if (func == 0 || hook->func == func) { if (data == Qundef || hook->data == data) { hook->hook_flags |= RUBY_EVENT_HOOK_FLAG_DELETED; ret+=1; list->need_clean++; } } hook = hook->next; } return ret; } static int rb_threadptr_remove_event_hook(rb_thread_t *th, rb_event_hook_func_t func, VALUE data) { return remove_event_hook(&th->event_hooks, func, data); } int rb_thread_remove_event_hook(VALUE thval, rb_event_hook_func_t func) { return rb_threadptr_remove_event_hook(thval2thread_t(thval), func, Qundef); } int rb_thread_remove_event_hook_with_data(VALUE thval, rb_event_hook_func_t func, VALUE data) { return rb_threadptr_remove_event_hook(thval2thread_t(thval), func, data); } int rb_remove_event_hook(rb_event_hook_func_t func) { return remove_event_hook(&GET_VM()->event_hooks, func, Qundef); } int rb_remove_event_hook_with_data(rb_event_hook_func_t func, VALUE data) { return remove_event_hook(&GET_VM()->event_hooks, func, data); } static int clear_trace_func_i(st_data_t key, st_data_t val, st_data_t flag) { rb_thread_t *th; GetThreadPtr((VALUE)key, th); rb_threadptr_remove_event_hook(th, 0, Qundef); return ST_CONTINUE; } void rb_clear_trace_func(void) { st_foreach(GET_VM()->living_threads, clear_trace_func_i, (st_data_t) 0); rb_remove_event_hook(0); } /* invoke hooks */ static void clean_hooks(rb_hook_list_t *list) { rb_event_hook_t *hook, **nextp = &list->hooks; list->events = 0; list->need_clean = 0; while ((hook = *nextp) != 0) { if (hook->hook_flags & RUBY_EVENT_HOOK_FLAG_DELETED) { *nextp = hook->next; recalc_remove_ruby_vm_event_flags(hook->events); xfree(hook); } else { list->events |= hook->events; /* update active events */ nextp = &hook->next; } } } static int exec_hooks(rb_thread_t *th, rb_hook_list_t *list, const rb_trace_arg_t *trace_arg, int can_clean_hooks) { int state; volatile int raised; if (UNLIKELY(list->need_clean > 0) && can_clean_hooks) { clean_hooks(list); } raised = rb_threadptr_reset_raised(th); /* TODO: Support !RUBY_EVENT_HOOK_FLAG_SAFE hooks */ TH_PUSH_TAG(th); if ((state = TH_EXEC_TAG()) == 0) { rb_event_hook_t *hook; for (hook = list->hooks; hook; hook = hook->next) { if (LIKELY(!(hook->hook_flags & RUBY_EVENT_HOOK_FLAG_DELETED)) && (trace_arg->event & hook->events)) { if (!(hook->hook_flags & RUBY_EVENT_HOOK_FLAG_RAW_ARG)) { (*hook->func)(trace_arg->event, hook->data, trace_arg->self, trace_arg->id, trace_arg->klass); } else { (*((rb_event_hook_raw_arg_func_t)hook->func))(hook->data, trace_arg); } } } } TH_POP_TAG(); if (raised) { rb_threadptr_set_raised(th); } return state; } void rb_threadptr_exec_event_hooks(rb_trace_arg_t *targ) { rb_thread_t *th = targ->th; if (th->trace_running == 0 && targ->self != rb_mRubyVMFrozenCore /* skip special methods. TODO: remove it. */) { const int vm_tracing = th->vm->trace_running; int state = 0; int outer_state = th->state; th->state = 0; th->vm->trace_running = 1; th->trace_running = 1; { const VALUE errinfo = th->errinfo; rb_hook_list_t *list; /* thread local traces */ list = &th->event_hooks; if (list->events & targ->event) { state = exec_hooks(th, list, targ, TRUE); if (state) goto terminate; } /* vm global traces */ list = &th->vm->event_hooks; if (list->events & targ->event) { state = exec_hooks(th, list, targ, !vm_tracing); if (state) goto terminate; } th->errinfo = errinfo; } terminate: th->trace_running = 0; th->vm->trace_running = vm_tracing; if (state) { TH_JUMP_TAG(th, state); } th->state = outer_state; } } VALUE rb_suppress_tracing(VALUE (*func)(VALUE), VALUE arg) { volatile int raised; volatile int outer_state; VALUE result = Qnil; rb_thread_t *th = GET_THREAD(); int state; const int vm_tracing = th->vm->trace_running; const int tracing = th->trace_running; th->vm->trace_running = 1; th->trace_running = 1; raised = rb_threadptr_reset_raised(th); outer_state = th->state; th->state = 0; TH_PUSH_TAG(th); if ((state = TH_EXEC_TAG()) == 0) { result = (*func)(arg); } TH_POP_TAG(); if (raised) { rb_threadptr_set_raised(th); } th->trace_running = tracing; th->vm->trace_running = vm_tracing; if (state) { JUMP_TAG(state); } th->state = outer_state; return result; } static void call_trace_func(rb_event_flag_t, VALUE data, VALUE self, ID id, VALUE klass); /* (2-1) set_trace_func (old API) */ /* * call-seq: * set_trace_func(proc) -> proc * set_trace_func(nil) -> nil * * Establishes _proc_ as the handler for tracing, or disables * tracing if the parameter is +nil+. _proc_ takes up * to six parameters: an event name, a filename, a line number, an * object id, a binding, and the name of a class. _proc_ is * invoked whenever an event occurs. Events are: c-call * (call a C-language routine), c-return (return from a * C-language routine), call (call a Ruby method), * class (start a class or module definition), * end (finish a class or module definition), * line (execute code on a new line), raise * (raise an exception), and return (return from a Ruby * method). Tracing is disabled within the context of _proc_. * * class Test * def test * a = 1 * b = 2 * end * end * * set_trace_func proc { |event, file, line, id, binding, classname| * printf "%8s %s:%-2d %10s %8s\n", event, file, line, id, classname * } * t = Test.new * t.test * * line prog.rb:11 false * c-call prog.rb:11 new Class * c-call prog.rb:11 initialize Object * c-return prog.rb:11 initialize Object * c-return prog.rb:11 new Class * line prog.rb:12 false * call prog.rb:2 test Test * line prog.rb:3 test Test * line prog.rb:4 test Test * return prog.rb:4 test Test */ static VALUE set_trace_func(VALUE obj, VALUE trace) { rb_remove_event_hook(call_trace_func); if (NIL_P(trace)) { return Qnil; } if (!rb_obj_is_proc(trace)) { rb_raise(rb_eTypeError, "trace_func needs to be Proc"); } rb_add_event_hook(call_trace_func, RUBY_EVENT_ALL, trace); return trace; } static void thread_add_trace_func(rb_thread_t *th, VALUE trace) { if (!rb_obj_is_proc(trace)) { rb_raise(rb_eTypeError, "trace_func needs to be Proc"); } rb_threadptr_add_event_hook(th, call_trace_func, RUBY_EVENT_ALL, trace, RUBY_EVENT_HOOK_FLAG_SAFE); } /* * call-seq: * thr.add_trace_func(proc) -> proc * * Adds _proc_ as a handler for tracing. * See Thread#set_trace_func and +set_trace_func+. */ static VALUE thread_add_trace_func_m(VALUE obj, VALUE trace) { rb_thread_t *th; GetThreadPtr(obj, th); thread_add_trace_func(th, trace); return trace; } /* * call-seq: * thr.set_trace_func(proc) -> proc * thr.set_trace_func(nil) -> nil * * Establishes _proc_ on _thr_ as the handler for tracing, or * disables tracing if the parameter is +nil+. * See +set_trace_func+. */ static VALUE thread_set_trace_func_m(VALUE obj, VALUE trace) { rb_thread_t *th; GetThreadPtr(obj, th); rb_threadptr_remove_event_hook(th, call_trace_func, Qundef); if (NIL_P(trace)) { return Qnil; } thread_add_trace_func(th, trace); return trace; } static const char * get_event_name(rb_event_flag_t event) { switch (event) { case RUBY_EVENT_LINE: return "line"; case RUBY_EVENT_CLASS: return "class"; case RUBY_EVENT_END: return "end"; case RUBY_EVENT_CALL: return "call"; case RUBY_EVENT_RETURN: return "return"; case RUBY_EVENT_C_CALL: return "c-call"; case RUBY_EVENT_C_RETURN: return "c-return"; case RUBY_EVENT_RAISE: return "raise"; default: return "unknown"; } } static ID get_event_id(rb_event_flag_t event) { ID id; switch (event) { #define C(name, NAME) case RUBY_EVENT_##NAME: CONST_ID(id, #name); return id; C(line, LINE); C(class, CLASS); C(end, END); C(call, CALL); C(return, RETURN); C(c_call, C_CALL); C(c_return, C_RETURN); C(raise, RAISE); #undef C default: return 0; } } static void call_trace_func(rb_event_flag_t event, VALUE proc, VALUE self, ID id, VALUE klass) { const char *srcfile = rb_sourcefile(); VALUE eventname = rb_str_new2(get_event_name(event)); VALUE filename = srcfile ? rb_str_new2(srcfile) : Qnil; VALUE argv[6]; int line = rb_sourceline(); rb_thread_t *th = GET_THREAD(); if (!klass) { rb_thread_method_id_and_class(th, &id, &klass); } if (klass) { if (RB_TYPE_P(klass, T_ICLASS)) { klass = RBASIC(klass)->klass; } else if (FL_TEST(klass, FL_SINGLETON)) { klass = rb_iv_get(klass, "__attached__"); } } argv[0] = eventname; argv[1] = filename; argv[2] = INT2FIX(line); argv[3] = id ? ID2SYM(id) : Qnil; argv[4] = (self && srcfile) ? rb_binding_new() : Qnil; argv[5] = klass ? klass : Qnil; rb_proc_call_with_block(proc, 6, argv, Qnil); } /* (2-2) TracePoint API */ static VALUE rb_cTracePoint; typedef struct rb_tp_struct { rb_event_flag_t events; rb_thread_t *target_th; void (*func)(VALUE tpval, void *data); void *data; VALUE proc; rb_trace_arg_t *trace_arg; int tracing; VALUE self; } rb_tp_t; static void tp_mark(void *ptr) { if (ptr) { rb_tp_t *tp = (rb_tp_t *)ptr; rb_gc_mark(tp->proc); if (tp->target_th) rb_gc_mark(tp->target_th->self); } } static void tp_free(void *ptr) { /* do nothing */ } static size_t tp_memsize(const void *ptr) { return sizeof(rb_tp_t); } static const rb_data_type_t tp_data_type = { "tracepoint", {tp_mark, tp_free, tp_memsize,}, }; static VALUE tp_alloc(VALUE klass) { rb_tp_t *tp; return TypedData_Make_Struct(klass, rb_tp_t, &tp_data_type, tp); } static rb_event_flag_t symbol2event_flag(VALUE v) { static ID id; VALUE sym = rb_convert_type(v, T_SYMBOL, "Symbol", "to_sym"); #define C(name, NAME) CONST_ID(id, #name); if (sym == ID2SYM(id)) return RUBY_EVENT_##NAME C(line, LINE); C(class, CLASS); C(end, END); C(call, CALL); C(return, RETURN); C(c_call, C_CALL); C(c_return, C_RETURN); C(raise, RAISE); #undef C rb_raise(rb_eArgError, "unknown event: %s", rb_id2name(SYM2ID(sym))); } static rb_tp_t * tpptr(VALUE tpval) { rb_tp_t *tp; TypedData_Get_Struct(tpval, rb_tp_t, &tp_data_type, tp); return tp; } static void tp_attr_check_active(rb_tp_t *tp) { if (tp->trace_arg == 0) { rb_raise(rb_eRuntimeError, "access from outside"); } } VALUE rb_tracepoint_attr_event(VALUE tpval) { rb_tp_t *tp = tpptr(tpval); tp_attr_check_active(tp); return ID2SYM(get_event_id(tp->trace_arg->event)); } rb_control_frame_t *rb_vm_get_ruby_level_next_cfp(rb_thread_t *th, rb_control_frame_t *cfp); int rb_vm_control_frame_id_and_class(rb_control_frame_t *cfp, ID *idp, VALUE *klassp); VALUE rb_binding_new_with_cfp(rb_thread_t *th, rb_control_frame_t *src_cfp); static void fill_path_and_lineno(rb_trace_arg_t *trace_arg) { if (trace_arg->path == Qundef) { rb_control_frame_t *cfp = rb_vm_get_ruby_level_next_cfp(trace_arg->th, trace_arg->cfp); if (cfp) { trace_arg->path = cfp->iseq->location.path; trace_arg->lineno = rb_vm_get_sourceline(cfp); } else { trace_arg->path = Qnil; trace_arg->lineno = 0; } } } VALUE rb_tracepoint_attr_lineno(VALUE tpval) { rb_tp_t *tp = tpptr(tpval); tp_attr_check_active(tp); fill_path_and_lineno(tp->trace_arg); return INT2FIX(tp->trace_arg->lineno); } VALUE rb_tracepoint_attr_path(VALUE tpval) { rb_tp_t *tp = tpptr(tpval); tp_attr_check_active(tp); fill_path_and_lineno(tp->trace_arg); return tp->trace_arg->path; } static void fill_id_and_klass(rb_trace_arg_t *trace_arg) { if (!trace_arg->klass_solved) { if (!trace_arg->klass) { rb_vm_control_frame_id_and_class(trace_arg->cfp, &trace_arg->id, &trace_arg->klass); } if (trace_arg->klass) { if (RB_TYPE_P(trace_arg->klass, T_ICLASS)) { trace_arg->klass = RBASIC(trace_arg->klass)->klass; } else if (FL_TEST(trace_arg->klass, FL_SINGLETON)) { trace_arg->klass = rb_iv_get(trace_arg->klass, "__attached__"); } } else { trace_arg->klass = Qnil; } trace_arg->klass_solved = 1; } } VALUE rb_tracepoint_attr_method_id(VALUE tpval) { rb_tp_t *tp = tpptr(tpval); tp_attr_check_active(tp); fill_id_and_klass(tp->trace_arg); return tp->trace_arg->id ? ID2SYM(tp->trace_arg->id) : Qnil; } VALUE rb_tracepoint_attr_defined_class(VALUE tpval) { rb_tp_t *tp = tpptr(tpval); tp_attr_check_active(tp); fill_id_and_klass(tp->trace_arg); return tp->trace_arg->klass; } VALUE rb_tracepoint_attr_binding(VALUE tpval) { rb_tp_t *tp = tpptr(tpval); rb_control_frame_t *cfp; tp_attr_check_active(tp); cfp = rb_vm_get_ruby_level_next_cfp(tp->trace_arg->th, tp->trace_arg->cfp); if (cfp) { return rb_binding_new_with_cfp(tp->trace_arg->th, cfp); } else { return Qnil; } } VALUE rb_tracepoint_attr_self(VALUE tpval) { rb_tp_t *tp = tpptr(tpval); tp_attr_check_active(tp); return tp->trace_arg->self; } VALUE rb_tracepoint_attr_return_value(VALUE tpval) { rb_tp_t *tp = tpptr(tpval); tp_attr_check_active(tp); if (tp->trace_arg->event & (RUBY_EVENT_RETURN | RUBY_EVENT_C_RETURN)) { /* ok */ } else { rb_raise(rb_eRuntimeError, "not supported by this event"); } if (tp->trace_arg->data == Qundef) { rb_bug("tp_attr_return_value_m: unreachable"); } return tp->trace_arg->data; } VALUE rb_tracepoint_attr_raised_exception(VALUE tpval) { rb_tp_t *tp = tpptr(tpval); tp_attr_check_active(tp); if (tp->trace_arg->event & (RUBY_EVENT_RAISE)) { /* ok */ } else { rb_raise(rb_eRuntimeError, "not supported by this event"); } if (tp->trace_arg->data == Qundef) { rb_bug("tp_attr_raised_exception_m: unreachable"); } return tp->trace_arg->data; } static void tp_call_trace(VALUE tpval, rb_trace_arg_t *trace_arg) { rb_tp_t *tp = tpptr(tpval); rb_thread_t *th = GET_THREAD(); int state; tp->trace_arg = trace_arg; TH_PUSH_TAG(th); if ((state = TH_EXEC_TAG()) == 0) { if (tp->func) { (*tp->func)(tpval, tp->data); } else { rb_proc_call_with_block((VALUE)tp->proc, 1, &tpval, Qnil); } } TH_POP_TAG(); tp->trace_arg = 0; if (state) { TH_JUMP_TAG(th, state); } } VALUE rb_tracepoint_enable(VALUE tpval) { rb_tp_t *tp = tpptr(tpval); if (tp->target_th) { rb_thread_add_event_hook2(tp->target_th->self, (rb_event_hook_func_t)tp_call_trace, tp->events, tpval, RUBY_EVENT_HOOK_FLAG_SAFE | RUBY_EVENT_HOOK_FLAG_RAW_ARG); } else { rb_add_event_hook2((rb_event_hook_func_t)tp_call_trace, tp->events, tpval, RUBY_EVENT_HOOK_FLAG_SAFE | RUBY_EVENT_HOOK_FLAG_RAW_ARG); } tp->tracing = 1; return Qundef; } VALUE rb_tracepoint_disable(VALUE tpval) { rb_tp_t *tp = tpptr(tpval); if (tp->target_th) { rb_thread_remove_event_hook_with_data(tp->target_th->self, (rb_event_hook_func_t)tp_call_trace, tpval); } else { rb_remove_event_hook_with_data((rb_event_hook_func_t)tp_call_trace, tpval); } tp->tracing = 0; return Qundef; } static VALUE tracepoint_enable_m(VALUE tpval) { rb_tp_t *tp = tpptr(tpval); if (tp->tracing) { rb_raise(rb_eRuntimeError, "trace is already enable"); } rb_tracepoint_enable(tpval); if (rb_block_given_p()) { return rb_ensure(rb_yield, tpval, rb_tracepoint_disable, tpval); } else { return tpval; } } static VALUE tracepoint_disable_m(VALUE tpval) { rb_tp_t *tp = tpptr(tpval); if (!tp->tracing) { rb_raise(rb_eRuntimeError, "trace is not enable"); } rb_tracepoint_disable(tpval); if (rb_block_given_p()) { return rb_ensure(rb_yield, tpval, rb_tracepoint_enable, tpval); } else { return tpval; } } VALUE rb_tracepoint_enabled_p(VALUE tpval) { rb_tp_t *tp = tpptr(tpval); return tp->tracing ? Qtrue : Qfalse; } static VALUE tracepoint_new(VALUE klass, rb_thread_t *target_th, rb_event_flag_t events, void (func)(VALUE, void*), void *data, VALUE proc) { VALUE tpval = tp_alloc(klass); rb_tp_t *tp; TypedData_Get_Struct(tpval, rb_tp_t, &tp_data_type, tp); tp->proc = proc; tp->func = func; tp->data = data; tp->events = events; tp->self = tpval; return tpval; } VALUE rb_tracepoint_new(VALUE target_thread, rb_event_flag_t events, void (*func)(VALUE, void *), void *data) { rb_thread_t *target_th = 0; if (RTEST(target_thread)) { /* TODO: now unsupported */ } return tracepoint_new(rb_cTracePoint, target_th, events, func, data, Qundef); } static VALUE tracepoint_new_s(int argc, VALUE *argv, VALUE self) { rb_event_flag_t events = 0; int i; if (argc > 0) { for (i=0; i