diff options
author | Bjoern B. Brandenburg <bbb@cs.unc.edu> | 2010-11-22 01:25:19 -0500 |
---|---|---|
committer | Bjoern B. Brandenburg <bbb@cs.unc.edu> | 2010-11-22 15:12:40 -0500 |
commit | 2aad06b056054442964f46752bdb098030cdb866 (patch) | |
tree | 2cea1a29913cfcfa026ab351e7be0e072d3ffd4f /litmus | |
parent | 7779685f05219ff6e713ee6591644c080f51a8bf (diff) |
add optional [function@file:line] tag to TRACE() log
Add information to each trace message that makes it easier to locate
where it came from. It is disabled by default since this adds a lot of
clutter. Example:
81281 P1 [gsnedf_schedule@litmus/sched_gsn_edf.c:406]: (rtspin/1483:1) blocks:0 out_of_time:0 np:0 sleep:1 preempt:0 state:0 sig:0
81282 P1 [job_completion@litmus/sched_gsn_edf.c:303]: (rtspin/1483:1) job_completion().
81283 P1 [__add_release@litmus/rt_domain.c:344]: (rtspin/1483:2) add_release(), rel=41941764351
81284 P1 [gsnedf_schedule@litmus/sched_gsn_edf.c:453]: (rtspin/1483:2) scheduled_on = NO_CPU
Diffstat (limited to 'litmus')
-rw-r--r-- | litmus/Kconfig | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/litmus/Kconfig b/litmus/Kconfig index d62c417f261e..a2f267870f29 100644 --- a/litmus/Kconfig +++ b/litmus/Kconfig | |||
@@ -174,6 +174,21 @@ config SCHED_DEBUG_TRACE_SHIFT | |||
174 | character device node should be created at /dev/litmus/log. The buffer | 174 | character device node should be created at /dev/litmus/log. The buffer |
175 | can be flushed using cat, e.g., 'cat /dev/litmus/log > my_log_file.txt'. | 175 | can be flushed using cat, e.g., 'cat /dev/litmus/log > my_log_file.txt'. |
176 | 176 | ||
177 | config SCHED_DEBUG_TRACE_CALLER | ||
178 | bool "Include [function@file:line] tag in TRACE() log" | ||
179 | depends on SCHED_DEBUG_TRACE | ||
180 | default n | ||
181 | help | ||
182 | With this option enabled, TRACE() prepends | ||
183 | |||
184 | "[<function name>@<filename>:<line number>]" | ||
185 | |||
186 | to each message in the debug log. Enable this to aid in figuring out | ||
187 | what was called in which order. The downside is that it adds a lot of | ||
188 | clutter. | ||
189 | |||
190 | If unsure, say No. | ||
191 | |||
177 | endmenu | 192 | endmenu |
178 | 193 | ||
179 | endmenu | 194 | endmenu |