From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from [87.239.111.99] (localhost [127.0.0.1]) by dev.tarantool.org (Postfix) with ESMTP id BDA6B6EC44; Tue, 21 Sep 2021 14:05:35 +0300 (MSK) DKIM-Filter: OpenDKIM Filter v2.11.0 dev.tarantool.org BDA6B6EC44 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=tarantool.org; s=dev; t=1632222335; bh=CnwxTUiI8qQyzcjo11KmExBNQHsYbXl1/YaC3zmuaqo=; h=To:Cc:Date:In-Reply-To:References:Subject:List-Id: List-Unsubscribe:List-Archive:List-Post:List-Help:List-Subscribe: From:Reply-To:From; b=SBUOmhK+Pv/N9MM+5Yu9BJSqq2qkZPSJiyeizx6d6b7AZUgnDzjYr1wdd3fwhraDS r7rSKnh3dL/EACgJbHqNigAC+msnmkZ873Fd2A7jvaUBIEHNiHw3XzIcUh+UrN8LaA avmAl18y4goyAfjKTiqoh13Uh3AlRZ4lsKY10H84= Received: from smtpng1.i.mail.ru (smtpng1.i.mail.ru [94.100.181.251]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by dev.tarantool.org (Postfix) with ESMTPS id D252F6F3C8 for ; Tue, 21 Sep 2021 13:59:32 +0300 (MSK) DKIM-Filter: OpenDKIM Filter v2.11.0 dev.tarantool.org D252F6F3C8 Received: by smtpng1.m.smailru.net with esmtpa (envelope-from ) id 1mSdUp-0001Fp-P6; Tue, 21 Sep 2021 13:59:32 +0300 To: v.shpilevoy@tarantool.org Cc: tarantool-patches@dev.tarantool.org Date: Tue, 21 Sep 2021 13:59:31 +0300 Message-Id: X-Mailer: git-send-email 2.25.1 In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-4EC0790: 10 X-7564579A: 646B95376F6C166E X-77F55803: 4F1203BC0FB41BD91AE02D33A9C88A2FECE56E2A292C9F7D3C69CC5C84EEB3A800894C459B0CD1B98F766936A1F08083D2FBA17AFE898107994D8960CDEEF0A87A88B0B1B531F32B X-7FA49CB5: FF5795518A3D127A4AD6D5ED66289B5278DA827A17800CE74FF5DF51D335CFFFEA1F7E6F0F101C67BD4B6F7A4D31EC0BCC500DACC3FED6E28638F802B75D45FF8AA50765F7900637F08BD7C3AB07DC7F8638F802B75D45FF36EB9D2243A4F8B5A6FCA7DBDB1FC311F39EFFDF887939037866D6147AF826D835DF7AEA4F9A1CC0EA761C51E06B05F7117882F4460429724CE54428C33FAD305F5C1EE8F4F765FCAA867293B0326636D2E47CDBA5A96583BD4B6F7A4D31EC0BC014FD901B82EE079FA2833FD35BB23D27C277FBC8AE2E8BF1175FABE1C0F9B6A471835C12D1D977C4224003CC8364762BB6847A3DEAEFB0F43C7A68FF6260569E8FC8737B5C2249EC8D19AE6D49635B68655334FD4449CB9ECD01F8117BC8BEAAAE862A0553A39223F8577A6DFFEA7CD1D040B6C1ECEA3F43847C11F186F3C59DAA53EE0834AAEE X-C1DE0DAB: C20DE7B7AB408E4181F030C43753B8186998911F362727C414F749A5E30D975CB382FA991BF7A44C4ADC96B2FF1863AFA289341EA3030F549C2B6934AE262D3EE7EAB7254005DCED7532B743992DF240BDC6A1CF3F042BAD6DF99611D93F60EF520746E264B47742F36E2E0160E5C5538A5251AA20633D2658C12E6D310A6D53C52E9138C4C1D1FEDC48ACC2A39D04F89CDFB48F4795C241BDAD6C7F3747799A X-C8649E89: 4E36BF7865823D7055A7F0CF078B5EC49A30900B95165D3453741B480A6503C39B2662762A6924165B3034C269CCF1A3F3E15FAEC0E77EA39F22BDF8ED8A4DE11D7E09C32AA3244C4EFC491F17F7526E877C374407F3D3DBCE0B41342B755BCD729B2BEF169E0186 X-D57D3AED: 3ZO7eAau8CL7WIMRKs4sN3D3tLDjz0dLbV79QFUyzQ2Ujvy7cMT6pYYqY16iZVKkSc3dCLJ7zSJH7+u4VD18S7Vl4ZUrpaVfd2+vE6kuoey4m4VkSEu530nj6fImhcD4MUrOEAnl0W826KZ9Q+tr5ycPtXkTV4k65bRjmOUUP8cvGozZ33TWg5HZplvhhXbhDGzqmQDTd6OAevLeAnq3Ra9uf7zvY2zzsIhlcp/Y7m53TZgf2aB4JOg4gkr2biojnvI84oHUDXDF0O8j/v1B4g== X-Mailru-Sender: 689FA8AB762F7393C37E3C1AEC41BA5D8D6946CF775C3E3C49834B4EDC015C4F83D72C36FC87018B9F80AB2734326CD2FB559BB5D741EB96352A0ABBE4FDA4210A04DAD6CC59E33667EA787935ED9F1B X-Mras: Ok Subject: [Tarantool-patches] [PATCH v2 13/15] sql: remove copying of result in finalizers X-BeenThere: tarantool-patches@dev.tarantool.org X-Mailman-Version: 2.1.34 Precedence: list List-Id: Tarantool development patches List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , From: Mergen Imeev via Tarantool-patches Reply-To: imeevma@tarantool.org Errors-To: tarantool-patches-bounces@dev.tarantool.org Sender: "Tarantool-patches" Thank you for the review. I replaced struct sql_context by struct MEM as the only argument of finalizer functions. Diff: diff --git a/src/box/sql/func.c b/src/box/sql/func.c index c524cd949..cdfb020cb 100644 --- a/src/box/sql/func.c +++ b/src/box/sql/func.c @@ -84,12 +84,13 @@ step_total(struct sql_context *ctx, int argc, struct Mem **argv) } /** Finalizer for the TOTAL() function. */ -static void -fin_total(struct sql_context *ctx) +static int +fin_total(struct Mem *mem) { - assert(ctx->pOut->type == MEM_TYPE_NULL || mem_is_double(ctx->pOut)); - if (ctx->pOut->type == MEM_TYPE_NULL) - mem_set_double(ctx->pOut, 0.0); + assert(mem->type == MEM_TYPE_NULL || mem_is_double(mem)); + if (mem->type == MEM_TYPE_NULL) + mem_set_double(mem, 0.0); + return 0; } /** Implementation of the AVG() function. */ @@ -125,19 +126,20 @@ step_avg(struct sql_context *ctx, int argc, struct Mem **argv) } /** Finalizer for the AVG() function. */ -static void -fin_avg(struct sql_context *ctx) +static int +fin_avg(struct Mem *mem) { - assert(ctx->pOut->type == MEM_TYPE_NULL || mem_is_bin(ctx->pOut)); - if (ctx->pOut->type == MEM_TYPE_NULL) - return mem_set_null(ctx->pOut); - struct Mem *mem = (struct Mem *)ctx->pOut->z; - uint32_t *count = (uint32_t *)(mem + 1); + assert(mem->type == MEM_TYPE_NULL || mem_is_bin(mem)); + if (mem->type == MEM_TYPE_NULL) { + mem_set_null(mem); + return 0; + } + struct Mem *sum = (struct Mem *)mem->z; + uint32_t *count = (uint32_t *)(sum + 1); struct Mem mem_count; mem_create(&mem_count); mem_set_uint(&mem_count, *count); - if (mem_div(mem, &mem_count, ctx->pOut) != 0) - ctx->is_aborted = true; + return mem_div(sum, &mem_count, mem); } /** Implementation of the COUNT() function. */ @@ -154,12 +156,13 @@ step_count(struct sql_context *ctx, int argc, struct Mem **argv) } /** Finalizer for the COUNT() function. */ -static void -fin_count(struct sql_context *ctx) +static int +fin_count(struct Mem *mem) { - assert(ctx->pOut->type == MEM_TYPE_NULL || mem_is_uint(ctx->pOut)); - if (ctx->pOut->type == MEM_TYPE_NULL) - return mem_set_uint(ctx->pOut, 0); + assert(mem->type == MEM_TYPE_NULL || mem_is_uint(mem)); + if (mem->type == MEM_TYPE_NULL) + mem_set_uint(mem, 0); + return 0; } /** Implementation of the MIN() and MAX() functions. */ @@ -1908,7 +1911,7 @@ struct sql_func_definition { /** Call implementation with given arguments. */ void (*call)(sql_context *ctx, int argc, sql_value **argv); /** Call finalization function for this implementation. */ - void (*finalize)(sql_context *ctx); + int (*finalize)(struct Mem *mem); }; /** diff --git a/src/box/sql/sqlInt.h b/src/box/sql/sqlInt.h index 8782c072a..97e71e82c 100644 --- a/src/box/sql/sqlInt.h +++ b/src/box/sql/sqlInt.h @@ -4371,7 +4371,7 @@ struct func_sql_builtin { * A VDBE-memory-compatible finalize method * (is valid only for aggregate function). */ - void (*finalize)(sql_context *ctx); + int (*finalize)(struct Mem *mem); }; /** diff --git a/src/box/sql/vdbe.c b/src/box/sql/vdbe.c index 1d22c4a40..65bb60d2f 100644 --- a/src/box/sql/vdbe.c +++ b/src/box/sql/vdbe.c @@ -4201,11 +4201,7 @@ case OP_AggFinal: { struct Mem *pIn1 = &aMem[pOp->p1]; if (func->finalize != NULL) { - struct sql_context ctx; - memset(&ctx, 0, sizeof(ctx)); - ctx.pOut = pIn1; - func->finalize(&ctx); - if (ctx.is_aborted) + if (func->finalize(pIn1) != 0) goto abort_due_to_error; } UPDATE_MAX_BLOBSIZE(pIn1); New patch: commit a9ea2350922b160beabb993d12d6e426f81db7b6 Author: Mergen Imeev Date: Thu Sep 9 18:50:33 2021 +0300 sql: remove copying of result in finalizers This patch removes copying of the result in the finalizers of the SQL built-in aggregate functions. Part of #4145 diff --git a/src/box/sql/func.c b/src/box/sql/func.c index 001a8641c..cdfb020cb 100644 --- a/src/box/sql/func.c +++ b/src/box/sql/func.c @@ -59,47 +59,38 @@ step_sum(struct sql_context *ctx, int argc, struct Mem **argv) { assert(argc == 1); (void)argc; - assert(ctx->pMem->type == MEM_TYPE_NULL || mem_is_num(ctx->pMem)); + assert(ctx->pOut->type == MEM_TYPE_NULL || mem_is_num(ctx->pOut)); if (argv[0]->type == MEM_TYPE_NULL) return; - if (ctx->pMem->type == MEM_TYPE_NULL) - return mem_copy_as_ephemeral(ctx->pMem, argv[0]); - if (mem_add(ctx->pMem, argv[0], ctx->pMem) != 0) + if (ctx->pOut->type == MEM_TYPE_NULL) + return mem_copy_as_ephemeral(ctx->pOut, argv[0]); + if (mem_add(ctx->pOut, argv[0], ctx->pOut) != 0) ctx->is_aborted = true; } -/** Finalizer for the SUM() function. */ -static void -fin_sum(struct sql_context *ctx) -{ - assert(ctx->pMem->type == MEM_TYPE_NULL || mem_is_num(ctx->pMem)); - mem_copy_as_ephemeral(ctx->pOut, ctx->pMem); -} - /** Implementation of the TOTAL() function. */ static void step_total(struct sql_context *ctx, int argc, struct Mem **argv) { assert(argc == 1); (void)argc; - assert(ctx->pMem->type == MEM_TYPE_NULL || mem_is_num(ctx->pMem)); + assert(ctx->pOut->type == MEM_TYPE_NULL || mem_is_num(ctx->pOut)); if (argv[0]->type == MEM_TYPE_NULL) return; - if (ctx->pMem->type == MEM_TYPE_NULL) - mem_set_double(ctx->pMem, 0.0); - if (mem_add(ctx->pMem, argv[0], ctx->pMem) != 0) + if (ctx->pOut->type == MEM_TYPE_NULL) + mem_set_double(ctx->pOut, 0.0); + if (mem_add(ctx->pOut, argv[0], ctx->pOut) != 0) ctx->is_aborted = true; } /** Finalizer for the TOTAL() function. */ -static void -fin_total(struct sql_context *ctx) +static int +fin_total(struct Mem *mem) { - assert(ctx->pMem->type == MEM_TYPE_NULL || mem_is_double(ctx->pMem)); - if (ctx->pMem->type == MEM_TYPE_NULL) - mem_set_double(ctx->pOut, 0.0); - else - mem_copy_as_ephemeral(ctx->pOut, ctx->pMem); + assert(mem->type == MEM_TYPE_NULL || mem_is_double(mem)); + if (mem->type == MEM_TYPE_NULL) + mem_set_double(mem, 0.0); + return 0; } /** Implementation of the AVG() function. */ @@ -108,12 +99,12 @@ step_avg(struct sql_context *ctx, int argc, struct Mem **argv) { assert(argc == 1); (void)argc; - assert(ctx->pMem->type == MEM_TYPE_NULL || mem_is_bin(ctx->pMem)); + assert(ctx->pOut->type == MEM_TYPE_NULL || mem_is_bin(ctx->pOut)); if (argv[0]->type == MEM_TYPE_NULL) return; struct Mem *mem; uint32_t *count; - if (ctx->pMem->type == MEM_TYPE_NULL) { + if (ctx->pOut->type == MEM_TYPE_NULL) { uint32_t size = sizeof(struct Mem) + sizeof(uint32_t); mem = sqlDbMallocRawNN(sql_get(), size); if (mem == NULL) { @@ -124,10 +115,10 @@ step_avg(struct sql_context *ctx, int argc, struct Mem **argv) mem_create(mem); *count = 1; mem_copy_as_ephemeral(mem, argv[0]); - mem_set_bin_allocated(ctx->pMem, (char *)mem, size); + mem_set_bin_allocated(ctx->pOut, (char *)mem, size); return; } - mem = (struct Mem *)ctx->pMem->z; + mem = (struct Mem *)ctx->pOut->z; count = (uint32_t *)(mem + 1); ++*count; if (mem_add(mem, argv[0], mem) != 0) @@ -135,19 +126,20 @@ step_avg(struct sql_context *ctx, int argc, struct Mem **argv) } /** Finalizer for the AVG() function. */ -static void -fin_avg(struct sql_context *ctx) +static int +fin_avg(struct Mem *mem) { - assert(ctx->pMem->type == MEM_TYPE_NULL || mem_is_bin(ctx->pMem)); - if (ctx->pMem->type == MEM_TYPE_NULL) - return mem_set_null(ctx->pOut); - struct Mem *mem = (struct Mem *)ctx->pMem->z; - uint32_t *count = (uint32_t *)(mem + 1); + assert(mem->type == MEM_TYPE_NULL || mem_is_bin(mem)); + if (mem->type == MEM_TYPE_NULL) { + mem_set_null(mem); + return 0; + } + struct Mem *sum = (struct Mem *)mem->z; + uint32_t *count = (uint32_t *)(sum + 1); struct Mem mem_count; mem_create(&mem_count); mem_set_uint(&mem_count, *count); - if (mem_div(mem, &mem_count, ctx->pOut) != 0) - ctx->is_aborted = true; + return mem_div(sum, &mem_count, mem); } /** Implementation of the COUNT() function. */ @@ -155,22 +147,22 @@ static void step_count(struct sql_context *ctx, int argc, struct Mem **argv) { assert(argc == 0 || argc == 1); - if (ctx->pMem->type == MEM_TYPE_NULL) - mem_set_uint(ctx->pMem, 0); + if (ctx->pOut->type == MEM_TYPE_NULL) + mem_set_uint(ctx->pOut, 0); if (argc == 1 && argv[0]->type == MEM_TYPE_NULL) return; - assert(ctx->pMem->type == MEM_TYPE_UINT); - ++ctx->pMem->u.u; + assert(ctx->pOut->type == MEM_TYPE_UINT); + ++ctx->pOut->u.u; } /** Finalizer for the COUNT() function. */ -static void -fin_count(struct sql_context *ctx) +static int +fin_count(struct Mem *mem) { - assert(ctx->pMem->type == MEM_TYPE_NULL || mem_is_uint(ctx->pMem)); - if (ctx->pMem->type == MEM_TYPE_NULL) - return mem_set_uint(ctx->pOut, 0); - mem_copy_as_ephemeral(ctx->pOut, ctx->pMem); + assert(mem->type == MEM_TYPE_NULL || mem_is_uint(mem)); + if (mem->type == MEM_TYPE_NULL) + mem_set_uint(mem, 0); + return 0; } /** Implementation of the MIN() and MAX() functions. */ @@ -180,12 +172,12 @@ step_minmax(struct sql_context *ctx, int argc, struct Mem **argv) assert(argc == 1); (void)argc; if (argv[0]->type == MEM_TYPE_NULL) { - if (ctx->pMem->type != MEM_TYPE_NULL) + if (ctx->pOut->type != MEM_TYPE_NULL) ctx->skipFlag = 1; return; } - if (ctx->pMem->type == MEM_TYPE_NULL) { - if (mem_copy(ctx->pMem, argv[0]) != 0) + if (ctx->pOut->type == MEM_TYPE_NULL) { + if (mem_copy(ctx->pOut, argv[0]) != 0) ctx->is_aborted = true; return; } @@ -197,22 +189,15 @@ step_minmax(struct sql_context *ctx, int argc, struct Mem **argv) * the only difference between the two being that the sense of the * comparison is inverted. */ - int cmp = mem_cmp_scalar(ctx->pMem, argv[0], ctx->coll); + int cmp = mem_cmp_scalar(ctx->pOut, argv[0], ctx->coll); if ((is_max && cmp < 0) || (!is_max && cmp > 0)) { - if (mem_copy(ctx->pMem, argv[0]) != 0) + if (mem_copy(ctx->pOut, argv[0]) != 0) ctx->is_aborted = true; return; } ctx->skipFlag = 1; } -/** Finalizer for the MIN() and MAX() functions. */ -static void -fin_minmax(struct sql_context *ctx) -{ - mem_copy(ctx->pOut, ctx->pMem); -} - /** Implementation of the GROUP_CONCAT() function. */ static void step_group_concat(struct sql_context *ctx, int argc, struct Mem **argv) @@ -222,8 +207,8 @@ step_group_concat(struct sql_context *ctx, int argc, struct Mem **argv) if (argv[0]->type == MEM_TYPE_NULL) return; assert(mem_is_str(argv[0]) || mem_is_bin(argv[0])); - if (ctx->pMem->type == MEM_TYPE_NULL) { - if (mem_copy_str(ctx->pMem, argv[0]->z, argv[0]->n) != 0) + if (ctx->pOut->type == MEM_TYPE_NULL) { + if (mem_copy_str(ctx->pOut, argv[0]->z, argv[0]->n) != 0) ctx->is_aborted = true; return; } @@ -241,24 +226,17 @@ step_group_concat(struct sql_context *ctx, int argc, struct Mem **argv) sep_len = argv[1]->n; } if (sep_len > 0) { - if (mem_append(ctx->pMem, sep, sep_len) != 0) { + if (mem_append(ctx->pOut, sep, sep_len) != 0) { ctx->is_aborted = true; return; } } - if (mem_append(ctx->pMem, argv[0]->z, argv[0]->n) != 0) { + if (mem_append(ctx->pOut, argv[0]->z, argv[0]->n) != 0) { ctx->is_aborted = true; return; } } -/** Finalizer for the GROUP_CONCAT() function. */ -static void -fin_group_concat(struct sql_context *ctx) -{ - mem_copy(ctx->pOut, ctx->pMem); -} - static const unsigned char * mem_as_ustr(struct Mem *mem) { @@ -1933,7 +1911,7 @@ struct sql_func_definition { /** Call implementation with given arguments. */ void (*call)(sql_context *ctx, int argc, sql_value **argv); /** Call finalization function for this implementation. */ - void (*finalize)(sql_context *ctx); + int (*finalize)(struct Mem *mem); }; /** @@ -1970,13 +1948,13 @@ static struct sql_func_definition definitions[] = { NULL}, {"GROUP_CONCAT", 1, {FIELD_TYPE_STRING}, FIELD_TYPE_STRING, - step_group_concat, fin_group_concat}, + step_group_concat, NULL}, {"GROUP_CONCAT", 2, {FIELD_TYPE_STRING, FIELD_TYPE_STRING}, - FIELD_TYPE_STRING, step_group_concat, fin_group_concat}, + FIELD_TYPE_STRING, step_group_concat, NULL}, {"GROUP_CONCAT", 1, {FIELD_TYPE_VARBINARY}, FIELD_TYPE_VARBINARY, - step_group_concat, fin_group_concat}, + step_group_concat, NULL}, {"GROUP_CONCAT", 2, {FIELD_TYPE_VARBINARY, FIELD_TYPE_VARBINARY}, - FIELD_TYPE_VARBINARY, step_group_concat, fin_group_concat}, + FIELD_TYPE_VARBINARY, step_group_concat, NULL}, {"HEX", 1, {FIELD_TYPE_VARBINARY}, FIELD_TYPE_STRING, hexFunc, NULL}, {"IFNULL", 2, {FIELD_TYPE_ANY, FIELD_TYPE_ANY}, FIELD_TYPE_SCALAR, @@ -2007,35 +1985,23 @@ static struct sql_func_definition definitions[] = { {"LOWER", 1, {FIELD_TYPE_STRING}, FIELD_TYPE_STRING, LowerICUFunc, NULL}, - {"MAX", 1, {FIELD_TYPE_INTEGER}, FIELD_TYPE_INTEGER, step_minmax, - fin_minmax}, - {"MAX", 1, {FIELD_TYPE_DOUBLE}, FIELD_TYPE_DOUBLE, step_minmax, - fin_minmax}, - {"MAX", 1, {FIELD_TYPE_NUMBER}, FIELD_TYPE_NUMBER, step_minmax, - fin_minmax}, + {"MAX", 1, {FIELD_TYPE_INTEGER}, FIELD_TYPE_INTEGER, step_minmax, NULL}, + {"MAX", 1, {FIELD_TYPE_DOUBLE}, FIELD_TYPE_DOUBLE, step_minmax, NULL}, + {"MAX", 1, {FIELD_TYPE_NUMBER}, FIELD_TYPE_NUMBER, step_minmax, NULL}, {"MAX", 1, {FIELD_TYPE_VARBINARY}, FIELD_TYPE_VARBINARY, step_minmax, - fin_minmax}, - {"MAX", 1, {FIELD_TYPE_UUID}, FIELD_TYPE_UUID, step_minmax, - fin_minmax}, - {"MAX", 1, {FIELD_TYPE_STRING}, FIELD_TYPE_STRING, step_minmax, - fin_minmax}, - {"MAX", 1, {FIELD_TYPE_SCALAR}, FIELD_TYPE_SCALAR, step_minmax, - fin_minmax}, - - {"MIN", 1, {FIELD_TYPE_INTEGER}, FIELD_TYPE_INTEGER, step_minmax, - fin_minmax}, - {"MIN", 1, {FIELD_TYPE_DOUBLE}, FIELD_TYPE_DOUBLE, step_minmax, - fin_minmax}, - {"MIN", 1, {FIELD_TYPE_NUMBER}, FIELD_TYPE_NUMBER, step_minmax, - fin_minmax}, + NULL}, + {"MAX", 1, {FIELD_TYPE_UUID}, FIELD_TYPE_UUID, step_minmax, NULL}, + {"MAX", 1, {FIELD_TYPE_STRING}, FIELD_TYPE_STRING, step_minmax, NULL}, + {"MAX", 1, {FIELD_TYPE_SCALAR}, FIELD_TYPE_SCALAR, step_minmax, NULL}, + + {"MIN", 1, {FIELD_TYPE_INTEGER}, FIELD_TYPE_INTEGER, step_minmax, NULL}, + {"MIN", 1, {FIELD_TYPE_DOUBLE}, FIELD_TYPE_DOUBLE, step_minmax, NULL}, + {"MIN", 1, {FIELD_TYPE_NUMBER}, FIELD_TYPE_NUMBER, step_minmax, NULL}, {"MIN", 1, {FIELD_TYPE_VARBINARY}, FIELD_TYPE_VARBINARY, step_minmax, - fin_minmax}, - {"MIN", 1, {FIELD_TYPE_UUID}, FIELD_TYPE_UUID, step_minmax, - fin_minmax}, - {"MIN", 1, {FIELD_TYPE_STRING}, FIELD_TYPE_STRING, step_minmax, - fin_minmax}, - {"MIN", 1, {FIELD_TYPE_SCALAR}, FIELD_TYPE_SCALAR, step_minmax, - fin_minmax}, + NULL}, + {"MIN", 1, {FIELD_TYPE_UUID}, FIELD_TYPE_UUID, step_minmax, NULL}, + {"MIN", 1, {FIELD_TYPE_STRING}, FIELD_TYPE_STRING, step_minmax, NULL}, + {"MIN", 1, {FIELD_TYPE_SCALAR}, FIELD_TYPE_SCALAR, step_minmax, NULL}, {"NULLIF", 2, {FIELD_TYPE_ANY, FIELD_TYPE_ANY}, FIELD_TYPE_SCALAR, nullifFunc, NULL}, @@ -2069,9 +2035,9 @@ static struct sql_func_definition definitions[] = { {"SUBSTR", 3, {FIELD_TYPE_VARBINARY, FIELD_TYPE_INTEGER, FIELD_TYPE_INTEGER}, FIELD_TYPE_VARBINARY, substrFunc, NULL}, - {"SUM", 1, {FIELD_TYPE_DOUBLE}, FIELD_TYPE_DOUBLE, step_sum, fin_sum}, - {"SUM", 1, {FIELD_TYPE_INTEGER}, FIELD_TYPE_INTEGER, step_sum, fin_sum}, - {"SUM", 1, {FIELD_TYPE_DECIMAL}, FIELD_TYPE_DECIMAL, step_sum, fin_sum}, + {"SUM", 1, {FIELD_TYPE_DOUBLE}, FIELD_TYPE_DOUBLE, step_sum, NULL}, + {"SUM", 1, {FIELD_TYPE_INTEGER}, FIELD_TYPE_INTEGER, step_sum, NULL}, + {"SUM", 1, {FIELD_TYPE_DECIMAL}, FIELD_TYPE_DECIMAL, step_sum, NULL}, {"TOTAL", 1, {FIELD_TYPE_DOUBLE}, FIELD_TYPE_DOUBLE, step_total, fin_total}, {"TOTAL", 1, {FIELD_TYPE_INTEGER}, FIELD_TYPE_DOUBLE, step_total, @@ -2330,7 +2296,7 @@ sql_built_in_functions_cache_init(void) assert(desc->argc != -1 || dict->argc_min != dict->argc_max); def->param_count = desc->argc; def->returns = desc->result; - def->aggregate = desc->finalize == NULL ? + def->aggregate = (dict->flags & SQL_FUNC_AGG) == 0 ? FUNC_AGGREGATE_NONE : FUNC_AGGREGATE_GROUP; def->language = FUNC_LANGUAGE_SQL_BUILTIN; def->name_len = len; diff --git a/src/box/sql/sqlInt.h b/src/box/sql/sqlInt.h index 710bd86cf..97e71e82c 100644 --- a/src/box/sql/sqlInt.h +++ b/src/box/sql/sqlInt.h @@ -484,18 +484,6 @@ void sql_row_count(struct sql_context *context, MAYBE_UNUSED int unused1, MAYBE_UNUSED sql_value **unused2); -void * -sql_aggregate_context(sql_context *, - int nBytes); - -/** - * Allocate or return the aggregate context containing struct MEM for a user - * function. A new context is allocated on the first call. Subsequent calls - * return the same context that was returned on prior calls. - */ -struct Mem * -sql_context_agg_mem(struct sql_context *context); - int sql_column_count(sql_stmt * pStmt); @@ -4383,7 +4371,7 @@ struct func_sql_builtin { * A VDBE-memory-compatible finalize method * (is valid only for aggregate function). */ - void (*finalize)(sql_context *ctx); + int (*finalize)(struct Mem *mem); }; /** diff --git a/src/box/sql/vdbe.c b/src/box/sql/vdbe.c index 8804e3d18..65bb60d2f 100644 --- a/src/box/sql/vdbe.c +++ b/src/box/sql/vdbe.c @@ -4145,7 +4145,6 @@ case OP_AggStep: { int argc = pOp->p1; sql_context *pCtx; Mem *pMem; - Mem t; assert(pOp->p4type==P4_FUNCCTX); pCtx = pOp->p4.pCtx; @@ -4156,8 +4155,8 @@ case OP_AggStep: { * checks to see if the register array has changed, and if so it * reinitializes the relavant parts of the sql_context object */ - if (pCtx->pMem != pMem) { - pCtx->pMem = pMem; + if (pCtx->pOut != pMem) { + pCtx->pOut = pMem; for(i = 0; i < argc; ++i) pCtx->argv[i] = &aMem[pOp->p2 + i]; } @@ -4169,18 +4168,12 @@ case OP_AggStep: { } #endif - mem_create(&t); - pCtx->pOut = &t; - pCtx->is_aborted = false; pCtx->skipFlag = 0; assert(pCtx->func->def->language == FUNC_LANGUAGE_SQL_BUILTIN); struct func_sql_builtin *func = (struct func_sql_builtin *)pCtx->func; func->call(pCtx, argc, pCtx->argv); - if (pCtx->is_aborted) { - mem_destroy(&t); + if (pCtx->is_aborted) goto abort_due_to_error; - } - assert(mem_is_null(&t)); if (pCtx->skipFlag) { assert(pOp[-1].opcode == OP_SkipLoad); i = pOp[-1].p1; @@ -4207,24 +4200,10 @@ case OP_AggFinal: { struct func_sql_builtin *func = (struct func_sql_builtin *)pOp->p4.func; struct Mem *pIn1 = &aMem[pOp->p1]; - struct sql_context ctx; - memset(&ctx, 0, sizeof(ctx)); - struct Mem t; - memset(&t, 0, sizeof(t)); - t.type = MEM_TYPE_NULL; - assert(t.flags == 0); - t.db = pIn1->db; - ctx.pOut = &t; - ctx.pMem = pIn1; - ctx.func = pOp->p4.func; - func->finalize(&ctx); - assert((pIn1->flags & MEM_Dyn) == 0); - if (pIn1->szMalloc > 0) - sqlDbFree(pIn1->db, pIn1->zMalloc); - memcpy(pIn1, &t, sizeof(t)); - - if (ctx.is_aborted) - goto abort_due_to_error; + if (func->finalize != NULL) { + if (func->finalize(pIn1) != 0) + goto abort_due_to_error; + } UPDATE_MAX_BLOBSIZE(pIn1); if (sqlVdbeMemTooBig(pIn1) != 0) goto too_big; diff --git a/src/box/sql/vdbeInt.h b/src/box/sql/vdbeInt.h index b9a18f1a1..5e2692d06 100644 --- a/src/box/sql/vdbeInt.h +++ b/src/box/sql/vdbeInt.h @@ -172,7 +172,6 @@ struct sql_context { Mem *pOut; /* The return value is stored here */ /* A pointer to function implementation. */ struct func *func; - Mem *pMem; /* Memory cell used to store aggregate context */ struct coll *coll; /* * True, if an error occurred during the execution of the diff --git a/src/box/sql/vdbeapi.c b/src/box/sql/vdbeapi.c index 6e598513c..39f560c32 100644 --- a/src/box/sql/vdbeapi.c +++ b/src/box/sql/vdbeapi.c @@ -349,45 +349,6 @@ sql_context_db_handle(sql_context * p) return p->pOut->db; } -/* - * Allocate or return the aggregate context for a user function. A new - * context is allocated on the first call. Subsequent calls return the - * same context that was returned on prior calls. - */ -void * -sql_aggregate_context(sql_context * p, int nByte) -{ - assert(p != NULL && p->func != NULL); - assert(p->func->def->language == FUNC_LANGUAGE_SQL_BUILTIN); - assert(p->func->def->aggregate == FUNC_AGGREGATE_GROUP); - if (!mem_is_agg(p->pMem) && mem_set_agg(p->pMem, p->func, nByte) != 0) - return NULL; - void *accum; - if (mem_get_agg(p->pMem, &accum) != 0) - return NULL; - return accum; -} - -struct Mem * -sql_context_agg_mem(struct sql_context *ctx) -{ - assert(ctx != NULL && ctx->func != NULL); - assert(ctx->func->def->language == FUNC_LANGUAGE_SQL_BUILTIN); - assert(ctx->func->def->aggregate == FUNC_AGGREGATE_GROUP); - struct Mem *mem; - if (!mem_is_agg(ctx->pMem)) { - if (mem_set_agg(ctx->pMem, ctx->func, sizeof(*mem)) != 0) - return NULL; - if (mem_get_agg(ctx->pMem, (void **)&mem) != 0) - return NULL; - mem_create(mem); - return mem; - } - if (mem_get_agg(ctx->pMem, (void **)&mem) != 0) - return NULL; - return mem; -} - /* * Return the number of columns in the result set for the statement pStmt. */