Tarantool development patches archive
 help / color / mirror / Atom feed
From: Konstantin Osipov via Tarantool-patches <tarantool-patches@dev.tarantool.org>
To: imeevma@tarantool.org
Cc: v.shpilevoy@tarantool.org, tarantool-patches@dev.tarantool.org
Subject: Re: [Tarantool-patches] [PATCH v1 1/1] sql: introduce operator []
Date: Fri, 19 Nov 2021 20:25:02 +0300	[thread overview]
Message-ID: <20211119172502.GA136743@starling> (raw)
In-Reply-To: <a75078546981e6d23b540988536030cc9fcbf09f.1637333034.git.imeevma@gmail.com>

* Mergen Imeev via Tarantool-patches <tarantool-patches@dev.tarantool.org> [21/11/19 17:49]:
> This patch introduces operator [] that allows to get elements from MAP,
> ARRAY and ANY values.
> 
> Part of #4762
> Part of #4763
> 

Have you benchmarked this? This is going to be a very hot path.
There is already tuple field access in the box by path, why not reuse it?



> @TarantoolBot document
> Title: Operator [] in SQL
> 
> Operator [] allows to get elements of MAP, ARRAY and ANY values.
> 
> Rules for operator []:
> 1) operator applied to the value to the left of `[` ("left-value");
> 2) if left-value is not MAP, ARRAY or ANY, an error is thrown;
> 3) if there is no values between `[` and `]`, left-value is returned as
>    the result;
> 4) if there is one value between `[` and `]` ("right-value"), the result
>    is:
>   a) if left-value is ANY and its primitive type is not MAP or ARRAY,
>      the result is NULL;
>   b) if the type or primitive type of left-value is ARRAY, and
>      right-value is INTEGER and its value is greater than 0 and not
>      greater than the number of elements in ARRAY, the result will be a
>      value with right-value as the index, otherwise the result will be
>      NULL;
>   c) if the type or primitive type of left-value is MAP and it contains
>      right-value as one of its keys, the result is the value with
>      right-value as the key in left-value, otherwise the result is NULL;
> 5) if there is more than one value between `[` and `]` than
>    left-value[a, b, c, ...] == left-value[a][b][c]... except it will
>    return NULL, if any of the `[]` operators return NULL.
> 
> Examples:
> ```
> tarantool> box.execute([[SELECT {'a' : 12, 3 : 34}[3];]])
> ---
> - metadata:
>   - name: COLUMN_1
>     type: any
>   rows:
>   - [34]
> ...
> ```
> 
> ```
> tarantool> box.execute([[SELECT [12, [4, 5, 6], 34][2, 2];]])
> ---
> - metadata:
>   - name: COLUMN_1
>     type: any
>   rows:
>   - [5]
> ...
> ```
> ---
> https://github.com/tarantool/tarantool/issues/4762
> https://github.com/tarantool/tarantool/issues/4763
> https://github.com/tarantool/tarantool/tree/imeevma/gh-4763-syntax-for-map-array
> 
>  extra/addopcodes.sh           |   1 +
>  src/box/sql/expr.c            |  28 +++++
>  src/box/sql/mem.c             |  59 +++++++++++
>  src/box/sql/mem.h             |  18 ++++
>  src/box/sql/parse.y           |  17 ++++
>  src/box/sql/vdbe.c            |  33 ++++++
>  test/sql-tap/engine.cfg       |   1 +
>  test/sql-tap/msgpack.test.lua | 186 ++++++++++++++++++++++++++++++++++
>  8 files changed, 343 insertions(+)
>  create mode 100755 test/sql-tap/msgpack.test.lua
> 
> diff --git a/extra/addopcodes.sh b/extra/addopcodes.sh
> index 3f8cfdf02..51acfe38e 100755
> --- a/extra/addopcodes.sh
> +++ b/extra/addopcodes.sh
> @@ -53,6 +53,7 @@ extras="            \
>      LINEFEED        \
>      SPACE           \
>      ILLEGAL         \
> +    GETITEM         \
>  "
>  
>  IFS=" "
> diff --git a/src/box/sql/expr.c b/src/box/sql/expr.c
> index 789d8906c..abf47b8ef 100644
> --- a/src/box/sql/expr.c
> +++ b/src/box/sql/expr.c
> @@ -3461,6 +3461,30 @@ expr_code_map(struct Parse *parser, struct Expr *expr, int reg)
>  	sqlVdbeAddOp3(vdbe, OP_Map, count, reg, values_reg);
>  }
>  
> +static void
> +expr_code_getitem(struct Parse *parser, struct Expr *expr, int reg)
> +{
> +	struct Vdbe *vdbe = parser->pVdbe;
> +	struct ExprList *list = expr->x.pList;
> +	assert(list != NULL);
> +	int count = list->nExpr;
> +	struct Expr *value = list->a[count - 1].pExpr;
> +
> +	enum field_type type = value->op != TK_NULL ? sql_expr_type(value) :
> +			       field_type_MAX;
> +	if (value->op != TK_VARIABLE && type != FIELD_TYPE_MAP &&
> +	    type != FIELD_TYPE_ARRAY && type != FIELD_TYPE_ANY) {
> +		diag_set(ClientError, ER_SQL_PARSER_GENERIC, "Selecting is "
> +			 "only possible from any, map and array values");
> +		parser->is_aborted = true;
> +		return;
> +	}
> +	int reg_operands = parser->nMem + 1;
> +	parser->nMem += count;
> +	sqlExprCodeExprList(parser, list, reg_operands, 0, SQL_ECEL_FACTOR);
> +	sqlVdbeAddOp3(vdbe, OP_Getitem, count, reg, reg_operands);
> +}
> +
>  /*
>   * Erase column-cache entry number i
>   */
> @@ -3920,6 +3944,10 @@ sqlExprCodeTarget(Parse * pParse, Expr * pExpr, int target)
>  		expr_code_map(pParse, pExpr, target);
>  		return target;
>  
> +	case TK_GETITEM:
> +		expr_code_getitem(pParse, pExpr, target);
> +		return target;
> +
>  	case TK_LT:
>  	case TK_LE:
>  	case TK_GT:
> diff --git a/src/box/sql/mem.c b/src/box/sql/mem.c
> index cfb88bffe..195dfde2b 100644
> --- a/src/box/sql/mem.c
> +++ b/src/box/sql/mem.c
> @@ -3107,6 +3107,65 @@ mem_encode_map(const struct Mem *mems, uint32_t count, uint32_t *size,
>  	return map;
>  }
>  
> +static int
> +mp_getitem(const char **data, const struct Mem *key)
> +{
> +	if ((mp_typeof(**data) != MP_ARRAY && mp_typeof(**data) != MP_MAP)) {
> +		*data = NULL;
> +		return 0;
> +	}
> +	const char *end = *data;
> +	if (mp_typeof(**data) == MP_ARRAY) {
> +		uint32_t size = mp_decode_array(data);
> +		if (!mem_is_uint(key) || key->u.u == 0 || key->u.u > size) {
> +			*data = NULL;
> +			return 0;
> +		}
> +		for (uint32_t i = 0; i < key->u.u - 1; ++i)
> +			mp_next(data);
> +		return 0;
> +	}
> +	struct Mem mem;
> +	mem_create(&mem);
> +	uint32_t size = mp_decode_map(data);
> +	for (uint32_t i = 0; i < size; ++i) {
> +		uint32_t len;
> +		if (mem_from_mp_ephemeral(&mem, *data, &len) != 0)
> +			return -1;
> +		*data += len;
> +		assert(!mem_is_map(&mem) && !mem_is_array(&mem));
> +		if (mem_cmp_scalar(&mem, key, NULL) == 0)
> +			return 0;
> +		mp_next(data);
> +	}
> +	mp_next(&end);
> +	if (*data == end)
> +		*data = NULL;
> +	return 0;
> +}
> +
> +int
> +mem_getitem(const struct Mem *mem, const struct Mem *keys, int count,
> +	    struct Mem *res)
> +{
> +	assert(count > 0);
> +	assert(mem_is_map(mem) || mem_is_array(mem));
> +	const char *data = mem->z;
> +	for (int i = 0; i < count && data != NULL; ++i) {
> +		if (mp_getitem(&data, &keys[i]) != 0)
> +			return -1;
> +	}
> +	if (data == NULL) {
> +		mem_set_null(res);
> +		return 0;
> +	}
> +	uint32_t len;
> +	if (mem_from_mp(res, data, &len) != 0)
> +		return -1;
> +	res->flags |= MEM_Any;
> +	return 0;
> +}
> +
>  /**
>   * Allocate a sequence of initialized vdbe memory registers
>   * on region.
> diff --git a/src/box/sql/mem.h b/src/box/sql/mem.h
> index f442d8673..90eb3b137 100644
> --- a/src/box/sql/mem.h
> +++ b/src/box/sql/mem.h
> @@ -135,6 +135,19 @@ mem_is_num(const struct Mem *mem)
>  			MEM_TYPE_DEC)) != 0;
>  }
>  
> +static inline bool
> +mem_is_any(const struct Mem *mem)
> +{
> +	return (mem->flags & MEM_Any) != 0;
> +}
> +
> +static inline bool
> +mem_is_doc(const struct Mem *mem)
> +{
> +	return (mem->type & (MEM_TYPE_MAP | MEM_TYPE_ARRAY)) != 0 ||
> +	       (mem->flags & MEM_Any) != 0;
> +}
> +
>  static inline bool
>  mem_is_metatype(const struct Mem *mem)
>  {
> @@ -884,3 +897,8 @@ mem_encode_array(const struct Mem *mems, uint32_t count, uint32_t *size,
>  char *
>  mem_encode_map(const struct Mem *mems, uint32_t count, uint32_t *size,
>  	       struct region *region);
> +
> +/** Return a value from ANY, MAP, or ARRAY MEM using the MEM array as keys. */
> +int
> +mem_getitem(const struct Mem *mem, const struct Mem *keys, int count,
> +	    struct Mem *res);
> diff --git a/src/box/sql/parse.y b/src/box/sql/parse.y
> index db7fef71a..30922b7f6 100644
> --- a/src/box/sql/parse.y
> +++ b/src/box/sql/parse.y
> @@ -155,6 +155,7 @@ cmdx ::= cmd.
>  %left CONCAT.
>  %left COLLATE.
>  %right BITNOT.
> +%left LB.
>  
>  
>  ///////////////////// Begin and end transactions. ////////////////////////////
> @@ -1126,6 +1127,22 @@ expr(A) ::= CAST(X) LP expr(E) AS typedef(T) RP(Y). {
>    sqlExprAttachSubtrees(pParse->db, A.pExpr, E.pExpr, 0);
>  }
>  
> +expr(A) ::= expr(X) LB exprlist(Y) RB(E). {
> +  struct Expr *expr = sql_expr_new_dequoted(pParse->db, TK_GETITEM, NULL);
> +  if (expr == NULL) {
> +    sql_expr_list_delete(pParse->db, Y);
> +    pParse->is_aborted = true;
> +    return;
> +  }
> +  Y = sql_expr_list_append(pParse->db, Y, X.pExpr);
> +  expr->x.pList = Y;
> +  expr->type = FIELD_TYPE_ANY;
> +  sqlExprSetHeightAndFlags(pParse, expr);
> +  A.pExpr = expr;
> +  A.zStart = X.zStart;
> +  A.zEnd = &E.z[E.n];
> +}
> +
>  expr(A) ::= LB(X) exprlist(Y) RB(E). {
>    struct Expr *expr = sql_expr_new_dequoted(pParse->db, TK_ARRAY, NULL);
>    if (expr == NULL) {
> diff --git a/src/box/sql/vdbe.c b/src/box/sql/vdbe.c
> index 86de3f98a..6b1810508 100644
> --- a/src/box/sql/vdbe.c
> +++ b/src/box/sql/vdbe.c
> @@ -1458,6 +1458,39 @@ case OP_Map: {
>  	break;
>  }
>  
> +/**
> + * Opcode: Getitem P1 P2 P3 * *
> + * Synopsis: r[P2] = value[P3@(P1 - 1)]
> + *
> + * Get an element from the value in register P3[P1 - 1] using values in
> + * registers P3, ... P3 + (P1 - 2).
> + */
> +case OP_Getitem: {
> +	int count = pOp->p1 - 1;
> +	struct Mem *value = &aMem[pOp->p3 + count];
> +	if (!mem_is_doc(value) ) {
> +		diag_set(ClientError, ER_SQL_TYPE_MISMATCH, mem_str(value),
> +			 "any, map or array");
> +		goto abort_due_to_error;
> +	}
> +
> +	pOut = &aMem[pOp->p2];
> +	if (count == 0) {
> +		if (mem_copy(pOut, value) != 0)
> +			goto abort_due_to_error;
> +		break;
> +	}
> +	if (!mem_is_map(value) && !mem_is_array(value)) {
> +		mem_set_null(pOut);
> +		break;
> +	}
> +
> +	struct Mem *keys = &aMem[pOp->p3];
> +	if (mem_getitem(value, keys, count, pOut) != 0)
> +		goto abort_due_to_error;
> +	break;
> +}
> +
>  /* Opcode: Eq P1 P2 P3 P4 P5
>   * Synopsis: IF r[P3]==r[P1]
>   *
> diff --git a/test/sql-tap/engine.cfg b/test/sql-tap/engine.cfg
> index 528212ab6..52ce5a1f6 100644
> --- a/test/sql-tap/engine.cfg
> +++ b/test/sql-tap/engine.cfg
> @@ -35,6 +35,7 @@
>      "built-in-functions.test.lua": {
>          "memtx": {"engine": "memtx"}
>      },
> +    "msgpack.test.lua": {},
>      "gh-6157-unnecessary-free-on-string.test.lua": {},
>      "gh-6376-wrong-double-to-dec-cmp.test.lua": {},
>      "gh-4077-iproto-execute-no-bind.test.lua": {},
> diff --git a/test/sql-tap/msgpack.test.lua b/test/sql-tap/msgpack.test.lua
> new file mode 100755
> index 000000000..7872426a5
> --- /dev/null
> +++ b/test/sql-tap/msgpack.test.lua
> @@ -0,0 +1,186 @@
> +#!/usr/bin/env tarantool
> +local test = require("sqltester")
> +test:plan(22)
> +
> +-- Make sure that it is possible to get elements from MAP, ARRAY and ANY.
> +test:do_execsql_test(
> +    "msgpack-1.1",
> +    [[
> +        SELECT [123, 234, 356, 467][2];
> +    ]], {
> +        234
> +    })
> +
> +test:do_execsql_test(
> +    "msgpack-1.2",
> +    [[
> +        SELECT CAST([123, 234, 356, 467] AS ANY)[3];
> +    ]], {
> +        356
> +    })
> +
> +test:do_execsql_test(
> +    "msgpack-1.3",
> +    [[
> +        SELECT CAST([123, 234, 356, 467] AS ANY)['3'];
> +    ]], {
> +        ""
> +    })
> +
> +test:do_execsql_test(
> +    "msgpack-1.4",
> +    [[
> +        SELECT {'one' : 123, 3 : 'two', '123' : true}[3];
> +    ]], {
> +        'two'
> +    })
> +
> +test:do_execsql_test(
> +    "msgpack-1.5",
> +    [[
> +        SELECT {'one' : 123, 3 : 'two', '123' : true}['one'];
> +    ]], {
> +        123
> +    })
> +
> +test:do_execsql_test(
> +    "msgpack-1.6",
> +    [[
> +        SELECT {'one' : 123, 3 : 'two', '123' : true}['three'];
> +    ]], {
> +        ""
> +    })
> +
> +test:do_execsql_test(
> +    "msgpack-1.7",
> +    [[
> +        SELECT CAST({'one' : 123, 3 : 'two', '123' : true} AS ANY)['123'];
> +    ]], {
> +        true
> +    })
> +
> +test:do_execsql_test(
> +    "msgpack-1.8",
> +    [[
> +        SELECT CAST(1 AS ANY)[2];
> +    ]], {
> +        ""
> +    })
> +
> +test:do_execsql_test(
> +    "msgpack-1.9",
> +    [[
> +        SELECT CAST('1' AS ANY)['asd'];
> +    ]], {
> +        ""
> +    })
> +
> +test:do_execsql_test(
> +    "msgpack-1.10",
> +    [[
> +        SELECT CAST('1' AS ANY)[];
> +    ]], {
> +        '1'
> +    })
> +
> +--
> +-- Make sure that operator [] cannot get elements from values of types other
> +-- than MAP, ARRAY and ANY.
> +--
> +test:do_catchsql_test(
> +    "msgpack-2.1",
> +    [[
> +        SELECT 1[];
> +    ]], {
> +        1, "Selecting is only possible from any, map and array values"
> +    })
> +
> +test:do_catchsql_test(
> +    "msgpack-2.2",
> +    [[
> +        SELECT -1[];
> +    ]], {
> +        1, "Selecting is only possible from any, map and array values"
> +    })
> +
> +test:do_catchsql_test(
> +    "msgpack-2.3",
> +    [[
> +        SELECT 1.1[];
> +    ]], {
> +        1, "Selecting is only possible from any, map and array values"
> +    })
> +
> +test:do_catchsql_test(
> +    "msgpack-2.4",
> +    [[
> +        SELECT 1.2e0[];
> +    ]], {
> +        1, "Selecting is only possible from any, map and array values"
> +    })
> +
> +test:do_catchsql_test(
> +    "msgpack-2.5",
> +    [[
> +        SELECT '1'[];
> +    ]], {
> +        1, "Selecting is only possible from any, map and array values"
> +    })
> +
> +test:do_catchsql_test(
> +    "msgpack-2.6",
> +    [[
> +        SELECT x'31'[];
> +    ]], {
> +        1, "Selecting is only possible from any, map and array values"
> +    })
> +
> +test:do_catchsql_test(
> +    "msgpack-2.7",
> +    [[
> +        SELECT uuid()[];
> +    ]], {
> +        1, "Selecting is only possible from any, map and array values"
> +    })
> +
> +test:do_catchsql_test(
> +    "msgpack-2.8",
> +    [[
> +        SELECT true[];
> +    ]], {
> +        1, "Selecting is only possible from any, map and array values"
> +    })
> +
> +test:do_catchsql_test(
> +    "msgpack-2.9",
> +    [[
> +        SELECT CAST(1 AS NUMBER)[];
> +    ]], {
> +        1, "Selecting is only possible from any, map and array values"
> +    })
> +
> +test:do_catchsql_test(
> +    "msgpack-2.10",
> +    [[
> +        SELECT CAST('a' AS STRING)[];
> +    ]], {
> +        1, "Selecting is only possible from any, map and array values"
> +    })
> +
> +test:do_catchsql_test(
> +    "msgpack-2.11",
> +    [[
> +        SELECT NULL[];
> +    ]], {
> +        1, "Selecting is only possible from any, map and array values"
> +    })
> +
> +test:do_catchsql_test(
> +    "msgpack-2.12",
> +    [[
> +        SELECT CAST(NULL AS ANY)[];
> +    ]], {
> +        1, "Type mismatch: can not convert NULL to any, map or array"
> +    })
> +
> +test:finish_test()
> -- 
> 2.25.1

-- 
Konstantin Osipov, Moscow, Russia

  reply	other threads:[~2021-11-19 17:25 UTC|newest]

Thread overview: 6+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2021-11-19 14:44 Mergen Imeev via Tarantool-patches
2021-11-19 17:25 ` Konstantin Osipov via Tarantool-patches [this message]
2021-11-21 15:53   ` Vladislav Shpilevoy via Tarantool-patches
2021-11-30 15:20     ` Mergen Imeev via Tarantool-patches
2021-12-02 23:43       ` Vladislav Shpilevoy via Tarantool-patches
2021-11-24 11:56   ` Mergen Imeev via Tarantool-patches

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20211119172502.GA136743@starling \
    --to=tarantool-patches@dev.tarantool.org \
    --cc=imeevma@tarantool.org \
    --cc=kostja.osipov@gmail.com \
    --cc=v.shpilevoy@tarantool.org \
    --subject='Re: [Tarantool-patches] [PATCH v1 1/1] sql: introduce operator []' \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox