aboutsummaryrefslogtreecommitdiffstats
path: root/litmus
diff options
context:
space:
mode:
authorBjoern B. Brandenburg <bbb@cs.unc.edu>2010-11-22 01:25:19 -0500
committerBjoern B. Brandenburg <bbb@cs.unc.edu>2010-11-22 15:12:40 -0500
commit2aad06b056054442964f46752bdb098030cdb866 (patch)
tree2cea1a29913cfcfa026ab351e7be0e072d3ffd4f /litmus
parent7779685f05219ff6e713ee6591644c080f51a8bf (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/Kconfig15
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
177config 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
177endmenu 192endmenu
178 193
179endmenu 194endmenu