1. 23 Nov, 2018 2 commits
    • Marko Mäkelä's avatar
      27f3329f
    • Marko Mäkelä's avatar
      MDEV-17813 Crash in instant ALTER TABLE due to purge concurrently emptying table · 2c4844c9
      Marko Mäkelä authored
      Several race conditions between MDEV-15562 instant ALTER TABLE and purge
      were observed.
      
      The most obvious race condition resulted in a reported assertion failure in
      dict_index_t::instant_add_field(): instant.n_core_fields == n_core_fields
      would not hold if the table was emptied by purge after the time
      dict_table_t::prepare_instant() was called.
      
      During purge, it can turn out that the table is logically empty, only
      containing a metadata record. If the metadata record is of the type
      created by MDEV-11369 instant ADD COLUMN, it can be removed and
      dict_index_t::clear_instant_add() can be called. This will convert the
      table to the canonical non-instant format. (If the metadata record is
      of the MDEV-15562 type, then it can only be deleted if the table becomes
      empty as the result of rollback of an instant ALTER TABLE operation.)
      
      row_purge_remove_clust_if_poss_low(): Add a debug check that ensures
      that purge can never remove a MDEV-15562 metadata record.
      
      ha_innobase::open(): Add a comment about the necessity of rolling
      back any recovered instant ALTER TABLE transaction on the table.
      
      instant_metadata_lock(): An auxiliary function to acquire a page latch
      on the metadata record, to prevent race conditions.
      
      dict_table_t::prepare_instant(), dict_index_t::instant_add_field(),
      dict_table_t::rollback_instant(), innobase_instant_try():
      Invoke instant_metadata_lock() in order to prevent race conditions.
      
      dict_index_t::instant_add_field(): Correct debug assertions.
      The == was guaranteed by code in dict_table_t::prepare_instant()
      that was introduced in MDEV-15562. Due to the race condition,
      we could occasionally have <=, but never >= like the code was
      after MDEV-11369.
      
      ha_innobase_inplace_ctx::instant_column(): Wrapper for
      dict_table_t::instant_column(). Add debug assertions.
      2c4844c9
  2. 22 Nov, 2018 5 commits
    • Marko Mäkelä's avatar
      Fix the -DWITH_WSREP:BOOL=OFF build · 46a41108
      Marko Mäkelä authored
      46a41108
    • Marko Mäkelä's avatar
      MDEV-17794 Do not assign persistent ID for temporary tables · 4be0855c
      Marko Mäkelä authored
      InnoDB in MySQL 5.7 introduced two new parameters to the function
      dict_hdr_get_new_id(), to allow redo logging to be disabled when
      assigning identifiers to temporary tables or during the
      backup-unfriendly TRUNCATE TABLE that was replaced in MariaDB
      by MDEV-13564.
      
      Now that MariaDB 10.4.0 removed the crash recovery code for the
      backup-unfriendly TRUNCATE, we can revert dict_hdr_get_new_id()
      to be used only for persistent data structures.
      
      dict_table_assign_new_id(): Remove. This was a simple 2-line function
      that was called from few places.
      
      dict_table_open_on_id_low(): Declare in the only file where it
      is called.
      
      dict_sys_t::temp_id_hash: A separate lookup table for temporary tables.
      Table names will be in the common dict_sys_t::table_hash.
      
      dict_sys_t::get_temporary_table_id(): Assign a temporary table ID.
      
      dict_sys_t::get_table(): Look up a persistent table.
      
      dict_sys_t::get_temporary_table(): Look up a temporary table.
      
      dict_sys_t::temp_table_id: The sequence of temporary table identifiers.
      Starts from DICT_HDR_FIRST_ID, so that we can continue to simply compare
      dict_table_t::id to a few constants for the persistent hard-coded
      data dictionary tables.
      
      undo_node_t::state: Distinguish temporary and persistent tables.
      
      lock_check_dict_lock(), lock_get_table_id(): Assert that there cannot
      be locks on temporary tables.
      
      row_rec_to_index_entry_impl(): Assert that there cannot be metadata
      records on temporary tables.
      
      row_undo_ins_parse_undo_rec(): Distinguish temporary and persistent tables.
      Move some assertions from the only caller. Return whether the table was
      found.
      
      row_undo_ins(): Add some assertions.
      
      row_undo_mod_clust(), row_undo_mod(): Do not assign node->state.
      Let row_undo() do that.
      
      row_undo_mod_parse_undo_rec(): Distinguish temporary and persistent tables.
      Move some assertions from the only caller. Return whether the table was
      found.
      
      row_undo_try_truncate(): Renamed and simplified from trx_roll_try_truncate().
      
      row_undo_rec_get(): Replaces trx_roll_pop_top_rec_of_trx() and
      trx_roll_pop_top_rec(). Fetch an undo log record, and assign undo->state
      accordingly.
      
      trx_undo_truncate_end(): Acquire the rseg->mutex only for the minimum
      required duration, and release it between mini-transactions.
      4be0855c
    • Marko Mäkelä's avatar
      23ff318d
    • Alexander Barkov's avatar
    • Marko Mäkelä's avatar
      MDEV-17793 Crash in purge after instant DROP and emptying the table · 2ebb110c
      Marko Mäkelä authored
      There was a race condition between ALTER TABLE and purge.
      
      If a table turns out to be logically empty when instant ALTER TABLE
      is executing, we will convert the table to the canonical format,
      to avoid overhead during subsequent accesses, and to allow the
      data file to be imported into older versions of MariaDB.
      
      It could happen that at the time the table is logically empty,
      there still exists an undo log record for updating the hidden
      metadata record for an earlier instant ALTER TABLE operation.
      If the table was converted to the canonical format before
      purge processes this undo log record, the undo log record
      could be referring to index fields that no longer exist,
      causing a crash.
      
      To prevent the race condition, we must delete the old undo log records.
      We do this lazily by assigning a new table ID, so that the table lookup
      for the old undo log records will fail.
      
      dict_table_t::reassign_id(): Reassign the table_id to
      effectively lazily delete old undo log records.
      
      innobase_instant_try(): Invoke index->table->reassign_id() before
      index->clear_instant_alter().
      2ebb110c
  3. 21 Nov, 2018 5 commits
  4. 20 Nov, 2018 11 commits
  5. 19 Nov, 2018 8 commits
  6. 18 Nov, 2018 2 commits
    • Marko Mäkelä's avatar
      Fix a compilation error · 7debbd78
      Marko Mäkelä authored
      ib_counter_t::ib_counter_element_t: Avoid sizeof on a std::atomic type,
      because it causes errors on some version of the Microsoft compiler.
      7debbd78
    • Marko Mäkelä's avatar
      MDEV-17750: Fix the Windows build · 075820ab
      Marko Mäkelä authored
      Remove some redundant declarations of global variables. These declarations
      can refer to undefined type names, because they occur before any #include
      statement for the type definitions. On GNU/Linux, uint and ulong seem to
      be defined in <sys/types.h> due to _DEFAULT_SOURCE and __USE_MISC
      becoming defined in <features.h>.
      075820ab
  7. 17 Nov, 2018 1 commit
  8. 16 Nov, 2018 6 commits