2009-02-24 18:21:36 +03:00
|
|
|
/*
|
|
|
|
* event tracer
|
|
|
|
*
|
|
|
|
* Copyright (C) 2008 Red Hat Inc, Steven Rostedt <srostedt@redhat.com>
|
|
|
|
*
|
2009-03-02 21:53:59 +03:00
|
|
|
* - Added format output of fields of the trace point.
|
|
|
|
* This was based off of work by Tom Zanussi <tzanussi@gmail.com>.
|
|
|
|
*
|
2009-02-24 18:21:36 +03:00
|
|
|
*/
|
|
|
|
|
2009-04-15 21:36:40 +04:00
|
|
|
#include <linux/workqueue.h>
|
|
|
|
#include <linux/spinlock.h>
|
|
|
|
#include <linux/kthread.h>
|
2009-02-24 18:21:36 +03:00
|
|
|
#include <linux/debugfs.h>
|
|
|
|
#include <linux/uaccess.h>
|
|
|
|
#include <linux/module.h>
|
|
|
|
#include <linux/ctype.h>
|
include cleanup: Update gfp.h and slab.h includes to prepare for breaking implicit slab.h inclusion from percpu.h
percpu.h is included by sched.h and module.h and thus ends up being
included when building most .c files. percpu.h includes slab.h which
in turn includes gfp.h making everything defined by the two files
universally available and complicating inclusion dependencies.
percpu.h -> slab.h dependency is about to be removed. Prepare for
this change by updating users of gfp and slab facilities include those
headers directly instead of assuming availability. As this conversion
needs to touch large number of source files, the following script is
used as the basis of conversion.
http://userweb.kernel.org/~tj/misc/slabh-sweep.py
The script does the followings.
* Scan files for gfp and slab usages and update includes such that
only the necessary includes are there. ie. if only gfp is used,
gfp.h, if slab is used, slab.h.
* When the script inserts a new include, it looks at the include
blocks and try to put the new include such that its order conforms
to its surrounding. It's put in the include block which contains
core kernel includes, in the same order that the rest are ordered -
alphabetical, Christmas tree, rev-Xmas-tree or at the end if there
doesn't seem to be any matching order.
* If the script can't find a place to put a new include (mostly
because the file doesn't have fitting include block), it prints out
an error message indicating which .h file needs to be added to the
file.
The conversion was done in the following steps.
1. The initial automatic conversion of all .c files updated slightly
over 4000 files, deleting around 700 includes and adding ~480 gfp.h
and ~3000 slab.h inclusions. The script emitted errors for ~400
files.
2. Each error was manually checked. Some didn't need the inclusion,
some needed manual addition while adding it to implementation .h or
embedding .c file was more appropriate for others. This step added
inclusions to around 150 files.
3. The script was run again and the output was compared to the edits
from #2 to make sure no file was left behind.
4. Several build tests were done and a couple of problems were fixed.
e.g. lib/decompress_*.c used malloc/free() wrappers around slab
APIs requiring slab.h to be added manually.
5. The script was run on all .h files but without automatically
editing them as sprinkling gfp.h and slab.h inclusions around .h
files could easily lead to inclusion dependency hell. Most gfp.h
inclusion directives were ignored as stuff from gfp.h was usually
wildly available and often used in preprocessor macros. Each
slab.h inclusion directive was examined and added manually as
necessary.
6. percpu.h was updated not to include slab.h.
7. Build test were done on the following configurations and failures
were fixed. CONFIG_GCOV_KERNEL was turned off for all tests (as my
distributed build env didn't work with gcov compiles) and a few
more options had to be turned off depending on archs to make things
build (like ipr on powerpc/64 which failed due to missing writeq).
* x86 and x86_64 UP and SMP allmodconfig and a custom test config.
* powerpc and powerpc64 SMP allmodconfig
* sparc and sparc64 SMP allmodconfig
* ia64 SMP allmodconfig
* s390 SMP allmodconfig
* alpha SMP allmodconfig
* um on x86_64 SMP allmodconfig
8. percpu.h modifications were reverted so that it could be applied as
a separate patch and serve as bisection point.
Given the fact that I had only a couple of failures from tests on step
6, I'm fairly confident about the coverage of this conversion patch.
If there is a breakage, it's likely to be something in one of the arch
headers which should be easily discoverable easily on most builds of
the specific arch.
Signed-off-by: Tejun Heo <tj@kernel.org>
Guess-its-ok-by: Christoph Lameter <cl@linux-foundation.org>
Cc: Ingo Molnar <mingo@redhat.com>
Cc: Lee Schermerhorn <Lee.Schermerhorn@hp.com>
2010-03-24 11:04:11 +03:00
|
|
|
#include <linux/slab.h>
|
2009-04-15 21:36:40 +04:00
|
|
|
#include <linux/delay.h>
|
2009-02-24 18:21:36 +03:00
|
|
|
|
2009-07-01 06:47:05 +04:00
|
|
|
#include <asm/setup.h>
|
|
|
|
|
2009-03-02 23:03:01 +03:00
|
|
|
#include "trace_output.h"
|
2009-02-24 18:21:36 +03:00
|
|
|
|
2009-09-13 03:26:21 +04:00
|
|
|
#undef TRACE_SYSTEM
|
2009-02-28 07:32:58 +03:00
|
|
|
#define TRACE_SYSTEM "TRACE_SYSTEM"
|
|
|
|
|
2009-05-06 06:33:45 +04:00
|
|
|
DEFINE_MUTEX(event_mutex);
|
2009-03-02 19:49:04 +03:00
|
|
|
|
2010-11-13 06:32:11 +03:00
|
|
|
DEFINE_MUTEX(event_storage_mutex);
|
|
|
|
EXPORT_SYMBOL_GPL(event_storage_mutex);
|
|
|
|
|
|
|
|
char event_storage[EVENT_STORAGE_SIZE];
|
|
|
|
EXPORT_SYMBOL_GPL(event_storage);
|
|
|
|
|
2009-04-10 21:52:20 +04:00
|
|
|
LIST_HEAD(ftrace_events);
|
2010-05-24 12:22:49 +04:00
|
|
|
LIST_HEAD(ftrace_common_fields);
|
2009-04-10 21:52:20 +04:00
|
|
|
|
2010-04-22 18:35:55 +04:00
|
|
|
struct list_head *
|
|
|
|
trace_get_fields(struct ftrace_event_call *event_call)
|
|
|
|
{
|
|
|
|
if (!event_call->class->get_fields)
|
|
|
|
return &event_call->class->fields;
|
|
|
|
return event_call->class->get_fields(event_call);
|
|
|
|
}
|
|
|
|
|
2010-05-24 12:22:49 +04:00
|
|
|
static int __trace_define_field(struct list_head *head, const char *type,
|
|
|
|
const char *name, int offset, int size,
|
|
|
|
int is_signed, int filter_type)
|
2009-03-22 11:30:39 +03:00
|
|
|
{
|
|
|
|
struct ftrace_event_field *field;
|
|
|
|
|
2009-03-22 20:41:59 +03:00
|
|
|
field = kzalloc(sizeof(*field), GFP_KERNEL);
|
2009-03-22 11:30:39 +03:00
|
|
|
if (!field)
|
|
|
|
goto err;
|
2009-03-22 20:41:59 +03:00
|
|
|
|
2009-03-22 11:30:39 +03:00
|
|
|
field->name = kstrdup(name, GFP_KERNEL);
|
|
|
|
if (!field->name)
|
|
|
|
goto err;
|
2009-03-22 20:41:59 +03:00
|
|
|
|
2009-03-22 11:30:39 +03:00
|
|
|
field->type = kstrdup(type, GFP_KERNEL);
|
|
|
|
if (!field->type)
|
|
|
|
goto err;
|
2009-03-22 20:41:59 +03:00
|
|
|
|
2009-08-07 06:33:22 +04:00
|
|
|
if (filter_type == FILTER_OTHER)
|
|
|
|
field->filter_type = filter_assign_type(type);
|
|
|
|
else
|
|
|
|
field->filter_type = filter_type;
|
|
|
|
|
2009-03-22 11:30:39 +03:00
|
|
|
field->offset = offset;
|
|
|
|
field->size = size;
|
2009-04-28 12:04:53 +04:00
|
|
|
field->is_signed = is_signed;
|
2009-08-07 06:33:02 +04:00
|
|
|
|
2010-04-22 18:35:55 +04:00
|
|
|
list_add(&field->link, head);
|
2009-03-22 11:30:39 +03:00
|
|
|
|
|
|
|
return 0;
|
2009-03-22 20:41:59 +03:00
|
|
|
|
2009-03-22 11:30:39 +03:00
|
|
|
err:
|
2010-02-24 10:40:26 +03:00
|
|
|
if (field)
|
2009-03-22 11:30:39 +03:00
|
|
|
kfree(field->name);
|
|
|
|
kfree(field);
|
2009-03-22 20:41:59 +03:00
|
|
|
|
2009-03-22 11:30:39 +03:00
|
|
|
return -ENOMEM;
|
|
|
|
}
|
2010-05-24 12:22:49 +04:00
|
|
|
|
|
|
|
int trace_define_field(struct ftrace_event_call *call, const char *type,
|
|
|
|
const char *name, int offset, int size, int is_signed,
|
|
|
|
int filter_type)
|
|
|
|
{
|
|
|
|
struct list_head *head;
|
|
|
|
|
|
|
|
if (WARN_ON(!call->class))
|
|
|
|
return 0;
|
|
|
|
|
|
|
|
head = trace_get_fields(call);
|
|
|
|
return __trace_define_field(head, type, name, offset, size,
|
|
|
|
is_signed, filter_type);
|
|
|
|
}
|
2009-04-11 02:12:50 +04:00
|
|
|
EXPORT_SYMBOL_GPL(trace_define_field);
|
2009-03-22 11:30:39 +03:00
|
|
|
|
2009-08-19 11:54:32 +04:00
|
|
|
#define __common_field(type, item) \
|
2010-05-24 12:22:49 +04:00
|
|
|
ret = __trace_define_field(&ftrace_common_fields, #type, \
|
|
|
|
"common_" #item, \
|
|
|
|
offsetof(typeof(ent), item), \
|
|
|
|
sizeof(ent.item), \
|
|
|
|
is_signed_type(type), FILTER_OTHER); \
|
2009-08-19 11:54:32 +04:00
|
|
|
if (ret) \
|
|
|
|
return ret;
|
|
|
|
|
2010-05-24 12:22:49 +04:00
|
|
|
static int trace_define_common_fields(void)
|
2009-08-19 11:54:32 +04:00
|
|
|
{
|
|
|
|
int ret;
|
|
|
|
struct trace_entry ent;
|
|
|
|
|
|
|
|
__common_field(unsigned short, type);
|
|
|
|
__common_field(unsigned char, flags);
|
|
|
|
__common_field(unsigned char, preempt_count);
|
|
|
|
__common_field(int, pid);
|
2009-09-11 21:55:35 +04:00
|
|
|
__common_field(int, lock_depth);
|
2009-08-19 11:54:32 +04:00
|
|
|
|
|
|
|
return ret;
|
|
|
|
}
|
|
|
|
|
2009-08-14 00:34:53 +04:00
|
|
|
void trace_destroy_fields(struct ftrace_event_call *call)
|
2009-05-06 06:33:04 +04:00
|
|
|
{
|
|
|
|
struct ftrace_event_field *field, *next;
|
2010-04-22 18:35:55 +04:00
|
|
|
struct list_head *head;
|
2009-05-06 06:33:04 +04:00
|
|
|
|
2010-04-22 18:35:55 +04:00
|
|
|
head = trace_get_fields(call);
|
|
|
|
list_for_each_entry_safe(field, next, head, link) {
|
2009-05-06 06:33:04 +04:00
|
|
|
list_del(&field->link);
|
|
|
|
kfree(field->type);
|
|
|
|
kfree(field->name);
|
|
|
|
kfree(field);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2009-12-08 06:14:20 +03:00
|
|
|
int trace_event_raw_init(struct ftrace_event_call *call)
|
|
|
|
{
|
|
|
|
int id;
|
|
|
|
|
2010-04-23 18:00:22 +04:00
|
|
|
id = register_ftrace_event(&call->event);
|
2009-12-08 06:14:20 +03:00
|
|
|
if (!id)
|
|
|
|
return -ENODEV;
|
|
|
|
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
EXPORT_SYMBOL_GPL(trace_event_raw_init);
|
|
|
|
|
2010-06-08 19:22:06 +04:00
|
|
|
int ftrace_event_reg(struct ftrace_event_call *call, enum trace_reg type)
|
|
|
|
{
|
|
|
|
switch (type) {
|
|
|
|
case TRACE_REG_REGISTER:
|
|
|
|
return tracepoint_probe_register(call->name,
|
|
|
|
call->class->probe,
|
|
|
|
call);
|
|
|
|
case TRACE_REG_UNREGISTER:
|
|
|
|
tracepoint_probe_unregister(call->name,
|
|
|
|
call->class->probe,
|
|
|
|
call);
|
|
|
|
return 0;
|
|
|
|
|
|
|
|
#ifdef CONFIG_PERF_EVENTS
|
|
|
|
case TRACE_REG_PERF_REGISTER:
|
|
|
|
return tracepoint_probe_register(call->name,
|
|
|
|
call->class->perf_probe,
|
|
|
|
call);
|
|
|
|
case TRACE_REG_PERF_UNREGISTER:
|
|
|
|
tracepoint_probe_unregister(call->name,
|
|
|
|
call->class->perf_probe,
|
|
|
|
call);
|
|
|
|
return 0;
|
|
|
|
#endif
|
|
|
|
}
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
EXPORT_SYMBOL_GPL(ftrace_event_reg);
|
|
|
|
|
2010-07-02 07:07:32 +04:00
|
|
|
void trace_event_enable_cmd_record(bool enable)
|
|
|
|
{
|
|
|
|
struct ftrace_event_call *call;
|
|
|
|
|
|
|
|
mutex_lock(&event_mutex);
|
|
|
|
list_for_each_entry(call, &ftrace_events, list) {
|
|
|
|
if (!(call->flags & TRACE_EVENT_FL_ENABLED))
|
|
|
|
continue;
|
|
|
|
|
|
|
|
if (enable) {
|
|
|
|
tracing_start_cmdline_record();
|
|
|
|
call->flags |= TRACE_EVENT_FL_RECORDED_CMD;
|
|
|
|
} else {
|
|
|
|
tracing_stop_cmdline_record();
|
|
|
|
call->flags &= ~TRACE_EVENT_FL_RECORDED_CMD;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
mutex_unlock(&event_mutex);
|
|
|
|
}
|
|
|
|
|
2009-12-08 06:14:52 +03:00
|
|
|
static int ftrace_event_enable_disable(struct ftrace_event_call *call,
|
2009-02-28 10:41:25 +03:00
|
|
|
int enable)
|
|
|
|
{
|
2009-12-08 06:14:52 +03:00
|
|
|
int ret = 0;
|
|
|
|
|
2009-02-28 10:41:25 +03:00
|
|
|
switch (enable) {
|
|
|
|
case 0:
|
2010-04-23 19:12:36 +04:00
|
|
|
if (call->flags & TRACE_EVENT_FL_ENABLED) {
|
|
|
|
call->flags &= ~TRACE_EVENT_FL_ENABLED;
|
2010-07-02 07:07:32 +04:00
|
|
|
if (call->flags & TRACE_EVENT_FL_RECORDED_CMD) {
|
|
|
|
tracing_stop_cmdline_record();
|
|
|
|
call->flags &= ~TRACE_EVENT_FL_RECORDED_CMD;
|
|
|
|
}
|
2010-06-08 19:22:06 +04:00
|
|
|
call->class->reg(call, TRACE_REG_UNREGISTER);
|
2009-02-28 10:41:25 +03:00
|
|
|
}
|
|
|
|
break;
|
|
|
|
case 1:
|
2010-04-23 19:12:36 +04:00
|
|
|
if (!(call->flags & TRACE_EVENT_FL_ENABLED)) {
|
2010-07-02 07:07:32 +04:00
|
|
|
if (trace_flags & TRACE_ITER_RECORD_CMD) {
|
|
|
|
tracing_start_cmdline_record();
|
|
|
|
call->flags |= TRACE_EVENT_FL_RECORDED_CMD;
|
|
|
|
}
|
2010-06-08 19:22:06 +04:00
|
|
|
ret = call->class->reg(call, TRACE_REG_REGISTER);
|
2009-12-08 06:14:52 +03:00
|
|
|
if (ret) {
|
|
|
|
tracing_stop_cmdline_record();
|
|
|
|
pr_info("event trace: Could not enable event "
|
|
|
|
"%s\n", call->name);
|
|
|
|
break;
|
|
|
|
}
|
2010-04-23 19:12:36 +04:00
|
|
|
call->flags |= TRACE_EVENT_FL_ENABLED;
|
2009-02-28 10:41:25 +03:00
|
|
|
}
|
|
|
|
break;
|
|
|
|
}
|
2009-12-08 06:14:52 +03:00
|
|
|
|
|
|
|
return ret;
|
2009-02-28 10:41:25 +03:00
|
|
|
}
|
|
|
|
|
2009-05-25 14:13:59 +04:00
|
|
|
static void ftrace_clear_events(void)
|
|
|
|
{
|
|
|
|
struct ftrace_event_call *call;
|
|
|
|
|
|
|
|
mutex_lock(&event_mutex);
|
|
|
|
list_for_each_entry(call, &ftrace_events, list) {
|
|
|
|
ftrace_event_enable_disable(call, 0);
|
|
|
|
}
|
|
|
|
mutex_unlock(&event_mutex);
|
|
|
|
}
|
|
|
|
|
2009-05-08 06:31:42 +04:00
|
|
|
/*
|
|
|
|
* __ftrace_set_clr_event(NULL, NULL, NULL, set) will set/unset all events.
|
|
|
|
*/
|
|
|
|
static int __ftrace_set_clr_event(const char *match, const char *sub,
|
|
|
|
const char *event, int set)
|
2009-02-24 18:21:36 +03:00
|
|
|
{
|
2009-04-10 21:52:20 +04:00
|
|
|
struct ftrace_event_call *call;
|
2009-05-09 00:06:47 +04:00
|
|
|
int ret = -EINVAL;
|
2009-05-08 06:31:42 +04:00
|
|
|
|
|
|
|
mutex_lock(&event_mutex);
|
|
|
|
list_for_each_entry(call, &ftrace_events, list) {
|
|
|
|
|
2010-06-08 19:22:06 +04:00
|
|
|
if (!call->name || !call->class || !call->class->reg)
|
2009-05-08 06:31:42 +04:00
|
|
|
continue;
|
|
|
|
|
|
|
|
if (match &&
|
|
|
|
strcmp(match, call->name) != 0 &&
|
2010-04-20 18:47:33 +04:00
|
|
|
strcmp(match, call->class->system) != 0)
|
2009-05-08 06:31:42 +04:00
|
|
|
continue;
|
|
|
|
|
2010-04-20 18:47:33 +04:00
|
|
|
if (sub && strcmp(sub, call->class->system) != 0)
|
2009-05-08 06:31:42 +04:00
|
|
|
continue;
|
|
|
|
|
|
|
|
if (event && strcmp(event, call->name) != 0)
|
|
|
|
continue;
|
|
|
|
|
|
|
|
ftrace_event_enable_disable(call, set);
|
|
|
|
|
|
|
|
ret = 0;
|
|
|
|
}
|
|
|
|
mutex_unlock(&event_mutex);
|
|
|
|
|
|
|
|
return ret;
|
|
|
|
}
|
|
|
|
|
|
|
|
static int ftrace_set_clr_event(char *buf, int set)
|
|
|
|
{
|
2009-02-28 07:32:58 +03:00
|
|
|
char *event = NULL, *sub = NULL, *match;
|
|
|
|
|
|
|
|
/*
|
|
|
|
* The buf format can be <subsystem>:<event-name>
|
|
|
|
* *:<event-name> means any event by that name.
|
|
|
|
* :<event-name> is the same.
|
|
|
|
*
|
|
|
|
* <subsystem>:* means all events in that subsystem
|
|
|
|
* <subsystem>: means the same.
|
|
|
|
*
|
|
|
|
* <name> (no ':') means all events in a subsystem with
|
|
|
|
* the name <name> or any event that matches <name>
|
|
|
|
*/
|
|
|
|
|
|
|
|
match = strsep(&buf, ":");
|
|
|
|
if (buf) {
|
|
|
|
sub = match;
|
|
|
|
event = buf;
|
|
|
|
match = NULL;
|
|
|
|
|
|
|
|
if (!strlen(sub) || strcmp(sub, "*") == 0)
|
|
|
|
sub = NULL;
|
|
|
|
if (!strlen(event) || strcmp(event, "*") == 0)
|
|
|
|
event = NULL;
|
|
|
|
}
|
2009-02-24 18:21:36 +03:00
|
|
|
|
2009-05-08 06:31:42 +04:00
|
|
|
return __ftrace_set_clr_event(match, sub, event, set);
|
2009-02-24 18:21:36 +03:00
|
|
|
}
|
|
|
|
|
2009-05-09 00:27:41 +04:00
|
|
|
/**
|
|
|
|
* trace_set_clr_event - enable or disable an event
|
|
|
|
* @system: system name to match (NULL for any system)
|
|
|
|
* @event: event name to match (NULL for all events, within system)
|
|
|
|
* @set: 1 to enable, 0 to disable
|
|
|
|
*
|
|
|
|
* This is a way for other parts of the kernel to enable or disable
|
|
|
|
* event recording.
|
|
|
|
*
|
|
|
|
* Returns 0 on success, -EINVAL if the parameters do not match any
|
|
|
|
* registered events.
|
|
|
|
*/
|
|
|
|
int trace_set_clr_event(const char *system, const char *event, int set)
|
|
|
|
{
|
|
|
|
return __ftrace_set_clr_event(NULL, system, event, set);
|
|
|
|
}
|
|
|
|
|
2009-02-24 18:21:36 +03:00
|
|
|
/* 128 should be much more than enough */
|
|
|
|
#define EVENT_BUF_SIZE 127
|
|
|
|
|
|
|
|
static ssize_t
|
|
|
|
ftrace_event_write(struct file *file, const char __user *ubuf,
|
|
|
|
size_t cnt, loff_t *ppos)
|
|
|
|
{
|
2009-09-11 19:29:28 +04:00
|
|
|
struct trace_parser parser;
|
2009-09-22 09:52:20 +04:00
|
|
|
ssize_t read, ret;
|
2009-02-24 18:21:36 +03:00
|
|
|
|
2009-09-22 09:52:20 +04:00
|
|
|
if (!cnt)
|
2009-02-24 18:21:36 +03:00
|
|
|
return 0;
|
|
|
|
|
2009-03-11 21:33:00 +03:00
|
|
|
ret = tracing_update_buffers();
|
|
|
|
if (ret < 0)
|
|
|
|
return ret;
|
|
|
|
|
2009-09-11 19:29:28 +04:00
|
|
|
if (trace_parser_get_init(&parser, EVENT_BUF_SIZE + 1))
|
2009-02-24 18:21:36 +03:00
|
|
|
return -ENOMEM;
|
|
|
|
|
2009-09-11 19:29:28 +04:00
|
|
|
read = trace_get_user(&parser, ubuf, cnt, ppos);
|
|
|
|
|
2009-09-22 09:52:20 +04:00
|
|
|
if (read >= 0 && trace_parser_loaded((&parser))) {
|
2009-09-11 19:29:28 +04:00
|
|
|
int set = 1;
|
2009-02-24 18:21:36 +03:00
|
|
|
|
2009-09-11 19:29:28 +04:00
|
|
|
if (*parser.buffer == '!')
|
2009-02-24 18:21:36 +03:00
|
|
|
set = 0;
|
|
|
|
|
2009-09-11 19:29:28 +04:00
|
|
|
parser.buffer[parser.idx] = 0;
|
|
|
|
|
|
|
|
ret = ftrace_set_clr_event(parser.buffer + !set, set);
|
2009-02-24 18:21:36 +03:00
|
|
|
if (ret)
|
2009-09-11 19:29:28 +04:00
|
|
|
goto out_put;
|
2009-02-24 18:21:36 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
ret = read;
|
|
|
|
|
2009-09-11 19:29:28 +04:00
|
|
|
out_put:
|
|
|
|
trace_parser_put(&parser);
|
2009-02-24 18:21:36 +03:00
|
|
|
|
|
|
|
return ret;
|
|
|
|
}
|
|
|
|
|
|
|
|
static void *
|
|
|
|
t_next(struct seq_file *m, void *v, loff_t *pos)
|
|
|
|
{
|
2009-09-18 10:07:05 +04:00
|
|
|
struct ftrace_event_call *call = v;
|
2009-02-24 18:21:36 +03:00
|
|
|
|
|
|
|
(*pos)++;
|
|
|
|
|
2009-09-18 10:07:05 +04:00
|
|
|
list_for_each_entry_continue(call, &ftrace_events, list) {
|
2009-03-10 18:32:40 +03:00
|
|
|
/*
|
|
|
|
* The ftrace subsystem is for showing formats only.
|
|
|
|
* They can not be enabled or disabled via the event files.
|
|
|
|
*/
|
2010-06-08 19:22:06 +04:00
|
|
|
if (call->class && call->class->reg)
|
2009-09-18 10:07:05 +04:00
|
|
|
return call;
|
2009-03-10 18:32:40 +03:00
|
|
|
}
|
2009-02-24 18:21:36 +03:00
|
|
|
|
2009-09-18 10:07:05 +04:00
|
|
|
return NULL;
|
2009-02-24 18:21:36 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static void *t_start(struct seq_file *m, loff_t *pos)
|
|
|
|
{
|
2009-09-18 10:07:05 +04:00
|
|
|
struct ftrace_event_call *call;
|
2009-06-24 05:52:29 +04:00
|
|
|
loff_t l;
|
|
|
|
|
2009-05-06 06:33:45 +04:00
|
|
|
mutex_lock(&event_mutex);
|
2009-06-24 05:52:29 +04:00
|
|
|
|
2009-09-18 10:07:05 +04:00
|
|
|
call = list_entry(&ftrace_events, struct ftrace_event_call, list);
|
2009-06-24 05:52:29 +04:00
|
|
|
for (l = 0; l <= *pos; ) {
|
2009-09-18 10:07:05 +04:00
|
|
|
call = t_next(m, call, &l);
|
2009-06-24 05:52:29 +04:00
|
|
|
if (!call)
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
return call;
|
2009-02-24 18:21:36 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static void *
|
|
|
|
s_next(struct seq_file *m, void *v, loff_t *pos)
|
|
|
|
{
|
2009-09-18 10:07:05 +04:00
|
|
|
struct ftrace_event_call *call = v;
|
2009-02-24 18:21:36 +03:00
|
|
|
|
|
|
|
(*pos)++;
|
|
|
|
|
2009-09-18 10:07:05 +04:00
|
|
|
list_for_each_entry_continue(call, &ftrace_events, list) {
|
2010-04-23 19:12:36 +04:00
|
|
|
if (call->flags & TRACE_EVENT_FL_ENABLED)
|
2009-09-18 10:07:05 +04:00
|
|
|
return call;
|
2009-02-24 18:21:36 +03:00
|
|
|
}
|
|
|
|
|
2009-09-18 10:07:05 +04:00
|
|
|
return NULL;
|
2009-02-24 18:21:36 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static void *s_start(struct seq_file *m, loff_t *pos)
|
|
|
|
{
|
2009-09-18 10:07:05 +04:00
|
|
|
struct ftrace_event_call *call;
|
2009-06-24 05:52:29 +04:00
|
|
|
loff_t l;
|
|
|
|
|
2009-05-06 06:33:45 +04:00
|
|
|
mutex_lock(&event_mutex);
|
2009-06-24 05:52:29 +04:00
|
|
|
|
2009-09-18 10:07:05 +04:00
|
|
|
call = list_entry(&ftrace_events, struct ftrace_event_call, list);
|
2009-06-24 05:52:29 +04:00
|
|
|
for (l = 0; l <= *pos; ) {
|
2009-09-18 10:07:05 +04:00
|
|
|
call = s_next(m, call, &l);
|
2009-06-24 05:52:29 +04:00
|
|
|
if (!call)
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
return call;
|
2009-02-24 18:21:36 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static int t_show(struct seq_file *m, void *v)
|
|
|
|
{
|
|
|
|
struct ftrace_event_call *call = v;
|
|
|
|
|
2010-04-20 18:47:33 +04:00
|
|
|
if (strcmp(call->class->system, TRACE_SYSTEM) != 0)
|
|
|
|
seq_printf(m, "%s:", call->class->system);
|
2009-02-24 18:21:36 +03:00
|
|
|
seq_printf(m, "%s\n", call->name);
|
|
|
|
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
static void t_stop(struct seq_file *m, void *p)
|
|
|
|
{
|
2009-05-06 06:33:45 +04:00
|
|
|
mutex_unlock(&event_mutex);
|
2009-02-24 18:21:36 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static int
|
|
|
|
ftrace_event_seq_open(struct inode *inode, struct file *file)
|
|
|
|
{
|
|
|
|
const struct seq_operations *seq_ops;
|
|
|
|
|
|
|
|
if ((file->f_mode & FMODE_WRITE) &&
|
2009-07-23 07:29:30 +04:00
|
|
|
(file->f_flags & O_TRUNC))
|
2009-02-24 18:21:36 +03:00
|
|
|
ftrace_clear_events();
|
|
|
|
|
|
|
|
seq_ops = inode->i_private;
|
2009-05-06 06:33:45 +04:00
|
|
|
return seq_open(file, seq_ops);
|
2009-02-24 18:21:36 +03:00
|
|
|
}
|
|
|
|
|
2009-02-24 22:15:08 +03:00
|
|
|
static ssize_t
|
|
|
|
event_enable_read(struct file *filp, char __user *ubuf, size_t cnt,
|
|
|
|
loff_t *ppos)
|
|
|
|
{
|
|
|
|
struct ftrace_event_call *call = filp->private_data;
|
|
|
|
char *buf;
|
|
|
|
|
2010-04-23 19:12:36 +04:00
|
|
|
if (call->flags & TRACE_EVENT_FL_ENABLED)
|
2009-02-24 22:15:08 +03:00
|
|
|
buf = "1\n";
|
|
|
|
else
|
|
|
|
buf = "0\n";
|
|
|
|
|
|
|
|
return simple_read_from_buffer(ubuf, cnt, ppos, buf, 2);
|
|
|
|
}
|
|
|
|
|
|
|
|
static ssize_t
|
|
|
|
event_enable_write(struct file *filp, const char __user *ubuf, size_t cnt,
|
|
|
|
loff_t *ppos)
|
|
|
|
{
|
|
|
|
struct ftrace_event_call *call = filp->private_data;
|
|
|
|
char buf[64];
|
|
|
|
unsigned long val;
|
|
|
|
int ret;
|
|
|
|
|
|
|
|
if (cnt >= sizeof(buf))
|
|
|
|
return -EINVAL;
|
|
|
|
|
|
|
|
if (copy_from_user(&buf, ubuf, cnt))
|
|
|
|
return -EFAULT;
|
|
|
|
|
|
|
|
buf[cnt] = 0;
|
|
|
|
|
|
|
|
ret = strict_strtoul(buf, 10, &val);
|
|
|
|
if (ret < 0)
|
|
|
|
return ret;
|
|
|
|
|
2009-03-11 21:33:00 +03:00
|
|
|
ret = tracing_update_buffers();
|
|
|
|
if (ret < 0)
|
|
|
|
return ret;
|
|
|
|
|
2009-02-24 22:15:08 +03:00
|
|
|
switch (val) {
|
|
|
|
case 0:
|
|
|
|
case 1:
|
2009-03-02 19:49:04 +03:00
|
|
|
mutex_lock(&event_mutex);
|
2009-12-08 06:14:52 +03:00
|
|
|
ret = ftrace_event_enable_disable(call, val);
|
2009-03-02 19:49:04 +03:00
|
|
|
mutex_unlock(&event_mutex);
|
2009-02-24 22:15:08 +03:00
|
|
|
break;
|
|
|
|
|
|
|
|
default:
|
|
|
|
return -EINVAL;
|
|
|
|
}
|
|
|
|
|
|
|
|
*ppos += cnt;
|
|
|
|
|
2009-12-08 06:14:52 +03:00
|
|
|
return ret ? ret : cnt;
|
2009-02-24 22:15:08 +03:00
|
|
|
}
|
|
|
|
|
2009-05-07 06:52:15 +04:00
|
|
|
static ssize_t
|
|
|
|
system_enable_read(struct file *filp, char __user *ubuf, size_t cnt,
|
|
|
|
loff_t *ppos)
|
|
|
|
{
|
2009-05-08 06:32:05 +04:00
|
|
|
const char set_to_char[4] = { '?', '0', '1', 'X' };
|
2009-05-07 06:52:15 +04:00
|
|
|
const char *system = filp->private_data;
|
|
|
|
struct ftrace_event_call *call;
|
|
|
|
char buf[2];
|
2009-05-08 06:32:05 +04:00
|
|
|
int set = 0;
|
2009-05-07 06:52:15 +04:00
|
|
|
int ret;
|
|
|
|
|
|
|
|
mutex_lock(&event_mutex);
|
|
|
|
list_for_each_entry(call, &ftrace_events, list) {
|
2010-06-08 19:22:06 +04:00
|
|
|
if (!call->name || !call->class || !call->class->reg)
|
2009-05-07 06:52:15 +04:00
|
|
|
continue;
|
|
|
|
|
2010-04-20 18:47:33 +04:00
|
|
|
if (system && strcmp(call->class->system, system) != 0)
|
2009-05-07 06:52:15 +04:00
|
|
|
continue;
|
|
|
|
|
|
|
|
/*
|
|
|
|
* We need to find out if all the events are set
|
|
|
|
* or if all events or cleared, or if we have
|
|
|
|
* a mixture.
|
|
|
|
*/
|
2010-04-23 19:12:36 +04:00
|
|
|
set |= (1 << !!(call->flags & TRACE_EVENT_FL_ENABLED));
|
2009-05-08 06:32:05 +04:00
|
|
|
|
2009-05-07 06:52:15 +04:00
|
|
|
/*
|
|
|
|
* If we have a mixture, no need to look further.
|
|
|
|
*/
|
2009-05-08 06:32:05 +04:00
|
|
|
if (set == 3)
|
2009-05-07 06:52:15 +04:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
mutex_unlock(&event_mutex);
|
|
|
|
|
2009-05-08 06:32:05 +04:00
|
|
|
buf[0] = set_to_char[set];
|
2009-05-07 06:52:15 +04:00
|
|
|
buf[1] = '\n';
|
|
|
|
|
|
|
|
ret = simple_read_from_buffer(ubuf, cnt, ppos, buf, 2);
|
|
|
|
|
|
|
|
return ret;
|
|
|
|
}
|
|
|
|
|
|
|
|
static ssize_t
|
|
|
|
system_enable_write(struct file *filp, const char __user *ubuf, size_t cnt,
|
|
|
|
loff_t *ppos)
|
|
|
|
{
|
|
|
|
const char *system = filp->private_data;
|
|
|
|
unsigned long val;
|
|
|
|
char buf[64];
|
|
|
|
ssize_t ret;
|
|
|
|
|
|
|
|
if (cnt >= sizeof(buf))
|
|
|
|
return -EINVAL;
|
|
|
|
|
|
|
|
if (copy_from_user(&buf, ubuf, cnt))
|
|
|
|
return -EFAULT;
|
|
|
|
|
|
|
|
buf[cnt] = 0;
|
|
|
|
|
|
|
|
ret = strict_strtoul(buf, 10, &val);
|
|
|
|
if (ret < 0)
|
|
|
|
return ret;
|
|
|
|
|
|
|
|
ret = tracing_update_buffers();
|
|
|
|
if (ret < 0)
|
|
|
|
return ret;
|
|
|
|
|
2009-05-08 06:31:42 +04:00
|
|
|
if (val != 0 && val != 1)
|
2009-05-07 06:52:15 +04:00
|
|
|
return -EINVAL;
|
|
|
|
|
2009-05-08 06:31:42 +04:00
|
|
|
ret = __ftrace_set_clr_event(NULL, system, NULL, val);
|
2009-05-07 06:52:15 +04:00
|
|
|
if (ret)
|
2009-05-08 06:31:42 +04:00
|
|
|
goto out;
|
2009-05-07 06:52:15 +04:00
|
|
|
|
|
|
|
ret = cnt;
|
|
|
|
|
2009-05-08 06:31:42 +04:00
|
|
|
out:
|
2009-05-07 06:52:15 +04:00
|
|
|
*ppos += cnt;
|
|
|
|
|
|
|
|
return ret;
|
|
|
|
}
|
|
|
|
|
2010-06-03 23:21:34 +04:00
|
|
|
enum {
|
|
|
|
FORMAT_HEADER = 1,
|
2010-08-17 09:53:06 +04:00
|
|
|
FORMAT_FIELD_SEPERATOR = 2,
|
|
|
|
FORMAT_PRINTFMT = 3,
|
2010-06-03 23:21:34 +04:00
|
|
|
};
|
|
|
|
|
|
|
|
static void *f_next(struct seq_file *m, void *v, loff_t *pos)
|
2009-03-02 21:53:59 +03:00
|
|
|
{
|
2010-06-03 23:21:34 +04:00
|
|
|
struct ftrace_event_call *call = m->private;
|
2009-12-15 10:39:53 +03:00
|
|
|
struct ftrace_event_field *field;
|
2010-08-17 09:53:06 +04:00
|
|
|
struct list_head *common_head = &ftrace_common_fields;
|
|
|
|
struct list_head *head = trace_get_fields(call);
|
2009-03-02 21:53:59 +03:00
|
|
|
|
2010-06-03 23:21:34 +04:00
|
|
|
(*pos)++;
|
2009-12-15 10:39:53 +03:00
|
|
|
|
2010-06-03 23:21:34 +04:00
|
|
|
switch ((unsigned long)v) {
|
|
|
|
case FORMAT_HEADER:
|
2010-08-17 09:53:06 +04:00
|
|
|
if (unlikely(list_empty(common_head)))
|
|
|
|
return NULL;
|
|
|
|
|
|
|
|
field = list_entry(common_head->prev,
|
|
|
|
struct ftrace_event_field, link);
|
|
|
|
return field;
|
2009-12-15 10:39:53 +03:00
|
|
|
|
2010-08-17 09:53:06 +04:00
|
|
|
case FORMAT_FIELD_SEPERATOR:
|
2010-06-03 23:21:34 +04:00
|
|
|
if (unlikely(list_empty(head)))
|
|
|
|
return NULL;
|
2009-12-15 10:39:53 +03:00
|
|
|
|
2010-06-03 23:21:34 +04:00
|
|
|
field = list_entry(head->prev, struct ftrace_event_field, link);
|
|
|
|
return field;
|
2009-12-15 10:39:53 +03:00
|
|
|
|
2010-06-03 23:21:34 +04:00
|
|
|
case FORMAT_PRINTFMT:
|
|
|
|
/* all done */
|
|
|
|
return NULL;
|
2009-12-15 10:39:53 +03:00
|
|
|
}
|
|
|
|
|
2010-06-03 23:21:34 +04:00
|
|
|
field = v;
|
2010-08-17 09:53:06 +04:00
|
|
|
if (field->link.prev == common_head)
|
|
|
|
return (void *)FORMAT_FIELD_SEPERATOR;
|
|
|
|
else if (field->link.prev == head)
|
2010-06-03 23:21:34 +04:00
|
|
|
return (void *)FORMAT_PRINTFMT;
|
|
|
|
|
|
|
|
field = list_entry(field->link.prev, struct ftrace_event_field, link);
|
|
|
|
|
|
|
|
return field;
|
2010-05-24 12:22:49 +04:00
|
|
|
}
|
2009-12-15 10:39:53 +03:00
|
|
|
|
2010-06-03 23:21:34 +04:00
|
|
|
static void *f_start(struct seq_file *m, loff_t *pos)
|
2010-05-24 12:22:49 +04:00
|
|
|
{
|
2010-06-03 23:21:34 +04:00
|
|
|
loff_t l = 0;
|
|
|
|
void *p;
|
2009-12-15 10:39:53 +03:00
|
|
|
|
2010-06-03 23:21:34 +04:00
|
|
|
/* Start by showing the header */
|
|
|
|
if (!*pos)
|
|
|
|
return (void *)FORMAT_HEADER;
|
|
|
|
|
|
|
|
p = (void *)FORMAT_HEADER;
|
|
|
|
do {
|
|
|
|
p = f_next(m, p, &l);
|
|
|
|
} while (p && l < *pos);
|
|
|
|
|
|
|
|
return p;
|
|
|
|
}
|
|
|
|
|
|
|
|
static int f_show(struct seq_file *m, void *v)
|
|
|
|
{
|
|
|
|
struct ftrace_event_call *call = m->private;
|
|
|
|
struct ftrace_event_field *field;
|
|
|
|
const char *array_descriptor;
|
|
|
|
|
|
|
|
switch ((unsigned long)v) {
|
|
|
|
case FORMAT_HEADER:
|
|
|
|
seq_printf(m, "name: %s\n", call->name);
|
|
|
|
seq_printf(m, "ID: %d\n", call->event.type);
|
|
|
|
seq_printf(m, "format:\n");
|
2010-05-24 12:22:49 +04:00
|
|
|
return 0;
|
2009-12-15 10:39:53 +03:00
|
|
|
|
2010-08-17 09:53:06 +04:00
|
|
|
case FORMAT_FIELD_SEPERATOR:
|
|
|
|
seq_putc(m, '\n');
|
|
|
|
return 0;
|
|
|
|
|
2010-06-03 23:21:34 +04:00
|
|
|
case FORMAT_PRINTFMT:
|
|
|
|
seq_printf(m, "\nprint fmt: %s\n",
|
|
|
|
call->print_fmt);
|
|
|
|
return 0;
|
2009-03-02 21:53:59 +03:00
|
|
|
}
|
2010-05-24 12:22:49 +04:00
|
|
|
|
2010-06-03 23:21:34 +04:00
|
|
|
field = v;
|
2010-05-24 12:22:49 +04:00
|
|
|
|
2010-06-03 23:21:34 +04:00
|
|
|
/*
|
|
|
|
* Smartly shows the array type(except dynamic array).
|
|
|
|
* Normal:
|
|
|
|
* field:TYPE VAR
|
|
|
|
* If TYPE := TYPE[LEN], it is shown:
|
|
|
|
* field:TYPE VAR[LEN]
|
|
|
|
*/
|
|
|
|
array_descriptor = strchr(field->type, '[');
|
2010-05-24 12:22:49 +04:00
|
|
|
|
2010-06-03 23:21:34 +04:00
|
|
|
if (!strncmp(field->type, "__data_loc", 10))
|
|
|
|
array_descriptor = NULL;
|
2010-05-24 12:22:49 +04:00
|
|
|
|
2010-06-03 23:21:34 +04:00
|
|
|
if (!array_descriptor)
|
|
|
|
seq_printf(m, "\tfield:%s %s;\toffset:%u;\tsize:%u;\tsigned:%d;\n",
|
|
|
|
field->type, field->name, field->offset,
|
|
|
|
field->size, !!field->is_signed);
|
|
|
|
else
|
|
|
|
seq_printf(m, "\tfield:%.*s %s%s;\toffset:%u;\tsize:%u;\tsigned:%d;\n",
|
|
|
|
(int)(array_descriptor - field->type),
|
|
|
|
field->type, field->name,
|
|
|
|
array_descriptor, field->offset,
|
|
|
|
field->size, !!field->is_signed);
|
2010-05-24 12:22:49 +04:00
|
|
|
|
2010-06-03 23:21:34 +04:00
|
|
|
return 0;
|
|
|
|
}
|
2009-12-15 10:39:53 +03:00
|
|
|
|
2010-06-03 23:21:34 +04:00
|
|
|
static void f_stop(struct seq_file *m, void *p)
|
|
|
|
{
|
|
|
|
}
|
2009-03-02 21:53:59 +03:00
|
|
|
|
2010-06-03 23:21:34 +04:00
|
|
|
static const struct seq_operations trace_format_seq_ops = {
|
|
|
|
.start = f_start,
|
|
|
|
.next = f_next,
|
|
|
|
.stop = f_stop,
|
|
|
|
.show = f_show,
|
|
|
|
};
|
|
|
|
|
|
|
|
static int trace_format_open(struct inode *inode, struct file *file)
|
|
|
|
{
|
|
|
|
struct ftrace_event_call *call = inode->i_private;
|
|
|
|
struct seq_file *m;
|
|
|
|
int ret;
|
|
|
|
|
|
|
|
ret = seq_open(file, &trace_format_seq_ops);
|
|
|
|
if (ret < 0)
|
|
|
|
return ret;
|
|
|
|
|
|
|
|
m = file->private_data;
|
|
|
|
m->private = call;
|
|
|
|
|
|
|
|
return 0;
|
2009-03-02 21:53:59 +03:00
|
|
|
}
|
|
|
|
|
2009-03-19 22:26:13 +03:00
|
|
|
static ssize_t
|
|
|
|
event_id_read(struct file *filp, char __user *ubuf, size_t cnt, loff_t *ppos)
|
|
|
|
{
|
|
|
|
struct ftrace_event_call *call = filp->private_data;
|
|
|
|
struct trace_seq *s;
|
|
|
|
int r;
|
|
|
|
|
|
|
|
if (*ppos)
|
|
|
|
return 0;
|
|
|
|
|
|
|
|
s = kmalloc(sizeof(*s), GFP_KERNEL);
|
|
|
|
if (!s)
|
|
|
|
return -ENOMEM;
|
|
|
|
|
|
|
|
trace_seq_init(s);
|
2010-04-23 18:38:03 +04:00
|
|
|
trace_seq_printf(s, "%d\n", call->event.type);
|
2009-03-19 22:26:13 +03:00
|
|
|
|
|
|
|
r = simple_read_from_buffer(ubuf, cnt, ppos,
|
|
|
|
s->buffer, s->len);
|
|
|
|
kfree(s);
|
|
|
|
return r;
|
|
|
|
}
|
|
|
|
|
2009-03-22 11:31:04 +03:00
|
|
|
static ssize_t
|
|
|
|
event_filter_read(struct file *filp, char __user *ubuf, size_t cnt,
|
|
|
|
loff_t *ppos)
|
|
|
|
{
|
|
|
|
struct ftrace_event_call *call = filp->private_data;
|
|
|
|
struct trace_seq *s;
|
|
|
|
int r;
|
|
|
|
|
|
|
|
if (*ppos)
|
|
|
|
return 0;
|
|
|
|
|
|
|
|
s = kmalloc(sizeof(*s), GFP_KERNEL);
|
|
|
|
if (!s)
|
|
|
|
return -ENOMEM;
|
|
|
|
|
|
|
|
trace_seq_init(s);
|
|
|
|
|
tracing/filters: a better event parser
Replace the current event parser hack with a better one. Filters are
no longer specified predicate by predicate, but all at once and can
use parens and any of the following operators:
numeric fields:
==, !=, <, <=, >, >=
string fields:
==, !=
predicates can be combined with the logical operators:
&&, ||
examples:
"common_preempt_count > 4" > filter
"((sig >= 10 && sig < 15) || sig == 17) && comm != bash" > filter
If there was an error, the erroneous string along with an error
message can be seen by looking at the filter e.g.:
((sig >= 10 && sig < 15) || dsig == 17) && comm != bash
^
parse_error: Field not found
Currently the caret for an error always appears at the beginning of
the filter; a real position should be used, but the error message
should be useful even without it.
To clear a filter, '0' can be written to the filter file.
Filters can also be set or cleared for a complete subsystem by writing
the same filter as would be written to an individual event to the
filter file at the root of the subsytem. Note however, that if any
event in the subsystem lacks a field specified in the filter being
set, the set will fail and all filters in the subsytem are
automatically cleared. This change from the previous version was made
because using only the fields that happen to exist for a given event
would most likely result in a meaningless filter.
Because the logical operators are now implemented as predicates, the
maximum number of predicates in a filter was increased from 8 to 16.
[ Impact: add new, extended trace-filter implementation ]
Signed-off-by: Tom Zanussi <tzanussi@gmail.com>
Acked-by: Steven Rostedt <rostedt@goodmis.org>
Cc: fweisbec@gmail.com
Cc: Li Zefan <lizf@cn.fujitsu.com>
LKML-Reference: <1240905899.6416.121.camel@tropicana>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
2009-04-28 12:04:59 +04:00
|
|
|
print_event_filter(call, s);
|
2009-03-24 10:14:31 +03:00
|
|
|
r = simple_read_from_buffer(ubuf, cnt, ppos, s->buffer, s->len);
|
2009-03-22 11:31:04 +03:00
|
|
|
|
|
|
|
kfree(s);
|
|
|
|
|
|
|
|
return r;
|
|
|
|
}
|
|
|
|
|
|
|
|
static ssize_t
|
|
|
|
event_filter_write(struct file *filp, const char __user *ubuf, size_t cnt,
|
|
|
|
loff_t *ppos)
|
|
|
|
{
|
|
|
|
struct ftrace_event_call *call = filp->private_data;
|
tracing/filters: a better event parser
Replace the current event parser hack with a better one. Filters are
no longer specified predicate by predicate, but all at once and can
use parens and any of the following operators:
numeric fields:
==, !=, <, <=, >, >=
string fields:
==, !=
predicates can be combined with the logical operators:
&&, ||
examples:
"common_preempt_count > 4" > filter
"((sig >= 10 && sig < 15) || sig == 17) && comm != bash" > filter
If there was an error, the erroneous string along with an error
message can be seen by looking at the filter e.g.:
((sig >= 10 && sig < 15) || dsig == 17) && comm != bash
^
parse_error: Field not found
Currently the caret for an error always appears at the beginning of
the filter; a real position should be used, but the error message
should be useful even without it.
To clear a filter, '0' can be written to the filter file.
Filters can also be set or cleared for a complete subsystem by writing
the same filter as would be written to an individual event to the
filter file at the root of the subsytem. Note however, that if any
event in the subsystem lacks a field specified in the filter being
set, the set will fail and all filters in the subsytem are
automatically cleared. This change from the previous version was made
because using only the fields that happen to exist for a given event
would most likely result in a meaningless filter.
Because the logical operators are now implemented as predicates, the
maximum number of predicates in a filter was increased from 8 to 16.
[ Impact: add new, extended trace-filter implementation ]
Signed-off-by: Tom Zanussi <tzanussi@gmail.com>
Acked-by: Steven Rostedt <rostedt@goodmis.org>
Cc: fweisbec@gmail.com
Cc: Li Zefan <lizf@cn.fujitsu.com>
LKML-Reference: <1240905899.6416.121.camel@tropicana>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
2009-04-28 12:04:59 +04:00
|
|
|
char *buf;
|
2009-03-22 11:31:04 +03:00
|
|
|
int err;
|
|
|
|
|
tracing/filters: a better event parser
Replace the current event parser hack with a better one. Filters are
no longer specified predicate by predicate, but all at once and can
use parens and any of the following operators:
numeric fields:
==, !=, <, <=, >, >=
string fields:
==, !=
predicates can be combined with the logical operators:
&&, ||
examples:
"common_preempt_count > 4" > filter
"((sig >= 10 && sig < 15) || sig == 17) && comm != bash" > filter
If there was an error, the erroneous string along with an error
message can be seen by looking at the filter e.g.:
((sig >= 10 && sig < 15) || dsig == 17) && comm != bash
^
parse_error: Field not found
Currently the caret for an error always appears at the beginning of
the filter; a real position should be used, but the error message
should be useful even without it.
To clear a filter, '0' can be written to the filter file.
Filters can also be set or cleared for a complete subsystem by writing
the same filter as would be written to an individual event to the
filter file at the root of the subsytem. Note however, that if any
event in the subsystem lacks a field specified in the filter being
set, the set will fail and all filters in the subsytem are
automatically cleared. This change from the previous version was made
because using only the fields that happen to exist for a given event
would most likely result in a meaningless filter.
Because the logical operators are now implemented as predicates, the
maximum number of predicates in a filter was increased from 8 to 16.
[ Impact: add new, extended trace-filter implementation ]
Signed-off-by: Tom Zanussi <tzanussi@gmail.com>
Acked-by: Steven Rostedt <rostedt@goodmis.org>
Cc: fweisbec@gmail.com
Cc: Li Zefan <lizf@cn.fujitsu.com>
LKML-Reference: <1240905899.6416.121.camel@tropicana>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
2009-04-28 12:04:59 +04:00
|
|
|
if (cnt >= PAGE_SIZE)
|
2009-03-22 11:31:04 +03:00
|
|
|
return -EINVAL;
|
|
|
|
|
tracing/filters: a better event parser
Replace the current event parser hack with a better one. Filters are
no longer specified predicate by predicate, but all at once and can
use parens and any of the following operators:
numeric fields:
==, !=, <, <=, >, >=
string fields:
==, !=
predicates can be combined with the logical operators:
&&, ||
examples:
"common_preempt_count > 4" > filter
"((sig >= 10 && sig < 15) || sig == 17) && comm != bash" > filter
If there was an error, the erroneous string along with an error
message can be seen by looking at the filter e.g.:
((sig >= 10 && sig < 15) || dsig == 17) && comm != bash
^
parse_error: Field not found
Currently the caret for an error always appears at the beginning of
the filter; a real position should be used, but the error message
should be useful even without it.
To clear a filter, '0' can be written to the filter file.
Filters can also be set or cleared for a complete subsystem by writing
the same filter as would be written to an individual event to the
filter file at the root of the subsytem. Note however, that if any
event in the subsystem lacks a field specified in the filter being
set, the set will fail and all filters in the subsytem are
automatically cleared. This change from the previous version was made
because using only the fields that happen to exist for a given event
would most likely result in a meaningless filter.
Because the logical operators are now implemented as predicates, the
maximum number of predicates in a filter was increased from 8 to 16.
[ Impact: add new, extended trace-filter implementation ]
Signed-off-by: Tom Zanussi <tzanussi@gmail.com>
Acked-by: Steven Rostedt <rostedt@goodmis.org>
Cc: fweisbec@gmail.com
Cc: Li Zefan <lizf@cn.fujitsu.com>
LKML-Reference: <1240905899.6416.121.camel@tropicana>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
2009-04-28 12:04:59 +04:00
|
|
|
buf = (char *)__get_free_page(GFP_TEMPORARY);
|
|
|
|
if (!buf)
|
2009-03-22 11:31:04 +03:00
|
|
|
return -ENOMEM;
|
|
|
|
|
tracing/filters: a better event parser
Replace the current event parser hack with a better one. Filters are
no longer specified predicate by predicate, but all at once and can
use parens and any of the following operators:
numeric fields:
==, !=, <, <=, >, >=
string fields:
==, !=
predicates can be combined with the logical operators:
&&, ||
examples:
"common_preempt_count > 4" > filter
"((sig >= 10 && sig < 15) || sig == 17) && comm != bash" > filter
If there was an error, the erroneous string along with an error
message can be seen by looking at the filter e.g.:
((sig >= 10 && sig < 15) || dsig == 17) && comm != bash
^
parse_error: Field not found
Currently the caret for an error always appears at the beginning of
the filter; a real position should be used, but the error message
should be useful even without it.
To clear a filter, '0' can be written to the filter file.
Filters can also be set or cleared for a complete subsystem by writing
the same filter as would be written to an individual event to the
filter file at the root of the subsytem. Note however, that if any
event in the subsystem lacks a field specified in the filter being
set, the set will fail and all filters in the subsytem are
automatically cleared. This change from the previous version was made
because using only the fields that happen to exist for a given event
would most likely result in a meaningless filter.
Because the logical operators are now implemented as predicates, the
maximum number of predicates in a filter was increased from 8 to 16.
[ Impact: add new, extended trace-filter implementation ]
Signed-off-by: Tom Zanussi <tzanussi@gmail.com>
Acked-by: Steven Rostedt <rostedt@goodmis.org>
Cc: fweisbec@gmail.com
Cc: Li Zefan <lizf@cn.fujitsu.com>
LKML-Reference: <1240905899.6416.121.camel@tropicana>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
2009-04-28 12:04:59 +04:00
|
|
|
if (copy_from_user(buf, ubuf, cnt)) {
|
|
|
|
free_page((unsigned long) buf);
|
|
|
|
return -EFAULT;
|
2009-03-22 11:31:04 +03:00
|
|
|
}
|
tracing/filters: a better event parser
Replace the current event parser hack with a better one. Filters are
no longer specified predicate by predicate, but all at once and can
use parens and any of the following operators:
numeric fields:
==, !=, <, <=, >, >=
string fields:
==, !=
predicates can be combined with the logical operators:
&&, ||
examples:
"common_preempt_count > 4" > filter
"((sig >= 10 && sig < 15) || sig == 17) && comm != bash" > filter
If there was an error, the erroneous string along with an error
message can be seen by looking at the filter e.g.:
((sig >= 10 && sig < 15) || dsig == 17) && comm != bash
^
parse_error: Field not found
Currently the caret for an error always appears at the beginning of
the filter; a real position should be used, but the error message
should be useful even without it.
To clear a filter, '0' can be written to the filter file.
Filters can also be set or cleared for a complete subsystem by writing
the same filter as would be written to an individual event to the
filter file at the root of the subsytem. Note however, that if any
event in the subsystem lacks a field specified in the filter being
set, the set will fail and all filters in the subsytem are
automatically cleared. This change from the previous version was made
because using only the fields that happen to exist for a given event
would most likely result in a meaningless filter.
Because the logical operators are now implemented as predicates, the
maximum number of predicates in a filter was increased from 8 to 16.
[ Impact: add new, extended trace-filter implementation ]
Signed-off-by: Tom Zanussi <tzanussi@gmail.com>
Acked-by: Steven Rostedt <rostedt@goodmis.org>
Cc: fweisbec@gmail.com
Cc: Li Zefan <lizf@cn.fujitsu.com>
LKML-Reference: <1240905899.6416.121.camel@tropicana>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
2009-04-28 12:04:59 +04:00
|
|
|
buf[cnt] = '\0';
|
2009-03-22 11:31:04 +03:00
|
|
|
|
tracing/filters: a better event parser
Replace the current event parser hack with a better one. Filters are
no longer specified predicate by predicate, but all at once and can
use parens and any of the following operators:
numeric fields:
==, !=, <, <=, >, >=
string fields:
==, !=
predicates can be combined with the logical operators:
&&, ||
examples:
"common_preempt_count > 4" > filter
"((sig >= 10 && sig < 15) || sig == 17) && comm != bash" > filter
If there was an error, the erroneous string along with an error
message can be seen by looking at the filter e.g.:
((sig >= 10 && sig < 15) || dsig == 17) && comm != bash
^
parse_error: Field not found
Currently the caret for an error always appears at the beginning of
the filter; a real position should be used, but the error message
should be useful even without it.
To clear a filter, '0' can be written to the filter file.
Filters can also be set or cleared for a complete subsystem by writing
the same filter as would be written to an individual event to the
filter file at the root of the subsytem. Note however, that if any
event in the subsystem lacks a field specified in the filter being
set, the set will fail and all filters in the subsytem are
automatically cleared. This change from the previous version was made
because using only the fields that happen to exist for a given event
would most likely result in a meaningless filter.
Because the logical operators are now implemented as predicates, the
maximum number of predicates in a filter was increased from 8 to 16.
[ Impact: add new, extended trace-filter implementation ]
Signed-off-by: Tom Zanussi <tzanussi@gmail.com>
Acked-by: Steven Rostedt <rostedt@goodmis.org>
Cc: fweisbec@gmail.com
Cc: Li Zefan <lizf@cn.fujitsu.com>
LKML-Reference: <1240905899.6416.121.camel@tropicana>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
2009-04-28 12:04:59 +04:00
|
|
|
err = apply_event_filter(call, buf);
|
|
|
|
free_page((unsigned long) buf);
|
|
|
|
if (err < 0)
|
2009-04-11 11:55:28 +04:00
|
|
|
return err;
|
tracing/filters: allow on-the-fly filter switching
This patch allows event filters to be safely removed or switched
on-the-fly while avoiding the use of rcu or the suspension of tracing of
previous versions.
It does it by adding a new filter_pred_none() predicate function which
does nothing and by never deallocating either the predicates or any of
the filter_pred members used in matching; the predicate lists are
allocated and initialized during ftrace_event_calls initialization.
Whenever a filter is removed or replaced, the filter_pred_* functions
currently in use by the affected ftrace_event_call are immediately
switched over to to the filter_pred_none() function, while the rest of
the filter_pred members are left intact, allowing any currently
executing filter_pred_* functions to finish up, using the values they're
currently using.
In the case of filter replacement, the new predicate values are copied
into the old predicates after the above step, and the filter_pred_none()
functions are replaced by the filter_pred_* functions for the new
filter. In this case, it is possible though very unlikely that a
previous filter_pred_* is still running even after the
filter_pred_none() switch and the switch to the new filter_pred_*. In
that case, however, because nothing has been deallocated in the
filter_pred, the worst that can happen is that the old filter_pred_*
function sees the new values and as a result produces either a false
positive or a false negative, depending on the values it finds.
So one downside to this method is that rarely, it can produce a bad
match during the filter switch, but it should be possible to live with
that, IMHO.
The other downside is that at least in this patch the predicate lists
are always pre-allocated, taking up memory from the start. They could
probably be allocated on first-use, and de-allocated when tracing is
completely stopped - if this patch makes sense, I could create another
one to do that later on.
Oh, and it also places a restriction on the size of __arrays in events,
currently set to 128, since they can't be larger than the now embedded
str_val arrays in the filter_pred struct.
Signed-off-by: Tom Zanussi <tzanussi@gmail.com>
Acked-by: Frederic Weisbecker <fweisbec@gmail.com>
Cc: Steven Rostedt <rostedt@goodmis.org>
Cc: paulmck@linux.vnet.ibm.com
LKML-Reference: <1239610670.6660.49.camel@tropicana>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
2009-04-13 12:17:50 +04:00
|
|
|
|
2009-03-22 11:31:04 +03:00
|
|
|
*ppos += cnt;
|
|
|
|
|
|
|
|
return cnt;
|
|
|
|
}
|
|
|
|
|
2009-03-22 11:31:17 +03:00
|
|
|
static ssize_t
|
|
|
|
subsystem_filter_read(struct file *filp, char __user *ubuf, size_t cnt,
|
|
|
|
loff_t *ppos)
|
|
|
|
{
|
|
|
|
struct event_subsystem *system = filp->private_data;
|
|
|
|
struct trace_seq *s;
|
|
|
|
int r;
|
|
|
|
|
|
|
|
if (*ppos)
|
|
|
|
return 0;
|
|
|
|
|
|
|
|
s = kmalloc(sizeof(*s), GFP_KERNEL);
|
|
|
|
if (!s)
|
|
|
|
return -ENOMEM;
|
|
|
|
|
|
|
|
trace_seq_init(s);
|
|
|
|
|
tracing/filters: a better event parser
Replace the current event parser hack with a better one. Filters are
no longer specified predicate by predicate, but all at once and can
use parens and any of the following operators:
numeric fields:
==, !=, <, <=, >, >=
string fields:
==, !=
predicates can be combined with the logical operators:
&&, ||
examples:
"common_preempt_count > 4" > filter
"((sig >= 10 && sig < 15) || sig == 17) && comm != bash" > filter
If there was an error, the erroneous string along with an error
message can be seen by looking at the filter e.g.:
((sig >= 10 && sig < 15) || dsig == 17) && comm != bash
^
parse_error: Field not found
Currently the caret for an error always appears at the beginning of
the filter; a real position should be used, but the error message
should be useful even without it.
To clear a filter, '0' can be written to the filter file.
Filters can also be set or cleared for a complete subsystem by writing
the same filter as would be written to an individual event to the
filter file at the root of the subsytem. Note however, that if any
event in the subsystem lacks a field specified in the filter being
set, the set will fail and all filters in the subsytem are
automatically cleared. This change from the previous version was made
because using only the fields that happen to exist for a given event
would most likely result in a meaningless filter.
Because the logical operators are now implemented as predicates, the
maximum number of predicates in a filter was increased from 8 to 16.
[ Impact: add new, extended trace-filter implementation ]
Signed-off-by: Tom Zanussi <tzanussi@gmail.com>
Acked-by: Steven Rostedt <rostedt@goodmis.org>
Cc: fweisbec@gmail.com
Cc: Li Zefan <lizf@cn.fujitsu.com>
LKML-Reference: <1240905899.6416.121.camel@tropicana>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
2009-04-28 12:04:59 +04:00
|
|
|
print_subsystem_event_filter(system, s);
|
2009-03-24 10:14:31 +03:00
|
|
|
r = simple_read_from_buffer(ubuf, cnt, ppos, s->buffer, s->len);
|
2009-03-22 11:31:17 +03:00
|
|
|
|
|
|
|
kfree(s);
|
|
|
|
|
|
|
|
return r;
|
|
|
|
}
|
|
|
|
|
|
|
|
static ssize_t
|
|
|
|
subsystem_filter_write(struct file *filp, const char __user *ubuf, size_t cnt,
|
|
|
|
loff_t *ppos)
|
|
|
|
{
|
|
|
|
struct event_subsystem *system = filp->private_data;
|
tracing/filters: a better event parser
Replace the current event parser hack with a better one. Filters are
no longer specified predicate by predicate, but all at once and can
use parens and any of the following operators:
numeric fields:
==, !=, <, <=, >, >=
string fields:
==, !=
predicates can be combined with the logical operators:
&&, ||
examples:
"common_preempt_count > 4" > filter
"((sig >= 10 && sig < 15) || sig == 17) && comm != bash" > filter
If there was an error, the erroneous string along with an error
message can be seen by looking at the filter e.g.:
((sig >= 10 && sig < 15) || dsig == 17) && comm != bash
^
parse_error: Field not found
Currently the caret for an error always appears at the beginning of
the filter; a real position should be used, but the error message
should be useful even without it.
To clear a filter, '0' can be written to the filter file.
Filters can also be set or cleared for a complete subsystem by writing
the same filter as would be written to an individual event to the
filter file at the root of the subsytem. Note however, that if any
event in the subsystem lacks a field specified in the filter being
set, the set will fail and all filters in the subsytem are
automatically cleared. This change from the previous version was made
because using only the fields that happen to exist for a given event
would most likely result in a meaningless filter.
Because the logical operators are now implemented as predicates, the
maximum number of predicates in a filter was increased from 8 to 16.
[ Impact: add new, extended trace-filter implementation ]
Signed-off-by: Tom Zanussi <tzanussi@gmail.com>
Acked-by: Steven Rostedt <rostedt@goodmis.org>
Cc: fweisbec@gmail.com
Cc: Li Zefan <lizf@cn.fujitsu.com>
LKML-Reference: <1240905899.6416.121.camel@tropicana>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
2009-04-28 12:04:59 +04:00
|
|
|
char *buf;
|
2009-03-22 11:31:17 +03:00
|
|
|
int err;
|
|
|
|
|
tracing/filters: a better event parser
Replace the current event parser hack with a better one. Filters are
no longer specified predicate by predicate, but all at once and can
use parens and any of the following operators:
numeric fields:
==, !=, <, <=, >, >=
string fields:
==, !=
predicates can be combined with the logical operators:
&&, ||
examples:
"common_preempt_count > 4" > filter
"((sig >= 10 && sig < 15) || sig == 17) && comm != bash" > filter
If there was an error, the erroneous string along with an error
message can be seen by looking at the filter e.g.:
((sig >= 10 && sig < 15) || dsig == 17) && comm != bash
^
parse_error: Field not found
Currently the caret for an error always appears at the beginning of
the filter; a real position should be used, but the error message
should be useful even without it.
To clear a filter, '0' can be written to the filter file.
Filters can also be set or cleared for a complete subsystem by writing
the same filter as would be written to an individual event to the
filter file at the root of the subsytem. Note however, that if any
event in the subsystem lacks a field specified in the filter being
set, the set will fail and all filters in the subsytem are
automatically cleared. This change from the previous version was made
because using only the fields that happen to exist for a given event
would most likely result in a meaningless filter.
Because the logical operators are now implemented as predicates, the
maximum number of predicates in a filter was increased from 8 to 16.
[ Impact: add new, extended trace-filter implementation ]
Signed-off-by: Tom Zanussi <tzanussi@gmail.com>
Acked-by: Steven Rostedt <rostedt@goodmis.org>
Cc: fweisbec@gmail.com
Cc: Li Zefan <lizf@cn.fujitsu.com>
LKML-Reference: <1240905899.6416.121.camel@tropicana>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
2009-04-28 12:04:59 +04:00
|
|
|
if (cnt >= PAGE_SIZE)
|
2009-03-22 11:31:17 +03:00
|
|
|
return -EINVAL;
|
|
|
|
|
tracing/filters: a better event parser
Replace the current event parser hack with a better one. Filters are
no longer specified predicate by predicate, but all at once and can
use parens and any of the following operators:
numeric fields:
==, !=, <, <=, >, >=
string fields:
==, !=
predicates can be combined with the logical operators:
&&, ||
examples:
"common_preempt_count > 4" > filter
"((sig >= 10 && sig < 15) || sig == 17) && comm != bash" > filter
If there was an error, the erroneous string along with an error
message can be seen by looking at the filter e.g.:
((sig >= 10 && sig < 15) || dsig == 17) && comm != bash
^
parse_error: Field not found
Currently the caret for an error always appears at the beginning of
the filter; a real position should be used, but the error message
should be useful even without it.
To clear a filter, '0' can be written to the filter file.
Filters can also be set or cleared for a complete subsystem by writing
the same filter as would be written to an individual event to the
filter file at the root of the subsytem. Note however, that if any
event in the subsystem lacks a field specified in the filter being
set, the set will fail and all filters in the subsytem are
automatically cleared. This change from the previous version was made
because using only the fields that happen to exist for a given event
would most likely result in a meaningless filter.
Because the logical operators are now implemented as predicates, the
maximum number of predicates in a filter was increased from 8 to 16.
[ Impact: add new, extended trace-filter implementation ]
Signed-off-by: Tom Zanussi <tzanussi@gmail.com>
Acked-by: Steven Rostedt <rostedt@goodmis.org>
Cc: fweisbec@gmail.com
Cc: Li Zefan <lizf@cn.fujitsu.com>
LKML-Reference: <1240905899.6416.121.camel@tropicana>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
2009-04-28 12:04:59 +04:00
|
|
|
buf = (char *)__get_free_page(GFP_TEMPORARY);
|
|
|
|
if (!buf)
|
2009-03-22 11:31:17 +03:00
|
|
|
return -ENOMEM;
|
|
|
|
|
tracing/filters: a better event parser
Replace the current event parser hack with a better one. Filters are
no longer specified predicate by predicate, but all at once and can
use parens and any of the following operators:
numeric fields:
==, !=, <, <=, >, >=
string fields:
==, !=
predicates can be combined with the logical operators:
&&, ||
examples:
"common_preempt_count > 4" > filter
"((sig >= 10 && sig < 15) || sig == 17) && comm != bash" > filter
If there was an error, the erroneous string along with an error
message can be seen by looking at the filter e.g.:
((sig >= 10 && sig < 15) || dsig == 17) && comm != bash
^
parse_error: Field not found
Currently the caret for an error always appears at the beginning of
the filter; a real position should be used, but the error message
should be useful even without it.
To clear a filter, '0' can be written to the filter file.
Filters can also be set or cleared for a complete subsystem by writing
the same filter as would be written to an individual event to the
filter file at the root of the subsytem. Note however, that if any
event in the subsystem lacks a field specified in the filter being
set, the set will fail and all filters in the subsytem are
automatically cleared. This change from the previous version was made
because using only the fields that happen to exist for a given event
would most likely result in a meaningless filter.
Because the logical operators are now implemented as predicates, the
maximum number of predicates in a filter was increased from 8 to 16.
[ Impact: add new, extended trace-filter implementation ]
Signed-off-by: Tom Zanussi <tzanussi@gmail.com>
Acked-by: Steven Rostedt <rostedt@goodmis.org>
Cc: fweisbec@gmail.com
Cc: Li Zefan <lizf@cn.fujitsu.com>
LKML-Reference: <1240905899.6416.121.camel@tropicana>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
2009-04-28 12:04:59 +04:00
|
|
|
if (copy_from_user(buf, ubuf, cnt)) {
|
|
|
|
free_page((unsigned long) buf);
|
|
|
|
return -EFAULT;
|
2009-03-22 11:31:17 +03:00
|
|
|
}
|
tracing/filters: a better event parser
Replace the current event parser hack with a better one. Filters are
no longer specified predicate by predicate, but all at once and can
use parens and any of the following operators:
numeric fields:
==, !=, <, <=, >, >=
string fields:
==, !=
predicates can be combined with the logical operators:
&&, ||
examples:
"common_preempt_count > 4" > filter
"((sig >= 10 && sig < 15) || sig == 17) && comm != bash" > filter
If there was an error, the erroneous string along with an error
message can be seen by looking at the filter e.g.:
((sig >= 10 && sig < 15) || dsig == 17) && comm != bash
^
parse_error: Field not found
Currently the caret for an error always appears at the beginning of
the filter; a real position should be used, but the error message
should be useful even without it.
To clear a filter, '0' can be written to the filter file.
Filters can also be set or cleared for a complete subsystem by writing
the same filter as would be written to an individual event to the
filter file at the root of the subsytem. Note however, that if any
event in the subsystem lacks a field specified in the filter being
set, the set will fail and all filters in the subsytem are
automatically cleared. This change from the previous version was made
because using only the fields that happen to exist for a given event
would most likely result in a meaningless filter.
Because the logical operators are now implemented as predicates, the
maximum number of predicates in a filter was increased from 8 to 16.
[ Impact: add new, extended trace-filter implementation ]
Signed-off-by: Tom Zanussi <tzanussi@gmail.com>
Acked-by: Steven Rostedt <rostedt@goodmis.org>
Cc: fweisbec@gmail.com
Cc: Li Zefan <lizf@cn.fujitsu.com>
LKML-Reference: <1240905899.6416.121.camel@tropicana>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
2009-04-28 12:04:59 +04:00
|
|
|
buf[cnt] = '\0';
|
2009-03-22 11:31:17 +03:00
|
|
|
|
tracing/filters: a better event parser
Replace the current event parser hack with a better one. Filters are
no longer specified predicate by predicate, but all at once and can
use parens and any of the following operators:
numeric fields:
==, !=, <, <=, >, >=
string fields:
==, !=
predicates can be combined with the logical operators:
&&, ||
examples:
"common_preempt_count > 4" > filter
"((sig >= 10 && sig < 15) || sig == 17) && comm != bash" > filter
If there was an error, the erroneous string along with an error
message can be seen by looking at the filter e.g.:
((sig >= 10 && sig < 15) || dsig == 17) && comm != bash
^
parse_error: Field not found
Currently the caret for an error always appears at the beginning of
the filter; a real position should be used, but the error message
should be useful even without it.
To clear a filter, '0' can be written to the filter file.
Filters can also be set or cleared for a complete subsystem by writing
the same filter as would be written to an individual event to the
filter file at the root of the subsytem. Note however, that if any
event in the subsystem lacks a field specified in the filter being
set, the set will fail and all filters in the subsytem are
automatically cleared. This change from the previous version was made
because using only the fields that happen to exist for a given event
would most likely result in a meaningless filter.
Because the logical operators are now implemented as predicates, the
maximum number of predicates in a filter was increased from 8 to 16.
[ Impact: add new, extended trace-filter implementation ]
Signed-off-by: Tom Zanussi <tzanussi@gmail.com>
Acked-by: Steven Rostedt <rostedt@goodmis.org>
Cc: fweisbec@gmail.com
Cc: Li Zefan <lizf@cn.fujitsu.com>
LKML-Reference: <1240905899.6416.121.camel@tropicana>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
2009-04-28 12:04:59 +04:00
|
|
|
err = apply_subsystem_event_filter(system, buf);
|
|
|
|
free_page((unsigned long) buf);
|
|
|
|
if (err < 0)
|
2009-04-11 11:55:28 +04:00
|
|
|
return err;
|
2009-03-22 11:31:17 +03:00
|
|
|
|
|
|
|
*ppos += cnt;
|
|
|
|
|
|
|
|
return cnt;
|
|
|
|
}
|
|
|
|
|
2009-04-16 00:53:47 +04:00
|
|
|
static ssize_t
|
|
|
|
show_header(struct file *filp, char __user *ubuf, size_t cnt, loff_t *ppos)
|
|
|
|
{
|
|
|
|
int (*func)(struct trace_seq *s) = filp->private_data;
|
|
|
|
struct trace_seq *s;
|
|
|
|
int r;
|
|
|
|
|
|
|
|
if (*ppos)
|
|
|
|
return 0;
|
|
|
|
|
|
|
|
s = kmalloc(sizeof(*s), GFP_KERNEL);
|
|
|
|
if (!s)
|
|
|
|
return -ENOMEM;
|
|
|
|
|
|
|
|
trace_seq_init(s);
|
|
|
|
|
|
|
|
func(s);
|
|
|
|
r = simple_read_from_buffer(ubuf, cnt, ppos, s->buffer, s->len);
|
|
|
|
|
|
|
|
kfree(s);
|
|
|
|
|
|
|
|
return r;
|
|
|
|
}
|
|
|
|
|
2009-02-24 18:21:36 +03:00
|
|
|
static const struct seq_operations show_event_seq_ops = {
|
|
|
|
.start = t_start,
|
|
|
|
.next = t_next,
|
|
|
|
.show = t_show,
|
|
|
|
.stop = t_stop,
|
|
|
|
};
|
|
|
|
|
|
|
|
static const struct seq_operations show_set_event_seq_ops = {
|
|
|
|
.start = s_start,
|
|
|
|
.next = s_next,
|
|
|
|
.show = t_show,
|
|
|
|
.stop = t_stop,
|
|
|
|
};
|
|
|
|
|
2009-03-10 19:04:02 +03:00
|
|
|
static const struct file_operations ftrace_avail_fops = {
|
|
|
|
.open = ftrace_event_seq_open,
|
|
|
|
.read = seq_read,
|
|
|
|
.llseek = seq_lseek,
|
|
|
|
.release = seq_release,
|
|
|
|
};
|
|
|
|
|
2009-02-24 18:21:36 +03:00
|
|
|
static const struct file_operations ftrace_set_event_fops = {
|
|
|
|
.open = ftrace_event_seq_open,
|
|
|
|
.read = seq_read,
|
|
|
|
.write = ftrace_event_write,
|
|
|
|
.llseek = seq_lseek,
|
|
|
|
.release = seq_release,
|
|
|
|
};
|
|
|
|
|
2009-02-24 22:15:08 +03:00
|
|
|
static const struct file_operations ftrace_enable_fops = {
|
|
|
|
.open = tracing_open_generic,
|
|
|
|
.read = event_enable_read,
|
|
|
|
.write = event_enable_write,
|
llseek: automatically add .llseek fop
All file_operations should get a .llseek operation so we can make
nonseekable_open the default for future file operations without a
.llseek pointer.
The three cases that we can automatically detect are no_llseek, seq_lseek
and default_llseek. For cases where we can we can automatically prove that
the file offset is always ignored, we use noop_llseek, which maintains
the current behavior of not returning an error from a seek.
New drivers should normally not use noop_llseek but instead use no_llseek
and call nonseekable_open at open time. Existing drivers can be converted
to do the same when the maintainer knows for certain that no user code
relies on calling seek on the device file.
The generated code is often incorrectly indented and right now contains
comments that clarify for each added line why a specific variant was
chosen. In the version that gets submitted upstream, the comments will
be gone and I will manually fix the indentation, because there does not
seem to be a way to do that using coccinelle.
Some amount of new code is currently sitting in linux-next that should get
the same modifications, which I will do at the end of the merge window.
Many thanks to Julia Lawall for helping me learn to write a semantic
patch that does all this.
===== begin semantic patch =====
// This adds an llseek= method to all file operations,
// as a preparation for making no_llseek the default.
//
// The rules are
// - use no_llseek explicitly if we do nonseekable_open
// - use seq_lseek for sequential files
// - use default_llseek if we know we access f_pos
// - use noop_llseek if we know we don't access f_pos,
// but we still want to allow users to call lseek
//
@ open1 exists @
identifier nested_open;
@@
nested_open(...)
{
<+...
nonseekable_open(...)
...+>
}
@ open exists@
identifier open_f;
identifier i, f;
identifier open1.nested_open;
@@
int open_f(struct inode *i, struct file *f)
{
<+...
(
nonseekable_open(...)
|
nested_open(...)
)
...+>
}
@ read disable optional_qualifier exists @
identifier read_f;
identifier f, p, s, off;
type ssize_t, size_t, loff_t;
expression E;
identifier func;
@@
ssize_t read_f(struct file *f, char *p, size_t s, loff_t *off)
{
<+...
(
*off = E
|
*off += E
|
func(..., off, ...)
|
E = *off
)
...+>
}
@ read_no_fpos disable optional_qualifier exists @
identifier read_f;
identifier f, p, s, off;
type ssize_t, size_t, loff_t;
@@
ssize_t read_f(struct file *f, char *p, size_t s, loff_t *off)
{
... when != off
}
@ write @
identifier write_f;
identifier f, p, s, off;
type ssize_t, size_t, loff_t;
expression E;
identifier func;
@@
ssize_t write_f(struct file *f, const char *p, size_t s, loff_t *off)
{
<+...
(
*off = E
|
*off += E
|
func(..., off, ...)
|
E = *off
)
...+>
}
@ write_no_fpos @
identifier write_f;
identifier f, p, s, off;
type ssize_t, size_t, loff_t;
@@
ssize_t write_f(struct file *f, const char *p, size_t s, loff_t *off)
{
... when != off
}
@ fops0 @
identifier fops;
@@
struct file_operations fops = {
...
};
@ has_llseek depends on fops0 @
identifier fops0.fops;
identifier llseek_f;
@@
struct file_operations fops = {
...
.llseek = llseek_f,
...
};
@ has_read depends on fops0 @
identifier fops0.fops;
identifier read_f;
@@
struct file_operations fops = {
...
.read = read_f,
...
};
@ has_write depends on fops0 @
identifier fops0.fops;
identifier write_f;
@@
struct file_operations fops = {
...
.write = write_f,
...
};
@ has_open depends on fops0 @
identifier fops0.fops;
identifier open_f;
@@
struct file_operations fops = {
...
.open = open_f,
...
};
// use no_llseek if we call nonseekable_open
////////////////////////////////////////////
@ nonseekable1 depends on !has_llseek && has_open @
identifier fops0.fops;
identifier nso ~= "nonseekable_open";
@@
struct file_operations fops = {
... .open = nso, ...
+.llseek = no_llseek, /* nonseekable */
};
@ nonseekable2 depends on !has_llseek @
identifier fops0.fops;
identifier open.open_f;
@@
struct file_operations fops = {
... .open = open_f, ...
+.llseek = no_llseek, /* open uses nonseekable */
};
// use seq_lseek for sequential files
/////////////////////////////////////
@ seq depends on !has_llseek @
identifier fops0.fops;
identifier sr ~= "seq_read";
@@
struct file_operations fops = {
... .read = sr, ...
+.llseek = seq_lseek, /* we have seq_read */
};
// use default_llseek if there is a readdir
///////////////////////////////////////////
@ fops1 depends on !has_llseek && !nonseekable1 && !nonseekable2 && !seq @
identifier fops0.fops;
identifier readdir_e;
@@
// any other fop is used that changes pos
struct file_operations fops = {
... .readdir = readdir_e, ...
+.llseek = default_llseek, /* readdir is present */
};
// use default_llseek if at least one of read/write touches f_pos
/////////////////////////////////////////////////////////////////
@ fops2 depends on !fops1 && !has_llseek && !nonseekable1 && !nonseekable2 && !seq @
identifier fops0.fops;
identifier read.read_f;
@@
// read fops use offset
struct file_operations fops = {
... .read = read_f, ...
+.llseek = default_llseek, /* read accesses f_pos */
};
@ fops3 depends on !fops1 && !fops2 && !has_llseek && !nonseekable1 && !nonseekable2 && !seq @
identifier fops0.fops;
identifier write.write_f;
@@
// write fops use offset
struct file_operations fops = {
... .write = write_f, ...
+ .llseek = default_llseek, /* write accesses f_pos */
};
// Use noop_llseek if neither read nor write accesses f_pos
///////////////////////////////////////////////////////////
@ fops4 depends on !fops1 && !fops2 && !fops3 && !has_llseek && !nonseekable1 && !nonseekable2 && !seq @
identifier fops0.fops;
identifier read_no_fpos.read_f;
identifier write_no_fpos.write_f;
@@
// write fops use offset
struct file_operations fops = {
...
.write = write_f,
.read = read_f,
...
+.llseek = noop_llseek, /* read and write both use no f_pos */
};
@ depends on has_write && !has_read && !fops1 && !fops2 && !has_llseek && !nonseekable1 && !nonseekable2 && !seq @
identifier fops0.fops;
identifier write_no_fpos.write_f;
@@
struct file_operations fops = {
... .write = write_f, ...
+.llseek = noop_llseek, /* write uses no f_pos */
};
@ depends on has_read && !has_write && !fops1 && !fops2 && !has_llseek && !nonseekable1 && !nonseekable2 && !seq @
identifier fops0.fops;
identifier read_no_fpos.read_f;
@@
struct file_operations fops = {
... .read = read_f, ...
+.llseek = noop_llseek, /* read uses no f_pos */
};
@ depends on !has_read && !has_write && !fops1 && !fops2 && !has_llseek && !nonseekable1 && !nonseekable2 && !seq @
identifier fops0.fops;
@@
struct file_operations fops = {
...
+.llseek = noop_llseek, /* no read or write fn */
};
===== End semantic patch =====
Signed-off-by: Arnd Bergmann <arnd@arndb.de>
Cc: Julia Lawall <julia@diku.dk>
Cc: Christoph Hellwig <hch@infradead.org>
2010-08-15 20:52:59 +04:00
|
|
|
.llseek = default_llseek,
|
2009-02-24 22:15:08 +03:00
|
|
|
};
|
|
|
|
|
2009-03-02 21:53:59 +03:00
|
|
|
static const struct file_operations ftrace_event_format_fops = {
|
2010-06-03 23:21:34 +04:00
|
|
|
.open = trace_format_open,
|
|
|
|
.read = seq_read,
|
|
|
|
.llseek = seq_lseek,
|
|
|
|
.release = seq_release,
|
2009-03-02 21:53:59 +03:00
|
|
|
};
|
|
|
|
|
2009-03-19 22:26:13 +03:00
|
|
|
static const struct file_operations ftrace_event_id_fops = {
|
|
|
|
.open = tracing_open_generic,
|
|
|
|
.read = event_id_read,
|
llseek: automatically add .llseek fop
All file_operations should get a .llseek operation so we can make
nonseekable_open the default for future file operations without a
.llseek pointer.
The three cases that we can automatically detect are no_llseek, seq_lseek
and default_llseek. For cases where we can we can automatically prove that
the file offset is always ignored, we use noop_llseek, which maintains
the current behavior of not returning an error from a seek.
New drivers should normally not use noop_llseek but instead use no_llseek
and call nonseekable_open at open time. Existing drivers can be converted
to do the same when the maintainer knows for certain that no user code
relies on calling seek on the device file.
The generated code is often incorrectly indented and right now contains
comments that clarify for each added line why a specific variant was
chosen. In the version that gets submitted upstream, the comments will
be gone and I will manually fix the indentation, because there does not
seem to be a way to do that using coccinelle.
Some amount of new code is currently sitting in linux-next that should get
the same modifications, which I will do at the end of the merge window.
Many thanks to Julia Lawall for helping me learn to write a semantic
patch that does all this.
===== begin semantic patch =====
// This adds an llseek= method to all file operations,
// as a preparation for making no_llseek the default.
//
// The rules are
// - use no_llseek explicitly if we do nonseekable_open
// - use seq_lseek for sequential files
// - use default_llseek if we know we access f_pos
// - use noop_llseek if we know we don't access f_pos,
// but we still want to allow users to call lseek
//
@ open1 exists @
identifier nested_open;
@@
nested_open(...)
{
<+...
nonseekable_open(...)
...+>
}
@ open exists@
identifier open_f;
identifier i, f;
identifier open1.nested_open;
@@
int open_f(struct inode *i, struct file *f)
{
<+...
(
nonseekable_open(...)
|
nested_open(...)
)
...+>
}
@ read disable optional_qualifier exists @
identifier read_f;
identifier f, p, s, off;
type ssize_t, size_t, loff_t;
expression E;
identifier func;
@@
ssize_t read_f(struct file *f, char *p, size_t s, loff_t *off)
{
<+...
(
*off = E
|
*off += E
|
func(..., off, ...)
|
E = *off
)
...+>
}
@ read_no_fpos disable optional_qualifier exists @
identifier read_f;
identifier f, p, s, off;
type ssize_t, size_t, loff_t;
@@
ssize_t read_f(struct file *f, char *p, size_t s, loff_t *off)
{
... when != off
}
@ write @
identifier write_f;
identifier f, p, s, off;
type ssize_t, size_t, loff_t;
expression E;
identifier func;
@@
ssize_t write_f(struct file *f, const char *p, size_t s, loff_t *off)
{
<+...
(
*off = E
|
*off += E
|
func(..., off, ...)
|
E = *off
)
...+>
}
@ write_no_fpos @
identifier write_f;
identifier f, p, s, off;
type ssize_t, size_t, loff_t;
@@
ssize_t write_f(struct file *f, const char *p, size_t s, loff_t *off)
{
... when != off
}
@ fops0 @
identifier fops;
@@
struct file_operations fops = {
...
};
@ has_llseek depends on fops0 @
identifier fops0.fops;
identifier llseek_f;
@@
struct file_operations fops = {
...
.llseek = llseek_f,
...
};
@ has_read depends on fops0 @
identifier fops0.fops;
identifier read_f;
@@
struct file_operations fops = {
...
.read = read_f,
...
};
@ has_write depends on fops0 @
identifier fops0.fops;
identifier write_f;
@@
struct file_operations fops = {
...
.write = write_f,
...
};
@ has_open depends on fops0 @
identifier fops0.fops;
identifier open_f;
@@
struct file_operations fops = {
...
.open = open_f,
...
};
// use no_llseek if we call nonseekable_open
////////////////////////////////////////////
@ nonseekable1 depends on !has_llseek && has_open @
identifier fops0.fops;
identifier nso ~= "nonseekable_open";
@@
struct file_operations fops = {
... .open = nso, ...
+.llseek = no_llseek, /* nonseekable */
};
@ nonseekable2 depends on !has_llseek @
identifier fops0.fops;
identifier open.open_f;
@@
struct file_operations fops = {
... .open = open_f, ...
+.llseek = no_llseek, /* open uses nonseekable */
};
// use seq_lseek for sequential files
/////////////////////////////////////
@ seq depends on !has_llseek @
identifier fops0.fops;
identifier sr ~= "seq_read";
@@
struct file_operations fops = {
... .read = sr, ...
+.llseek = seq_lseek, /* we have seq_read */
};
// use default_llseek if there is a readdir
///////////////////////////////////////////
@ fops1 depends on !has_llseek && !nonseekable1 && !nonseekable2 && !seq @
identifier fops0.fops;
identifier readdir_e;
@@
// any other fop is used that changes pos
struct file_operations fops = {
... .readdir = readdir_e, ...
+.llseek = default_llseek, /* readdir is present */
};
// use default_llseek if at least one of read/write touches f_pos
/////////////////////////////////////////////////////////////////
@ fops2 depends on !fops1 && !has_llseek && !nonseekable1 && !nonseekable2 && !seq @
identifier fops0.fops;
identifier read.read_f;
@@
// read fops use offset
struct file_operations fops = {
... .read = read_f, ...
+.llseek = default_llseek, /* read accesses f_pos */
};
@ fops3 depends on !fops1 && !fops2 && !has_llseek && !nonseekable1 && !nonseekable2 && !seq @
identifier fops0.fops;
identifier write.write_f;
@@
// write fops use offset
struct file_operations fops = {
... .write = write_f, ...
+ .llseek = default_llseek, /* write accesses f_pos */
};
// Use noop_llseek if neither read nor write accesses f_pos
///////////////////////////////////////////////////////////
@ fops4 depends on !fops1 && !fops2 && !fops3 && !has_llseek && !nonseekable1 && !nonseekable2 && !seq @
identifier fops0.fops;
identifier read_no_fpos.read_f;
identifier write_no_fpos.write_f;
@@
// write fops use offset
struct file_operations fops = {
...
.write = write_f,
.read = read_f,
...
+.llseek = noop_llseek, /* read and write both use no f_pos */
};
@ depends on has_write && !has_read && !fops1 && !fops2 && !has_llseek && !nonseekable1 && !nonseekable2 && !seq @
identifier fops0.fops;
identifier write_no_fpos.write_f;
@@
struct file_operations fops = {
... .write = write_f, ...
+.llseek = noop_llseek, /* write uses no f_pos */
};
@ depends on has_read && !has_write && !fops1 && !fops2 && !has_llseek && !nonseekable1 && !nonseekable2 && !seq @
identifier fops0.fops;
identifier read_no_fpos.read_f;
@@
struct file_operations fops = {
... .read = read_f, ...
+.llseek = noop_llseek, /* read uses no f_pos */
};
@ depends on !has_read && !has_write && !fops1 && !fops2 && !has_llseek && !nonseekable1 && !nonseekable2 && !seq @
identifier fops0.fops;
@@
struct file_operations fops = {
...
+.llseek = noop_llseek, /* no read or write fn */
};
===== End semantic patch =====
Signed-off-by: Arnd Bergmann <arnd@arndb.de>
Cc: Julia Lawall <julia@diku.dk>
Cc: Christoph Hellwig <hch@infradead.org>
2010-08-15 20:52:59 +04:00
|
|
|
.llseek = default_llseek,
|
2009-03-19 22:26:13 +03:00
|
|
|
};
|
|
|
|
|
2009-03-22 11:31:04 +03:00
|
|
|
static const struct file_operations ftrace_event_filter_fops = {
|
|
|
|
.open = tracing_open_generic,
|
|
|
|
.read = event_filter_read,
|
|
|
|
.write = event_filter_write,
|
llseek: automatically add .llseek fop
All file_operations should get a .llseek operation so we can make
nonseekable_open the default for future file operations without a
.llseek pointer.
The three cases that we can automatically detect are no_llseek, seq_lseek
and default_llseek. For cases where we can we can automatically prove that
the file offset is always ignored, we use noop_llseek, which maintains
the current behavior of not returning an error from a seek.
New drivers should normally not use noop_llseek but instead use no_llseek
and call nonseekable_open at open time. Existing drivers can be converted
to do the same when the maintainer knows for certain that no user code
relies on calling seek on the device file.
The generated code is often incorrectly indented and right now contains
comments that clarify for each added line why a specific variant was
chosen. In the version that gets submitted upstream, the comments will
be gone and I will manually fix the indentation, because there does not
seem to be a way to do that using coccinelle.
Some amount of new code is currently sitting in linux-next that should get
the same modifications, which I will do at the end of the merge window.
Many thanks to Julia Lawall for helping me learn to write a semantic
patch that does all this.
===== begin semantic patch =====
// This adds an llseek= method to all file operations,
// as a preparation for making no_llseek the default.
//
// The rules are
// - use no_llseek explicitly if we do nonseekable_open
// - use seq_lseek for sequential files
// - use default_llseek if we know we access f_pos
// - use noop_llseek if we know we don't access f_pos,
// but we still want to allow users to call lseek
//
@ open1 exists @
identifier nested_open;
@@
nested_open(...)
{
<+...
nonseekable_open(...)
...+>
}
@ open exists@
identifier open_f;
identifier i, f;
identifier open1.nested_open;
@@
int open_f(struct inode *i, struct file *f)
{
<+...
(
nonseekable_open(...)
|
nested_open(...)
)
...+>
}
@ read disable optional_qualifier exists @
identifier read_f;
identifier f, p, s, off;
type ssize_t, size_t, loff_t;
expression E;
identifier func;
@@
ssize_t read_f(struct file *f, char *p, size_t s, loff_t *off)
{
<+...
(
*off = E
|
*off += E
|
func(..., off, ...)
|
E = *off
)
...+>
}
@ read_no_fpos disable optional_qualifier exists @
identifier read_f;
identifier f, p, s, off;
type ssize_t, size_t, loff_t;
@@
ssize_t read_f(struct file *f, char *p, size_t s, loff_t *off)
{
... when != off
}
@ write @
identifier write_f;
identifier f, p, s, off;
type ssize_t, size_t, loff_t;
expression E;
identifier func;
@@
ssize_t write_f(struct file *f, const char *p, size_t s, loff_t *off)
{
<+...
(
*off = E
|
*off += E
|
func(..., off, ...)
|
E = *off
)
...+>
}
@ write_no_fpos @
identifier write_f;
identifier f, p, s, off;
type ssize_t, size_t, loff_t;
@@
ssize_t write_f(struct file *f, const char *p, size_t s, loff_t *off)
{
... when != off
}
@ fops0 @
identifier fops;
@@
struct file_operations fops = {
...
};
@ has_llseek depends on fops0 @
identifier fops0.fops;
identifier llseek_f;
@@
struct file_operations fops = {
...
.llseek = llseek_f,
...
};
@ has_read depends on fops0 @
identifier fops0.fops;
identifier read_f;
@@
struct file_operations fops = {
...
.read = read_f,
...
};
@ has_write depends on fops0 @
identifier fops0.fops;
identifier write_f;
@@
struct file_operations fops = {
...
.write = write_f,
...
};
@ has_open depends on fops0 @
identifier fops0.fops;
identifier open_f;
@@
struct file_operations fops = {
...
.open = open_f,
...
};
// use no_llseek if we call nonseekable_open
////////////////////////////////////////////
@ nonseekable1 depends on !has_llseek && has_open @
identifier fops0.fops;
identifier nso ~= "nonseekable_open";
@@
struct file_operations fops = {
... .open = nso, ...
+.llseek = no_llseek, /* nonseekable */
};
@ nonseekable2 depends on !has_llseek @
identifier fops0.fops;
identifier open.open_f;
@@
struct file_operations fops = {
... .open = open_f, ...
+.llseek = no_llseek, /* open uses nonseekable */
};
// use seq_lseek for sequential files
/////////////////////////////////////
@ seq depends on !has_llseek @
identifier fops0.fops;
identifier sr ~= "seq_read";
@@
struct file_operations fops = {
... .read = sr, ...
+.llseek = seq_lseek, /* we have seq_read */
};
// use default_llseek if there is a readdir
///////////////////////////////////////////
@ fops1 depends on !has_llseek && !nonseekable1 && !nonseekable2 && !seq @
identifier fops0.fops;
identifier readdir_e;
@@
// any other fop is used that changes pos
struct file_operations fops = {
... .readdir = readdir_e, ...
+.llseek = default_llseek, /* readdir is present */
};
// use default_llseek if at least one of read/write touches f_pos
/////////////////////////////////////////////////////////////////
@ fops2 depends on !fops1 && !has_llseek && !nonseekable1 && !nonseekable2 && !seq @
identifier fops0.fops;
identifier read.read_f;
@@
// read fops use offset
struct file_operations fops = {
... .read = read_f, ...
+.llseek = default_llseek, /* read accesses f_pos */
};
@ fops3 depends on !fops1 && !fops2 && !has_llseek && !nonseekable1 && !nonseekable2 && !seq @
identifier fops0.fops;
identifier write.write_f;
@@
// write fops use offset
struct file_operations fops = {
... .write = write_f, ...
+ .llseek = default_llseek, /* write accesses f_pos */
};
// Use noop_llseek if neither read nor write accesses f_pos
///////////////////////////////////////////////////////////
@ fops4 depends on !fops1 && !fops2 && !fops3 && !has_llseek && !nonseekable1 && !nonseekable2 && !seq @
identifier fops0.fops;
identifier read_no_fpos.read_f;
identifier write_no_fpos.write_f;
@@
// write fops use offset
struct file_operations fops = {
...
.write = write_f,
.read = read_f,
...
+.llseek = noop_llseek, /* read and write both use no f_pos */
};
@ depends on has_write && !has_read && !fops1 && !fops2 && !has_llseek && !nonseekable1 && !nonseekable2 && !seq @
identifier fops0.fops;
identifier write_no_fpos.write_f;
@@
struct file_operations fops = {
... .write = write_f, ...
+.llseek = noop_llseek, /* write uses no f_pos */
};
@ depends on has_read && !has_write && !fops1 && !fops2 && !has_llseek && !nonseekable1 && !nonseekable2 && !seq @
identifier fops0.fops;
identifier read_no_fpos.read_f;
@@
struct file_operations fops = {
... .read = read_f, ...
+.llseek = noop_llseek, /* read uses no f_pos */
};
@ depends on !has_read && !has_write && !fops1 && !fops2 && !has_llseek && !nonseekable1 && !nonseekable2 && !seq @
identifier fops0.fops;
@@
struct file_operations fops = {
...
+.llseek = noop_llseek, /* no read or write fn */
};
===== End semantic patch =====
Signed-off-by: Arnd Bergmann <arnd@arndb.de>
Cc: Julia Lawall <julia@diku.dk>
Cc: Christoph Hellwig <hch@infradead.org>
2010-08-15 20:52:59 +04:00
|
|
|
.llseek = default_llseek,
|
2009-03-22 11:31:04 +03:00
|
|
|
};
|
|
|
|
|
2009-03-22 11:31:17 +03:00
|
|
|
static const struct file_operations ftrace_subsystem_filter_fops = {
|
|
|
|
.open = tracing_open_generic,
|
|
|
|
.read = subsystem_filter_read,
|
|
|
|
.write = subsystem_filter_write,
|
llseek: automatically add .llseek fop
All file_operations should get a .llseek operation so we can make
nonseekable_open the default for future file operations without a
.llseek pointer.
The three cases that we can automatically detect are no_llseek, seq_lseek
and default_llseek. For cases where we can we can automatically prove that
the file offset is always ignored, we use noop_llseek, which maintains
the current behavior of not returning an error from a seek.
New drivers should normally not use noop_llseek but instead use no_llseek
and call nonseekable_open at open time. Existing drivers can be converted
to do the same when the maintainer knows for certain that no user code
relies on calling seek on the device file.
The generated code is often incorrectly indented and right now contains
comments that clarify for each added line why a specific variant was
chosen. In the version that gets submitted upstream, the comments will
be gone and I will manually fix the indentation, because there does not
seem to be a way to do that using coccinelle.
Some amount of new code is currently sitting in linux-next that should get
the same modifications, which I will do at the end of the merge window.
Many thanks to Julia Lawall for helping me learn to write a semantic
patch that does all this.
===== begin semantic patch =====
// This adds an llseek= method to all file operations,
// as a preparation for making no_llseek the default.
//
// The rules are
// - use no_llseek explicitly if we do nonseekable_open
// - use seq_lseek for sequential files
// - use default_llseek if we know we access f_pos
// - use noop_llseek if we know we don't access f_pos,
// but we still want to allow users to call lseek
//
@ open1 exists @
identifier nested_open;
@@
nested_open(...)
{
<+...
nonseekable_open(...)
...+>
}
@ open exists@
identifier open_f;
identifier i, f;
identifier open1.nested_open;
@@
int open_f(struct inode *i, struct file *f)
{
<+...
(
nonseekable_open(...)
|
nested_open(...)
)
...+>
}
@ read disable optional_qualifier exists @
identifier read_f;
identifier f, p, s, off;
type ssize_t, size_t, loff_t;
expression E;
identifier func;
@@
ssize_t read_f(struct file *f, char *p, size_t s, loff_t *off)
{
<+...
(
*off = E
|
*off += E
|
func(..., off, ...)
|
E = *off
)
...+>
}
@ read_no_fpos disable optional_qualifier exists @
identifier read_f;
identifier f, p, s, off;
type ssize_t, size_t, loff_t;
@@
ssize_t read_f(struct file *f, char *p, size_t s, loff_t *off)
{
... when != off
}
@ write @
identifier write_f;
identifier f, p, s, off;
type ssize_t, size_t, loff_t;
expression E;
identifier func;
@@
ssize_t write_f(struct file *f, const char *p, size_t s, loff_t *off)
{
<+...
(
*off = E
|
*off += E
|
func(..., off, ...)
|
E = *off
)
...+>
}
@ write_no_fpos @
identifier write_f;
identifier f, p, s, off;
type ssize_t, size_t, loff_t;
@@
ssize_t write_f(struct file *f, const char *p, size_t s, loff_t *off)
{
... when != off
}
@ fops0 @
identifier fops;
@@
struct file_operations fops = {
...
};
@ has_llseek depends on fops0 @
identifier fops0.fops;
identifier llseek_f;
@@
struct file_operations fops = {
...
.llseek = llseek_f,
...
};
@ has_read depends on fops0 @
identifier fops0.fops;
identifier read_f;
@@
struct file_operations fops = {
...
.read = read_f,
...
};
@ has_write depends on fops0 @
identifier fops0.fops;
identifier write_f;
@@
struct file_operations fops = {
...
.write = write_f,
...
};
@ has_open depends on fops0 @
identifier fops0.fops;
identifier open_f;
@@
struct file_operations fops = {
...
.open = open_f,
...
};
// use no_llseek if we call nonseekable_open
////////////////////////////////////////////
@ nonseekable1 depends on !has_llseek && has_open @
identifier fops0.fops;
identifier nso ~= "nonseekable_open";
@@
struct file_operations fops = {
... .open = nso, ...
+.llseek = no_llseek, /* nonseekable */
};
@ nonseekable2 depends on !has_llseek @
identifier fops0.fops;
identifier open.open_f;
@@
struct file_operations fops = {
... .open = open_f, ...
+.llseek = no_llseek, /* open uses nonseekable */
};
// use seq_lseek for sequential files
/////////////////////////////////////
@ seq depends on !has_llseek @
identifier fops0.fops;
identifier sr ~= "seq_read";
@@
struct file_operations fops = {
... .read = sr, ...
+.llseek = seq_lseek, /* we have seq_read */
};
// use default_llseek if there is a readdir
///////////////////////////////////////////
@ fops1 depends on !has_llseek && !nonseekable1 && !nonseekable2 && !seq @
identifier fops0.fops;
identifier readdir_e;
@@
// any other fop is used that changes pos
struct file_operations fops = {
... .readdir = readdir_e, ...
+.llseek = default_llseek, /* readdir is present */
};
// use default_llseek if at least one of read/write touches f_pos
/////////////////////////////////////////////////////////////////
@ fops2 depends on !fops1 && !has_llseek && !nonseekable1 && !nonseekable2 && !seq @
identifier fops0.fops;
identifier read.read_f;
@@
// read fops use offset
struct file_operations fops = {
... .read = read_f, ...
+.llseek = default_llseek, /* read accesses f_pos */
};
@ fops3 depends on !fops1 && !fops2 && !has_llseek && !nonseekable1 && !nonseekable2 && !seq @
identifier fops0.fops;
identifier write.write_f;
@@
// write fops use offset
struct file_operations fops = {
... .write = write_f, ...
+ .llseek = default_llseek, /* write accesses f_pos */
};
// Use noop_llseek if neither read nor write accesses f_pos
///////////////////////////////////////////////////////////
@ fops4 depends on !fops1 && !fops2 && !fops3 && !has_llseek && !nonseekable1 && !nonseekable2 && !seq @
identifier fops0.fops;
identifier read_no_fpos.read_f;
identifier write_no_fpos.write_f;
@@
// write fops use offset
struct file_operations fops = {
...
.write = write_f,
.read = read_f,
...
+.llseek = noop_llseek, /* read and write both use no f_pos */
};
@ depends on has_write && !has_read && !fops1 && !fops2 && !has_llseek && !nonseekable1 && !nonseekable2 && !seq @
identifier fops0.fops;
identifier write_no_fpos.write_f;
@@
struct file_operations fops = {
... .write = write_f, ...
+.llseek = noop_llseek, /* write uses no f_pos */
};
@ depends on has_read && !has_write && !fops1 && !fops2 && !has_llseek && !nonseekable1 && !nonseekable2 && !seq @
identifier fops0.fops;
identifier read_no_fpos.read_f;
@@
struct file_operations fops = {
... .read = read_f, ...
+.llseek = noop_llseek, /* read uses no f_pos */
};
@ depends on !has_read && !has_write && !fops1 && !fops2 && !has_llseek && !nonseekable1 && !nonseekable2 && !seq @
identifier fops0.fops;
@@
struct file_operations fops = {
...
+.llseek = noop_llseek, /* no read or write fn */
};
===== End semantic patch =====
Signed-off-by: Arnd Bergmann <arnd@arndb.de>
Cc: Julia Lawall <julia@diku.dk>
Cc: Christoph Hellwig <hch@infradead.org>
2010-08-15 20:52:59 +04:00
|
|
|
.llseek = default_llseek,
|
2009-03-22 11:31:17 +03:00
|
|
|
};
|
|
|
|
|
2009-05-07 06:52:15 +04:00
|
|
|
static const struct file_operations ftrace_system_enable_fops = {
|
|
|
|
.open = tracing_open_generic,
|
|
|
|
.read = system_enable_read,
|
|
|
|
.write = system_enable_write,
|
llseek: automatically add .llseek fop
All file_operations should get a .llseek operation so we can make
nonseekable_open the default for future file operations without a
.llseek pointer.
The three cases that we can automatically detect are no_llseek, seq_lseek
and default_llseek. For cases where we can we can automatically prove that
the file offset is always ignored, we use noop_llseek, which maintains
the current behavior of not returning an error from a seek.
New drivers should normally not use noop_llseek but instead use no_llseek
and call nonseekable_open at open time. Existing drivers can be converted
to do the same when the maintainer knows for certain that no user code
relies on calling seek on the device file.
The generated code is often incorrectly indented and right now contains
comments that clarify for each added line why a specific variant was
chosen. In the version that gets submitted upstream, the comments will
be gone and I will manually fix the indentation, because there does not
seem to be a way to do that using coccinelle.
Some amount of new code is currently sitting in linux-next that should get
the same modifications, which I will do at the end of the merge window.
Many thanks to Julia Lawall for helping me learn to write a semantic
patch that does all this.
===== begin semantic patch =====
// This adds an llseek= method to all file operations,
// as a preparation for making no_llseek the default.
//
// The rules are
// - use no_llseek explicitly if we do nonseekable_open
// - use seq_lseek for sequential files
// - use default_llseek if we know we access f_pos
// - use noop_llseek if we know we don't access f_pos,
// but we still want to allow users to call lseek
//
@ open1 exists @
identifier nested_open;
@@
nested_open(...)
{
<+...
nonseekable_open(...)
...+>
}
@ open exists@
identifier open_f;
identifier i, f;
identifier open1.nested_open;
@@
int open_f(struct inode *i, struct file *f)
{
<+...
(
nonseekable_open(...)
|
nested_open(...)
)
...+>
}
@ read disable optional_qualifier exists @
identifier read_f;
identifier f, p, s, off;
type ssize_t, size_t, loff_t;
expression E;
identifier func;
@@
ssize_t read_f(struct file *f, char *p, size_t s, loff_t *off)
{
<+...
(
*off = E
|
*off += E
|
func(..., off, ...)
|
E = *off
)
...+>
}
@ read_no_fpos disable optional_qualifier exists @
identifier read_f;
identifier f, p, s, off;
type ssize_t, size_t, loff_t;
@@
ssize_t read_f(struct file *f, char *p, size_t s, loff_t *off)
{
... when != off
}
@ write @
identifier write_f;
identifier f, p, s, off;
type ssize_t, size_t, loff_t;
expression E;
identifier func;
@@
ssize_t write_f(struct file *f, const char *p, size_t s, loff_t *off)
{
<+...
(
*off = E
|
*off += E
|
func(..., off, ...)
|
E = *off
)
...+>
}
@ write_no_fpos @
identifier write_f;
identifier f, p, s, off;
type ssize_t, size_t, loff_t;
@@
ssize_t write_f(struct file *f, const char *p, size_t s, loff_t *off)
{
... when != off
}
@ fops0 @
identifier fops;
@@
struct file_operations fops = {
...
};
@ has_llseek depends on fops0 @
identifier fops0.fops;
identifier llseek_f;
@@
struct file_operations fops = {
...
.llseek = llseek_f,
...
};
@ has_read depends on fops0 @
identifier fops0.fops;
identifier read_f;
@@
struct file_operations fops = {
...
.read = read_f,
...
};
@ has_write depends on fops0 @
identifier fops0.fops;
identifier write_f;
@@
struct file_operations fops = {
...
.write = write_f,
...
};
@ has_open depends on fops0 @
identifier fops0.fops;
identifier open_f;
@@
struct file_operations fops = {
...
.open = open_f,
...
};
// use no_llseek if we call nonseekable_open
////////////////////////////////////////////
@ nonseekable1 depends on !has_llseek && has_open @
identifier fops0.fops;
identifier nso ~= "nonseekable_open";
@@
struct file_operations fops = {
... .open = nso, ...
+.llseek = no_llseek, /* nonseekable */
};
@ nonseekable2 depends on !has_llseek @
identifier fops0.fops;
identifier open.open_f;
@@
struct file_operations fops = {
... .open = open_f, ...
+.llseek = no_llseek, /* open uses nonseekable */
};
// use seq_lseek for sequential files
/////////////////////////////////////
@ seq depends on !has_llseek @
identifier fops0.fops;
identifier sr ~= "seq_read";
@@
struct file_operations fops = {
... .read = sr, ...
+.llseek = seq_lseek, /* we have seq_read */
};
// use default_llseek if there is a readdir
///////////////////////////////////////////
@ fops1 depends on !has_llseek && !nonseekable1 && !nonseekable2 && !seq @
identifier fops0.fops;
identifier readdir_e;
@@
// any other fop is used that changes pos
struct file_operations fops = {
... .readdir = readdir_e, ...
+.llseek = default_llseek, /* readdir is present */
};
// use default_llseek if at least one of read/write touches f_pos
/////////////////////////////////////////////////////////////////
@ fops2 depends on !fops1 && !has_llseek && !nonseekable1 && !nonseekable2 && !seq @
identifier fops0.fops;
identifier read.read_f;
@@
// read fops use offset
struct file_operations fops = {
... .read = read_f, ...
+.llseek = default_llseek, /* read accesses f_pos */
};
@ fops3 depends on !fops1 && !fops2 && !has_llseek && !nonseekable1 && !nonseekable2 && !seq @
identifier fops0.fops;
identifier write.write_f;
@@
// write fops use offset
struct file_operations fops = {
... .write = write_f, ...
+ .llseek = default_llseek, /* write accesses f_pos */
};
// Use noop_llseek if neither read nor write accesses f_pos
///////////////////////////////////////////////////////////
@ fops4 depends on !fops1 && !fops2 && !fops3 && !has_llseek && !nonseekable1 && !nonseekable2 && !seq @
identifier fops0.fops;
identifier read_no_fpos.read_f;
identifier write_no_fpos.write_f;
@@
// write fops use offset
struct file_operations fops = {
...
.write = write_f,
.read = read_f,
...
+.llseek = noop_llseek, /* read and write both use no f_pos */
};
@ depends on has_write && !has_read && !fops1 && !fops2 && !has_llseek && !nonseekable1 && !nonseekable2 && !seq @
identifier fops0.fops;
identifier write_no_fpos.write_f;
@@
struct file_operations fops = {
... .write = write_f, ...
+.llseek = noop_llseek, /* write uses no f_pos */
};
@ depends on has_read && !has_write && !fops1 && !fops2 && !has_llseek && !nonseekable1 && !nonseekable2 && !seq @
identifier fops0.fops;
identifier read_no_fpos.read_f;
@@
struct file_operations fops = {
... .read = read_f, ...
+.llseek = noop_llseek, /* read uses no f_pos */
};
@ depends on !has_read && !has_write && !fops1 && !fops2 && !has_llseek && !nonseekable1 && !nonseekable2 && !seq @
identifier fops0.fops;
@@
struct file_operations fops = {
...
+.llseek = noop_llseek, /* no read or write fn */
};
===== End semantic patch =====
Signed-off-by: Arnd Bergmann <arnd@arndb.de>
Cc: Julia Lawall <julia@diku.dk>
Cc: Christoph Hellwig <hch@infradead.org>
2010-08-15 20:52:59 +04:00
|
|
|
.llseek = default_llseek,
|
2009-05-07 06:52:15 +04:00
|
|
|
};
|
|
|
|
|
2009-04-16 00:53:47 +04:00
|
|
|
static const struct file_operations ftrace_show_header_fops = {
|
|
|
|
.open = tracing_open_generic,
|
|
|
|
.read = show_header,
|
llseek: automatically add .llseek fop
All file_operations should get a .llseek operation so we can make
nonseekable_open the default for future file operations without a
.llseek pointer.
The three cases that we can automatically detect are no_llseek, seq_lseek
and default_llseek. For cases where we can we can automatically prove that
the file offset is always ignored, we use noop_llseek, which maintains
the current behavior of not returning an error from a seek.
New drivers should normally not use noop_llseek but instead use no_llseek
and call nonseekable_open at open time. Existing drivers can be converted
to do the same when the maintainer knows for certain that no user code
relies on calling seek on the device file.
The generated code is often incorrectly indented and right now contains
comments that clarify for each added line why a specific variant was
chosen. In the version that gets submitted upstream, the comments will
be gone and I will manually fix the indentation, because there does not
seem to be a way to do that using coccinelle.
Some amount of new code is currently sitting in linux-next that should get
the same modifications, which I will do at the end of the merge window.
Many thanks to Julia Lawall for helping me learn to write a semantic
patch that does all this.
===== begin semantic patch =====
// This adds an llseek= method to all file operations,
// as a preparation for making no_llseek the default.
//
// The rules are
// - use no_llseek explicitly if we do nonseekable_open
// - use seq_lseek for sequential files
// - use default_llseek if we know we access f_pos
// - use noop_llseek if we know we don't access f_pos,
// but we still want to allow users to call lseek
//
@ open1 exists @
identifier nested_open;
@@
nested_open(...)
{
<+...
nonseekable_open(...)
...+>
}
@ open exists@
identifier open_f;
identifier i, f;
identifier open1.nested_open;
@@
int open_f(struct inode *i, struct file *f)
{
<+...
(
nonseekable_open(...)
|
nested_open(...)
)
...+>
}
@ read disable optional_qualifier exists @
identifier read_f;
identifier f, p, s, off;
type ssize_t, size_t, loff_t;
expression E;
identifier func;
@@
ssize_t read_f(struct file *f, char *p, size_t s, loff_t *off)
{
<+...
(
*off = E
|
*off += E
|
func(..., off, ...)
|
E = *off
)
...+>
}
@ read_no_fpos disable optional_qualifier exists @
identifier read_f;
identifier f, p, s, off;
type ssize_t, size_t, loff_t;
@@
ssize_t read_f(struct file *f, char *p, size_t s, loff_t *off)
{
... when != off
}
@ write @
identifier write_f;
identifier f, p, s, off;
type ssize_t, size_t, loff_t;
expression E;
identifier func;
@@
ssize_t write_f(struct file *f, const char *p, size_t s, loff_t *off)
{
<+...
(
*off = E
|
*off += E
|
func(..., off, ...)
|
E = *off
)
...+>
}
@ write_no_fpos @
identifier write_f;
identifier f, p, s, off;
type ssize_t, size_t, loff_t;
@@
ssize_t write_f(struct file *f, const char *p, size_t s, loff_t *off)
{
... when != off
}
@ fops0 @
identifier fops;
@@
struct file_operations fops = {
...
};
@ has_llseek depends on fops0 @
identifier fops0.fops;
identifier llseek_f;
@@
struct file_operations fops = {
...
.llseek = llseek_f,
...
};
@ has_read depends on fops0 @
identifier fops0.fops;
identifier read_f;
@@
struct file_operations fops = {
...
.read = read_f,
...
};
@ has_write depends on fops0 @
identifier fops0.fops;
identifier write_f;
@@
struct file_operations fops = {
...
.write = write_f,
...
};
@ has_open depends on fops0 @
identifier fops0.fops;
identifier open_f;
@@
struct file_operations fops = {
...
.open = open_f,
...
};
// use no_llseek if we call nonseekable_open
////////////////////////////////////////////
@ nonseekable1 depends on !has_llseek && has_open @
identifier fops0.fops;
identifier nso ~= "nonseekable_open";
@@
struct file_operations fops = {
... .open = nso, ...
+.llseek = no_llseek, /* nonseekable */
};
@ nonseekable2 depends on !has_llseek @
identifier fops0.fops;
identifier open.open_f;
@@
struct file_operations fops = {
... .open = open_f, ...
+.llseek = no_llseek, /* open uses nonseekable */
};
// use seq_lseek for sequential files
/////////////////////////////////////
@ seq depends on !has_llseek @
identifier fops0.fops;
identifier sr ~= "seq_read";
@@
struct file_operations fops = {
... .read = sr, ...
+.llseek = seq_lseek, /* we have seq_read */
};
// use default_llseek if there is a readdir
///////////////////////////////////////////
@ fops1 depends on !has_llseek && !nonseekable1 && !nonseekable2 && !seq @
identifier fops0.fops;
identifier readdir_e;
@@
// any other fop is used that changes pos
struct file_operations fops = {
... .readdir = readdir_e, ...
+.llseek = default_llseek, /* readdir is present */
};
// use default_llseek if at least one of read/write touches f_pos
/////////////////////////////////////////////////////////////////
@ fops2 depends on !fops1 && !has_llseek && !nonseekable1 && !nonseekable2 && !seq @
identifier fops0.fops;
identifier read.read_f;
@@
// read fops use offset
struct file_operations fops = {
... .read = read_f, ...
+.llseek = default_llseek, /* read accesses f_pos */
};
@ fops3 depends on !fops1 && !fops2 && !has_llseek && !nonseekable1 && !nonseekable2 && !seq @
identifier fops0.fops;
identifier write.write_f;
@@
// write fops use offset
struct file_operations fops = {
... .write = write_f, ...
+ .llseek = default_llseek, /* write accesses f_pos */
};
// Use noop_llseek if neither read nor write accesses f_pos
///////////////////////////////////////////////////////////
@ fops4 depends on !fops1 && !fops2 && !fops3 && !has_llseek && !nonseekable1 && !nonseekable2 && !seq @
identifier fops0.fops;
identifier read_no_fpos.read_f;
identifier write_no_fpos.write_f;
@@
// write fops use offset
struct file_operations fops = {
...
.write = write_f,
.read = read_f,
...
+.llseek = noop_llseek, /* read and write both use no f_pos */
};
@ depends on has_write && !has_read && !fops1 && !fops2 && !has_llseek && !nonseekable1 && !nonseekable2 && !seq @
identifier fops0.fops;
identifier write_no_fpos.write_f;
@@
struct file_operations fops = {
... .write = write_f, ...
+.llseek = noop_llseek, /* write uses no f_pos */
};
@ depends on has_read && !has_write && !fops1 && !fops2 && !has_llseek && !nonseekable1 && !nonseekable2 && !seq @
identifier fops0.fops;
identifier read_no_fpos.read_f;
@@
struct file_operations fops = {
... .read = read_f, ...
+.llseek = noop_llseek, /* read uses no f_pos */
};
@ depends on !has_read && !has_write && !fops1 && !fops2 && !has_llseek && !nonseekable1 && !nonseekable2 && !seq @
identifier fops0.fops;
@@
struct file_operations fops = {
...
+.llseek = noop_llseek, /* no read or write fn */
};
===== End semantic patch =====
Signed-off-by: Arnd Bergmann <arnd@arndb.de>
Cc: Julia Lawall <julia@diku.dk>
Cc: Christoph Hellwig <hch@infradead.org>
2010-08-15 20:52:59 +04:00
|
|
|
.llseek = default_llseek,
|
2009-04-16 00:53:47 +04:00
|
|
|
};
|
|
|
|
|
2009-02-24 22:15:08 +03:00
|
|
|
static struct dentry *event_trace_events_dir(void)
|
|
|
|
{
|
|
|
|
static struct dentry *d_tracer;
|
|
|
|
static struct dentry *d_events;
|
|
|
|
|
|
|
|
if (d_events)
|
|
|
|
return d_events;
|
|
|
|
|
|
|
|
d_tracer = tracing_init_dentry();
|
|
|
|
if (!d_tracer)
|
|
|
|
return NULL;
|
|
|
|
|
|
|
|
d_events = debugfs_create_dir("events", d_tracer);
|
|
|
|
if (!d_events)
|
|
|
|
pr_warning("Could not create debugfs "
|
|
|
|
"'events' directory\n");
|
|
|
|
|
|
|
|
return d_events;
|
|
|
|
}
|
|
|
|
|
2009-02-28 05:33:02 +03:00
|
|
|
static LIST_HEAD(event_subsystems);
|
|
|
|
|
|
|
|
static struct dentry *
|
|
|
|
event_subsystem_dir(const char *name, struct dentry *d_events)
|
|
|
|
{
|
|
|
|
struct event_subsystem *system;
|
2009-03-31 09:48:49 +04:00
|
|
|
struct dentry *entry;
|
2009-02-28 05:33:02 +03:00
|
|
|
|
|
|
|
/* First see if we did not already create this dir */
|
|
|
|
list_for_each_entry(system, &event_subsystems, list) {
|
2009-07-09 12:22:22 +04:00
|
|
|
if (strcmp(system->name, name) == 0) {
|
|
|
|
system->nr_events++;
|
2009-02-28 05:33:02 +03:00
|
|
|
return system->entry;
|
2009-07-09 12:22:22 +04:00
|
|
|
}
|
2009-02-28 05:33:02 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
/* need to create new entry */
|
|
|
|
system = kmalloc(sizeof(*system), GFP_KERNEL);
|
|
|
|
if (!system) {
|
|
|
|
pr_warning("No memory to create event subsystem %s\n",
|
|
|
|
name);
|
|
|
|
return d_events;
|
|
|
|
}
|
|
|
|
|
|
|
|
system->entry = debugfs_create_dir(name, d_events);
|
|
|
|
if (!system->entry) {
|
|
|
|
pr_warning("Could not create event subsystem %s\n",
|
|
|
|
name);
|
|
|
|
kfree(system);
|
|
|
|
return d_events;
|
|
|
|
}
|
|
|
|
|
2009-07-09 12:22:22 +04:00
|
|
|
system->nr_events = 1;
|
2009-04-10 22:53:50 +04:00
|
|
|
system->name = kstrdup(name, GFP_KERNEL);
|
|
|
|
if (!system->name) {
|
|
|
|
debugfs_remove(system->entry);
|
|
|
|
kfree(system);
|
|
|
|
return d_events;
|
|
|
|
}
|
|
|
|
|
2009-02-28 05:33:02 +03:00
|
|
|
list_add(&system->list, &event_subsystems);
|
|
|
|
|
2009-04-28 12:04:47 +04:00
|
|
|
system->filter = NULL;
|
2009-03-22 11:31:17 +03:00
|
|
|
|
tracing/filters: a better event parser
Replace the current event parser hack with a better one. Filters are
no longer specified predicate by predicate, but all at once and can
use parens and any of the following operators:
numeric fields:
==, !=, <, <=, >, >=
string fields:
==, !=
predicates can be combined with the logical operators:
&&, ||
examples:
"common_preempt_count > 4" > filter
"((sig >= 10 && sig < 15) || sig == 17) && comm != bash" > filter
If there was an error, the erroneous string along with an error
message can be seen by looking at the filter e.g.:
((sig >= 10 && sig < 15) || dsig == 17) && comm != bash
^
parse_error: Field not found
Currently the caret for an error always appears at the beginning of
the filter; a real position should be used, but the error message
should be useful even without it.
To clear a filter, '0' can be written to the filter file.
Filters can also be set or cleared for a complete subsystem by writing
the same filter as would be written to an individual event to the
filter file at the root of the subsytem. Note however, that if any
event in the subsystem lacks a field specified in the filter being
set, the set will fail and all filters in the subsytem are
automatically cleared. This change from the previous version was made
because using only the fields that happen to exist for a given event
would most likely result in a meaningless filter.
Because the logical operators are now implemented as predicates, the
maximum number of predicates in a filter was increased from 8 to 16.
[ Impact: add new, extended trace-filter implementation ]
Signed-off-by: Tom Zanussi <tzanussi@gmail.com>
Acked-by: Steven Rostedt <rostedt@goodmis.org>
Cc: fweisbec@gmail.com
Cc: Li Zefan <lizf@cn.fujitsu.com>
LKML-Reference: <1240905899.6416.121.camel@tropicana>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
2009-04-28 12:04:59 +04:00
|
|
|
system->filter = kzalloc(sizeof(struct event_filter), GFP_KERNEL);
|
|
|
|
if (!system->filter) {
|
|
|
|
pr_warning("Could not allocate filter for subsystem "
|
|
|
|
"'%s'\n", name);
|
|
|
|
return system->entry;
|
|
|
|
}
|
|
|
|
|
2009-03-31 09:48:49 +04:00
|
|
|
entry = debugfs_create_file("filter", 0644, system->entry, system,
|
|
|
|
&ftrace_subsystem_filter_fops);
|
tracing/filters: a better event parser
Replace the current event parser hack with a better one. Filters are
no longer specified predicate by predicate, but all at once and can
use parens and any of the following operators:
numeric fields:
==, !=, <, <=, >, >=
string fields:
==, !=
predicates can be combined with the logical operators:
&&, ||
examples:
"common_preempt_count > 4" > filter
"((sig >= 10 && sig < 15) || sig == 17) && comm != bash" > filter
If there was an error, the erroneous string along with an error
message can be seen by looking at the filter e.g.:
((sig >= 10 && sig < 15) || dsig == 17) && comm != bash
^
parse_error: Field not found
Currently the caret for an error always appears at the beginning of
the filter; a real position should be used, but the error message
should be useful even without it.
To clear a filter, '0' can be written to the filter file.
Filters can also be set or cleared for a complete subsystem by writing
the same filter as would be written to an individual event to the
filter file at the root of the subsytem. Note however, that if any
event in the subsystem lacks a field specified in the filter being
set, the set will fail and all filters in the subsytem are
automatically cleared. This change from the previous version was made
because using only the fields that happen to exist for a given event
would most likely result in a meaningless filter.
Because the logical operators are now implemented as predicates, the
maximum number of predicates in a filter was increased from 8 to 16.
[ Impact: add new, extended trace-filter implementation ]
Signed-off-by: Tom Zanussi <tzanussi@gmail.com>
Acked-by: Steven Rostedt <rostedt@goodmis.org>
Cc: fweisbec@gmail.com
Cc: Li Zefan <lizf@cn.fujitsu.com>
LKML-Reference: <1240905899.6416.121.camel@tropicana>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
2009-04-28 12:04:59 +04:00
|
|
|
if (!entry) {
|
|
|
|
kfree(system->filter);
|
|
|
|
system->filter = NULL;
|
2009-03-31 09:48:49 +04:00
|
|
|
pr_warning("Could not create debugfs "
|
|
|
|
"'%s/filter' entry\n", name);
|
tracing/filters: a better event parser
Replace the current event parser hack with a better one. Filters are
no longer specified predicate by predicate, but all at once and can
use parens and any of the following operators:
numeric fields:
==, !=, <, <=, >, >=
string fields:
==, !=
predicates can be combined with the logical operators:
&&, ||
examples:
"common_preempt_count > 4" > filter
"((sig >= 10 && sig < 15) || sig == 17) && comm != bash" > filter
If there was an error, the erroneous string along with an error
message can be seen by looking at the filter e.g.:
((sig >= 10 && sig < 15) || dsig == 17) && comm != bash
^
parse_error: Field not found
Currently the caret for an error always appears at the beginning of
the filter; a real position should be used, but the error message
should be useful even without it.
To clear a filter, '0' can be written to the filter file.
Filters can also be set or cleared for a complete subsystem by writing
the same filter as would be written to an individual event to the
filter file at the root of the subsytem. Note however, that if any
event in the subsystem lacks a field specified in the filter being
set, the set will fail and all filters in the subsytem are
automatically cleared. This change from the previous version was made
because using only the fields that happen to exist for a given event
would most likely result in a meaningless filter.
Because the logical operators are now implemented as predicates, the
maximum number of predicates in a filter was increased from 8 to 16.
[ Impact: add new, extended trace-filter implementation ]
Signed-off-by: Tom Zanussi <tzanussi@gmail.com>
Acked-by: Steven Rostedt <rostedt@goodmis.org>
Cc: fweisbec@gmail.com
Cc: Li Zefan <lizf@cn.fujitsu.com>
LKML-Reference: <1240905899.6416.121.camel@tropicana>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
2009-04-28 12:04:59 +04:00
|
|
|
}
|
2009-03-31 09:48:49 +04:00
|
|
|
|
2009-09-24 17:27:41 +04:00
|
|
|
trace_create_file("enable", 0644, system->entry,
|
|
|
|
(void *)system->name,
|
|
|
|
&ftrace_system_enable_fops);
|
2009-05-07 06:52:15 +04:00
|
|
|
|
2009-02-28 05:33:02 +03:00
|
|
|
return system->entry;
|
|
|
|
}
|
|
|
|
|
2009-02-24 22:15:08 +03:00
|
|
|
static int
|
2009-04-25 07:11:22 +04:00
|
|
|
event_create_dir(struct ftrace_event_call *call, struct dentry *d_events,
|
|
|
|
const struct file_operations *id,
|
|
|
|
const struct file_operations *enable,
|
|
|
|
const struct file_operations *filter,
|
|
|
|
const struct file_operations *format)
|
2009-02-24 22:15:08 +03:00
|
|
|
{
|
2010-04-22 18:35:55 +04:00
|
|
|
struct list_head *head;
|
2009-02-28 10:41:25 +03:00
|
|
|
int ret;
|
2009-02-24 22:15:08 +03:00
|
|
|
|
2009-02-28 05:33:02 +03:00
|
|
|
/*
|
|
|
|
* If the trace point header did not define TRACE_SYSTEM
|
|
|
|
* then the system would be called "TRACE_SYSTEM".
|
|
|
|
*/
|
2010-04-20 18:47:33 +04:00
|
|
|
if (strcmp(call->class->system, TRACE_SYSTEM) != 0)
|
|
|
|
d_events = event_subsystem_dir(call->class->system, d_events);
|
2009-02-28 05:33:02 +03:00
|
|
|
|
2009-02-24 22:15:08 +03:00
|
|
|
call->dir = debugfs_create_dir(call->name, d_events);
|
|
|
|
if (!call->dir) {
|
|
|
|
pr_warning("Could not create debugfs "
|
|
|
|
"'%s' directory\n", call->name);
|
|
|
|
return -1;
|
|
|
|
}
|
|
|
|
|
2010-06-08 19:22:06 +04:00
|
|
|
if (call->class->reg)
|
2009-09-24 17:27:41 +04:00
|
|
|
trace_create_file("enable", 0644, call->dir, call,
|
|
|
|
enable);
|
2009-02-24 22:15:08 +03:00
|
|
|
|
2010-04-21 20:27:06 +04:00
|
|
|
#ifdef CONFIG_PERF_EVENTS
|
2010-06-08 19:22:06 +04:00
|
|
|
if (call->event.type && call->class->reg)
|
2009-09-24 17:27:41 +04:00
|
|
|
trace_create_file("id", 0444, call->dir, call,
|
|
|
|
id);
|
2010-04-21 20:27:06 +04:00
|
|
|
#endif
|
2009-03-19 22:26:13 +03:00
|
|
|
|
2010-05-24 12:24:28 +04:00
|
|
|
/*
|
|
|
|
* Other events may have the same class. Only update
|
|
|
|
* the fields if they are not already defined.
|
|
|
|
*/
|
|
|
|
head = trace_get_fields(call);
|
|
|
|
if (list_empty(head)) {
|
|
|
|
ret = call->class->define_fields(call);
|
|
|
|
if (ret < 0) {
|
|
|
|
pr_warning("Could not initialize trace point"
|
|
|
|
" events/%s\n", call->name);
|
|
|
|
return ret;
|
2009-03-22 11:30:39 +03:00
|
|
|
}
|
|
|
|
}
|
2010-05-24 12:24:28 +04:00
|
|
|
trace_create_file("filter", 0644, call->dir, call,
|
|
|
|
filter);
|
2009-03-22 11:30:39 +03:00
|
|
|
|
2009-09-24 17:27:41 +04:00
|
|
|
trace_create_file("format", 0444, call->dir, call,
|
|
|
|
format);
|
2009-04-10 22:53:50 +04:00
|
|
|
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
2010-05-24 12:25:13 +04:00
|
|
|
static int
|
|
|
|
__trace_add_event_call(struct ftrace_event_call *call, struct module *mod,
|
|
|
|
const struct file_operations *id,
|
|
|
|
const struct file_operations *enable,
|
|
|
|
const struct file_operations *filter,
|
|
|
|
const struct file_operations *format)
|
2009-08-14 00:34:53 +04:00
|
|
|
{
|
|
|
|
struct dentry *d_events;
|
|
|
|
int ret;
|
2009-04-10 22:53:50 +04:00
|
|
|
|
2010-05-24 12:25:13 +04:00
|
|
|
/* The linker may leave blanks */
|
2009-08-14 00:34:53 +04:00
|
|
|
if (!call->name)
|
|
|
|
return -EINVAL;
|
2009-04-25 07:11:22 +04:00
|
|
|
|
2010-04-22 19:46:44 +04:00
|
|
|
if (call->class->raw_init) {
|
|
|
|
ret = call->class->raw_init(call);
|
2009-08-14 00:34:53 +04:00
|
|
|
if (ret < 0) {
|
|
|
|
if (ret != -ENOSYS)
|
2010-05-24 12:25:13 +04:00
|
|
|
pr_warning("Could not initialize trace events/%s\n",
|
|
|
|
call->name);
|
2009-08-14 00:34:53 +04:00
|
|
|
return ret;
|
|
|
|
}
|
|
|
|
}
|
2009-04-25 07:11:22 +04:00
|
|
|
|
2009-08-14 00:34:53 +04:00
|
|
|
d_events = event_trace_events_dir();
|
|
|
|
if (!d_events)
|
|
|
|
return -ENOENT;
|
|
|
|
|
2010-05-24 12:25:13 +04:00
|
|
|
ret = event_create_dir(call, d_events, id, enable, filter, format);
|
2009-09-25 22:20:54 +04:00
|
|
|
if (!ret)
|
|
|
|
list_add(&call->list, &ftrace_events);
|
2010-05-24 12:25:13 +04:00
|
|
|
call->mod = mod;
|
2009-09-25 22:20:54 +04:00
|
|
|
|
2009-09-16 19:42:55 +04:00
|
|
|
return ret;
|
2009-08-14 00:34:53 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
/* Add an additional event_call dynamically */
|
|
|
|
int trace_add_event_call(struct ftrace_event_call *call)
|
|
|
|
{
|
|
|
|
int ret;
|
|
|
|
mutex_lock(&event_mutex);
|
2010-05-24 12:25:13 +04:00
|
|
|
ret = __trace_add_event_call(call, NULL, &ftrace_event_id_fops,
|
|
|
|
&ftrace_enable_fops,
|
|
|
|
&ftrace_event_filter_fops,
|
|
|
|
&ftrace_event_format_fops);
|
2009-08-14 00:34:53 +04:00
|
|
|
mutex_unlock(&event_mutex);
|
|
|
|
return ret;
|
|
|
|
}
|
2009-04-25 07:11:22 +04:00
|
|
|
|
2009-08-06 09:32:21 +04:00
|
|
|
static void remove_subsystem_dir(const char *name)
|
|
|
|
{
|
|
|
|
struct event_subsystem *system;
|
|
|
|
|
|
|
|
if (strcmp(name, TRACE_SYSTEM) == 0)
|
|
|
|
return;
|
|
|
|
|
|
|
|
list_for_each_entry(system, &event_subsystems, list) {
|
|
|
|
if (strcmp(system->name, name) == 0) {
|
|
|
|
if (!--system->nr_events) {
|
|
|
|
struct event_filter *filter = system->filter;
|
|
|
|
|
|
|
|
debugfs_remove_recursive(system->entry);
|
|
|
|
list_del(&system->list);
|
|
|
|
if (filter) {
|
|
|
|
kfree(filter->filter_string);
|
|
|
|
kfree(filter);
|
|
|
|
}
|
|
|
|
kfree(system->name);
|
|
|
|
kfree(system);
|
|
|
|
}
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2009-09-15 00:49:12 +04:00
|
|
|
/*
|
|
|
|
* Must be called under locking both of event_mutex and trace_event_mutex.
|
|
|
|
*/
|
2009-08-14 00:34:53 +04:00
|
|
|
static void __trace_remove_event_call(struct ftrace_event_call *call)
|
|
|
|
{
|
|
|
|
ftrace_event_enable_disable(call, 0);
|
2010-04-23 18:00:22 +04:00
|
|
|
if (call->event.funcs)
|
|
|
|
__unregister_ftrace_event(&call->event);
|
2009-08-14 00:34:53 +04:00
|
|
|
debugfs_remove_recursive(call->dir);
|
|
|
|
list_del(&call->list);
|
|
|
|
trace_destroy_fields(call);
|
|
|
|
destroy_preds(call);
|
2010-04-20 18:47:33 +04:00
|
|
|
remove_subsystem_dir(call->class->system);
|
2009-08-14 00:34:53 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
/* Remove an event_call */
|
|
|
|
void trace_remove_event_call(struct ftrace_event_call *call)
|
|
|
|
{
|
|
|
|
mutex_lock(&event_mutex);
|
2009-09-15 00:49:12 +04:00
|
|
|
down_write(&trace_event_mutex);
|
2009-08-14 00:34:53 +04:00
|
|
|
__trace_remove_event_call(call);
|
2009-09-15 00:49:12 +04:00
|
|
|
up_write(&trace_event_mutex);
|
2009-08-14 00:34:53 +04:00
|
|
|
mutex_unlock(&event_mutex);
|
|
|
|
}
|
|
|
|
|
|
|
|
#define for_each_event(event, start, end) \
|
|
|
|
for (event = start; \
|
|
|
|
(unsigned long)event < (unsigned long)end; \
|
|
|
|
event++)
|
|
|
|
|
|
|
|
#ifdef CONFIG_MODULES
|
|
|
|
|
|
|
|
static LIST_HEAD(ftrace_module_file_list);
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Modules must own their file_operations to keep up with
|
|
|
|
* reference counting.
|
|
|
|
*/
|
|
|
|
struct ftrace_module_file_ops {
|
|
|
|
struct list_head list;
|
|
|
|
struct module *mod;
|
|
|
|
struct file_operations id;
|
|
|
|
struct file_operations enable;
|
|
|
|
struct file_operations format;
|
|
|
|
struct file_operations filter;
|
|
|
|
};
|
|
|
|
|
2009-04-25 07:11:22 +04:00
|
|
|
static struct ftrace_module_file_ops *
|
|
|
|
trace_create_file_ops(struct module *mod)
|
|
|
|
{
|
|
|
|
struct ftrace_module_file_ops *file_ops;
|
|
|
|
|
|
|
|
/*
|
|
|
|
* This is a bit of a PITA. To allow for correct reference
|
|
|
|
* counting, modules must "own" their file_operations.
|
|
|
|
* To do this, we allocate the file operations that will be
|
|
|
|
* used in the event directory.
|
|
|
|
*/
|
|
|
|
|
|
|
|
file_ops = kmalloc(sizeof(*file_ops), GFP_KERNEL);
|
|
|
|
if (!file_ops)
|
|
|
|
return NULL;
|
|
|
|
|
|
|
|
file_ops->mod = mod;
|
|
|
|
|
|
|
|
file_ops->id = ftrace_event_id_fops;
|
|
|
|
file_ops->id.owner = mod;
|
|
|
|
|
|
|
|
file_ops->enable = ftrace_enable_fops;
|
|
|
|
file_ops->enable.owner = mod;
|
|
|
|
|
|
|
|
file_ops->filter = ftrace_event_filter_fops;
|
|
|
|
file_ops->filter.owner = mod;
|
|
|
|
|
|
|
|
file_ops->format = ftrace_event_format_fops;
|
|
|
|
file_ops->format.owner = mod;
|
|
|
|
|
|
|
|
list_add(&file_ops->list, &ftrace_module_file_list);
|
|
|
|
|
|
|
|
return file_ops;
|
|
|
|
}
|
|
|
|
|
2009-04-10 22:53:50 +04:00
|
|
|
static void trace_module_add_events(struct module *mod)
|
|
|
|
{
|
2009-04-25 07:11:22 +04:00
|
|
|
struct ftrace_module_file_ops *file_ops = NULL;
|
2009-04-10 22:53:50 +04:00
|
|
|
struct ftrace_event_call *call, *start, *end;
|
|
|
|
|
|
|
|
start = mod->trace_events;
|
|
|
|
end = mod->trace_events + mod->num_trace_events;
|
|
|
|
|
|
|
|
if (start == end)
|
|
|
|
return;
|
|
|
|
|
2010-05-24 12:25:13 +04:00
|
|
|
file_ops = trace_create_file_ops(mod);
|
|
|
|
if (!file_ops)
|
2009-04-10 22:53:50 +04:00
|
|
|
return;
|
|
|
|
|
|
|
|
for_each_event(call, start, end) {
|
2010-05-24 12:25:13 +04:00
|
|
|
__trace_add_event_call(call, mod,
|
2009-09-25 22:20:54 +04:00
|
|
|
&file_ops->id, &file_ops->enable,
|
|
|
|
&file_ops->filter, &file_ops->format);
|
2009-04-10 22:53:50 +04:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
static void trace_module_remove_events(struct module *mod)
|
|
|
|
{
|
2009-04-25 07:11:22 +04:00
|
|
|
struct ftrace_module_file_ops *file_ops;
|
2009-04-10 22:53:50 +04:00
|
|
|
struct ftrace_event_call *call, *p;
|
2009-05-07 05:54:09 +04:00
|
|
|
bool found = false;
|
2009-04-10 22:53:50 +04:00
|
|
|
|
2009-06-10 01:29:07 +04:00
|
|
|
down_write(&trace_event_mutex);
|
2009-04-10 22:53:50 +04:00
|
|
|
list_for_each_entry_safe(call, p, &ftrace_events, list) {
|
|
|
|
if (call->mod == mod) {
|
2009-05-07 05:54:09 +04:00
|
|
|
found = true;
|
2009-08-14 00:34:53 +04:00
|
|
|
__trace_remove_event_call(call);
|
2009-04-10 22:53:50 +04:00
|
|
|
}
|
|
|
|
}
|
2009-04-25 07:11:22 +04:00
|
|
|
|
|
|
|
/* Now free the file_operations */
|
|
|
|
list_for_each_entry(file_ops, &ftrace_module_file_list, list) {
|
|
|
|
if (file_ops->mod == mod)
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
if (&file_ops->list != &ftrace_module_file_list) {
|
|
|
|
list_del(&file_ops->list);
|
|
|
|
kfree(file_ops);
|
|
|
|
}
|
2009-05-07 05:54:09 +04:00
|
|
|
|
|
|
|
/*
|
|
|
|
* It is safest to reset the ring buffer if the module being unloaded
|
|
|
|
* registered any events.
|
|
|
|
*/
|
|
|
|
if (found)
|
|
|
|
tracing_reset_current_online_cpus();
|
2009-06-10 01:29:07 +04:00
|
|
|
up_write(&trace_event_mutex);
|
2009-04-10 22:53:50 +04:00
|
|
|
}
|
|
|
|
|
2009-04-15 02:22:32 +04:00
|
|
|
static int trace_module_notify(struct notifier_block *self,
|
|
|
|
unsigned long val, void *data)
|
2009-04-10 22:53:50 +04:00
|
|
|
{
|
|
|
|
struct module *mod = data;
|
|
|
|
|
|
|
|
mutex_lock(&event_mutex);
|
|
|
|
switch (val) {
|
|
|
|
case MODULE_STATE_COMING:
|
|
|
|
trace_module_add_events(mod);
|
|
|
|
break;
|
|
|
|
case MODULE_STATE_GOING:
|
|
|
|
trace_module_remove_events(mod);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
mutex_unlock(&event_mutex);
|
2009-02-28 10:41:25 +03:00
|
|
|
|
2009-02-24 22:15:08 +03:00
|
|
|
return 0;
|
|
|
|
}
|
2009-04-15 02:22:32 +04:00
|
|
|
#else
|
|
|
|
static int trace_module_notify(struct notifier_block *self,
|
|
|
|
unsigned long val, void *data)
|
|
|
|
{
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
#endif /* CONFIG_MODULES */
|
2009-02-24 22:15:08 +03:00
|
|
|
|
2009-09-14 18:50:23 +04:00
|
|
|
static struct notifier_block trace_module_nb = {
|
2009-04-10 22:53:50 +04:00
|
|
|
.notifier_call = trace_module_notify,
|
|
|
|
.priority = 0,
|
|
|
|
};
|
|
|
|
|
2009-04-10 21:52:20 +04:00
|
|
|
extern struct ftrace_event_call __start_ftrace_events[];
|
|
|
|
extern struct ftrace_event_call __stop_ftrace_events[];
|
|
|
|
|
2009-07-01 06:47:05 +04:00
|
|
|
static char bootup_event_buf[COMMAND_LINE_SIZE] __initdata;
|
|
|
|
|
|
|
|
static __init int setup_trace_event(char *str)
|
|
|
|
{
|
|
|
|
strlcpy(bootup_event_buf, str, COMMAND_LINE_SIZE);
|
|
|
|
ring_buffer_expanded = 1;
|
|
|
|
tracing_selftest_disabled = 1;
|
|
|
|
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
__setup("trace_event=", setup_trace_event);
|
|
|
|
|
2009-02-24 18:21:36 +03:00
|
|
|
static __init int event_trace_init(void)
|
|
|
|
{
|
2009-04-10 21:52:20 +04:00
|
|
|
struct ftrace_event_call *call;
|
2009-02-24 18:21:36 +03:00
|
|
|
struct dentry *d_tracer;
|
|
|
|
struct dentry *entry;
|
2009-02-24 22:15:08 +03:00
|
|
|
struct dentry *d_events;
|
2009-04-10 22:53:50 +04:00
|
|
|
int ret;
|
2009-07-01 06:47:05 +04:00
|
|
|
char *buf = bootup_event_buf;
|
|
|
|
char *token;
|
2009-02-24 18:21:36 +03:00
|
|
|
|
|
|
|
d_tracer = tracing_init_dentry();
|
|
|
|
if (!d_tracer)
|
|
|
|
return 0;
|
|
|
|
|
2009-03-10 19:04:02 +03:00
|
|
|
entry = debugfs_create_file("available_events", 0444, d_tracer,
|
|
|
|
(void *)&show_event_seq_ops,
|
|
|
|
&ftrace_avail_fops);
|
|
|
|
if (!entry)
|
|
|
|
pr_warning("Could not create debugfs "
|
|
|
|
"'available_events' entry\n");
|
|
|
|
|
2009-02-24 18:21:36 +03:00
|
|
|
entry = debugfs_create_file("set_event", 0644, d_tracer,
|
|
|
|
(void *)&show_set_event_seq_ops,
|
|
|
|
&ftrace_set_event_fops);
|
|
|
|
if (!entry)
|
|
|
|
pr_warning("Could not create debugfs "
|
|
|
|
"'set_event' entry\n");
|
|
|
|
|
2009-02-24 22:15:08 +03:00
|
|
|
d_events = event_trace_events_dir();
|
|
|
|
if (!d_events)
|
|
|
|
return 0;
|
|
|
|
|
2009-04-16 00:53:47 +04:00
|
|
|
/* ring buffer internal formats */
|
|
|
|
trace_create_file("header_page", 0444, d_events,
|
|
|
|
ring_buffer_print_page_header,
|
|
|
|
&ftrace_show_header_fops);
|
|
|
|
|
|
|
|
trace_create_file("header_event", 0444, d_events,
|
|
|
|
ring_buffer_print_entry_header,
|
|
|
|
&ftrace_show_header_fops);
|
|
|
|
|
2009-05-07 06:52:15 +04:00
|
|
|
trace_create_file("enable", 0644, d_events,
|
2009-05-08 06:31:42 +04:00
|
|
|
NULL, &ftrace_system_enable_fops);
|
2009-05-07 06:52:15 +04:00
|
|
|
|
2010-05-24 12:22:49 +04:00
|
|
|
if (trace_define_common_fields())
|
|
|
|
pr_warning("tracing: Failed to allocate common fields");
|
|
|
|
|
2009-04-10 22:53:50 +04:00
|
|
|
for_each_event(call, __start_ftrace_events, __stop_ftrace_events) {
|
2010-05-24 12:25:13 +04:00
|
|
|
__trace_add_event_call(call, NULL, &ftrace_event_id_fops,
|
2009-09-25 22:20:54 +04:00
|
|
|
&ftrace_enable_fops,
|
|
|
|
&ftrace_event_filter_fops,
|
|
|
|
&ftrace_event_format_fops);
|
2009-02-24 22:15:08 +03:00
|
|
|
}
|
|
|
|
|
2009-07-01 06:47:05 +04:00
|
|
|
while (true) {
|
|
|
|
token = strsep(&buf, ",");
|
|
|
|
|
|
|
|
if (!token)
|
|
|
|
break;
|
|
|
|
if (!*token)
|
|
|
|
continue;
|
|
|
|
|
|
|
|
ret = ftrace_set_clr_event(token, 1);
|
|
|
|
if (ret)
|
|
|
|
pr_warning("Failed to enable trace event: %s\n", token);
|
|
|
|
}
|
|
|
|
|
2009-04-10 22:53:50 +04:00
|
|
|
ret = register_module_notifier(&trace_module_nb);
|
2009-05-18 19:04:46 +04:00
|
|
|
if (ret)
|
2009-04-10 22:53:50 +04:00
|
|
|
pr_warning("Failed to register trace events module notifier\n");
|
|
|
|
|
2009-02-24 18:21:36 +03:00
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
fs_initcall(event_trace_init);
|
2009-04-15 21:36:40 +04:00
|
|
|
|
|
|
|
#ifdef CONFIG_FTRACE_STARTUP_TEST
|
|
|
|
|
|
|
|
static DEFINE_SPINLOCK(test_spinlock);
|
|
|
|
static DEFINE_SPINLOCK(test_spinlock_irq);
|
|
|
|
static DEFINE_MUTEX(test_mutex);
|
|
|
|
|
|
|
|
static __init void test_work(struct work_struct *dummy)
|
|
|
|
{
|
|
|
|
spin_lock(&test_spinlock);
|
|
|
|
spin_lock_irq(&test_spinlock_irq);
|
|
|
|
udelay(1);
|
|
|
|
spin_unlock_irq(&test_spinlock_irq);
|
|
|
|
spin_unlock(&test_spinlock);
|
|
|
|
|
|
|
|
mutex_lock(&test_mutex);
|
|
|
|
msleep(1);
|
|
|
|
mutex_unlock(&test_mutex);
|
|
|
|
}
|
|
|
|
|
|
|
|
static __init int event_test_thread(void *unused)
|
|
|
|
{
|
|
|
|
void *test_malloc;
|
|
|
|
|
|
|
|
test_malloc = kmalloc(1234, GFP_KERNEL);
|
|
|
|
if (!test_malloc)
|
|
|
|
pr_info("failed to kmalloc\n");
|
|
|
|
|
|
|
|
schedule_on_each_cpu(test_work);
|
|
|
|
|
|
|
|
kfree(test_malloc);
|
|
|
|
|
|
|
|
set_current_state(TASK_INTERRUPTIBLE);
|
|
|
|
while (!kthread_should_stop())
|
|
|
|
schedule();
|
|
|
|
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Do various things that may trigger events.
|
|
|
|
*/
|
|
|
|
static __init void event_test_stuff(void)
|
|
|
|
{
|
|
|
|
struct task_struct *test_thread;
|
|
|
|
|
|
|
|
test_thread = kthread_run(event_test_thread, NULL, "test-events");
|
|
|
|
msleep(1);
|
|
|
|
kthread_stop(test_thread);
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* For every trace event defined, we will test each trace point separately,
|
|
|
|
* and then by groups, and finally all trace points.
|
|
|
|
*/
|
2009-04-16 20:15:44 +04:00
|
|
|
static __init void event_trace_self_tests(void)
|
2009-04-15 21:36:40 +04:00
|
|
|
{
|
|
|
|
struct ftrace_event_call *call;
|
|
|
|
struct event_subsystem *system;
|
|
|
|
int ret;
|
|
|
|
|
|
|
|
pr_info("Running tests on trace events:\n");
|
|
|
|
|
|
|
|
list_for_each_entry(call, &ftrace_events, list) {
|
|
|
|
|
2010-04-21 20:27:06 +04:00
|
|
|
/* Only test those that have a probe */
|
|
|
|
if (!call->class || !call->class->probe)
|
2009-04-15 21:36:40 +04:00
|
|
|
continue;
|
|
|
|
|
2009-09-14 19:58:24 +04:00
|
|
|
/*
|
|
|
|
* Testing syscall events here is pretty useless, but
|
|
|
|
* we still do it if configured. But this is time consuming.
|
|
|
|
* What we really need is a user thread to perform the
|
|
|
|
* syscalls as we test.
|
|
|
|
*/
|
|
|
|
#ifndef CONFIG_EVENT_TRACE_TEST_SYSCALLS
|
2010-04-20 18:47:33 +04:00
|
|
|
if (call->class->system &&
|
|
|
|
strcmp(call->class->system, "syscalls") == 0)
|
2009-09-14 19:58:24 +04:00
|
|
|
continue;
|
|
|
|
#endif
|
|
|
|
|
2009-04-15 21:36:40 +04:00
|
|
|
pr_info("Testing event %s: ", call->name);
|
|
|
|
|
|
|
|
/*
|
|
|
|
* If an event is already enabled, someone is using
|
|
|
|
* it and the self test should not be on.
|
|
|
|
*/
|
2010-04-23 19:12:36 +04:00
|
|
|
if (call->flags & TRACE_EVENT_FL_ENABLED) {
|
2009-04-15 21:36:40 +04:00
|
|
|
pr_warning("Enabled event during self test!\n");
|
|
|
|
WARN_ON_ONCE(1);
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
|
2009-05-25 14:13:59 +04:00
|
|
|
ftrace_event_enable_disable(call, 1);
|
2009-04-15 21:36:40 +04:00
|
|
|
event_test_stuff();
|
2009-05-25 14:13:59 +04:00
|
|
|
ftrace_event_enable_disable(call, 0);
|
2009-04-15 21:36:40 +04:00
|
|
|
|
|
|
|
pr_cont("OK\n");
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Now test at the sub system level */
|
|
|
|
|
|
|
|
pr_info("Running tests on trace event systems:\n");
|
|
|
|
|
|
|
|
list_for_each_entry(system, &event_subsystems, list) {
|
|
|
|
|
|
|
|
/* the ftrace system is special, skip it */
|
|
|
|
if (strcmp(system->name, "ftrace") == 0)
|
|
|
|
continue;
|
|
|
|
|
|
|
|
pr_info("Testing event system %s: ", system->name);
|
|
|
|
|
2009-05-08 06:31:42 +04:00
|
|
|
ret = __ftrace_set_clr_event(NULL, system->name, NULL, 1);
|
2009-04-15 21:36:40 +04:00
|
|
|
if (WARN_ON_ONCE(ret)) {
|
|
|
|
pr_warning("error enabling system %s\n",
|
|
|
|
system->name);
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
|
|
|
|
event_test_stuff();
|
|
|
|
|
2009-05-08 06:31:42 +04:00
|
|
|
ret = __ftrace_set_clr_event(NULL, system->name, NULL, 0);
|
2009-04-15 21:36:40 +04:00
|
|
|
if (WARN_ON_ONCE(ret))
|
|
|
|
pr_warning("error disabling system %s\n",
|
|
|
|
system->name);
|
|
|
|
|
|
|
|
pr_cont("OK\n");
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Test with all events enabled */
|
|
|
|
|
|
|
|
pr_info("Running tests on all trace events:\n");
|
|
|
|
pr_info("Testing all events: ");
|
|
|
|
|
2009-05-08 06:31:42 +04:00
|
|
|
ret = __ftrace_set_clr_event(NULL, NULL, NULL, 1);
|
2009-04-15 21:36:40 +04:00
|
|
|
if (WARN_ON_ONCE(ret)) {
|
|
|
|
pr_warning("error enabling all events\n");
|
2009-04-16 20:15:44 +04:00
|
|
|
return;
|
2009-04-15 21:36:40 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
event_test_stuff();
|
|
|
|
|
|
|
|
/* reset sysname */
|
2009-05-08 06:31:42 +04:00
|
|
|
ret = __ftrace_set_clr_event(NULL, NULL, NULL, 0);
|
2009-04-15 21:36:40 +04:00
|
|
|
if (WARN_ON_ONCE(ret)) {
|
|
|
|
pr_warning("error disabling all events\n");
|
2009-04-16 20:15:44 +04:00
|
|
|
return;
|
2009-04-15 21:36:40 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
pr_cont("OK\n");
|
2009-04-16 20:15:44 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
#ifdef CONFIG_FUNCTION_TRACER
|
|
|
|
|
2009-06-24 10:13:48 +04:00
|
|
|
static DEFINE_PER_CPU(atomic_t, ftrace_test_event_disable);
|
2009-04-16 20:15:44 +04:00
|
|
|
|
|
|
|
static void
|
|
|
|
function_test_events_call(unsigned long ip, unsigned long parent_ip)
|
|
|
|
{
|
|
|
|
struct ring_buffer_event *event;
|
2009-09-02 22:17:06 +04:00
|
|
|
struct ring_buffer *buffer;
|
2009-04-16 20:15:44 +04:00
|
|
|
struct ftrace_entry *entry;
|
|
|
|
unsigned long flags;
|
|
|
|
long disabled;
|
|
|
|
int cpu;
|
|
|
|
int pc;
|
|
|
|
|
|
|
|
pc = preempt_count();
|
2010-06-03 17:36:50 +04:00
|
|
|
preempt_disable_notrace();
|
2009-04-16 20:15:44 +04:00
|
|
|
cpu = raw_smp_processor_id();
|
2009-06-24 10:13:48 +04:00
|
|
|
disabled = atomic_inc_return(&per_cpu(ftrace_test_event_disable, cpu));
|
2009-04-16 20:15:44 +04:00
|
|
|
|
|
|
|
if (disabled != 1)
|
|
|
|
goto out;
|
|
|
|
|
|
|
|
local_save_flags(flags);
|
|
|
|
|
2009-09-02 22:17:06 +04:00
|
|
|
event = trace_current_buffer_lock_reserve(&buffer,
|
|
|
|
TRACE_FN, sizeof(*entry),
|
2009-04-16 20:15:44 +04:00
|
|
|
flags, pc);
|
|
|
|
if (!event)
|
|
|
|
goto out;
|
|
|
|
entry = ring_buffer_event_data(event);
|
|
|
|
entry->ip = ip;
|
|
|
|
entry->parent_ip = parent_ip;
|
|
|
|
|
2009-09-02 22:17:06 +04:00
|
|
|
trace_nowake_buffer_unlock_commit(buffer, event, flags, pc);
|
2009-04-16 20:15:44 +04:00
|
|
|
|
|
|
|
out:
|
2009-06-24 10:13:48 +04:00
|
|
|
atomic_dec(&per_cpu(ftrace_test_event_disable, cpu));
|
2010-06-03 17:36:50 +04:00
|
|
|
preempt_enable_notrace();
|
2009-04-16 20:15:44 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
static struct ftrace_ops trace_ops __initdata =
|
|
|
|
{
|
|
|
|
.func = function_test_events_call,
|
|
|
|
};
|
|
|
|
|
|
|
|
static __init void event_trace_self_test_with_function(void)
|
|
|
|
{
|
|
|
|
register_ftrace_function(&trace_ops);
|
|
|
|
pr_info("Running tests again, along with the function tracer\n");
|
|
|
|
event_trace_self_tests();
|
|
|
|
unregister_ftrace_function(&trace_ops);
|
|
|
|
}
|
|
|
|
#else
|
|
|
|
static __init void event_trace_self_test_with_function(void)
|
|
|
|
{
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
|
|
|
|
static __init int event_trace_self_tests_init(void)
|
|
|
|
{
|
2009-07-01 06:47:05 +04:00
|
|
|
if (!tracing_selftest_disabled) {
|
|
|
|
event_trace_self_tests();
|
|
|
|
event_trace_self_test_with_function();
|
|
|
|
}
|
2009-04-15 21:36:40 +04:00
|
|
|
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
2009-04-20 20:12:44 +04:00
|
|
|
late_initcall(event_trace_self_tests_init);
|
2009-04-15 21:36:40 +04:00
|
|
|
|
|
|
|
#endif
|