1. 26 Sep, 2024 1 commit
  2. 25 Sep, 2024 1 commit
    • Denis Protivensky's avatar
      MDEV-34822: Skip FK checks in Galera during applying in IST · d9b03e57
      Denis Protivensky authored
      Appliers need to verify foreign key constraints during normal
      operation, in multi-active topologies, and for this reason appliers
      are configured to enable FK checking.
      
      However, during node joining, in IST and latter catch up period,
      the node is still idle (from local connections), and only source
      for incoming transactions is the cluster sending certified write
      sets for applying. IST happens with parallel applying, and there
      is a possibility that foreign key check cause lock conflicts between
      appliers accessing FK child and parent tables. Also, the excessive
      FK checking will slow down IST process somewhat.
      
      For this reasons, we could relax FK checks for appliers during IST
      and catch up periods. The relaxed FK check mode should, however, be
      configurable e.g. by wsrep_mode flag: SKIP_APPLIER_FK_CHECKS_IN_IST.
      When this operation mode is set, and the node is processing IST or
      catch up, appliers should skip FK checking.
      Signed-off-by: default avatarJulius Goryavsky <julius.goryavsky@mariadb.com>
      d9b03e57
  3. 24 Sep, 2024 1 commit
    • Denis Protivensky's avatar
      MDEV-34836: TOI on parent table must BF abort SR in progress on a child · 231900e5
      Denis Protivensky authored
      Applied SR transaction on the child table was not BF aborted by TOI running
      on the parent table for several reasons:
      
      Although SR correctly collected FK-referenced keys to parent, TOI in Galera
      disregards common certification index and simply sets itself to depend on
      the latest certified write set seqno.
      
      Since this write set was the fragment of SR transaction, TOI was allowed to
      run in parallel with SR presuming it would BF abort the latter.
      
      At the same time, DML transactions in the server don't grab MDL locks on
      FK-referenced tables, thus parent table wasn't protected by an MDL lock from
      SR and it couldn't provoke MDL lock conflict for TOI to BF abort SR transaction.
      
      In InnoDB, DDL transactions grab shared MDL locks on child tables, which is not
      enough to trigger MDL conflict in Galera.
      
      InnoDB-level Wsrep patch didn't contain correct conflict resolution logic due to
      the fact that it was believed MDL locking should always produce conflicts correctly.
      
      The fix brings conflict resolution rules similar to MDL-level checks to InnoDB,
      thus accounting for the problematic case.
      
      Apart from that, wsrep_thd_is_SR() is patched to return true only for executing
      SR transactions. It should be safe as any other SR state is either the same as
      for any single write set (thus making the two logically equivalent), or it reflects
      an SR transaction as being aborting or prepared, which is handled separately in
      BF-aborting logic, and for regular execution path it should not matter at all.
      Signed-off-by: default avatarJulius Goryavsky <julius.goryavsky@mariadb.com>
      231900e5
  4. 23 Sep, 2024 2 commits
    • Marko Mäkelä's avatar
      MDEV-34983: Remove x86 asm from InnoDB · 638c62ac
      Marko Mäkelä authored
      Starting with GCC 7 and clang 15, single-bit operations such as
      fetch_or(1) & 1 are translated into 80386 instructions such as
      LOCK BTS, instead of using the generic translation pattern
      of emitting a loop around LOCK CMPXCHG.
      
      Given that the oldest currently supported GNU/Linux distributions
      ship GCC 7, and that older versions of GCC are out of support,
      let us remove some work-arounds that are not strictly necessary.
      If someone compiles the code using an older compiler, it will work
      but possibly less efficiently.
      
      srw_mutex_impl::HOLDER: Changed from 1U<<31 to 1 in order to
      work around https://github.com/llvm/llvm-project/issues/37322
      which is specific to setting the most significant bit.
      
      srw_mutex_impl::WAITER: A multiplier of waiting requests.
      This used to be 1, which would now collide with HOLDER.
      
      fil_space_t::set_stopping(): Remove this unused function.
      
      In MSVC we need _interlockedbittestandset() for LOCK BTS.
      638c62ac
    • Lena Startseva's avatar
  5. 20 Sep, 2024 2 commits
  6. 16 Sep, 2024 2 commits
  7. 15 Sep, 2024 12 commits
  8. 14 Sep, 2024 1 commit
    • Marko Mäkelä's avatar
      mtr_t::log_file_op(): Fix -Wnonnull · 4010dff0
      Marko Mäkelä authored
      GCC 12.2.0 could issue -Wnonnull for an unreachable call to
      strlen(new_path).  Let us prevent that by replacing the condition
      (type == FILE_RENAME) with the equivalent (new_path).
      This should also optimize the generated code, because the life time
      of the parameter "type" will be reduced.
      4010dff0
  9. 13 Sep, 2024 1 commit
    • Marko Mäkelä's avatar
      MDEV-34921 MemorySanitizer reports errors for non-debug builds · b331cde2
      Marko Mäkelä authored
      my_b_encr_write(): Initialize also block_length, and at the same time
      last_block_length, so that all 128 bits can be initialized with fewer
      writes. This fixes an error that was caught in the test
      encryption.tempfiles_encrypted.
      
      test_my_safe_print_str(): Skip a test that would attempt to
      display uninitialized data in the test unit.stacktrace.
      Previously, our CI did not build unit tests with MemorySanitizer.
      
      handle_delayed_insert(): Remove a redundant call to pthread_exit(0),
      which would for some reason cause MemorySanitizer in clang-19 to
      report a stack overflow in a RelWithDebInfo build. This fixes a
      failure of several tests.
      
      Reviewed by: Vladislav Vaintroub
      b331cde2
  10. 12 Sep, 2024 5 commits
  11. 11 Sep, 2024 5 commits
  12. 10 Sep, 2024 7 commits