lists.openwall.net | lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC | |
Open Source and information security mailing list archives
| ||
|
Date: Sat, 21 Jun 2008 10:36:23 -0400 (EDT) From: Steven Rostedt <rostedt@...dmis.org> To: KOSAKI Motohiro <kosaki.motohiro@...fujitsu.com> cc: Masami Hiramatsu <mhiramat@...hat.com>, Mathieu Desnoyers <mathieu.desnoyers@...ymtl.ca>, Peter Zijlstra <peterz@...radead.org>, "Frank Ch. Eigler" <fche@...hat.com>, Ingo Molnar <mingo@...e.hu>, LKML <linux-kernel@...r.kernel.org>, systemtap-ml <systemtap@...rces.redhat.com>, Hideo AOKI <haoki@...hat.com> Subject: Re: [RFC][Patch 2/2] markers: example of irq regular kernel markers On Sat, 21 Jun 2008, KOSAKI Motohiro wrote: > > > > even though, I think you can do that by adding below string table > > to LTTng module. > > > > const char *lookup_table[MAX_MARKERS][2] = { > > {"irq_entry", "%d %d"}, // or "(int irq_id, int kernel_mode)", "%d %d" > > ... > > }; > > if move string to out of kernel core, compiler may kill some variable. > thus, we will get incomplete tracing result. I don't understand why the compiler would do such a thing? The compiler shouldn't be removing parameters. > > I think your proposal is very interesting. > but I dont understand why someone dislike format strings. > Could you explain this reason? Format strings only help for printf like operations. Not all tracers want such a thing. The best example of this is the sched_switch code. LTTng and friends just want a pid and comm to show. But there's tracers that want more info from the task_struct. We also like to see the priority of the task. I also foresee these trace hooks be use for dynamic itegrity checks. On switching out a process we might want to examine both the next and prev to make sure the context switch should really occur. There's other places in the core kernel that a tracer wants more than some data in a structure. Recording all the data that might be needed in a structure slows down those tracers that only want a little bit of data. Passing in a pointer to the structure being traced should be enough for all tracers. If those that don't care about priority of a context switch, why should it be parsing it out just for a single tracer that might need it. But all tracers would need the prev and next pointers. Now back to your question, why don't we like the printf format. Simply because it does nothing for pointers. It might help you with a %d and number of parameters, but a %p can not tell the difference between a struct tasks_struct *, and a int *, which can have even more devastating results. It also just looks like a debug session instead of a trace marker. Not to mention what Peter Zijlstra already stated, that a printf format gives only run time checking, where we would like to see compile time checking. -- Steve -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@...r.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
Powered by blists - more mailing lists