X-Git-Url: https://git.liburcu.org/?a=blobdiff_plain;f=ltt%2Fbranches%2Fpoly%2Flttv%2Flttv%2Ffilter.h;h=827974ccd4ac8f58118cd106c665238325273245;hb=9ab5ebd7fd50bde3ebbc39a4705acce09971f34b;hp=99f3c403a2422f7f9e44b780d3610f89e494a2e5;hpb=0769c82fae5a39a6965f63439671ecca48b2d9b5;p=lttv.git diff --git a/ltt/branches/poly/lttv/lttv/filter.h b/ltt/branches/poly/lttv/lttv/filter.h index 99f3c403..827974cc 100644 --- a/ltt/branches/poly/lttv/lttv/filter.h +++ b/ltt/branches/poly/lttv/lttv/filter.h @@ -22,13 +22,13 @@ #include #include #include +#include #include #include -#define AVERAGE_EXPRESSION_LENGTH 6 -#define MAX_FACTOR 1.5 -/* A filter expression consists in nested AND, OR and NOT expressions +/* + A filter expression consists in nested AND, OR and NOT expressions involving boolean relation (>, >=, =, !=, <, <=) between event fields and specific values. It is compiled into an efficient data structure which is used in functions to check if a given event or tracefile satisfies the @@ -49,92 +49,283 @@ fieldComponent = name [ "[" integer "]" ] value = integer | double | string - */ -static GQuark +/** + * @enum LttvStructType + * @brief The lttv structures + * + * the LttvStructType enumerates + * the possible structures for the + * lttv core filter + */ +enum _LttvStructType { LTTV_FILTER_TRACE, LTTV_FILTER_TRACESET, LTTV_FILTER_TRACEFILE, - LTTV_FILTER_STATE, - LTTV_FILTER_EVENT; + LTTV_FILTER_EVENT, + LTTV_FILTER_STATE +} LttvStructType; /** - * @enum lttv_expression_op + * @enum LttvFieldType + * @brief Possible fields for the structures + * + * the LttvFieldType enum consists on + * all the hardcoded structures and + * their appropriate fields on which + * filters can be applied. */ -typedef enum _lttv_expression_op -{ - LTTV_FIELD_EQ, /** equal */ - LTTV_FIELD_NE, /** not equal */ - LTTV_FIELD_LT, /** lower than */ - LTTV_FIELD_LE, /** lower or equal */ - LTTV_FIELD_GT, /** greater than */ - LTTV_FIELD_GE /** greater or equal */ -} lttv_expression_op; - -typedef enum _lttv_expression_type +enum _LttvFieldType { + LTTV_FILTER_TRACE_NAME, /** trace.name (char*) */ + LTTV_FILTER_TRACEFILE_NAME, /** tracefile.name (char*) */ + LTTV_FILTER_STATE_PID, /** state.pid (guint) */ + LTTV_FILTER_STATE_PPID, /** state.ppid (guint) */ + LTTV_FILTER_STATE_CT, /** state.creation_time (double) */ + LTTV_FILTER_STATE_IT, /** state.insertion_time (double) */ + LTTV_FILTER_STATE_P_NAME, /** state.process_name (char*) */ + LTTV_FILTER_STATE_EX_MODE, /** state.execution_mode (LttvExecutionMode) */ + LTTV_FILTER_STATE_EX_SUBMODE, /** state.execution_submode (LttvExecutionSubmode) */ + LTTV_FILTER_STATE_P_STATUS, /** state.process_status (LttvProcessStatus) */ + LTTV_FILTER_STATE_CPU, /** state.cpu (?last_cpu?) */ + LTTV_FILTER_EVENT_NAME, /** event.name (char*) */ + LTTV_FILTER_EVENT_CATEGORY, /** FIXME: not implemented */ + LTTV_FILTER_EVENT_TIME, /** event.time (double) */ + LTTV_FILTER_EVENT_TSC, /** event.tsc (double) */ + LTTV_FILTER_EVENT_FIELD, + LTTV_FILTER_UNDEFINED /** undefined field */ +} LttvFieldType; + +/** + * @enum LttvExpressionOp + * @brief Contains possible operators + * + * This enumeration defines the + * possible operator used to compare + * right and left member in simple + * expression + */ +typedef enum _LttvExpressionOp { - LTTV_EXPRESSION, - LTTV_SIMPLE_EXPRESSION -} lttv_expression_type; + LTTV_FIELD_EQ, /** equal */ + LTTV_FIELD_NE, /** not equal */ + LTTV_FIELD_LT, /** lower than */ + LTTV_FIELD_LE, /** lower or equal */ + LTTV_FIELD_GT, /** greater than */ + LTTV_FIELD_GE /** greater or equal */ +} LttvExpressionOp; -typedef struct _lttv_simple_expression -{ - lttv_expression_op op; - char *field_name; - char *value; -} lttv_simple_expression; +/** + * @union LttvFieldValue + * + * @brief Contains possible field values + * This particular union defines the + * possible set of values taken by the + * right member of a simple expression. + * It is used for comparison whithin the + * 'operators' functions + */ +typedef union _LttvFieldValue { + guint64 v_uint64; + guint32 v_uint32; + guint16 v_uint16; + double v_double; + char* v_string; +} LttvFieldValue; +/** + * @enum LttvTreeElement + * @brief element types for the tree nodes + * + * LttvTreeElement defines the possible + * types of nodes which build the LttvFilterTree. + */ +typedef enum _LttvTreeElement { + LTTV_TREE_IDLE, /** this node does nothing */ + LTTV_TREE_NODE, /** this node contains a logical operator */ + LTTV_TREE_LEAF /** this node is a leaf and contains a simple expression */ +} LttvTreeElement; -//typedef union _tmp { -// struct lttv_expression *e; -// lttv_field_relation *se; -//} tmp; -/* -typedef struct _lttv_expression -{ - gboolean or; - gboolean not; - gboolean and; - gboolean xor; - gboolean simple_expression; -// tmp e; -} lttv_expression; -*/ -typedef union _lttv_expression { - lttv_simple_expression se; - -} lttv_expression; +/** + * @enum LttvSimpleExpression + * @brief simple expression structure + * + * An LttvSimpleExpression is the base + * of all filtering operations. It also + * populates the leaves of the + * LttvFilterTree. Each expression + * consists basically in a structure + * field, an operator and a specific + * value. + */ +typedef struct _LttvSimpleExpression +{ + gint field; /** left member of simple expression */ + gint offset; /** offset used for dynamic fields */ + gboolean (*op)(gpointer,LttvFieldValue); /** operator of simple expression */ +// char *value; + LttvFieldValue value; /** right member of simple expression */ +} LttvSimpleExpression; -typedef struct _lttv_filter_tree { - lttv_expression* node; - struct lttv_filter_tree* r_child; - struct lttv_filter_tree* l_child; -} lttv_filter_tree; +/** + * @enum LttvLogicalOp + * @brief logical operators + * + * Contains the possible values taken + * by logical operator used to link + * simple expression. Values are + * AND, OR, XOR or NOT + */ +typedef enum _LttvLogicalOp { + LTTV_LOGICAL_OR = 1, /** OR (1) */ + LTTV_LOGICAL_AND = 1<<1, /** AND (2) */ + LTTV_LOGICAL_NOT = 1<<2, /** NOT (4) */ + LTTV_LOGICAL_XOR = 1<<3 /** XOR (8) */ +} LttvLogicalOp; + +/** + * @struct LttvFilterTree + * The filtering tree is used to represent the + * expression string in its entire hierarchy + * composed of simple expressions and logical + * operators + */ +typedef struct _LttvFilterTree { + int node; /** value of LttvLogicalOp */ + LttvTreeElement left; + LttvTreeElement right; + union { + struct LttvFilterTree* t; + LttvSimpleExpression* leaf; + } l_child; + union { + struct LttvFilterTree* t; + LttvSimpleExpression* leaf; + } r_child; +} LttvFilterTree; /** * @struct lttv_filter - * ( will later contain a binary tree of filtering options ) + * Contains a binary tree of filtering options along + * with the expression itself. + */ +typedef struct _LttvFilter { + char *expression; + LttvFilterTree *head; +} LttvFilter; + +/* + * General Data Handling functions */ -typedef struct _lttv_filter { - lttv_filter_tree* tree; -} lttv_filter; -gboolean parse_field_path(GList* fp); +void lttv_filter_tree_add_node(GPtrArray* stack, LttvFilterTree* subtree, LttvLogicalOp op); + +/* + * Simple Expression + */ +LttvSimpleExpression* lttv_simple_expression_new(); -gboolean parse_simple_expression(GString* expression); +gboolean lttv_simple_expression_add_field(GPtrArray* fp, LttvSimpleExpression* se); -/* Compile the filter expression into an efficient data structure */ -lttv_filter *lttv_filter_new(char *expression, LttvTraceState *tfs); +gboolean lttv_simple_expression_assign_operator(LttvSimpleExpression* se, LttvExpressionOp op); +gboolean lttv_simple_expression_assign_value(LttvSimpleExpression* se, char* value); + +void lttv_simple_expression_destroy(LttvSimpleExpression* se); + + +/* + * Logical operators functions + */ + +gboolean lttv_apply_op_eq_uint64(gpointer v1, LttvFieldValue v2); +gboolean lttv_apply_op_eq_uint32(gpointer v1, LttvFieldValue v2); +gboolean lttv_apply_op_eq_uint16(gpointer v1, LttvFieldValue v2); +gboolean lttv_apply_op_eq_double(gpointer v1, LttvFieldValue v2); +gboolean lttv_apply_op_eq_string(gpointer v1, LttvFieldValue v2); + +gboolean lttv_apply_op_ne_uint64(gpointer v1, LttvFieldValue v2); +gboolean lttv_apply_op_ne_uint32(gpointer v1, LttvFieldValue v2); +gboolean lttv_apply_op_ne_uint16(gpointer v1, LttvFieldValue v2); +gboolean lttv_apply_op_ne_double(gpointer v1, LttvFieldValue v2); +gboolean lttv_apply_op_ne_string(gpointer v1, LttvFieldValue v2); + +gboolean lttv_apply_op_lt_uint64(gpointer v1, LttvFieldValue v2); +gboolean lttv_apply_op_lt_uint32(gpointer v1, LttvFieldValue v2); +gboolean lttv_apply_op_lt_uint16(gpointer v1, LttvFieldValue v2); +gboolean lttv_apply_op_lt_double(gpointer v1, LttvFieldValue v2); + +gboolean lttv_apply_op_le_uint64(gpointer v1, LttvFieldValue v2); +gboolean lttv_apply_op_le_uint32(gpointer v1, LttvFieldValue v2); +gboolean lttv_apply_op_le_uint16(gpointer v1, LttvFieldValue v2); +gboolean lttv_apply_op_le_double(gpointer v1, LttvFieldValue v2); + +gboolean lttv_apply_op_gt_uint64(gpointer v1, LttvFieldValue v2); +gboolean lttv_apply_op_gt_uint32(gpointer v1, LttvFieldValue v2); +gboolean lttv_apply_op_gt_uint16(gpointer v1, LttvFieldValue v2); +gboolean lttv_apply_op_gt_double(gpointer v1, LttvFieldValue v2); + +gboolean lttv_apply_op_ge_uint64(gpointer v1, LttvFieldValue v2); +gboolean lttv_apply_op_ge_uint32(gpointer v1, LttvFieldValue v2); +gboolean lttv_apply_op_ge_uint16(gpointer v1, LttvFieldValue v2); +gboolean lttv_apply_op_ge_double(gpointer v1, LttvFieldValue v2); + +/* + * Cloning + */ + +LttvFilterTree* lttv_filter_tree_clone(LttvFilterTree* tree); + +LttvFilter* lttv_filter_clone(LttvFilter* filter); + +/* + * LttvFilter + */ +LttvFilter *lttv_filter_new(); + +gboolean lttv_filter_update(LttvFilter* filter); + +void lttv_filter_destroy(LttvFilter* filter); + +gboolean lttv_filter_append_expression(LttvFilter* filter, char *expression); + +void lttv_filter_clear_expression(LttvFilter* filter); + +/* + * LttvFilterTree + */ +LttvFilterTree* lttv_filter_tree_new(); + +void lttv_filter_tree_destroy(LttvFilterTree* tree); + +gboolean lttv_filter_tree_parse( + LttvFilterTree* t, + LttEvent* event, + LttTracefile* tracefile, + LttTrace* trace, + LttvProcessState* state); + +/* + * Hook functions + * + * These hook functions will be the one called when filtering + * an event, a trace, a state, etc. + */ /* Check if the tracefile or event satisfies the filter. The arguments are declared as void * to allow these functions to be used as hooks. */ -gboolean lttv_filter_tracefile(lttv_filter *filter, LttTracefile *tracefile); +gboolean lttv_filter_tracefile(LttvFilter *filter, LttTracefile *tracefile); -gboolean lttv_filter_event(lttv_filter *filter, LttEvent *event); +gboolean lttv_filter_tracestate(LttvFilter *filter, LttvTraceState *tracestate); + +gboolean lttv_filter_event(LttvFilter *filter, LttEvent *event); + +/* + * Debug functions + */ +void lttv_print_tree(LttvFilterTree* t); #endif // FILTER_H