Code

frontend: Added basic support for semantic AST analysis.
[sysdb.git] / src / frontend / query.c
index 0ee734c4ee24428d98efa324b4a1237054fad62d..d6bd76a95ebb3c23ba06c291f324215233801ff2 100644 (file)
@@ -114,7 +114,16 @@ sdb_fe_query(sdb_conn_t *conn)
        }
 
        if (node) {
-               status = sdb_fe_exec(conn, node);
+               if (sdb_fe_analyze(node)) {
+                       char query[conn->cmd_len + 1];
+                       strncpy(query, sdb_strbuf_string(conn->buf), conn->cmd_len);
+                       query[sizeof(query) - 1] = '\0';
+                       sdb_log(SDB_LOG_ERR, "frontend: Failed to verify query '%s'",
+                                       query);
+                       status = -1;
+               }
+               else
+                       status = sdb_fe_exec(conn, node);
                sdb_object_deref(SDB_OBJ(node));
        }
 
@@ -125,12 +134,25 @@ sdb_fe_query(sdb_conn_t *conn)
 int
 sdb_fe_fetch(sdb_conn_t *conn)
 {
-       char hostname[conn->cmd_len + 1];
+       char name[conn->cmd_len + 1];
+       int type;
+
        if ((! conn) || (conn->cmd != CONNECTION_FETCH))
                return -1;
-       strncpy(hostname, sdb_strbuf_string(conn->buf), conn->cmd_len);
-       hostname[sizeof(hostname) - 1] = '\0';
-       return sdb_fe_exec_fetch(conn, hostname, /* filter = */ NULL);
+
+       if (conn->cmd_len < sizeof(type)) {
+               sdb_log(SDB_LOG_ERR, "frontend: Invalid command length %d for "
+                               "FETCH command", conn->cmd_len);
+               sdb_strbuf_sprintf(conn->errbuf, "FETCH: Invalid command length %d",
+                               conn->cmd_len);
+               return -1;
+       }
+
+       type = sdb_proto_get_int(conn->buf, 0);
+       strncpy(name, sdb_strbuf_string(conn->buf) + sizeof(type),
+                       conn->cmd_len - sizeof(type));
+       name[sizeof(name) - 1] = '\0';
+       return sdb_fe_exec_fetch(conn, type, name, /* filter = */ NULL);
 } /* sdb_fe_fetch */
 
 int
@@ -157,23 +179,57 @@ int
 sdb_fe_lookup(sdb_conn_t *conn)
 {
        sdb_store_matcher_t *m;
+       const char *matcher;
+       size_t matcher_len;
+
+       uint32_t type;
        int status;
 
+       conn_matcher_t m_node = {
+               { SDB_OBJECT_INIT, CONNECTION_MATCHER }, NULL
+       };
+       conn_lookup_t node = {
+               { SDB_OBJECT_INIT, CONNECTION_LOOKUP },
+               -1, &m_node, NULL
+       };
+
        if ((! conn) || (conn->cmd != CONNECTION_LOOKUP))
                return -1;
 
-       m = sdb_fe_parse_matcher(sdb_strbuf_string(conn->buf),
-                       (int)conn->cmd_len);
+       if (conn->cmd_len < sizeof(type)) {
+               sdb_log(SDB_LOG_ERR, "frontend: Invalid command length %d for "
+                               "LOOKUP command", conn->cmd_len);
+               sdb_strbuf_sprintf(conn->errbuf, "LOOKUP: Invalid command length %d",
+                               conn->cmd_len);
+               return -1;
+       }
+       type = sdb_proto_get_int(conn->buf, 0);
+
+       matcher = sdb_strbuf_string(conn->buf) + sizeof(type);
+       matcher_len = conn->cmd_len - sizeof(type);
+       m = sdb_fe_parse_matcher(matcher, (int)matcher_len);
        if (! m) {
-               char expr[conn->cmd_len + 1];
-               strncpy(expr, sdb_strbuf_string(conn->buf), conn->cmd_len);
+               char expr[matcher_len + 1];
+               strncpy(expr, matcher, sizeof(expr));
                expr[sizeof(expr) - 1] = '\0';
                sdb_log(SDB_LOG_ERR, "frontend: Failed to parse "
                                "lookup condition '%s'", expr);
                return -1;
        }
 
-       status = sdb_fe_exec_lookup(conn, m, /* filter = */ NULL);
+       node.type = type;
+       m_node.matcher = m;
+
+       if (sdb_fe_analyze(SDB_CONN_NODE(&node))) {
+               char expr[matcher_len + 1];
+               strncpy(expr, matcher, sizeof(expr));
+               expr[sizeof(expr) - 1] = '\0';
+               sdb_log(SDB_LOG_ERR, "frontend: Failed to verify "
+                               "lookup condition '%s'", expr);
+               status = -1;
+       }
+       else
+               status = sdb_fe_exec_lookup(conn, type, m, /* filter = */ NULL);
        sdb_object_deref(SDB_OBJ(m));
        return status;
 } /* sdb_fe_lookup */
