Hi! Thank you for review! New patch below. On 11/19/18 8:27 PM, n.pettik wrote: >> This probleam appeared because region was cleaned twice: once in > Typo: problem > >> sqlite3VdbeHalt() and once in sqlite3VdbeDelete() which was >> executed during sqlite3_finalize(). Autogenerated ids that were >> saved there, were fetched after sqlite3VdbeHalt() and before >> sqlite3_finalize(). In this patch region cleaning in >> sqlite3VdbeHalt() were removed. > Typo: was (or better - has been removed). > > Again, IMHO I would rephrase commit subject: > > sql: remove region_truncate() from sqlite3VdbeHalt() > > And explain in commit message why it was removed. > > Patch itself is OK. Fixed commit-message. *New patch:** * commit dd5b3aaa63b9fe2312a6fb30f3ba87bf8329b222 Author: Mergen Imeev Date:   Sat Nov 17 13:05:55 2018 +0300     sql: remove fiber_gc() from sqlite3VdbeHalt()     Too many autogenerated ids leads to SEGFAULT. This problem     appeared because region was cleaned twice: once in     sqlite3VdbeHalt() and once in sqlite3VdbeDelete() which was     executed during sqlite3_finalize(). Autogenerated ids that were     saved there, were fetched after sqlite3VdbeHalt() and before     sqlite3_finalize(). In this patch region cleaning in     sqlite3VdbeHalt() has been removed.     Follow up #2618     Follow up #3199 diff --git a/src/box/sql/vdbe.c b/src/box/sql/vdbe.c index b6afe91..cc340e9 100644 --- a/src/box/sql/vdbe.c +++ b/src/box/sql/vdbe.c @@ -2911,12 +2911,8 @@ case OP_MakeRecord: {       * memory shouldn't be reused until it is written into WAL.       *       * However, if memory for ephemeral space is allocated -     * on region, it will be freed only in vdbeHalt() routine. -     * It is the only way to free this region memory, -     * since ephemeral spaces don't have nothing in common -     * with txn routine and region memory won't be released -     * after txn_commit() or txn_rollback() as it happens -     * with ordinary spaces. +     * on region, it will be freed only in sqlite3_finalize() +     * routine.       */      if (bIsEphemeral) {          rc = sqlite3VdbeMemClearAndResize(pOut, nByte); diff --git a/src/box/sql/vdbeaux.c b/src/box/sql/vdbeaux.c index 615a0f0..f2faad8 100644 --- a/src/box/sql/vdbeaux.c +++ b/src/box/sql/vdbeaux.c @@ -2498,12 +2498,6 @@ sqlite3VdbeHalt(Vdbe * p)          p->rc = SQLITE_NOMEM_BKPT;      } -    /* Release all region memory which was allocated -     * to hold tuples to be inserted into ephemeral spaces. -     */ -    if (!box_txn()) -        fiber_gc(); -      assert(db->nVdbeActive > 0 || box_txn() ||             p->anonymous_savepoint == NULL);      return (p->rc == SQLITE_BUSY ? SQLITE_BUSY : SQLITE_OK); diff --git a/test/sql/iproto.result b/test/sql/iproto.result index 6c50781..000b359 100644 --- a/test/sql/iproto.result +++ b/test/sql/iproto.result @@ -843,6 +843,22 @@ cn:execute('select * from "test"')  s:drop()  ---  ... +-- Too many autogenerated ids leads to SEGFAULT. +cn = remote.connect(box.cfg.listen) +--- +... +box.sql.execute('CREATE TABLE t1(id INTEGER PRIMARY KEY AUTOINCREMENT)') +--- +... +for i = 0, 1000 do cn:execute("INSERT INTO t1 VALUES (null)") end +--- +... +_ = cn:execute("INSERT INTO t1 SELECT NULL from t1") +--- +... +box.sql.execute('DROP TABLE t1') +--- +...  cn:close()  ---  ... diff --git a/test/sql/iproto.test.lua b/test/sql/iproto.test.lua index e12decd..2501393 100644 --- a/test/sql/iproto.test.lua +++ b/test/sql/iproto.test.lua @@ -272,6 +272,13 @@ s:insert({2, {a = 3}})  cn:execute('select * from "test"')  s:drop() +-- Too many autogenerated ids leads to SEGFAULT. +cn = remote.connect(box.cfg.listen) +box.sql.execute('CREATE TABLE t1(id INTEGER PRIMARY KEY AUTOINCREMENT)') +for i = 0, 1000 do cn:execute("INSERT INTO t1 VALUES (null)") end +_ = cn:execute("INSERT INTO t1 SELECT NULL from t1") +box.sql.execute('DROP TABLE t1') +  cn:close()  box.schema.user.revoke('guest', 'read,write,execute', 'universe')