Tarantool development patches archive
 help / color / mirror / Atom feed
From: "n.pettik" <korablev@tarantool.org>
To: tarantool-patches@freelists.org
Cc: Vladislav Shpilevoy <v.shpilevoy@tarantool.org>
Subject: [tarantool-patches] Re: [PATCH 3/5] sql: introduce ADD CONSTRAINT statement
Date: Mon, 6 Aug 2018 03:28:04 +0300	[thread overview]
Message-ID: <DBAAD2A4-55D3-4377-A12A-AF1CE5E09594@tarantool.org> (raw)
In-Reply-To: <dac4a701-5190-7160-843e-f8c0ec2d70f0@tarantool.org>

I squashed your fixes. However, personally I don’t understand why you
decided to refactor endTable() routine, for instance. Ofc refactoring
is always appreciated but I would prefer separating functional part of patch and
cosmetic/codestyle changes. Initial version of this patch AFAIR included 1k +- lines.
Now (due to codestyle fixes) it is about 1.8k + and 1.6k -.. It would be quite
complicated to find smth in such giant diff.

>> diff --git a/src/box/alter.cc b/src/box/alter.cc
>> index 5b55bfd7a..6b9e29470 100644
>> --- a/src/box/alter.cc
>> +++ b/src/box/alter.cc
>> @@ -3660,6 +3660,50 @@ fkey_grab_by_name(struct rlist *list, const char *fkey_name)
>>  	return NULL;
>>  }
>>  +static void
> 
> 1. No comment.

Comment for static inline two-lines function? Seriously?
Ok, I will add it, but I think we should consider making an exception
in our developing guide for instance for static functions less than
10 lines or sort of.

+++ b/src/box/alter.cc
@@ -3665,6 +3665,15 @@ fkey_grab_by_name(struct rlist *list, const char *fkey_name)
  */
 #define FKEY_MASK(x) (((x)>31) ? 0xffffffff : ((uint64_t)1<<(x)))
 
+/**
+ * Set bits of @mask which correspond to fields involved in
+ * given foreign key constraint.
+ *
+ * @param fk Links of this FK constraint are used to update mask.
+ * @param[out] mask Mask to be updated.
+ * @param type Type of links to be used to update mask:
+ *             parent or child.
+ */
 static inline void
 fkey_set_mask(const struct fkey *fk, uint64_t *mask, int type)

> 
>> +fkey_set_mask(const struct fkey *fk, uint64_t *parent_mask,
>> +	      uint64_t *child_mask)
>> +{
>> +	for (uint32_t i = 0; i < fk->def->field_count; ++i) {
>> +		*parent_mask |= FKEY_MASK(fk->def->links[i].parent_field);
>> +		*child_mask |= FKEY_MASK(fk->def->links[i].child_field);
>> +	}
>> +}
>> +
>> @@ -3673,6 +3717,7 @@ on_create_fkey_rollback(struct trigger *trigger, void *event)
>>  	rlist_del_entry(fk, parent_link);
>>  	rlist_del_entry(fk, child_link);
>>  	fkey_delete(fk);
>> +	fkey_update_mask(fk);
> 
> 2. Use after free.

Skipped since you already fixed on branch.

>>  }
>>    /** Return old FK and release memory for the new one. */
>> @@ -3712,6 +3759,7 @@ on_drop_or_replace_fkey_commit(struct trigger *trigger, void *event)
>>  {
>>  	(void) event;
>>  	struct fkey *fk = (struct fkey *)trigger->data;
>> +	fkey_update_mask(fk);
> 
> 3. You should not update mask on commit. The mask should be updated
> before the commit yielded. Else, during yield, some new requests
> can arrive which will not match the mask despite of presence of the
> fkey in the space.

Yep, it is definitely mistake. Also skipped.

>>  	fkey_delete(fk);
>>  }
>>  diff --git a/src/box/sql.c b/src/box/sql.c
>> index 9795ad2ac..46a0c3472 100644
>> --- a/src/box/sql.c
>> +++ b/src/box/sql.c
>> @@ -1489,6 +1393,23 @@ tarantoolSqlite3MakeTableOpts(Table *pTable, const char *zSql, char *buf)
>>  	return p - buf;
>>  }
>>  +int
>> +fkey_encode_links(uint32_t *links, uint32_t link_count, char *buf)
>> +{
>> +	const struct Enc *enc = get_enc(buf);
>> +	char *p = enc->encode_array(buf, link_count);
>> +	for (uint32_t i = 0; i < link_count; ++i) {
>> +		/*
>> +		 * field_link consists of two uin32_t members,
>> +		 * so if we calculate proper offset, we will
>> +		 * get next parent/child member.
>> +		 */
>> +		size_t offset = sizeof(struct field_link) * i;
>> +		p = enc->encode_uint(p, *((char *) links + offset));
> 
> 4. Encode_uint takes a second argument of type uint64_t. But you
> cast here links to char * and then unreference it so it becomes
> just char - 8 bits.

The same (I realised my mistake and skipped).

> 
>> +	}
>> +	return p - buf;
>> +}
>> +
>>  /*
>>   * Format "parts" array for _index entry.
>>   * Returns result size.
>> diff --git a/src/box/sql/build.c b/src/box/sql/build.c
>> index 819c2626a..13013ee5a 100644
>> --- a/src/box/sql/build.c
>> +++ b/src/box/sql/build.c
>> @@ -1982,6 +2165,15 @@ sql_code_drop_table(struct Parse *parse_context, struct space *space,
>>  		sqlite3VdbeAddOp2(v, OP_SDelete, BOX_SEQUENCE_ID, idx_rec_reg);
>>  		VdbeComment((v, "Delete entry from _sequence"));
>>  	}
>> +	/* Delete all child FK constraints. */
>> +	struct fkey *child_fk;
>> +	rlist_foreach_entry (child_fk, &space->child_fkey, child_link) {
>> +		const char *fk_name_dup = sqlite3DbStrDup(v->db,
>> +							  child_fk->def->name);
>> +		if (fk_name_dup == NULL)
>> +			return;
>> +		vdbe_emit_fkey_drop(parse_context, fk_name_dup, space_id);
> 
> 5. Can we use P4_STATIC and do not duplicate?

No, unfortunately we can’t. P4_STATIC attribute is usable only when the same
memory is used twice during VDBE execution. STATIC attribute prevents from
memory releasing (even at the end of execution AFAIK). If we released memory
right after generating opcode (or at the end of parsing, it doesn’t matter), we will
probably get corrupted memory.

> I want to say, that if we
> do not duplicate the memory here, then only 2 situations are possible:
> 1) Until the VDBE is executed nothing is happened, the memory is ok and
> can be used.

