1 #ifndef _LTTNG_FILTER_H
2 #define _LTTNG_FILTER_H
7 * LTTng UST filter header.
9 * Copyright (C) 2010-2016 Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
11 * Permission is hereby granted, free of charge, to any person obtaining a copy
12 * of this software and associated documentation files (the "Software"), to deal
13 * in the Software without restriction, including without limitation the rights
14 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
15 * copies of the Software, and to permit persons to whom the Software is
16 * furnished to do so, subject to the following conditions:
18 * The above copyright notice and this permission notice shall be included in
19 * all copies or substantial portions of the Software.
21 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
22 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
23 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
24 * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
25 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
26 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
34 #include <lttng/ust-events.h>
35 #include <lttng/ust-context-provider.h>
42 #include <usterr-signal-safe.h>
43 #include "filter-bytecode.h"
45 /* Filter stack length, in number of entries */
46 #define FILTER_STACK_LEN 10 /* includes 2 dummy */
47 #define FILTER_STACK_EMPTY 1
49 #define FILTER_MAX_DATA_LEN 65536
52 #define min_t(type, a, b) \
53 ((type) (a) < (type) (b) ? (type) (a) : (type) (b))
57 #define likely(x) __builtin_expect(!!(x), 1)
61 #define unlikely(x) __builtin_expect(!!(x), 0)
65 #define dbg_printf(fmt, args...) \
66 printf("[debug bytecode in %s:%s@%u] " fmt, \
67 __FILE__, __func__, __LINE__, ## args)
69 #define dbg_printf(fmt, args...) \
71 /* do nothing but check printf format */ \
73 printf("[debug bytecode in %s:%s@%u] " fmt, \
74 __FILE__, __func__, __LINE__, ## args); \
78 /* Linked bytecode. Child of struct lttng_bytecode_runtime. */
79 struct bytecode_runtime
{
80 struct lttng_bytecode_runtime p
;
82 size_t data_alloc_len
;
100 LOAD_ROOT_APP_CONTEXT
,
117 OBJECT_TYPE_STRING_SEQUENCE
,
119 OBJECT_TYPE_SEQUENCE
,
127 struct filter_get_index_data
{
128 uint64_t offset
; /* in bytes */
133 enum object_type type
;
134 bool rev_bo
; /* reverse byte order */
138 /* Validation stack */
141 enum object_type object_type
;
142 const struct lttng_event_field
*field
;
143 bool rev_bo
; /* reverse byte order */
146 struct vstack_entry
{
147 enum entry_type type
;
148 struct vstack_load load
;
152 int top
; /* top of stack */
153 struct vstack_entry e
[FILTER_STACK_LEN
];
157 void vstack_init(struct vstack
*stack
)
163 struct vstack_entry
*vstack_ax(struct vstack
*stack
)
165 if (unlikely(stack
->top
< 0))
167 return &stack
->e
[stack
->top
];
171 struct vstack_entry
*vstack_bx(struct vstack
*stack
)
173 if (unlikely(stack
->top
< 1))
175 return &stack
->e
[stack
->top
- 1];
179 int vstack_push(struct vstack
*stack
)
181 if (stack
->top
>= FILTER_STACK_LEN
- 1) {
190 int vstack_pop(struct vstack
*stack
)
192 if (unlikely(stack
->top
< 0)) {
193 ERR("Stack empty\n");
200 /* Execution stack */
201 enum estack_string_literal_type
{
202 ESTACK_STRING_LITERAL_TYPE_NONE
,
203 ESTACK_STRING_LITERAL_TYPE_PLAIN
,
204 ESTACK_STRING_LITERAL_TYPE_STAR_GLOB
,
209 enum object_type object_type
;
212 /* Temporary place-holders for contexts. */
219 * "field" is only needed when nested under a variant, in which
220 * case we cannot specialize the nested operations.
222 const struct lttng_event_field
*field
;
225 struct estack_entry
{
226 enum entry_type type
; /* For dynamic typing. */
234 enum estack_string_literal_type literal_type
;
241 int top
; /* top of stack */
242 struct estack_entry e
[FILTER_STACK_LEN
];
246 * Always use aliased type for ax/bx (top of stack).
247 * When ax/bx are S64, use aliased value.
249 #define estack_ax_v ax
250 #define estack_bx_v bx
251 #define estack_ax_t ax_t
252 #define estack_bx_t bx_t
255 * ax and bx registers can hold either integer, double or string.
257 #define estack_ax(stack, top) \
259 assert((top) > FILTER_STACK_EMPTY); \
263 #define estack_bx(stack, top) \
265 assert((top) > FILTER_STACK_EMPTY + 1); \
266 &(stack)->e[(top) - 1]; \
270 * Currently, only integers (REG_S64) can be pushed into the stack.
272 #define estack_push(stack, top, ax, bx, ax_t, bx_t) \
274 assert((top) < FILTER_STACK_LEN - 1); \
275 (stack)->e[(top) - 1].u.v = (bx); \
276 (stack)->e[(top) - 1].type = (bx_t); \
282 #define estack_pop(stack, top, ax, bx, ax_t, bx_t) \
284 assert((top) > FILTER_STACK_EMPTY); \
287 (bx) = (stack)->e[(top) - 2].u.v; \
288 (bx_t) = (stack)->e[(top) - 2].type; \
292 const char *print_op(enum filter_op op
);
294 int lttng_filter_validate_bytecode(struct bytecode_runtime
*bytecode
);
295 int lttng_filter_specialize_bytecode(const struct lttng_event_desc
*event_desc
,
296 struct bytecode_runtime
*bytecode
);
298 uint64_t lttng_filter_false(void *filter_data
,
299 const char *filter_stack_data
);
300 uint64_t lttng_filter_interpret_bytecode(void *filter_data
,
301 const char *filter_stack_data
);
303 #endif /* _LTTNG_FILTER_H */