xref: /linux/kernel/trace/trace_events_hist.c (revision 2c142b63c8ee982cdfdba49a616027c266294838)
1 // SPDX-License-Identifier: GPL-2.0
2 /*
3  * trace_events_hist - trace event hist triggers
4  *
5  * Copyright (C) 2015 Tom Zanussi <tom.zanussi@linux.intel.com>
6  */
7 
8 #include <linux/module.h>
9 #include <linux/kallsyms.h>
10 #include <linux/security.h>
11 #include <linux/mutex.h>
12 #include <linux/slab.h>
13 #include <linux/stacktrace.h>
14 #include <linux/rculist.h>
15 #include <linux/tracefs.h>
16 
17 /* for gfp flag names */
18 #include <linux/trace_events.h>
19 #include <trace/events/mmflags.h>
20 
21 #include "tracing_map.h"
22 #include "trace_synth.h"
23 
24 #define ERRORS								\
25 	C(NONE,			"No error"),				\
26 	C(DUPLICATE_VAR,	"Variable already defined"),		\
27 	C(VAR_NOT_UNIQUE,	"Variable name not unique, need to use fully qualified name (subsys.event.var) for variable"), \
28 	C(TOO_MANY_VARS,	"Too many variables defined"),		\
29 	C(MALFORMED_ASSIGNMENT,	"Malformed assignment"),		\
30 	C(NAMED_MISMATCH,	"Named hist trigger doesn't match existing named trigger (includes variables)"), \
31 	C(TRIGGER_EEXIST,	"Hist trigger already exists"),		\
32 	C(TRIGGER_ENOENT_CLEAR,	"Can't clear or continue a nonexistent hist trigger"), \
33 	C(SET_CLOCK_FAIL,	"Couldn't set trace_clock"),		\
34 	C(BAD_FIELD_MODIFIER,	"Invalid field modifier"),		\
35 	C(TOO_MANY_SUBEXPR,	"Too many subexpressions (3 max)"),	\
36 	C(TIMESTAMP_MISMATCH,	"Timestamp units in expression don't match"), \
37 	C(TOO_MANY_FIELD_VARS,	"Too many field variables defined"),	\
38 	C(EVENT_FILE_NOT_FOUND,	"Event file not found"),		\
39 	C(HIST_NOT_FOUND,	"Matching event histogram not found"),	\
40 	C(HIST_CREATE_FAIL,	"Couldn't create histogram for field"),	\
41 	C(SYNTH_VAR_NOT_FOUND,	"Couldn't find synthetic variable"),	\
42 	C(SYNTH_EVENT_NOT_FOUND,"Couldn't find synthetic event"),	\
43 	C(SYNTH_TYPE_MISMATCH,	"Param type doesn't match synthetic event field type"), \
44 	C(SYNTH_COUNT_MISMATCH,	"Param count doesn't match synthetic event field count"), \
45 	C(FIELD_VAR_PARSE_FAIL,	"Couldn't parse field variable"),	\
46 	C(VAR_CREATE_FIND_FAIL,	"Couldn't create or find variable"),	\
47 	C(ONX_NOT_VAR,		"For onmax(x) or onchange(x), x must be a variable"), \
48 	C(ONX_VAR_NOT_FOUND,	"Couldn't find onmax or onchange variable"), \
49 	C(ONX_VAR_CREATE_FAIL,	"Couldn't create onmax or onchange variable"), \
50 	C(FIELD_VAR_CREATE_FAIL,"Couldn't create field variable"),	\
51 	C(TOO_MANY_PARAMS,	"Too many action params"),		\
52 	C(PARAM_NOT_FOUND,	"Couldn't find param"),			\
53 	C(INVALID_PARAM,	"Invalid action param"),		\
54 	C(ACTION_NOT_FOUND,	"No action found"),			\
55 	C(NO_SAVE_PARAMS,	"No params found for save()"),		\
56 	C(TOO_MANY_SAVE_ACTIONS,"Can't have more than one save() action per hist"), \
57 	C(ACTION_MISMATCH,	"Handler doesn't support action"),	\
58 	C(NO_CLOSING_PAREN,	"No closing paren found"),		\
59 	C(SUBSYS_NOT_FOUND,	"Missing subsystem"),			\
60 	C(INVALID_SUBSYS_EVENT,	"Invalid subsystem or event name"),	\
61 	C(INVALID_REF_KEY,	"Using variable references in keys not supported"), \
62 	C(VAR_NOT_FOUND,	"Couldn't find variable"),		\
63 	C(FIELD_NOT_FOUND,	"Couldn't find field"),			\
64 	C(EMPTY_ASSIGNMENT,	"Empty assignment"),			\
65 	C(INVALID_SORT_MODIFIER,"Invalid sort modifier"),		\
66 	C(EMPTY_SORT_FIELD,	"Empty sort field"),			\
67 	C(TOO_MANY_SORT_FIELDS,	"Too many sort fields (Max = 2)"),	\
68 	C(INVALID_SORT_FIELD,	"Sort field must be a key or a val"),	\
69 	C(INVALID_STR_OPERAND,	"String type can not be an operand in expression"), \
70 	C(EXPECT_NUMBER,	"Expecting numeric literal"),		\
71 	C(UNARY_MINUS_SUBEXPR,	"Unary minus not supported in sub-expressions"), \
72 	C(DIVISION_BY_ZERO,	"Division by zero"),			\
73 	C(NEED_NOHC_VAL,	"Non-hitcount value is required for 'nohitcount'"),
74 
75 #undef C
76 #define C(a, b)		HIST_ERR_##a
77 
78 enum { ERRORS };
79 
80 #undef C
81 #define C(a, b)		b
82 
83 static const char *err_text[] = { ERRORS };
84 
85 struct hist_field;
86 
87 typedef u64 (*hist_field_fn_t) (struct hist_field *field,
88 				struct tracing_map_elt *elt,
89 				struct trace_buffer *buffer,
90 				struct ring_buffer_event *rbe,
91 				void *event);
92 
93 #define HIST_FIELD_OPERANDS_MAX	2
94 #define HIST_FIELDS_MAX		(TRACING_MAP_FIELDS_MAX + TRACING_MAP_VARS_MAX)
95 #define HIST_ACTIONS_MAX	8
96 #define HIST_CONST_DIGITS_MAX	21
97 #define HIST_DIV_SHIFT		20  /* For optimizing division by constants */
98 
99 enum field_op_id {
100 	FIELD_OP_NONE,
101 	FIELD_OP_PLUS,
102 	FIELD_OP_MINUS,
103 	FIELD_OP_UNARY_MINUS,
104 	FIELD_OP_DIV,
105 	FIELD_OP_MULT,
106 };
107 
108 #define FIELD_FUNCS					\
109 	C(NOP,			"nop"),			\
110 	C(VAR_REF,		"var_ref"),		\
111 	C(COUNTER,		"counter"),		\
112 	C(CONST,		"const"),		\
113 	C(LOG2,			"log2"),		\
114 	C(BUCKET,		"bucket"),		\
115 	C(TIMESTAMP,		"timestamp"),		\
116 	C(CPU,			"cpu"),			\
117 	C(COMM,			"comm"),		\
118 	C(STRING,		"string"),		\
119 	C(DYNSTRING,		"dynstring"),		\
120 	C(RELDYNSTRING,		"reldynstring"),	\
121 	C(PSTRING,		"pstring"),		\
122 	C(S64,			"s64"),			\
123 	C(U64,			"u64"),			\
124 	C(S32,			"s32"),			\
125 	C(U32,			"u32"),			\
126 	C(S16,			"s16"),			\
127 	C(U16,			"u16"),			\
128 	C(S8,			"s8"),			\
129 	C(U8,			"u8"),			\
130 	C(UMINUS,		"uminus"),		\
131 	C(MINUS,		"minus"),		\
132 	C(PLUS,			"plus"),		\
133 	C(DIV,			"div"),			\
134 	C(MULT,			"mult"),		\
135 	C(DIV_POWER2,		"div_power2"),		\
136 	C(DIV_NOT_POWER2,	"div_not_power2"),	\
137 	C(DIV_MULT_SHIFT,	"div_mult_shift"),	\
138 	C(EXECNAME,		"execname"),		\
139 	C(STACK,		"stack"),
140 
141 #undef C
142 #define C(a, b)		HIST_FIELD_FN_##a
143 
144 enum hist_field_fn {
145 	FIELD_FUNCS
146 };
147 
148 /*
149  * A hist_var (histogram variable) contains variable information for
150  * hist_fields having the HIST_FIELD_FL_VAR or HIST_FIELD_FL_VAR_REF
151  * flag set.  A hist_var has a variable name e.g. ts0, and is
152  * associated with a given histogram trigger, as specified by
153  * hist_data.  The hist_var idx is the unique index assigned to the
154  * variable by the hist trigger's tracing_map.  The idx is what is
155  * used to set a variable's value and, by a variable reference, to
156  * retrieve it.
157  */
158 struct hist_var {
159 	char				*name;
160 	struct hist_trigger_data	*hist_data;
161 	unsigned int			idx;
162 };
163 
164 struct hist_field {
165 	struct ftrace_event_field	*field;
166 	unsigned long			flags;
167 	unsigned long			buckets;
168 	const char			*type;
169 	struct hist_field		*operands[HIST_FIELD_OPERANDS_MAX];
170 	struct hist_trigger_data	*hist_data;
171 	enum hist_field_fn		fn_num;
172 	unsigned int			ref;
173 	unsigned int			size;
174 	unsigned int			offset;
175 	unsigned int                    is_signed;
176 
177 	/*
178 	 * Variable fields contain variable-specific info in var.
179 	 */
180 	struct hist_var			var;
181 	enum field_op_id		operator;
182 	char				*system;
183 	char				*event_name;
184 
185 	/*
186 	 * The name field is used for EXPR and VAR_REF fields.  VAR
187 	 * fields contain the variable name in var.name.
188 	 */
189 	char				*name;
190 
191 	/*
192 	 * When a histogram trigger is hit, if it has any references
193 	 * to variables, the values of those variables are collected
194 	 * into a var_ref_vals array by resolve_var_refs().  The
195 	 * current value of each variable is read from the tracing_map
196 	 * using the hist field's hist_var.idx and entered into the
197 	 * var_ref_idx entry i.e. var_ref_vals[var_ref_idx].
198 	 */
199 	unsigned int			var_ref_idx;
200 	bool                            read_once;
201 
202 	unsigned int			var_str_idx;
203 
204 	/* Numeric literals are represented as u64 */
205 	u64				constant;
206 	/* Used to optimize division by constants */
207 	u64				div_multiplier;
208 };
209 
210 static u64 hist_fn_call(struct hist_field *hist_field,
211 			struct tracing_map_elt *elt,
212 			struct trace_buffer *buffer,
213 			struct ring_buffer_event *rbe,
214 			void *event);
215 
hist_field_const(struct hist_field * field,struct tracing_map_elt * elt,struct trace_buffer * buffer,struct ring_buffer_event * rbe,void * event)216 static u64 hist_field_const(struct hist_field *field,
217 			   struct tracing_map_elt *elt,
218 			   struct trace_buffer *buffer,
219 			   struct ring_buffer_event *rbe,
220 			   void *event)
221 {
222 	return field->constant;
223 }
224 
hist_field_counter(struct hist_field * field,struct tracing_map_elt * elt,struct trace_buffer * buffer,struct ring_buffer_event * rbe,void * event)225 static u64 hist_field_counter(struct hist_field *field,
226 			      struct tracing_map_elt *elt,
227 			      struct trace_buffer *buffer,
228 			      struct ring_buffer_event *rbe,
229 			      void *event)
230 {
231 	return 1;
232 }
233 
hist_field_string(struct hist_field * hist_field,struct tracing_map_elt * elt,struct trace_buffer * buffer,struct ring_buffer_event * rbe,void * event)234 static u64 hist_field_string(struct hist_field *hist_field,
235 			     struct tracing_map_elt *elt,
236 			     struct trace_buffer *buffer,
237 			     struct ring_buffer_event *rbe,
238 			     void *event)
239 {
240 	char *addr = (char *)(event + hist_field->field->offset);
241 
242 	return (u64)(unsigned long)addr;
243 }
244 
hist_field_dynstring(struct hist_field * hist_field,struct tracing_map_elt * elt,struct trace_buffer * buffer,struct ring_buffer_event * rbe,void * event)245 static u64 hist_field_dynstring(struct hist_field *hist_field,
246 				struct tracing_map_elt *elt,
247 				struct trace_buffer *buffer,
248 				struct ring_buffer_event *rbe,
249 				void *event)
250 {
251 	u32 str_item = *(u32 *)(event + hist_field->field->offset);
252 	int str_loc = str_item & 0xffff;
253 	char *addr = (char *)(event + str_loc);
254 
255 	return (u64)(unsigned long)addr;
256 }
257 
hist_field_reldynstring(struct hist_field * hist_field,struct tracing_map_elt * elt,struct trace_buffer * buffer,struct ring_buffer_event * rbe,void * event)258 static u64 hist_field_reldynstring(struct hist_field *hist_field,
259 				   struct tracing_map_elt *elt,
260 				   struct trace_buffer *buffer,
261 				   struct ring_buffer_event *rbe,
262 				   void *event)
263 {
264 	u32 *item = event + hist_field->field->offset;
265 	u32 str_item = *item;
266 	int str_loc = str_item & 0xffff;
267 	char *addr = (char *)&item[1] + str_loc;
268 
269 	return (u64)(unsigned long)addr;
270 }
271 
hist_field_pstring(struct hist_field * hist_field,struct tracing_map_elt * elt,struct trace_buffer * buffer,struct ring_buffer_event * rbe,void * event)272 static u64 hist_field_pstring(struct hist_field *hist_field,
273 			      struct tracing_map_elt *elt,
274 			      struct trace_buffer *buffer,
275 			      struct ring_buffer_event *rbe,
276 			      void *event)
277 {
278 	char **addr = (char **)(event + hist_field->field->offset);
279 
280 	return (u64)(unsigned long)*addr;
281 }
282 
hist_field_log2(struct hist_field * hist_field,struct tracing_map_elt * elt,struct trace_buffer * buffer,struct ring_buffer_event * rbe,void * event)283 static u64 hist_field_log2(struct hist_field *hist_field,
284 			   struct tracing_map_elt *elt,
285 			   struct trace_buffer *buffer,
286 			   struct ring_buffer_event *rbe,
287 			   void *event)
288 {
289 	struct hist_field *operand = hist_field->operands[0];
290 
291 	u64 val = hist_fn_call(operand, elt, buffer, rbe, event);
292 
293 	return (u64) ilog2(roundup_pow_of_two(val));
294 }
295 
hist_field_bucket(struct hist_field * hist_field,struct tracing_map_elt * elt,struct trace_buffer * buffer,struct ring_buffer_event * rbe,void * event)296 static u64 hist_field_bucket(struct hist_field *hist_field,
297 			     struct tracing_map_elt *elt,
298 			     struct trace_buffer *buffer,
299 			     struct ring_buffer_event *rbe,
300 			     void *event)
301 {
302 	struct hist_field *operand = hist_field->operands[0];
303 	unsigned long buckets = hist_field->buckets;
304 
305 	u64 val = hist_fn_call(operand, elt, buffer, rbe, event);
306 
307 	if (WARN_ON_ONCE(!buckets))
308 		return val;
309 
310 	if (val >= LONG_MAX)
311 		val = div64_ul(val, buckets);
312 	else
313 		val = (u64)((unsigned long)val / buckets);
314 	return val * buckets;
315 }
316 
hist_field_plus(struct hist_field * hist_field,struct tracing_map_elt * elt,struct trace_buffer * buffer,struct ring_buffer_event * rbe,void * event)317 static u64 hist_field_plus(struct hist_field *hist_field,
318 			   struct tracing_map_elt *elt,
319 			   struct trace_buffer *buffer,
320 			   struct ring_buffer_event *rbe,
321 			   void *event)
322 {
323 	struct hist_field *operand1 = hist_field->operands[0];
324 	struct hist_field *operand2 = hist_field->operands[1];
325 
326 	u64 val1 = hist_fn_call(operand1, elt, buffer, rbe, event);
327 	u64 val2 = hist_fn_call(operand2, elt, buffer, rbe, event);
328 
329 	return val1 + val2;
330 }
331 
hist_field_minus(struct hist_field * hist_field,struct tracing_map_elt * elt,struct trace_buffer * buffer,struct ring_buffer_event * rbe,void * event)332 static u64 hist_field_minus(struct hist_field *hist_field,
333 			    struct tracing_map_elt *elt,
334 			    struct trace_buffer *buffer,
335 			    struct ring_buffer_event *rbe,
336 			    void *event)
337 {
338 	struct hist_field *operand1 = hist_field->operands[0];
339 	struct hist_field *operand2 = hist_field->operands[1];
340 
341 	u64 val1 = hist_fn_call(operand1, elt, buffer, rbe, event);
342 	u64 val2 = hist_fn_call(operand2, elt, buffer, rbe, event);
343 
344 	return val1 - val2;
345 }
346 
hist_field_div(struct hist_field * hist_field,struct tracing_map_elt * elt,struct trace_buffer * buffer,struct ring_buffer_event * rbe,void * event)347 static u64 hist_field_div(struct hist_field *hist_field,
348 			   struct tracing_map_elt *elt,
349 			   struct trace_buffer *buffer,
350 			   struct ring_buffer_event *rbe,
351 			   void *event)
352 {
353 	struct hist_field *operand1 = hist_field->operands[0];
354 	struct hist_field *operand2 = hist_field->operands[1];
355 
356 	u64 val1 = hist_fn_call(operand1, elt, buffer, rbe, event);
357 	u64 val2 = hist_fn_call(operand2, elt, buffer, rbe, event);
358 
359 	/* Return -1 for the undefined case */
360 	if (!val2)
361 		return -1;
362 
363 	/* Use shift if the divisor is a power of 2 */
364 	if (!(val2 & (val2 - 1)))
365 		return val1 >> __ffs64(val2);
366 
367 	return div64_u64(val1, val2);
368 }
369 
div_by_power_of_two(struct hist_field * hist_field,struct tracing_map_elt * elt,struct trace_buffer * buffer,struct ring_buffer_event * rbe,void * event)370 static u64 div_by_power_of_two(struct hist_field *hist_field,
371 				struct tracing_map_elt *elt,
372 				struct trace_buffer *buffer,
373 				struct ring_buffer_event *rbe,
374 				void *event)
375 {
376 	struct hist_field *operand1 = hist_field->operands[0];
377 	struct hist_field *operand2 = hist_field->operands[1];
378 
379 	u64 val1 = hist_fn_call(operand1, elt, buffer, rbe, event);
380 
381 	return val1 >> __ffs64(operand2->constant);
382 }
383 
div_by_not_power_of_two(struct hist_field * hist_field,struct tracing_map_elt * elt,struct trace_buffer * buffer,struct ring_buffer_event * rbe,void * event)384 static u64 div_by_not_power_of_two(struct hist_field *hist_field,
385 				struct tracing_map_elt *elt,
386 				struct trace_buffer *buffer,
387 				struct ring_buffer_event *rbe,
388 				void *event)
389 {
390 	struct hist_field *operand1 = hist_field->operands[0];
391 	struct hist_field *operand2 = hist_field->operands[1];
392 
393 	u64 val1 = hist_fn_call(operand1, elt, buffer, rbe, event);
394 
395 	return div64_u64(val1, operand2->constant);
396 }
397 
div_by_mult_and_shift(struct hist_field * hist_field,struct tracing_map_elt * elt,struct trace_buffer * buffer,struct ring_buffer_event * rbe,void * event)398 static u64 div_by_mult_and_shift(struct hist_field *hist_field,
399 				struct tracing_map_elt *elt,
400 				struct trace_buffer *buffer,
401 				struct ring_buffer_event *rbe,
402 				void *event)
403 {
404 	struct hist_field *operand1 = hist_field->operands[0];
405 	struct hist_field *operand2 = hist_field->operands[1];
406 
407 	u64 val1 = hist_fn_call(operand1, elt, buffer, rbe, event);
408 
409 	/*
410 	 * If the divisor is a constant, do a multiplication and shift instead.
411 	 *
412 	 * Choose Z = some power of 2. If Y <= Z, then:
413 	 *     X / Y = (X * (Z / Y)) / Z
414 	 *
415 	 * (Z / Y) is a constant (mult) which is calculated at parse time, so:
416 	 *     X / Y = (X * mult) / Z
417 	 *
418 	 * The division by Z can be replaced by a shift since Z is a power of 2:
419 	 *     X / Y = (X * mult) >> HIST_DIV_SHIFT
420 	 *
421 	 * As long, as X < Z the results will not be off by more than 1.
422 	 */
423 	if (val1 < (1 << HIST_DIV_SHIFT)) {
424 		u64 mult = operand2->div_multiplier;
425 
426 		return (val1 * mult + ((1 << HIST_DIV_SHIFT) - 1)) >> HIST_DIV_SHIFT;
427 	}
428 
429 	return div64_u64(val1, operand2->constant);
430 }
431 
hist_field_mult(struct hist_field * hist_field,struct tracing_map_elt * elt,struct trace_buffer * buffer,struct ring_buffer_event * rbe,void * event)432 static u64 hist_field_mult(struct hist_field *hist_field,
433 			   struct tracing_map_elt *elt,
434 			   struct trace_buffer *buffer,
435 			   struct ring_buffer_event *rbe,
436 			   void *event)
437 {
438 	struct hist_field *operand1 = hist_field->operands[0];
439 	struct hist_field *operand2 = hist_field->operands[1];
440 
441 	u64 val1 = hist_fn_call(operand1, elt, buffer, rbe, event);
442 	u64 val2 = hist_fn_call(operand2, elt, buffer, rbe, event);
443 
444 	return val1 * val2;
445 }
446 
hist_field_unary_minus(struct hist_field * hist_field,struct tracing_map_elt * elt,struct trace_buffer * buffer,struct ring_buffer_event * rbe,void * event)447 static u64 hist_field_unary_minus(struct hist_field *hist_field,
448 				  struct tracing_map_elt *elt,
449 				  struct trace_buffer *buffer,
450 				  struct ring_buffer_event *rbe,
451 				  void *event)
452 {
453 	struct hist_field *operand = hist_field->operands[0];
454 
455 	s64 sval = (s64)hist_fn_call(operand, elt, buffer, rbe, event);
456 	u64 val = (u64)-sval;
457 
458 	return val;
459 }
460 
461 #define DEFINE_HIST_FIELD_FN(type)					\
462 	static u64 hist_field_##type(struct hist_field *hist_field,	\
463 				     struct tracing_map_elt *elt,	\
464 				     struct trace_buffer *buffer,	\
465 				     struct ring_buffer_event *rbe,	\
466 				     void *event)			\
467 {									\
468 	type *addr = (type *)(event + hist_field->field->offset);	\
469 									\
470 	return (u64)(unsigned long)*addr;				\
471 }
472 
473 DEFINE_HIST_FIELD_FN(s64);
474 DEFINE_HIST_FIELD_FN(u64);
475 DEFINE_HIST_FIELD_FN(s32);
476 DEFINE_HIST_FIELD_FN(u32);
477 DEFINE_HIST_FIELD_FN(s16);
478 DEFINE_HIST_FIELD_FN(u16);
479 DEFINE_HIST_FIELD_FN(s8);
480 DEFINE_HIST_FIELD_FN(u8);
481 
482 #define for_each_hist_field(i, hist_data)	\
483 	for ((i) = 0; (i) < (hist_data)->n_fields; (i)++)
484 
485 #define for_each_hist_val_field(i, hist_data)	\
486 	for ((i) = 0; (i) < (hist_data)->n_vals; (i)++)
487 
488 #define for_each_hist_key_field(i, hist_data)	\
489 	for ((i) = (hist_data)->n_vals; (i) < (hist_data)->n_fields; (i)++)
490 
491 #define HITCOUNT_IDX		0
492 #define HIST_KEY_SIZE_MAX	(MAX_FILTER_STR_VAL + HIST_STACKTRACE_SIZE)
493 
494 enum hist_field_flags {
495 	HIST_FIELD_FL_HITCOUNT		= 1 << 0,
496 	HIST_FIELD_FL_KEY		= 1 << 1,
497 	HIST_FIELD_FL_STRING		= 1 << 2,
498 	HIST_FIELD_FL_HEX		= 1 << 3,
499 	HIST_FIELD_FL_SYM		= 1 << 4,
500 	HIST_FIELD_FL_SYM_OFFSET	= 1 << 5,
501 	HIST_FIELD_FL_EXECNAME		= 1 << 6,
502 	HIST_FIELD_FL_SYSCALL		= 1 << 7,
503 	HIST_FIELD_FL_STACKTRACE	= 1 << 8,
504 	HIST_FIELD_FL_LOG2		= 1 << 9,
505 	HIST_FIELD_FL_TIMESTAMP		= 1 << 10,
506 	HIST_FIELD_FL_TIMESTAMP_USECS	= 1 << 11,
507 	HIST_FIELD_FL_VAR		= 1 << 12,
508 	HIST_FIELD_FL_EXPR		= 1 << 13,
509 	HIST_FIELD_FL_VAR_REF		= 1 << 14,
510 	HIST_FIELD_FL_CPU		= 1 << 15,
511 	HIST_FIELD_FL_ALIAS		= 1 << 16,
512 	HIST_FIELD_FL_BUCKET		= 1 << 17,
513 	HIST_FIELD_FL_CONST		= 1 << 18,
514 	HIST_FIELD_FL_PERCENT		= 1 << 19,
515 	HIST_FIELD_FL_GRAPH		= 1 << 20,
516 	HIST_FIELD_FL_COMM		= 1 << 21,
517 };
518 
519 struct var_defs {
520 	unsigned int	n_vars;
521 	char		*name[TRACING_MAP_VARS_MAX];
522 	char		*expr[TRACING_MAP_VARS_MAX];
523 };
524 
525 struct hist_trigger_attrs {
526 	char		*keys_str;
527 	char		*vals_str;
528 	char		*sort_key_str;
529 	char		*name;
530 	char		*clock;
531 	bool		pause;
532 	bool		cont;
533 	bool		clear;
534 	bool		ts_in_usecs;
535 	bool		no_hitcount;
536 	unsigned int	map_bits;
537 
538 	char		*assignment_str[TRACING_MAP_VARS_MAX];
539 	unsigned int	n_assignments;
540 
541 	char		*action_str[HIST_ACTIONS_MAX];
542 	unsigned int	n_actions;
543 
544 	struct var_defs	var_defs;
545 };
546 
547 struct field_var {
548 	struct hist_field	*var;
549 	struct hist_field	*val;
550 };
551 
552 struct field_var_hist {
553 	struct hist_trigger_data	*hist_data;
554 	char				*cmd;
555 };
556 
557 struct hist_trigger_data {
558 	struct hist_field               *fields[HIST_FIELDS_MAX];
559 	unsigned int			n_vals;
560 	unsigned int			n_keys;
561 	unsigned int			n_fields;
562 	unsigned int			n_vars;
563 	unsigned int			n_var_str;
564 	unsigned int			key_size;
565 	struct tracing_map_sort_key	sort_keys[TRACING_MAP_SORT_KEYS_MAX];
566 	unsigned int			n_sort_keys;
567 	struct trace_event_file		*event_file;
568 	struct hist_trigger_attrs	*attrs;
569 	struct tracing_map		*map;
570 	bool				enable_timestamps;
571 	bool				remove;
572 	struct hist_field               *var_refs[TRACING_MAP_VARS_MAX];
573 	unsigned int			n_var_refs;
574 
575 	struct action_data		*actions[HIST_ACTIONS_MAX];
576 	unsigned int			n_actions;
577 
578 	struct field_var		*field_vars[SYNTH_FIELDS_MAX];
579 	unsigned int			n_field_vars;
580 	unsigned int			n_field_var_str;
581 	struct field_var_hist		*field_var_hists[SYNTH_FIELDS_MAX];
582 	unsigned int			n_field_var_hists;
583 
584 	struct field_var		*save_vars[SYNTH_FIELDS_MAX];
585 	unsigned int			n_save_vars;
586 	unsigned int			n_save_var_str;
587 };
588 
589 struct action_data;
590 
591 typedef void (*action_fn_t) (struct hist_trigger_data *hist_data,
592 			     struct tracing_map_elt *elt,
593 			     struct trace_buffer *buffer, void *rec,
594 			     struct ring_buffer_event *rbe, void *key,
595 			     struct action_data *data, u64 *var_ref_vals);
596 
597 typedef bool (*check_track_val_fn_t) (u64 track_val, u64 var_val);
598 
599 enum handler_id {
600 	HANDLER_ONMATCH = 1,
601 	HANDLER_ONMAX,
602 	HANDLER_ONCHANGE,
603 };
604 
605 enum action_id {
606 	ACTION_SAVE = 1,
607 	ACTION_TRACE,
608 	ACTION_SNAPSHOT,
609 };
610 
611 struct action_data {
612 	enum handler_id		handler;
613 	enum action_id		action;
614 	char			*action_name;
615 	action_fn_t		fn;
616 
617 	unsigned int		n_params;
618 	char			*params[SYNTH_FIELDS_MAX];
619 
620 	/*
621 	 * When a histogram trigger is hit, the values of any
622 	 * references to variables, including variables being passed
623 	 * as parameters to synthetic events, are collected into a
624 	 * var_ref_vals array.  This var_ref_idx array is an array of
625 	 * indices into the var_ref_vals array, one for each synthetic
626 	 * event param, and is passed to the synthetic event
627 	 * invocation.
628 	 */
629 	unsigned int		var_ref_idx[SYNTH_FIELDS_MAX];
630 	struct synth_event	*synth_event;
631 	bool			use_trace_keyword;
632 	char			*synth_event_name;
633 
634 	union {
635 		struct {
636 			char			*event;
637 			char			*event_system;
638 		} match_data;
639 
640 		struct {
641 			/*
642 			 * var_str contains the $-unstripped variable
643 			 * name referenced by var_ref, and used when
644 			 * printing the action.  Because var_ref
645 			 * creation is deferred to create_actions(),
646 			 * we need a per-action way to save it until
647 			 * then, thus var_str.
648 			 */
649 			char			*var_str;
650 
651 			/*
652 			 * var_ref refers to the variable being
653 			 * tracked e.g onmax($var).
654 			 */
655 			struct hist_field	*var_ref;
656 
657 			/*
658 			 * track_var contains the 'invisible' tracking
659 			 * variable created to keep the current
660 			 * e.g. max value.
661 			 */
662 			struct hist_field	*track_var;
663 
664 			check_track_val_fn_t	check_val;
665 			action_fn_t		save_data;
666 		} track_data;
667 	};
668 };
669 
670 struct track_data {
671 	u64				track_val;
672 	bool				updated;
673 
674 	unsigned int			key_len;
675 	void				*key;
676 	struct tracing_map_elt		elt;
677 
678 	struct action_data		*action_data;
679 	struct hist_trigger_data	*hist_data;
680 };
681 
682 struct hist_elt_data {
683 	char *comm;
684 	u64 *var_ref_vals;
685 	char **field_var_str;
686 	int n_field_var_str;
687 };
688 
689 struct snapshot_context {
690 	struct tracing_map_elt	*elt;
691 	void			*key;
692 };
693 
694 /*
695  * Returns the specific division function to use if the divisor
696  * is constant. This avoids extra branches when the trigger is hit.
697  */
hist_field_get_div_fn(struct hist_field * divisor)698 static enum hist_field_fn hist_field_get_div_fn(struct hist_field *divisor)
699 {
700 	u64 div = divisor->constant;
701 
702 	if (!(div & (div - 1)))
703 		return HIST_FIELD_FN_DIV_POWER2;
704 
705 	/* If the divisor is too large, do a regular division */
706 	if (div > (1 << HIST_DIV_SHIFT))
707 		return HIST_FIELD_FN_DIV_NOT_POWER2;
708 
709 	divisor->div_multiplier = div64_u64((u64)(1 << HIST_DIV_SHIFT), div);
710 	return HIST_FIELD_FN_DIV_MULT_SHIFT;
711 }
712 
track_data_free(struct track_data * track_data)713 static void track_data_free(struct track_data *track_data)
714 {
715 	struct hist_elt_data *elt_data;
716 
717 	if (!track_data)
718 		return;
719 
720 	kfree(track_data->key);
721 
722 	elt_data = track_data->elt.private_data;
723 	if (elt_data) {
724 		kfree(elt_data->comm);
725 		kfree(elt_data);
726 	}
727 
728 	kfree(track_data);
729 }
730 
track_data_alloc(unsigned int key_len,struct action_data * action_data,struct hist_trigger_data * hist_data)731 static struct track_data *track_data_alloc(unsigned int key_len,
732 					   struct action_data *action_data,
733 					   struct hist_trigger_data *hist_data)
734 {
735 	struct track_data *data = kzalloc_obj(*data);
736 	struct hist_elt_data *elt_data;
737 
738 	if (!data)
739 		return ERR_PTR(-ENOMEM);
740 
741 	data->key = kzalloc(key_len, GFP_KERNEL);
742 	if (!data->key) {
743 		track_data_free(data);
744 		return ERR_PTR(-ENOMEM);
745 	}
746 
747 	data->key_len = key_len;
748 	data->action_data = action_data;
749 	data->hist_data = hist_data;
750 
751 	elt_data = kzalloc_obj(*elt_data);
752 	if (!elt_data) {
753 		track_data_free(data);
754 		return ERR_PTR(-ENOMEM);
755 	}
756 
757 	data->elt.private_data = elt_data;
758 
759 	elt_data->comm = kzalloc(TASK_COMM_LEN, GFP_KERNEL);
760 	if (!elt_data->comm) {
761 		track_data_free(data);
762 		return ERR_PTR(-ENOMEM);
763 	}
764 
765 	return data;
766 }
767 
768 #define HIST_PREFIX "hist:"
769 
770 static char *last_cmd;
771 static char last_cmd_loc[MAX_FILTER_STR_VAL];
772 
errpos(char * str)773 static int errpos(char *str)
774 {
775 	if (!str || !last_cmd)
776 		return 0;
777 
778 	return err_pos(last_cmd, str);
779 }
780 
last_cmd_set(struct trace_event_file * file,char * str)781 static void last_cmd_set(struct trace_event_file *file, char *str)
782 {
783 	const char *system = NULL, *name = NULL;
784 	struct trace_event_call *call;
785 
786 	if (!str)
787 		return;
788 
789 	kfree(last_cmd);
790 
791 	last_cmd = kasprintf(GFP_KERNEL, HIST_PREFIX "%s", str);
792 	if (!last_cmd)
793 		return;
794 
795 	if (file) {
796 		call = file->event_call;
797 		system = call->class->system;
798 		if (system) {
799 			name = trace_event_name(call);
800 			if (!name)
801 				system = NULL;
802 		}
803 	}
804 
805 	if (system)
806 		snprintf(last_cmd_loc, MAX_FILTER_STR_VAL, HIST_PREFIX "%s:%s", system, name);
807 }
808 
hist_err(struct trace_array * tr,u8 err_type,u16 err_pos)809 static void hist_err(struct trace_array *tr, u8 err_type, u16 err_pos)
810 {
811 	if (!last_cmd)
812 		return;
813 
814 	tracing_log_err(tr, last_cmd_loc, last_cmd, err_text,
815 			err_type, err_pos);
816 }
817 
hist_err_clear(void)818 static void hist_err_clear(void)
819 {
820 	if (last_cmd)
821 		last_cmd[0] = '\0';
822 	last_cmd_loc[0] = '\0';
823 }
824 
825 typedef void (*synth_probe_func_t) (void *__data, u64 *var_ref_vals,
826 				    unsigned int *var_ref_idx);
827 
trace_synth(struct synth_event * event,u64 * var_ref_vals,unsigned int * var_ref_idx)828 static inline void trace_synth(struct synth_event *event, u64 *var_ref_vals,
829 			       unsigned int *var_ref_idx)
830 {
831 	struct tracepoint *tp = event->tp;
832 
833 	if (unlikely(static_key_enabled(&tp->key))) {
834 		struct tracepoint_func *probe_func_ptr;
835 		synth_probe_func_t probe_func;
836 		void *__data;
837 
838 		if (!(cpu_online(raw_smp_processor_id())))
839 			return;
840 
841 		probe_func_ptr = rcu_dereference_sched((tp)->funcs);
842 		if (probe_func_ptr) {
843 			do {
844 				probe_func = probe_func_ptr->func;
845 				__data = probe_func_ptr->data;
846 				probe_func(__data, var_ref_vals, var_ref_idx);
847 			} while ((++probe_func_ptr)->func);
848 		}
849 	}
850 }
851 
action_trace(struct hist_trigger_data * hist_data,struct tracing_map_elt * elt,struct trace_buffer * buffer,void * rec,struct ring_buffer_event * rbe,void * key,struct action_data * data,u64 * var_ref_vals)852 static void action_trace(struct hist_trigger_data *hist_data,
853 			 struct tracing_map_elt *elt,
854 			 struct trace_buffer *buffer, void *rec,
855 			 struct ring_buffer_event *rbe, void *key,
856 			 struct action_data *data, u64 *var_ref_vals)
857 {
858 	struct synth_event *event = data->synth_event;
859 
860 	trace_synth(event, var_ref_vals, data->var_ref_idx);
861 }
862 
863 struct hist_var_data {
864 	struct list_head list;
865 	struct hist_trigger_data *hist_data;
866 };
867 
hist_field_timestamp(struct hist_field * hist_field,struct tracing_map_elt * elt,struct trace_buffer * buffer,struct ring_buffer_event * rbe,void * event)868 static u64 hist_field_timestamp(struct hist_field *hist_field,
869 				struct tracing_map_elt *elt,
870 				struct trace_buffer *buffer,
871 				struct ring_buffer_event *rbe,
872 				void *event)
873 {
874 	struct hist_trigger_data *hist_data = hist_field->hist_data;
875 	struct trace_array *tr = hist_data->event_file->tr;
876 
877 	u64 ts = ring_buffer_event_time_stamp(buffer, rbe);
878 
879 	if (hist_data->attrs->ts_in_usecs && trace_clock_in_ns(tr))
880 		ts = ns2usecs(ts);
881 
882 	return ts;
883 }
884 
hist_field_cpu(struct hist_field * hist_field,struct tracing_map_elt * elt,struct trace_buffer * buffer,struct ring_buffer_event * rbe,void * event)885 static u64 hist_field_cpu(struct hist_field *hist_field,
886 			  struct tracing_map_elt *elt,
887 			  struct trace_buffer *buffer,
888 			  struct ring_buffer_event *rbe,
889 			  void *event)
890 {
891 	int cpu = smp_processor_id();
892 
893 	return cpu;
894 }
895 
hist_field_comm(struct hist_field * hist_field,struct tracing_map_elt * elt,struct trace_buffer * buffer,struct ring_buffer_event * rbe,void * event)896 static u64 hist_field_comm(struct hist_field *hist_field,
897 			  struct tracing_map_elt *elt,
898 			  struct trace_buffer *buffer,
899 			  struct ring_buffer_event *rbe,
900 			  void *event)
901 {
902 	return (u64)(unsigned long)current->comm;
903 }
904 
905 /**
906  * check_field_for_var_ref - Check if a VAR_REF field references a variable
907  * @hist_field: The VAR_REF field to check
908  * @var_data: The hist trigger that owns the variable
909  * @var_idx: The trigger variable identifier
910  *
911  * Check the given VAR_REF field to see whether or not it references
912  * the given variable associated with the given trigger.
913  *
914  * Return: The VAR_REF field if it does reference the variable, NULL if not
915  */
916 static struct hist_field *
check_field_for_var_ref(struct hist_field * hist_field,struct hist_trigger_data * var_data,unsigned int var_idx)917 check_field_for_var_ref(struct hist_field *hist_field,
918 			struct hist_trigger_data *var_data,
919 			unsigned int var_idx)
920 {
921 	WARN_ON(!(hist_field && hist_field->flags & HIST_FIELD_FL_VAR_REF));
922 
923 	if (hist_field && hist_field->var.idx == var_idx &&
924 	    hist_field->var.hist_data == var_data)
925 		return hist_field;
926 
927 	return NULL;
928 }
929 
930 /**
931  * find_var_ref - Check if a trigger has a reference to a trigger variable
932  * @hist_data: The hist trigger that might have a reference to the variable
933  * @var_data: The hist trigger that owns the variable
934  * @var_idx: The trigger variable identifier
935  *
936  * Check the list of var_refs[] on the first hist trigger to see
937  * whether any of them are references to the variable on the second
938  * trigger.
939  *
940  * Return: The VAR_REF field referencing the variable if so, NULL if not
941  */
find_var_ref(struct hist_trigger_data * hist_data,struct hist_trigger_data * var_data,unsigned int var_idx)942 static struct hist_field *find_var_ref(struct hist_trigger_data *hist_data,
943 				       struct hist_trigger_data *var_data,
944 				       unsigned int var_idx)
945 {
946 	struct hist_field *hist_field;
947 	unsigned int i;
948 
949 	for (i = 0; i < hist_data->n_var_refs; i++) {
950 		hist_field = hist_data->var_refs[i];
951 		if (check_field_for_var_ref(hist_field, var_data, var_idx))
952 			return hist_field;
953 	}
954 
955 	return NULL;
956 }
957 
958 /**
959  * find_any_var_ref - Check if there is a reference to a given trigger variable
960  * @hist_data: The hist trigger
961  * @var_idx: The trigger variable identifier
962  *
963  * Check to see whether the given variable is currently referenced by
964  * any other trigger.
965  *
966  * The trigger the variable is defined on is explicitly excluded - the
967  * assumption being that a self-reference doesn't prevent a trigger
968  * from being removed.
969  *
970  * Return: The VAR_REF field referencing the variable if so, NULL if not
971  */
find_any_var_ref(struct hist_trigger_data * hist_data,unsigned int var_idx)972 static struct hist_field *find_any_var_ref(struct hist_trigger_data *hist_data,
973 					   unsigned int var_idx)
974 {
975 	struct trace_array *tr = hist_data->event_file->tr;
976 	struct hist_field *found = NULL;
977 	struct hist_var_data *var_data;
978 
979 	list_for_each_entry(var_data, &tr->hist_vars, list) {
980 		if (var_data->hist_data == hist_data)
981 			continue;
982 		found = find_var_ref(var_data->hist_data, hist_data, var_idx);
983 		if (found)
984 			break;
985 	}
986 
987 	return found;
988 }
989 
990 /**
991  * check_var_refs - Check if there is a reference to any of trigger's variables
992  * @hist_data: The hist trigger
993  *
994  * A trigger can define one or more variables.  If any one of them is
995  * currently referenced by any other trigger, this function will
996  * determine that.
997  *
998  * Typically used to determine whether or not a trigger can be removed
999  * - if there are any references to a trigger's variables, it cannot.
1000  *
1001  * Return: True if there is a reference to any of trigger's variables
1002  */
check_var_refs(struct hist_trigger_data * hist_data)1003 static bool check_var_refs(struct hist_trigger_data *hist_data)
1004 {
1005 	struct hist_field *field;
1006 	bool found = false;
1007 	int i;
1008 
1009 	for_each_hist_field(i, hist_data) {
1010 		field = hist_data->fields[i];
1011 		if (field && field->flags & HIST_FIELD_FL_VAR) {
1012 			if (find_any_var_ref(hist_data, field->var.idx)) {
1013 				found = true;
1014 				break;
1015 			}
1016 		}
1017 	}
1018 
1019 	return found;
1020 }
1021 
find_hist_vars(struct hist_trigger_data * hist_data)1022 static struct hist_var_data *find_hist_vars(struct hist_trigger_data *hist_data)
1023 {
1024 	struct trace_array *tr = hist_data->event_file->tr;
1025 	struct hist_var_data *var_data, *found = NULL;
1026 
1027 	list_for_each_entry(var_data, &tr->hist_vars, list) {
1028 		if (var_data->hist_data == hist_data) {
1029 			found = var_data;
1030 			break;
1031 		}
1032 	}
1033 
1034 	return found;
1035 }
1036 
field_has_hist_vars(struct hist_field * hist_field,unsigned int level)1037 static bool field_has_hist_vars(struct hist_field *hist_field,
1038 				unsigned int level)
1039 {
1040 	int i;
1041 
1042 	if (level > 3)
1043 		return false;
1044 
1045 	if (!hist_field)
1046 		return false;
1047 
1048 	if (hist_field->flags & HIST_FIELD_FL_VAR ||
1049 	    hist_field->flags & HIST_FIELD_FL_VAR_REF)
1050 		return true;
1051 
1052 	for (i = 0; i < HIST_FIELD_OPERANDS_MAX; i++) {
1053 		struct hist_field *operand;
1054 
1055 		operand = hist_field->operands[i];
1056 		if (field_has_hist_vars(operand, level + 1))
1057 			return true;
1058 	}
1059 
1060 	return false;
1061 }
1062 
has_hist_vars(struct hist_trigger_data * hist_data)1063 static bool has_hist_vars(struct hist_trigger_data *hist_data)
1064 {
1065 	struct hist_field *hist_field;
1066 	int i;
1067 
1068 	for_each_hist_field(i, hist_data) {
1069 		hist_field = hist_data->fields[i];
1070 		if (field_has_hist_vars(hist_field, 0))
1071 			return true;
1072 	}
1073 
1074 	return false;
1075 }
1076 
save_hist_vars(struct hist_trigger_data * hist_data)1077 static int save_hist_vars(struct hist_trigger_data *hist_data)
1078 {
1079 	struct trace_array *tr = hist_data->event_file->tr;
1080 	struct hist_var_data *var_data;
1081 
1082 	var_data = find_hist_vars(hist_data);
1083 	if (var_data)
1084 		return 0;
1085 
1086 	if (tracing_check_open_get_tr(tr))
1087 		return -ENODEV;
1088 
1089 	var_data = kzalloc_obj(*var_data);
1090 	if (!var_data) {
1091 		trace_array_put(tr);
1092 		return -ENOMEM;
1093 	}
1094 
1095 	var_data->hist_data = hist_data;
1096 	list_add(&var_data->list, &tr->hist_vars);
1097 
1098 	return 0;
1099 }
1100 
remove_hist_vars(struct hist_trigger_data * hist_data)1101 static void remove_hist_vars(struct hist_trigger_data *hist_data)
1102 {
1103 	struct trace_array *tr = hist_data->event_file->tr;
1104 	struct hist_var_data *var_data;
1105 
1106 	var_data = find_hist_vars(hist_data);
1107 	if (!var_data)
1108 		return;
1109 
1110 	if (WARN_ON(check_var_refs(hist_data)))
1111 		return;
1112 
1113 	list_del(&var_data->list);
1114 
1115 	kfree(var_data);
1116 
1117 	trace_array_put(tr);
1118 }
1119 
find_var_field(struct hist_trigger_data * hist_data,const char * var_name)1120 static struct hist_field *find_var_field(struct hist_trigger_data *hist_data,
1121 					 const char *var_name)
1122 {
1123 	struct hist_field *hist_field, *found = NULL;
1124 	int i;
1125 
1126 	for_each_hist_field(i, hist_data) {
1127 		hist_field = hist_data->fields[i];
1128 		if (hist_field && hist_field->flags & HIST_FIELD_FL_VAR &&
1129 		    strcmp(hist_field->var.name, var_name) == 0) {
1130 			found = hist_field;
1131 			break;
1132 		}
1133 	}
1134 
1135 	return found;
1136 }
1137 
find_var(struct hist_trigger_data * hist_data,struct trace_event_file * file,const char * var_name)1138 static struct hist_field *find_var(struct hist_trigger_data *hist_data,
1139 				   struct trace_event_file *file,
1140 				   const char *var_name)
1141 {
1142 	struct hist_trigger_data *test_data;
1143 	struct event_trigger_data *test;
1144 	struct hist_field *hist_field;
1145 
1146 	lockdep_assert_held(&event_mutex);
1147 
1148 	hist_field = find_var_field(hist_data, var_name);
1149 	if (hist_field)
1150 		return hist_field;
1151 
1152 	list_for_each_entry(test, &file->triggers, list) {
1153 		if (test->cmd_ops->trigger_type == ETT_EVENT_HIST) {
1154 			test_data = test->private_data;
1155 			hist_field = find_var_field(test_data, var_name);
1156 			if (hist_field)
1157 				return hist_field;
1158 		}
1159 	}
1160 
1161 	return NULL;
1162 }
1163 
find_var_file(struct trace_array * tr,char * system,char * event_name,char * var_name)1164 static struct trace_event_file *find_var_file(struct trace_array *tr,
1165 					      char *system,
1166 					      char *event_name,
1167 					      char *var_name)
1168 {
1169 	struct hist_trigger_data *var_hist_data;
1170 	struct hist_var_data *var_data;
1171 	struct trace_event_file *file, *found = NULL;
1172 
1173 	if (system)
1174 		return find_event_file(tr, system, event_name);
1175 
1176 	list_for_each_entry(var_data, &tr->hist_vars, list) {
1177 		var_hist_data = var_data->hist_data;
1178 		file = var_hist_data->event_file;
1179 		if (file == found)
1180 			continue;
1181 
1182 		if (find_var_field(var_hist_data, var_name)) {
1183 			if (found) {
1184 				hist_err(tr, HIST_ERR_VAR_NOT_UNIQUE, errpos(var_name));
1185 				return NULL;
1186 			}
1187 
1188 			found = file;
1189 		}
1190 	}
1191 
1192 	return found;
1193 }
1194 
find_file_var(struct trace_event_file * file,const char * var_name)1195 static struct hist_field *find_file_var(struct trace_event_file *file,
1196 					const char *var_name)
1197 {
1198 	struct hist_trigger_data *test_data;
1199 	struct event_trigger_data *test;
1200 	struct hist_field *hist_field;
1201 
1202 	lockdep_assert_held(&event_mutex);
1203 
1204 	list_for_each_entry(test, &file->triggers, list) {
1205 		if (test->cmd_ops->trigger_type == ETT_EVENT_HIST) {
1206 			test_data = test->private_data;
1207 			hist_field = find_var_field(test_data, var_name);
1208 			if (hist_field)
1209 				return hist_field;
1210 		}
1211 	}
1212 
1213 	return NULL;
1214 }
1215 
1216 static struct hist_field *
find_match_var(struct hist_trigger_data * hist_data,char * var_name)1217 find_match_var(struct hist_trigger_data *hist_data, char *var_name)
1218 {
1219 	struct trace_array *tr = hist_data->event_file->tr;
1220 	struct hist_field *hist_field, *found = NULL;
1221 	struct trace_event_file *file;
1222 	unsigned int i;
1223 
1224 	for (i = 0; i < hist_data->n_actions; i++) {
1225 		struct action_data *data = hist_data->actions[i];
1226 
1227 		if (data->handler == HANDLER_ONMATCH) {
1228 			char *system = data->match_data.event_system;
1229 			char *event_name = data->match_data.event;
1230 
1231 			file = find_var_file(tr, system, event_name, var_name);
1232 			if (!file)
1233 				continue;
1234 			hist_field = find_file_var(file, var_name);
1235 			if (hist_field) {
1236 				if (found) {
1237 					hist_err(tr, HIST_ERR_VAR_NOT_UNIQUE,
1238 						 errpos(var_name));
1239 					return ERR_PTR(-EINVAL);
1240 				}
1241 
1242 				found = hist_field;
1243 			}
1244 		}
1245 	}
1246 	return found;
1247 }
1248 
find_event_var(struct hist_trigger_data * hist_data,char * system,char * event_name,char * var_name)1249 static struct hist_field *find_event_var(struct hist_trigger_data *hist_data,
1250 					 char *system,
1251 					 char *event_name,
1252 					 char *var_name)
1253 {
1254 	struct trace_array *tr = hist_data->event_file->tr;
1255 	struct hist_field *hist_field = NULL;
1256 	struct trace_event_file *file;
1257 
1258 	if (!system || !event_name) {
1259 		hist_field = find_match_var(hist_data, var_name);
1260 		if (IS_ERR(hist_field))
1261 			return NULL;
1262 		if (hist_field)
1263 			return hist_field;
1264 	}
1265 
1266 	file = find_var_file(tr, system, event_name, var_name);
1267 	if (!file)
1268 		return NULL;
1269 
1270 	hist_field = find_file_var(file, var_name);
1271 
1272 	return hist_field;
1273 }
1274 
hist_field_var_ref(struct hist_field * hist_field,struct tracing_map_elt * elt,struct trace_buffer * buffer,struct ring_buffer_event * rbe,void * event)1275 static u64 hist_field_var_ref(struct hist_field *hist_field,
1276 			      struct tracing_map_elt *elt,
1277 			      struct trace_buffer *buffer,
1278 			      struct ring_buffer_event *rbe,
1279 			      void *event)
1280 {
1281 	struct hist_elt_data *elt_data;
1282 	u64 var_val = 0;
1283 
1284 	if (WARN_ON_ONCE(!elt))
1285 		return var_val;
1286 
1287 	elt_data = elt->private_data;
1288 	var_val = elt_data->var_ref_vals[hist_field->var_ref_idx];
1289 
1290 	return var_val;
1291 }
1292 
resolve_var_refs(struct hist_trigger_data * hist_data,void * key,u64 * var_ref_vals,bool self)1293 static bool resolve_var_refs(struct hist_trigger_data *hist_data, void *key,
1294 			     u64 *var_ref_vals, bool self)
1295 {
1296 	struct hist_trigger_data *var_data;
1297 	struct tracing_map_elt *var_elt;
1298 	struct hist_field *hist_field;
1299 	unsigned int i, var_idx;
1300 	bool resolved = true;
1301 	u64 var_val = 0;
1302 
1303 	for (i = 0; i < hist_data->n_var_refs; i++) {
1304 		hist_field = hist_data->var_refs[i];
1305 		var_idx = hist_field->var.idx;
1306 		var_data = hist_field->var.hist_data;
1307 
1308 		if (var_data == NULL) {
1309 			resolved = false;
1310 			break;
1311 		}
1312 
1313 		if ((self && var_data != hist_data) ||
1314 		    (!self && var_data == hist_data))
1315 			continue;
1316 
1317 		var_elt = tracing_map_lookup(var_data->map, key);
1318 		if (!var_elt) {
1319 			resolved = false;
1320 			break;
1321 		}
1322 
1323 		if (!tracing_map_var_set(var_elt, var_idx)) {
1324 			resolved = false;
1325 			break;
1326 		}
1327 
1328 		if (self || !hist_field->read_once)
1329 			var_val = tracing_map_read_var(var_elt, var_idx);
1330 		else
1331 			var_val = tracing_map_read_var_once(var_elt, var_idx);
1332 
1333 		var_ref_vals[i] = var_val;
1334 	}
1335 
1336 	return resolved;
1337 }
1338 
hist_field_name(struct hist_field * field,unsigned int level)1339 static const char *hist_field_name(struct hist_field *field,
1340 				   unsigned int level)
1341 {
1342 	const char *field_name = "";
1343 
1344 	if (WARN_ON_ONCE(!field))
1345 		return field_name;
1346 
1347 	if (level > 1)
1348 		return field_name;
1349 
1350 	if (field->field)
1351 		field_name = field->field->name;
1352 	else if (field->flags & HIST_FIELD_FL_LOG2 ||
1353 		 field->flags & HIST_FIELD_FL_ALIAS ||
1354 		 field->flags & HIST_FIELD_FL_BUCKET)
1355 		field_name = hist_field_name(field->operands[0], ++level);
1356 	else if (field->flags & HIST_FIELD_FL_CPU)
1357 		field_name = "common_cpu";
1358 	else if (field->flags & HIST_FIELD_FL_COMM)
1359 		field_name = "common_comm";
1360 	else if (field->flags & HIST_FIELD_FL_EXPR ||
1361 		 field->flags & HIST_FIELD_FL_VAR_REF) {
1362 		if (field->system) {
1363 			static char full_name[MAX_FILTER_STR_VAL];
1364 			static char *fmt;
1365 			int len;
1366 
1367 			fmt = field->flags & HIST_FIELD_FL_VAR_REF ? "%s.%s.$%s" : "%s.%s.%s";
1368 
1369 			len = snprintf(full_name, sizeof(full_name), fmt,
1370 				       field->system, field->event_name,
1371 				       field->name);
1372 			if (len < sizeof(full_name))
1373 				field_name = full_name;
1374 		} else
1375 			field_name = field->name;
1376 	} else if (field->flags & HIST_FIELD_FL_TIMESTAMP)
1377 		field_name = "common_timestamp";
1378 	else if (field->flags & HIST_FIELD_FL_STACKTRACE) {
1379 		field_name = "common_stacktrace";
1380 	} else if (field->flags & HIST_FIELD_FL_HITCOUNT)
1381 		field_name = "hitcount";
1382 
1383 	if (field_name == NULL)
1384 		field_name = "";
1385 
1386 	return field_name;
1387 }
1388 
select_value_fn(int field_size,int field_is_signed)1389 static enum hist_field_fn select_value_fn(int field_size, int field_is_signed)
1390 {
1391 	switch (field_size) {
1392 	case 8:
1393 		if (field_is_signed)
1394 			return HIST_FIELD_FN_S64;
1395 		else
1396 			return HIST_FIELD_FN_U64;
1397 	case 4:
1398 		if (field_is_signed)
1399 			return HIST_FIELD_FN_S32;
1400 		else
1401 			return HIST_FIELD_FN_U32;
1402 	case 2:
1403 		if (field_is_signed)
1404 			return HIST_FIELD_FN_S16;
1405 		else
1406 			return HIST_FIELD_FN_U16;
1407 	case 1:
1408 		if (field_is_signed)
1409 			return HIST_FIELD_FN_S8;
1410 		else
1411 			return HIST_FIELD_FN_U8;
1412 	}
1413 
1414 	return HIST_FIELD_FN_NOP;
1415 }
1416 
parse_map_size(char * str)1417 static int parse_map_size(char *str)
1418 {
1419 	unsigned long size, map_bits;
1420 	int ret;
1421 
1422 	ret = kstrtoul(str, 0, &size);
1423 	if (ret)
1424 		goto out;
1425 
1426 	map_bits = ilog2(roundup_pow_of_two(size));
1427 	if (map_bits < TRACING_MAP_BITS_MIN ||
1428 	    map_bits > TRACING_MAP_BITS_MAX)
1429 		ret = -EINVAL;
1430 	else
1431 		ret = map_bits;
1432  out:
1433 	return ret;
1434 }
1435 
destroy_hist_trigger_attrs(struct hist_trigger_attrs * attrs)1436 static void destroy_hist_trigger_attrs(struct hist_trigger_attrs *attrs)
1437 {
1438 	unsigned int i;
1439 
1440 	if (!attrs)
1441 		return;
1442 
1443 	for (i = 0; i < attrs->n_assignments; i++)
1444 		kfree(attrs->assignment_str[i]);
1445 
1446 	for (i = 0; i < attrs->n_actions; i++)
1447 		kfree(attrs->action_str[i]);
1448 
1449 	kfree(attrs->name);
1450 	kfree(attrs->sort_key_str);
1451 	kfree(attrs->keys_str);
1452 	kfree(attrs->vals_str);
1453 	kfree(attrs->clock);
1454 	kfree(attrs);
1455 }
1456 
parse_action(char * str,struct hist_trigger_attrs * attrs)1457 static int parse_action(char *str, struct hist_trigger_attrs *attrs)
1458 {
1459 	int ret = -EINVAL;
1460 
1461 	if (attrs->n_actions >= HIST_ACTIONS_MAX)
1462 		return ret;
1463 
1464 	if ((str_has_prefix(str, "onmatch(")) ||
1465 	    (str_has_prefix(str, "onmax(")) ||
1466 	    (str_has_prefix(str, "onchange("))) {
1467 		attrs->action_str[attrs->n_actions] = kstrdup(str, GFP_KERNEL);
1468 		if (!attrs->action_str[attrs->n_actions]) {
1469 			ret = -ENOMEM;
1470 			return ret;
1471 		}
1472 		attrs->n_actions++;
1473 		ret = 0;
1474 	}
1475 	return ret;
1476 }
1477 
parse_assignment(struct trace_array * tr,char * str,struct hist_trigger_attrs * attrs)1478 static int parse_assignment(struct trace_array *tr,
1479 			    char *str, struct hist_trigger_attrs *attrs)
1480 {
1481 	int len, ret = 0;
1482 
1483 	if ((len = str_has_prefix(str, "key=")) ||
1484 	    (len = str_has_prefix(str, "keys="))) {
1485 		attrs->keys_str = kstrdup(str + len, GFP_KERNEL);
1486 		if (!attrs->keys_str) {
1487 			ret = -ENOMEM;
1488 			goto out;
1489 		}
1490 	} else if ((len = str_has_prefix(str, "val=")) ||
1491 		   (len = str_has_prefix(str, "vals=")) ||
1492 		   (len = str_has_prefix(str, "values="))) {
1493 		attrs->vals_str = kstrdup(str + len, GFP_KERNEL);
1494 		if (!attrs->vals_str) {
1495 			ret = -ENOMEM;
1496 			goto out;
1497 		}
1498 	} else if ((len = str_has_prefix(str, "sort="))) {
1499 		attrs->sort_key_str = kstrdup(str + len, GFP_KERNEL);
1500 		if (!attrs->sort_key_str) {
1501 			ret = -ENOMEM;
1502 			goto out;
1503 		}
1504 	} else if (str_has_prefix(str, "name=")) {
1505 		attrs->name = kstrdup(str, GFP_KERNEL);
1506 		if (!attrs->name) {
1507 			ret = -ENOMEM;
1508 			goto out;
1509 		}
1510 	} else if ((len = str_has_prefix(str, "clock="))) {
1511 		str += len;
1512 
1513 		str = strstrip(str);
1514 		attrs->clock = kstrdup(str, GFP_KERNEL);
1515 		if (!attrs->clock) {
1516 			ret = -ENOMEM;
1517 			goto out;
1518 		}
1519 	} else if ((len = str_has_prefix(str, "size="))) {
1520 		int map_bits = parse_map_size(str + len);
1521 
1522 		if (map_bits < 0) {
1523 			ret = map_bits;
1524 			goto out;
1525 		}
1526 		attrs->map_bits = map_bits;
1527 	} else {
1528 		char *assignment;
1529 
1530 		if (attrs->n_assignments == TRACING_MAP_VARS_MAX) {
1531 			hist_err(tr, HIST_ERR_TOO_MANY_VARS, errpos(str));
1532 			ret = -EINVAL;
1533 			goto out;
1534 		}
1535 
1536 		assignment = kstrdup(str, GFP_KERNEL);
1537 		if (!assignment) {
1538 			ret = -ENOMEM;
1539 			goto out;
1540 		}
1541 
1542 		attrs->assignment_str[attrs->n_assignments++] = assignment;
1543 	}
1544  out:
1545 	return ret;
1546 }
1547 
1548 static struct hist_trigger_attrs *
parse_hist_trigger_attrs(struct trace_array * tr,char * trigger_str)1549 parse_hist_trigger_attrs(struct trace_array *tr, char *trigger_str)
1550 {
1551 	struct hist_trigger_attrs *attrs;
1552 	int ret = 0;
1553 
1554 	attrs = kzalloc_obj(*attrs);
1555 	if (!attrs)
1556 		return ERR_PTR(-ENOMEM);
1557 
1558 	while (trigger_str) {
1559 		char *str = strsep(&trigger_str, ":");
1560 		char *rhs;
1561 
1562 		rhs = strchr(str, '=');
1563 		if (rhs) {
1564 			if (!strlen(++rhs)) {
1565 				ret = -EINVAL;
1566 				hist_err(tr, HIST_ERR_EMPTY_ASSIGNMENT, errpos(str));
1567 				goto free;
1568 			}
1569 			ret = parse_assignment(tr, str, attrs);
1570 			if (ret)
1571 				goto free;
1572 		} else if (strcmp(str, "nohitcount") == 0 ||
1573 			   strcmp(str, "NOHC") == 0)
1574 			attrs->no_hitcount = true;
1575 		else if (strcmp(str, "pause") == 0)
1576 			attrs->pause = true;
1577 		else if ((strcmp(str, "cont") == 0) ||
1578 			 (strcmp(str, "continue") == 0))
1579 			attrs->cont = true;
1580 		else if (strcmp(str, "clear") == 0)
1581 			attrs->clear = true;
1582 		else {
1583 			ret = parse_action(str, attrs);
1584 			if (ret)
1585 				goto free;
1586 		}
1587 	}
1588 
1589 	if (!attrs->keys_str) {
1590 		ret = -EINVAL;
1591 		goto free;
1592 	}
1593 
1594 	if (!attrs->clock) {
1595 		attrs->clock = kstrdup("global", GFP_KERNEL);
1596 		if (!attrs->clock) {
1597 			ret = -ENOMEM;
1598 			goto free;
1599 		}
1600 	}
1601 
1602 	return attrs;
1603  free:
1604 	destroy_hist_trigger_attrs(attrs);
1605 
1606 	return ERR_PTR(ret);
1607 }
1608 
save_comm(char * comm,struct task_struct * task)1609 static inline void save_comm(char *comm, struct task_struct *task)
1610 {
1611 	if (!task->pid) {
1612 		strcpy(comm, "<idle>");
1613 		return;
1614 	}
1615 
1616 	if (WARN_ON_ONCE(task->pid < 0)) {
1617 		strcpy(comm, "<XXX>");
1618 		return;
1619 	}
1620 
1621 	strscpy(comm, task->comm, TASK_COMM_LEN);
1622 }
1623 
hist_elt_data_free(struct hist_elt_data * elt_data)1624 static void hist_elt_data_free(struct hist_elt_data *elt_data)
1625 {
1626 	unsigned int i;
1627 
1628 	for (i = 0; i < elt_data->n_field_var_str; i++)
1629 		kfree(elt_data->field_var_str[i]);
1630 
1631 	kfree(elt_data->field_var_str);
1632 
1633 	kfree(elt_data->comm);
1634 	kfree(elt_data);
1635 }
1636 
hist_trigger_elt_data_free(struct tracing_map_elt * elt)1637 static void hist_trigger_elt_data_free(struct tracing_map_elt *elt)
1638 {
1639 	struct hist_elt_data *elt_data = elt->private_data;
1640 
1641 	hist_elt_data_free(elt_data);
1642 }
1643 
hist_trigger_elt_data_alloc(struct tracing_map_elt * elt)1644 static int hist_trigger_elt_data_alloc(struct tracing_map_elt *elt)
1645 {
1646 	struct hist_trigger_data *hist_data = elt->map->private_data;
1647 	unsigned int size = TASK_COMM_LEN;
1648 	struct hist_elt_data *elt_data;
1649 	struct hist_field *hist_field;
1650 	unsigned int i, n_str;
1651 
1652 	elt_data = kzalloc_obj(*elt_data);
1653 	if (!elt_data)
1654 		return -ENOMEM;
1655 
1656 	for_each_hist_field(i, hist_data) {
1657 		hist_field = hist_data->fields[i];
1658 
1659 		if (hist_field->flags & HIST_FIELD_FL_EXECNAME) {
1660 			elt_data->comm = kzalloc(size, GFP_KERNEL);
1661 			if (!elt_data->comm) {
1662 				kfree(elt_data);
1663 				return -ENOMEM;
1664 			}
1665 			break;
1666 		}
1667 	}
1668 
1669 	n_str = hist_data->n_field_var_str + hist_data->n_save_var_str +
1670 		hist_data->n_var_str;
1671 	if (n_str > SYNTH_FIELDS_MAX) {
1672 		hist_elt_data_free(elt_data);
1673 		return -EINVAL;
1674 	}
1675 
1676 	BUILD_BUG_ON(STR_VAR_LEN_MAX & (sizeof(u64) - 1));
1677 
1678 	size = STR_VAR_LEN_MAX;
1679 
1680 	elt_data->field_var_str = kcalloc(n_str, sizeof(char *), GFP_KERNEL);
1681 	if (!elt_data->field_var_str) {
1682 		hist_elt_data_free(elt_data);
1683 		return -EINVAL;
1684 	}
1685 	elt_data->n_field_var_str = n_str;
1686 
1687 	for (i = 0; i < n_str; i++) {
1688 		elt_data->field_var_str[i] = kzalloc(size, GFP_KERNEL);
1689 		if (!elt_data->field_var_str[i]) {
1690 			hist_elt_data_free(elt_data);
1691 			return -ENOMEM;
1692 		}
1693 	}
1694 
1695 	elt->private_data = elt_data;
1696 
1697 	return 0;
1698 }
1699 
hist_trigger_elt_data_init(struct tracing_map_elt * elt)1700 static void hist_trigger_elt_data_init(struct tracing_map_elt *elt)
1701 {
1702 	struct hist_elt_data *elt_data = elt->private_data;
1703 
1704 	if (elt_data->comm)
1705 		save_comm(elt_data->comm, current);
1706 }
1707 
1708 static const struct tracing_map_ops hist_trigger_elt_data_ops = {
1709 	.elt_alloc	= hist_trigger_elt_data_alloc,
1710 	.elt_free	= hist_trigger_elt_data_free,
1711 	.elt_init	= hist_trigger_elt_data_init,
1712 };
1713 
get_hist_field_flags(struct hist_field * hist_field)1714 static const char *get_hist_field_flags(struct hist_field *hist_field)
1715 {
1716 	const char *flags_str = NULL;
1717 
1718 	if (hist_field->flags & HIST_FIELD_FL_HEX)
1719 		flags_str = "hex";
1720 	else if (hist_field->flags & HIST_FIELD_FL_SYM)
1721 		flags_str = "sym";
1722 	else if (hist_field->flags & HIST_FIELD_FL_SYM_OFFSET)
1723 		flags_str = "sym-offset";
1724 	else if (hist_field->flags & HIST_FIELD_FL_EXECNAME)
1725 		flags_str = "execname";
1726 	else if (hist_field->flags & HIST_FIELD_FL_SYSCALL)
1727 		flags_str = "syscall";
1728 	else if (hist_field->flags & HIST_FIELD_FL_LOG2)
1729 		flags_str = "log2";
1730 	else if (hist_field->flags & HIST_FIELD_FL_BUCKET)
1731 		flags_str = "buckets";
1732 	else if (hist_field->flags & HIST_FIELD_FL_TIMESTAMP_USECS)
1733 		flags_str = "usecs";
1734 	else if (hist_field->flags & HIST_FIELD_FL_PERCENT)
1735 		flags_str = "percent";
1736 	else if (hist_field->flags & HIST_FIELD_FL_GRAPH)
1737 		flags_str = "graph";
1738 	else if (hist_field->flags & HIST_FIELD_FL_STACKTRACE)
1739 		flags_str = "stacktrace";
1740 
1741 	return flags_str;
1742 }
1743 
expr_field_str(struct hist_field * field,char * expr)1744 static void expr_field_str(struct hist_field *field, char *expr)
1745 {
1746 	if (field->flags & HIST_FIELD_FL_VAR_REF) {
1747 		if (!field->system)
1748 			strcat(expr, "$");
1749 	} else if (field->flags & HIST_FIELD_FL_CONST) {
1750 		char str[HIST_CONST_DIGITS_MAX];
1751 
1752 		snprintf(str, HIST_CONST_DIGITS_MAX, "%llu", field->constant);
1753 		strcat(expr, str);
1754 	}
1755 
1756 	strcat(expr, hist_field_name(field, 0));
1757 
1758 	if (field->flags && !(field->flags & HIST_FIELD_FL_VAR_REF)) {
1759 		const char *flags_str = get_hist_field_flags(field);
1760 
1761 		if (flags_str) {
1762 			strcat(expr, ".");
1763 			strcat(expr, flags_str);
1764 		}
1765 	}
1766 }
1767 
expr_str(struct hist_field * field,unsigned int level)1768 static char *expr_str(struct hist_field *field, unsigned int level)
1769 {
1770 	char *expr;
1771 
1772 	if (level > 1)
1773 		return NULL;
1774 
1775 	expr = kzalloc(MAX_FILTER_STR_VAL, GFP_KERNEL);
1776 	if (!expr)
1777 		return NULL;
1778 
1779 	if (!field->operands[0]) {
1780 		expr_field_str(field, expr);
1781 		return expr;
1782 	}
1783 
1784 	if (field->operator == FIELD_OP_UNARY_MINUS) {
1785 		char *subexpr;
1786 
1787 		strcat(expr, "-(");
1788 		subexpr = expr_str(field->operands[0], ++level);
1789 		if (!subexpr) {
1790 			kfree(expr);
1791 			return NULL;
1792 		}
1793 		strcat(expr, subexpr);
1794 		strcat(expr, ")");
1795 
1796 		kfree(subexpr);
1797 
1798 		return expr;
1799 	}
1800 
1801 	expr_field_str(field->operands[0], expr);
1802 
1803 	switch (field->operator) {
1804 	case FIELD_OP_MINUS:
1805 		strcat(expr, "-");
1806 		break;
1807 	case FIELD_OP_PLUS:
1808 		strcat(expr, "+");
1809 		break;
1810 	case FIELD_OP_DIV:
1811 		strcat(expr, "/");
1812 		break;
1813 	case FIELD_OP_MULT:
1814 		strcat(expr, "*");
1815 		break;
1816 	default:
1817 		kfree(expr);
1818 		return NULL;
1819 	}
1820 
1821 	expr_field_str(field->operands[1], expr);
1822 
1823 	return expr;
1824 }
1825 
1826 /*
1827  * If field_op != FIELD_OP_NONE, *sep points to the root operator
1828  * of the expression tree to be evaluated.
1829  */
contains_operator(char * str,char ** sep)1830 static int contains_operator(char *str, char **sep)
1831 {
1832 	enum field_op_id field_op = FIELD_OP_NONE;
1833 	char *minus_op, *plus_op, *div_op, *mult_op;
1834 
1835 
1836 	/*
1837 	 * Report the last occurrence of the operators first, so that the
1838 	 * expression is evaluated left to right. This is important since
1839 	 * subtraction and division are not associative.
1840 	 *
1841 	 *	e.g
1842 	 *		64/8/4/2 is 1, i.e 64/8/4/2 = ((64/8)/4)/2
1843 	 *		14-7-5-2 is 0, i.e 14-7-5-2 = ((14-7)-5)-2
1844 	 */
1845 
1846 	/*
1847 	 * First, find lower precedence addition and subtraction
1848 	 * since the expression will be evaluated recursively.
1849 	 */
1850 	minus_op = strrchr(str, '-');
1851 	if (minus_op) {
1852 		/*
1853 		 * Unary minus is not supported in sub-expressions. If
1854 		 * present, it is always the next root operator.
1855 		 */
1856 		if (minus_op == str) {
1857 			field_op = FIELD_OP_UNARY_MINUS;
1858 			goto out;
1859 		}
1860 
1861 		field_op = FIELD_OP_MINUS;
1862 	}
1863 
1864 	plus_op = strrchr(str, '+');
1865 	if (plus_op || minus_op) {
1866 		/*
1867 		 * For operators of the same precedence use to rightmost as the
1868 		 * root, so that the expression is evaluated left to right.
1869 		 */
1870 		if (plus_op > minus_op)
1871 			field_op = FIELD_OP_PLUS;
1872 		goto out;
1873 	}
1874 
1875 	/*
1876 	 * Multiplication and division have higher precedence than addition and
1877 	 * subtraction.
1878 	 */
1879 	div_op = strrchr(str, '/');
1880 	if (div_op)
1881 		field_op = FIELD_OP_DIV;
1882 
1883 	mult_op = strrchr(str, '*');
1884 	/*
1885 	 * For operators of the same precedence use to rightmost as the
1886 	 * root, so that the expression is evaluated left to right.
1887 	 */
1888 	if (mult_op > div_op)
1889 		field_op = FIELD_OP_MULT;
1890 
1891 out:
1892 	if (sep) {
1893 		switch (field_op) {
1894 		case FIELD_OP_UNARY_MINUS:
1895 		case FIELD_OP_MINUS:
1896 			*sep = minus_op;
1897 			break;
1898 		case FIELD_OP_PLUS:
1899 			*sep = plus_op;
1900 			break;
1901 		case FIELD_OP_DIV:
1902 			*sep = div_op;
1903 			break;
1904 		case FIELD_OP_MULT:
1905 			*sep = mult_op;
1906 			break;
1907 		case FIELD_OP_NONE:
1908 		default:
1909 			*sep = NULL;
1910 			break;
1911 		}
1912 	}
1913 
1914 	return field_op;
1915 }
1916 
get_hist_field(struct hist_field * hist_field)1917 static void get_hist_field(struct hist_field *hist_field)
1918 {
1919 	hist_field->ref++;
1920 }
1921 
__destroy_hist_field(struct hist_field * hist_field)1922 static void __destroy_hist_field(struct hist_field *hist_field)
1923 {
1924 	if (--hist_field->ref > 1)
1925 		return;
1926 
1927 	kfree(hist_field->var.name);
1928 	kfree(hist_field->name);
1929 
1930 	/* Can likely be a const */
1931 	kfree_const(hist_field->type);
1932 
1933 	kfree(hist_field->system);
1934 	kfree(hist_field->event_name);
1935 
1936 	kfree(hist_field);
1937 }
1938 
destroy_hist_field(struct hist_field * hist_field,unsigned int level)1939 static void destroy_hist_field(struct hist_field *hist_field,
1940 			       unsigned int level)
1941 {
1942 	unsigned int i;
1943 
1944 	if (level > 3)
1945 		return;
1946 
1947 	if (!hist_field)
1948 		return;
1949 
1950 	if (hist_field->flags & HIST_FIELD_FL_VAR_REF)
1951 		return; /* var refs will be destroyed separately */
1952 
1953 	for (i = 0; i < HIST_FIELD_OPERANDS_MAX; i++)
1954 		destroy_hist_field(hist_field->operands[i], level + 1);
1955 
1956 	__destroy_hist_field(hist_field);
1957 }
1958 
create_hist_field(struct hist_trigger_data * hist_data,struct ftrace_event_field * field,unsigned long flags,char * var_name)1959 static struct hist_field *create_hist_field(struct hist_trigger_data *hist_data,
1960 					    struct ftrace_event_field *field,
1961 					    unsigned long flags,
1962 					    char *var_name)
1963 {
1964 	struct hist_field *hist_field;
1965 
1966 	if (field && is_function_field(field))
1967 		return NULL;
1968 
1969 	hist_field = kzalloc_obj(struct hist_field);
1970 	if (!hist_field)
1971 		return NULL;
1972 
1973 	hist_field->ref = 1;
1974 
1975 	hist_field->hist_data = hist_data;
1976 
1977 	if (flags & HIST_FIELD_FL_EXPR || flags & HIST_FIELD_FL_ALIAS)
1978 		goto out; /* caller will populate */
1979 
1980 	if (flags & HIST_FIELD_FL_VAR_REF) {
1981 		hist_field->fn_num = HIST_FIELD_FN_VAR_REF;
1982 		goto out;
1983 	}
1984 
1985 	if (flags & HIST_FIELD_FL_HITCOUNT) {
1986 		hist_field->fn_num = HIST_FIELD_FN_COUNTER;
1987 		hist_field->size = sizeof(u64);
1988 		hist_field->type = "u64";
1989 		goto out;
1990 	}
1991 
1992 	if (flags & HIST_FIELD_FL_CONST) {
1993 		hist_field->fn_num = HIST_FIELD_FN_CONST;
1994 		hist_field->size = sizeof(u64);
1995 		hist_field->type = kstrdup("u64", GFP_KERNEL);
1996 		if (!hist_field->type)
1997 			goto free;
1998 		goto out;
1999 	}
2000 
2001 	if (flags & HIST_FIELD_FL_STACKTRACE) {
2002 		if (field)
2003 			hist_field->fn_num = HIST_FIELD_FN_STACK;
2004 		else
2005 			hist_field->fn_num = HIST_FIELD_FN_NOP;
2006 		hist_field->size = HIST_STACKTRACE_SIZE;
2007 		hist_field->type = kstrdup_const("unsigned long[]", GFP_KERNEL);
2008 		if (!hist_field->type)
2009 			goto free;
2010 		goto out;
2011 	}
2012 
2013 	if (flags & (HIST_FIELD_FL_LOG2 | HIST_FIELD_FL_BUCKET)) {
2014 		unsigned long fl = flags & ~(HIST_FIELD_FL_LOG2 | HIST_FIELD_FL_BUCKET);
2015 		hist_field->fn_num = flags & HIST_FIELD_FL_LOG2 ? HIST_FIELD_FN_LOG2 :
2016 			HIST_FIELD_FN_BUCKET;
2017 		hist_field->operands[0] = create_hist_field(hist_data, field, fl, NULL);
2018 		if (!hist_field->operands[0])
2019 			goto free;
2020 		hist_field->size = hist_field->operands[0]->size;
2021 		hist_field->type = kstrdup_const(hist_field->operands[0]->type, GFP_KERNEL);
2022 		if (!hist_field->type)
2023 			goto free;
2024 		goto out;
2025 	}
2026 
2027 	if (flags & HIST_FIELD_FL_TIMESTAMP) {
2028 		hist_field->fn_num = HIST_FIELD_FN_TIMESTAMP;
2029 		hist_field->size = sizeof(u64);
2030 		hist_field->type = "u64";
2031 		goto out;
2032 	}
2033 
2034 	if (flags & HIST_FIELD_FL_CPU) {
2035 		hist_field->fn_num = HIST_FIELD_FN_CPU;
2036 		hist_field->size = sizeof(int);
2037 		hist_field->type = "unsigned int";
2038 		goto out;
2039 	}
2040 
2041 	if (flags & HIST_FIELD_FL_COMM) {
2042 		hist_field->fn_num = HIST_FIELD_FN_COMM;
2043 		hist_field->size = MAX_FILTER_STR_VAL;
2044 		hist_field->type = "char[]";
2045 		goto out;
2046 	}
2047 
2048 	if (WARN_ON_ONCE(!field))
2049 		goto out;
2050 
2051 	/* Pointers to strings are just pointers and dangerous to dereference */
2052 	if (is_string_field(field) &&
2053 	    (field->filter_type != FILTER_PTR_STRING)) {
2054 		flags |= HIST_FIELD_FL_STRING;
2055 
2056 		hist_field->size = MAX_FILTER_STR_VAL;
2057 		hist_field->type = kstrdup_const(field->type, GFP_KERNEL);
2058 		if (!hist_field->type)
2059 			goto free;
2060 
2061 		if (field->filter_type == FILTER_STATIC_STRING) {
2062 			hist_field->fn_num = HIST_FIELD_FN_STRING;
2063 			hist_field->size = field->size;
2064 		} else if (field->filter_type == FILTER_DYN_STRING) {
2065 			hist_field->fn_num = HIST_FIELD_FN_DYNSTRING;
2066 		} else if (field->filter_type == FILTER_RDYN_STRING)
2067 			hist_field->fn_num = HIST_FIELD_FN_RELDYNSTRING;
2068 		else
2069 			hist_field->fn_num = HIST_FIELD_FN_PSTRING;
2070 	} else if (field->filter_type == FILTER_STACKTRACE) {
2071 		flags |= HIST_FIELD_FL_STACKTRACE;
2072 
2073 		hist_field->size = MAX_FILTER_STR_VAL;
2074 		hist_field->type = kstrdup_const(field->type, GFP_KERNEL);
2075 		if (!hist_field->type)
2076 			goto free;
2077 
2078 		hist_field->fn_num = HIST_FIELD_FN_STACK;
2079 	} else {
2080 		hist_field->size = field->size;
2081 		hist_field->is_signed = field->is_signed;
2082 		hist_field->type = kstrdup_const(field->type, GFP_KERNEL);
2083 		if (!hist_field->type)
2084 			goto free;
2085 
2086 		hist_field->fn_num = select_value_fn(field->size,
2087 						     field->is_signed);
2088 		if (hist_field->fn_num == HIST_FIELD_FN_NOP) {
2089 			destroy_hist_field(hist_field, 0);
2090 			return NULL;
2091 		}
2092 	}
2093  out:
2094 	hist_field->field = field;
2095 	hist_field->flags = flags;
2096 
2097 	if (var_name) {
2098 		hist_field->var.name = kstrdup(var_name, GFP_KERNEL);
2099 		if (!hist_field->var.name)
2100 			goto free;
2101 	}
2102 
2103 	return hist_field;
2104  free:
2105 	destroy_hist_field(hist_field, 0);
2106 	return NULL;
2107 }
2108 
destroy_hist_fields(struct hist_trigger_data * hist_data)2109 static void destroy_hist_fields(struct hist_trigger_data *hist_data)
2110 {
2111 	unsigned int i;
2112 
2113 	for (i = 0; i < HIST_FIELDS_MAX; i++) {
2114 		if (hist_data->fields[i]) {
2115 			destroy_hist_field(hist_data->fields[i], 0);
2116 			hist_data->fields[i] = NULL;
2117 		}
2118 	}
2119 
2120 	for (i = 0; i < hist_data->n_var_refs; i++) {
2121 		WARN_ON(!(hist_data->var_refs[i]->flags & HIST_FIELD_FL_VAR_REF));
2122 		__destroy_hist_field(hist_data->var_refs[i]);
2123 		hist_data->var_refs[i] = NULL;
2124 	}
2125 }
2126 
init_var_ref(struct hist_field * ref_field,struct hist_field * var_field,char * system,char * event_name)2127 static int init_var_ref(struct hist_field *ref_field,
2128 			struct hist_field *var_field,
2129 			char *system, char *event_name)
2130 {
2131 	int err = 0;
2132 
2133 	ref_field->var.idx = var_field->var.idx;
2134 	ref_field->var.hist_data = var_field->hist_data;
2135 	ref_field->size = var_field->size;
2136 	ref_field->is_signed = var_field->is_signed;
2137 	ref_field->flags |= var_field->flags &
2138 		(HIST_FIELD_FL_TIMESTAMP | HIST_FIELD_FL_TIMESTAMP_USECS);
2139 
2140 	if (system) {
2141 		ref_field->system = kstrdup(system, GFP_KERNEL);
2142 		if (!ref_field->system)
2143 			return -ENOMEM;
2144 	}
2145 
2146 	if (event_name) {
2147 		ref_field->event_name = kstrdup(event_name, GFP_KERNEL);
2148 		if (!ref_field->event_name) {
2149 			err = -ENOMEM;
2150 			goto free;
2151 		}
2152 	}
2153 
2154 	if (var_field->var.name) {
2155 		ref_field->name = kstrdup(var_field->var.name, GFP_KERNEL);
2156 		if (!ref_field->name) {
2157 			err = -ENOMEM;
2158 			goto free;
2159 		}
2160 	} else if (var_field->name) {
2161 		ref_field->name = kstrdup(var_field->name, GFP_KERNEL);
2162 		if (!ref_field->name) {
2163 			err = -ENOMEM;
2164 			goto free;
2165 		}
2166 	}
2167 
2168 	ref_field->type = kstrdup_const(var_field->type, GFP_KERNEL);
2169 	if (!ref_field->type) {
2170 		err = -ENOMEM;
2171 		goto free;
2172 	}
2173  out:
2174 	return err;
2175  free:
2176 	kfree(ref_field->system);
2177 	ref_field->system = NULL;
2178 	kfree(ref_field->event_name);
2179 	ref_field->event_name = NULL;
2180 	kfree(ref_field->name);
2181 	ref_field->name = NULL;
2182 
2183 	goto out;
2184 }
2185 
find_var_ref_idx(struct hist_trigger_data * hist_data,struct hist_field * var_field)2186 static int find_var_ref_idx(struct hist_trigger_data *hist_data,
2187 			    struct hist_field *var_field)
2188 {
2189 	struct hist_field *ref_field;
2190 	int i;
2191 
2192 	for (i = 0; i < hist_data->n_var_refs; i++) {
2193 		ref_field = hist_data->var_refs[i];
2194 		if (ref_field->var.idx == var_field->var.idx &&
2195 		    ref_field->var.hist_data == var_field->hist_data)
2196 			return i;
2197 	}
2198 
2199 	return -ENOENT;
2200 }
2201 
2202 /**
2203  * create_var_ref - Create a variable reference and attach it to trigger
2204  * @hist_data: The trigger that will be referencing the variable
2205  * @var_field: The VAR field to create a reference to
2206  * @system: The optional system string
2207  * @event_name: The optional event_name string
2208  *
2209  * Given a variable hist_field, create a VAR_REF hist_field that
2210  * represents a reference to it.
2211  *
2212  * This function also adds the reference to the trigger that
2213  * now references the variable.
2214  *
2215  * Return: The VAR_REF field if successful, NULL if not
2216  */
create_var_ref(struct hist_trigger_data * hist_data,struct hist_field * var_field,char * system,char * event_name)2217 static struct hist_field *create_var_ref(struct hist_trigger_data *hist_data,
2218 					 struct hist_field *var_field,
2219 					 char *system, char *event_name)
2220 {
2221 	unsigned long flags = HIST_FIELD_FL_VAR_REF;
2222 	struct hist_field *ref_field;
2223 	int i;
2224 
2225 	/* Check if the variable already exists */
2226 	for (i = 0; i < hist_data->n_var_refs; i++) {
2227 		ref_field = hist_data->var_refs[i];
2228 		if (ref_field->var.idx == var_field->var.idx &&
2229 		    ref_field->var.hist_data == var_field->hist_data) {
2230 			get_hist_field(ref_field);
2231 			return ref_field;
2232 		}
2233 	}
2234 	/* Sanity check to avoid out-of-bound write on 'hist_data->var_refs' */
2235 	if (hist_data->n_var_refs >= TRACING_MAP_VARS_MAX)
2236 		return NULL;
2237 	ref_field = create_hist_field(var_field->hist_data, NULL, flags, NULL);
2238 	if (ref_field) {
2239 		if (init_var_ref(ref_field, var_field, system, event_name)) {
2240 			destroy_hist_field(ref_field, 0);
2241 			return NULL;
2242 		}
2243 
2244 		hist_data->var_refs[hist_data->n_var_refs] = ref_field;
2245 		ref_field->var_ref_idx = hist_data->n_var_refs++;
2246 	}
2247 
2248 	return ref_field;
2249 }
2250 
is_var_ref(char * var_name)2251 static bool is_var_ref(char *var_name)
2252 {
2253 	if (!var_name || strlen(var_name) < 2 || var_name[0] != '$')
2254 		return false;
2255 
2256 	return true;
2257 }
2258 
field_name_from_var(struct hist_trigger_data * hist_data,char * var_name)2259 static char *field_name_from_var(struct hist_trigger_data *hist_data,
2260 				 char *var_name)
2261 {
2262 	char *name, *field;
2263 	unsigned int i;
2264 
2265 	for (i = 0; i < hist_data->attrs->var_defs.n_vars; i++) {
2266 		name = hist_data->attrs->var_defs.name[i];
2267 
2268 		if (strcmp(var_name, name) == 0) {
2269 			field = hist_data->attrs->var_defs.expr[i];
2270 			if (contains_operator(field, NULL) || is_var_ref(field))
2271 				continue;
2272 			return field;
2273 		}
2274 	}
2275 
2276 	return NULL;
2277 }
2278 
local_field_var_ref(struct hist_trigger_data * hist_data,char * system,char * event_name,char * var_name)2279 static char *local_field_var_ref(struct hist_trigger_data *hist_data,
2280 				 char *system, char *event_name,
2281 				 char *var_name)
2282 {
2283 	struct trace_event_call *call;
2284 
2285 	if (system && event_name) {
2286 		call = hist_data->event_file->event_call;
2287 
2288 		if (strcmp(system, call->class->system) != 0)
2289 			return NULL;
2290 
2291 		if (strcmp(event_name, trace_event_name(call)) != 0)
2292 			return NULL;
2293 	}
2294 
2295 	if (!!system != !!event_name)
2296 		return NULL;
2297 
2298 	if (!is_var_ref(var_name))
2299 		return NULL;
2300 
2301 	var_name++;
2302 
2303 	return field_name_from_var(hist_data, var_name);
2304 }
2305 
parse_var_ref(struct hist_trigger_data * hist_data,char * system,char * event_name,char * var_name)2306 static struct hist_field *parse_var_ref(struct hist_trigger_data *hist_data,
2307 					char *system, char *event_name,
2308 					char *var_name)
2309 {
2310 	struct hist_field *var_field = NULL, *ref_field = NULL;
2311 	struct trace_array *tr = hist_data->event_file->tr;
2312 
2313 	if (!is_var_ref(var_name))
2314 		return NULL;
2315 
2316 	var_name++;
2317 
2318 	var_field = find_event_var(hist_data, system, event_name, var_name);
2319 	if (var_field)
2320 		ref_field = create_var_ref(hist_data, var_field,
2321 					   system, event_name);
2322 
2323 	if (!ref_field)
2324 		hist_err(tr, HIST_ERR_VAR_NOT_FOUND, errpos(var_name));
2325 
2326 	return ref_field;
2327 }
2328 
2329 static struct ftrace_event_field *
parse_field(struct hist_trigger_data * hist_data,struct trace_event_file * file,char * field_str,unsigned long * flags,unsigned long * buckets)2330 parse_field(struct hist_trigger_data *hist_data, struct trace_event_file *file,
2331 	    char *field_str, unsigned long *flags, unsigned long *buckets)
2332 {
2333 	struct ftrace_event_field *field = NULL;
2334 	char *field_name, *modifier, *str;
2335 	struct trace_array *tr = file->tr;
2336 
2337 	modifier = str = kstrdup(field_str, GFP_KERNEL);
2338 	if (!modifier)
2339 		return ERR_PTR(-ENOMEM);
2340 
2341 	field_name = strsep(&modifier, ".");
2342 	if (modifier) {
2343 		if (strcmp(modifier, "hex") == 0)
2344 			*flags |= HIST_FIELD_FL_HEX;
2345 		else if (strcmp(modifier, "sym") == 0)
2346 			*flags |= HIST_FIELD_FL_SYM;
2347 		/*
2348 		 * 'sym-offset' occurrences in the trigger string are modified
2349 		 * to 'symXoffset' to simplify arithmetic expression parsing.
2350 		 */
2351 		else if (strcmp(modifier, "symXoffset") == 0)
2352 			*flags |= HIST_FIELD_FL_SYM_OFFSET;
2353 		else if ((strcmp(modifier, "execname") == 0) &&
2354 			 (strcmp(field_name, "common_pid") == 0))
2355 			*flags |= HIST_FIELD_FL_EXECNAME;
2356 		else if (strcmp(modifier, "syscall") == 0)
2357 			*flags |= HIST_FIELD_FL_SYSCALL;
2358 		else if (strcmp(modifier, "stacktrace") == 0)
2359 			*flags |= HIST_FIELD_FL_STACKTRACE;
2360 		else if (strcmp(modifier, "log2") == 0)
2361 			*flags |= HIST_FIELD_FL_LOG2;
2362 		else if (strcmp(modifier, "usecs") == 0)
2363 			*flags |= HIST_FIELD_FL_TIMESTAMP_USECS;
2364 		else if (strncmp(modifier, "bucket", 6) == 0) {
2365 			int ret;
2366 
2367 			modifier += 6;
2368 
2369 			if (*modifier == 's')
2370 				modifier++;
2371 			if (*modifier != '=')
2372 				goto error;
2373 			modifier++;
2374 			ret = kstrtoul(modifier, 0, buckets);
2375 			if (ret || !(*buckets))
2376 				goto error;
2377 			*flags |= HIST_FIELD_FL_BUCKET;
2378 		} else if (strncmp(modifier, "percent", 7) == 0) {
2379 			if (*flags & (HIST_FIELD_FL_VAR | HIST_FIELD_FL_KEY))
2380 				goto error;
2381 			*flags |= HIST_FIELD_FL_PERCENT;
2382 		} else if (strncmp(modifier, "graph", 5) == 0) {
2383 			if (*flags & (HIST_FIELD_FL_VAR | HIST_FIELD_FL_KEY))
2384 				goto error;
2385 			*flags |= HIST_FIELD_FL_GRAPH;
2386 		} else {
2387  error:
2388 			hist_err(tr, HIST_ERR_BAD_FIELD_MODIFIER, errpos(modifier));
2389 			field = ERR_PTR(-EINVAL);
2390 			goto out;
2391 		}
2392 	}
2393 
2394 	if (strcmp(field_name, "common_timestamp") == 0) {
2395 		*flags |= HIST_FIELD_FL_TIMESTAMP;
2396 		hist_data->enable_timestamps = true;
2397 		if (*flags & HIST_FIELD_FL_TIMESTAMP_USECS)
2398 			hist_data->attrs->ts_in_usecs = true;
2399 	} else if (strcmp(field_name, "common_stacktrace") == 0) {
2400 		*flags |= HIST_FIELD_FL_STACKTRACE;
2401 	} else if (strcmp(field_name, "common_cpu") == 0) {
2402 		*flags |= HIST_FIELD_FL_CPU;
2403 	} else if (strcmp(field_name, "common_comm") == 0) {
2404 		*flags |= HIST_FIELD_FL_COMM | HIST_FIELD_FL_STRING;
2405 	} else if (strcmp(field_name, "hitcount") == 0)
2406 		*flags |= HIST_FIELD_FL_HITCOUNT;
2407 	else {
2408 		field = trace_find_event_field(file->event_call, field_name);
2409 		if (!field || !field->size) {
2410 			/*
2411 			 * For backward compatibility, if field_name
2412 			 * was "cpu" or "stacktrace", then we treat this
2413 			 * the same as common_cpu and common_stacktrace
2414 			 * respectively. This also works for "CPU", and
2415 			 * "STACKTRACE".
2416 			 */
2417 			if (field && field->filter_type == FILTER_CPU) {
2418 				*flags |= HIST_FIELD_FL_CPU;
2419 			} else if (field && field->filter_type == FILTER_STACKTRACE) {
2420 				*flags |= HIST_FIELD_FL_STACKTRACE;
2421 			} else if (field && field->filter_type == FILTER_COMM) {
2422 				*flags |= HIST_FIELD_FL_COMM | HIST_FIELD_FL_STRING;
2423 			} else {
2424 				hist_err(tr, HIST_ERR_FIELD_NOT_FOUND,
2425 					 errpos(field_name));
2426 				field = ERR_PTR(-EINVAL);
2427 				goto out;
2428 			}
2429 		}
2430 	}
2431  out:
2432 	kfree(str);
2433 
2434 	return field;
2435 }
2436 
create_alias(struct hist_trigger_data * hist_data,struct hist_field * var_ref,char * var_name)2437 static struct hist_field *create_alias(struct hist_trigger_data *hist_data,
2438 				       struct hist_field *var_ref,
2439 				       char *var_name)
2440 {
2441 	struct hist_field *alias = NULL;
2442 	unsigned long flags = HIST_FIELD_FL_ALIAS | HIST_FIELD_FL_VAR;
2443 
2444 	alias = create_hist_field(hist_data, NULL, flags, var_name);
2445 	if (!alias)
2446 		return NULL;
2447 
2448 	alias->fn_num = var_ref->fn_num;
2449 	alias->operands[0] = var_ref;
2450 
2451 	if (init_var_ref(alias, var_ref, var_ref->system, var_ref->event_name)) {
2452 		destroy_hist_field(alias, 0);
2453 		return NULL;
2454 	}
2455 
2456 	alias->var_ref_idx = var_ref->var_ref_idx;
2457 
2458 	return alias;
2459 }
2460 
parse_const(struct hist_trigger_data * hist_data,char * str,char * var_name,unsigned long * flags)2461 static struct hist_field *parse_const(struct hist_trigger_data *hist_data,
2462 				      char *str, char *var_name,
2463 				      unsigned long *flags)
2464 {
2465 	struct trace_array *tr = hist_data->event_file->tr;
2466 	struct hist_field *field = NULL;
2467 	u64 constant;
2468 
2469 	if (kstrtoull(str, 0, &constant)) {
2470 		hist_err(tr, HIST_ERR_EXPECT_NUMBER, errpos(str));
2471 		return NULL;
2472 	}
2473 
2474 	*flags |= HIST_FIELD_FL_CONST;
2475 	field = create_hist_field(hist_data, NULL, *flags, var_name);
2476 	if (!field)
2477 		return NULL;
2478 
2479 	field->constant = constant;
2480 
2481 	return field;
2482 }
2483 
parse_atom(struct hist_trigger_data * hist_data,struct trace_event_file * file,char * str,unsigned long * flags,char * var_name)2484 static struct hist_field *parse_atom(struct hist_trigger_data *hist_data,
2485 				     struct trace_event_file *file, char *str,
2486 				     unsigned long *flags, char *var_name)
2487 {
2488 	char *s, *ref_system = NULL, *ref_event = NULL, *ref_var = str;
2489 	struct ftrace_event_field *field = NULL;
2490 	struct hist_field *hist_field = NULL;
2491 	unsigned long buckets = 0;
2492 	int ret = 0;
2493 
2494 	if (isdigit(str[0])) {
2495 		hist_field = parse_const(hist_data, str, var_name, flags);
2496 		if (!hist_field) {
2497 			ret = -EINVAL;
2498 			goto out;
2499 		}
2500 		return hist_field;
2501 	}
2502 
2503 	s = strchr(str, '.');
2504 	if (s) {
2505 		s = strchr(++s, '.');
2506 		if (s) {
2507 			ref_system = strsep(&str, ".");
2508 			if (!str) {
2509 				ret = -EINVAL;
2510 				goto out;
2511 			}
2512 			ref_event = strsep(&str, ".");
2513 			if (!str) {
2514 				ret = -EINVAL;
2515 				goto out;
2516 			}
2517 			ref_var = str;
2518 		}
2519 	}
2520 
2521 	s = local_field_var_ref(hist_data, ref_system, ref_event, ref_var);
2522 	if (!s) {
2523 		hist_field = parse_var_ref(hist_data, ref_system,
2524 					   ref_event, ref_var);
2525 		if (hist_field) {
2526 			if (var_name) {
2527 				hist_field = create_alias(hist_data, hist_field, var_name);
2528 				if (!hist_field) {
2529 					ret = -ENOMEM;
2530 					goto out;
2531 				}
2532 			}
2533 			return hist_field;
2534 		}
2535 	} else
2536 		str = s;
2537 
2538 	field = parse_field(hist_data, file, str, flags, &buckets);
2539 	if (IS_ERR(field)) {
2540 		ret = PTR_ERR(field);
2541 		goto out;
2542 	}
2543 
2544 	hist_field = create_hist_field(hist_data, field, *flags, var_name);
2545 	if (!hist_field) {
2546 		ret = -ENOMEM;
2547 		goto out;
2548 	}
2549 	hist_field->buckets = buckets;
2550 
2551 	return hist_field;
2552  out:
2553 	return ERR_PTR(ret);
2554 }
2555 
2556 static struct hist_field *parse_expr(struct hist_trigger_data *hist_data,
2557 				     struct trace_event_file *file,
2558 				     char *str, unsigned long flags,
2559 				     char *var_name, unsigned int *n_subexprs);
2560 
parse_unary(struct hist_trigger_data * hist_data,struct trace_event_file * file,char * str,unsigned long flags,char * var_name,unsigned int * n_subexprs)2561 static struct hist_field *parse_unary(struct hist_trigger_data *hist_data,
2562 				      struct trace_event_file *file,
2563 				      char *str, unsigned long flags,
2564 				      char *var_name, unsigned int *n_subexprs)
2565 {
2566 	struct hist_field *operand1, *expr = NULL;
2567 	unsigned long operand_flags;
2568 	int ret = 0;
2569 	char *s;
2570 
2571 	/* Unary minus operator, increment n_subexprs */
2572 	++*n_subexprs;
2573 
2574 	/* we support only -(xxx) i.e. explicit parens required */
2575 
2576 	if (*n_subexprs > 3) {
2577 		hist_err(file->tr, HIST_ERR_TOO_MANY_SUBEXPR, errpos(str));
2578 		ret = -EINVAL;
2579 		goto free;
2580 	}
2581 
2582 	str++; /* skip leading '-' */
2583 
2584 	s = strchr(str, '(');
2585 	if (s)
2586 		str++;
2587 	else {
2588 		ret = -EINVAL;
2589 		goto free;
2590 	}
2591 
2592 	s = strrchr(str, ')');
2593 	if (s) {
2594 		 /* unary minus not supported in sub-expressions */
2595 		if (*(s+1) != '\0') {
2596 			hist_err(file->tr, HIST_ERR_UNARY_MINUS_SUBEXPR,
2597 				 errpos(str));
2598 			ret = -EINVAL;
2599 			goto free;
2600 		}
2601 		*s = '\0';
2602 	}
2603 	else {
2604 		ret = -EINVAL; /* no closing ')' */
2605 		goto free;
2606 	}
2607 
2608 	flags |= HIST_FIELD_FL_EXPR;
2609 	expr = create_hist_field(hist_data, NULL, flags, var_name);
2610 	if (!expr) {
2611 		ret = -ENOMEM;
2612 		goto free;
2613 	}
2614 
2615 	operand_flags = 0;
2616 	operand1 = parse_expr(hist_data, file, str, operand_flags, NULL, n_subexprs);
2617 	if (IS_ERR(operand1)) {
2618 		ret = PTR_ERR(operand1);
2619 		goto free;
2620 	}
2621 	if (operand1->flags & HIST_FIELD_FL_STRING) {
2622 		/* String type can not be the operand of unary operator. */
2623 		hist_err(file->tr, HIST_ERR_INVALID_STR_OPERAND, errpos(str));
2624 		destroy_hist_field(operand1, 0);
2625 		ret = -EINVAL;
2626 		goto free;
2627 	}
2628 
2629 	expr->flags |= operand1->flags &
2630 		(HIST_FIELD_FL_TIMESTAMP | HIST_FIELD_FL_TIMESTAMP_USECS);
2631 	expr->fn_num = HIST_FIELD_FN_UMINUS;
2632 	expr->operands[0] = operand1;
2633 	expr->size = operand1->size;
2634 	expr->is_signed = operand1->is_signed;
2635 	expr->operator = FIELD_OP_UNARY_MINUS;
2636 	expr->name = expr_str(expr, 0);
2637 	expr->type = kstrdup_const(operand1->type, GFP_KERNEL);
2638 	if (!expr->type) {
2639 		ret = -ENOMEM;
2640 		goto free;
2641 	}
2642 
2643 	return expr;
2644  free:
2645 	destroy_hist_field(expr, 0);
2646 	return ERR_PTR(ret);
2647 }
2648 
2649 /*
2650  * If the operands are var refs, return pointers the
2651  * variable(s) referenced in var1 and var2, else NULL.
2652  */
check_expr_operands(struct trace_array * tr,struct hist_field * operand1,struct hist_field * operand2,struct hist_field ** var1,struct hist_field ** var2)2653 static int check_expr_operands(struct trace_array *tr,
2654 			       struct hist_field *operand1,
2655 			       struct hist_field *operand2,
2656 			       struct hist_field **var1,
2657 			       struct hist_field **var2)
2658 {
2659 	unsigned long operand1_flags = operand1->flags;
2660 	unsigned long operand2_flags = operand2->flags;
2661 
2662 	if ((operand1_flags & HIST_FIELD_FL_VAR_REF) ||
2663 	    (operand1_flags & HIST_FIELD_FL_ALIAS)) {
2664 		struct hist_field *var;
2665 
2666 		var = find_var_field(operand1->var.hist_data, operand1->name);
2667 		if (!var)
2668 			return -EINVAL;
2669 		operand1_flags = var->flags;
2670 		*var1 = var;
2671 	}
2672 
2673 	if ((operand2_flags & HIST_FIELD_FL_VAR_REF) ||
2674 	    (operand2_flags & HIST_FIELD_FL_ALIAS)) {
2675 		struct hist_field *var;
2676 
2677 		var = find_var_field(operand2->var.hist_data, operand2->name);
2678 		if (!var)
2679 			return -EINVAL;
2680 		operand2_flags = var->flags;
2681 		*var2 = var;
2682 	}
2683 
2684 	if ((operand1_flags & HIST_FIELD_FL_TIMESTAMP_USECS) !=
2685 	    (operand2_flags & HIST_FIELD_FL_TIMESTAMP_USECS)) {
2686 		hist_err(tr, HIST_ERR_TIMESTAMP_MISMATCH, 0);
2687 		return -EINVAL;
2688 	}
2689 
2690 	return 0;
2691 }
2692 
parse_expr(struct hist_trigger_data * hist_data,struct trace_event_file * file,char * str,unsigned long flags,char * var_name,unsigned int * n_subexprs)2693 static struct hist_field *parse_expr(struct hist_trigger_data *hist_data,
2694 				     struct trace_event_file *file,
2695 				     char *str, unsigned long flags,
2696 				     char *var_name, unsigned int *n_subexprs)
2697 {
2698 	struct hist_field *operand1 = NULL, *operand2 = NULL, *expr = NULL;
2699 	struct hist_field *var1 = NULL, *var2 = NULL;
2700 	unsigned long operand_flags, operand2_flags;
2701 	int field_op, ret = -EINVAL;
2702 	char *sep, *operand1_str;
2703 	enum hist_field_fn op_fn;
2704 	bool combine_consts;
2705 
2706 	if (*n_subexprs > 3) {
2707 		hist_err(file->tr, HIST_ERR_TOO_MANY_SUBEXPR, errpos(str));
2708 		return ERR_PTR(-EINVAL);
2709 	}
2710 
2711 	field_op = contains_operator(str, &sep);
2712 
2713 	if (field_op == FIELD_OP_NONE)
2714 		return parse_atom(hist_data, file, str, &flags, var_name);
2715 
2716 	if (field_op == FIELD_OP_UNARY_MINUS)
2717 		return parse_unary(hist_data, file, str, flags, var_name, n_subexprs);
2718 
2719 	/* Binary operator found, increment n_subexprs */
2720 	++*n_subexprs;
2721 
2722 	/* Split the expression string at the root operator */
2723 	if (!sep)
2724 		return ERR_PTR(-EINVAL);
2725 
2726 	*sep = '\0';
2727 	operand1_str = str;
2728 	str = sep+1;
2729 
2730 	/* Binary operator requires both operands */
2731 	if (*operand1_str == '\0' || *str == '\0')
2732 		return ERR_PTR(-EINVAL);
2733 
2734 	operand_flags = 0;
2735 
2736 	/* LHS of string is an expression e.g. a+b in a+b+c */
2737 	operand1 = parse_expr(hist_data, file, operand1_str, operand_flags, NULL, n_subexprs);
2738 	if (IS_ERR(operand1))
2739 		return ERR_CAST(operand1);
2740 
2741 	if (operand1->flags & HIST_FIELD_FL_STRING) {
2742 		hist_err(file->tr, HIST_ERR_INVALID_STR_OPERAND, errpos(operand1_str));
2743 		ret = -EINVAL;
2744 		goto free_op1;
2745 	}
2746 
2747 	/* RHS of string is another expression e.g. c in a+b+c */
2748 	operand_flags = 0;
2749 	operand2 = parse_expr(hist_data, file, str, operand_flags, NULL, n_subexprs);
2750 	if (IS_ERR(operand2)) {
2751 		ret = PTR_ERR(operand2);
2752 		goto free_op1;
2753 	}
2754 	if (operand2->flags & HIST_FIELD_FL_STRING) {
2755 		hist_err(file->tr, HIST_ERR_INVALID_STR_OPERAND, errpos(str));
2756 		ret = -EINVAL;
2757 		goto free_operands;
2758 	}
2759 
2760 	switch (field_op) {
2761 	case FIELD_OP_MINUS:
2762 		op_fn = HIST_FIELD_FN_MINUS;
2763 		break;
2764 	case FIELD_OP_PLUS:
2765 		op_fn = HIST_FIELD_FN_PLUS;
2766 		break;
2767 	case FIELD_OP_DIV:
2768 		op_fn = HIST_FIELD_FN_DIV;
2769 		break;
2770 	case FIELD_OP_MULT:
2771 		op_fn = HIST_FIELD_FN_MULT;
2772 		break;
2773 	default:
2774 		ret = -EINVAL;
2775 		goto free_operands;
2776 	}
2777 
2778 	ret = check_expr_operands(file->tr, operand1, operand2, &var1, &var2);
2779 	if (ret)
2780 		goto free_operands;
2781 
2782 	operand_flags = var1 ? var1->flags : operand1->flags;
2783 	operand2_flags = var2 ? var2->flags : operand2->flags;
2784 
2785 	/*
2786 	 * If both operands are constant, the expression can be
2787 	 * collapsed to a single constant.
2788 	 */
2789 	combine_consts = operand_flags & operand2_flags & HIST_FIELD_FL_CONST;
2790 
2791 	flags |= combine_consts ? HIST_FIELD_FL_CONST : HIST_FIELD_FL_EXPR;
2792 
2793 	flags |= operand1->flags &
2794 		(HIST_FIELD_FL_TIMESTAMP | HIST_FIELD_FL_TIMESTAMP_USECS);
2795 
2796 	expr = create_hist_field(hist_data, NULL, flags, var_name);
2797 	if (!expr) {
2798 		ret = -ENOMEM;
2799 		goto free_operands;
2800 	}
2801 
2802 	operand1->read_once = true;
2803 	operand2->read_once = true;
2804 
2805 	/* The operands are now owned and free'd by 'expr' */
2806 	expr->operands[0] = operand1;
2807 	expr->operands[1] = operand2;
2808 
2809 	if (field_op == FIELD_OP_DIV &&
2810 			operand2_flags & HIST_FIELD_FL_CONST) {
2811 		u64 divisor = var2 ? var2->constant : operand2->constant;
2812 
2813 		if (!divisor) {
2814 			hist_err(file->tr, HIST_ERR_DIVISION_BY_ZERO, errpos(str));
2815 			ret = -EDOM;
2816 			goto free_expr;
2817 		}
2818 
2819 		/*
2820 		 * Copy the divisor here so we don't have to look it up
2821 		 * later if this is a var ref
2822 		 */
2823 		operand2->constant = divisor;
2824 		op_fn = hist_field_get_div_fn(operand2);
2825 	}
2826 
2827 	expr->fn_num = op_fn;
2828 
2829 	if (combine_consts) {
2830 		if (var1)
2831 			expr->operands[0] = var1;
2832 		if (var2)
2833 			expr->operands[1] = var2;
2834 
2835 		expr->constant = hist_fn_call(expr, NULL, NULL, NULL, NULL);
2836 		expr->fn_num = HIST_FIELD_FN_CONST;
2837 
2838 		expr->operands[0] = NULL;
2839 		expr->operands[1] = NULL;
2840 
2841 		/*
2842 		 * var refs won't be destroyed immediately
2843 		 * See: destroy_hist_field()
2844 		 */
2845 		destroy_hist_field(operand2, 0);
2846 		destroy_hist_field(operand1, 0);
2847 
2848 		expr->name = expr_str(expr, 0);
2849 	} else {
2850 		/* The operand sizes should be the same, so just pick one */
2851 		expr->size = operand1->size;
2852 		expr->is_signed = operand1->is_signed;
2853 
2854 		expr->operator = field_op;
2855 		expr->type = kstrdup_const(operand1->type, GFP_KERNEL);
2856 		if (!expr->type) {
2857 			ret = -ENOMEM;
2858 			goto free_expr;
2859 		}
2860 
2861 		expr->name = expr_str(expr, 0);
2862 	}
2863 
2864 	return expr;
2865 
2866 free_operands:
2867 	destroy_hist_field(operand2, 0);
2868 free_op1:
2869 	destroy_hist_field(operand1, 0);
2870 	return ERR_PTR(ret);
2871 
2872 free_expr:
2873 	destroy_hist_field(expr, 0);
2874 	return ERR_PTR(ret);
2875 }
2876 
find_trigger_filter(struct hist_trigger_data * hist_data,struct trace_event_file * file)2877 static char *find_trigger_filter(struct hist_trigger_data *hist_data,
2878 				 struct trace_event_file *file)
2879 {
2880 	struct event_trigger_data *test;
2881 
2882 	lockdep_assert_held(&event_mutex);
2883 
2884 	list_for_each_entry(test, &file->triggers, list) {
2885 		if (test->cmd_ops->trigger_type == ETT_EVENT_HIST) {
2886 			if (test->private_data == hist_data)
2887 				return test->filter_str;
2888 		}
2889 	}
2890 
2891 	return NULL;
2892 }
2893 
2894 static struct event_command trigger_hist_cmd;
2895 static int event_hist_trigger_parse(struct event_command *cmd_ops,
2896 				    struct trace_event_file *file,
2897 				    char *glob, char *cmd,
2898 				    char *param_and_filter);
2899 
compatible_keys(struct hist_trigger_data * target_hist_data,struct hist_trigger_data * hist_data,unsigned int n_keys)2900 static bool compatible_keys(struct hist_trigger_data *target_hist_data,
2901 			    struct hist_trigger_data *hist_data,
2902 			    unsigned int n_keys)
2903 {
2904 	struct hist_field *target_hist_field, *hist_field;
2905 	unsigned int n, i, j;
2906 
2907 	if (hist_data->n_fields - hist_data->n_vals != n_keys)
2908 		return false;
2909 
2910 	i = hist_data->n_vals;
2911 	j = target_hist_data->n_vals;
2912 
2913 	for (n = 0; n < n_keys; n++) {
2914 		hist_field = hist_data->fields[i + n];
2915 		target_hist_field = target_hist_data->fields[j + n];
2916 
2917 		if (strcmp(hist_field->type, target_hist_field->type) != 0)
2918 			return false;
2919 		if (hist_field->size != target_hist_field->size)
2920 			return false;
2921 		if (hist_field->is_signed != target_hist_field->is_signed)
2922 			return false;
2923 	}
2924 
2925 	return true;
2926 }
2927 
2928 static struct hist_trigger_data *
find_compatible_hist(struct hist_trigger_data * target_hist_data,struct trace_event_file * file)2929 find_compatible_hist(struct hist_trigger_data *target_hist_data,
2930 		     struct trace_event_file *file)
2931 {
2932 	struct hist_trigger_data *hist_data;
2933 	struct event_trigger_data *test;
2934 	unsigned int n_keys;
2935 
2936 	lockdep_assert_held(&event_mutex);
2937 
2938 	n_keys = target_hist_data->n_fields - target_hist_data->n_vals;
2939 
2940 	list_for_each_entry(test, &file->triggers, list) {
2941 		if (test->cmd_ops->trigger_type == ETT_EVENT_HIST) {
2942 			hist_data = test->private_data;
2943 
2944 			if (compatible_keys(target_hist_data, hist_data, n_keys))
2945 				return hist_data;
2946 		}
2947 	}
2948 
2949 	return NULL;
2950 }
2951 
event_file(struct trace_array * tr,char * system,char * event_name)2952 static struct trace_event_file *event_file(struct trace_array *tr,
2953 					   char *system, char *event_name)
2954 {
2955 	struct trace_event_file *file;
2956 
2957 	file = __find_event_file(tr, system, event_name);
2958 	if (!file)
2959 		return ERR_PTR(-EINVAL);
2960 
2961 	return file;
2962 }
2963 
2964 static struct hist_field *
find_synthetic_field_var(struct hist_trigger_data * target_hist_data,char * system,char * event_name,char * field_name)2965 find_synthetic_field_var(struct hist_trigger_data *target_hist_data,
2966 			 char *system, char *event_name, char *field_name)
2967 {
2968 	struct hist_field *event_var;
2969 	char *synthetic_name;
2970 
2971 	synthetic_name = kzalloc(MAX_FILTER_STR_VAL, GFP_KERNEL);
2972 	if (!synthetic_name)
2973 		return ERR_PTR(-ENOMEM);
2974 
2975 	strcpy(synthetic_name, "synthetic_");
2976 	strcat(synthetic_name, field_name);
2977 
2978 	event_var = find_event_var(target_hist_data, system, event_name, synthetic_name);
2979 
2980 	kfree(synthetic_name);
2981 
2982 	return event_var;
2983 }
2984 
2985 /**
2986  * create_field_var_hist - Automatically create a histogram and var for a field
2987  * @target_hist_data: The target hist trigger
2988  * @subsys_name: Optional subsystem name
2989  * @event_name: Optional event name
2990  * @field_name: The name of the field (and the resulting variable)
2991  *
2992  * Hist trigger actions fetch data from variables, not directly from
2993  * events.  However, for convenience, users are allowed to directly
2994  * specify an event field in an action, which will be automatically
2995  * converted into a variable on their behalf.
2996  *
2997  * If a user specifies a field on an event that isn't the event the
2998  * histogram currently being defined (the target event histogram), the
2999  * only way that can be accomplished is if a new hist trigger is
3000  * created and the field variable defined on that.
3001  *
3002  * This function creates a new histogram compatible with the target
3003  * event (meaning a histogram with the same key as the target
3004  * histogram), and creates a variable for the specified field, but
3005  * with 'synthetic_' prepended to the variable name in order to avoid
3006  * collision with normal field variables.
3007  *
3008  * Return: The variable created for the field.
3009  */
3010 static struct hist_field *
create_field_var_hist(struct hist_trigger_data * target_hist_data,char * subsys_name,char * event_name,char * field_name)3011 create_field_var_hist(struct hist_trigger_data *target_hist_data,
3012 		      char *subsys_name, char *event_name, char *field_name)
3013 {
3014 	struct trace_array *tr = target_hist_data->event_file->tr;
3015 	struct hist_trigger_data *hist_data;
3016 	unsigned int i, n, first = true;
3017 	struct field_var_hist *var_hist;
3018 	struct trace_event_file *file;
3019 	struct hist_field *key_field;
3020 	struct hist_field *event_var;
3021 	char *saved_filter;
3022 	char *cmd;
3023 	int ret;
3024 
3025 	if (target_hist_data->n_field_var_hists >= SYNTH_FIELDS_MAX) {
3026 		hist_err(tr, HIST_ERR_TOO_MANY_FIELD_VARS, errpos(field_name));
3027 		return ERR_PTR(-EINVAL);
3028 	}
3029 
3030 	file = event_file(tr, subsys_name, event_name);
3031 
3032 	if (IS_ERR(file)) {
3033 		hist_err(tr, HIST_ERR_EVENT_FILE_NOT_FOUND, errpos(field_name));
3034 		ret = PTR_ERR(file);
3035 		return ERR_PTR(ret);
3036 	}
3037 
3038 	/*
3039 	 * Look for a histogram compatible with target.  We'll use the
3040 	 * found histogram specification to create a new matching
3041 	 * histogram with our variable on it.  target_hist_data is not
3042 	 * yet a registered histogram so we can't use that.
3043 	 */
3044 	hist_data = find_compatible_hist(target_hist_data, file);
3045 	if (!hist_data) {
3046 		hist_err(tr, HIST_ERR_HIST_NOT_FOUND, errpos(field_name));
3047 		return ERR_PTR(-EINVAL);
3048 	}
3049 
3050 	/* See if a synthetic field variable has already been created */
3051 	event_var = find_synthetic_field_var(target_hist_data, subsys_name,
3052 					     event_name, field_name);
3053 	if (!IS_ERR_OR_NULL(event_var))
3054 		return event_var;
3055 
3056 	var_hist = kzalloc_obj(*var_hist);
3057 	if (!var_hist)
3058 		return ERR_PTR(-ENOMEM);
3059 
3060 	cmd = kzalloc(MAX_FILTER_STR_VAL, GFP_KERNEL);
3061 	if (!cmd) {
3062 		kfree(var_hist);
3063 		return ERR_PTR(-ENOMEM);
3064 	}
3065 
3066 	/* Use the same keys as the compatible histogram */
3067 	strcat(cmd, "keys=");
3068 
3069 	for_each_hist_key_field(i, hist_data) {
3070 		key_field = hist_data->fields[i];
3071 		if (!first)
3072 			strcat(cmd, ",");
3073 		strcat(cmd, key_field->field->name);
3074 		first = false;
3075 	}
3076 
3077 	/* Create the synthetic field variable specification */
3078 	strcat(cmd, ":synthetic_");
3079 	strcat(cmd, field_name);
3080 	strcat(cmd, "=");
3081 	strcat(cmd, field_name);
3082 
3083 	/* Use the same filter as the compatible histogram */
3084 	saved_filter = find_trigger_filter(hist_data, file);
3085 	if (saved_filter) {
3086 		strcat(cmd, " if ");
3087 		strcat(cmd, saved_filter);
3088 	}
3089 
3090 	var_hist->cmd = kstrdup(cmd, GFP_KERNEL);
3091 	if (!var_hist->cmd) {
3092 		kfree(cmd);
3093 		kfree(var_hist);
3094 		return ERR_PTR(-ENOMEM);
3095 	}
3096 
3097 	/* Save the compatible histogram information */
3098 	var_hist->hist_data = hist_data;
3099 
3100 	/* Create the new histogram with our variable */
3101 	ret = event_hist_trigger_parse(&trigger_hist_cmd, file,
3102 				       "", "hist", cmd);
3103 	if (ret) {
3104 		kfree(cmd);
3105 		kfree(var_hist->cmd);
3106 		kfree(var_hist);
3107 		hist_err(tr, HIST_ERR_HIST_CREATE_FAIL, errpos(field_name));
3108 		return ERR_PTR(ret);
3109 	}
3110 
3111 	kfree(cmd);
3112 
3113 	/* If we can't find the variable, something went wrong */
3114 	event_var = find_synthetic_field_var(target_hist_data, subsys_name,
3115 					     event_name, field_name);
3116 	if (IS_ERR_OR_NULL(event_var)) {
3117 		kfree(var_hist->cmd);
3118 		kfree(var_hist);
3119 		hist_err(tr, HIST_ERR_SYNTH_VAR_NOT_FOUND, errpos(field_name));
3120 		return ERR_PTR(-EINVAL);
3121 	}
3122 
3123 	n = target_hist_data->n_field_var_hists;
3124 	target_hist_data->field_var_hists[n] = var_hist;
3125 	target_hist_data->n_field_var_hists++;
3126 
3127 	return event_var;
3128 }
3129 
3130 static struct hist_field *
find_target_event_var(struct hist_trigger_data * hist_data,char * subsys_name,char * event_name,char * var_name)3131 find_target_event_var(struct hist_trigger_data *hist_data,
3132 		      char *subsys_name, char *event_name, char *var_name)
3133 {
3134 	struct trace_event_file *file = hist_data->event_file;
3135 	struct hist_field *hist_field = NULL;
3136 
3137 	if (subsys_name) {
3138 		struct trace_event_call *call;
3139 
3140 		if (!event_name)
3141 			return NULL;
3142 
3143 		call = file->event_call;
3144 
3145 		if (strcmp(subsys_name, call->class->system) != 0)
3146 			return NULL;
3147 
3148 		if (strcmp(event_name, trace_event_name(call)) != 0)
3149 			return NULL;
3150 	}
3151 
3152 	hist_field = find_var_field(hist_data, var_name);
3153 
3154 	return hist_field;
3155 }
3156 
__update_field_vars(struct tracing_map_elt * elt,struct trace_buffer * buffer,struct ring_buffer_event * rbe,void * rec,struct field_var ** field_vars,unsigned int n_field_vars,unsigned int field_var_str_start)3157 static inline void __update_field_vars(struct tracing_map_elt *elt,
3158 				       struct trace_buffer *buffer,
3159 				       struct ring_buffer_event *rbe,
3160 				       void *rec,
3161 				       struct field_var **field_vars,
3162 				       unsigned int n_field_vars,
3163 				       unsigned int field_var_str_start)
3164 {
3165 	struct hist_elt_data *elt_data = elt->private_data;
3166 	unsigned int i, j, var_idx;
3167 	u64 var_val;
3168 
3169 	/* Make sure stacktrace can fit in the string variable length */
3170 	BUILD_BUG_ON((HIST_STACKTRACE_DEPTH + 1) * sizeof(long) > STR_VAR_LEN_MAX);
3171 
3172 	for (i = 0, j = field_var_str_start; i < n_field_vars; i++) {
3173 		struct field_var *field_var = field_vars[i];
3174 		struct hist_field *var = field_var->var;
3175 		struct hist_field *val = field_var->val;
3176 
3177 		var_val = hist_fn_call(val, elt, buffer, rbe, rec);
3178 		var_idx = var->var.idx;
3179 
3180 		if (val->flags & (HIST_FIELD_FL_STRING |
3181 				  HIST_FIELD_FL_STACKTRACE)) {
3182 			char *str = elt_data->field_var_str[j++];
3183 			char *val_str = (char *)(uintptr_t)var_val;
3184 			unsigned int size;
3185 
3186 			if (val->flags & HIST_FIELD_FL_STRING) {
3187 				size = min(val->size, STR_VAR_LEN_MAX);
3188 				strscpy(str, val_str, size);
3189 			} else {
3190 				char *stack_start = str + sizeof(unsigned long);
3191 				int e;
3192 
3193 				e = stack_trace_save((void *)stack_start,
3194 						     HIST_STACKTRACE_DEPTH,
3195 						     HIST_STACKTRACE_SKIP);
3196 				if (e < HIST_STACKTRACE_DEPTH - 1)
3197 					((unsigned long *)stack_start)[e] = 0;
3198 				*((unsigned long *)str) = e;
3199 			}
3200 			var_val = (u64)(uintptr_t)str;
3201 		}
3202 		tracing_map_set_var(elt, var_idx, var_val);
3203 	}
3204 }
3205 
update_field_vars(struct hist_trigger_data * hist_data,struct tracing_map_elt * elt,struct trace_buffer * buffer,struct ring_buffer_event * rbe,void * rec)3206 static void update_field_vars(struct hist_trigger_data *hist_data,
3207 			      struct tracing_map_elt *elt,
3208 			      struct trace_buffer *buffer,
3209 			      struct ring_buffer_event *rbe,
3210 			      void *rec)
3211 {
3212 	__update_field_vars(elt, buffer, rbe, rec, hist_data->field_vars,
3213 			    hist_data->n_field_vars, 0);
3214 }
3215 
save_track_data_vars(struct hist_trigger_data * hist_data,struct tracing_map_elt * elt,struct trace_buffer * buffer,void * rec,struct ring_buffer_event * rbe,void * key,struct action_data * data,u64 * var_ref_vals)3216 static void save_track_data_vars(struct hist_trigger_data *hist_data,
3217 				 struct tracing_map_elt *elt,
3218 				 struct trace_buffer *buffer,  void *rec,
3219 				 struct ring_buffer_event *rbe, void *key,
3220 				 struct action_data *data, u64 *var_ref_vals)
3221 {
3222 	__update_field_vars(elt, buffer, rbe, rec, hist_data->save_vars,
3223 			    hist_data->n_save_vars, hist_data->n_field_var_str);
3224 }
3225 
create_var(struct hist_trigger_data * hist_data,struct trace_event_file * file,char * name,int size,const char * type)3226 static struct hist_field *create_var(struct hist_trigger_data *hist_data,
3227 				     struct trace_event_file *file,
3228 				     char *name, int size, const char *type)
3229 {
3230 	struct hist_field *var;
3231 	int idx;
3232 
3233 	if (find_var(hist_data, file, name) && !hist_data->remove) {
3234 		var = ERR_PTR(-EINVAL);
3235 		goto out;
3236 	}
3237 
3238 	var = kzalloc_obj(struct hist_field);
3239 	if (!var) {
3240 		var = ERR_PTR(-ENOMEM);
3241 		goto out;
3242 	}
3243 
3244 	idx = tracing_map_add_var(hist_data->map);
3245 	if (idx < 0) {
3246 		kfree(var);
3247 		var = ERR_PTR(-EINVAL);
3248 		goto out;
3249 	}
3250 
3251 	var->ref = 1;
3252 	var->flags = HIST_FIELD_FL_VAR;
3253 	var->var.idx = idx;
3254 	var->var.hist_data = var->hist_data = hist_data;
3255 	var->size = size;
3256 	var->var.name = kstrdup(name, GFP_KERNEL);
3257 	var->type = kstrdup_const(type, GFP_KERNEL);
3258 	if (!var->var.name || !var->type) {
3259 		kfree_const(var->type);
3260 		kfree(var->var.name);
3261 		kfree(var);
3262 		var = ERR_PTR(-ENOMEM);
3263 	}
3264  out:
3265 	return var;
3266 }
3267 
create_field_var(struct hist_trigger_data * hist_data,struct trace_event_file * file,char * field_name)3268 static struct field_var *create_field_var(struct hist_trigger_data *hist_data,
3269 					  struct trace_event_file *file,
3270 					  char *field_name)
3271 {
3272 	struct hist_field *val = NULL, *var = NULL;
3273 	unsigned long flags = HIST_FIELD_FL_VAR;
3274 	struct trace_array *tr = file->tr;
3275 	struct field_var *field_var;
3276 	int ret = 0;
3277 
3278 	if (hist_data->n_field_vars >= SYNTH_FIELDS_MAX) {
3279 		hist_err(tr, HIST_ERR_TOO_MANY_FIELD_VARS, errpos(field_name));
3280 		ret = -EINVAL;
3281 		goto err;
3282 	}
3283 
3284 	val = parse_atom(hist_data, file, field_name, &flags, NULL);
3285 	if (IS_ERR(val)) {
3286 		hist_err(tr, HIST_ERR_FIELD_VAR_PARSE_FAIL, errpos(field_name));
3287 		ret = PTR_ERR(val);
3288 		goto err;
3289 	}
3290 
3291 	var = create_var(hist_data, file, field_name, val->size, val->type);
3292 	if (IS_ERR(var)) {
3293 		hist_err(tr, HIST_ERR_VAR_CREATE_FIND_FAIL, errpos(field_name));
3294 		destroy_hist_field(val, 0);
3295 		ret = PTR_ERR(var);
3296 		goto err;
3297 	}
3298 
3299 	field_var = kzalloc_obj(struct field_var);
3300 	if (!field_var) {
3301 		destroy_hist_field(val, 0);
3302 		kfree_const(var->type);
3303 		kfree(var->var.name);
3304 		kfree(var);
3305 		ret =  -ENOMEM;
3306 		goto err;
3307 	}
3308 
3309 	field_var->var = var;
3310 	field_var->val = val;
3311  out:
3312 	return field_var;
3313  err:
3314 	field_var = ERR_PTR(ret);
3315 	goto out;
3316 }
3317 
3318 /**
3319  * create_target_field_var - Automatically create a variable for a field
3320  * @target_hist_data: The target hist trigger
3321  * @subsys_name: Optional subsystem name
3322  * @event_name: Optional event name
3323  * @var_name: The name of the field (and the resulting variable)
3324  *
3325  * Hist trigger actions fetch data from variables, not directly from
3326  * events.  However, for convenience, users are allowed to directly
3327  * specify an event field in an action, which will be automatically
3328  * converted into a variable on their behalf.
3329  *
3330  * This function creates a field variable with the name var_name on
3331  * the hist trigger currently being defined on the target event.  If
3332  * subsys_name and event_name are specified, this function simply
3333  * verifies that they do in fact match the target event subsystem and
3334  * event name.
3335  *
3336  * Return: The variable created for the field.
3337  */
3338 static struct field_var *
create_target_field_var(struct hist_trigger_data * target_hist_data,char * subsys_name,char * event_name,char * var_name)3339 create_target_field_var(struct hist_trigger_data *target_hist_data,
3340 			char *subsys_name, char *event_name, char *var_name)
3341 {
3342 	struct trace_event_file *file = target_hist_data->event_file;
3343 
3344 	if (subsys_name) {
3345 		struct trace_event_call *call;
3346 
3347 		if (!event_name)
3348 			return NULL;
3349 
3350 		call = file->event_call;
3351 
3352 		if (strcmp(subsys_name, call->class->system) != 0)
3353 			return NULL;
3354 
3355 		if (strcmp(event_name, trace_event_name(call)) != 0)
3356 			return NULL;
3357 	}
3358 
3359 	return create_field_var(target_hist_data, file, var_name);
3360 }
3361 
check_track_val_max(u64 track_val,u64 var_val)3362 static bool check_track_val_max(u64 track_val, u64 var_val)
3363 {
3364 	if (var_val <= track_val)
3365 		return false;
3366 
3367 	return true;
3368 }
3369 
check_track_val_changed(u64 track_val,u64 var_val)3370 static bool check_track_val_changed(u64 track_val, u64 var_val)
3371 {
3372 	if (var_val == track_val)
3373 		return false;
3374 
3375 	return true;
3376 }
3377 
get_track_val(struct hist_trigger_data * hist_data,struct tracing_map_elt * elt,struct action_data * data)3378 static u64 get_track_val(struct hist_trigger_data *hist_data,
3379 			 struct tracing_map_elt *elt,
3380 			 struct action_data *data)
3381 {
3382 	unsigned int track_var_idx = data->track_data.track_var->var.idx;
3383 	u64 track_val;
3384 
3385 	track_val = tracing_map_read_var(elt, track_var_idx);
3386 
3387 	return track_val;
3388 }
3389 
save_track_val(struct hist_trigger_data * hist_data,struct tracing_map_elt * elt,struct action_data * data,u64 var_val)3390 static void save_track_val(struct hist_trigger_data *hist_data,
3391 			   struct tracing_map_elt *elt,
3392 			   struct action_data *data, u64 var_val)
3393 {
3394 	unsigned int track_var_idx = data->track_data.track_var->var.idx;
3395 
3396 	tracing_map_set_var(elt, track_var_idx, var_val);
3397 }
3398 
save_track_data(struct hist_trigger_data * hist_data,struct tracing_map_elt * elt,struct trace_buffer * buffer,void * rec,struct ring_buffer_event * rbe,void * key,struct action_data * data,u64 * var_ref_vals)3399 static void save_track_data(struct hist_trigger_data *hist_data,
3400 			    struct tracing_map_elt *elt,
3401 			    struct trace_buffer *buffer, void *rec,
3402 			    struct ring_buffer_event *rbe, void *key,
3403 			    struct action_data *data, u64 *var_ref_vals)
3404 {
3405 	if (data->track_data.save_data)
3406 		data->track_data.save_data(hist_data, elt, buffer, rec, rbe,
3407 					   key, data, var_ref_vals);
3408 }
3409 
check_track_val(struct tracing_map_elt * elt,struct action_data * data,u64 var_val)3410 static bool check_track_val(struct tracing_map_elt *elt,
3411 			    struct action_data *data,
3412 			    u64 var_val)
3413 {
3414 	struct hist_trigger_data *hist_data;
3415 	u64 track_val;
3416 
3417 	hist_data = data->track_data.track_var->hist_data;
3418 	track_val = get_track_val(hist_data, elt, data);
3419 
3420 	return data->track_data.check_val(track_val, var_val);
3421 }
3422 
3423 #ifdef CONFIG_TRACER_SNAPSHOT
cond_snapshot_update(struct trace_array * tr,void * cond_data)3424 static bool cond_snapshot_update(struct trace_array *tr, void *cond_data)
3425 {
3426 	/* called with tr->max_lock held */
3427 	struct track_data *track_data = tr->cond_snapshot->cond_data;
3428 	struct hist_elt_data *elt_data, *track_elt_data;
3429 	struct snapshot_context *context = cond_data;
3430 	struct action_data *action;
3431 	u64 track_val;
3432 
3433 	if (!track_data)
3434 		return false;
3435 
3436 	action = track_data->action_data;
3437 
3438 	track_val = get_track_val(track_data->hist_data, context->elt,
3439 				  track_data->action_data);
3440 
3441 	if (!action->track_data.check_val(track_data->track_val, track_val))
3442 		return false;
3443 
3444 	track_data->track_val = track_val;
3445 	memcpy(track_data->key, context->key, track_data->key_len);
3446 
3447 	elt_data = context->elt->private_data;
3448 	track_elt_data = track_data->elt.private_data;
3449 	if (elt_data->comm)
3450 		strscpy(track_elt_data->comm, elt_data->comm, TASK_COMM_LEN);
3451 
3452 	track_data->updated = true;
3453 
3454 	return true;
3455 }
3456 
save_track_data_snapshot(struct hist_trigger_data * hist_data,struct tracing_map_elt * elt,struct trace_buffer * buffer,void * rec,struct ring_buffer_event * rbe,void * key,struct action_data * data,u64 * var_ref_vals)3457 static void save_track_data_snapshot(struct hist_trigger_data *hist_data,
3458 				     struct tracing_map_elt *elt,
3459 				     struct trace_buffer *buffer, void *rec,
3460 				     struct ring_buffer_event *rbe, void *key,
3461 				     struct action_data *data,
3462 				     u64 *var_ref_vals)
3463 {
3464 	struct trace_event_file *file = hist_data->event_file;
3465 	struct snapshot_context context;
3466 
3467 	context.elt = elt;
3468 	context.key = key;
3469 
3470 	tracing_snapshot_cond(file->tr, &context);
3471 }
3472 
3473 static void hist_trigger_print_key(struct seq_file *m,
3474 				   struct hist_trigger_data *hist_data,
3475 				   void *key,
3476 				   struct tracing_map_elt *elt);
3477 
snapshot_action(struct hist_trigger_data * hist_data)3478 static struct action_data *snapshot_action(struct hist_trigger_data *hist_data)
3479 {
3480 	unsigned int i;
3481 
3482 	if (!hist_data->n_actions)
3483 		return NULL;
3484 
3485 	for (i = 0; i < hist_data->n_actions; i++) {
3486 		struct action_data *data = hist_data->actions[i];
3487 
3488 		if (data->action == ACTION_SNAPSHOT)
3489 			return data;
3490 	}
3491 
3492 	return NULL;
3493 }
3494 
track_data_snapshot_print(struct seq_file * m,struct hist_trigger_data * hist_data)3495 static void track_data_snapshot_print(struct seq_file *m,
3496 				      struct hist_trigger_data *hist_data)
3497 {
3498 	struct trace_event_file *file = hist_data->event_file;
3499 	struct track_data *track_data;
3500 	struct action_data *action;
3501 
3502 	track_data = tracing_cond_snapshot_data(file->tr);
3503 	if (!track_data)
3504 		return;
3505 
3506 	if (!track_data->updated)
3507 		return;
3508 
3509 	action = snapshot_action(hist_data);
3510 	if (!action)
3511 		return;
3512 
3513 	seq_puts(m, "\nSnapshot taken (see tracing/snapshot).  Details:\n");
3514 	seq_printf(m, "\ttriggering value { %s(%s) }: %10llu",
3515 		   action->handler == HANDLER_ONMAX ? "onmax" : "onchange",
3516 		   action->track_data.var_str, track_data->track_val);
3517 
3518 	seq_puts(m, "\ttriggered by event with key: ");
3519 	hist_trigger_print_key(m, hist_data, track_data->key, &track_data->elt);
3520 	seq_putc(m, '\n');
3521 }
3522 #else
cond_snapshot_update(struct trace_array * tr,void * cond_data)3523 static bool cond_snapshot_update(struct trace_array *tr, void *cond_data)
3524 {
3525 	return false;
3526 }
save_track_data_snapshot(struct hist_trigger_data * hist_data,struct tracing_map_elt * elt,struct trace_buffer * buffer,void * rec,struct ring_buffer_event * rbe,void * key,struct action_data * data,u64 * var_ref_vals)3527 static void save_track_data_snapshot(struct hist_trigger_data *hist_data,
3528 				     struct tracing_map_elt *elt,
3529 				     struct trace_buffer *buffer, void *rec,
3530 				     struct ring_buffer_event *rbe, void *key,
3531 				     struct action_data *data,
3532 				     u64 *var_ref_vals) {}
track_data_snapshot_print(struct seq_file * m,struct hist_trigger_data * hist_data)3533 static void track_data_snapshot_print(struct seq_file *m,
3534 				      struct hist_trigger_data *hist_data) {}
3535 #endif /* CONFIG_TRACER_SNAPSHOT */
3536 
track_data_print(struct seq_file * m,struct hist_trigger_data * hist_data,struct tracing_map_elt * elt,struct action_data * data)3537 static void track_data_print(struct seq_file *m,
3538 			     struct hist_trigger_data *hist_data,
3539 			     struct tracing_map_elt *elt,
3540 			     struct action_data *data)
3541 {
3542 	u64 track_val = get_track_val(hist_data, elt, data);
3543 	unsigned int i, save_var_idx;
3544 
3545 	if (data->handler == HANDLER_ONMAX)
3546 		seq_printf(m, "\n\tmax: %10llu", track_val);
3547 	else if (data->handler == HANDLER_ONCHANGE)
3548 		seq_printf(m, "\n\tchanged: %10llu", track_val);
3549 
3550 	if (data->action == ACTION_SNAPSHOT)
3551 		return;
3552 
3553 	for (i = 0; i < hist_data->n_save_vars; i++) {
3554 		struct hist_field *save_val = hist_data->save_vars[i]->val;
3555 		struct hist_field *save_var = hist_data->save_vars[i]->var;
3556 		u64 val;
3557 
3558 		save_var_idx = save_var->var.idx;
3559 
3560 		val = tracing_map_read_var(elt, save_var_idx);
3561 
3562 		if (save_val->flags & HIST_FIELD_FL_STRING) {
3563 			seq_printf(m, "  %s: %-32s", save_var->var.name,
3564 				   (char *)(uintptr_t)(val));
3565 		} else
3566 			seq_printf(m, "  %s: %10llu", save_var->var.name, val);
3567 	}
3568 }
3569 
ontrack_action(struct hist_trigger_data * hist_data,struct tracing_map_elt * elt,struct trace_buffer * buffer,void * rec,struct ring_buffer_event * rbe,void * key,struct action_data * data,u64 * var_ref_vals)3570 static void ontrack_action(struct hist_trigger_data *hist_data,
3571 			   struct tracing_map_elt *elt,
3572 			   struct trace_buffer *buffer, void *rec,
3573 			   struct ring_buffer_event *rbe, void *key,
3574 			   struct action_data *data, u64 *var_ref_vals)
3575 {
3576 	u64 var_val = var_ref_vals[data->track_data.var_ref->var_ref_idx];
3577 
3578 	if (check_track_val(elt, data, var_val)) {
3579 		save_track_val(hist_data, elt, data, var_val);
3580 		save_track_data(hist_data, elt, buffer, rec, rbe,
3581 				key, data, var_ref_vals);
3582 	}
3583 }
3584 
action_data_destroy(struct action_data * data)3585 static void action_data_destroy(struct action_data *data)
3586 {
3587 	unsigned int i;
3588 
3589 	lockdep_assert_held(&event_mutex);
3590 
3591 	kfree(data->action_name);
3592 
3593 	for (i = 0; i < data->n_params; i++)
3594 		kfree(data->params[i]);
3595 
3596 	if (data->synth_event)
3597 		data->synth_event->ref--;
3598 
3599 	kfree(data->synth_event_name);
3600 
3601 	kfree(data);
3602 }
3603 
track_data_destroy(struct hist_trigger_data * hist_data,struct action_data * data)3604 static void track_data_destroy(struct hist_trigger_data *hist_data,
3605 			       struct action_data *data)
3606 {
3607 	struct trace_event_file *file = hist_data->event_file;
3608 
3609 	destroy_hist_field(data->track_data.track_var, 0);
3610 
3611 	if (data->action == ACTION_SNAPSHOT) {
3612 		struct track_data *track_data;
3613 
3614 		track_data = tracing_cond_snapshot_data(file->tr);
3615 		if (track_data && track_data->hist_data == hist_data) {
3616 			tracing_snapshot_cond_disable(file->tr);
3617 			track_data_free(track_data);
3618 		}
3619 	}
3620 
3621 	kfree(data->track_data.var_str);
3622 
3623 	action_data_destroy(data);
3624 }
3625 
3626 static int action_create(struct hist_trigger_data *hist_data,
3627 			 struct action_data *data);
3628 
track_data_create(struct hist_trigger_data * hist_data,struct action_data * data)3629 static int track_data_create(struct hist_trigger_data *hist_data,
3630 			     struct action_data *data)
3631 {
3632 	struct hist_field *var_field, *ref_field, *track_var = NULL;
3633 	struct trace_event_file *file = hist_data->event_file;
3634 	struct trace_array *tr = file->tr;
3635 	char *track_data_var_str;
3636 	int ret = 0;
3637 
3638 	track_data_var_str = data->track_data.var_str;
3639 	if (track_data_var_str[0] != '$') {
3640 		hist_err(tr, HIST_ERR_ONX_NOT_VAR, errpos(track_data_var_str));
3641 		return -EINVAL;
3642 	}
3643 	track_data_var_str++;
3644 
3645 	var_field = find_target_event_var(hist_data, NULL, NULL, track_data_var_str);
3646 	if (!var_field) {
3647 		hist_err(tr, HIST_ERR_ONX_VAR_NOT_FOUND, errpos(track_data_var_str));
3648 		return -EINVAL;
3649 	}
3650 
3651 	ref_field = create_var_ref(hist_data, var_field, NULL, NULL);
3652 	if (!ref_field)
3653 		return -ENOMEM;
3654 
3655 	data->track_data.var_ref = ref_field;
3656 
3657 	if (data->handler == HANDLER_ONMAX)
3658 		track_var = create_var(hist_data, file, "__max", sizeof(u64), "u64");
3659 	if (IS_ERR(track_var)) {
3660 		hist_err(tr, HIST_ERR_ONX_VAR_CREATE_FAIL, 0);
3661 		ret = PTR_ERR(track_var);
3662 		goto out;
3663 	}
3664 
3665 	if (data->handler == HANDLER_ONCHANGE)
3666 		track_var = create_var(hist_data, file, "__change", sizeof(u64), "u64");
3667 	if (IS_ERR(track_var)) {
3668 		hist_err(tr, HIST_ERR_ONX_VAR_CREATE_FAIL, 0);
3669 		ret = PTR_ERR(track_var);
3670 		goto out;
3671 	}
3672 	data->track_data.track_var = track_var;
3673 
3674 	ret = action_create(hist_data, data);
3675  out:
3676 	return ret;
3677 }
3678 
parse_action_params(struct trace_array * tr,char * params,struct action_data * data)3679 static int parse_action_params(struct trace_array *tr, char *params,
3680 			       struct action_data *data)
3681 {
3682 	char *param, *saved_param;
3683 	bool first_param = true;
3684 	int ret = 0;
3685 
3686 	while (params) {
3687 		if (data->n_params >= SYNTH_FIELDS_MAX) {
3688 			hist_err(tr, HIST_ERR_TOO_MANY_PARAMS, 0);
3689 			ret = -EINVAL;
3690 			goto out;
3691 		}
3692 
3693 		param = strsep(&params, ",");
3694 		if (!param) {
3695 			hist_err(tr, HIST_ERR_PARAM_NOT_FOUND, 0);
3696 			ret = -EINVAL;
3697 			goto out;
3698 		}
3699 
3700 		param = strstrip(param);
3701 		if (strlen(param) < 2) {
3702 			hist_err(tr, HIST_ERR_INVALID_PARAM, errpos(param));
3703 			ret = -EINVAL;
3704 			goto out;
3705 		}
3706 
3707 		saved_param = kstrdup(param, GFP_KERNEL);
3708 		if (!saved_param) {
3709 			ret = -ENOMEM;
3710 			goto out;
3711 		}
3712 
3713 		if (first_param && data->use_trace_keyword) {
3714 			data->synth_event_name = saved_param;
3715 			first_param = false;
3716 			continue;
3717 		}
3718 		first_param = false;
3719 
3720 		data->params[data->n_params++] = saved_param;
3721 	}
3722  out:
3723 	return ret;
3724 }
3725 
action_parse(struct trace_array * tr,char * str,struct action_data * data,enum handler_id handler)3726 static int action_parse(struct trace_array *tr, char *str, struct action_data *data,
3727 			enum handler_id handler)
3728 {
3729 	char *action_name;
3730 	int ret = 0;
3731 
3732 	strsep(&str, ".");
3733 	if (!str) {
3734 		hist_err(tr, HIST_ERR_ACTION_NOT_FOUND, 0);
3735 		ret = -EINVAL;
3736 		goto out;
3737 	}
3738 
3739 	action_name = strsep(&str, "(");
3740 	if (!action_name || !str) {
3741 		hist_err(tr, HIST_ERR_ACTION_NOT_FOUND, 0);
3742 		ret = -EINVAL;
3743 		goto out;
3744 	}
3745 
3746 	if (str_has_prefix(action_name, "save")) {
3747 		char *params = strsep(&str, ")");
3748 
3749 		if (!params) {
3750 			hist_err(tr, HIST_ERR_NO_SAVE_PARAMS, 0);
3751 			ret = -EINVAL;
3752 			goto out;
3753 		}
3754 
3755 		ret = parse_action_params(tr, params, data);
3756 		if (ret)
3757 			goto out;
3758 
3759 		if (handler == HANDLER_ONMAX)
3760 			data->track_data.check_val = check_track_val_max;
3761 		else if (handler == HANDLER_ONCHANGE)
3762 			data->track_data.check_val = check_track_val_changed;
3763 		else {
3764 			hist_err(tr, HIST_ERR_ACTION_MISMATCH, errpos(action_name));
3765 			ret = -EINVAL;
3766 			goto out;
3767 		}
3768 
3769 		data->track_data.save_data = save_track_data_vars;
3770 		data->fn = ontrack_action;
3771 		data->action = ACTION_SAVE;
3772 	} else if (str_has_prefix(action_name, "snapshot")) {
3773 		char *params = strsep(&str, ")");
3774 
3775 		if (!str) {
3776 			hist_err(tr, HIST_ERR_NO_CLOSING_PAREN, errpos(params));
3777 			ret = -EINVAL;
3778 			goto out;
3779 		}
3780 
3781 		if (handler == HANDLER_ONMAX)
3782 			data->track_data.check_val = check_track_val_max;
3783 		else if (handler == HANDLER_ONCHANGE)
3784 			data->track_data.check_val = check_track_val_changed;
3785 		else {
3786 			hist_err(tr, HIST_ERR_ACTION_MISMATCH, errpos(action_name));
3787 			ret = -EINVAL;
3788 			goto out;
3789 		}
3790 
3791 		data->track_data.save_data = save_track_data_snapshot;
3792 		data->fn = ontrack_action;
3793 		data->action = ACTION_SNAPSHOT;
3794 	} else {
3795 		char *params = strsep(&str, ")");
3796 
3797 		if (str_has_prefix(action_name, "trace"))
3798 			data->use_trace_keyword = true;
3799 
3800 		if (params) {
3801 			ret = parse_action_params(tr, params, data);
3802 			if (ret)
3803 				goto out;
3804 		}
3805 
3806 		if (handler == HANDLER_ONMAX)
3807 			data->track_data.check_val = check_track_val_max;
3808 		else if (handler == HANDLER_ONCHANGE)
3809 			data->track_data.check_val = check_track_val_changed;
3810 
3811 		if (handler != HANDLER_ONMATCH) {
3812 			data->track_data.save_data = action_trace;
3813 			data->fn = ontrack_action;
3814 		} else
3815 			data->fn = action_trace;
3816 
3817 		data->action = ACTION_TRACE;
3818 	}
3819 
3820 	data->action_name = kstrdup(action_name, GFP_KERNEL);
3821 	if (!data->action_name) {
3822 		ret = -ENOMEM;
3823 		goto out;
3824 	}
3825 
3826 	data->handler = handler;
3827  out:
3828 	return ret;
3829 }
3830 
track_data_parse(struct hist_trigger_data * hist_data,char * str,enum handler_id handler)3831 static struct action_data *track_data_parse(struct hist_trigger_data *hist_data,
3832 					    char *str, enum handler_id handler)
3833 {
3834 	struct action_data *data;
3835 	int ret = -EINVAL;
3836 	char *var_str;
3837 
3838 	data = kzalloc_obj(*data);
3839 	if (!data)
3840 		return ERR_PTR(-ENOMEM);
3841 
3842 	var_str = strsep(&str, ")");
3843 	if (!var_str || !str) {
3844 		ret = -EINVAL;
3845 		goto free;
3846 	}
3847 
3848 	data->track_data.var_str = kstrdup(var_str, GFP_KERNEL);
3849 	if (!data->track_data.var_str) {
3850 		ret = -ENOMEM;
3851 		goto free;
3852 	}
3853 
3854 	ret = action_parse(hist_data->event_file->tr, str, data, handler);
3855 	if (ret)
3856 		goto free;
3857  out:
3858 	return data;
3859  free:
3860 	track_data_destroy(hist_data, data);
3861 	data = ERR_PTR(ret);
3862 	goto out;
3863 }
3864 
onmatch_destroy(struct action_data * data)3865 static void onmatch_destroy(struct action_data *data)
3866 {
3867 	kfree(data->match_data.event);
3868 	kfree(data->match_data.event_system);
3869 
3870 	action_data_destroy(data);
3871 }
3872 
destroy_field_var(struct field_var * field_var)3873 static void destroy_field_var(struct field_var *field_var)
3874 {
3875 	if (!field_var)
3876 		return;
3877 
3878 	destroy_hist_field(field_var->var, 0);
3879 	destroy_hist_field(field_var->val, 0);
3880 
3881 	kfree(field_var);
3882 }
3883 
destroy_field_vars(struct hist_trigger_data * hist_data)3884 static void destroy_field_vars(struct hist_trigger_data *hist_data)
3885 {
3886 	unsigned int i;
3887 
3888 	for (i = 0; i < hist_data->n_field_vars; i++)
3889 		destroy_field_var(hist_data->field_vars[i]);
3890 
3891 	for (i = 0; i < hist_data->n_save_vars; i++)
3892 		destroy_field_var(hist_data->save_vars[i]);
3893 }
3894 
save_field_var(struct hist_trigger_data * hist_data,struct field_var * field_var)3895 static void save_field_var(struct hist_trigger_data *hist_data,
3896 			   struct field_var *field_var)
3897 {
3898 	hist_data->field_vars[hist_data->n_field_vars++] = field_var;
3899 
3900 	/* Stack traces are saved in the string storage too */
3901 	if (field_var->val->flags & (HIST_FIELD_FL_STRING | HIST_FIELD_FL_STACKTRACE))
3902 		hist_data->n_field_var_str++;
3903 }
3904 
3905 
check_synth_field(struct synth_event * event,struct hist_field * hist_field,unsigned int field_pos)3906 static int check_synth_field(struct synth_event *event,
3907 			     struct hist_field *hist_field,
3908 			     unsigned int field_pos)
3909 {
3910 	struct synth_field *field;
3911 
3912 	if (field_pos >= event->n_fields)
3913 		return -EINVAL;
3914 
3915 	field = event->fields[field_pos];
3916 
3917 	/*
3918 	 * A dynamic string synth field can accept static or
3919 	 * dynamic. A static string synth field can only accept a
3920 	 * same-sized static string, which is checked for later.
3921 	 */
3922 	if (strstr(hist_field->type, "char[") && field->is_string
3923 	    && field->is_dynamic)
3924 		return 0;
3925 
3926 	if (strstr(hist_field->type, "long[") && field->is_stack)
3927 		return 0;
3928 
3929 	if (strcmp(field->type, hist_field->type) != 0) {
3930 		if (field->size != hist_field->size ||
3931 		    (!field->is_string && field->is_signed != hist_field->is_signed))
3932 			return -EINVAL;
3933 	}
3934 
3935 	return 0;
3936 }
3937 
3938 static struct hist_field *
trace_action_find_var(struct hist_trigger_data * hist_data,struct action_data * data,char * system,char * event,char * var)3939 trace_action_find_var(struct hist_trigger_data *hist_data,
3940 		      struct action_data *data,
3941 		      char *system, char *event, char *var)
3942 {
3943 	struct trace_array *tr = hist_data->event_file->tr;
3944 	struct hist_field *hist_field;
3945 
3946 	var++; /* skip '$' */
3947 
3948 	hist_field = find_target_event_var(hist_data, system, event, var);
3949 	if (!hist_field) {
3950 		if (!system && data->handler == HANDLER_ONMATCH) {
3951 			system = data->match_data.event_system;
3952 			event = data->match_data.event;
3953 		}
3954 
3955 		hist_field = find_event_var(hist_data, system, event, var);
3956 	}
3957 
3958 	if (!hist_field)
3959 		hist_err(tr, HIST_ERR_PARAM_NOT_FOUND, errpos(var));
3960 
3961 	return hist_field;
3962 }
3963 
3964 static struct hist_field *
trace_action_create_field_var(struct hist_trigger_data * hist_data,struct action_data * data,char * system,char * event,char * var)3965 trace_action_create_field_var(struct hist_trigger_data *hist_data,
3966 			      struct action_data *data, char *system,
3967 			      char *event, char *var)
3968 {
3969 	struct hist_field *hist_field = NULL;
3970 	struct field_var *field_var;
3971 
3972 	/*
3973 	 * First try to create a field var on the target event (the
3974 	 * currently being defined).  This will create a variable for
3975 	 * unqualified fields on the target event, or if qualified,
3976 	 * target fields that have qualified names matching the target.
3977 	 */
3978 	field_var = create_target_field_var(hist_data, system, event, var);
3979 
3980 	if (field_var && !IS_ERR(field_var)) {
3981 		save_field_var(hist_data, field_var);
3982 		hist_field = field_var->var;
3983 	} else {
3984 		field_var = NULL;
3985 		/*
3986 		 * If no explicit system.event is specified, default to
3987 		 * looking for fields on the onmatch(system.event.xxx)
3988 		 * event.
3989 		 */
3990 		if (!system && data->handler == HANDLER_ONMATCH) {
3991 			system = data->match_data.event_system;
3992 			event = data->match_data.event;
3993 		}
3994 
3995 		if (!event)
3996 			goto free;
3997 		/*
3998 		 * At this point, we're looking at a field on another
3999 		 * event.  Because we can't modify a hist trigger on
4000 		 * another event to add a variable for a field, we need
4001 		 * to create a new trigger on that event and create the
4002 		 * variable at the same time.
4003 		 */
4004 		hist_field = create_field_var_hist(hist_data, system, event, var);
4005 		if (IS_ERR(hist_field))
4006 			goto free;
4007 	}
4008  out:
4009 	return hist_field;
4010  free:
4011 	destroy_field_var(field_var);
4012 	hist_field = NULL;
4013 	goto out;
4014 }
4015 
trace_action_create(struct hist_trigger_data * hist_data,struct action_data * data)4016 static int trace_action_create(struct hist_trigger_data *hist_data,
4017 			       struct action_data *data)
4018 {
4019 	struct trace_array *tr = hist_data->event_file->tr;
4020 	char *event_name, *param, *system = NULL;
4021 	struct hist_field *hist_field, *var_ref;
4022 	unsigned int i;
4023 	unsigned int field_pos = 0;
4024 	struct synth_event *event;
4025 	char *synth_event_name;
4026 	int var_ref_idx, ret = 0;
4027 
4028 	lockdep_assert_held(&event_mutex);
4029 
4030 	/* Sanity check to avoid out-of-bound write on 'data->var_ref_idx' */
4031 	if (data->n_params > SYNTH_FIELDS_MAX)
4032 		return -EINVAL;
4033 
4034 	if (data->use_trace_keyword)
4035 		synth_event_name = data->synth_event_name;
4036 	else
4037 		synth_event_name = data->action_name;
4038 
4039 	event = find_synth_event(synth_event_name);
4040 	if (!event) {
4041 		hist_err(tr, HIST_ERR_SYNTH_EVENT_NOT_FOUND, errpos(synth_event_name));
4042 		return -EINVAL;
4043 	}
4044 
4045 	event->ref++;
4046 
4047 	for (i = 0; i < data->n_params; i++) {
4048 		char *p;
4049 
4050 		p = param = kstrdup(data->params[i], GFP_KERNEL);
4051 		if (!param) {
4052 			ret = -ENOMEM;
4053 			goto err;
4054 		}
4055 
4056 		system = strsep(&param, ".");
4057 		if (!param) {
4058 			param = (char *)system;
4059 			system = event_name = NULL;
4060 		} else {
4061 			event_name = strsep(&param, ".");
4062 			if (!param) {
4063 				kfree(p);
4064 				ret = -EINVAL;
4065 				goto err;
4066 			}
4067 		}
4068 
4069 		if (param[0] == '$')
4070 			hist_field = trace_action_find_var(hist_data, data,
4071 							   system, event_name,
4072 							   param);
4073 		else
4074 			hist_field = trace_action_create_field_var(hist_data,
4075 								   data,
4076 								   system,
4077 								   event_name,
4078 								   param);
4079 
4080 		if (!hist_field) {
4081 			kfree(p);
4082 			ret = -EINVAL;
4083 			goto err;
4084 		}
4085 
4086 		if (check_synth_field(event, hist_field, field_pos) == 0) {
4087 			var_ref = create_var_ref(hist_data, hist_field,
4088 						 system, event_name);
4089 			if (!var_ref) {
4090 				kfree(p);
4091 				ret = -ENOMEM;
4092 				goto err;
4093 			}
4094 
4095 			var_ref_idx = find_var_ref_idx(hist_data, var_ref);
4096 			if (WARN_ON(var_ref_idx < 0)) {
4097 				kfree(p);
4098 				ret = var_ref_idx;
4099 				goto err;
4100 			}
4101 
4102 			data->var_ref_idx[i] = var_ref_idx;
4103 
4104 			field_pos++;
4105 			kfree(p);
4106 			continue;
4107 		}
4108 
4109 		hist_err(tr, HIST_ERR_SYNTH_TYPE_MISMATCH, errpos(param));
4110 		kfree(p);
4111 		ret = -EINVAL;
4112 		goto err;
4113 	}
4114 
4115 	if (field_pos != event->n_fields) {
4116 		hist_err(tr, HIST_ERR_SYNTH_COUNT_MISMATCH, errpos(event->name));
4117 		ret = -EINVAL;
4118 		goto err;
4119 	}
4120 
4121 	data->synth_event = event;
4122  out:
4123 	return ret;
4124  err:
4125 	event->ref--;
4126 
4127 	goto out;
4128 }
4129 
action_create(struct hist_trigger_data * hist_data,struct action_data * data)4130 static int action_create(struct hist_trigger_data *hist_data,
4131 			 struct action_data *data)
4132 {
4133 	struct trace_event_file *file = hist_data->event_file;
4134 	struct trace_array *tr = file->tr;
4135 	struct track_data *track_data;
4136 	struct field_var *field_var;
4137 	unsigned int i;
4138 	char *param;
4139 	int ret = 0;
4140 
4141 	if (data->action == ACTION_TRACE)
4142 		return trace_action_create(hist_data, data);
4143 
4144 	if (data->action == ACTION_SNAPSHOT) {
4145 		track_data = track_data_alloc(hist_data->key_size, data, hist_data);
4146 		if (IS_ERR(track_data)) {
4147 			ret = PTR_ERR(track_data);
4148 			goto out;
4149 		}
4150 
4151 		ret = tracing_snapshot_cond_enable(file->tr, track_data,
4152 						   cond_snapshot_update);
4153 		if (ret)
4154 			track_data_free(track_data);
4155 
4156 		goto out;
4157 	}
4158 
4159 	if (data->action == ACTION_SAVE) {
4160 		if (hist_data->n_save_vars) {
4161 			ret = -EEXIST;
4162 			hist_err(tr, HIST_ERR_TOO_MANY_SAVE_ACTIONS, 0);
4163 			goto out;
4164 		}
4165 
4166 		for (i = 0; i < data->n_params; i++) {
4167 			param = kstrdup(data->params[i], GFP_KERNEL);
4168 			if (!param) {
4169 				ret = -ENOMEM;
4170 				goto out;
4171 			}
4172 
4173 			field_var = create_target_field_var(hist_data, NULL, NULL, param);
4174 			if (IS_ERR(field_var)) {
4175 				hist_err(tr, HIST_ERR_FIELD_VAR_CREATE_FAIL,
4176 					 errpos(param));
4177 				ret = PTR_ERR(field_var);
4178 				kfree(param);
4179 				goto out;
4180 			}
4181 
4182 			hist_data->save_vars[hist_data->n_save_vars++] = field_var;
4183 			if (field_var->val->flags &
4184 			    (HIST_FIELD_FL_STRING | HIST_FIELD_FL_STACKTRACE))
4185 				hist_data->n_save_var_str++;
4186 			kfree(param);
4187 		}
4188 	}
4189  out:
4190 	return ret;
4191 }
4192 
onmatch_create(struct hist_trigger_data * hist_data,struct action_data * data)4193 static int onmatch_create(struct hist_trigger_data *hist_data,
4194 			  struct action_data *data)
4195 {
4196 	return action_create(hist_data, data);
4197 }
4198 
onmatch_parse(struct trace_array * tr,char * str)4199 static struct action_data *onmatch_parse(struct trace_array *tr, char *str)
4200 {
4201 	char *match_event, *match_event_system;
4202 	struct action_data *data;
4203 	int ret = -EINVAL;
4204 
4205 	data = kzalloc_obj(*data);
4206 	if (!data)
4207 		return ERR_PTR(-ENOMEM);
4208 
4209 	match_event = strsep(&str, ")");
4210 	if (!match_event || !str) {
4211 		hist_err(tr, HIST_ERR_NO_CLOSING_PAREN, errpos(match_event));
4212 		goto free;
4213 	}
4214 
4215 	match_event_system = strsep(&match_event, ".");
4216 	if (!match_event) {
4217 		hist_err(tr, HIST_ERR_SUBSYS_NOT_FOUND, errpos(match_event_system));
4218 		goto free;
4219 	}
4220 
4221 	if (IS_ERR(event_file(tr, match_event_system, match_event))) {
4222 		hist_err(tr, HIST_ERR_INVALID_SUBSYS_EVENT, errpos(match_event));
4223 		goto free;
4224 	}
4225 
4226 	data->match_data.event = kstrdup(match_event, GFP_KERNEL);
4227 	if (!data->match_data.event) {
4228 		ret = -ENOMEM;
4229 		goto free;
4230 	}
4231 
4232 	data->match_data.event_system = kstrdup(match_event_system, GFP_KERNEL);
4233 	if (!data->match_data.event_system) {
4234 		ret = -ENOMEM;
4235 		goto free;
4236 	}
4237 
4238 	ret = action_parse(tr, str, data, HANDLER_ONMATCH);
4239 	if (ret)
4240 		goto free;
4241  out:
4242 	return data;
4243  free:
4244 	onmatch_destroy(data);
4245 	data = ERR_PTR(ret);
4246 	goto out;
4247 }
4248 
create_hitcount_val(struct hist_trigger_data * hist_data)4249 static int create_hitcount_val(struct hist_trigger_data *hist_data)
4250 {
4251 	hist_data->fields[HITCOUNT_IDX] =
4252 		create_hist_field(hist_data, NULL, HIST_FIELD_FL_HITCOUNT, NULL);
4253 	if (!hist_data->fields[HITCOUNT_IDX])
4254 		return -ENOMEM;
4255 
4256 	hist_data->n_vals++;
4257 	hist_data->n_fields++;
4258 
4259 	if (WARN_ON(hist_data->n_vals > TRACING_MAP_VALS_MAX))
4260 		return -EINVAL;
4261 
4262 	return 0;
4263 }
4264 
__create_val_field(struct hist_trigger_data * hist_data,unsigned int val_idx,struct trace_event_file * file,char * var_name,char * field_str,unsigned long flags)4265 static int __create_val_field(struct hist_trigger_data *hist_data,
4266 			      unsigned int val_idx,
4267 			      struct trace_event_file *file,
4268 			      char *var_name, char *field_str,
4269 			      unsigned long flags)
4270 {
4271 	struct hist_field *hist_field;
4272 	int ret = 0, n_subexprs = 0;
4273 
4274 	hist_field = parse_expr(hist_data, file, field_str, flags, var_name, &n_subexprs);
4275 	if (IS_ERR(hist_field)) {
4276 		ret = PTR_ERR(hist_field);
4277 		goto out;
4278 	}
4279 
4280 	/* values and variables should not have some modifiers */
4281 	if (hist_field->flags & HIST_FIELD_FL_VAR) {
4282 		/* Variable */
4283 		if (hist_field->flags & (HIST_FIELD_FL_GRAPH | HIST_FIELD_FL_PERCENT |
4284 					 HIST_FIELD_FL_BUCKET | HIST_FIELD_FL_LOG2))
4285 			goto err;
4286 	} else {
4287 		/* Value */
4288 		if (hist_field->flags & (HIST_FIELD_FL_GRAPH | HIST_FIELD_FL_PERCENT |
4289 					 HIST_FIELD_FL_BUCKET | HIST_FIELD_FL_LOG2 |
4290 					 HIST_FIELD_FL_SYM | HIST_FIELD_FL_SYM_OFFSET |
4291 					 HIST_FIELD_FL_SYSCALL | HIST_FIELD_FL_STACKTRACE))
4292 			goto err;
4293 	}
4294 
4295 	hist_data->fields[val_idx] = hist_field;
4296 
4297 	++hist_data->n_vals;
4298 	++hist_data->n_fields;
4299 
4300 	if (WARN_ON(hist_data->n_vals > TRACING_MAP_VALS_MAX + TRACING_MAP_VARS_MAX))
4301 		ret = -EINVAL;
4302  out:
4303 	return ret;
4304  err:
4305 	hist_err(file->tr, HIST_ERR_BAD_FIELD_MODIFIER, errpos(field_str));
4306 	return -EINVAL;
4307 }
4308 
create_val_field(struct hist_trigger_data * hist_data,unsigned int val_idx,struct trace_event_file * file,char * field_str)4309 static int create_val_field(struct hist_trigger_data *hist_data,
4310 			    unsigned int val_idx,
4311 			    struct trace_event_file *file,
4312 			    char *field_str)
4313 {
4314 	if (WARN_ON(val_idx >= TRACING_MAP_VALS_MAX))
4315 		return -EINVAL;
4316 
4317 	return __create_val_field(hist_data, val_idx, file, NULL, field_str, 0);
4318 }
4319 
4320 static const char no_comm[] = "(no comm)";
4321 
hist_field_execname(struct hist_field * hist_field,struct tracing_map_elt * elt,struct trace_buffer * buffer,struct ring_buffer_event * rbe,void * event)4322 static u64 hist_field_execname(struct hist_field *hist_field,
4323 			       struct tracing_map_elt *elt,
4324 			       struct trace_buffer *buffer,
4325 			       struct ring_buffer_event *rbe,
4326 			       void *event)
4327 {
4328 	struct hist_elt_data *elt_data;
4329 
4330 	if (WARN_ON_ONCE(!elt))
4331 		return (u64)(unsigned long)no_comm;
4332 
4333 	elt_data = elt->private_data;
4334 
4335 	if (WARN_ON_ONCE(!elt_data->comm))
4336 		return (u64)(unsigned long)no_comm;
4337 
4338 	return (u64)(unsigned long)(elt_data->comm);
4339 }
4340 
hist_field_stack(struct hist_field * hist_field,struct tracing_map_elt * elt,struct trace_buffer * buffer,struct ring_buffer_event * rbe,void * event)4341 static u64 hist_field_stack(struct hist_field *hist_field,
4342 			    struct tracing_map_elt *elt,
4343 			    struct trace_buffer *buffer,
4344 			    struct ring_buffer_event *rbe,
4345 			    void *event)
4346 {
4347 	u32 str_item = *(u32 *)(event + hist_field->field->offset);
4348 	int str_loc = str_item & 0xffff;
4349 	char *addr = (char *)(event + str_loc);
4350 
4351 	return (u64)(unsigned long)addr;
4352 }
4353 
hist_fn_call(struct hist_field * hist_field,struct tracing_map_elt * elt,struct trace_buffer * buffer,struct ring_buffer_event * rbe,void * event)4354 static u64 hist_fn_call(struct hist_field *hist_field,
4355 			struct tracing_map_elt *elt,
4356 			struct trace_buffer *buffer,
4357 			struct ring_buffer_event *rbe,
4358 			void *event)
4359 {
4360 	switch (hist_field->fn_num) {
4361 	case HIST_FIELD_FN_VAR_REF:
4362 		return hist_field_var_ref(hist_field, elt, buffer, rbe, event);
4363 	case HIST_FIELD_FN_COUNTER:
4364 		return hist_field_counter(hist_field, elt, buffer, rbe, event);
4365 	case HIST_FIELD_FN_CONST:
4366 		return hist_field_const(hist_field, elt, buffer, rbe, event);
4367 	case HIST_FIELD_FN_LOG2:
4368 		return hist_field_log2(hist_field, elt, buffer, rbe, event);
4369 	case HIST_FIELD_FN_BUCKET:
4370 		return hist_field_bucket(hist_field, elt, buffer, rbe, event);
4371 	case HIST_FIELD_FN_TIMESTAMP:
4372 		return hist_field_timestamp(hist_field, elt, buffer, rbe, event);
4373 	case HIST_FIELD_FN_CPU:
4374 		return hist_field_cpu(hist_field, elt, buffer, rbe, event);
4375 	case HIST_FIELD_FN_COMM:
4376 		return hist_field_comm(hist_field, elt, buffer, rbe, event);
4377 	case HIST_FIELD_FN_STRING:
4378 		return hist_field_string(hist_field, elt, buffer, rbe, event);
4379 	case HIST_FIELD_FN_DYNSTRING:
4380 		return hist_field_dynstring(hist_field, elt, buffer, rbe, event);
4381 	case HIST_FIELD_FN_RELDYNSTRING:
4382 		return hist_field_reldynstring(hist_field, elt, buffer, rbe, event);
4383 	case HIST_FIELD_FN_PSTRING:
4384 		return hist_field_pstring(hist_field, elt, buffer, rbe, event);
4385 	case HIST_FIELD_FN_S64:
4386 		return hist_field_s64(hist_field, elt, buffer, rbe, event);
4387 	case HIST_FIELD_FN_U64:
4388 		return hist_field_u64(hist_field, elt, buffer, rbe, event);
4389 	case HIST_FIELD_FN_S32:
4390 		return hist_field_s32(hist_field, elt, buffer, rbe, event);
4391 	case HIST_FIELD_FN_U32:
4392 		return hist_field_u32(hist_field, elt, buffer, rbe, event);
4393 	case HIST_FIELD_FN_S16:
4394 		return hist_field_s16(hist_field, elt, buffer, rbe, event);
4395 	case HIST_FIELD_FN_U16:
4396 		return hist_field_u16(hist_field, elt, buffer, rbe, event);
4397 	case HIST_FIELD_FN_S8:
4398 		return hist_field_s8(hist_field, elt, buffer, rbe, event);
4399 	case HIST_FIELD_FN_U8:
4400 		return hist_field_u8(hist_field, elt, buffer, rbe, event);
4401 	case HIST_FIELD_FN_UMINUS:
4402 		return hist_field_unary_minus(hist_field, elt, buffer, rbe, event);
4403 	case HIST_FIELD_FN_MINUS:
4404 		return hist_field_minus(hist_field, elt, buffer, rbe, event);
4405 	case HIST_FIELD_FN_PLUS:
4406 		return hist_field_plus(hist_field, elt, buffer, rbe, event);
4407 	case HIST_FIELD_FN_DIV:
4408 		return hist_field_div(hist_field, elt, buffer, rbe, event);
4409 	case HIST_FIELD_FN_MULT:
4410 		return hist_field_mult(hist_field, elt, buffer, rbe, event);
4411 	case HIST_FIELD_FN_DIV_POWER2:
4412 		return div_by_power_of_two(hist_field, elt, buffer, rbe, event);
4413 	case HIST_FIELD_FN_DIV_NOT_POWER2:
4414 		return div_by_not_power_of_two(hist_field, elt, buffer, rbe, event);
4415 	case HIST_FIELD_FN_DIV_MULT_SHIFT:
4416 		return div_by_mult_and_shift(hist_field, elt, buffer, rbe, event);
4417 	case HIST_FIELD_FN_EXECNAME:
4418 		return hist_field_execname(hist_field, elt, buffer, rbe, event);
4419 	case HIST_FIELD_FN_STACK:
4420 		return hist_field_stack(hist_field, elt, buffer, rbe, event);
4421 	default:
4422 		return 0;
4423 	}
4424 }
4425 
4426 /* Convert a var that points to common_pid.execname to a string */
update_var_execname(struct hist_field * hist_field)4427 static void update_var_execname(struct hist_field *hist_field)
4428 {
4429 	hist_field->flags = HIST_FIELD_FL_STRING | HIST_FIELD_FL_VAR |
4430 		HIST_FIELD_FL_EXECNAME;
4431 	hist_field->size = MAX_FILTER_STR_VAL;
4432 	hist_field->is_signed = 0;
4433 
4434 	kfree_const(hist_field->type);
4435 	hist_field->type = "char[]";
4436 
4437 	hist_field->fn_num = HIST_FIELD_FN_EXECNAME;
4438 }
4439 
create_var_field(struct hist_trigger_data * hist_data,unsigned int val_idx,struct trace_event_file * file,char * var_name,char * expr_str)4440 static int create_var_field(struct hist_trigger_data *hist_data,
4441 			    unsigned int val_idx,
4442 			    struct trace_event_file *file,
4443 			    char *var_name, char *expr_str)
4444 {
4445 	struct trace_array *tr = hist_data->event_file->tr;
4446 	unsigned long flags = 0;
4447 	int ret;
4448 
4449 	if (WARN_ON(val_idx >= TRACING_MAP_VALS_MAX + TRACING_MAP_VARS_MAX))
4450 		return -EINVAL;
4451 
4452 	if (find_var(hist_data, file, var_name) && !hist_data->remove) {
4453 		hist_err(tr, HIST_ERR_DUPLICATE_VAR, errpos(var_name));
4454 		return -EINVAL;
4455 	}
4456 
4457 	flags |= HIST_FIELD_FL_VAR;
4458 	hist_data->n_vars++;
4459 	if (WARN_ON(hist_data->n_vars > TRACING_MAP_VARS_MAX))
4460 		return -EINVAL;
4461 
4462 	ret = __create_val_field(hist_data, val_idx, file, var_name, expr_str, flags);
4463 
4464 	if (!ret && hist_data->fields[val_idx]->flags & HIST_FIELD_FL_EXECNAME)
4465 		update_var_execname(hist_data->fields[val_idx]);
4466 
4467 	if (!ret && hist_data->fields[val_idx]->flags &
4468 	    (HIST_FIELD_FL_STRING | HIST_FIELD_FL_STACKTRACE))
4469 		hist_data->fields[val_idx]->var_str_idx = hist_data->n_var_str++;
4470 
4471 	return ret;
4472 }
4473 
create_val_fields(struct hist_trigger_data * hist_data,struct trace_event_file * file)4474 static int create_val_fields(struct hist_trigger_data *hist_data,
4475 			     struct trace_event_file *file)
4476 {
4477 	unsigned int i, j = 1, n_hitcount = 0;
4478 	char *fields_str, *field_str;
4479 	int ret;
4480 
4481 	ret = create_hitcount_val(hist_data);
4482 	if (ret)
4483 		goto out;
4484 
4485 	fields_str = hist_data->attrs->vals_str;
4486 	if (!fields_str)
4487 		goto out;
4488 
4489 	for (i = 0, j = 1; i < TRACING_MAP_VALS_MAX &&
4490 		     j < TRACING_MAP_VALS_MAX; i++) {
4491 		field_str = strsep(&fields_str, ",");
4492 		if (!field_str)
4493 			break;
4494 
4495 		if (strcmp(field_str, "hitcount") == 0) {
4496 			if (!n_hitcount++)
4497 				continue;
4498 		}
4499 
4500 		ret = create_val_field(hist_data, j++, file, field_str);
4501 		if (ret)
4502 			goto out;
4503 	}
4504 
4505 	if (fields_str && (strcmp(fields_str, "hitcount") != 0))
4506 		ret = -EINVAL;
4507  out:
4508 	/* There is only raw hitcount but nohitcount suppresses it. */
4509 	if (j == 1 && hist_data->attrs->no_hitcount) {
4510 		hist_err(hist_data->event_file->tr, HIST_ERR_NEED_NOHC_VAL, 0);
4511 		ret = -ENOENT;
4512 	}
4513 
4514 	return ret;
4515 }
4516 
create_key_field(struct hist_trigger_data * hist_data,unsigned int key_idx,unsigned int key_offset,struct trace_event_file * file,char * field_str)4517 static int create_key_field(struct hist_trigger_data *hist_data,
4518 			    unsigned int key_idx,
4519 			    unsigned int key_offset,
4520 			    struct trace_event_file *file,
4521 			    char *field_str)
4522 {
4523 	struct trace_array *tr = hist_data->event_file->tr;
4524 	struct hist_field *hist_field = NULL;
4525 	unsigned long flags = 0;
4526 	unsigned int key_size;
4527 	int ret = 0, n_subexprs = 0;
4528 
4529 	if (WARN_ON(key_idx >= HIST_FIELDS_MAX))
4530 		return -EINVAL;
4531 
4532 	flags |= HIST_FIELD_FL_KEY;
4533 
4534 	if (strcmp(field_str, "stacktrace") == 0) {
4535 		flags |= HIST_FIELD_FL_STACKTRACE;
4536 		key_size = sizeof(unsigned long) * HIST_STACKTRACE_DEPTH;
4537 		hist_field = create_hist_field(hist_data, NULL, flags, NULL);
4538 	} else {
4539 		hist_field = parse_expr(hist_data, file, field_str, flags,
4540 					NULL, &n_subexprs);
4541 		if (IS_ERR(hist_field)) {
4542 			ret = PTR_ERR(hist_field);
4543 			goto out;
4544 		}
4545 
4546 		if (field_has_hist_vars(hist_field, 0))	{
4547 			hist_err(tr, HIST_ERR_INVALID_REF_KEY, errpos(field_str));
4548 			destroy_hist_field(hist_field, 0);
4549 			ret = -EINVAL;
4550 			goto out;
4551 		}
4552 
4553 		key_size = hist_field->size;
4554 	}
4555 
4556 	hist_data->fields[key_idx] = hist_field;
4557 
4558 	key_size = ALIGN(key_size, sizeof(u64));
4559 	hist_data->fields[key_idx]->size = key_size;
4560 	hist_data->fields[key_idx]->offset = key_offset;
4561 
4562 	hist_data->key_size += key_size;
4563 
4564 	if (hist_data->key_size > HIST_KEY_SIZE_MAX) {
4565 		ret = -EINVAL;
4566 		goto out;
4567 	}
4568 
4569 	hist_data->n_keys++;
4570 	hist_data->n_fields++;
4571 
4572 	if (WARN_ON(hist_data->n_keys > TRACING_MAP_KEYS_MAX))
4573 		return -EINVAL;
4574 
4575 	ret = key_size;
4576  out:
4577 	return ret;
4578 }
4579 
create_key_fields(struct hist_trigger_data * hist_data,struct trace_event_file * file)4580 static int create_key_fields(struct hist_trigger_data *hist_data,
4581 			     struct trace_event_file *file)
4582 {
4583 	unsigned int i, key_offset = 0, n_vals = hist_data->n_vals;
4584 	char *fields_str, *field_str;
4585 	int ret = -EINVAL;
4586 
4587 	fields_str = hist_data->attrs->keys_str;
4588 	if (!fields_str)
4589 		goto out;
4590 
4591 	for (i = n_vals; i < n_vals + TRACING_MAP_KEYS_MAX; i++) {
4592 		field_str = strsep(&fields_str, ",");
4593 		if (!field_str)
4594 			break;
4595 		ret = create_key_field(hist_data, i, key_offset,
4596 				       file, field_str);
4597 		if (ret < 0)
4598 			goto out;
4599 		key_offset += ret;
4600 	}
4601 	if (fields_str) {
4602 		ret = -EINVAL;
4603 		goto out;
4604 	}
4605 	ret = 0;
4606  out:
4607 	return ret;
4608 }
4609 
create_var_fields(struct hist_trigger_data * hist_data,struct trace_event_file * file)4610 static int create_var_fields(struct hist_trigger_data *hist_data,
4611 			     struct trace_event_file *file)
4612 {
4613 	unsigned int i, j = hist_data->n_vals;
4614 	int ret = 0;
4615 
4616 	unsigned int n_vars = hist_data->attrs->var_defs.n_vars;
4617 
4618 	for (i = 0; i < n_vars; i++) {
4619 		char *var_name = hist_data->attrs->var_defs.name[i];
4620 		char *expr = hist_data->attrs->var_defs.expr[i];
4621 
4622 		ret = create_var_field(hist_data, j++, file, var_name, expr);
4623 		if (ret)
4624 			goto out;
4625 	}
4626  out:
4627 	return ret;
4628 }
4629 
free_var_defs(struct hist_trigger_data * hist_data)4630 static void free_var_defs(struct hist_trigger_data *hist_data)
4631 {
4632 	unsigned int i;
4633 
4634 	for (i = 0; i < hist_data->attrs->var_defs.n_vars; i++) {
4635 		kfree(hist_data->attrs->var_defs.name[i]);
4636 		kfree(hist_data->attrs->var_defs.expr[i]);
4637 	}
4638 
4639 	hist_data->attrs->var_defs.n_vars = 0;
4640 }
4641 
parse_var_defs(struct hist_trigger_data * hist_data)4642 static int parse_var_defs(struct hist_trigger_data *hist_data)
4643 {
4644 	struct trace_array *tr = hist_data->event_file->tr;
4645 	char *s, *str, *var_name, *field_str;
4646 	unsigned int i, j, n_vars = 0;
4647 	int ret = 0;
4648 
4649 	for (i = 0; i < hist_data->attrs->n_assignments; i++) {
4650 		str = hist_data->attrs->assignment_str[i];
4651 		for (j = 0; j < TRACING_MAP_VARS_MAX; j++) {
4652 			field_str = strsep(&str, ",");
4653 			if (!field_str)
4654 				break;
4655 
4656 			var_name = strsep(&field_str, "=");
4657 			if (!var_name || !field_str) {
4658 				hist_err(tr, HIST_ERR_MALFORMED_ASSIGNMENT,
4659 					 errpos(var_name));
4660 				ret = -EINVAL;
4661 				goto free;
4662 			}
4663 
4664 			if (n_vars == TRACING_MAP_VARS_MAX) {
4665 				hist_err(tr, HIST_ERR_TOO_MANY_VARS, errpos(var_name));
4666 				ret = -EINVAL;
4667 				goto free;
4668 			}
4669 
4670 			s = kstrdup(var_name, GFP_KERNEL);
4671 			if (!s) {
4672 				ret = -ENOMEM;
4673 				goto free;
4674 			}
4675 			hist_data->attrs->var_defs.name[n_vars] = s;
4676 
4677 			s = kstrdup(field_str, GFP_KERNEL);
4678 			if (!s) {
4679 				kfree(hist_data->attrs->var_defs.name[n_vars]);
4680 				hist_data->attrs->var_defs.name[n_vars] = NULL;
4681 				ret = -ENOMEM;
4682 				goto free;
4683 			}
4684 			hist_data->attrs->var_defs.expr[n_vars++] = s;
4685 
4686 			hist_data->attrs->var_defs.n_vars = n_vars;
4687 		}
4688 	}
4689 
4690 	return ret;
4691  free:
4692 	free_var_defs(hist_data);
4693 
4694 	return ret;
4695 }
4696 
create_hist_fields(struct hist_trigger_data * hist_data,struct trace_event_file * file)4697 static int create_hist_fields(struct hist_trigger_data *hist_data,
4698 			      struct trace_event_file *file)
4699 {
4700 	int ret;
4701 
4702 	ret = parse_var_defs(hist_data);
4703 	if (ret)
4704 		return ret;
4705 
4706 	ret = create_val_fields(hist_data, file);
4707 	if (ret)
4708 		goto out;
4709 
4710 	ret = create_var_fields(hist_data, file);
4711 	if (ret)
4712 		goto out;
4713 
4714 	ret = create_key_fields(hist_data, file);
4715 
4716  out:
4717 	free_var_defs(hist_data);
4718 
4719 	return ret;
4720 }
4721 
is_descending(struct trace_array * tr,const char * str)4722 static int is_descending(struct trace_array *tr, const char *str)
4723 {
4724 	if (!str)
4725 		return 0;
4726 
4727 	if (strcmp(str, "descending") == 0)
4728 		return 1;
4729 
4730 	if (strcmp(str, "ascending") == 0)
4731 		return 0;
4732 
4733 	hist_err(tr, HIST_ERR_INVALID_SORT_MODIFIER, errpos((char *)str));
4734 
4735 	return -EINVAL;
4736 }
4737 
create_sort_keys(struct hist_trigger_data * hist_data)4738 static int create_sort_keys(struct hist_trigger_data *hist_data)
4739 {
4740 	struct trace_array *tr = hist_data->event_file->tr;
4741 	char *fields_str = hist_data->attrs->sort_key_str;
4742 	struct tracing_map_sort_key *sort_key;
4743 	int descending, ret = 0;
4744 	unsigned int i, j, k;
4745 
4746 	hist_data->n_sort_keys = 1; /* we always have at least one, hitcount */
4747 
4748 	if (!fields_str)
4749 		goto out;
4750 
4751 	for (i = 0; i < TRACING_MAP_SORT_KEYS_MAX; i++) {
4752 		struct hist_field *hist_field;
4753 		char *field_str, *field_name;
4754 		const char *test_name;
4755 
4756 		sort_key = &hist_data->sort_keys[i];
4757 
4758 		field_str = strsep(&fields_str, ",");
4759 		if (!field_str)
4760 			break;
4761 
4762 		if (!*field_str) {
4763 			ret = -EINVAL;
4764 			hist_err(tr, HIST_ERR_EMPTY_SORT_FIELD, errpos("sort="));
4765 			break;
4766 		}
4767 
4768 		if ((i == TRACING_MAP_SORT_KEYS_MAX - 1) && fields_str) {
4769 			hist_err(tr, HIST_ERR_TOO_MANY_SORT_FIELDS, errpos("sort="));
4770 			ret = -EINVAL;
4771 			break;
4772 		}
4773 
4774 		field_name = strsep(&field_str, ".");
4775 		if (!field_name || !*field_name) {
4776 			ret = -EINVAL;
4777 			hist_err(tr, HIST_ERR_EMPTY_SORT_FIELD, errpos("sort="));
4778 			break;
4779 		}
4780 
4781 		if (strcmp(field_name, "hitcount") == 0) {
4782 			descending = is_descending(tr, field_str);
4783 			if (descending < 0) {
4784 				ret = descending;
4785 				break;
4786 			}
4787 			sort_key->descending = descending;
4788 			continue;
4789 		}
4790 
4791 		for (j = 1, k = 1; j < hist_data->n_fields; j++) {
4792 			unsigned int idx;
4793 
4794 			hist_field = hist_data->fields[j];
4795 			if (hist_field->flags & HIST_FIELD_FL_VAR)
4796 				continue;
4797 
4798 			idx = k++;
4799 
4800 			test_name = hist_field_name(hist_field, 0);
4801 
4802 			if (strcmp(field_name, test_name) == 0) {
4803 				sort_key->field_idx = idx;
4804 				descending = is_descending(tr, field_str);
4805 				if (descending < 0) {
4806 					ret = descending;
4807 					goto out;
4808 				}
4809 				sort_key->descending = descending;
4810 				break;
4811 			}
4812 		}
4813 		if (j == hist_data->n_fields) {
4814 			ret = -EINVAL;
4815 			hist_err(tr, HIST_ERR_INVALID_SORT_FIELD, errpos(field_name));
4816 			break;
4817 		}
4818 	}
4819 
4820 	hist_data->n_sort_keys = i;
4821  out:
4822 	return ret;
4823 }
4824 
destroy_actions(struct hist_trigger_data * hist_data)4825 static void destroy_actions(struct hist_trigger_data *hist_data)
4826 {
4827 	unsigned int i;
4828 
4829 	for (i = 0; i < hist_data->n_actions; i++) {
4830 		struct action_data *data = hist_data->actions[i];
4831 
4832 		if (data->handler == HANDLER_ONMATCH)
4833 			onmatch_destroy(data);
4834 		else if (data->handler == HANDLER_ONMAX ||
4835 			 data->handler == HANDLER_ONCHANGE)
4836 			track_data_destroy(hist_data, data);
4837 		else
4838 			kfree(data);
4839 	}
4840 }
4841 
parse_actions(struct hist_trigger_data * hist_data)4842 static int parse_actions(struct hist_trigger_data *hist_data)
4843 {
4844 	struct trace_array *tr = hist_data->event_file->tr;
4845 	struct action_data *data;
4846 	unsigned int i;
4847 	int ret = 0;
4848 	char *str;
4849 	int len;
4850 
4851 	for (i = 0; i < hist_data->attrs->n_actions; i++) {
4852 		enum handler_id hid = 0;
4853 		char *action_str;
4854 
4855 		str = hist_data->attrs->action_str[i];
4856 
4857 		if ((len = str_has_prefix(str, "onmatch(")))
4858 			hid = HANDLER_ONMATCH;
4859 		else if ((len = str_has_prefix(str, "onmax(")))
4860 			hid = HANDLER_ONMAX;
4861 		else if ((len = str_has_prefix(str, "onchange(")))
4862 			hid = HANDLER_ONCHANGE;
4863 
4864 		action_str = str + len;
4865 
4866 		switch (hid) {
4867 		case HANDLER_ONMATCH:
4868 			data = onmatch_parse(tr, action_str);
4869 			break;
4870 		case HANDLER_ONMAX:
4871 		case HANDLER_ONCHANGE:
4872 			data = track_data_parse(hist_data, action_str, hid);
4873 			break;
4874 		default:
4875 			data = ERR_PTR(-EINVAL);
4876 			break;
4877 		}
4878 
4879 		if (IS_ERR(data)) {
4880 			ret = PTR_ERR(data);
4881 			break;
4882 		}
4883 
4884 		hist_data->actions[hist_data->n_actions++] = data;
4885 	}
4886 
4887 	return ret;
4888 }
4889 
create_actions(struct hist_trigger_data * hist_data)4890 static int create_actions(struct hist_trigger_data *hist_data)
4891 {
4892 	struct action_data *data;
4893 	unsigned int i;
4894 	int ret = 0;
4895 
4896 	for (i = 0; i < hist_data->attrs->n_actions; i++) {
4897 		data = hist_data->actions[i];
4898 
4899 		if (data->handler == HANDLER_ONMATCH) {
4900 			ret = onmatch_create(hist_data, data);
4901 			if (ret)
4902 				break;
4903 		} else if (data->handler == HANDLER_ONMAX ||
4904 			   data->handler == HANDLER_ONCHANGE) {
4905 			ret = track_data_create(hist_data, data);
4906 			if (ret)
4907 				break;
4908 		} else {
4909 			ret = -EINVAL;
4910 			break;
4911 		}
4912 	}
4913 
4914 	return ret;
4915 }
4916 
print_actions(struct seq_file * m,struct hist_trigger_data * hist_data,struct tracing_map_elt * elt)4917 static void print_actions(struct seq_file *m,
4918 			  struct hist_trigger_data *hist_data,
4919 			  struct tracing_map_elt *elt)
4920 {
4921 	unsigned int i;
4922 
4923 	for (i = 0; i < hist_data->n_actions; i++) {
4924 		struct action_data *data = hist_data->actions[i];
4925 
4926 		if (data->action == ACTION_SNAPSHOT)
4927 			continue;
4928 
4929 		if (data->handler == HANDLER_ONMAX ||
4930 		    data->handler == HANDLER_ONCHANGE)
4931 			track_data_print(m, hist_data, elt, data);
4932 	}
4933 }
4934 
print_action_spec(struct seq_file * m,struct hist_trigger_data * hist_data,struct action_data * data)4935 static void print_action_spec(struct seq_file *m,
4936 			      struct hist_trigger_data *hist_data,
4937 			      struct action_data *data)
4938 {
4939 	unsigned int i;
4940 
4941 	if (data->action == ACTION_SAVE) {
4942 		for (i = 0; i < hist_data->n_save_vars; i++) {
4943 			seq_printf(m, "%s", hist_data->save_vars[i]->var->var.name);
4944 			if (i < hist_data->n_save_vars - 1)
4945 				seq_puts(m, ",");
4946 		}
4947 	} else if (data->action == ACTION_TRACE) {
4948 		if (data->use_trace_keyword)
4949 			seq_printf(m, "%s", data->synth_event_name);
4950 		for (i = 0; i < data->n_params; i++) {
4951 			if (i || data->use_trace_keyword)
4952 				seq_puts(m, ",");
4953 			seq_printf(m, "%s", data->params[i]);
4954 		}
4955 	}
4956 }
4957 
print_track_data_spec(struct seq_file * m,struct hist_trigger_data * hist_data,struct action_data * data)4958 static void print_track_data_spec(struct seq_file *m,
4959 				  struct hist_trigger_data *hist_data,
4960 				  struct action_data *data)
4961 {
4962 	if (data->handler == HANDLER_ONMAX)
4963 		seq_puts(m, ":onmax(");
4964 	else if (data->handler == HANDLER_ONCHANGE)
4965 		seq_puts(m, ":onchange(");
4966 	seq_printf(m, "%s", data->track_data.var_str);
4967 	seq_printf(m, ").%s(", data->action_name);
4968 
4969 	print_action_spec(m, hist_data, data);
4970 
4971 	seq_puts(m, ")");
4972 }
4973 
print_onmatch_spec(struct seq_file * m,struct hist_trigger_data * hist_data,struct action_data * data)4974 static void print_onmatch_spec(struct seq_file *m,
4975 			       struct hist_trigger_data *hist_data,
4976 			       struct action_data *data)
4977 {
4978 	seq_printf(m, ":onmatch(%s.%s).", data->match_data.event_system,
4979 		   data->match_data.event);
4980 
4981 	seq_printf(m, "%s(", data->action_name);
4982 
4983 	print_action_spec(m, hist_data, data);
4984 
4985 	seq_puts(m, ")");
4986 }
4987 
actions_match(struct hist_trigger_data * hist_data,struct hist_trigger_data * hist_data_test)4988 static bool actions_match(struct hist_trigger_data *hist_data,
4989 			  struct hist_trigger_data *hist_data_test)
4990 {
4991 	unsigned int i, j;
4992 
4993 	if (hist_data->n_actions != hist_data_test->n_actions)
4994 		return false;
4995 
4996 	for (i = 0; i < hist_data->n_actions; i++) {
4997 		struct action_data *data = hist_data->actions[i];
4998 		struct action_data *data_test = hist_data_test->actions[i];
4999 		char *action_name, *action_name_test;
5000 
5001 		if (data->handler != data_test->handler)
5002 			return false;
5003 		if (data->action != data_test->action)
5004 			return false;
5005 
5006 		if (data->n_params != data_test->n_params)
5007 			return false;
5008 
5009 		for (j = 0; j < data->n_params; j++) {
5010 			if (strcmp(data->params[j], data_test->params[j]) != 0)
5011 				return false;
5012 		}
5013 
5014 		if (data->use_trace_keyword)
5015 			action_name = data->synth_event_name;
5016 		else
5017 			action_name = data->action_name;
5018 
5019 		if (data_test->use_trace_keyword)
5020 			action_name_test = data_test->synth_event_name;
5021 		else
5022 			action_name_test = data_test->action_name;
5023 
5024 		if (strcmp(action_name, action_name_test) != 0)
5025 			return false;
5026 
5027 		if (data->handler == HANDLER_ONMATCH) {
5028 			if (strcmp(data->match_data.event_system,
5029 				   data_test->match_data.event_system) != 0)
5030 				return false;
5031 			if (strcmp(data->match_data.event,
5032 				   data_test->match_data.event) != 0)
5033 				return false;
5034 		} else if (data->handler == HANDLER_ONMAX ||
5035 			   data->handler == HANDLER_ONCHANGE) {
5036 			if (strcmp(data->track_data.var_str,
5037 				   data_test->track_data.var_str) != 0)
5038 				return false;
5039 		}
5040 	}
5041 
5042 	return true;
5043 }
5044 
5045 
print_actions_spec(struct seq_file * m,struct hist_trigger_data * hist_data)5046 static void print_actions_spec(struct seq_file *m,
5047 			       struct hist_trigger_data *hist_data)
5048 {
5049 	unsigned int i;
5050 
5051 	for (i = 0; i < hist_data->n_actions; i++) {
5052 		struct action_data *data = hist_data->actions[i];
5053 
5054 		if (data->handler == HANDLER_ONMATCH)
5055 			print_onmatch_spec(m, hist_data, data);
5056 		else if (data->handler == HANDLER_ONMAX ||
5057 			 data->handler == HANDLER_ONCHANGE)
5058 			print_track_data_spec(m, hist_data, data);
5059 	}
5060 }
5061 
destroy_field_var_hists(struct hist_trigger_data * hist_data)5062 static void destroy_field_var_hists(struct hist_trigger_data *hist_data)
5063 {
5064 	unsigned int i;
5065 
5066 	for (i = 0; i < hist_data->n_field_var_hists; i++) {
5067 		kfree(hist_data->field_var_hists[i]->cmd);
5068 		kfree(hist_data->field_var_hists[i]);
5069 	}
5070 }
5071 
destroy_hist_data(struct hist_trigger_data * hist_data)5072 static void destroy_hist_data(struct hist_trigger_data *hist_data)
5073 {
5074 	if (!hist_data)
5075 		return;
5076 
5077 	destroy_hist_trigger_attrs(hist_data->attrs);
5078 	destroy_hist_fields(hist_data);
5079 	tracing_map_destroy(hist_data->map);
5080 
5081 	destroy_actions(hist_data);
5082 	destroy_field_vars(hist_data);
5083 	destroy_field_var_hists(hist_data);
5084 
5085 	kfree(hist_data);
5086 }
5087 
create_tracing_map_fields(struct hist_trigger_data * hist_data)5088 static int create_tracing_map_fields(struct hist_trigger_data *hist_data)
5089 {
5090 	struct tracing_map *map = hist_data->map;
5091 	struct ftrace_event_field *field;
5092 	struct hist_field *hist_field;
5093 	int i, idx = 0;
5094 
5095 	for_each_hist_field(i, hist_data) {
5096 		hist_field = hist_data->fields[i];
5097 		if (hist_field->flags & HIST_FIELD_FL_KEY) {
5098 			tracing_map_cmp_fn_t cmp_fn;
5099 
5100 			field = hist_field->field;
5101 
5102 			if (hist_field->flags & HIST_FIELD_FL_STACKTRACE)
5103 				cmp_fn = tracing_map_cmp_none;
5104 			else if (!field || hist_field->flags & HIST_FIELD_FL_CPU)
5105 				cmp_fn = tracing_map_cmp_num(hist_field->size,
5106 							     hist_field->is_signed);
5107 			else if (is_string_field(field))
5108 				cmp_fn = tracing_map_cmp_string;
5109 			else
5110 				cmp_fn = tracing_map_cmp_num(field->size,
5111 							     field->is_signed);
5112 			idx = tracing_map_add_key_field(map,
5113 							hist_field->offset,
5114 							cmp_fn);
5115 		} else if (!(hist_field->flags & HIST_FIELD_FL_VAR))
5116 			idx = tracing_map_add_sum_field(map);
5117 
5118 		if (idx < 0)
5119 			return idx;
5120 
5121 		if (hist_field->flags & HIST_FIELD_FL_VAR) {
5122 			idx = tracing_map_add_var(map);
5123 			if (idx < 0)
5124 				return idx;
5125 			hist_field->var.idx = idx;
5126 			hist_field->var.hist_data = hist_data;
5127 		}
5128 	}
5129 
5130 	return 0;
5131 }
5132 
5133 static struct hist_trigger_data *
create_hist_data(unsigned int map_bits,struct hist_trigger_attrs * attrs,struct trace_event_file * file,bool remove)5134 create_hist_data(unsigned int map_bits,
5135 		 struct hist_trigger_attrs *attrs,
5136 		 struct trace_event_file *file,
5137 		 bool remove)
5138 {
5139 	const struct tracing_map_ops *map_ops = NULL;
5140 	struct hist_trigger_data *hist_data;
5141 	int ret = 0;
5142 
5143 	hist_data = kzalloc_obj(*hist_data);
5144 	if (!hist_data)
5145 		return ERR_PTR(-ENOMEM);
5146 
5147 	hist_data->attrs = attrs;
5148 	hist_data->remove = remove;
5149 	hist_data->event_file = file;
5150 
5151 	ret = parse_actions(hist_data);
5152 	if (ret)
5153 		goto free;
5154 
5155 	ret = create_hist_fields(hist_data, file);
5156 	if (ret)
5157 		goto free;
5158 
5159 	ret = create_sort_keys(hist_data);
5160 	if (ret)
5161 		goto free;
5162 
5163 	map_ops = &hist_trigger_elt_data_ops;
5164 
5165 	hist_data->map = tracing_map_create(map_bits, hist_data->key_size,
5166 					    map_ops, hist_data);
5167 	if (IS_ERR(hist_data->map)) {
5168 		ret = PTR_ERR(hist_data->map);
5169 		hist_data->map = NULL;
5170 		goto free;
5171 	}
5172 
5173 	ret = create_tracing_map_fields(hist_data);
5174 	if (ret)
5175 		goto free;
5176  out:
5177 	return hist_data;
5178  free:
5179 	hist_data->attrs = NULL;
5180 
5181 	destroy_hist_data(hist_data);
5182 
5183 	hist_data = ERR_PTR(ret);
5184 
5185 	goto out;
5186 }
5187 
hist_trigger_elt_update(struct hist_trigger_data * hist_data,struct tracing_map_elt * elt,struct trace_buffer * buffer,void * rec,struct ring_buffer_event * rbe,u64 * var_ref_vals)5188 static void hist_trigger_elt_update(struct hist_trigger_data *hist_data,
5189 				    struct tracing_map_elt *elt,
5190 				    struct trace_buffer *buffer, void *rec,
5191 				    struct ring_buffer_event *rbe,
5192 				    u64 *var_ref_vals)
5193 {
5194 	struct hist_elt_data *elt_data;
5195 	struct hist_field *hist_field;
5196 	unsigned int i, var_idx;
5197 	u64 hist_val;
5198 
5199 	elt_data = elt->private_data;
5200 	elt_data->var_ref_vals = var_ref_vals;
5201 
5202 	for_each_hist_val_field(i, hist_data) {
5203 		hist_field = hist_data->fields[i];
5204 		hist_val = hist_fn_call(hist_field, elt, buffer, rbe, rec);
5205 		if (hist_field->flags & HIST_FIELD_FL_VAR) {
5206 			var_idx = hist_field->var.idx;
5207 
5208 			if (hist_field->flags &
5209 			    (HIST_FIELD_FL_STRING | HIST_FIELD_FL_STACKTRACE)) {
5210 				unsigned int str_start, var_str_idx, idx;
5211 				char *str, *val_str;
5212 				unsigned int size;
5213 
5214 				str_start = hist_data->n_field_var_str +
5215 					hist_data->n_save_var_str;
5216 				var_str_idx = hist_field->var_str_idx;
5217 				idx = str_start + var_str_idx;
5218 
5219 				str = elt_data->field_var_str[idx];
5220 				val_str = (char *)(uintptr_t)hist_val;
5221 
5222 				if (hist_field->flags & HIST_FIELD_FL_STRING) {
5223 					size = min(hist_field->size, STR_VAR_LEN_MAX);
5224 					strscpy(str, val_str, size);
5225 				} else {
5226 					char *stack_start = str + sizeof(unsigned long);
5227 					int e;
5228 
5229 					e = stack_trace_save((void *)stack_start,
5230 							     HIST_STACKTRACE_DEPTH,
5231 							     HIST_STACKTRACE_SKIP);
5232 					if (e < HIST_STACKTRACE_DEPTH - 1)
5233 						((unsigned long *)stack_start)[e] = 0;
5234 					*((unsigned long *)str) = e;
5235 				}
5236 				hist_val = (u64)(uintptr_t)str;
5237 			}
5238 			tracing_map_set_var(elt, var_idx, hist_val);
5239 			continue;
5240 		}
5241 		tracing_map_update_sum(elt, i, hist_val);
5242 	}
5243 
5244 	for_each_hist_key_field(i, hist_data) {
5245 		hist_field = hist_data->fields[i];
5246 		if (hist_field->flags & HIST_FIELD_FL_VAR) {
5247 			hist_val = hist_fn_call(hist_field, elt, buffer, rbe, rec);
5248 			var_idx = hist_field->var.idx;
5249 			tracing_map_set_var(elt, var_idx, hist_val);
5250 		}
5251 	}
5252 
5253 	update_field_vars(hist_data, elt, buffer, rbe, rec);
5254 }
5255 
add_to_key(char * compound_key,void * key,struct hist_field * key_field,void * rec)5256 static inline void add_to_key(char *compound_key, void *key,
5257 			      struct hist_field *key_field, void *rec)
5258 {
5259 	size_t size = key_field->size;
5260 
5261 	if (key_field->flags & HIST_FIELD_FL_STRING) {
5262 
5263 		if (key_field->flags & HIST_FIELD_FL_COMM) {
5264 			size = strlen((char *)key);
5265 		} else {
5266 			struct ftrace_event_field *field;
5267 
5268 			field = key_field->field;
5269 			if (field->filter_type == FILTER_DYN_STRING ||
5270 			    field->filter_type == FILTER_RDYN_STRING)
5271 				size = *(u32 *)(rec + field->offset) >> 16;
5272 			else if (field->filter_type == FILTER_STATIC_STRING)
5273 				size = field->size;
5274 		}
5275 
5276 		/* ensure NULL-termination */
5277 		if (size > key_field->size - 1)
5278 			size = key_field->size - 1;
5279 	}
5280 	memcpy(compound_key + key_field->offset, key, size);
5281 }
5282 
5283 static void
hist_trigger_actions(struct hist_trigger_data * hist_data,struct tracing_map_elt * elt,struct trace_buffer * buffer,void * rec,struct ring_buffer_event * rbe,void * key,u64 * var_ref_vals)5284 hist_trigger_actions(struct hist_trigger_data *hist_data,
5285 		     struct tracing_map_elt *elt,
5286 		     struct trace_buffer *buffer, void *rec,
5287 		     struct ring_buffer_event *rbe, void *key,
5288 		     u64 *var_ref_vals)
5289 {
5290 	struct action_data *data;
5291 	unsigned int i;
5292 
5293 	for (i = 0; i < hist_data->n_actions; i++) {
5294 		data = hist_data->actions[i];
5295 		data->fn(hist_data, elt, buffer, rec, rbe, key, data, var_ref_vals);
5296 	}
5297 }
5298 
5299 /*
5300  * The hist_pad structure is used to save information to create
5301  * a histogram from the histogram trigger. It's too big to store
5302  * on the stack, so when the histogram trigger is initialized
5303  * a percpu array of 4 hist_pad structures is allocated.
5304  * This will cover every context from normal, softirq, irq and NMI
5305  * in the very unlikely event that a trigger happens at each of
5306  * these contexts and interrupts a currently active trigger.
5307  */
5308 struct hist_pad {
5309 	unsigned long		entries[HIST_STACKTRACE_DEPTH];
5310 	u64			var_ref_vals[TRACING_MAP_VARS_MAX];
5311 	char			compound_key[HIST_KEY_SIZE_MAX];
5312 };
5313 
5314 static struct hist_pad __percpu *hist_pads;
5315 static DEFINE_PER_CPU(int, hist_pad_cnt);
5316 static refcount_t hist_pad_ref;
5317 
5318 /* One hist_pad for every context (normal, softirq, irq, NMI) */
5319 #define MAX_HIST_CNT 4
5320 
alloc_hist_pad(void)5321 static int alloc_hist_pad(void)
5322 {
5323 	lockdep_assert_held(&event_mutex);
5324 
5325 	if (refcount_read(&hist_pad_ref)) {
5326 		refcount_inc(&hist_pad_ref);
5327 		return 0;
5328 	}
5329 
5330 	hist_pads = __alloc_percpu(sizeof(struct hist_pad) * MAX_HIST_CNT,
5331 				   __alignof__(struct hist_pad));
5332 	if (!hist_pads)
5333 		return -ENOMEM;
5334 
5335 	refcount_set(&hist_pad_ref, 1);
5336 	return 0;
5337 }
5338 
free_hist_pad(void)5339 static void free_hist_pad(void)
5340 {
5341 	lockdep_assert_held(&event_mutex);
5342 
5343 	if (!refcount_dec_and_test(&hist_pad_ref))
5344 		return;
5345 
5346 	free_percpu(hist_pads);
5347 	hist_pads = NULL;
5348 }
5349 
get_hist_pad(void)5350 static struct hist_pad *get_hist_pad(void)
5351 {
5352 	struct hist_pad *hist_pad;
5353 	int cnt;
5354 
5355 	if (WARN_ON_ONCE(!hist_pads))
5356 		return NULL;
5357 
5358 	preempt_disable();
5359 
5360 	hist_pad = per_cpu_ptr(hist_pads, smp_processor_id());
5361 
5362 	if (this_cpu_read(hist_pad_cnt) == MAX_HIST_CNT) {
5363 		preempt_enable();
5364 		return NULL;
5365 	}
5366 
5367 	cnt = this_cpu_inc_return(hist_pad_cnt) - 1;
5368 
5369 	return &hist_pad[cnt];
5370 }
5371 
put_hist_pad(void)5372 static void put_hist_pad(void)
5373 {
5374 	this_cpu_dec(hist_pad_cnt);
5375 	preempt_enable();
5376 }
5377 
event_hist_trigger(struct event_trigger_data * data,struct trace_buffer * buffer,void * rec,struct ring_buffer_event * rbe)5378 static void event_hist_trigger(struct event_trigger_data *data,
5379 			       struct trace_buffer *buffer, void *rec,
5380 			       struct ring_buffer_event *rbe)
5381 {
5382 	struct hist_trigger_data *hist_data = data->private_data;
5383 	bool use_compound_key = (hist_data->n_keys > 1);
5384 	struct tracing_map_elt *elt = NULL;
5385 	struct hist_field *key_field;
5386 	struct hist_pad *hist_pad;
5387 	u64 field_contents;
5388 	void *key = NULL;
5389 	unsigned int i;
5390 
5391 	if (unlikely(!rbe))
5392 		return;
5393 
5394 	hist_pad = get_hist_pad();
5395 	if (!hist_pad)
5396 		return;
5397 
5398 	memset(hist_pad->compound_key, 0, hist_data->key_size);
5399 
5400 	for_each_hist_key_field(i, hist_data) {
5401 		key_field = hist_data->fields[i];
5402 
5403 		if (key_field->flags & HIST_FIELD_FL_STACKTRACE) {
5404 			unsigned long *entries = hist_pad->entries;
5405 
5406 			memset(entries, 0, HIST_STACKTRACE_SIZE);
5407 			if (key_field->field) {
5408 				unsigned long *stack, n_entries;
5409 
5410 				field_contents = hist_fn_call(key_field, elt, buffer, rbe, rec);
5411 				stack = (unsigned long *)(long)field_contents;
5412 				n_entries = *stack;
5413 				memcpy(entries, ++stack, n_entries * sizeof(unsigned long));
5414 			} else {
5415 				stack_trace_save(entries, HIST_STACKTRACE_DEPTH,
5416 						 HIST_STACKTRACE_SKIP);
5417 			}
5418 			key = entries;
5419 		} else {
5420 			field_contents = hist_fn_call(key_field, elt, buffer, rbe, rec);
5421 			if (key_field->flags & HIST_FIELD_FL_STRING) {
5422 				key = (void *)(unsigned long)field_contents;
5423 				use_compound_key = true;
5424 			} else
5425 				key = (void *)&field_contents;
5426 		}
5427 
5428 		if (use_compound_key)
5429 			add_to_key(hist_pad->compound_key, key, key_field, rec);
5430 	}
5431 
5432 	if (use_compound_key)
5433 		key = hist_pad->compound_key;
5434 
5435 	if (hist_data->n_var_refs &&
5436 	    !resolve_var_refs(hist_data, key, hist_pad->var_ref_vals, false))
5437 		goto out;
5438 
5439 	elt = tracing_map_insert(hist_data->map, key);
5440 	if (!elt)
5441 		goto out;
5442 
5443 	hist_trigger_elt_update(hist_data, elt, buffer, rec, rbe, hist_pad->var_ref_vals);
5444 
5445 	if (resolve_var_refs(hist_data, key, hist_pad->var_ref_vals, true)) {
5446 		hist_trigger_actions(hist_data, elt, buffer, rec, rbe,
5447 				     key, hist_pad->var_ref_vals);
5448 	}
5449 
5450 	hist_poll_wakeup();
5451 
5452  out:
5453 	put_hist_pad();
5454 }
5455 
hist_trigger_stacktrace_print(struct seq_file * m,unsigned long * stacktrace_entries,unsigned int max_entries)5456 static void hist_trigger_stacktrace_print(struct seq_file *m,
5457 					  unsigned long *stacktrace_entries,
5458 					  unsigned int max_entries)
5459 {
5460 	unsigned int spaces = 8;
5461 	unsigned int i;
5462 
5463 	for (i = 0; i < max_entries; i++) {
5464 		if (!stacktrace_entries[i])
5465 			return;
5466 
5467 		seq_printf(m, "%*c", 1 + spaces, ' ');
5468 		seq_printf(m, "%pS\n", (void*)stacktrace_entries[i]);
5469 	}
5470 }
5471 
hist_trigger_print_key(struct seq_file * m,struct hist_trigger_data * hist_data,void * key,struct tracing_map_elt * elt)5472 static void hist_trigger_print_key(struct seq_file *m,
5473 				   struct hist_trigger_data *hist_data,
5474 				   void *key,
5475 				   struct tracing_map_elt *elt)
5476 {
5477 	struct hist_field *key_field;
5478 	bool multiline = false;
5479 	const char *field_name;
5480 	unsigned int i;
5481 	u64 uval;
5482 
5483 	seq_puts(m, "{ ");
5484 
5485 	for_each_hist_key_field(i, hist_data) {
5486 		key_field = hist_data->fields[i];
5487 
5488 		if (i > hist_data->n_vals)
5489 			seq_puts(m, ", ");
5490 
5491 		field_name = hist_field_name(key_field, 0);
5492 
5493 		if (key_field->flags & HIST_FIELD_FL_HEX) {
5494 			uval = *(u64 *)(key + key_field->offset);
5495 			seq_printf(m, "%s: %llx", field_name, uval);
5496 		} else if (key_field->flags & HIST_FIELD_FL_SYM) {
5497 			uval = *(u64 *)(key + key_field->offset);
5498 			seq_printf(m, "%s: [%llx] %-45ps", field_name,
5499 				   uval, (void *)(uintptr_t)uval);
5500 		} else if (key_field->flags & HIST_FIELD_FL_SYM_OFFSET) {
5501 			uval = *(u64 *)(key + key_field->offset);
5502 			seq_printf(m, "%s: [%llx] %-55pS", field_name,
5503 				   uval, (void *)(uintptr_t)uval);
5504 		} else if (key_field->flags & HIST_FIELD_FL_EXECNAME) {
5505 			struct hist_elt_data *elt_data = elt->private_data;
5506 			char *comm;
5507 
5508 			if (WARN_ON_ONCE(!elt_data))
5509 				return;
5510 
5511 			comm = elt_data->comm;
5512 
5513 			uval = *(u64 *)(key + key_field->offset);
5514 			seq_printf(m, "%s: %-16s[%10llu]", field_name,
5515 				   comm, uval);
5516 		} else if (key_field->flags & HIST_FIELD_FL_SYSCALL) {
5517 			const char *syscall_name;
5518 
5519 			uval = *(u64 *)(key + key_field->offset);
5520 			syscall_name = get_syscall_name(uval);
5521 			if (!syscall_name)
5522 				syscall_name = "unknown_syscall";
5523 
5524 			seq_printf(m, "%s: %-30s[%3llu]", field_name,
5525 				   syscall_name, uval);
5526 		} else if (key_field->flags & HIST_FIELD_FL_STACKTRACE) {
5527 			if (key_field->field)
5528 				seq_printf(m, "%s.stacktrace", key_field->field->name);
5529 			else
5530 				seq_puts(m, "common_stacktrace:\n");
5531 			hist_trigger_stacktrace_print(m,
5532 						      key + key_field->offset,
5533 						      HIST_STACKTRACE_DEPTH);
5534 			multiline = true;
5535 		} else if (key_field->flags & HIST_FIELD_FL_LOG2) {
5536 			seq_printf(m, "%s: ~ 2^%-2llu", field_name,
5537 				   *(u64 *)(key + key_field->offset));
5538 		} else if (key_field->flags & HIST_FIELD_FL_BUCKET) {
5539 			unsigned long buckets = key_field->buckets;
5540 			uval = *(u64 *)(key + key_field->offset);
5541 			seq_printf(m, "%s: ~ %llu-%llu", field_name,
5542 				   uval, uval + buckets -1);
5543 		} else if (key_field->flags & HIST_FIELD_FL_STRING) {
5544 			seq_printf(m, "%s: %-50s", field_name,
5545 				   (char *)(key + key_field->offset));
5546 		} else {
5547 			uval = *(u64 *)(key + key_field->offset);
5548 			seq_printf(m, "%s: %10llu", field_name, uval);
5549 		}
5550 	}
5551 
5552 	if (!multiline)
5553 		seq_puts(m, " ");
5554 
5555 	seq_puts(m, "}");
5556 }
5557 
5558 /* Get the 100 times of the percentage of @val in @total */
__get_percentage(u64 val,u64 total)5559 static inline unsigned int __get_percentage(u64 val, u64 total)
5560 {
5561 	if (!total)
5562 		goto div0;
5563 
5564 	if (val < (U64_MAX / 10000))
5565 		return (unsigned int)div64_ul(val * 10000, total);
5566 
5567 	total = div64_u64(total, 10000);
5568 	if (!total)
5569 		goto div0;
5570 
5571 	return (unsigned int)div64_ul(val, total);
5572 div0:
5573 	return val ? UINT_MAX : 0;
5574 }
5575 
5576 #define BAR_CHAR '#'
5577 
__fill_bar_str(char * buf,int size,u64 val,u64 max)5578 static inline const char *__fill_bar_str(char *buf, int size, u64 val, u64 max)
5579 {
5580 	unsigned int len = __get_percentage(val, max);
5581 	int i;
5582 
5583 	if (len == UINT_MAX) {
5584 		snprintf(buf, size, "[ERROR]");
5585 		return buf;
5586 	}
5587 
5588 	len = len * size / 10000;
5589 	for (i = 0; i < len && i < size; i++)
5590 		buf[i] = BAR_CHAR;
5591 	while (i < size)
5592 		buf[i++] = ' ';
5593 	buf[size] = '\0';
5594 
5595 	return buf;
5596 }
5597 
5598 struct hist_val_stat {
5599 	u64 max;
5600 	u64 total;
5601 };
5602 
hist_trigger_print_val(struct seq_file * m,unsigned int idx,const char * field_name,unsigned long flags,struct hist_val_stat * stats,struct tracing_map_elt * elt)5603 static void hist_trigger_print_val(struct seq_file *m, unsigned int idx,
5604 				   const char *field_name, unsigned long flags,
5605 				   struct hist_val_stat *stats,
5606 				   struct tracing_map_elt *elt)
5607 {
5608 	u64 val = tracing_map_read_sum(elt, idx);
5609 	unsigned int pc;
5610 	char bar[21];
5611 
5612 	if (flags & HIST_FIELD_FL_PERCENT) {
5613 		pc = __get_percentage(val, stats[idx].total);
5614 		if (pc == UINT_MAX)
5615 			seq_printf(m, " %s (%%):[ERROR]", field_name);
5616 		else
5617 			seq_printf(m, " %s (%%): %3u.%02u", field_name,
5618 					pc / 100, pc % 100);
5619 	} else if (flags & HIST_FIELD_FL_GRAPH) {
5620 		seq_printf(m, " %s: %20s", field_name,
5621 			   __fill_bar_str(bar, 20, val, stats[idx].max));
5622 	} else if (flags & HIST_FIELD_FL_HEX) {
5623 		seq_printf(m, " %s: %10llx", field_name, val);
5624 	} else {
5625 		seq_printf(m, " %s: %10llu", field_name, val);
5626 	}
5627 }
5628 
hist_trigger_entry_print(struct seq_file * m,struct hist_trigger_data * hist_data,struct hist_val_stat * stats,void * key,struct tracing_map_elt * elt)5629 static void hist_trigger_entry_print(struct seq_file *m,
5630 				     struct hist_trigger_data *hist_data,
5631 				     struct hist_val_stat *stats,
5632 				     void *key,
5633 				     struct tracing_map_elt *elt)
5634 {
5635 	const char *field_name;
5636 	unsigned int i = HITCOUNT_IDX;
5637 	unsigned long flags;
5638 
5639 	hist_trigger_print_key(m, hist_data, key, elt);
5640 
5641 	/* At first, show the raw hitcount if !nohitcount */
5642 	if (!hist_data->attrs->no_hitcount)
5643 		hist_trigger_print_val(m, i, "hitcount", 0, stats, elt);
5644 
5645 	for (i = 1; i < hist_data->n_vals; i++) {
5646 		field_name = hist_field_name(hist_data->fields[i], 0);
5647 		flags = hist_data->fields[i]->flags;
5648 		if (flags & HIST_FIELD_FL_VAR || flags & HIST_FIELD_FL_EXPR)
5649 			continue;
5650 
5651 		seq_puts(m, " ");
5652 		hist_trigger_print_val(m, i, field_name, flags, stats, elt);
5653 	}
5654 
5655 	print_actions(m, hist_data, elt);
5656 
5657 	seq_puts(m, "\n");
5658 }
5659 
print_entries(struct seq_file * m,struct hist_trigger_data * hist_data)5660 static int print_entries(struct seq_file *m,
5661 			 struct hist_trigger_data *hist_data)
5662 {
5663 	struct tracing_map_sort_entry **sort_entries = NULL;
5664 	struct tracing_map *map = hist_data->map;
5665 	int i, j, n_entries;
5666 	struct hist_val_stat *stats = NULL;
5667 	u64 val;
5668 
5669 	n_entries = tracing_map_sort_entries(map, hist_data->sort_keys,
5670 					     hist_data->n_sort_keys,
5671 					     &sort_entries);
5672 	if (n_entries < 0)
5673 		return n_entries;
5674 
5675 	/* Calculate the max and the total for each field if needed. */
5676 	for (j = 0; j < hist_data->n_vals; j++) {
5677 		if (!(hist_data->fields[j]->flags &
5678 			(HIST_FIELD_FL_PERCENT | HIST_FIELD_FL_GRAPH)))
5679 			continue;
5680 		if (!stats) {
5681 			stats = kzalloc_objs(*stats, hist_data->n_vals);
5682 			if (!stats) {
5683 				n_entries = -ENOMEM;
5684 				goto out;
5685 			}
5686 		}
5687 		for (i = 0; i < n_entries; i++) {
5688 			val = tracing_map_read_sum(sort_entries[i]->elt, j);
5689 			stats[j].total += val;
5690 			if (stats[j].max < val)
5691 				stats[j].max = val;
5692 		}
5693 	}
5694 
5695 	for (i = 0; i < n_entries; i++)
5696 		hist_trigger_entry_print(m, hist_data, stats,
5697 					 sort_entries[i]->key,
5698 					 sort_entries[i]->elt);
5699 
5700 	kfree(stats);
5701 out:
5702 	tracing_map_destroy_sort_entries(sort_entries, n_entries);
5703 
5704 	return n_entries;
5705 }
5706 
hist_trigger_show(struct seq_file * m,struct event_trigger_data * data,int n)5707 static void hist_trigger_show(struct seq_file *m,
5708 			      struct event_trigger_data *data, int n)
5709 {
5710 	struct hist_trigger_data *hist_data;
5711 	int n_entries;
5712 
5713 	if (n > 0)
5714 		seq_puts(m, "\n\n");
5715 
5716 	seq_puts(m, "# event histogram\n#\n# trigger info: ");
5717 	data->cmd_ops->print(m, data);
5718 	seq_puts(m, "#\n\n");
5719 
5720 	hist_data = data->private_data;
5721 	n_entries = print_entries(m, hist_data);
5722 	if (n_entries < 0)
5723 		n_entries = 0;
5724 
5725 	track_data_snapshot_print(m, hist_data);
5726 
5727 	seq_printf(m, "\nTotals:\n    Hits: %llu\n    Entries: %u\n    Dropped: %llu\n",
5728 		   (u64)atomic64_read(&hist_data->map->hits),
5729 		   n_entries, (u64)atomic64_read(&hist_data->map->drops));
5730 }
5731 
5732 struct hist_file_data {
5733 	struct file *file;
5734 	u64 last_read;
5735 	u64 last_act;
5736 };
5737 
get_hist_hit_count(struct trace_event_file * event_file)5738 static u64 get_hist_hit_count(struct trace_event_file *event_file)
5739 {
5740 	struct hist_trigger_data *hist_data;
5741 	struct event_trigger_data *data;
5742 	u64 ret = 0;
5743 
5744 	list_for_each_entry(data, &event_file->triggers, list) {
5745 		if (data->cmd_ops->trigger_type == ETT_EVENT_HIST) {
5746 			hist_data = data->private_data;
5747 			ret += atomic64_read(&hist_data->map->hits);
5748 		}
5749 	}
5750 	return ret;
5751 }
5752 
hist_show(struct seq_file * m,void * v)5753 static int hist_show(struct seq_file *m, void *v)
5754 {
5755 	struct hist_file_data *hist_file = m->private;
5756 	struct event_trigger_data *data;
5757 	struct trace_event_file *event_file;
5758 	int n = 0;
5759 
5760 	guard(mutex)(&event_mutex);
5761 
5762 	event_file = event_file_file(hist_file->file);
5763 	if (unlikely(!event_file))
5764 		return -ENODEV;
5765 
5766 	list_for_each_entry(data, &event_file->triggers, list) {
5767 		if (data->cmd_ops->trigger_type == ETT_EVENT_HIST)
5768 			hist_trigger_show(m, data, n++);
5769 	}
5770 	hist_file->last_read = get_hist_hit_count(event_file);
5771 	/*
5772 	 * Update last_act too so that poll()/POLLPRI can wait for the next
5773 	 * event after any syscall on hist file.
5774 	 */
5775 	hist_file->last_act = hist_file->last_read;
5776 
5777 	return 0;
5778 }
5779 
event_hist_poll(struct file * file,struct poll_table_struct * wait)5780 static __poll_t event_hist_poll(struct file *file, struct poll_table_struct *wait)
5781 {
5782 	struct trace_event_file *event_file;
5783 	struct seq_file *m = file->private_data;
5784 	struct hist_file_data *hist_file = m->private;
5785 	__poll_t ret = 0;
5786 	u64 cnt;
5787 
5788 	guard(mutex)(&event_mutex);
5789 
5790 	event_file = event_file_file(file);
5791 	if (!event_file)
5792 		return EPOLLERR;
5793 
5794 	hist_poll_wait(file, wait);
5795 
5796 	cnt = get_hist_hit_count(event_file);
5797 	if (hist_file->last_read != cnt)
5798 		ret |= EPOLLIN | EPOLLRDNORM;
5799 	if (hist_file->last_act != cnt) {
5800 		hist_file->last_act = cnt;
5801 		ret |= EPOLLPRI;
5802 	}
5803 
5804 	return ret;
5805 }
5806 
event_hist_release(struct inode * inode,struct file * file)5807 static int event_hist_release(struct inode *inode, struct file *file)
5808 {
5809 	struct seq_file *m = file->private_data;
5810 	struct hist_file_data *hist_file = m->private;
5811 
5812 	kfree(hist_file);
5813 	return tracing_single_release_file_tr(inode, file);
5814 }
5815 
event_hist_open(struct inode * inode,struct file * file)5816 static int event_hist_open(struct inode *inode, struct file *file)
5817 {
5818 	struct trace_event_file *event_file;
5819 	struct hist_file_data *hist_file;
5820 	int ret;
5821 
5822 	ret = tracing_open_file_tr(inode, file);
5823 	if (ret)
5824 		return ret;
5825 
5826 	guard(mutex)(&event_mutex);
5827 
5828 	event_file = event_file_file(file);
5829 	if (!event_file) {
5830 		ret = -ENODEV;
5831 		goto err;
5832 	}
5833 
5834 	hist_file = kzalloc_obj(*hist_file);
5835 	if (!hist_file) {
5836 		ret = -ENOMEM;
5837 		goto err;
5838 	}
5839 
5840 	hist_file->file = file;
5841 	hist_file->last_act = get_hist_hit_count(event_file);
5842 
5843 	ret = single_open(file, hist_show, hist_file);
5844 	if (ret) {
5845 		kfree(hist_file);
5846 		goto err;
5847 	}
5848 
5849 	return 0;
5850 err:
5851 	tracing_release_file_tr(inode, file);
5852 	return ret;
5853 }
5854 
5855 const struct file_operations event_hist_fops = {
5856 	.open = event_hist_open,
5857 	.read = seq_read,
5858 	.llseek = seq_lseek,
5859 	.release = event_hist_release,
5860 	.poll = event_hist_poll,
5861 };
5862 
5863 #ifdef CONFIG_HIST_TRIGGERS_DEBUG
5864 
5865 #undef C
5866 #define C(a, b)		b
5867 
5868 static const char * const field_funcs[] = { FIELD_FUNCS };
5869 
hist_field_debug_show_flags(struct seq_file * m,unsigned long flags)5870 static void hist_field_debug_show_flags(struct seq_file *m,
5871 					unsigned long flags)
5872 {
5873 	seq_puts(m, "      flags:\n");
5874 
5875 	if (flags & HIST_FIELD_FL_KEY)
5876 		seq_puts(m, "        HIST_FIELD_FL_KEY\n");
5877 	else if (flags & HIST_FIELD_FL_HITCOUNT)
5878 		seq_puts(m, "        VAL: HIST_FIELD_FL_HITCOUNT\n");
5879 	else if (flags & HIST_FIELD_FL_VAR)
5880 		seq_puts(m, "        HIST_FIELD_FL_VAR\n");
5881 	else if (flags & HIST_FIELD_FL_VAR_REF)
5882 		seq_puts(m, "        HIST_FIELD_FL_VAR_REF\n");
5883 	else
5884 		seq_puts(m, "        VAL: normal u64 value\n");
5885 
5886 	if (flags & HIST_FIELD_FL_ALIAS)
5887 		seq_puts(m, "        HIST_FIELD_FL_ALIAS\n");
5888 	else if (flags & HIST_FIELD_FL_CONST)
5889 		seq_puts(m, "        HIST_FIELD_FL_CONST\n");
5890 }
5891 
hist_field_debug_show(struct seq_file * m,struct hist_field * field,unsigned long flags)5892 static int hist_field_debug_show(struct seq_file *m,
5893 				 struct hist_field *field, unsigned long flags)
5894 {
5895 	if ((field->flags & flags) != flags) {
5896 		seq_printf(m, "ERROR: bad flags - %lx\n", flags);
5897 		return -EINVAL;
5898 	}
5899 
5900 	hist_field_debug_show_flags(m, field->flags);
5901 	if (field->field)
5902 		seq_printf(m, "      ftrace_event_field name: %s\n",
5903 			   field->field->name);
5904 
5905 	if (field->flags & HIST_FIELD_FL_VAR) {
5906 		seq_printf(m, "      var.name: %s\n", field->var.name);
5907 		seq_printf(m, "      var.idx (into tracing_map_elt.vars[]): %u\n",
5908 			   field->var.idx);
5909 	}
5910 
5911 	if (field->flags & HIST_FIELD_FL_CONST)
5912 		seq_printf(m, "      constant: %llu\n", field->constant);
5913 
5914 	if (field->flags & HIST_FIELD_FL_ALIAS)
5915 		seq_printf(m, "      var_ref_idx (into hist_data->var_refs[]): %u\n",
5916 			   field->var_ref_idx);
5917 
5918 	if (field->flags & HIST_FIELD_FL_VAR_REF) {
5919 		seq_printf(m, "      name: %s\n", field->name);
5920 		seq_printf(m, "      var.idx (into tracing_map_elt.vars[]): %u\n",
5921 			   field->var.idx);
5922 		seq_printf(m, "      var.hist_data: %p\n", field->var.hist_data);
5923 		seq_printf(m, "      var_ref_idx (into hist_data->var_refs[]): %u\n",
5924 			   field->var_ref_idx);
5925 		if (field->system)
5926 			seq_printf(m, "      system: %s\n", field->system);
5927 		if (field->event_name)
5928 			seq_printf(m, "      event_name: %s\n", field->event_name);
5929 	}
5930 
5931 	seq_printf(m, "      type: %s\n", field->type);
5932 	seq_printf(m, "      size: %u\n", field->size);
5933 	seq_printf(m, "      is_signed: %u\n", field->is_signed);
5934 	seq_printf(m, "      function: hist_field_%s()\n", field_funcs[field->fn_num]);
5935 
5936 	return 0;
5937 }
5938 
field_var_debug_show(struct seq_file * m,struct field_var * field_var,unsigned int i,bool save_vars)5939 static int field_var_debug_show(struct seq_file *m,
5940 				struct field_var *field_var, unsigned int i,
5941 				bool save_vars)
5942 {
5943 	const char *vars_name = save_vars ? "save_vars" : "field_vars";
5944 	struct hist_field *field;
5945 	int ret = 0;
5946 
5947 	seq_printf(m, "\n    hist_data->%s[%d]:\n", vars_name, i);
5948 
5949 	field = field_var->var;
5950 
5951 	seq_printf(m, "\n      %s[%d].var:\n", vars_name, i);
5952 
5953 	hist_field_debug_show_flags(m, field->flags);
5954 	seq_printf(m, "      var.name: %s\n", field->var.name);
5955 	seq_printf(m, "      var.idx (into tracing_map_elt.vars[]): %u\n",
5956 		   field->var.idx);
5957 
5958 	field = field_var->val;
5959 
5960 	seq_printf(m, "\n      %s[%d].val:\n", vars_name, i);
5961 	if (field->field)
5962 		seq_printf(m, "      ftrace_event_field name: %s\n",
5963 			   field->field->name);
5964 	else {
5965 		ret = -EINVAL;
5966 		goto out;
5967 	}
5968 
5969 	seq_printf(m, "      type: %s\n", field->type);
5970 	seq_printf(m, "      size: %u\n", field->size);
5971 	seq_printf(m, "      is_signed: %u\n", field->is_signed);
5972 out:
5973 	return ret;
5974 }
5975 
hist_action_debug_show(struct seq_file * m,struct action_data * data,int i)5976 static int hist_action_debug_show(struct seq_file *m,
5977 				  struct action_data *data, int i)
5978 {
5979 	int ret = 0;
5980 
5981 	if (data->handler == HANDLER_ONMAX ||
5982 	    data->handler == HANDLER_ONCHANGE) {
5983 		seq_printf(m, "\n    hist_data->actions[%d].track_data.var_ref:\n", i);
5984 		ret = hist_field_debug_show(m, data->track_data.var_ref,
5985 					    HIST_FIELD_FL_VAR_REF);
5986 		if (ret)
5987 			goto out;
5988 
5989 		seq_printf(m, "\n    hist_data->actions[%d].track_data.track_var:\n", i);
5990 		ret = hist_field_debug_show(m, data->track_data.track_var,
5991 					    HIST_FIELD_FL_VAR);
5992 		if (ret)
5993 			goto out;
5994 	}
5995 
5996 	if (data->handler == HANDLER_ONMATCH) {
5997 		seq_printf(m, "\n    hist_data->actions[%d].match_data.event_system: %s\n",
5998 			   i, data->match_data.event_system);
5999 		seq_printf(m, "    hist_data->actions[%d].match_data.event: %s\n",
6000 			   i, data->match_data.event);
6001 	}
6002 out:
6003 	return ret;
6004 }
6005 
hist_actions_debug_show(struct seq_file * m,struct hist_trigger_data * hist_data)6006 static int hist_actions_debug_show(struct seq_file *m,
6007 				   struct hist_trigger_data *hist_data)
6008 {
6009 	int i, ret = 0;
6010 
6011 	if (hist_data->n_actions)
6012 		seq_puts(m, "\n  action tracking variables (for onmax()/onchange()/onmatch()):\n");
6013 
6014 	for (i = 0; i < hist_data->n_actions; i++) {
6015 		struct action_data *action = hist_data->actions[i];
6016 
6017 		ret = hist_action_debug_show(m, action, i);
6018 		if (ret)
6019 			goto out;
6020 	}
6021 
6022 	if (hist_data->n_save_vars)
6023 		seq_puts(m, "\n  save action variables (save() params):\n");
6024 
6025 	for (i = 0; i < hist_data->n_save_vars; i++) {
6026 		ret = field_var_debug_show(m, hist_data->save_vars[i], i, true);
6027 		if (ret)
6028 			goto out;
6029 	}
6030 out:
6031 	return ret;
6032 }
6033 
hist_trigger_debug_show(struct seq_file * m,struct event_trigger_data * data,int n)6034 static void hist_trigger_debug_show(struct seq_file *m,
6035 				    struct event_trigger_data *data, int n)
6036 {
6037 	struct hist_trigger_data *hist_data;
6038 	int i, ret;
6039 
6040 	if (n > 0)
6041 		seq_puts(m, "\n\n");
6042 
6043 	seq_puts(m, "# event histogram\n#\n# trigger info: ");
6044 	data->cmd_ops->print(m, data);
6045 	seq_puts(m, "#\n\n");
6046 
6047 	hist_data = data->private_data;
6048 
6049 	seq_printf(m, "hist_data: %p\n\n", hist_data);
6050 	seq_printf(m, "  n_vals: %u\n", hist_data->n_vals);
6051 	seq_printf(m, "  n_keys: %u\n", hist_data->n_keys);
6052 	seq_printf(m, "  n_fields: %u\n", hist_data->n_fields);
6053 
6054 	seq_puts(m, "\n  val fields:\n\n");
6055 
6056 	seq_puts(m, "    hist_data->fields[0]:\n");
6057 	ret = hist_field_debug_show(m, hist_data->fields[0],
6058 				    HIST_FIELD_FL_HITCOUNT);
6059 	if (ret)
6060 		return;
6061 
6062 	for (i = 1; i < hist_data->n_vals; i++) {
6063 		seq_printf(m, "\n    hist_data->fields[%d]:\n", i);
6064 		ret = hist_field_debug_show(m, hist_data->fields[i], 0);
6065 		if (ret)
6066 			return;
6067 	}
6068 
6069 	seq_puts(m, "\n  key fields:\n");
6070 
6071 	for (i = hist_data->n_vals; i < hist_data->n_fields; i++) {
6072 		seq_printf(m, "\n    hist_data->fields[%d]:\n", i);
6073 		ret = hist_field_debug_show(m, hist_data->fields[i],
6074 					    HIST_FIELD_FL_KEY);
6075 		if (ret)
6076 			return;
6077 	}
6078 
6079 	if (hist_data->n_var_refs)
6080 		seq_puts(m, "\n  variable reference fields:\n");
6081 
6082 	for (i = 0; i < hist_data->n_var_refs; i++) {
6083 		seq_printf(m, "\n    hist_data->var_refs[%d]:\n", i);
6084 		ret = hist_field_debug_show(m, hist_data->var_refs[i],
6085 					    HIST_FIELD_FL_VAR_REF);
6086 		if (ret)
6087 			return;
6088 	}
6089 
6090 	if (hist_data->n_field_vars)
6091 		seq_puts(m, "\n  field variables:\n");
6092 
6093 	for (i = 0; i < hist_data->n_field_vars; i++) {
6094 		ret = field_var_debug_show(m, hist_data->field_vars[i], i, false);
6095 		if (ret)
6096 			return;
6097 	}
6098 
6099 	ret = hist_actions_debug_show(m, hist_data);
6100 	if (ret)
6101 		return;
6102 }
6103 
hist_debug_show(struct seq_file * m,void * v)6104 static int hist_debug_show(struct seq_file *m, void *v)
6105 {
6106 	struct event_trigger_data *data;
6107 	struct trace_event_file *event_file;
6108 	int n = 0;
6109 
6110 	guard(mutex)(&event_mutex);
6111 
6112 	event_file = event_file_file(m->private);
6113 	if (unlikely(!event_file))
6114 		return -ENODEV;
6115 
6116 	list_for_each_entry(data, &event_file->triggers, list) {
6117 		if (data->cmd_ops->trigger_type == ETT_EVENT_HIST)
6118 			hist_trigger_debug_show(m, data, n++);
6119 	}
6120 	return 0;
6121 }
6122 
event_hist_debug_open(struct inode * inode,struct file * file)6123 static int event_hist_debug_open(struct inode *inode, struct file *file)
6124 {
6125 	int ret;
6126 
6127 	ret = tracing_open_file_tr(inode, file);
6128 	if (ret)
6129 		return ret;
6130 
6131 	ret = single_open(file, hist_debug_show, file);
6132 	if (ret)
6133 		tracing_release_file_tr(inode, file);
6134 	return ret;
6135 }
6136 
6137 const struct file_operations event_hist_debug_fops = {
6138 	.open = event_hist_debug_open,
6139 	.read = seq_read,
6140 	.llseek = seq_lseek,
6141 	.release = tracing_single_release_file_tr,
6142 };
6143 #endif
6144 
hist_field_print(struct seq_file * m,struct hist_field * hist_field)6145 static void hist_field_print(struct seq_file *m, struct hist_field *hist_field)
6146 {
6147 	const char *field_name = hist_field_name(hist_field, 0);
6148 
6149 	if (hist_field->var.name)
6150 		seq_printf(m, "%s=", hist_field->var.name);
6151 
6152 	if (hist_field->flags & HIST_FIELD_FL_CPU)
6153 		seq_puts(m, "common_cpu");
6154 	if (hist_field->flags & HIST_FIELD_FL_COMM)
6155 		seq_puts(m, "common_comm");
6156 	else if (hist_field->flags & HIST_FIELD_FL_CONST)
6157 		seq_printf(m, "%llu", hist_field->constant);
6158 	else if (field_name) {
6159 		if (hist_field->flags & HIST_FIELD_FL_VAR_REF ||
6160 		    hist_field->flags & HIST_FIELD_FL_ALIAS)
6161 			if (!hist_field->system)
6162 				seq_putc(m, '$');
6163 		seq_printf(m, "%s", field_name);
6164 	} else if (hist_field->flags & HIST_FIELD_FL_TIMESTAMP)
6165 		seq_puts(m, "common_timestamp");
6166 
6167 	if (hist_field->flags) {
6168 		if (!(hist_field->flags & HIST_FIELD_FL_VAR_REF) &&
6169 		    !(hist_field->flags & HIST_FIELD_FL_EXPR) &&
6170 		    !(hist_field->flags & HIST_FIELD_FL_STACKTRACE)) {
6171 			const char *flags = get_hist_field_flags(hist_field);
6172 
6173 			if (flags)
6174 				seq_printf(m, ".%s", flags);
6175 		}
6176 	}
6177 	if (hist_field->buckets)
6178 		seq_printf(m, "=%ld", hist_field->buckets);
6179 }
6180 
event_hist_trigger_print(struct seq_file * m,struct event_trigger_data * data)6181 static int event_hist_trigger_print(struct seq_file *m,
6182 				    struct event_trigger_data *data)
6183 {
6184 	struct hist_trigger_data *hist_data = data->private_data;
6185 	struct hist_field *field;
6186 	bool have_var = false;
6187 	bool show_val = false;
6188 	unsigned int i;
6189 
6190 	seq_puts(m, HIST_PREFIX);
6191 
6192 	if (data->name)
6193 		seq_printf(m, "%s:", data->name);
6194 
6195 	seq_puts(m, "keys=");
6196 
6197 	for_each_hist_key_field(i, hist_data) {
6198 		field = hist_data->fields[i];
6199 
6200 		if (i > hist_data->n_vals)
6201 			seq_puts(m, ",");
6202 
6203 		if (field->flags & HIST_FIELD_FL_STACKTRACE) {
6204 			if (field->field)
6205 				seq_printf(m, "%s.stacktrace", field->field->name);
6206 			else
6207 				seq_puts(m, "common_stacktrace");
6208 		} else
6209 			hist_field_print(m, field);
6210 	}
6211 
6212 	seq_puts(m, ":vals=");
6213 
6214 	for_each_hist_val_field(i, hist_data) {
6215 		field = hist_data->fields[i];
6216 		if (field->flags & HIST_FIELD_FL_VAR) {
6217 			have_var = true;
6218 			continue;
6219 		}
6220 
6221 		if (i == HITCOUNT_IDX) {
6222 			if (hist_data->attrs->no_hitcount)
6223 				continue;
6224 			seq_puts(m, "hitcount");
6225 		} else {
6226 			if (show_val)
6227 				seq_puts(m, ",");
6228 			hist_field_print(m, field);
6229 		}
6230 		show_val = true;
6231 	}
6232 
6233 	if (have_var) {
6234 		unsigned int n = 0;
6235 
6236 		seq_puts(m, ":");
6237 
6238 		for_each_hist_val_field(i, hist_data) {
6239 			field = hist_data->fields[i];
6240 
6241 			if (field->flags & HIST_FIELD_FL_VAR) {
6242 				if (n++)
6243 					seq_puts(m, ",");
6244 				hist_field_print(m, field);
6245 			}
6246 		}
6247 	}
6248 
6249 	seq_puts(m, ":sort=");
6250 
6251 	for (i = 0; i < hist_data->n_sort_keys; i++) {
6252 		struct tracing_map_sort_key *sort_key;
6253 		unsigned int idx, first_key_idx;
6254 
6255 		/* skip VAR vals */
6256 		first_key_idx = hist_data->n_vals - hist_data->n_vars;
6257 
6258 		sort_key = &hist_data->sort_keys[i];
6259 		idx = sort_key->field_idx;
6260 
6261 		if (WARN_ON(idx >= HIST_FIELDS_MAX))
6262 			return -EINVAL;
6263 
6264 		if (i > 0)
6265 			seq_puts(m, ",");
6266 
6267 		if (idx == HITCOUNT_IDX)
6268 			seq_puts(m, "hitcount");
6269 		else {
6270 			if (idx >= first_key_idx)
6271 				idx += hist_data->n_vars;
6272 			hist_field_print(m, hist_data->fields[idx]);
6273 		}
6274 
6275 		if (sort_key->descending)
6276 			seq_puts(m, ".descending");
6277 	}
6278 	seq_printf(m, ":size=%u", (1 << hist_data->map->map_bits));
6279 	if (hist_data->enable_timestamps)
6280 		seq_printf(m, ":clock=%s", hist_data->attrs->clock);
6281 	if (hist_data->attrs->no_hitcount)
6282 		seq_puts(m, ":nohitcount");
6283 
6284 	print_actions_spec(m, hist_data);
6285 
6286 	if (data->filter_str)
6287 		seq_printf(m, " if %s", data->filter_str);
6288 
6289 	if (data->paused)
6290 		seq_puts(m, " [paused]");
6291 	else
6292 		seq_puts(m, " [active]");
6293 
6294 	seq_putc(m, '\n');
6295 
6296 	return 0;
6297 }
6298 
event_hist_trigger_init(struct event_trigger_data * data)6299 static int event_hist_trigger_init(struct event_trigger_data *data)
6300 {
6301 	struct hist_trigger_data *hist_data = data->private_data;
6302 
6303 	if (alloc_hist_pad() < 0)
6304 		return -ENOMEM;
6305 
6306 	if (!data->ref && hist_data->attrs->name)
6307 		save_named_trigger(hist_data->attrs->name, data);
6308 
6309 	data->ref++;
6310 
6311 	return 0;
6312 }
6313 
unregister_field_var_hists(struct hist_trigger_data * hist_data)6314 static void unregister_field_var_hists(struct hist_trigger_data *hist_data)
6315 {
6316 	struct trace_event_file *file;
6317 	unsigned int i;
6318 	char *cmd;
6319 	int ret;
6320 
6321 	for (i = 0; i < hist_data->n_field_var_hists; i++) {
6322 		file = hist_data->field_var_hists[i]->hist_data->event_file;
6323 		cmd = hist_data->field_var_hists[i]->cmd;
6324 		ret = event_hist_trigger_parse(&trigger_hist_cmd, file,
6325 					       "!hist", "hist", cmd);
6326 		WARN_ON_ONCE(ret < 0);
6327 	}
6328 }
6329 
event_hist_trigger_free(struct event_trigger_data * data)6330 static void event_hist_trigger_free(struct event_trigger_data *data)
6331 {
6332 	struct hist_trigger_data *hist_data = data->private_data;
6333 
6334 	if (WARN_ON_ONCE(data->ref <= 0))
6335 		return;
6336 
6337 	data->ref--;
6338 	if (!data->ref) {
6339 		if (data->name)
6340 			del_named_trigger(data);
6341 
6342 		trigger_data_free(data);
6343 
6344 		remove_hist_vars(hist_data);
6345 
6346 		unregister_field_var_hists(hist_data);
6347 
6348 		destroy_hist_data(hist_data);
6349 	}
6350 	free_hist_pad();
6351 }
6352 
event_hist_trigger_named_init(struct event_trigger_data * data)6353 static int event_hist_trigger_named_init(struct event_trigger_data *data)
6354 {
6355 	int ret;
6356 
6357 	data->ref++;
6358 
6359 	save_named_trigger(data->named_data->name, data);
6360 
6361 	ret = event_hist_trigger_init(data->named_data);
6362 	if (ret < 0) {
6363 		kfree(data->cmd_ops);
6364 		data->cmd_ops = &trigger_hist_cmd;
6365 	}
6366 
6367 	return ret;
6368 }
6369 
event_hist_trigger_named_free(struct event_trigger_data * data)6370 static void event_hist_trigger_named_free(struct event_trigger_data *data)
6371 {
6372 	if (WARN_ON_ONCE(data->ref <= 0))
6373 		return;
6374 
6375 	event_hist_trigger_free(data->named_data);
6376 
6377 	data->ref--;
6378 	if (!data->ref) {
6379 		struct event_command *cmd_ops = data->cmd_ops;
6380 
6381 		del_named_trigger(data);
6382 		trigger_data_free(data);
6383 		kfree(cmd_ops);
6384 	}
6385 }
6386 
hist_clear(struct event_trigger_data * data)6387 static void hist_clear(struct event_trigger_data *data)
6388 {
6389 	struct hist_trigger_data *hist_data = data->private_data;
6390 
6391 	if (data->name)
6392 		pause_named_trigger(data);
6393 
6394 	tracepoint_synchronize_unregister();
6395 
6396 	tracing_map_clear(hist_data->map);
6397 
6398 	if (data->name)
6399 		unpause_named_trigger(data);
6400 }
6401 
compatible_field(struct ftrace_event_field * field,struct ftrace_event_field * test_field)6402 static bool compatible_field(struct ftrace_event_field *field,
6403 			     struct ftrace_event_field *test_field)
6404 {
6405 	if (field == test_field)
6406 		return true;
6407 	if (field == NULL || test_field == NULL)
6408 		return false;
6409 	if (strcmp(field->name, test_field->name) != 0)
6410 		return false;
6411 	if (strcmp(field->type, test_field->type) != 0)
6412 		return false;
6413 	if (field->size != test_field->size)
6414 		return false;
6415 	if (field->is_signed != test_field->is_signed)
6416 		return false;
6417 
6418 	return true;
6419 }
6420 
hist_trigger_match(struct event_trigger_data * data,struct event_trigger_data * data_test,struct event_trigger_data * named_data,bool ignore_filter)6421 static bool hist_trigger_match(struct event_trigger_data *data,
6422 			       struct event_trigger_data *data_test,
6423 			       struct event_trigger_data *named_data,
6424 			       bool ignore_filter)
6425 {
6426 	struct tracing_map_sort_key *sort_key, *sort_key_test;
6427 	struct hist_trigger_data *hist_data, *hist_data_test;
6428 	struct hist_field *key_field, *key_field_test;
6429 	unsigned int i;
6430 
6431 	if (named_data && (named_data != data_test) &&
6432 	    (named_data != data_test->named_data))
6433 		return false;
6434 
6435 	if (!named_data && is_named_trigger(data_test))
6436 		return false;
6437 
6438 	hist_data = data->private_data;
6439 	hist_data_test = data_test->private_data;
6440 
6441 	if (hist_data->n_vals != hist_data_test->n_vals ||
6442 	    hist_data->n_fields != hist_data_test->n_fields ||
6443 	    hist_data->n_sort_keys != hist_data_test->n_sort_keys)
6444 		return false;
6445 
6446 	if (!ignore_filter) {
6447 		if ((data->filter_str && !data_test->filter_str) ||
6448 		   (!data->filter_str && data_test->filter_str))
6449 			return false;
6450 	}
6451 
6452 	for_each_hist_field(i, hist_data) {
6453 		key_field = hist_data->fields[i];
6454 		key_field_test = hist_data_test->fields[i];
6455 
6456 		if (key_field->flags != key_field_test->flags)
6457 			return false;
6458 		if (!compatible_field(key_field->field, key_field_test->field))
6459 			return false;
6460 		if (key_field->offset != key_field_test->offset)
6461 			return false;
6462 		if (key_field->size != key_field_test->size)
6463 			return false;
6464 		if (key_field->is_signed != key_field_test->is_signed)
6465 			return false;
6466 		if (!!key_field->var.name != !!key_field_test->var.name)
6467 			return false;
6468 		if (key_field->var.name &&
6469 		    strcmp(key_field->var.name, key_field_test->var.name) != 0)
6470 			return false;
6471 	}
6472 
6473 	for (i = 0; i < hist_data->n_sort_keys; i++) {
6474 		sort_key = &hist_data->sort_keys[i];
6475 		sort_key_test = &hist_data_test->sort_keys[i];
6476 
6477 		if (sort_key->field_idx != sort_key_test->field_idx ||
6478 		    sort_key->descending != sort_key_test->descending)
6479 			return false;
6480 	}
6481 
6482 	if (!ignore_filter && data->filter_str &&
6483 	    (strcmp(data->filter_str, data_test->filter_str) != 0))
6484 		return false;
6485 
6486 	if (!actions_match(hist_data, hist_data_test))
6487 		return false;
6488 
6489 	return true;
6490 }
6491 
existing_hist_update_only(char * glob,struct event_trigger_data * data,struct trace_event_file * file)6492 static bool existing_hist_update_only(char *glob,
6493 				      struct event_trigger_data *data,
6494 				      struct trace_event_file *file)
6495 {
6496 	struct hist_trigger_data *hist_data = data->private_data;
6497 	struct event_trigger_data *test, *named_data = NULL;
6498 	bool updated = false;
6499 
6500 	if (!hist_data->attrs->pause && !hist_data->attrs->cont &&
6501 	    !hist_data->attrs->clear)
6502 		goto out;
6503 
6504 	if (hist_data->attrs->name) {
6505 		named_data = find_named_trigger(hist_data->attrs->name);
6506 		if (named_data) {
6507 			if (!hist_trigger_match(data, named_data, named_data,
6508 						true))
6509 				goto out;
6510 		}
6511 	}
6512 
6513 	if (hist_data->attrs->name && !named_data)
6514 		goto out;
6515 
6516 	list_for_each_entry(test, &file->triggers, list) {
6517 		if (test->cmd_ops->trigger_type == ETT_EVENT_HIST) {
6518 			if (!hist_trigger_match(data, test, named_data, false))
6519 				continue;
6520 			if (hist_data->attrs->pause)
6521 				test->paused = true;
6522 			else if (hist_data->attrs->cont)
6523 				test->paused = false;
6524 			else if (hist_data->attrs->clear)
6525 				hist_clear(test);
6526 			updated = true;
6527 			goto out;
6528 		}
6529 	}
6530  out:
6531 	return updated;
6532 }
6533 
6534 /*
6535  * Set or disable using the per CPU trace_buffer_event when possible.
6536  */
tracing_set_filter_buffering(struct trace_array * tr,bool set)6537 static int tracing_set_filter_buffering(struct trace_array *tr, bool set)
6538 {
6539 	guard(mutex)(&trace_types_lock);
6540 
6541 	if (set && tr->no_filter_buffering_ref++)
6542 		return 0;
6543 
6544 	if (!set) {
6545 		if (WARN_ON_ONCE(!tr->no_filter_buffering_ref))
6546 			return -EINVAL;
6547 
6548 		--tr->no_filter_buffering_ref;
6549 	}
6550 
6551 	return 0;
6552 }
6553 
hist_register_trigger(char * glob,struct event_trigger_data * data,struct trace_event_file * file)6554 static int hist_register_trigger(char *glob,
6555 				 struct event_trigger_data *data,
6556 				 struct trace_event_file *file)
6557 {
6558 	struct hist_trigger_data *hist_data = data->private_data;
6559 	struct event_trigger_data *test, *named_data = NULL;
6560 	struct trace_array *tr = file->tr;
6561 	int ret = 0;
6562 
6563 	if (hist_data->attrs->name) {
6564 		named_data = find_named_trigger(hist_data->attrs->name);
6565 		if (named_data) {
6566 			if (!hist_trigger_match(data, named_data, named_data,
6567 						true)) {
6568 				hist_err(tr, HIST_ERR_NAMED_MISMATCH, errpos(hist_data->attrs->name));
6569 				ret = -EINVAL;
6570 				goto out;
6571 			}
6572 		}
6573 	}
6574 
6575 	if (hist_data->attrs->name && !named_data)
6576 		goto new;
6577 
6578 	lockdep_assert_held(&event_mutex);
6579 
6580 	list_for_each_entry(test, &file->triggers, list) {
6581 		if (test->cmd_ops->trigger_type == ETT_EVENT_HIST) {
6582 			if (hist_trigger_match(data, test, named_data, false)) {
6583 				hist_err(tr, HIST_ERR_TRIGGER_EEXIST, 0);
6584 				ret = -EEXIST;
6585 				goto out;
6586 			}
6587 		}
6588 	}
6589  new:
6590 	if (hist_data->attrs->cont || hist_data->attrs->clear) {
6591 		hist_err(tr, HIST_ERR_TRIGGER_ENOENT_CLEAR, 0);
6592 		ret = -ENOENT;
6593 		goto out;
6594 	}
6595 
6596 	if (hist_data->attrs->pause)
6597 		data->paused = true;
6598 
6599 	if (named_data) {
6600 		struct event_command *cmd_ops;
6601 
6602 		data->private_data = named_data->private_data;
6603 		set_named_trigger_data(data, named_data);
6604 		/* Copy the command ops and update some of the functions */
6605 		cmd_ops = kmalloc_obj(*cmd_ops);
6606 		if (!cmd_ops) {
6607 			ret = -ENOMEM;
6608 			goto out;
6609 		}
6610 		*cmd_ops = *data->cmd_ops;
6611 		cmd_ops->init = event_hist_trigger_named_init;
6612 		cmd_ops->free = event_hist_trigger_named_free;
6613 		data->cmd_ops = cmd_ops;
6614 	}
6615 
6616 	if (data->cmd_ops->init) {
6617 		ret = data->cmd_ops->init(data);
6618 		if (ret < 0)
6619 			goto out;
6620 	}
6621 
6622 	if (hist_data->enable_timestamps) {
6623 		char *clock = hist_data->attrs->clock;
6624 
6625 		ret = tracing_set_clock(file->tr, hist_data->attrs->clock);
6626 		if (ret) {
6627 			hist_err(tr, HIST_ERR_SET_CLOCK_FAIL, errpos(clock));
6628 			goto out;
6629 		}
6630 
6631 		tracing_set_filter_buffering(file->tr, true);
6632 	}
6633 
6634 	if (named_data)
6635 		destroy_hist_data(hist_data);
6636  out:
6637 	return ret;
6638 }
6639 
hist_trigger_enable(struct event_trigger_data * data,struct trace_event_file * file)6640 static int hist_trigger_enable(struct event_trigger_data *data,
6641 			       struct trace_event_file *file)
6642 {
6643 	int ret = 0;
6644 
6645 	list_add_tail_rcu(&data->list, &file->triggers);
6646 
6647 	update_cond_flag(file);
6648 
6649 	if (trace_event_trigger_enable_disable(file, 1) < 0) {
6650 		list_del_rcu(&data->list);
6651 		update_cond_flag(file);
6652 		ret--;
6653 	}
6654 
6655 	return ret;
6656 }
6657 
have_hist_trigger_match(struct event_trigger_data * data,struct trace_event_file * file)6658 static bool have_hist_trigger_match(struct event_trigger_data *data,
6659 				    struct trace_event_file *file)
6660 {
6661 	struct hist_trigger_data *hist_data = data->private_data;
6662 	struct event_trigger_data *test, *named_data = NULL;
6663 	bool match = false;
6664 
6665 	lockdep_assert_held(&event_mutex);
6666 
6667 	if (hist_data->attrs->name)
6668 		named_data = find_named_trigger(hist_data->attrs->name);
6669 
6670 	list_for_each_entry(test, &file->triggers, list) {
6671 		if (test->cmd_ops->trigger_type == ETT_EVENT_HIST) {
6672 			if (hist_trigger_match(data, test, named_data, false)) {
6673 				match = true;
6674 				break;
6675 			}
6676 		}
6677 	}
6678 
6679 	return match;
6680 }
6681 
hist_trigger_check_refs(struct event_trigger_data * data,struct trace_event_file * file)6682 static bool hist_trigger_check_refs(struct event_trigger_data *data,
6683 				    struct trace_event_file *file)
6684 {
6685 	struct hist_trigger_data *hist_data = data->private_data;
6686 	struct event_trigger_data *test, *named_data = NULL;
6687 
6688 	lockdep_assert_held(&event_mutex);
6689 
6690 	if (hist_data->attrs->name)
6691 		named_data = find_named_trigger(hist_data->attrs->name);
6692 
6693 	list_for_each_entry(test, &file->triggers, list) {
6694 		if (test->cmd_ops->trigger_type == ETT_EVENT_HIST) {
6695 			if (!hist_trigger_match(data, test, named_data, false))
6696 				continue;
6697 			hist_data = test->private_data;
6698 			if (check_var_refs(hist_data))
6699 				return true;
6700 			break;
6701 		}
6702 	}
6703 
6704 	return false;
6705 }
6706 
hist_unregister_trigger(char * glob,struct event_trigger_data * data,struct trace_event_file * file)6707 static void hist_unregister_trigger(char *glob,
6708 				    struct event_trigger_data *data,
6709 				    struct trace_event_file *file)
6710 {
6711 	struct event_trigger_data *test = NULL, *iter, *named_data = NULL;
6712 	struct hist_trigger_data *hist_data = data->private_data;
6713 
6714 	lockdep_assert_held(&event_mutex);
6715 
6716 	if (hist_data->attrs->name)
6717 		named_data = find_named_trigger(hist_data->attrs->name);
6718 
6719 	list_for_each_entry(iter, &file->triggers, list) {
6720 		if (iter->cmd_ops->trigger_type == ETT_EVENT_HIST) {
6721 			if (!hist_trigger_match(data, iter, named_data, false))
6722 				continue;
6723 			test = iter;
6724 			list_del_rcu(&test->list);
6725 			trace_event_trigger_enable_disable(file, 0);
6726 			update_cond_flag(file);
6727 			break;
6728 		}
6729 	}
6730 
6731 	if (test && test->cmd_ops->free)
6732 		test->cmd_ops->free(test);
6733 
6734 	if (hist_data->enable_timestamps) {
6735 		if (!hist_data->remove || test)
6736 			tracing_set_filter_buffering(file->tr, false);
6737 	}
6738 }
6739 
hist_file_check_refs(struct trace_event_file * file)6740 static bool hist_file_check_refs(struct trace_event_file *file)
6741 {
6742 	struct hist_trigger_data *hist_data;
6743 	struct event_trigger_data *test;
6744 
6745 	lockdep_assert_held(&event_mutex);
6746 
6747 	list_for_each_entry(test, &file->triggers, list) {
6748 		if (test->cmd_ops->trigger_type == ETT_EVENT_HIST) {
6749 			hist_data = test->private_data;
6750 			if (check_var_refs(hist_data))
6751 				return true;
6752 		}
6753 	}
6754 
6755 	return false;
6756 }
6757 
hist_unreg_all(struct trace_event_file * file)6758 static void hist_unreg_all(struct trace_event_file *file)
6759 {
6760 	struct event_trigger_data *test, *n;
6761 	struct hist_trigger_data *hist_data;
6762 	struct synth_event *se;
6763 	const char *se_name;
6764 
6765 	lockdep_assert_held(&event_mutex);
6766 
6767 	if (hist_file_check_refs(file))
6768 		return;
6769 
6770 	list_for_each_entry_safe(test, n, &file->triggers, list) {
6771 		if (test->cmd_ops->trigger_type == ETT_EVENT_HIST) {
6772 			hist_data = test->private_data;
6773 			list_del_rcu(&test->list);
6774 			trace_event_trigger_enable_disable(file, 0);
6775 
6776 			se_name = trace_event_name(file->event_call);
6777 			se = find_synth_event(se_name);
6778 			if (se)
6779 				se->ref--;
6780 
6781 			update_cond_flag(file);
6782 			if (hist_data->enable_timestamps)
6783 				tracing_set_filter_buffering(file->tr, false);
6784 			if (test->cmd_ops->free)
6785 				test->cmd_ops->free(test);
6786 		}
6787 	}
6788 }
6789 
event_hist_trigger_parse(struct event_command * cmd_ops,struct trace_event_file * file,char * glob,char * cmd,char * param_and_filter)6790 static int event_hist_trigger_parse(struct event_command *cmd_ops,
6791 				    struct trace_event_file *file,
6792 				    char *glob, char *cmd,
6793 				    char *param_and_filter)
6794 {
6795 	unsigned int hist_trigger_bits = TRACING_MAP_BITS_DEFAULT;
6796 	struct event_trigger_data *trigger_data;
6797 	struct hist_trigger_attrs *attrs;
6798 	struct hist_trigger_data *hist_data;
6799 	char *param, *filter, *p, *start;
6800 	struct synth_event *se;
6801 	const char *se_name;
6802 	bool remove;
6803 	int ret = 0;
6804 
6805 	lockdep_assert_held(&event_mutex);
6806 
6807 	if (WARN_ON(!glob))
6808 		return -EINVAL;
6809 
6810 	if (glob[0]) {
6811 		hist_err_clear();
6812 		last_cmd_set(file, param_and_filter);
6813 	}
6814 
6815 	remove = event_trigger_check_remove(glob);
6816 
6817 	if (event_trigger_empty_param(param_and_filter))
6818 		return -EINVAL;
6819 
6820 	/*
6821 	 * separate the trigger from the filter (k:v [if filter])
6822 	 * allowing for whitespace in the trigger
6823 	 */
6824 	p = param = param_and_filter;
6825 	do {
6826 		p = strstr(p, "if");
6827 		if (!p)
6828 			break;
6829 		if (p == param_and_filter)
6830 			return -EINVAL;
6831 		if (*(p - 1) != ' ' && *(p - 1) != '\t') {
6832 			p++;
6833 			continue;
6834 		}
6835 		if (p >= param_and_filter + strlen(param_and_filter) - (sizeof("if") - 1) - 1)
6836 			return -EINVAL;
6837 		if (*(p + sizeof("if") - 1) != ' ' && *(p + sizeof("if") - 1) != '\t') {
6838 			p++;
6839 			continue;
6840 		}
6841 		break;
6842 	} while (1);
6843 
6844 	if (!p)
6845 		filter = NULL;
6846 	else {
6847 		*(p - 1) = '\0';
6848 		filter = strstrip(p);
6849 		param = strstrip(param);
6850 	}
6851 
6852 	/*
6853 	 * To simplify arithmetic expression parsing, replace occurrences of
6854 	 * '.sym-offset' modifier with '.symXoffset'
6855 	 */
6856 	start = strstr(param, ".sym-offset");
6857 	while (start) {
6858 		*(start + 4) = 'X';
6859 		start = strstr(start + 11, ".sym-offset");
6860 	}
6861 
6862 	attrs = parse_hist_trigger_attrs(file->tr, param);
6863 	if (IS_ERR(attrs))
6864 		return PTR_ERR(attrs);
6865 
6866 	if (attrs->map_bits)
6867 		hist_trigger_bits = attrs->map_bits;
6868 
6869 	hist_data = create_hist_data(hist_trigger_bits, attrs, file, remove);
6870 	if (IS_ERR(hist_data)) {
6871 		destroy_hist_trigger_attrs(attrs);
6872 		return PTR_ERR(hist_data);
6873 	}
6874 
6875 	trigger_data = trigger_data_alloc(cmd_ops, cmd, param, hist_data);
6876 	if (!trigger_data) {
6877 		ret = -ENOMEM;
6878 		goto out_free;
6879 	}
6880 
6881 	ret = event_trigger_set_filter(cmd_ops, file, filter, trigger_data);
6882 	if (ret < 0)
6883 		goto out_free;
6884 
6885 	if (remove) {
6886 		if (!have_hist_trigger_match(trigger_data, file))
6887 			goto out_free;
6888 
6889 		if (hist_trigger_check_refs(trigger_data, file)) {
6890 			ret = -EBUSY;
6891 			goto out_free;
6892 		}
6893 
6894 		event_trigger_unregister(cmd_ops, file, glob+1, trigger_data);
6895 		se_name = trace_event_name(file->event_call);
6896 		se = find_synth_event(se_name);
6897 		if (se)
6898 			se->ref--;
6899 		ret = 0;
6900 		goto out_free;
6901 	}
6902 
6903 	if (existing_hist_update_only(glob, trigger_data, file))
6904 		goto out_free;
6905 
6906 	if (!get_named_trigger_data(trigger_data)) {
6907 
6908 		ret = create_actions(hist_data);
6909 		if (ret)
6910 			goto out_free;
6911 
6912 		if (has_hist_vars(hist_data) || hist_data->n_var_refs) {
6913 			ret = save_hist_vars(hist_data);
6914 			if (ret)
6915 				goto out_free;
6916 		}
6917 
6918 		ret = tracing_map_init(hist_data->map);
6919 		if (ret)
6920 			goto out_free;
6921 	}
6922 
6923 	ret = event_trigger_register(cmd_ops, file, glob, trigger_data);
6924 	if (ret < 0)
6925 		goto out_free;
6926 
6927 	ret = hist_trigger_enable(trigger_data, file);
6928 	if (ret)
6929 		goto out_unreg;
6930 
6931 	se_name = trace_event_name(file->event_call);
6932 	se = find_synth_event(se_name);
6933 	if (se)
6934 		se->ref++;
6935  out:
6936 	if (ret == 0 && glob[0])
6937 		hist_err_clear();
6938 
6939 	return ret;
6940  out_unreg:
6941 	event_trigger_unregister(cmd_ops, file, glob+1, trigger_data);
6942  out_free:
6943 	remove_hist_vars(hist_data);
6944 
6945 	trigger_data_free(trigger_data);
6946 
6947 	destroy_hist_data(hist_data);
6948 	goto out;
6949 }
6950 
6951 static struct event_command trigger_hist_cmd = {
6952 	.name			= "hist",
6953 	.trigger_type		= ETT_EVENT_HIST,
6954 	.flags			= EVENT_CMD_FL_NEEDS_REC,
6955 	.parse			= event_hist_trigger_parse,
6956 	.reg			= hist_register_trigger,
6957 	.unreg			= hist_unregister_trigger,
6958 	.unreg_all		= hist_unreg_all,
6959 	.set_filter		= set_trigger_filter,
6960 	.trigger		= event_hist_trigger,
6961 	.print			= event_hist_trigger_print,
6962 	.init			= event_hist_trigger_init,
6963 	.free			= event_hist_trigger_free,
6964 };
6965 
register_trigger_hist_cmd(void)6966 __init int register_trigger_hist_cmd(void)
6967 {
6968 	int ret;
6969 
6970 	ret = register_event_command(&trigger_hist_cmd);
6971 	WARN_ON(ret < 0);
6972 
6973 	return ret;
6974 }
6975 
6976 static void
hist_enable_trigger(struct event_trigger_data * data,struct trace_buffer * buffer,void * rec,struct ring_buffer_event * event)6977 hist_enable_trigger(struct event_trigger_data *data,
6978 		    struct trace_buffer *buffer,  void *rec,
6979 		    struct ring_buffer_event *event)
6980 {
6981 	struct enable_trigger_data *enable_data = data->private_data;
6982 	struct event_trigger_data *test;
6983 
6984 	list_for_each_entry_rcu(test, &enable_data->file->triggers, list,
6985 				lockdep_is_held(&event_mutex)) {
6986 		if (test->cmd_ops->trigger_type == ETT_EVENT_HIST) {
6987 			if (enable_data->enable)
6988 				test->paused = false;
6989 			else
6990 				test->paused = true;
6991 		}
6992 	}
6993 }
6994 
hist_enable_unreg_all(struct trace_event_file * file)6995 static void hist_enable_unreg_all(struct trace_event_file *file)
6996 {
6997 	struct event_trigger_data *test, *n;
6998 
6999 	list_for_each_entry_safe(test, n, &file->triggers, list) {
7000 		if (test->cmd_ops->trigger_type == ETT_HIST_ENABLE) {
7001 			list_del_rcu(&test->list);
7002 			update_cond_flag(file);
7003 			trace_event_trigger_enable_disable(file, 0);
7004 			if (test->cmd_ops->free)
7005 				test->cmd_ops->free(test);
7006 		}
7007 	}
7008 }
7009 
7010 static struct event_command trigger_hist_enable_cmd = {
7011 	.name			= ENABLE_HIST_STR,
7012 	.trigger_type		= ETT_HIST_ENABLE,
7013 	.parse			= event_enable_trigger_parse,
7014 	.reg			= event_enable_register_trigger,
7015 	.unreg			= event_enable_unregister_trigger,
7016 	.unreg_all		= hist_enable_unreg_all,
7017 	.set_filter		= set_trigger_filter,
7018 	.trigger		= hist_enable_trigger,
7019 	.count_func		= event_trigger_count,
7020 	.print			= event_enable_trigger_print,
7021 	.init			= event_trigger_init,
7022 	.free			= event_enable_trigger_free,
7023 };
7024 
7025 static struct event_command trigger_hist_disable_cmd = {
7026 	.name			= DISABLE_HIST_STR,
7027 	.trigger_type		= ETT_HIST_ENABLE,
7028 	.parse			= event_enable_trigger_parse,
7029 	.reg			= event_enable_register_trigger,
7030 	.unreg			= event_enable_unregister_trigger,
7031 	.unreg_all		= hist_enable_unreg_all,
7032 	.set_filter		= set_trigger_filter,
7033 	.trigger		= hist_enable_trigger,
7034 	.count_func		= event_trigger_count,
7035 	.print			= event_enable_trigger_print,
7036 	.init			= event_trigger_init,
7037 	.free			= event_enable_trigger_free,
7038 };
7039 
unregister_trigger_hist_enable_disable_cmds(void)7040 static __init void unregister_trigger_hist_enable_disable_cmds(void)
7041 {
7042 	unregister_event_command(&trigger_hist_enable_cmd);
7043 	unregister_event_command(&trigger_hist_disable_cmd);
7044 }
7045 
register_trigger_hist_enable_disable_cmds(void)7046 __init int register_trigger_hist_enable_disable_cmds(void)
7047 {
7048 	int ret;
7049 
7050 	ret = register_event_command(&trigger_hist_enable_cmd);
7051 	if (WARN_ON(ret < 0))
7052 		return ret;
7053 	ret = register_event_command(&trigger_hist_disable_cmd);
7054 	if (WARN_ON(ret < 0))
7055 		unregister_trigger_hist_enable_disable_cmds();
7056 
7057 	return ret;
7058 }
7059