@@ -190,7 +246,8 @@ sdb_fe_exec(sdb_conn_t *conn, sdb_conn_node_t *node)
                case CONNECTION_FETCH:
                        if (CONN_FETCH(node)->filter)
                                filter = CONN_FETCH(node)->filter->matcher;
-                       return sdb_fe_exec_fetch(conn, CONN_FETCH(node)->name, filter);
+                       return sdb_fe_exec_fetch(conn, CONN_FETCH(node)->type,
+                                       CONN_FETCH(node)->name, filter);
                case CONNECTION_LIST:
                        if (CONN_LIST(node)->filter)
                                filter = CONN_LIST(node)->filter->matcher;
@@ -200,7 +257,8 @@ sdb_fe_exec(sdb_conn_t *conn, sdb_conn_node_t *node)
                                m = CONN_LOOKUP(node)->matcher->matcher;
                        if (CONN_LOOKUP(node)->filter)
                                filter = CONN_LOOKUP(node)->filter->matcher;
-                       return sdb_fe_exec_lookup(conn, m, filter);
+                       return sdb_fe_exec_lookup(conn,
+                                       CONN_LOOKUP(node)->type, m, filter);
                case CONNECTION_TIMESERIES:
                        return sdb_fe_exec_timeseries(conn,
                                        CONN_TS(node)->hostname, CONN_TS(node)->metric,
@@ -214,13 +272,22 @@ sdb_fe_exec(sdb_conn_t *conn, sdb_conn_node_t *node)
 } /* sdb_fe_exec */
 
 int
-sdb_fe_exec_fetch(sdb_conn_t *conn, const char *name,
+sdb_fe_exec_fetch(sdb_conn_t *conn, int type, const char *name,
                sdb_store_matcher_t *filter)
 {
        sdb_strbuf_t *buf;
        sdb_store_obj_t *host;
        uint32_t res_type = htonl(CONNECTION_FETCH);
 
+       /* XXX: support other types */
+       if (type != SDB_HOST) {
+               sdb_log(SDB_LOG_ERR, "frontend: Invalid object type %d "
+                               "in FETCH command", type);
+               sdb_strbuf_sprintf(conn->errbuf,
+                               "FETCH: Invalid object type %d", type);
+               return -1;
+       }
+
        host = sdb_store_get_host(name);
        if (! host) {
                sdb_log(SDB_LOG_DEBUG, "frontend: Failed to fetch host '%s': "
@@ -271,9 +338,11 @@ sdb_fe_exec_list(sdb_conn_t *conn, int type, sdb_store_matcher_t *filter)
        if (type == SDB_HOST)
                flags = SDB_SKIP_ALL;
        else if (type == SDB_SERVICE)
-               flags = SDB_SKIP_ALL & (~SDB_SKIP_SERVICES);
+               flags = (SDB_SKIP_ALL & (~SDB_SKIP_SERVICES))
+                       | SDB_SKIP_EMPTY_SERVICES;
        else if (type == SDB_METRIC)
-               flags = SDB_SKIP_ALL & (~SDB_SKIP_METRICS);
+               flags = (SDB_SKIP_ALL & (~SDB_SKIP_METRICS))
+                       | SDB_SKIP_EMPTY_METRICS;
        else {
                sdb_log(SDB_LOG_ERR, "frontend: Invalid object type %d "
                                "for LIST command", type);
@@ -310,12 +379,21 @@ sdb_fe_exec_list(sdb_conn_t *conn, int type, sdb_store_matcher_t *filter)
 } /* sdb_fe_exec_list */
 
 int
-sdb_fe_exec_lookup(sdb_conn_t *conn, sdb_store_matcher_t *m,
-               sdb_store_matcher_t *filter)
+sdb_fe_exec_lookup(sdb_conn_t *conn, int type,
+               sdb_store_matcher_t *m, sdb_store_matcher_t *filter)
 {
        tojson_data_t data = { NULL, filter, 0 };
        uint32_t res_type = htonl(CONNECTION_LOOKUP);
 
+       /* XXX: support other types */
+       if (type != SDB_HOST) {
+               sdb_log(SDB_LOG_ERR, "frontend: Invalid object type %d "
+                               "in LOOKUP command", type);
+               sdb_strbuf_sprintf(conn->errbuf,
+                               "LOOKUP: Invalid object type %d", type);
+               return -1;
+       }
+
        data.buf = sdb_strbuf_create(1024);
        if (! data.buf) {
                char errbuf[1024];