Skip to content
Snippets Groups Projects
  1. Apr 05, 2023
  2. Apr 03, 2023
  3. Mar 31, 2023
  4. Mar 29, 2023
    • Andrey Saranchin's avatar
      memtx: validate only cmp_def parts in pagination · d8e3b725
      Andrey Saranchin authored
      Currently, we check that tuple passed as position fits space format.
      However, for pagination purposes, it's enough to validate only parts of
      tuple that are used in cmp_def. And, it allows not to use space format -
      we will need it in read view. So the patch replaces tuple validation with
      validation of its cmp_def parts only.
      
      Closes #8511
      Part of tarantool/tarantool-ee#285
      
      NO_DOC=bugfix
      
      (cherry picked from commit 275130ff)
      d8e3b725
    • Andrey Saranchin's avatar
      key_def: introduce tuple_validate_key_parts_raw helper · 7b123296
      Andrey Saranchin authored
      We are going to validate only key parts of passed tuple in pagination.
      That is why the patch introduces helper that allows to do it with raw
      version of tuple.
      
      Part of #8511
      Part of tarantool/tarantool-ee#285
      
      NO_CHANGELOG=internal
      NO_DOC=internal
      
      (cherry picked from commit f8bb4ec4)
      7b123296
    • Gleb Kashkin's avatar
      console: fix :endswith() err in tntctl connection · 62b934f6
      Gleb Kashkin authored
      There used to be a rare error when failed to connect via tarantoolctl to
      listening cartridge console. It was caused by unclear
      console.local_print() contract. Starting from gh-7031 fix, the function
      assumed string-only arguments, while in some cases cdata error was
      passed.
      
      Now console.local_print() prints all non-string arguments as is, without
      modifying potential local_eos.
      
      Closes #8374
      
      NO_DOC=bugfix
      NO_TEST=very hard to test
      
      (cherry picked from commit 796e4b5b)
      62b934f6
  5. Mar 24, 2023
  6. Mar 22, 2023
    • Yaroslav Lobankov's avatar
      test: bump test-run to new version · e9541f33
      Yaroslav Lobankov authored
      Bump test-run to new version with the following improvements:
      
      - Introduce flaky tests statistics [1]
      
      [1] tarantool/test-run@7729a4c
      
      Part of tarantool/tarantool-qa#299
      
      NO_DOC=testing stuff
      NO_TEST=testing stuff
      NO_CHANGELOG=testing stuff
      
      (cherry picked from commit f05e683c)
      e9541f33
    • Serge Petrenko's avatar
      relay: send heartbeats on top of replication stream · 3a4cbd50
      Serge Petrenko authored
      There was a problem with the leader's relay continuing to ping the
      remote followers even when the leader's tx thread is hung. This tricked
      the followers into thinking the leader is alive and well, even though it
      couldn't serve any new requests.
      
      The problem was partially fixed by commit 56571d83 ("raft: make
      followers notice leader hang"): that commit made relay thread stop
      sending heartbeats in case tx thread is unresponsive.
      
      Up to now we didn't differentiate between heartbeats and data rows: the
      receipt of both was considered a sign the master is alive. So if some
      replicas are not up to date with the master, they will continue thinking
      it's alive until they are fully synced and notice there are no more
      heartbeats from it.
      
      In order to fix this, stop treating all data as heartbeats and start
      sending heartbeats on top of an active replication stream.
      
      Closes #7515
      
      NO_DOC=bugfix
      
      (cherry picked from commit ee49c51a)
      3a4cbd50
    • Vladimir Davydov's avatar
      memtx: refactor statistics reporting · b4619452
      Vladimir Davydov authored
      `box.stat.memtx` is a table that contains the 'tx' function. This is
      confusing because other stat entries are callable: `box.stat.net()`,
      `box.stat.vinyl()`, `box.stat.sql()`.
      
      Let's make `box.stat.memtx` callable for consistency. The function
      returns a table with the only field 'tx'. Note, we can't drop
      `box.stat.memtx.tx()` without breaking backward compatibility so we now
      return `box.stat.memtx().tx` when it's called.
      
      Also, let's use `info_handler` instead of pushing statistics directly to
      Lua for better encapsulation.
      
      Needed for https://github.com/tarantool/tarantool-ee/issues/143
      Closes #8448
      
      NO_DOC=updated https://github.com/tarantool/doc/issues/2801
      
      (cherry picked from commit 89a60d82)
      b4619452
  7. Mar 21, 2023
    • Andrey Saranchin's avatar
      box: drop field max_id in space _schema · 184772e3
      Andrey Saranchin authored
      Now we use _space:max() instead of max_id for space id generation, so
      it is not used anymore. The patch removes max_id from bootstrap snapshot,
      adds upgrade and downgrade scripts.
      
      Closes #5997
      
      @TarantoolBot document
      Title: Update the description of _schema
      Root document: https://www.tarantool.io/en/doc/latest/reference/reference_lua/box_space/_schema/
      
      Since tarantool 2.11.1, there is no max_id field in space _schema.
      
      (cherry picked from commit 5324d66f)
      184772e3
    • Andrey Saranchin's avatar
      box: use maximal space id instead of _schema.max_id · 2d44eea7
      Andrey Saranchin authored
      Currently, _schema.max_id is used to generate sequentially growing
      space ids. The main drawback of this approach is that generated space id
      can be not unique if one mixes implicit and explicit space ids. Let's use
      actual maximal space id to generate a new one, and scan for free id if
      overflow happened.
      
      Closes #8036
      
      NO_DOC=bugfix
      
      (cherry picked from commit 697123d0)
      2d44eea7
    • Nikolay Shirokovskiy's avatar
      downgrade: handle function option takes_raw_args · 36eb94ac
      Nikolay Shirokovskiy authored
      Disable to downgrade in this case.
      
      Closes #8457
      
      NO_DOC=bugfix
      
      (cherry picked from commit fada9ca3)
      36eb94ac
    • Sergey Kaplun's avatar
      test: enable JIT again for flaky tests on arm64 · dbbeaff9
      Sergey Kaplun authored
      JIT has been disabled for these 4 tests on arm64 to avoid failing due to
      side-effects of constant rematerialization:
      * <app-tap/datetime.test.lua>
      * <box-luatest/gh_6539_log_user_space_empty_or_nil_select_test.lua>
      * <box-luatest/pagination_netbox_test.lua>
      * <engine-luatest/pagination_test.lua>
      
      The problem was solved via the commit
      15e62a67 ("luajit: bump new version").
      So, enable JIT compilation for these tests back.
      
      Closes #6599
      Closes #7739
      Closes #8011
      
      NO_CHANGELOG=tests
      NO_DOC=tests
      
      (cherry picked from commit 915e0b3a)
      dbbeaff9
  8. Mar 20, 2023
    • Nikolay Shirokovskiy's avatar
      changelog: fix file extension of changelog for gh-8463 · 788060f8
      Nikolay Shirokovskiy authored
      Follow-up #8463
      
      NO_DOC=style fix
      NO_CHANGELOG=style fix
      NO_TEST=style fix
      
      (cherry picked from commit 64532551)
      788060f8
    • Yaroslav Lobankov's avatar
      test: bump test-run to version w/ updated luatest · 8e475bc7
      Yaroslav Lobankov authored
      Bump test-run to new version with the following improvements:
      
      - Bump luatest to 0.5.7-29-geef05dd [1]
      
      [1] tarantool/test-run@cc3c38e
      
      NO_DOC=testing stuff
      NO_TEST=testing stuff
      NO_CHANGELOG=testing stuff
      
      (cherry picked from commit 8ac35039)
      8e475bc7
    • Alexander Turenko's avatar
      httpc: fix signed integer overflow · 430605ef
      Alexander Turenko authored
      The `lua_add_key_u64()` function pushes an `uint64_t` value using
      `lua_pushinteger()`, which accepts `int64_t` argument. A value >= 2^63
      will be interpreted as a negative value on all architectures we're
      supporting. However, technically it is implementation defined behavior
      (see n1256, 6.3.1.3.3).
      
      It is not a problem, in fact, because the function is used only to
      report `http_client:stat()` statistics and because values beyond 2^63-1
      are unreachable in practice.
      
      OTOH, it is easy to eliminate the undefined behavior by replacing
      `lua_pushinteger()` with our own helper function, which accepts
      `uint64_t`: `luaL_pushuint64()`.
      
      The values above 10^14 - 1 are now pushed as `cdata<uint64_t>`. Lower
      values are pushed as `number` just like before the commit.
      
      Reported-in: https://github.com/tarantool/security/issues/103
      
      NO_DOC=The type of values in the statistics is not specified explicitly
             in the documentation (not obligated to be `number`) and it is
             quite common for Tarantool to return a value of `cdata<int64_t>`
             or `cdata<uint64_t>` type for an integer with a large absolute
             value.
      NO_CHANGELOG=see NO_DOC
      NO_TEST=It is hard to reach so large values externally (send 2^63
              requests) and it doesn't look worthful to introduce an error
              injection/a internal API to test it. `luaL_pushuint64()` is
              covered by the module API test.
      
      (cherry picked from commit 3dbbf2d3)
      430605ef
    • Vladimir Davydov's avatar
      vinyl: don't make dir when index is created · 50741ec5
      Vladimir Davydov authored
      The index directory is created on demand since commit c00ba8e7
      ("xlog: make log directory if needed") and removed when it becomes
      empty. There's no need to create it when an index is created anymore.
      
      Follow-up #8441
      
      NO_DOC=bugfix
      
      (cherry picked from commit 9b50c095)
      50741ec5
    • Denis Smirnov's avatar
      vinyl: remove root directory if there are no more runs · d0d7746d
      Denis Smirnov authored
      When vinyl space is dropped, its files are left on the file system
      until GC removes them. At the moment GC removes only run files,
      but not the root directory. These empty directories are never
      removed and occupy 4KB on ext-family file systems each. In a case
      of many dropped vinyl spaces it can become a serious disk space
      and inode leak. Current commit makes gc always remove root directory
      if there are no runs in it.
      
      Closes #8441
      
      NO_DOC=bugfix
      
      (cherry picked from commit ee3c1964)
      d0d7746d
    • Nikolay Shirokovskiy's avatar
      box: fix a crash on unknown function option · fd2064da
      Nikolay Shirokovskiy authored
      `func_opts_reg` definition misses a `OPT_END` termintator item. This
      leads to UB on iterating it. Particularly when `func_opts_reg` is used
      as argument to `opts_decode` in `func_def_new_from_tuple`.
      
      Closes #8463
      
      NO_DOC=bugfix
      
      (cherry picked from commit a652b03f)
      fd2064da
    • Serge Petrenko's avatar
      util: drop unused fdprintf() function · 0971bf66
      Serge Petrenko authored
      The function is unused and still triggers some static analysis
      warnings. Let's drop it.
      
      itoa() became unused with removal of fdprintf(), so let's drop it as
      well.
      
      Closes tarantool/security#113
      
      NO_DOC=refactoring
      NO_TEST=refactoring
      NO_CHANGELOG=refactoring
      
      (cherry picked from commit 01220555)
      0971bf66
    • Serge Petrenko's avatar
      xrow: get rid of unsafe cast of unsigned to signed · 71b4b7b8
      Serge Petrenko authored
      Casting a uint64_t greater than INT64_MAX to int64_t is
      implementation-defined behaviour, according to the C standard. Let's
      avoid that.
      
      In both cases fixed `len` is uint32_t and `ibuf_used(in)` returns a
      size_t (aka uint64_t on every platform that we care about).
      Hence the result of the subtraction is uint64_t and better use
      it directly. Besides, `coio_breadn_timeout` also takes a size_t.
      
      While I'm at it, let's actually change `len` to be uint64_t:
      `mp_decode_uint()` returns that anyway.
      
      Closes tarantool/security#108
      Closes tarantool/security#109
      
      NO_DOC=refactoring
      NO_TEST=refactoring
      NO_CHANGELOG=refactoring
      
      (cherry picked from commit cc2d765a)
      71b4b7b8
    • Aleksandr Lyapunov's avatar
      box: fix big number encoding by msgpackffi · 85531c40
      Aleksandr Lyapunov authored
      Due to a typo some big numbers were coded as MP_(U)INT.
      
      Since msgpackffi is used in selectffi, which is used for memtx,
      that could lead to strange select results with big number keys.
      
      Closes #6119
      
      NO_DOC=bugfix
      
      (cherry picked from commit 67a586e1)
      85531c40
    • Mergen Imeev's avatar
      sql: fix wrong int to dec conversion · 3ae57975
      Mergen Imeev authored
      This patch fixes incorrect conversion of an integer greater than
      INT64_MAX or less than 0 to decimal during SQL arithmetic operations.
      
      Closes #8460
      
      NO_DOC=bugfix
      
      (cherry picked from commit 1e660dcf)
      3ae57975
  9. Mar 17, 2023
    • Vladimir Davydov's avatar
      net.box: fix crash when remote space field has unknown type · a294bd88
      Vladimir Davydov authored
      This commit fixes the following assertion failure that happens on
      a client in case a remote schema contains an unknown field type:
      
        src/box/lua/misc.cc:395: int lbox_tuple_format_new(lua_State*):
        Assertion `fields[i].type != field_type_MAX' failed.
      
      To fix the bug we remove the code that tries to set field types from
      box.internal.new_tuple_format. Actually, the format is used solely for
      providing field names so types are ignored anyway.
      
      Closes #4632
      
      NO_DOC=bug fix
      
      (cherry picked from commit 67578d1f)
      a294bd88
    • Mergen Imeev's avatar
      box: fix wrong validation of region_alloc() result · f4ce62a3
      Mergen Imeev authored
      Prior to this patch, the return value of region_alloc() in
      lbox_tuple_format_new() was not checked. This patch fixes this by
      replacing region_alloc() with xregion_alloc(). Also, this patch
      replaces region_alloc_array() to xregion_alloc_array() in the same
      function.
      
      Closes tarantool/security#116
      
      NO_DOC=bugfix
      NO_TEST=hard to reproduce the bug
      NO_CHANGELOG=bugfix for unlikely bug
      
      (cherry picked from commit 701fce89)
      f4ce62a3
    • Alexander Turenko's avatar
      merger: fix signed integer overflow · 0f1ed1fe
      Alexander Turenko authored
      The `merger.new()` call has the following code in the
      `luaT_merger_new_parse_sources()` function:
      
       | uint32_t source_count = lua_objlen(L, idx);
       | for (uint32_t i = 0; i < source_count; ++i) {
       |     <...>
       | }
       | lua_pop(L, source_count);
      
      It is possible that zero amount of sources are passed:
      
       | merger.new(kd, {})
      
      In this case the `source_count` variable is zero.
      
      `lua_pop()` is a macro defined this way:
      
       | #define lua_pop(L,n)		lua_settop(L, -(n)-1)
      
      It means that `n` in the `-(n)-1` expression is an unsigned 32 bit zero.
      Unsigned overflow is okay: it has defined behavior by the C standard and
      has the result 2^32-1 in the given case.
      
      The `lua_settop()` function is defined as follows:
      
       | LUA_API void  (lua_settop) (lua_State *L, int idx);
      
      We pass the `-(n)-1` value as `int idx` argument to `lua_settop()`. The
      value has uint32_t type and it is out of the `int` range ([-2^31,
      2^31]). Casting it to `int` has implementation defined behavior
      according to the standard (n1256,
      6.3.1.3.3).
      
      In practice, we're building Tarantool only for architectures with two's
      complement integers. The result of the cast is -1 and everything works
      as expected: the stack top remains unchanged.
      
      However, it is easy to eliminate the signed integer overflow, so it is
      worthful to do. We can just save the stack top value and use
      `lua_settop()` to restore it, which is quite common idiom.
      
      The problem can be found by clang's undefined behavior sanitizer.
      
      Apply the following patch:
      
      NO_WRAP
       | --- a/cmake/compiler.cmake
       | +++ b/cmake/compiler.cmake
       | @@ -238,6 +238,7 @@ macro(enable_tnt_compile_flags)
       |                  alignment bool bounds builtin enum float-cast-overflow
       |                  float-divide-by-zero function integer-divide-by-zero return
       |                  shift unreachable vla-bound
       | +                implicit-integer-sign-change
       |              )
       |
       |              # Exclude "object-size".
       | @@ -272,7 +273,7 @@ macro(enable_tnt_compile_flags)
       |              # the typeof(*obj) when obj is NULL, even though there is nothing
       |              # related to return.
       |
       | -            set(SANITIZE_FLAGS "-fsanitize=${SANITIZE_FLAGS} -fno-sanitize-recover=${SANITIZE_FLAGS}")
       | +            set(SANITIZE_FLAGS "-fsanitize=${SANITIZE_FLAGS}")
       |
       |              add_compile_flags("C;CXX" "${SANITIZE_FLAGS}")
       |          endif()
      NO_WRAP
      
      Build Tarantool with the sanitizer:
      
       | CC=clang-15 CXX=clang++-15 cmake . \
       |     -DCMAKE_BUILD_TYPE=Debug       \
       |     -DENABLE_BACKTRACE=ON          \
       |     -DENABLE_DIST=ON               \
       |     -DENABLE_FEEDBACK_DAEMON=OFF   \
       |     -DENABLE_BUNDLED_LIBCURL=OFF   \
       |     -DENABLE_BUNDLED_LIBUNWIND=OFF \
       |     -DENABLE_UB_SANITIZER=ON && make -j
      
      Run the interactive console and create a merger with zero sources:
      
       | tarantool> key_def = require('key_def')
       | tarantool> merger = require('merger')
       | tarantool> kd = key_def.new({{field = 1, type = 'number'}})
       | tarantool> m = merger.new(kd, {})
      
      Observe the 2^32-1 cast to 32 bit signed integer:
      
       | <...>/src/box/lua/merger.c:334:2: runtime error: implicit conversion
       |     from type 'unsigned int' of value 4294967295 (32-bit, unsigned)
       |     to type 'int' changed the value to -1 (32-bit, signed)
       | SUMMARY: UndefinedBehaviorSanitizer: undefined-behavior
       |     <...>/src/box/lua/merger.c:334:2 in
      
      The commit eliminates this report from the clang's sanitizer.
      
      I've added a test case, which goes over the relevant code path. It
      succeeds as before the commit as well as after it. If we'll enable a
      relevant dynamic analysis in a future (such as clang's
      `-fsanitize=implicit-integer-sign-change`), the test case may reveal
      problems on the given code path.
      
      Reported-in: https://github.com/tarantool/security/issues/103
      
      NO_DOC=no user-visible behavior changes
      NO_CHANGELOG=no user-visible behavior changes
      
      (cherry picked from commit ed2d260f)
      0f1ed1fe
  10. Mar 15, 2023
    • Vladimir Davydov's avatar
      memtx: add stubs to keep track of upgraded read view tuples · 3ba46291
      Vladimir Davydov authored
      If a read view is created while space upgrade is in progress, tuples
      fetched from the read view may be either upgraded or not. We need to
      be able to differentiate those tuples so that we can use the appropriate
      tuple format for them. To achieve that this commit adds the following
      function stubs:
      
       - memtx_space_upgrade_track_tuple and memtx_space_upgrade_untrack_tuple
         will be used to maintain a set of all upgraded tuples.
       - memtx_read_view_tuple_needs_upgrade will do a lookup in the set of
         all upgraded tuples to check if a tuple needs upgrade.
      
      The stubs will be implemented in the EE repository.
      
      Note that we have to call memtx_space_upgrade_untrack_tuple from
      memtx_engine_rollback_statement. The problem is that the space may be
      deleted while a transaction is inprogress, in which case we must not
      access space->upgrade in memtx_engine_rollback_statement. Fortunately,
      we call memtx_tx_on_space_delete when a memtx space is altered to
      rollback memtx transactions. So to handle this situation we set
      txn_stmt->engine_savepoint to NULL from memtx_tx_history_remove_stmt
      called from memtx_tx_on_space_delete. This makes the rollback function
      return early.
      
      Needed for tarantool/tarantool-ee#236
      
      NO_DOC=ee
      NO_TEST=ee
      NO_CHANGELOG=ee
      
      (cherry picked from commit 921a0717)
      3ba46291
    • Vladimir Davydov's avatar
      Revert "read_view: pass read_view_opts to index_create_read_view" · 4f23289e
      Vladimir Davydov authored
      This reverts commit e771d06d.
      
      Not needed anymore.
      
      NO_DOC=refactoring
      NO_TEST=refactoring
      NO_CHANGELOG=refactoring
      
      (cherry picked from commit faa50a3a)
      4f23289e
    • Vladimir Davydov's avatar
      memtx: pass index_read_view to memtx_prepare_read_view_tuple · 51db97aa
      Vladimir Davydov authored
      Currently, we pass only disable_decompression flag, but to handle tuples
      in case the read view was created while space upgrade was in progress,
      we'll need extra information stored in the read view struct. Let's pass
      index_read_view to memtx_prepeare_read_view_tuple instead of the flag.
      To do that we need to store the flag in struct read_view.
      
      Needed for tarantool/tarantool-ee#236
      
      NO_DOC=refactoring
      NO_TEST=refactoring
      NO_CHANGELOG=refactoring
      
      (cherry picked from commit f9dd677f)
      51db97aa
    • Vladimir Davydov's avatar
      index: wrap data returned from read read view in struct · dca299e4
      Vladimir Davydov authored
      This commit introduces read_view_tuple struct which is used for
      returning raw tuple data and size from a read view. In the following
      commits we'll add a flag indicating if the tuple was upgraded or not to
      this struct (relevant if the read view was created while space upgrade
      was running).
      
      Needed for tarantool/tarantool-ee#236
      
      NO_DOC=refactoring
      NO_TEST=refactoring
      NO_CHANGELOG=refactoring
      
      (cherry picked from commit 14cab2cd)
      dca299e4
    • Vladimir Davydov's avatar
      space: add engine-specific callback for space upgrade · 92b1751c
      Vladimir Davydov authored
      This commit adds the new callback space_vtab::prepare_upgrade. It is
      invoked after preparing to alter a space and passed the old and new
      space objects, like prepare_alter. The generic callback implementation
      raises an error saying that the engine doesn't support space upgrade.
      The memtx implementation raises an error saying that space upgrade isn't
      available in the community edition. It'll be overridden in the Tarantool
      EE repository.
      
      The new callback replaces calls to space_upgrade_check_alter and
      space_upgrade_new. Their job is now supposed to be done by the callback
      implementation in Tarantool EE. This change makes it easier to extend
      space upgrade implementation in Tarantool EE. In particular, we can now
      make it engine-dependent, which is required to fix the issue with tuple
      formats when a read view is created while space upgrade is in progress.
      
      Needed for tarantool/tarantool-ee#236
      
      NO_DOC=refactoring
      NO_CHANGELOG=refactoring
      
      (cherry picked from commit 93b3bba9)
      92b1751c
Loading