From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from localhost (localhost [127.0.0.1]) by turing.freelists.org (Avenir Technologies Mail Multiplex) with ESMTP id 30B5C29BDD for ; Tue, 16 Apr 2019 09:51:46 -0400 (EDT) Received: from turing.freelists.org ([127.0.0.1]) by localhost (turing.freelists.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id NNCK0X_1IjXE for ; Tue, 16 Apr 2019 09:51:46 -0400 (EDT) Received: from smtpng3.m.smailru.net (smtpng3.m.smailru.net [94.100.177.149]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by turing.freelists.org (Avenir Technologies Mail Multiplex) with ESMTPS id D8AFA29AE6 for ; Tue, 16 Apr 2019 09:51:45 -0400 (EDT) From: Kirill Shcherbatov Subject: [tarantool-patches] [PATCH v3 0/3] box: run checks on insertions in LUA spaces Date: Tue, 16 Apr 2019 16:51:37 +0300 Message-Id: MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Sender: tarantool-patches-bounce@freelists.org Errors-to: tarantool-patches-bounce@freelists.org Reply-To: tarantool-patches@freelists.org List-Help: List-Unsubscribe: List-software: Ecartis version 1.0.0 List-Id: tarantool-patches List-Subscribe: List-Owner: List-post: List-Archive: To: tarantool-patches@freelists.org, korablev@tarantool.org Cc: Kirill Shcherbatov Fire CK constraints for LUA spaces. To achieve this goal, we reworked data dictionary, to store ck constraints in separate space _ck_constraints and updated data migration script to migrate existent data there. This also would be useful in future to implement ALTER SPACE ADD CONSTRAINT operation. Now we do not support CK constraint creation on non-empty space. Each CK has own precompiled VDBE machine that performs this check with tuple fields mapped to it's memory with sql_bind() api. In case of ck constraint conflict detected by this VM we abort the transaction and return error to user. Finally, we introduced a LUA-wrapper that provide a user-friendly way to manage space ck constraints. Changes in version 2: - some path parts has been already merged in master - dropped commits "box: fix _trigger and _ck_constraint access check" and "sql: disallow use of TYPEOF in Check" because they are not required and simply wrong - code rebased on actual master - reworked ck_constrain_def and ck_constraint structures and methods to provide a little more consistent API - reworked structures are used on SQL parse - new user-friendly API - use on_replace trigger instead before_replace trigger to deal with already-validated tuple - many minor review fixes - many amazing new test v2: https://www.freelists.org/post/tarantool-patches/PATCH-v2-09-sql-Checks-on-server-side v1: https://www.freelists.org/post/tarantool-patches/PATCH-v1-04-sql-Checks-on-server-side Branch: http://github.com/tarantool/tarantool/tree/kshch/gh-3691-checks-on-server-side Issue: https://github.com/tarantool/tarantool/issues/3691 Kirill Shcherbatov (3): schema: add new system space for CHECK constraints box: run check constraint tests on space alter box: user-friendly interface to manage ck constraints src/box/CMakeLists.txt | 1 + src/box/alter.cc | 267 ++++++++++++++++- src/box/alter.h | 1 + src/box/bootstrap.snap | Bin 4374 -> 4415 bytes src/box/ck_constraint.c | 271 +++++++++++++++++ src/box/ck_constraint.h | 184 ++++++++++++ src/box/errcode.h | 5 +- src/box/lua/schema.lua | 23 ++ src/box/lua/space.cc | 2 + src/box/lua/upgrade.lua | 39 +++ src/box/schema.cc | 8 + src/box/schema_def.h | 9 + src/box/space.c | 2 + src/box/space.h | 5 + src/box/space_def.c | 98 +----- src/box/space_def.h | 2 - src/box/sql.c | 86 +----- src/box/sql.h | 36 --- src/box/sql/build.c | 173 +++++++++-- src/box/sql/insert.c | 125 +++----- src/box/sql/parse_def.h | 22 ++ src/box/sql/select.c | 11 +- src/box/sql/sqlInt.h | 26 ++ src/box/sql/tokenize.c | 1 - src/box/sql/vdbeapi.c | 8 - test/app-tap/tarantoolctl.test.lua | 6 +- test/box-py/bootstrap.result | 4 + test/box/access.result | 3 + test/box/access.test.lua | 1 + test/box/access_misc.result | 2 + test/box/access_sysview.result | 6 +- test/box/alter.result | 6 +- test/box/misc.result | 2 + test/sql-tap/check.test.lua | 42 +-- test/sql-tap/fkey2.test.lua | 4 +- test/sql-tap/sql-errors.test.lua | 2 +- test/sql-tap/table.test.lua | 8 +- test/sql/checks.result | 417 +++++++++++++++++++++++--- test/sql/checks.test.lua | 163 ++++++++-- test/sql/errinj.result | 140 +++++++++ test/sql/errinj.test.lua | 45 +++ test/sql/gh-2981-check-autoinc.result | 12 +- test/sql/upgrade.result | 19 ++ test/sql/upgrade.test.lua | 5 + test/wal_off/alter.result | 2 +- 45 files changed, 1814 insertions(+), 480 deletions(-) create mode 100644 src/box/ck_constraint.c create mode 100644 src/box/ck_constraint.h -- 2.21.0