Skip to content
Snippets Groups Projects
  1. Oct 19, 2022
    • Timur Safin's avatar
      debugger: luatest for console debugger · 0a5fb86d
      Timur Safin authored
      Created luatest test for interactive debugger luadebug.lua.
      We use separate debug-target.lua for execution under
      control of debugger session.
      
      NO_DOC=test
      NO_CHANGELOG=test
      0a5fb86d
    • Timur Safin's avatar
      debugger: retrieve @builtin/%s.lua sources · e608a737
      Timur Safin authored
      Extend Tarantool kernel internal API with the call
      `tarantool.debug.getsources()` to allow to retrieve sources
      of a Tarantool `builtin/*` modules to show them in the
      debugger shell.
      
      Created simple luatest script for checking consistency
      of a values returned from `require 'tarantool'.debug.getsources()`
      and an ctual script file content we expected to receive.
      
      NO_DOC=see future commit
      NO_CHANGELOG=see future commit
      e608a737
    • Mergen Imeev's avatar
      box: fix format of _vfunc · 707da125
      Mergen Imeev authored
      The _vfunc system space is the sysview for the _func system space.
      However, the _vfunc format is different from the _func format. This
      patch makes the _vfunc format the same as the _func format.
      
      Closes #7822
      
      NO_DOC=bugfix
      707da125
  2. Oct 18, 2022
    • Timur Safin's avatar
      datetime: datetimes subtractions ignored timezone · 0daed8d5
      Timur Safin authored
      We used to ignore timezone difference (in `tzoffset`) for
      datetime subtraction operation:
      
      ```
      tarantool> datetime.new{tz='MSK'} - datetime.new{tz='UTC'}
      ---
      - +0 seconds
      ...
      
      tarantool> datetime.new{tz='MSK'}.timestamp -
                 datetime.new{tz='UTC'}.timestamp
      ---
      - -10800
      ...
      ```
      
      Now we accumulate tzoffset difference in the minute component
      of a resultant interval:
      
      ```
      tarantool> datetime.new{tz='MSK'} - datetime.new{tz='UTC'}
      ---
      - -180 minutes
      ...
      ```
      
      Closes #7698
      
      NO_DOC=bugfix
      0daed8d5
    • Timur Safin's avatar
      datetime: fix interval arithmetic for DST · 6ca07285
      Timur Safin authored
      We did not take into consideration the fact that
      as result of date/time arithmetic we could get
      in a different timezone, if DST boundary has been
      crossed during operation.
      
      ```
      tarantool> datetime.new{year=2008, month=1, day=1,
      			tz='Europe/Moscow'} +
      	   datetime.interval.new{month=6}
      ---
      - 2008-07-01T01:00:00 Europe/Moscow
      ...
      ```
      
      Now we resolve tzoffset at the end of operation if
      tzindex is not 0.
      
      Fixes #7700
      
      NO_DOC=bugfix
      6ca07285
    • Ilya Verbin's avatar
      box: forbid DDL operations until box.schema.upgrade · 38f88795
      Ilya Verbin authored
      Currently, in case of recovery from an old snapshot, Tarantool allows to
      perform DDL operations on an instance with non-upgraded schema.
      It leads to various unpredictable errors (because the DDL code assumes
      that the schema is already upgraded). This patch forbids the following
      operations unless the user has the most recent schema version:
      - box.schema.space.create
      - box.schema.space.drop
      - box.schema.space.alter
      - box.schema.index.create
      - box.schema.index.drop
      - box.schema.index.alter
      - box.schema.sequence.create
      - box.schema.sequence.drop
      - box.schema.sequence.alter
      - box.schema.func.create
      - box.schema.func.drop
      
      Closes #7149
      
      NO_DOC=bugfix
      38f88795
    • Ilya Verbin's avatar
      box: use dd_version_id instead of _schema.version in get_version · 3e6393d5
      Ilya Verbin authored
      By default a user might not have privileges to access the _schema space,
      that will cause an error during schema_needs_upgrade(), which calls
      get_version(). Fix this by using C variable dd_version_id, which is
      updated in the _schema.version replace trigger.
      
      There's a special case for upgrade() during bootstrap() - triggers are
      disabled during bootstrap, that's why dd_version_id is not being updated.
      Handle this by passing _initial_version=1.7.5 to the upgrade function.
      
      Part of #7149
      
      NO_DOC=internal
      NO_CHANGELOG=internal
      3e6393d5
  3. Oct 14, 2022
    • Mergen Imeev's avatar
      sql: fix assertion in JOIN using unsupported index · fd780129
      Mergen Imeev authored
      This patch fixed the assertion when JOIN uses index of unsupported type.
      
      Closes #5678
      
      NO_DOC=bugfix
      fd780129
    • Vladimir Davydov's avatar
      vinyl: implement transaction isolation levels · 588170a7
      Vladimir Davydov authored
      This commit adds support of transaction isolation levels introduced
      earlier for memtx mvcc by commit ec750af6 ("txm: introduce
      transaction isolation levels"). The isolation levels work exactly in
      the same way as in memtx:
      
       - Unless a transaction explicitly specifies the 'read-committed'
         isolation level, it'll skip prepared statements, even if they are
         visible from its read view. The background for this was implemented
         in the previous patches, which added the is_prepared_ok flag to
         cache and mem iterators.
      
       - If a transaction skips a prepared statement, which would otherwise be
         visible from its read view, it's sent to the most recent read view
         preceding the prepared statement LSN. Note, older prepared statements
         are still visible from this read view and can actually be selected if
         committed later.
      
       - A transaction using the 'best-effort' isolation level (default) is
         switched to 'read-committed' when it executes the first write
         statement.
      
      The implementation is tested by the existing memtx mvcc tests that were
      made multi-engine in the scope of this commit. However, we add one more
      test case - the one that checks that a 'best-effort' read view is
      properly updated in case there is more than one prepared transaction.
      Also, there are few tests that relied upon the old implementation and
      assumed that select from Vinyl may return unconfirmed tuples. We update
      those tests here as well.
      
      Closes #5522
      
      NO_DOC=already documented
      588170a7
    • Vladimir Davydov's avatar
      vinyl: allow to skip prepared statements in cache iterator · f4ffd191
      Vladimir Davydov authored
      To implement read-confirmed and best-effort isolation levels, we need
      to skip unconfirmed (aka prepared) statements in the cache iterator. To
      achieve that, we add a new flag is_prepared_ok. Unless the flag is set,
      the iterator will skip prepared statements even if they are visible from
      the iterator read view. Note, in contrast to the mem iterator, we don't
      need to keep track of the min skipped statement LSN, because the cache
      is just a view of the underlying levels so we'll find it out when we
      descend to the mem level.
      
      Needed for #5522
      
      NO_DOC=internal
      NO_CHANGELOG=internal
      f4ffd191
    • Vladimir Davydov's avatar
      vinyl: allow to skip prepared statements in mem iterator · 0986bd99
      Vladimir Davydov authored
      To implement read-confirmed and best-effort isolation levels, we need
      to skip unconfirmed (aka prepared) statements in the mem iterator. To
      achieve that, we add a new flag is_prepared_ok. Unless the flag is set,
      the iterator will skip prepared statements even if they are visible from
      the iterator read view. Upon skipping a statement, the iterator updates
      min_skipped_plsn if the LSN of the skipped statement is less. We'll use
      this LSN to update the transaction read view accordingly.
      
      Needed for #5522
      
      NO_DOC=internal
      NO_CHANGELOG=internal
      0986bd99
    • Vladimir Davydov's avatar
      test: cleanup unit/vy_mem and unit/vy_cache tests · 4c6c0d8b
      Vladimir Davydov authored
      unit/vy_mem:
       - Remove the code creating unused lsregion.
       - Make test key_def and tuple_format global variables.
       - Replace assert() with fail().
      
      unit/vy_cache:
       - Add missing test plan.
      
      both:
       - Move history_node_pool to test/unit/vy_iterator_helpers.c.
      
      Needed for #5522
      
      NO_DOC=test
      NO_TEST=test
      NO_CHANGELOG=test
      4c6c0d8b
    • Vladimir Davydov's avatar
      vinyl: create autocommit transaction for index.get · 74ab085c
      Vladimir Davydov authored
      If index.get is called outside a transaction, we use the global read
      view for it and set tx to NULL. This works fine for now, but may result
      in dirty reads in a single statement, because prepared but not yet
      committed to WAL statements are visible in the global read view. We are
      planning to fix it in the tx manager. Let's make index.get create a
      dummy transaction so once we fix it, index.get will always return
      committed statements.
      
      Note, index.pairs already creates a dummy transaction if called
      outside a transaction (see vinyl_index_create_iterator) so this patch
      makes behavior consistent across both read paths.
      
      Needed for #5522
      
      NO_DOC=refactoring
      NO_TEST=refactoring
      NO_CHANGELOG=refactoring
      74ab085c
  4. Oct 13, 2022
    • Vladislav Shpilevoy's avatar
      replication: send raft terms in applier heartbeats · 54495510
      Vladislav Shpilevoy authored
      There was a bug that an instance could ack a transaction from an
      old Raft term thus allowing the old leader to CONFIRM it, even if
      that first instance knew there is a newer Raft term going on.
      
      As a result, the old leader could write CONFIRM even if there is
      already a new leader elected and the synchro quorum was > half.
      That led to split-brain, when bad txn reached the new leader, and
      PROMOTE reached the old leader.
      
      Split-brain here is totally unnecessary. If the quorum is correct,
      synchro timeout is infinite, and there is no async transactions,
      then split-brain shouldn't ever happen.
      
      The fix is as simple as attach the current Raft term number to
      applier heartbeats.
      
      In the testcase above if terms are attached, the old leader gets
      ACK + new term. That causes the old leader freeze even if the
      pending txn got quorum. The old leader can't CONFIRM nor ROLLBACK
      its pending txns until a new leader is elected.
      
      Freeze is guaranteed, because if a new leader was elected, then it
      had got votes from > half cluster. It means > half nodes have the
      new term. That in turn means the old leader during collecting ACKs
      for its "new" txn will get the new term number from at least one
      replica.
      
      When the new leader finished writing PROMOTE, it either confirms
      or rolls back the txn of the old leader (depending on whether it
      has reached the new leader before promotion). Neither result
      causes split brain. The rollback only causes a non-critical error
      on the old leader raised by the bad txn's commit attempt.
      
      There were some alternatives considered. One of the most promising
      ones was to make instances reject txns if they see these txns
      coming from an instance having an old Raft term. It would help in
      the test provided above. But wouldn't do in a more complicated
      test, when there is a third node which gets the bad transaction,
      then gets local term bumped, and then replicates to any other
      instance. Others would accept that bad txn, because the sender has
      a newer Raft term, even though the txn author is still in the old
      term. Tracking terms of txn author is not possible in too many
      cases so as to rely on that.
      
      Closes #7253
      
      @TarantoolBot document
      Title: New iproto field in applier -> relay ACKs
      The applier->relay channel (from replica back to master) is used
      only for sending ACKs. Replication data goes the other way
      (relay->applier).
      
      These ACKs had 2 fields: `IPROTO_VCLOCK (0x26)` and
      `IPROTO_VCLOCK_SYNC (0x5a)`.
      
      Now they have a new field: `IPROTO_TERM (0x53)`. It is a unsigned
      number containing `box.info.election.term` of the sender node
      (applier, replica).
      54495510
    • Vladislav Shpilevoy's avatar
      test: factor wal play until "synchro busy" out · 135fd0ff
      Vladislav Shpilevoy authored
      The function play_wal_until_synchro_queue_is_busy() was used in a
      few tests copy-pasted since it was considered to be too specific
      for a few rare tests. But apparently it is going to be used again
      in a new test in a future commit.
      
      The patch makes this function a method of server object to reuse
      it properly.
      
      Needed for #7253
      
      NO_DOC=refactoring
      NO_CHANGELOG=refactoring
      135fd0ff
    • Ilya Verbin's avatar
      box: forbid non-string types in key_def.new() · 5215f3f3
      Ilya Verbin authored
      Currently if a non-string type is passed to luaT_key_def_set_part,
      lua_tolstring returns null-pointer type_name, which is passed to
      a string formatting function in diag_set.
      
      Closes #5222
      
      NO_DOC=bugfix
      5215f3f3
    • Ilya Verbin's avatar
      box: strengthen field type check · 2dbaf9c2
      Ilya Verbin authored
      
      Don't accept an empty string or leading part of "str" or "num" as a
      valid field type.
      
      Closes #5940
      
      NO_DOC=Partial field types weren't documented
      
      Co-authored-by: default avatarAlexander Turenko <alexander.turenko@tarantool.org>
      2dbaf9c2
    • Aleksandr Lyapunov's avatar
      box: revoke access of guest to LUA function · 815788c8
      Aleksandr Lyapunov authored
      Since the function is actually an eval, by default there should
      be no execute access right in public role.
      
      Closes tarantool/security#14
      
      NO_DOC=bugfix
      815788c8
    • Mergen Imeev's avatar
      box: drop 'execute' field from uninitialized box · d960476d
      Mergen Imeev authored
      Prior to this patch, it was possible to call box.execute() before box
      was initialized, i.e. before calling box.cfg(). This, however, caused
      box.cfg() to be called automatically, which could be problematic as some
      parameters could not be changed after box.cfg() was called. After this
      patch, box.execute() will only be available when the box has been
      initialized.
      
      Closes #4726
      
      @TarantoolBot document
      Title: box.execute() now available only after initialization of box
      
      Previously, it was possible to call box.execute() before the box was
      configured, in which case the box was configured automatically, which
      could lead to problems with box parameters. Now box.execute() can only
      be called after the box has been properly configured.
      
      It is also forbidden to set language to SQL in a console with an
      unconfigured box.
      d960476d
  5. Oct 12, 2022
  6. Oct 11, 2022
    • Mergen Imeev's avatar
      sql: change rules used to determine NULLIF() type · 805cbaa7
      Mergen Imeev authored
      This patch introduces new rules to determine type of NULLIF() built-in
      function.
      
      Closes #6990
      
      @TarantoolBot document
      Title: New rules to determine type of result of NULLIF
      
      The type of the result of NULLIF() function now matches the type of the
      first argument.
      805cbaa7
    • Mergen Imeev's avatar
      sql: change rules used to determine CASE type · 90f64460
      Mergen Imeev authored
      This patch introduces new rules to determine type of CASE operation.
      
      Part of #6990
      
      @TarantoolBot document
      Title: New rules to determine type of result of CASE
      
      New rules are applied to determine the type of the CASE operation. If
      all values are NULL with no type, or if a bind variable exists among
      the possible results, then the type of CASE is ANY. Otherwise, all NULL
      values with no type are ignored, and the type of CASE is determined
      using the following rules:
      1) if all values of the same type, then type of CASE is this type;
      2) otherwise, if any of the possible results is of one of the
      incomparable types, then the type of CASE is ANY;
      3) otherwise, if any of the possible results is of one of the
      non-numeric types, then the type of CASE is SCALAR;
      4) otherwise, if any of the possible results is of type NUMBER, then the
      type of CASE is NUMBER;
      5) otherwise, if any of the possible results is of type DECIMAL, then
      the type of CASE is DECIMAL;
      6) otherwise, if any of the possible results is of type DOUBLE, then the
      type of CASE is DOUBLE;
      7) otherwise the type of CASE is INTEGER.
      90f64460
  7. Oct 10, 2022
Loading