Can be used, but wouldn’t be freed (or I misunderstand what you initially meant).

> 2) Such alter occurred before VDBE execution so the memory is dirty and
> we can not use it. But in such a case schema_version is updated and the
> VDBE is expired entirely that leads to its regeneration (will lead).
> 
>> +	}
>>  	/*
>>  	 * Drop all _space and _index entries that refer to the
>>  	 * table.
>> @@ -2106,177 +2299,281 @@ sql_drop_table(struct Parse *parse_context, struct SrcList *table_name_list,
>> +void
>> +sql_create_foreign_key(struct Parse *parse_context, struct SrcList *child,
>> +		       struct Token *constraint, struct ExprList *child_cols,
>> +		       struct Token *parent, struct ExprList *parent_cols,
>> +		       bool is_deferred, int actions)
>> +{
>> -
>> -	/* Link the foreign key to the table as the last step.
>> +	memcpy(fk->name, constraint_name, name_len);
>> +	fk->name[name_len] = '\0';
>> +	sqlite3NormalizeName(fk->name);
> 
> 6. You do not need to normalize it here since the name was either
> auto-generated or got from sqlite3NameFromToken(). The latter already
> calls normalize(). The former should generate a well-formed name.

Ok, I forgot about normalization in sqlite3NameFromToken(). Thx for fix.

  reply	other threads:[~2018-08-06  0:28 UTC|newest]

Thread overview: 32+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2018-07-13  2:04 [tarantool-patches] [PATCH 0/5] Move FK constraints to server Nikita Pettik
2018-07-13  2:04 ` [tarantool-patches] [PATCH 1/5] sql: prohibit creation of FK on unexisting tables Nikita Pettik
2018-07-17 21:05   ` [tarantool-patches] " Vladislav Shpilevoy
2018-07-25 10:03     ` n.pettik
2018-07-26 20:12       ` Vladislav Shpilevoy
2018-08-01 20:54         ` n.pettik
2018-08-02 22:15           ` Vladislav Shpilevoy
2018-08-06  0:27             ` n.pettik
2018-07-13  2:04 ` [tarantool-patches] [PATCH 2/5] schema: add new system space for FK constraints Nikita Pettik
2018-07-17 21:05   ` [tarantool-patches] " Vladislav Shpilevoy
2018-07-25 10:03     ` n.pettik
2018-07-26 20:12       ` Vladislav Shpilevoy
2018-08-01 20:54         ` n.pettik
2018-08-02 22:15           ` Vladislav Shpilevoy
2018-08-06  0:28             ` n.pettik
2018-08-06 18:24               ` Vladislav Shpilevoy
2018-07-13  2:04 ` [tarantool-patches] [PATCH 3/5] sql: introduce ADD CONSTRAINT statement Nikita Pettik
2018-07-17 21:05   ` [tarantool-patches] " Vladislav Shpilevoy
2018-07-25 10:03     ` n.pettik
2018-07-26 20:12       ` Vladislav Shpilevoy
2018-08-01 20:54         ` n.pettik
2018-08-02 22:15           ` Vladislav Shpilevoy
2018-08-06  0:28             ` n.pettik [this message]
2018-08-06 18:24               ` Vladislav Shpilevoy
2018-08-06 23:43                 ` n.pettik
2018-07-13  2:04 ` [tarantool-patches] [PATCH 4/5] sql: display error on FK creation and drop failure Nikita Pettik
2018-07-17 21:04   ` [tarantool-patches] " Vladislav Shpilevoy
2018-07-25 10:03     ` n.pettik
2018-07-26 20:11       ` Vladislav Shpilevoy
2018-07-13  2:04 ` [tarantool-patches] [PATCH 5/5] sql: remove SQLITE_OMIT_FOREIGN_KEY define guard Nikita Pettik
2018-07-17 21:04 ` [tarantool-patches] Re: [PATCH 0/5] Move FK constraints to server Vladislav Shpilevoy
2018-08-07 14:57 ` Kirill Yukhin

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=DBAAD2A4-55D3-4377-A12A-AF1CE5E09594@tarantool.org \
    --to=korablev@tarantool.org \
    --cc=tarantool-patches@freelists.org \
    --cc=v.shpilevoy@tarantool.org \
    --subject='[tarantool-patches] Re: [PATCH 3/5] sql: introduce ADD CONSTRAINT statement' \
    /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