1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409 410 411 412 413 414 415 416 417 418 419 420 421 422 423 424 425 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453 454 455 456 457 458 459 460 461 462 463 464 465 466 467 468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491 492 493 494 495 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585 586 587 588 589 590 591 592 593 594 595 596 597 598 599 600 601 602 603 604 605 606 607 608 609 610 611 612 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627 628 629 630 631 632 633 634 635 636 637 638 639 640 641 642 643 644 645 646 647 648 649 650 651 652 653 654 655 656 657 658 659 660 661 662 663 664 665 666 667 668 669 670 671 672 673 674 675 676 677 678 679 680 681 682 683 684 685 686 687 688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 741 742 743 744 745 746 747 748 749 750 751 752 753 754 755 756 757 758 759 760 761 762 763 764 765 766 767 768 769 770 771 772 773 774 775 776 777 778 779 780 781 782 783 784 785 786 787 788 789 790 791 792 793 794 795 796 797 798 799 800 801 802 803 804 805 806 807 808 809 810 811 812 813 814 815 816 817 818 819 820 821 822 823 824 825 826 827 828 829 830 831 832
|
/*****************************************************************************
Copyright (c) 1996, 2025, Oracle and/or its affiliates.
This program is free software; you can redistribute it and/or modify it under
the terms of the GNU General Public License, version 2.0, as published by the
Free Software Foundation.
This program is designed to work with certain software (including
but not limited to OpenSSL) that is licensed under separate terms,
as designated in a particular file or component or in included license
documentation. The authors of MySQL hereby grant you an additional
permission to link the program and your derivative works with the
separately licensed software that they have either included with
the program or referenced in the documentation.
This program is distributed in the hope that it will be useful, but WITHOUT
ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
FOR A PARTICULAR PURPOSE. See the GNU General Public License, version 2.0,
for more details.
You should have received a copy of the GNU General Public License along with
this program; if not, write to the Free Software Foundation, Inc.,
51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
*****************************************************************************/
/** @file include/row0upd.h
Update of a row
Created 12/27/1996 Heikki Tuuri
*******************************************************/
#ifndef row0upd_h
#define row0upd_h
#include <stack>
#include "btr0types.h"
#include "data0data.h"
#include "dict0types.h"
#include "lob0lob.h"
#include "row0types.h"
#include "table.h"
#include "trx0types.h"
#include "univ.i"
#include "btr0pcur.h"
#ifndef UNIV_HOTBACKUP
#include "pars0types.h"
#include "que0types.h"
#endif /* !UNIV_HOTBACKUP */
/** Creates an update vector object.
@param[in] n number of fields
@param[in] heap heap from which memory allocated
@return own: update vector object */
inline upd_t *upd_create(ulint n, mem_heap_t *heap);
/** Returns the number of fields in the update vector == number of columns
to be updated by an update vector.
@param[in] update update vector
@return number of fields */
inline ulint upd_get_n_fields(const upd_t *update);
/** Returns the nth field of an update vector.
@param[in] update update vector
@param[in] n field position in update vector
@return update vector field */
inline upd_field_t *upd_get_nth_field(upd_t *update, ulint n);
/** Returns the nth field of an update vector.
@param[in] update update vector
@param[in] n field position in update vector
@return update vector field */
inline const upd_field_t *upd_get_nth_field(const upd_t *update, ulint n);
/** Set which index field is updated by an update vector field.
@param[in] upd_field update vector field
@param[in] field_no field position in index
@param[in] index index */
inline void upd_field_set_field_no(upd_field_t *upd_field, ulint field_no,
const dict_index_t *index);
/** Set for which virtual column the value is updated by an update vector
field.
@param[in,out] upd_field update vector field
@param[in] field_no virtual column number in table
@param[in] index index */
inline void upd_field_set_v_field_no(upd_field_t *upd_field, ulint field_no,
const dict_index_t *index);
/** Returns a field of an update vector by field_no.
@param[in] update Update vector.
@param[in] no "Field number" as stored in the update vector:
when is_virtual is false the position of the field
in the updated index, otherwise the column number
of the virtual field in table. @see upd_field::field_no
@param[in] is_virtual If it is a virtual column.
@return update vector field, or nullptr. */
[[nodiscard]] inline const upd_field_t *upd_get_field_by_field_no(
const upd_t *update, ulint no, bool is_virtual);
/** Writes into the redo log the values of trx id and roll ptr and enough info
to determine their positions within a clustered index record.
@param[in] index Clustered index.
@param[in] trx_id Transaction ID.
@param[in] roll_ptr Roll ptr of the undo log record.
@param[in] log_ptr Pointer to a buffer of size > 20 opened in mlog.
@param[in] mtr Mini-transaction.
@return new pointer to mlog */
byte *row_upd_write_sys_vals_to_log(dict_index_t *index, trx_id_t trx_id,
roll_ptr_t roll_ptr, byte *log_ptr,
mtr_t *mtr);
#ifndef UNIV_HOTBACKUP
/** Updates the trx id and roll ptr field in a clustered index record when a
row is updated or marked deleted.
@param[in,out] rec record
@param[in,out] page_zip compressed page whose uncompressed part will
be updated, or NULL
@param[in] index clustered index
@param[in] offsets rec_get_offsets(rec, index)
@param[in] trx transaction
@param[in] roll_ptr roll ptr of the undo log record, can be 0
during IMPORT */
inline void row_upd_rec_sys_fields(rec_t *rec, page_zip_des_t *page_zip,
const dict_index_t *index,
const ulint *offsets, const trx_t *trx,
roll_ptr_t roll_ptr);
#endif /* !UNIV_HOTBACKUP */
/** Sets the trx id or roll ptr field of a clustered index entry.
@param[in,out] entry Index entry, where the memory buffers for sys fields are
already allocated: the function just copies the new values to them
@param[in] index Clustered index
@param[in] type Data_trx_id or data_roll_ptr
@param[in] val Value to write */
void row_upd_index_entry_sys_field(dtuple_t *entry, dict_index_t *index,
ulint type, uint64_t val);
/** Creates an update node for a query graph.
@return own: update node */
upd_node_t *upd_node_create(
mem_heap_t *heap); /*!< in: mem heap where created */
/** Writes to the redo log the new values of the fields occurring in the index.
@param[in] index index which to be updated
@param[in] update update vector
@param[in] log_ptr pointer to mlog buffer: must contain at least
MLOG_BUF_MARGIN bytes of free space; the buffer
is closed within this function
@param[in] mtr mtr into whose log to write */
void row_upd_index_write_log(dict_index_t *index, const upd_t *update,
byte *log_ptr, mtr_t *mtr);
/** Returns true if row update changes size of some field in index or if some
field to be updated is stored externally in rec or update.
@return true if the update changes the size of some field in index or
the field is external in rec or update */
bool row_upd_changes_field_size_or_external(
const dict_index_t *index, /*!< in: index */
const ulint *offsets, /*!< in: rec_get_offsets(rec, index) */
const upd_t *update); /*!< in: update vector */
/** Returns true if row update contains disowned external fields.
@return true if the update contains disowned external fields. */
[[nodiscard]] bool row_upd_changes_disowned_external(
const upd_t *update); /*!< in: update vector */
/** Replaces the new column values stored in the update vector to the
record given. No field size changes are allowed. This function is
usually invoked on a clustered index. The only use case for a
secondary index is row_ins_sec_index_entry_by_modify() or its
counterpart in ibuf_insert_to_index_page(). */
void row_upd_rec_in_place(
rec_t *rec, /*!< in/out: record where replaced */
const dict_index_t *index, /*!< in: the index the record belongs to */
const ulint *offsets, /*!< in: array returned by rec_get_offsets() */
const upd_t *update, /*!< in: update vector */
page_zip_des_t *page_zip); /*!< in: compressed page with enough space
available, or NULL */
/** Builds an update vector from those fields which in a secondary index entry
differ from a record that has the equal ordering fields. NOTE: we compare
the fields as binary strings!
@return own: update vector of differing fields */
[[nodiscard]] upd_t *row_upd_build_sec_rec_difference_binary(
const rec_t *rec, /*!< in: secondary index record */
dict_index_t *index, /*!< in: index */
const ulint *offsets, /*!< in: rec_get_offsets(rec, index) */
const dtuple_t *entry, /*!< in: entry to insert */
mem_heap_t *heap); /*!< in: memory heap from which allocated */
/** Builds an update vector from those fields, excluding the roll ptr and
trx id fields, which in an index entry differ from a record that has
the equal ordering fields. NOTE: we compare the fields as binary strings!
@param[in] index clustered index
@param[in] entry clustered index entry to insert
@param[in] rec clustered index record
@param[in] offsets rec_get_offsets(rec,index), or NULL
@param[in] no_sys skip the system columns
DB_TRX_ID and DB_ROLL_PTR
@param[in] trx transaction (for diagnostics),
or NULL
@param[in] heap memory heap from which allocated
@param[in] mysql_table NULL, or mysql table object when
user thread invokes dml
@param[out] error error number in case of failure
@return own: update vector of differing fields, excluding roll ptr and
trx id */
[[nodiscard]] upd_t *row_upd_build_difference_binary(
dict_index_t *index, const dtuple_t *entry, const rec_t *rec,
const ulint *offsets, bool no_sys, trx_t *trx, mem_heap_t *heap,
TABLE *mysql_table, dberr_t *error);
/** Replaces the new column values stored in the update vector to the index
entry given.
@param[in,out] entry Index entry where replaced; the clustered index record must
be covered by a lock or a page latch to prevent deletion [rollback or purge]
@param[in] index Index; note that this may also be a non-clustered index
@param[in] update An update vector built for the index so that the field number
in an upd_field is the index position
@param[in] order_only If true, limit the replacement to ordering fields of
index; note that this does not work for non-clustered indexes.
@param[in] heap Memory heap for allocating and copying the new values */
void row_upd_index_replace_new_col_vals_index_pos(dtuple_t *entry,
const dict_index_t *index,
const upd_t *update,
bool order_only,
mem_heap_t *heap);
/** Replaces the new column values stored in the update vector to the index
entry given.
@param[in,out] entry Index entry where replaced; the clustered index record must
be covered by a lock or a page latch to prevent deletion (rollback or purge)
@param[in] index Index; note that this may also be a non-clustered index
@param[in] update An update vector built for the clustered index so that the
field number in an upd_field is the clustered index position
@param[in] heap Memory heap for allocating and copying the new values */
void row_upd_index_replace_new_col_vals(dtuple_t *entry,
const dict_index_t *index,
const upd_t *update, mem_heap_t *heap);
/** Replaces the new column values stored in the update vector.
@param[in,out] row Row where replaced, indexed by col_no; the clustered index
record must be covered by a lock or a page latch to prevent deletion (rollback
or purge)
@param[in,out] ext Null, or externally stored column prefixes
@param[in] index Clustered index
@param[in] update An update vector built for the clustered index
@param[in] heap Memory heap */
void row_upd_replace(dtuple_t *row, row_ext_t **ext, const dict_index_t *index,
const upd_t *update, mem_heap_t *heap);
/** Replaces the virtual column values stored in a dtuple with that of
a update vector.
@param[in,out] row dtuple whose column to be updated
@param[in] table table
@param[in] update an update vector built for the clustered index
@param[in] upd_new update to new or old value
@param[in,out] undo_row undo row (if needs to be updated)
@param[in] ptr remaining part in update undo log */
void row_upd_replace_vcol(dtuple_t *row, const dict_table_t *table,
const upd_t *update, bool upd_new, dtuple_t *undo_row,
const byte *ptr);
/** Checks if an update vector changes an ordering field of an index record.
It will also help check if any non-multi-value field on the multi-value index
gets updated or not.
This function is fast if the update vector is short or the number of ordering
fields in the index is small. Otherwise, this can be quadratic.
NOTE: we compare the fields as binary strings!
@param[in] index index of the record
@param[in] update update vector for the row; NOTE: the
field numbers in this MUST be clustered index
positions!
@param[in] thr query thread, or NULL
@param[in] row old value of row, or NULL if the
row and the data values in update are not
known when this function is called, e.g., at
compile time
@param[in] ext NULL, or prefixes of the externally
stored columns in the old row
@param[in,out] non_mv_upd NULL, or not NULL pointer to get the
information about whether any non-multi-value
field on the multi-value index gets updated
@param[in] flag ROW_BUILD_NORMAL, ROW_BUILD_FOR_PURGE or
ROW_BUILD_FOR_UNDO
@return true if update vector changes an ordering field in the index record */
[[nodiscard]] bool row_upd_changes_ord_field_binary_func(
dict_index_t *index, const upd_t *update,
IF_DEBUG(const que_thr_t *thr, ) const dtuple_t *row, const row_ext_t *ext,
bool *non_mv_upd, ulint flag);
static inline bool row_upd_changes_ord_field_binary(
dict_index_t *index, const upd_t *update,
const que_thr_t *thr [[maybe_unused]], const dtuple_t *row,
const row_ext_t *ext, bool *non_mv_upd) {
return row_upd_changes_ord_field_binary_func(
index, update, IF_DEBUG(thr, ) row, ext, non_mv_upd, 0);
}
/** Checks if an FTS indexed column is affected by an UPDATE.
@param[in] table table
@param[in] upd_field clustered index field update
@return offset within fts_t::indexes if FTS indexed column updated else
ULINT_UNDEFINED */
ulint row_upd_changes_fts_column(dict_table_t *table, upd_field_t *upd_field);
/** Checks if an FTS Doc ID column is affected by an UPDATE.
@return whether Doc ID column is affected */
[[nodiscard]] bool row_upd_changes_doc_id(
dict_table_t *table, /*!< in: table */
upd_field_t *upd_field); /*!< in: field to check */
/** Checks if an update vector changes an ordering field of an index record.
This function is fast if the update vector is short or the number of ordering
fields in the index is small. Otherwise, this can be quadratic.
NOTE: we compare the fields as binary strings!
@return true if update vector may change an ordering field in an index
record */
bool row_upd_changes_some_index_ord_field_binary(
const dict_table_t *table, /*!< in: table */
const upd_t *update); /*!< in: update vector for the row */
/** Stores to the heap the row on which the node->pcur is positioned.
@param[in] node row update node
@param[in] thd mysql thread handle
@param[in,out] mysql_table NULL, or mysql table object when
user thread invokes dml */
void row_upd_store_row(upd_node_t *node, THD *thd, TABLE *mysql_table);
/** Updates a row in a table. This is a high-level function used
in SQL execution graphs.
@return query thread to run next or NULL */
que_thr_t *row_upd_step(que_thr_t *thr); /*!< in: query thread */
/** Parses the log data of system field values.
@return log data end or NULL */
byte *row_upd_parse_sys_vals(const byte *ptr, /*!< in: buffer */
const byte *end_ptr, /*!< in: buffer end */
ulint *pos, /*!< out: TRX_ID position in record */
trx_id_t *trx_id, /*!< out: trx id */
roll_ptr_t *roll_ptr); /*!< out: roll ptr */
/** Updates the trx id and roll ptr field in a clustered index record in
database recovery.
@param[in,out] rec Record
@param[in,out] page_zip Compressed page, or null
@param[in] offsets Array returned by rec_get_offsets()
@param[in] pos Trx_id position in rec
@param[in] trx_id Transaction id
@param[in] roll_ptr Roll ptr of the undo log record */
void row_upd_rec_sys_fields_in_recovery(rec_t *rec, page_zip_des_t *page_zip,
const ulint *offsets, ulint pos,
trx_id_t trx_id, roll_ptr_t roll_ptr);
/** Parses the log data written by row_upd_index_write_log.
@param[in] ptr buffer
@param[in] end_ptr buffer end
@param[in] heap memory heap where update vector is built
@param[out] update_out update vector
@param[in] index the index corresponding to the update
@return log data end or NULL */
byte *row_upd_index_parse(const byte *ptr, const byte *end_ptr,
mem_heap_t *heap, upd_t **update_out,
dict_index_t *index);
/** Get the new autoinc counter from the update vector when there is
an autoinc field defined in this table.
@param[in] update update vector for the clustered index
@param[in] autoinc_field_no autoinc field's order in clustered index
@return the new counter if we find it in the update vector, otherwise 0.
We don't mind that the new counter happens to be 0, we just care about
non-zero counters. */
uint64_t row_upd_get_new_autoinc_counter(const upd_t *update,
ulint autoinc_field_no);
/** This structure is used for undo logging of LOB index changes. */
struct lob_index_diff_t {
trx_id_t m_modifier_trxid;
undo_no_t m_modifier_undo_no;
/** Print the current object into the given output stream.
@param[in,out] out the output stream.
@return the output stream. */
std::ostream &print(std::ostream &out) const {
out << "[lob_index_diff_t: m_modifier_trxid=" << m_modifier_trxid
<< ", m_modifier_undo_no=" << m_modifier_undo_no << "]";
return (out);
}
};
using Lob_index_diff_vec =
std::vector<lob_index_diff_t, mem_heap_allocator<lob_index_diff_t>>;
/** Overloading the global output operator to print lob_index_diff_t object.
@param[in,out] out the output stream.
@param[in] obj the object to be printed.
@return the output stream.*/
inline std::ostream &operator<<(std::ostream &out,
const lob_index_diff_t &obj) {
return (obj.print(out));
}
/** The modification done to the LOB. */
struct Lob_diff {
/** Constructor.
@param[in] mem_heap the memory heap in which this object
has been created. */
Lob_diff(mem_heap_t *mem_heap) : heap(mem_heap) {
m_idx_diffs = static_cast<Lob_index_diff_vec *>(
mem_heap_alloc(heap, sizeof(Lob_index_diff_vec)));
new (m_idx_diffs)
Lob_index_diff_vec(mem_heap_allocator<lob_index_diff_t>(heap));
}
/** Read the offset from the undo record.
@param[in] undo_ptr pointer into the undo log record.
@return pointer into the undo log record after offset. */
const byte *read_offset(const byte *undo_ptr) {
/* Read the offset. */
m_offset = mach_read_next_compressed(&undo_ptr);
return (undo_ptr);
}
/** Read the length from the undo record.
@param[in] undo_ptr pointer into the undo log record.
@return pointer into the undo log record after length information. */
const byte *read_length(const byte *undo_ptr) {
/* Read the length. */
m_length = mach_read_next_compressed(&undo_ptr);
ut_ad(m_length <= lob::ref_t::LOB_SMALL_CHANGE_THRESHOLD);
return (undo_ptr);
}
void set_old_data(const byte *undo_ptr) { m_old_data = undo_ptr; }
std::ostream &print(std::ostream &out) const {
out << "[Lob_diff: offset=" << m_offset << ", length=" << m_length;
if (m_old_data == nullptr) {
out << ", m_old_data=nullptr";
} else {
out << ", m_old_data=" << PrintBuffer(m_old_data, m_length);
}
if (m_idx_diffs != nullptr) {
for (auto iter = m_idx_diffs->begin(); iter != m_idx_diffs->end();
++iter) {
out << *iter;
}
}
out << "]";
return (out);
}
/** The offset within LOB where partial update happened. */
ulint m_offset = 0;
/** The length of the modification. */
ulint m_length = 0;
/** Changes to the LOB data. */
const byte *m_old_data = nullptr;
/** Changes to the LOB index. */
Lob_index_diff_vec *m_idx_diffs;
/** Memory heap in which this object is allocated. */
mem_heap_t *heap;
};
using Lob_diff_vector = std::vector<Lob_diff, mem_heap_allocator<Lob_diff>>;
inline std::ostream &operator<<(std::ostream &out, const Lob_diff &obj) {
return (obj.print(out));
}
/* Update vector field */
struct upd_field_t {
upd_field_t()
: field_no(0),
orig_len(0),
exp(nullptr),
old_v_val(nullptr),
mysql_field(nullptr),
ext_in_old(false),
lob_diffs(nullptr),
lob_first_page_no(FIL_NULL),
lob_version(0),
last_trx_id(0),
last_undo_no(0),
heap(nullptr) {}
bool is_virtual() const { return (new_val.is_virtual()); }
unsigned field_no : 16; /*!< for non-virtual fields, the field
position in an index, usually
the clustered index, but in updating
a secondary index record in btr0cur.cc
this is the position in the secondary
index; for virtual fields the number
of correcponding virtual column in
table metadata */
IF_DEBUG(uint16_t field_phy_pos{UINT16_MAX};)
unsigned orig_len : 16; /*!< original length of the locally
stored part of an externally stored
column, or 0 */
que_node_t *exp; /*!< expression for calculating a new
value: it refers to column values and
constants in the symbol table of the
query graph */
dfield_t old_val; /*!< old value for the column */
dfield_t new_val; /*!< new value for the column */
dfield_t *old_v_val; /*!< old value for the virtual column */
Field *mysql_field; /*!< the mysql field object. */
/** If true, the field was stored externally in the old row. */
bool ext_in_old;
void push_lob_diff(const Lob_diff &lob_diff) {
if (lob_diffs == nullptr) {
lob_diffs = static_cast<Lob_diff_vector *>(
mem_heap_alloc(heap, sizeof(Lob_diff_vector)));
new (lob_diffs) Lob_diff_vector(mem_heap_allocator<Lob_diff>(heap));
}
lob_diffs->push_back(lob_diff);
}
/** List of changes done to this updated field. This is usually
populated from the undo log. */
Lob_diff_vector *lob_diffs;
/** The LOB first page number. This information is read from
the undo log. */
page_no_t lob_first_page_no;
ulint lob_version;
/** The last trx that modified the LOB. */
trx_id_t last_trx_id;
/** The last stmt within trx that modified the LOB. */
undo_no_t last_undo_no;
std::ostream &print(std::ostream &out) const;
/** Empty the information collected on LOB diffs. */
void reset() {
if (lob_diffs != nullptr) {
lob_diffs->clear();
}
}
/** Memory heap in which this object is allocated. */
mem_heap_t *heap;
};
inline std::ostream &operator<<(std::ostream &out, const upd_field_t &obj) {
return (obj.print(out));
}
/* check whether an update field is on multi-value virtual column */
inline bool upd_fld_is_multi_value_col(const upd_field_t *upd_fld) {
return dfield_is_multi_value(&upd_fld->new_val);
}
/* set DATA_VIRTUAL bit on update field to show it is a virtual column */
inline void upd_fld_set_virtual_col(upd_field_t *upd_fld) {
upd_fld->new_val.type.prtype |= DATA_VIRTUAL;
}
/* Update vector structure */
struct upd_t {
/** Heap from which memory allocated. This is not a new heap, rather
will point to other heap. Therefore memory allocated from this heap
is released when the pointed heap is freed or emptied. */
mem_heap_t *heap;
/** Heap from which memory is allocated if required only for current
statement. This heap is emtied at the end of statement from inside
ha_innobase::end_stmt(). */
mem_heap_t *per_stmt_heap;
/** New value of info bits to record; default is 0. */
ulint info_bits;
/** Pointer to old row, used for virtual column update now. */
dtuple_t *old_vrow;
/** The table object. */
const dict_table_t *table;
/** The mysql table object. */
TABLE *mysql_table;
/** Number of update fields. */
ulint n_fields;
/** Array of update fields. */
upd_field_t *fields;
/** Capacity of the fields array */
size_t n_capacity;
/** Append an update field to the end of array. If fields array is full, more
space is allocated on the heap.
@param[in] field an update field */
void append(const upd_field_t &field);
/** Determine if the given field_no is modified.
@return true if modified, false otherwise. */
bool is_modified(const ulint field_no) const {
if (table == nullptr) {
ut_d(ut_error);
ut_o(return false);
}
return (get_field_by_field_no(field_no, table->first_index()) != nullptr);
}
/** Reset the update fields. */
void reset() {
for (ulint i = 0; i < n_fields; ++i) {
fields[i].reset();
}
}
#ifdef UNIV_DEBUG
void validate() const {
for (ulint i = 0; i < n_fields; ++i) {
dfield_t *field = &fields[i].new_val;
if (dfield_is_ext(field)) {
ut_ad(dfield_get_len(field) >= BTR_EXTERN_FIELD_REF_SIZE);
}
}
}
void validate_for_index(const dict_index_t *index) const {
validate();
for (ulint i = 0; i < n_fields; ++i) {
const upd_field_t &field = fields[i];
ut_a(index->is_clustered() || !field.is_virtual());
if (!field.is_virtual()) {
ut_a(field.field_no < dict_index_get_n_fields(index));
} else {
ut_a(field.field_no < index->table->n_v_cols);
}
}
}
#endif // UNIV_DEBUG
/** Check if the given field number is partially updated.
@param[in] field_no the field number.
@return true if partially updated, false otherwise. */
bool is_partially_updated(ulint field_no) const;
const upd_field_t *get_field_by_field_no(ulint field_no,
const dict_index_t *index) const;
const Binary_diff_vector *get_binary_diff_by_field_no(ulint field_no) const;
/** Calculate the total number of bytes modified in one BLOB.
@param[in] bdv the binary diff vector containing all the
modifications to one BLOB.
@return the total modified bytes. */
static size_t get_total_modified_bytes(const Binary_diff_vector &bdv) {
size_t total = 0;
for (const Binary_diff &bdiff : bdv) {
total += bdiff.length();
}
return (total);
}
/** Empty the per_stmt_heap. */
void empty_per_stmt_heap() {
if (per_stmt_heap != nullptr) {
mem_heap_empty(per_stmt_heap);
}
}
/** Free the per_stmt_heap. */
void free_per_stmt_heap() {
if (per_stmt_heap != nullptr) {
mem_heap_free(per_stmt_heap);
per_stmt_heap = nullptr;
}
}
std::ostream &print(std::ostream &out) const;
/** Print the partial update vector (puvect) of the given update
field.
@param[in,out] out the output stream
@param[in] uf the updated field.
@return the output stream. */
std::ostream &print_puvect(std::ostream &out, upd_field_t *uf) const;
};
#ifdef UNIV_DEBUG
/** Print the given binary diff into the given output stream.
@param[in] out the output stream
@param[in] bdiff binary diff to be printed.
@param[in] table the table dictionary object.
@param[in] field mysql field object.
@param[in] print_old prints old data of the updated field
@return the output stream */
std::ostream &print_binary_diff(std::ostream &out, const Binary_diff *bdiff,
const dict_table_t *table, const Field *field,
bool print_old);
std::ostream &print_binary_diff(std::ostream &out, const Binary_diff *bdiff);
inline std::ostream &operator<<(std::ostream &out, const upd_t &obj) {
return (obj.print(out));
}
inline std::ostream &operator<<(std::ostream &out, const Binary_diff_vector &) {
return (out);
}
#endif /* UNIV_DEBUG */
#ifndef UNIV_HOTBACKUP
/* Update node structure which also implements the delete operation
of a row */
struct upd_node_t {
que_common_t common; /*!< node type: QUE_NODE_UPDATE */
bool is_delete; /* true if delete, false if update */
bool searched_update;
/* true if searched update, false if
positioned */
bool in_mysql_interface;
/* true if the update node was created
for the MySQL interface */
dict_foreign_t *foreign; /* NULL or pointer to a foreign key
constraint if this update node is used in
doing an ON DELETE or ON UPDATE operation */
upd_node_t *cascade_node; /* NULL or an update node template which
is used to implement ON DELETE/UPDATE CASCADE
or ... SET NULL for foreign keys. If present,
this node updates the child (referencing) table's
clustered index */
mem_heap_t *cascade_heap;
/*!< NULL or a mem heap where cascade_upd_nodes
are created.*/
sel_node_t *select; /*!< query graph subtree implementing a base
table cursor: the rows returned will be
updated */
btr_pcur_t *pcur; /*!< persistent cursor placed on the clustered
index record which should be updated or
deleted; the cursor is stored in the graph
of 'select' field above, except in the case
of the MySQL interface */
dict_table_t *table; /*!< table where updated */
upd_t *update; /*!< update vector for the row */
ulint update_n_fields;
/* when this struct is used to implement
a cascade operation for foreign keys, we store
here the size of the buffer allocated for use
as the update vector */
sym_node_list_t columns; /* symbol table nodes for the columns
to retrieve from the table */
bool has_clust_rec_x_lock;
/* true if the select which retrieves the
records to update already sets an x-lock on
the clustered record; note that it must always
set at least an s-lock */
ulint cmpl_info; /* information extracted during query
compilation; speeds up execution:
UPD_NODE_NO_ORD_CHANGE and
UPD_NODE_NO_SIZE_CHANGE, ORed */
/*----------------------*/
/* Local storage for this graph node */
ulint state; /*!< node execution state */
dict_index_t *index; /*!< NULL, or the next index whose record should
be updated */
dtuple_t *row; /*!< NULL, or a copy (also fields copied to
heap) of the row to update; this must be reset
to NULL after a successful update */
row_ext_t *ext; /*!< NULL, or prefixes of the externally
stored columns in the old row */
dtuple_t *upd_row; /* NULL, or a copy of the updated row */
row_ext_t *upd_ext; /* NULL, or prefixes of the externally
stored columns in upd_row */
mem_heap_t *heap; /*!< memory heap used as auxiliary storage;
this must be emptied after a successful
update */
/*----------------------*/
sym_node_t *table_sym; /* table node in symbol table */
que_node_t *col_assign_list;
/* column assignment list */
/** When there is a lock wait error, this remembers current position of
the multi-value field, before which the values have been deleted.
This will be used for both DELETE and the delete phase of UPDATE. */
uint32_t del_multi_val_pos;
/** When there is a lock wait error, this remembers current position of
the multi-value field, before which the values have been updated. */
uint32_t upd_multi_val_pos;
ulint magic_n;
};
constexpr uint32_t UPD_NODE_MAGIC_N = 1579975;
/* Node execution states */
/** execution came to the node from a node above and if the field
has_clust_rec_x_lock is false, we should set an intention x-lock on the table
*/
constexpr uint32_t UPD_NODE_SET_IX_LOCK = 1;
/** clustered index record should be updated */
constexpr uint32_t UPD_NODE_UPDATE_CLUSTERED = 2;
/* clustered index record should be inserted, old record is already delete
marked */
constexpr uint32_t UPD_NODE_INSERT_CLUSTERED = 3;
/** an ordering field of the clustered index record was changed, or this is a
delete operation: should update all the secondary index records */
constexpr uint32_t UPD_NODE_UPDATE_ALL_SEC = 5;
/** secondary index entries should be looked at and updated if an ordering field
changed */
constexpr uint32_t UPD_NODE_UPDATE_SOME_SEC = 6;
/* Compilation info flags: these must fit within 2 bits; see trx0rec.h */
/** no secondary index record will be changed in the update and no ordering
field of the clustered index */
constexpr uint32_t UPD_NODE_NO_ORD_CHANGE = 1;
/** no record field size will be changed in the update */
constexpr uint32_t UPD_NODE_NO_SIZE_CHANGE = 2;
#endif /* !UNIV_HOTBACKUP */
#include "row0upd.ic"
#endif
|