row0upd.c
上传用户:romrleung
上传日期:2022-05-23
资源大小:18897k
文件大小:48k
源码类别:

MySQL数据库

开发平台:

Visual C++

  1. /******************************************************
  2. Update of a row
  3. (c) 1996 Innobase Oy
  4. Created 12/27/1996 Heikki Tuuri
  5. *******************************************************/
  6. #include "row0upd.h"
  7. #ifdef UNIV_NONINL
  8. #include "row0upd.ic"
  9. #endif
  10. #include "dict0dict.h"
  11. #include "dict0boot.h"
  12. #include "dict0crea.h"
  13. #include "mach0data.h"
  14. #include "trx0undo.h"
  15. #include "btr0btr.h"
  16. #include "btr0cur.h"
  17. #include "que0que.h"
  18. #include "row0ins.h"
  19. #include "row0sel.h"
  20. #include "row0row.h"
  21. #include "rem0cmp.h"
  22. #include "lock0lock.h"
  23. #include "log0log.h"
  24. #include "pars0sym.h"
  25. #include "eval0eval.h"
  26. /* What kind of latch and lock can we assume when the control comes to
  27.    -------------------------------------------------------------------
  28. an update node?
  29. --------------
  30. Efficiency of massive updates would require keeping an x-latch on a
  31. clustered index page through many updates, and not setting an explicit
  32. x-lock on clustered index records, as they anyway will get an implicit
  33. x-lock when they are updated. A problem is that the read nodes in the
  34. graph should know that they must keep the latch when passing the control
  35. up to the update node, and not set any record lock on the record which
  36. will be updated. Another problem occurs if the execution is stopped,
  37. as the kernel switches to another query thread, or the transaction must
  38. wait for a lock. Then we should be able to release the latch and, maybe,
  39. acquire an explicit x-lock on the record.
  40. Because this seems too complicated, we conclude that the less
  41. efficient solution of releasing all the latches when the control is
  42. transferred to another node, and acquiring explicit x-locks, is better. */
  43. /* How is a delete performed? If there is a delete without an
  44. explicit cursor, i.e., a searched delete, there are at least
  45. two different situations:
  46. the implicit select cursor may run on (1) the clustered index or
  47. on (2) a secondary index. The delete is performed by setting
  48. the delete bit in the record and substituting the id of the
  49. deleting transaction for the original trx id, and substituting a
  50. new roll ptr for previous roll ptr. The old trx id and roll ptr
  51. are saved in the undo log record. Thus, no physical changes occur
  52. in the index tree structure at the time of the delete. Only
  53. when the undo log is purged, the index records will be physically
  54. deleted from the index trees.
  55. The query graph executing a searched delete would consist of
  56. a delete node which has as a subtree a select subgraph.
  57. The select subgraph should return a (persistent) cursor
  58. in the clustered index, placed on page which is x-latched.
  59. The delete node should look for all secondary index records for
  60. this clustered index entry and mark them as deleted. When is
  61. the x-latch freed? The most efficient way for performing a
  62. searched delete is obviously to keep the x-latch for several
  63. steps of query graph execution. */
  64. /***************************************************************
  65. Checks if an update vector changes some of the first ordering fields of an
  66. index record. This is only used in foreign key checks and we can assume
  67. that index does not contain column prefixes. */
  68. static
  69. ibool
  70. row_upd_changes_first_fields_binary(
  71. /*================================*/
  72. /* out: TRUE if changes */
  73. dtuple_t* entry, /* in: old value of index entry */
  74. dict_index_t* index, /* in: index of entry */
  75. upd_t* update, /* in: update vector for the row */
  76. ulint n); /* in: how many first fields to check */
  77. /*************************************************************************
  78. Checks if index currently is mentioned as a referenced index in a foreign
  79. key constraint. */
  80. static
  81. ibool
  82. row_upd_index_is_referenced(
  83. /*========================*/
  84. /* out: TRUE if referenced; NOTE that since
  85. we do not hold dict_operation_lock
  86. when leaving the function, it may be that
  87. the referencing table has been dropped when
  88. we leave this function: this function is only
  89. for heuristic use! */
  90. dict_index_t* index, /* in: index */
  91. trx_t* trx) /* in: transaction */
  92. {
  93. dict_table_t* table = index->table;
  94. dict_foreign_t* foreign;
  95. ibool froze_data_dict = FALSE;
  96. if (!UT_LIST_GET_FIRST(table->referenced_list)) {
  97. return(FALSE);
  98. }
  99. if (trx->dict_operation_lock_mode == 0) {
  100. row_mysql_freeze_data_dictionary(trx);
  101. froze_data_dict = TRUE;
  102. }
  103. foreign = UT_LIST_GET_FIRST(table->referenced_list);
  104. while (foreign) {
  105. if (foreign->referenced_index == index) {
  106. if (froze_data_dict) {
  107. row_mysql_unfreeze_data_dictionary(trx);
  108. }
  109. return(TRUE);
  110. }
  111. foreign = UT_LIST_GET_NEXT(referenced_list, foreign);
  112. }
  113. if (froze_data_dict) {
  114. row_mysql_unfreeze_data_dictionary(trx);
  115. }
  116. return(FALSE);
  117. }
  118. /*************************************************************************
  119. Checks if possible foreign key constraints hold after a delete of the record
  120. under pcur. NOTE that this function will temporarily commit mtr and lose the
  121. pcur position! */
  122. static
  123. ulint
  124. row_upd_check_references_constraints(
  125. /*=================================*/
  126. /* out: DB_SUCCESS or an error code */
  127. upd_node_t* node, /* in: row update node */
  128. btr_pcur_t* pcur, /* in: cursor positioned on a record; NOTE: the
  129. cursor position is lost in this function! */
  130. dict_table_t* table, /* in: table in question */
  131. dict_index_t* index, /* in: index of the cursor */
  132. que_thr_t* thr, /* in: query thread */
  133. mtr_t* mtr) /* in: mtr */
  134. {
  135. dict_foreign_t* foreign;
  136. mem_heap_t* heap;
  137. dtuple_t* entry;
  138. trx_t* trx;
  139. rec_t* rec;
  140. ulint err;
  141. ibool got_s_lock = FALSE;
  142. if (UT_LIST_GET_FIRST(table->referenced_list) == NULL) {
  143. return(DB_SUCCESS);
  144. }
  145. trx = thr_get_trx(thr);
  146. rec = btr_pcur_get_rec(pcur);
  147. heap = mem_heap_create(500);
  148. entry = row_rec_to_index_entry(ROW_COPY_DATA, index, rec, heap);
  149. mtr_commit(mtr);
  150. mtr_start(mtr);
  151. if (trx->dict_operation_lock_mode == 0) {
  152. got_s_lock = TRUE;
  153. row_mysql_freeze_data_dictionary(trx);
  154. }
  155. foreign = UT_LIST_GET_FIRST(table->referenced_list);
  156. while (foreign) {
  157. /* Note that we may have an update which updates the index
  158. record, but does NOT update the first fields which are
  159. referenced in a foreign key constraint. Then the update does
  160. NOT break the constraint. */
  161. if (foreign->referenced_index == index
  162.     && (node->is_delete
  163.        || row_upd_changes_first_fields_binary(entry, index,
  164.      node->update, foreign->n_fields))) {
  165.     
  166. if (foreign->foreign_table == NULL) {
  167. dict_table_get(foreign->foreign_table_name,
  168. trx);
  169. }
  170. if (foreign->foreign_table) {
  171. mutex_enter(&(dict_sys->mutex));
  172. (foreign->foreign_table
  173. ->n_foreign_key_checks_running)++;
  174. mutex_exit(&(dict_sys->mutex));
  175. }
  176. /* NOTE that if the thread ends up waiting for a lock
  177. we will release dict_operation_lock temporarily!
  178. But the counter on the table protects 'foreign' from
  179. being dropped while the check is running. */
  180. err = row_ins_check_foreign_constraint(FALSE, foreign,
  181. table, entry, thr);
  182. if (foreign->foreign_table) {
  183. mutex_enter(&(dict_sys->mutex));
  184. ut_a(foreign->foreign_table
  185. ->n_foreign_key_checks_running > 0);
  186. (foreign->foreign_table
  187. ->n_foreign_key_checks_running)--;
  188. mutex_exit(&(dict_sys->mutex));
  189. }
  190. if (err != DB_SUCCESS) {
  191. if (got_s_lock) {
  192. row_mysql_unfreeze_data_dictionary(
  193. trx);
  194. }
  195. mem_heap_free(heap);
  196. return(err);
  197. }
  198. }
  199. foreign = UT_LIST_GET_NEXT(referenced_list, foreign);
  200. }
  201. if (got_s_lock) {
  202. row_mysql_unfreeze_data_dictionary(trx);
  203. }
  204. mem_heap_free(heap);
  205. return(DB_SUCCESS);
  206. }
  207. /*************************************************************************
  208. Creates an update node for a query graph. */
  209. upd_node_t*
  210. upd_node_create(
  211. /*============*/
  212. /* out, own: update node */
  213. mem_heap_t* heap) /* in: mem heap where created */
  214. {
  215. upd_node_t* node;
  216. node = mem_heap_alloc(heap, sizeof(upd_node_t));
  217. node->common.type = QUE_NODE_UPDATE;
  218. node->state = UPD_NODE_UPDATE_CLUSTERED;
  219. node->select_will_do_update = FALSE;
  220. node->in_mysql_interface = FALSE;
  221. node->row = NULL;
  222. node->ext_vec = NULL;
  223. node->index = NULL;
  224. node->update = NULL;
  225. node->foreign = NULL;
  226. node->cascade_heap = NULL;
  227. node->cascade_node = NULL;
  228. node->select = NULL;
  229. node->heap = mem_heap_create(128);
  230. node->magic_n = UPD_NODE_MAGIC_N;
  231. node->cmpl_info = 0;
  232. return(node);
  233. }
  234. /*************************************************************************
  235. Updates the trx id and roll ptr field in a clustered index record in database
  236. recovery. */
  237. void
  238. row_upd_rec_sys_fields_in_recovery(
  239. /*===============================*/
  240. rec_t* rec, /* in: record */
  241. ulint pos, /* in: TRX_ID position in rec */
  242. dulint trx_id, /* in: transaction id */
  243. dulint roll_ptr)/* in: roll ptr of the undo log record */
  244. {
  245. byte* field;
  246. ulint len;
  247. field = rec_get_nth_field(rec, pos, &len);
  248. ut_ad(len == DATA_TRX_ID_LEN);
  249. trx_write_trx_id(field, trx_id);
  250. field = rec_get_nth_field(rec, pos + 1, &len);
  251. ut_ad(len == DATA_ROLL_PTR_LEN);
  252. trx_write_roll_ptr(field, roll_ptr);
  253. }
  254. /*************************************************************************
  255. Sets the trx id or roll ptr field of a clustered index entry. */
  256. void
  257. row_upd_index_entry_sys_field(
  258. /*==========================*/
  259. dtuple_t* entry, /* in: index entry, where the memory buffers
  260. for sys fields are already allocated:
  261. the function just copies the new values to
  262. them */
  263. dict_index_t* index, /* in: clustered index */
  264. ulint type, /* in: DATA_TRX_ID or DATA_ROLL_PTR */
  265. dulint val) /* in: value to write */
  266. {
  267. dfield_t* dfield;
  268. byte* field;
  269. ulint pos;
  270. ut_ad(index->type & DICT_CLUSTERED);
  271. pos = dict_index_get_sys_col_pos(index, type);
  272. dfield = dtuple_get_nth_field(entry, pos);
  273. field = dfield_get_data(dfield);
  274. if (type == DATA_TRX_ID) {
  275. trx_write_trx_id(field, val);
  276. } else {
  277. ut_ad(type == DATA_ROLL_PTR);
  278. trx_write_roll_ptr(field, val);
  279. }
  280. }
  281. /***************************************************************
  282. Returns TRUE if row update changes size of some field in index or if some
  283. field to be updated is stored externally in rec or update. */
  284. ibool
  285. row_upd_changes_field_size_or_external(
  286. /*===================================*/
  287. /* out: TRUE if the update changes the size of
  288. some field in index or the field is external
  289. in rec or update */
  290. rec_t* rec, /* in: record in index */
  291. dict_index_t* index, /* in: index */
  292. upd_t* update) /* in: update vector */
  293. {
  294. upd_field_t* upd_field;
  295. dfield_t* new_val;
  296. ulint old_len;
  297. ulint new_len;
  298. ulint n_fields;
  299. ulint i;
  300. n_fields = upd_get_n_fields(update);
  301. for (i = 0; i < n_fields; i++) {
  302. upd_field = upd_get_nth_field(update, i);
  303. new_val = &(upd_field->new_val);
  304. new_len = new_val->len;
  305. if (new_len == UNIV_SQL_NULL) {
  306. /* A bug fixed on Dec 31st, 2004: we looked at the
  307. SQL NULL size from the wrong field! We may backport
  308. this fix also to 4.0. The merge to 5.0 will be made
  309. manually immediately after we commit this to 4.1. */
  310. new_len = dtype_get_sql_null_size(
  311. dict_index_get_nth_type(index,
  312. upd_field->field_no));
  313. }
  314. old_len = rec_get_nth_field_size(rec, upd_field->field_no);
  315. if (old_len != new_len) {
  316. return(TRUE);
  317. }
  318. if (rec_get_nth_field_extern_bit(rec, upd_field->field_no)) {
  319. return(TRUE);
  320. }
  321. if (upd_field->extern_storage) {
  322. return(TRUE);
  323. }
  324. }
  325. return(FALSE);
  326. }
  327. /***************************************************************
  328. Replaces the new column values stored in the update vector to the record
  329. given. No field size changes are allowed. This function is used only for
  330. a clustered index */
  331. void
  332. row_upd_rec_in_place(
  333. /*=================*/
  334. rec_t* rec, /* in/out: record where replaced */
  335. upd_t* update) /* in: update vector */
  336. {
  337. upd_field_t* upd_field;
  338. dfield_t* new_val;
  339. ulint n_fields;
  340. ulint i;
  341. rec_set_info_bits(rec, update->info_bits);
  342. n_fields = upd_get_n_fields(update);
  343. for (i = 0; i < n_fields; i++) {
  344. upd_field = upd_get_nth_field(update, i);
  345. new_val = &(upd_field->new_val);
  346. rec_set_nth_field(rec, upd_field->field_no,
  347. dfield_get_data(new_val),
  348. dfield_get_len(new_val));
  349. }
  350. }
  351. /*************************************************************************
  352. Writes into the redo log the values of trx id and roll ptr and enough info
  353. to determine their positions within a clustered index record. */
  354. byte*
  355. row_upd_write_sys_vals_to_log(
  356. /*==========================*/
  357. /* out: new pointer to mlog */
  358. dict_index_t* index, /* in: clustered index */
  359. trx_t* trx, /* in: transaction */
  360. dulint roll_ptr,/* in: roll ptr of the undo log record */
  361. byte* log_ptr,/* pointer to a buffer of size > 20 opened
  362. in mlog */
  363. mtr_t* mtr __attribute__((unused))) /* in: mtr */
  364. {
  365. ut_ad(index->type & DICT_CLUSTERED);
  366. ut_ad(mtr);
  367. log_ptr += mach_write_compressed(log_ptr,
  368. dict_index_get_sys_col_pos(index, DATA_TRX_ID));
  369. trx_write_roll_ptr(log_ptr, roll_ptr);
  370. log_ptr += DATA_ROLL_PTR_LEN;
  371. log_ptr += mach_dulint_write_compressed(log_ptr, trx->id);
  372. return(log_ptr);
  373. }
  374. /*************************************************************************
  375. Parses the log data of system field values. */
  376. byte*
  377. row_upd_parse_sys_vals(
  378. /*===================*/
  379. /* out: log data end or NULL */
  380. byte* ptr, /* in: buffer */
  381. byte* end_ptr,/* in: buffer end */
  382. ulint* pos, /* out: TRX_ID position in record */
  383. dulint* trx_id, /* out: trx id */
  384. dulint* roll_ptr)/* out: roll ptr */
  385. {
  386. ptr = mach_parse_compressed(ptr, end_ptr, pos);
  387. if (ptr == NULL) {
  388. return(NULL);
  389. }
  390. if (end_ptr < ptr + DATA_ROLL_PTR_LEN) {
  391. return(NULL);
  392. }
  393. *roll_ptr = trx_read_roll_ptr(ptr);
  394. ptr += DATA_ROLL_PTR_LEN;
  395. ptr = mach_dulint_parse_compressed(ptr, end_ptr, trx_id);
  396. return(ptr);
  397. }
  398. /***************************************************************
  399. Writes to the redo log the new values of the fields occurring in the index. */
  400. void
  401. row_upd_index_write_log(
  402. /*====================*/
  403. upd_t* update, /* in: update vector */
  404. byte* log_ptr,/* in: pointer to mlog buffer: must contain at least
  405. MLOG_BUF_MARGIN bytes of free space; the buffer is
  406. closed within this function */
  407. mtr_t* mtr) /* in: mtr into whose log to write */
  408. {
  409. upd_field_t* upd_field;
  410. dfield_t* new_val;
  411. ulint len;
  412. ulint n_fields;
  413. byte* buf_end;
  414. ulint i;
  415. n_fields = upd_get_n_fields(update);
  416. buf_end = log_ptr + MLOG_BUF_MARGIN;
  417. mach_write_to_1(log_ptr, update->info_bits);
  418. log_ptr++;
  419. log_ptr += mach_write_compressed(log_ptr, n_fields);
  420. for (i = 0; i < n_fields; i++) {
  421. ut_ad(MLOG_BUF_MARGIN > 30);
  422. if (log_ptr + 30 > buf_end) {
  423. mlog_close(mtr, log_ptr);
  424. log_ptr = mlog_open(mtr, MLOG_BUF_MARGIN);
  425. buf_end = log_ptr + MLOG_BUF_MARGIN;
  426. }
  427. upd_field = upd_get_nth_field(update, i);
  428. new_val = &(upd_field->new_val);
  429. len = new_val->len;
  430. log_ptr += mach_write_compressed(log_ptr, upd_field->field_no);
  431. log_ptr += mach_write_compressed(log_ptr, len);
  432. if (len != UNIV_SQL_NULL) {
  433. if (log_ptr + len < buf_end) {
  434. ut_memcpy(log_ptr, new_val->data, len);
  435. log_ptr += len;
  436. } else {
  437. mlog_close(mtr, log_ptr);
  438. mlog_catenate_string(mtr, new_val->data, len);
  439. log_ptr = mlog_open(mtr, MLOG_BUF_MARGIN);
  440. buf_end = log_ptr + MLOG_BUF_MARGIN;
  441. }
  442. }
  443. }
  444. mlog_close(mtr, log_ptr);
  445. }
  446. /*************************************************************************
  447. Parses the log data written by row_upd_index_write_log. */
  448. byte*
  449. row_upd_index_parse(
  450. /*================*/
  451. /* out: log data end or NULL */
  452. byte* ptr, /* in: buffer */
  453. byte* end_ptr,/* in: buffer end */
  454. mem_heap_t* heap, /* in: memory heap where update vector is
  455. built */
  456. upd_t** update_out)/* out: update vector */
  457. {
  458. upd_t* update;
  459. upd_field_t* upd_field;
  460. dfield_t* new_val;
  461. ulint len;
  462. ulint n_fields;
  463. byte* buf;
  464. ulint info_bits;
  465. ulint i;
  466. if (end_ptr < ptr + 1) {
  467. return(NULL);
  468. }
  469. info_bits = mach_read_from_1(ptr);
  470. ptr++;
  471. ptr = mach_parse_compressed(ptr, end_ptr, &n_fields);
  472. if (ptr == NULL) {
  473. return(NULL);
  474. }
  475. update = upd_create(n_fields, heap);
  476. update->info_bits = info_bits;
  477. for (i = 0; i < n_fields; i++) {
  478. upd_field = upd_get_nth_field(update, i);
  479. new_val = &(upd_field->new_val);
  480. ptr = mach_parse_compressed(ptr, end_ptr,
  481. &(upd_field->field_no));
  482. if (ptr == NULL) {
  483. return(NULL);
  484. }
  485. ptr = mach_parse_compressed(ptr, end_ptr, &len);
  486. if (ptr == NULL) {
  487. return(NULL);
  488. }
  489. new_val->len = len;
  490. if (len != UNIV_SQL_NULL) {
  491. if (end_ptr < ptr + len) {
  492. return(NULL);
  493. } else {
  494. buf = mem_heap_alloc(heap, len);
  495. ut_memcpy(buf, ptr, len);
  496. ptr += len;
  497. new_val->data = buf;
  498. }
  499. }
  500. }
  501. *update_out = update;
  502. return(ptr);
  503. }
  504. /*******************************************************************
  505. Returns TRUE if ext_vec contains i. */
  506. static
  507. ibool
  508. upd_ext_vec_contains(
  509. /*=================*/
  510. /* out: TRUE if i is in ext_vec */
  511. ulint* ext_vec, /* in: array of indexes or NULL */
  512. ulint n_ext_vec, /* in: number of numbers in ext_vec */
  513. ulint i) /* in: a number */
  514. {
  515. ulint j;
  516. if (ext_vec == NULL) {
  517. return(FALSE);
  518. }
  519. for (j = 0; j < n_ext_vec; j++) {
  520. if (ext_vec[j] == i) {
  521. return(TRUE);
  522. }
  523. }
  524. return(FALSE);
  525. }
  526. /*******************************************************************
  527. Builds an update vector from those fields which in a secondary index entry
  528. differ from a record that has the equal ordering fields. NOTE: we compare
  529. the fields as binary strings! */
  530. upd_t*
  531. row_upd_build_sec_rec_difference_binary(
  532. /*====================================*/
  533. /* out, own: update vector of differing
  534. fields */
  535. dict_index_t* index, /* in: index */
  536. dtuple_t* entry, /* in: entry to insert */
  537. rec_t* rec, /* in: secondary index record */
  538. trx_t* trx, /* in: transaction */
  539. mem_heap_t* heap) /* in: memory heap from which allocated */
  540. {
  541. upd_field_t* upd_field;
  542. dfield_t* dfield;
  543. byte* data;
  544. ulint len;
  545. upd_t* update;
  546. ulint n_diff;
  547. ulint i;
  548. /* This function is used only for a secondary index */
  549. ut_a(0 == (index->type & DICT_CLUSTERED));
  550. update = upd_create(dtuple_get_n_fields(entry), heap);
  551. n_diff = 0;
  552. for (i = 0; i < dtuple_get_n_fields(entry); i++) {
  553. data = rec_get_nth_field(rec, i, &len);
  554. dfield = dtuple_get_nth_field(entry, i);
  555. /* NOTE that it may be that len != dfield_get_len(dfield) if we
  556. are updating in a character set and collation where strings of
  557. different length can be equal in an alphabetical comparison,
  558. and also in the case where we have a column prefix index
  559. and the last characters in the index field are spaces; the
  560. latter case probably caused the assertion failures reported at
  561. row0upd.c line 713 in versions 4.0.14 - 4.0.16. */
  562. /* NOTE: we compare the fields as binary strings!
  563. (No collation) */
  564. if (!dfield_data_is_binary_equal(dfield, len, data)) {
  565. upd_field = upd_get_nth_field(update, n_diff);
  566. dfield_copy(&(upd_field->new_val), dfield);
  567. upd_field_set_field_no(upd_field, i, index, trx);
  568. upd_field->extern_storage = FALSE;
  569. n_diff++;
  570. }
  571. }
  572. update->n_fields = n_diff;
  573. return(update);
  574. }
  575. /*******************************************************************
  576. Builds an update vector from those fields, excluding the roll ptr and
  577. trx id fields, which in an index entry differ from a record that has
  578. the equal ordering fields. NOTE: we compare the fields as binary strings! */
  579. upd_t*
  580. row_upd_build_difference_binary(
  581. /*============================*/
  582. /* out, own: update vector of differing
  583. fields, excluding roll ptr and trx id */
  584. dict_index_t* index, /* in: clustered index */
  585. dtuple_t* entry, /* in: entry to insert */
  586. ulint* ext_vec,/* in: array containing field numbers of
  587. externally stored fields in entry, or NULL */
  588. ulint n_ext_vec,/* in: number of fields in ext_vec */
  589. rec_t* rec, /* in: clustered index record */
  590. trx_t* trx, /* in: transaction */
  591. mem_heap_t* heap) /* in: memory heap from which allocated */
  592. {
  593. upd_field_t* upd_field;
  594. dfield_t* dfield;
  595. byte* data;
  596. ulint len;
  597. upd_t* update;
  598. ulint n_diff;
  599. ulint roll_ptr_pos;
  600. ulint trx_id_pos;
  601. ibool extern_bit;
  602. ulint i;
  603. /* This function is used only for a clustered index */
  604. ut_a(index->type & DICT_CLUSTERED);
  605. update = upd_create(dtuple_get_n_fields(entry), heap);
  606. n_diff = 0;
  607. roll_ptr_pos = dict_index_get_sys_col_pos(index, DATA_ROLL_PTR);
  608. trx_id_pos = dict_index_get_sys_col_pos(index, DATA_TRX_ID);
  609. for (i = 0; i < dtuple_get_n_fields(entry); i++) {
  610. data = rec_get_nth_field(rec, i, &len);
  611. dfield = dtuple_get_nth_field(entry, i);
  612. /* NOTE: we compare the fields as binary strings!
  613. (No collation) */
  614. if (i == trx_id_pos || i == roll_ptr_pos) {
  615. goto skip_compare;
  616. }
  617. extern_bit = rec_get_nth_field_extern_bit(rec, i);
  618. if (extern_bit != upd_ext_vec_contains(ext_vec, n_ext_vec, i)
  619.     || !dfield_data_is_binary_equal(dfield, len, data)) {
  620. upd_field = upd_get_nth_field(update, n_diff);
  621. dfield_copy(&(upd_field->new_val), dfield);
  622. upd_field_set_field_no(upd_field, i, index, trx);
  623. if (upd_ext_vec_contains(ext_vec, n_ext_vec, i)) {
  624. upd_field->extern_storage = TRUE;
  625. } else {
  626. upd_field->extern_storage = FALSE;
  627. }
  628. n_diff++;
  629. }
  630. skip_compare:
  631. ;
  632. }
  633. update->n_fields = n_diff;
  634. return(update);
  635. }
  636. /***************************************************************
  637. Replaces the new column values stored in the update vector to the index entry
  638. given. */
  639. void
  640. row_upd_index_replace_new_col_vals_index_pos(
  641. /*=========================================*/
  642. dtuple_t* entry, /* in/out: index entry where replaced */
  643. dict_index_t* index, /* in: index; NOTE that this may also be a
  644. non-clustered index */
  645. upd_t* update, /* in: an update vector built for the index so
  646. that the field number in an upd_field is the
  647. index position */
  648. mem_heap_t* heap) /* in: memory heap to which we allocate and
  649. copy the new values, set this as NULL if you
  650. do not want allocation */
  651. {
  652. dict_field_t* field;
  653. upd_field_t* upd_field;
  654. dfield_t* dfield;
  655. dfield_t* new_val;
  656. ulint j;
  657. ulint i;
  658. dtype_t* cur_type;
  659. ut_ad(index);
  660. dtuple_set_info_bits(entry, update->info_bits);
  661. for (j = 0; j < dict_index_get_n_fields(index); j++) {
  662.         field = dict_index_get_nth_field(index, j);
  663. for (i = 0; i < upd_get_n_fields(update); i++) {
  664.         upd_field = upd_get_nth_field(update, i);
  665. if (upd_field->field_no == j) {
  666.         dfield = dtuple_get_nth_field(entry, j);
  667. new_val = &(upd_field->new_val);
  668. dfield_set_data(dfield, new_val->data,
  669. new_val->len);
  670. if (heap && new_val->len != UNIV_SQL_NULL) {
  671.         dfield->data = mem_heap_alloc(heap,
  672. new_val->len);
  673. ut_memcpy(dfield->data, new_val->data,
  674. new_val->len);
  675. }
  676. if (field->prefix_len > 0
  677.             && new_val->len != UNIV_SQL_NULL) {
  678.    cur_type = dict_col_get_type(
  679. dict_field_get_col(field));
  680.    dfield->len = 
  681.      dtype_get_at_most_n_mbchars(
  682.        cur_type,
  683. field->prefix_len,
  684. new_val->len,
  685. new_val->data);
  686. }
  687. }
  688. }
  689. }
  690. }
  691. /***************************************************************
  692. Replaces the new column values stored in the update vector to the index entry
  693. given. */
  694. void
  695. row_upd_index_replace_new_col_vals(
  696. /*===============================*/
  697. dtuple_t* entry, /* in/out: index entry where replaced */
  698. dict_index_t* index, /* in: index; NOTE that this may also be a
  699. non-clustered index */
  700. upd_t* update, /* in: an update vector built for the
  701. CLUSTERED index so that the field number in
  702. an upd_field is the clustered index position */
  703. mem_heap_t* heap) /* in: memory heap to which we allocate and
  704. copy the new values, set this as NULL if you
  705. do not want allocation */
  706. {
  707. dict_field_t* field;
  708. upd_field_t* upd_field;
  709. dfield_t* dfield;
  710. dfield_t* new_val;
  711. ulint j;
  712. ulint i;
  713. dtype_t* cur_type;
  714. ut_ad(index);
  715. dtuple_set_info_bits(entry, update->info_bits);
  716. for (j = 0; j < dict_index_get_n_fields(index); j++) {
  717.         field = dict_index_get_nth_field(index, j);
  718. for (i = 0; i < upd_get_n_fields(update); i++) {
  719.         upd_field = upd_get_nth_field(update, i);
  720. if (upd_field->field_no == field->col->clust_pos) {
  721.         dfield = dtuple_get_nth_field(entry, j);
  722. new_val = &(upd_field->new_val);
  723. dfield_set_data(dfield, new_val->data,
  724. new_val->len);
  725. if (heap && new_val->len != UNIV_SQL_NULL) {
  726.         dfield->data = mem_heap_alloc(heap,
  727. new_val->len);
  728. ut_memcpy(dfield->data, new_val->data,
  729. new_val->len);
  730. }
  731. if (field->prefix_len > 0
  732.             && new_val->len != UNIV_SQL_NULL) {
  733. cur_type = dict_col_get_type(
  734. dict_field_get_col(field));
  735.    dfield->len =
  736.      dtype_get_at_most_n_mbchars(
  737.        cur_type,
  738. field->prefix_len,
  739. new_val->len,
  740. new_val->data);
  741. }
  742. }
  743. }
  744. }
  745. }
  746. /***************************************************************
  747. Checks if an update vector changes an ordering field of an index record.
  748. This function is fast if the update vector is short or the number of ordering
  749. fields in the index is small. Otherwise, this can be quadratic.
  750. NOTE: we compare the fields as binary strings! */
  751. ibool
  752. row_upd_changes_ord_field_binary(
  753. /*=============================*/
  754. /* out: TRUE if update vector changes
  755. an ordering field in the index record;
  756. NOTE: the fields are compared as binary
  757. strings */
  758. dtuple_t* row, /* in: old value of row, or NULL if the
  759. row and the data values in update are not
  760. known when this function is called, e.g., at
  761. compile time */
  762. dict_index_t* index, /* in: index of the record */
  763. upd_t* update) /* in: update vector for the row; NOTE: the
  764. field numbers in this MUST be clustered index
  765. positions! */
  766. {
  767. upd_field_t* upd_field;
  768. dict_field_t* ind_field;
  769. dict_col_t* col;
  770. ulint n_unique;
  771. ulint n_upd_fields;
  772. ulint col_pos;
  773. ulint col_no;
  774. ulint i, j;
  775. ut_ad(update && index);
  776. n_unique = dict_index_get_n_unique(index);
  777. n_upd_fields = upd_get_n_fields(update);
  778. for (i = 0; i < n_unique; i++) {
  779. ind_field = dict_index_get_nth_field(index, i);
  780. col = dict_field_get_col(ind_field);
  781. col_pos = dict_col_get_clust_pos(col);
  782. col_no = dict_col_get_no(col);
  783. for (j = 0; j < n_upd_fields; j++) {
  784. upd_field = upd_get_nth_field(update, j);
  785. /* Note that if the index field is a column prefix
  786. then it may be that row does not contain an externally
  787. stored part of the column value, and we cannot compare
  788. the datas */
  789. if (col_pos == upd_field->field_no
  790.     && (row == NULL
  791.         || ind_field->prefix_len > 0
  792. || !dfield_datas_are_binary_equal(
  793. dtuple_get_nth_field(row, col_no),
  794. &(upd_field->new_val)))) {
  795. return(TRUE);
  796. }
  797. }
  798. }
  799. return(FALSE);
  800. }
  801. /***************************************************************
  802. Checks if an update vector changes an ordering field of an index record.
  803. NOTE: we compare the fields as binary strings! */
  804. ibool
  805. row_upd_changes_some_index_ord_field_binary(
  806. /*========================================*/
  807. /* out: TRUE if update vector may change
  808. an ordering field in an index record */
  809. dict_table_t* table, /* in: table */
  810. upd_t* update) /* in: update vector for the row */
  811. {
  812. upd_field_t* upd_field;
  813. dict_index_t* index;
  814. ulint i;
  815. index = dict_table_get_first_index(table);
  816. for (i = 0; i < upd_get_n_fields(update); i++) {
  817. upd_field = upd_get_nth_field(update, i);
  818. if (dict_field_get_col(dict_index_get_nth_field(index,
  819. upd_field->field_no))
  820.     ->ord_part) {
  821.      return(TRUE);
  822. }
  823. }
  824. return(FALSE);
  825. }
  826. /***************************************************************
  827. Checks if an update vector changes some of the first ordering fields of an
  828. index record. This is only used in foreign key checks and we can assume
  829. that index does not contain column prefixes. */
  830. static
  831. ibool
  832. row_upd_changes_first_fields_binary(
  833. /*================================*/
  834. /* out: TRUE if changes */
  835. dtuple_t* entry, /* in: index entry */
  836. dict_index_t* index, /* in: index of entry */
  837. upd_t* update, /* in: update vector for the row */
  838. ulint n) /* in: how many first fields to check */
  839. {
  840. upd_field_t* upd_field;
  841. dict_field_t* ind_field;
  842. dict_col_t* col;
  843. ulint n_upd_fields;
  844. ulint col_pos;
  845. ulint i, j;
  846. ut_a(update && index);
  847. ut_a(n <= dict_index_get_n_fields(index));
  848. n_upd_fields = upd_get_n_fields(update);
  849. for (i = 0; i < n; i++) {
  850. ind_field = dict_index_get_nth_field(index, i);
  851. col = dict_field_get_col(ind_field);
  852. col_pos = dict_col_get_clust_pos(col);
  853. ut_a(ind_field->prefix_len == 0);
  854. for (j = 0; j < n_upd_fields; j++) {
  855. upd_field = upd_get_nth_field(update, j);
  856. if (col_pos == upd_field->field_no
  857.     && !dfield_datas_are_binary_equal(
  858.      dtuple_get_nth_field(entry, i),
  859.      &(upd_field->new_val))) {
  860. return(TRUE);
  861. }
  862. }
  863. }
  864. return(FALSE);
  865. }
  866. /*************************************************************************
  867. Copies the column values from a record. */
  868. UNIV_INLINE
  869. void
  870. row_upd_copy_columns(
  871. /*=================*/
  872. rec_t* rec, /* in: record in a clustered index */
  873. sym_node_t* column) /* in: first column in a column list, or
  874. NULL */
  875. {
  876. byte* data;
  877. ulint len;
  878. while (column) {
  879. data = rec_get_nth_field(rec,
  880. column->field_nos[SYM_CLUST_FIELD_NO],
  881. &len);
  882. eval_node_copy_and_alloc_val(column, data, len);
  883. column = UT_LIST_GET_NEXT(col_var_list, column);
  884. }
  885. }
  886. /*************************************************************************
  887. Calculates the new values for fields to update. Note that row_upd_copy_columns
  888. must have been called first. */
  889. UNIV_INLINE
  890. void
  891. row_upd_eval_new_vals(
  892. /*==================*/
  893. upd_t* update) /* in: update vector */
  894. {
  895. que_node_t* exp;
  896. upd_field_t* upd_field;
  897. ulint n_fields;
  898. ulint i;
  899. n_fields = upd_get_n_fields(update);
  900. for (i = 0; i < n_fields; i++) {
  901. upd_field = upd_get_nth_field(update, i);
  902. exp = upd_field->exp;
  903. eval_exp(exp);
  904. dfield_copy_data(&(upd_field->new_val), que_node_get_val(exp));
  905. }
  906. }
  907. /***************************************************************
  908. Stores to the heap the row on which the node->pcur is positioned. */
  909. static
  910. void
  911. row_upd_store_row(
  912. /*==============*/
  913. upd_node_t* node) /* in: row update node */
  914. {
  915. dict_index_t* clust_index;
  916. upd_t* update;
  917. rec_t* rec;
  918. ut_ad(node->pcur->latch_mode != BTR_NO_LATCHES);
  919. if (node->row != NULL) {
  920. mem_heap_empty(node->heap);
  921. node->row = NULL;
  922. }
  923. clust_index = dict_table_get_first_index(node->table);
  924. rec = btr_pcur_get_rec(node->pcur);
  925. node->row = row_build(ROW_COPY_DATA, clust_index, rec, node->heap);
  926. node->ext_vec = mem_heap_alloc(node->heap, sizeof(ulint)
  927.                     * rec_get_n_fields(rec));
  928. if (node->is_delete) {
  929. update = NULL;
  930. } else {
  931. update = node->update;
  932. }
  933. node->n_ext_vec = btr_push_update_extern_fields(node->ext_vec,
  934. rec, update);
  935. }
  936. /***************************************************************
  937. Updates a secondary index entry of a row. */
  938. static
  939. ulint
  940. row_upd_sec_index_entry(
  941. /*====================*/
  942. /* out: DB_SUCCESS if operation successfully
  943. completed, else error code or DB_LOCK_WAIT */
  944. upd_node_t* node, /* in: row update node */
  945. que_thr_t* thr) /* in: query thread */
  946. {
  947. ibool check_ref;
  948. ibool found;
  949. dict_index_t* index;
  950. dtuple_t* entry;
  951. btr_pcur_t pcur;
  952. btr_cur_t* btr_cur;
  953. mem_heap_t* heap;
  954. rec_t* rec;
  955. ulint err = DB_SUCCESS;
  956. mtr_t mtr;
  957. trx_t* trx = thr_get_trx(thr);
  958. index = node->index;
  959. check_ref = row_upd_index_is_referenced(index, trx);
  960. heap = mem_heap_create(1024);
  961. /* Build old index entry */
  962. entry = row_build_index_entry(node->row, index, heap);
  963. log_free_check();
  964. mtr_start(&mtr);
  965. found = row_search_index_entry(index, entry, BTR_MODIFY_LEAF, &pcur,
  966. &mtr);
  967. btr_cur = btr_pcur_get_btr_cur(&pcur);
  968. rec = btr_cur_get_rec(btr_cur);
  969. if (!found) {
  970. fputs("InnoDB: error in sec index entry update inn"
  971. "InnoDB: ", stderr);
  972. dict_index_name_print(stderr, trx, index);
  973. fputs("n"
  974. "InnoDB: tuple ", stderr);
  975. dtuple_print(stderr, entry);
  976. fputs("n"
  977. "InnoDB: record ", stderr);
  978. rec_print(stderr, rec);
  979. putc('n', stderr);
  980. trx_print(stderr, trx);
  981. fputs("n"
  982. "InnoDB: Submit a detailed bug report to http://bugs.mysql.comn", stderr);
  983. } else {
  984.      /* Delete mark the old index record; it can already be
  985.            delete marked if we return after a lock wait in
  986.            row_ins_index_entry below */
  987.    if (!rec_get_deleted_flag(rec)) {
  988. err = btr_cur_del_mark_set_sec_rec(0, btr_cur, TRUE,
  989. thr, &mtr);
  990. if (err == DB_SUCCESS && check_ref) {
  991.     
  992. /* NOTE that the following call loses
  993. the position of pcur ! */
  994. err = row_upd_check_references_constraints(
  995. node,
  996. &pcur, index->table,
  997. index, thr, &mtr);
  998. if (err != DB_SUCCESS) {
  999. goto close_cur;
  1000. }
  1001. }
  1002.    }
  1003. }
  1004. close_cur:
  1005. btr_pcur_close(&pcur);
  1006. mtr_commit(&mtr);
  1007. if (node->is_delete || err != DB_SUCCESS) {
  1008. mem_heap_free(heap);
  1009.          return(err);
  1010. }
  1011. /* Build a new index entry */
  1012. row_upd_index_replace_new_col_vals(entry, index, node->update, NULL);
  1013. /* Insert new index entry */
  1014. err = row_ins_index_entry(index, entry, NULL, 0, thr);
  1015. mem_heap_free(heap);
  1016.         return(err);
  1017. }
  1018. /***************************************************************
  1019. Updates secondary index record if it is changed in the row update. This
  1020. should be quite rare in database applications. */
  1021. UNIV_INLINE
  1022. ulint
  1023. row_upd_sec_step(
  1024. /*=============*/
  1025. /* out: DB_SUCCESS if operation successfully
  1026. completed, else error code or DB_LOCK_WAIT */
  1027. upd_node_t* node, /* in: row update node */
  1028. que_thr_t* thr) /* in: query thread */
  1029. {
  1030. ulint err;
  1031. ut_ad((node->state == UPD_NODE_UPDATE_ALL_SEC)
  1032. || (node->state == UPD_NODE_UPDATE_SOME_SEC));
  1033. ut_ad(!(node->index->type & DICT_CLUSTERED));
  1034. if (node->state == UPD_NODE_UPDATE_ALL_SEC
  1035.     || row_upd_changes_ord_field_binary(node->row, node->index,
  1036.    node->update)) {
  1037. err = row_upd_sec_index_entry(node, thr);
  1038. return(err);
  1039. }
  1040. return(DB_SUCCESS);
  1041. }
  1042. /***************************************************************
  1043. Marks the clustered index record deleted and inserts the updated version
  1044. of the record to the index. This function should be used when the ordering
  1045. fields of the clustered index record change. This should be quite rare in
  1046. database applications. */
  1047. static
  1048. ulint
  1049. row_upd_clust_rec_by_insert(
  1050. /*========================*/
  1051. /* out: DB_SUCCESS if operation successfully
  1052. completed, else error code or DB_LOCK_WAIT */
  1053. upd_node_t* node, /* in: row update node */
  1054. dict_index_t* index, /* in: clustered index of the record */
  1055. que_thr_t* thr, /* in: query thread */
  1056. ibool check_ref,/* in: TRUE if index may be referenced in
  1057. a foreign key constraint */
  1058. mtr_t* mtr) /* in: mtr; gets committed here */
  1059. {
  1060. mem_heap_t* heap;
  1061. btr_pcur_t* pcur;
  1062. btr_cur_t* btr_cur;
  1063. trx_t* trx;
  1064. dict_table_t* table;
  1065. dtuple_t* entry;
  1066. ulint err;
  1067. ut_ad(node);
  1068. ut_ad(index->type & DICT_CLUSTERED);
  1069. trx = thr_get_trx(thr);
  1070. table = node->table;
  1071. pcur = node->pcur;
  1072. btr_cur = btr_pcur_get_btr_cur(pcur);
  1073. if (node->state != UPD_NODE_INSERT_CLUSTERED) {
  1074. err = btr_cur_del_mark_set_clust_rec(BTR_NO_LOCKING_FLAG,
  1075. btr_cur, TRUE, thr, mtr);
  1076. if (err != DB_SUCCESS) {
  1077. mtr_commit(mtr);
  1078. return(err);
  1079. }
  1080. /* Mark as not-owned the externally stored fields which the new
  1081. row inherits from the delete marked record: purge should not
  1082. free those externally stored fields even if the delete marked
  1083. record is removed from the index tree, or updated. */
  1084. btr_cur_mark_extern_inherited_fields(btr_cur_get_rec(btr_cur),
  1085. node->update, mtr);
  1086. if (check_ref) {
  1087. /* NOTE that the following call loses
  1088. the position of pcur ! */
  1089. err = row_upd_check_references_constraints(node,
  1090. pcur, table,
  1091. index, thr, mtr);
  1092. if (err != DB_SUCCESS) {
  1093. mtr_commit(mtr);
  1094. return(err);
  1095. }
  1096. }
  1097. mtr_commit(mtr);
  1098. node->state = UPD_NODE_INSERT_CLUSTERED;
  1099. heap = mem_heap_create(500);
  1100. entry = row_build_index_entry(node->row, index, heap);
  1101. row_upd_index_replace_new_col_vals(entry, index, node->update, NULL);
  1102. row_upd_index_entry_sys_field(entry, index, DATA_TRX_ID, trx->id);
  1103. /* If we return from a lock wait, for example, we may have
  1104. extern fields marked as not-owned in entry (marked in the
  1105. if-branch above). We must unmark them. */
  1106. btr_cur_unmark_dtuple_extern_fields(entry, node->ext_vec,
  1107. node->n_ext_vec);
  1108. /* We must mark non-updated extern fields in entry as inherited,
  1109. so that a possible rollback will not free them */
  1110. btr_cur_mark_dtuple_inherited_extern(entry, node->ext_vec,
  1111. node->n_ext_vec,
  1112. node->update);
  1113. err = row_ins_index_entry(index, entry, node->ext_vec,
  1114. node->n_ext_vec, thr);
  1115. mem_heap_free(heap);
  1116. return(err);
  1117. }
  1118. /***************************************************************
  1119. Updates a clustered index record of a row when the ordering fields do
  1120. not change. */
  1121. static
  1122. ulint
  1123. row_upd_clust_rec(
  1124. /*==============*/
  1125. /* out: DB_SUCCESS if operation successfully
  1126. completed, else error code or DB_LOCK_WAIT */
  1127. upd_node_t* node, /* in: row update node */
  1128. dict_index_t* index, /* in: clustered index */
  1129. que_thr_t* thr, /* in: query thread */
  1130. mtr_t* mtr) /* in: mtr; gets committed here */
  1131. {
  1132. big_rec_t* big_rec = NULL;
  1133. btr_pcur_t* pcur;
  1134. btr_cur_t* btr_cur;
  1135. ulint err;
  1136. ut_ad(node);
  1137. ut_ad(index->type & DICT_CLUSTERED);
  1138. pcur = node->pcur;
  1139. btr_cur = btr_pcur_get_btr_cur(pcur);
  1140. ut_ad(FALSE == rec_get_deleted_flag(btr_pcur_get_rec(pcur)));
  1141. /* Try optimistic updating of the record, keeping changes within
  1142. the page; we do not check locks because we assume the x-lock on the
  1143. record to update */
  1144. if (node->cmpl_info & UPD_NODE_NO_SIZE_CHANGE) {
  1145. err = btr_cur_update_in_place(BTR_NO_LOCKING_FLAG,
  1146. btr_cur, node->update,
  1147. node->cmpl_info, thr, mtr);
  1148. } else {
  1149. err = btr_cur_optimistic_update(BTR_NO_LOCKING_FLAG,
  1150. btr_cur, node->update,
  1151. node->cmpl_info, thr, mtr);
  1152. }
  1153. mtr_commit(mtr);
  1154. if (err == DB_SUCCESS) {
  1155. return(err);
  1156. }
  1157. /* We may have to modify the tree structure: do a pessimistic descent
  1158. down the index tree */
  1159. mtr_start(mtr);
  1160. /* NOTE: this transaction has an s-lock or x-lock on the record and
  1161. therefore other transactions cannot modify the record when we have no
  1162. latch on the page. In addition, we assume that other query threads of
  1163. the same transaction do not modify the record in the meantime.
  1164. Therefore we can assert that the restoration of the cursor succeeds. */
  1165. ut_a(btr_pcur_restore_position(BTR_MODIFY_TREE, pcur, mtr));
  1166. ut_ad(FALSE == rec_get_deleted_flag(btr_pcur_get_rec(pcur)));
  1167. err = btr_cur_pessimistic_update(BTR_NO_LOCKING_FLAG, btr_cur,
  1168. &big_rec, node->update,
  1169. node->cmpl_info, thr, mtr);
  1170. mtr_commit(mtr);
  1171. if (err == DB_SUCCESS && big_rec) {
  1172. mtr_start(mtr);
  1173. ut_a(btr_pcur_restore_position(BTR_MODIFY_TREE, pcur, mtr));
  1174. err = btr_store_big_rec_extern_fields(index,
  1175. btr_cur_get_rec(btr_cur),
  1176. big_rec, mtr);
  1177. mtr_commit(mtr);
  1178. }
  1179. if (big_rec) {
  1180. dtuple_big_rec_free(big_rec);
  1181. }
  1182. return(err);
  1183. }
  1184. /***************************************************************
  1185. Delete marks a clustered index record. */
  1186. static
  1187. ulint
  1188. row_upd_del_mark_clust_rec(
  1189. /*=======================*/
  1190. /* out: DB_SUCCESS if operation successfully
  1191. completed, else error code */
  1192. upd_node_t* node, /* in: row update node */
  1193. dict_index_t* index, /* in: clustered index */
  1194. que_thr_t* thr, /* in: query thread */
  1195. ibool check_ref,/* in: TRUE if index may be referenced in
  1196. a foreign key constraint */
  1197. mtr_t* mtr) /* in: mtr; gets committed here */
  1198. {
  1199. btr_pcur_t* pcur;
  1200. btr_cur_t* btr_cur;
  1201. ulint err;
  1202. ut_ad(node);
  1203. ut_ad(index->type & DICT_CLUSTERED);
  1204. ut_ad(node->is_delete);
  1205. pcur = node->pcur;
  1206. btr_cur = btr_pcur_get_btr_cur(pcur);
  1207. /* Store row because we have to build also the secondary index
  1208. entries */
  1209. row_upd_store_row(node);
  1210. /* Mark the clustered index record deleted; we do not have to check
  1211. locks, because we assume that we have an x-lock on the record */
  1212. err = btr_cur_del_mark_set_clust_rec(BTR_NO_LOCKING_FLAG,
  1213. btr_cur, TRUE, thr, mtr);
  1214. if (err == DB_SUCCESS && check_ref) {
  1215. /* NOTE that the following call loses the position of pcur ! */
  1216. err = row_upd_check_references_constraints(node,
  1217. pcur, index->table,
  1218. index, thr, mtr);
  1219. if (err != DB_SUCCESS) {
  1220. mtr_commit(mtr);
  1221. return(err);
  1222. }
  1223. }
  1224. mtr_commit(mtr);
  1225. return(err);
  1226. }
  1227. /***************************************************************
  1228. Updates the clustered index record. */
  1229. static
  1230. ulint
  1231. row_upd_clust_step(
  1232. /*===============*/
  1233. /* out: DB_SUCCESS if operation successfully
  1234. completed, DB_LOCK_WAIT in case of a lock wait,
  1235. else error code */
  1236. upd_node_t* node, /* in: row update node */
  1237. que_thr_t* thr) /* in: query thread */
  1238. {
  1239. dict_index_t* index;
  1240. btr_pcur_t* pcur;
  1241. ibool success;
  1242. ibool check_ref;
  1243. ulint err;
  1244. mtr_t* mtr;
  1245. mtr_t mtr_buf;
  1246. index = dict_table_get_first_index(node->table);
  1247. check_ref = row_upd_index_is_referenced(index, thr_get_trx(thr));
  1248. pcur = node->pcur;
  1249. /* We have to restore the cursor to its position */
  1250. mtr = &mtr_buf;
  1251. mtr_start(mtr);
  1252. /* If the restoration does not succeed, then the same
  1253. transaction has deleted the record on which the cursor was,
  1254. and that is an SQL error. If the restoration succeeds, it may
  1255. still be that the same transaction has successively deleted
  1256. and inserted a record with the same ordering fields, but in
  1257. that case we know that the transaction has at least an
  1258. implicit x-lock on the record. */
  1259. ut_a(pcur->rel_pos == BTR_PCUR_ON);
  1260. success = btr_pcur_restore_position(BTR_MODIFY_LEAF, pcur, mtr);
  1261. if (!success) {
  1262. err = DB_RECORD_NOT_FOUND;
  1263. mtr_commit(mtr);
  1264. return(err);
  1265. }
  1266. /* If this is a row in SYS_INDEXES table of the data dictionary,
  1267. then we have to free the file segments of the index tree associated
  1268. with the index */
  1269. if (node->is_delete
  1270.     && ut_dulint_cmp(node->table->id, DICT_INDEXES_ID) == 0) {
  1271. dict_drop_index_tree(btr_pcur_get_rec(pcur), mtr);
  1272. mtr_commit(mtr);
  1273. mtr_start(mtr);
  1274. success = btr_pcur_restore_position(BTR_MODIFY_LEAF, pcur,
  1275. mtr);
  1276. if (!success) {
  1277. err = DB_ERROR;
  1278. mtr_commit(mtr);
  1279. return(err);
  1280. }
  1281. if (!node->has_clust_rec_x_lock) {
  1282. err = lock_clust_rec_modify_check_and_lock(0,
  1283. btr_pcur_get_rec(pcur),
  1284. index, thr);
  1285. if (err != DB_SUCCESS) {
  1286. mtr_commit(mtr);
  1287. return(err);
  1288. }
  1289. }
  1290. /* NOTE: the following function calls will also commit mtr */
  1291. if (node->is_delete) {
  1292. err = row_upd_del_mark_clust_rec(node, index, thr, check_ref,
  1293. mtr);
  1294. if (err != DB_SUCCESS) {
  1295. return(err);
  1296. }
  1297. node->state = UPD_NODE_UPDATE_ALL_SEC;
  1298. node->index = dict_table_get_next_index(index);
  1299. return(err);
  1300. }
  1301. /* If the update is made for MySQL, we already have the update vector
  1302. ready, else we have to do some evaluation: */
  1303.  
  1304. if (!node->in_mysql_interface) {
  1305. /* Copy the necessary columns from clust_rec and calculate the
  1306. new values to set */
  1307. row_upd_copy_columns(btr_pcur_get_rec(pcur),
  1308. UT_LIST_GET_FIRST(node->columns));
  1309. row_upd_eval_new_vals(node->update);
  1310. }
  1311. if (node->cmpl_info & UPD_NODE_NO_ORD_CHANGE) {
  1312. err = row_upd_clust_rec(node, index, thr, mtr);
  1313. return(err);
  1314. }
  1315. row_upd_store_row(node);
  1316. if (row_upd_changes_ord_field_binary(node->row, index, node->update)) {
  1317. /* Update causes an ordering field (ordering fields within
  1318. the B-tree) of the clustered index record to change: perform
  1319. the update by delete marking and inserting.
  1320. TODO! What to do to the 'Halloween problem', where an update
  1321. moves the record forward in index so that it is again
  1322. updated when the cursor arrives there? Solution: the
  1323. read operation must check the undo record undo number when
  1324. choosing records to update. MySQL solves now the problem
  1325. externally! */
  1326. err = row_upd_clust_rec_by_insert(node, index, thr, check_ref,
  1327. mtr);
  1328. if (err != DB_SUCCESS) {
  1329. return(err);
  1330. }
  1331. node->state = UPD_NODE_UPDATE_ALL_SEC;
  1332. } else {
  1333. err = row_upd_clust_rec(node, index, thr, mtr);
  1334. if (err != DB_SUCCESS) {
  1335. return(err);
  1336. }
  1337. node->state = UPD_NODE_UPDATE_SOME_SEC;
  1338. }
  1339. node->index = dict_table_get_next_index(index);
  1340. return(err);
  1341. }
  1342. /***************************************************************
  1343. Updates the affected index records of a row. When the control is transferred
  1344. to this node, we assume that we have a persistent cursor which was on a
  1345. record, and the position of the cursor is stored in the cursor. */
  1346. static
  1347. ulint
  1348. row_upd(
  1349. /*====*/
  1350. /* out: DB_SUCCESS if operation successfully
  1351. completed, else error code or DB_LOCK_WAIT */
  1352. upd_node_t* node, /* in: row update node */
  1353. que_thr_t* thr) /* in: query thread */
  1354. {
  1355. ulint err = DB_SUCCESS;
  1356. ut_ad(node && thr);
  1357. if (node->in_mysql_interface) {
  1358. /* We do not get the cmpl_info value from the MySQL
  1359. interpreter: we must calculate it on the fly: */
  1360. if (node->is_delete ||
  1361. row_upd_changes_some_index_ord_field_binary(
  1362. node->table, node->update)) {
  1363. node->cmpl_info = 0; 
  1364. } else {
  1365. node->cmpl_info = UPD_NODE_NO_ORD_CHANGE;
  1366. }
  1367. }
  1368. if (node->state == UPD_NODE_UPDATE_CLUSTERED
  1369. || node->state == UPD_NODE_INSERT_CLUSTERED) {
  1370. err = row_upd_clust_step(node, thr);
  1371. if (err != DB_SUCCESS) {
  1372. goto function_exit;
  1373. }
  1374. }
  1375. if (!node->is_delete && (node->cmpl_info & UPD_NODE_NO_ORD_CHANGE)) {
  1376. goto function_exit;
  1377. }
  1378. while (node->index != NULL) {
  1379. err = row_upd_sec_step(node, thr);
  1380. if (err != DB_SUCCESS) {
  1381. goto function_exit;
  1382. }
  1383. node->index = dict_table_get_next_index(node->index);
  1384.         }
  1385. function_exit:
  1386. if (err == DB_SUCCESS) {
  1387. /* Do some cleanup */
  1388. if (node->row != NULL) {
  1389. node->row = NULL;
  1390. node->n_ext_vec = 0;
  1391. mem_heap_empty(node->heap);
  1392. }
  1393. node->state = UPD_NODE_UPDATE_CLUSTERED;
  1394. }
  1395.         return(err);
  1396. }
  1397. /***************************************************************
  1398. Updates a row in a table. This is a high-level function used in SQL execution
  1399. graphs. */
  1400. que_thr_t*
  1401. row_upd_step(
  1402. /*=========*/
  1403. /* out: query thread to run next or NULL */
  1404. que_thr_t* thr) /* in: query thread */
  1405. {
  1406. upd_node_t* node;
  1407. sel_node_t* sel_node;
  1408. que_node_t* parent;
  1409. ulint err = DB_SUCCESS;
  1410. trx_t* trx;
  1411. ut_ad(thr);
  1412. trx = thr_get_trx(thr);
  1413. trx_start_if_not_started(trx);
  1414. node = thr->run_node;
  1415. sel_node = node->select;
  1416. parent = que_node_get_parent(node);
  1417. ut_ad(que_node_get_type(node) == QUE_NODE_UPDATE);
  1418. if (thr->prev_node == parent) {
  1419. node->state = UPD_NODE_SET_IX_LOCK;
  1420. }
  1421. if (node->state == UPD_NODE_SET_IX_LOCK) {
  1422. if (!node->has_clust_rec_x_lock) {
  1423. /* It may be that the current session has not yet
  1424. started its transaction, or it has been committed: */
  1425. err = lock_table(0, node->table, LOCK_IX, thr);
  1426. if (err != DB_SUCCESS) {
  1427. goto error_handling;
  1428. }
  1429. }
  1430. node->state = UPD_NODE_UPDATE_CLUSTERED;
  1431. if (node->searched_update) {
  1432. /* Reset the cursor */
  1433. sel_node->state = SEL_NODE_OPEN;
  1434. /* Fetch a row to update */
  1435. thr->run_node = sel_node;
  1436. return(thr);
  1437. }
  1438. }
  1439. /* sel_node is NULL if we are in the MySQL interface */
  1440. if (sel_node && (sel_node->state != SEL_NODE_FETCH)) {
  1441. if (!node->searched_update) {
  1442. /* An explicit cursor should be positioned on a row
  1443. to update */
  1444. ut_error;
  1445. err = DB_ERROR;
  1446. goto error_handling;
  1447. }
  1448. ut_ad(sel_node->state == SEL_NODE_NO_MORE_ROWS);
  1449. /* No more rows to update, or the select node performed the
  1450. updates directly in-place */
  1451. thr->run_node = parent;
  1452. return(thr);
  1453. }
  1454. /* DO THE CHECKS OF THE CONSISTENCY CONSTRAINTS HERE */
  1455. err = row_upd(node, thr);
  1456. error_handling:
  1457. trx->error_state = err;
  1458. if (err == DB_SUCCESS) {
  1459. /* Ok: do nothing */
  1460. } else if (err == DB_LOCK_WAIT) {
  1461. return(NULL);
  1462. } else {
  1463. return(NULL);
  1464. }
  1465. /* DO THE TRIGGER ACTIONS HERE */
  1466. if (node->searched_update) {
  1467. /* Fetch next row to update */
  1468. thr->run_node = sel_node;
  1469. } else {
  1470. /* It was an explicit cursor update */
  1471. thr->run_node = parent;
  1472. }
  1473. node->state = UPD_NODE_UPDATE_CLUSTERED;
  1474. return(thr);
  1475. /*************************************************************************
  1476. Performs an in-place update for the current clustered index record in
  1477. select. */
  1478. void
  1479. row_upd_in_place_in_select(
  1480. /*=======================*/
  1481. sel_node_t* sel_node, /* in: select node */
  1482. que_thr_t* thr, /* in: query thread */
  1483. mtr_t* mtr) /* in: mtr */
  1484. {
  1485. upd_node_t* node;
  1486. btr_pcur_t* pcur;
  1487. btr_cur_t* btr_cur;
  1488. ulint err;
  1489. ut_ad(sel_node->select_will_do_update);
  1490. ut_ad(sel_node->latch_mode == BTR_MODIFY_LEAF);
  1491. ut_ad(sel_node->asc);
  1492. node = que_node_get_parent(sel_node);
  1493. ut_ad(que_node_get_type(node) == QUE_NODE_UPDATE);
  1494. pcur = node->pcur;
  1495. btr_cur = btr_pcur_get_btr_cur(pcur);
  1496. /* Copy the necessary columns from clust_rec and calculate the new
  1497. values to set */
  1498. row_upd_copy_columns(btr_pcur_get_rec(pcur),
  1499. UT_LIST_GET_FIRST(node->columns));
  1500. row_upd_eval_new_vals(node->update);
  1501. ut_ad(FALSE == rec_get_deleted_flag(btr_pcur_get_rec(pcur)));
  1502. ut_ad(node->cmpl_info & UPD_NODE_NO_SIZE_CHANGE);
  1503. ut_ad(node->cmpl_info & UPD_NODE_NO_ORD_CHANGE);
  1504. ut_ad(node->select_will_do_update);
  1505. err = btr_cur_update_in_place(BTR_NO_LOCKING_FLAG, btr_cur,
  1506. node->update, node->cmpl_info,
  1507. thr, mtr);
  1508. ut_ad(err == DB_SUCCESS);
  1509. }