mirror of
https://github.com/MariaDB/server.git
synced 2025-12-11 14:55:44 +01:00
413c59db32
Problem: ======== - When an R-tree root page becomes full and requires splitting, InnoDB follows a specific root-raising procedure to maintain tree integrity. The process involves allocating a new page (Page X) to hold the current root's content, preserving the original root page number as the tree's entry point, and migrating all existing records to Page X. The root page is then cleared and reconstructed as an internal node containing a single node pointer with an MBR that encompasses all spatial objects on Page X. Subsequently, InnoDB should split the records on Page X into two spatially optimized groups using the pick_seeds() and pick_next() algorithms, creating a second page (Page Y) for Group B records while retaining Group A records on Page X. After records are redistributed between Page X and Page Y, the recalculated MBR for Page X must remain within or be smaller than the original MBR stored in the root page's node pointer. Bug scenario: ============ - When root page 4 becomes full, it triggers a split operation where the content is copied to page 7 and root page 4 is cleared to become an internal node. - During the first split attempt on page 7, Group 1 overflows and remaining entries are reassigned to Group 2. - A new page 8 is created and the remaining entry record is inserted, but the combined size of the remaining entry record and new record exceeds the page size limit. - This triggers a second split operation on page 7, where Group 2 overflows again and entries are moved back to Group 1. - When the new record is finally inserted into page 7, it causes the MBR (Minimum Bounding Rectangle) for page 7 to expand beyond its original boundaries. - Subsequently, when InnoDB attempts to update the parent page 4 with the new MBR information, it fails to locate the corresponding internal node, leading to spatial index corruption and the reported failure. Problem: ======== - Second split operation should happen on page 8, not on page 7. - split_rtree_node() considers key_size to estimate record sizes during the splitting algorithm, which fails to account for variable-length fields in spatial records. - In rtr_page_split_and_insert(), when reorganization succeeds, InnoDB doesn't attempt the insert the entry Solution: ======== rtr_page_split_and_insert(): InnoDB should do insert the tuple when btr_page_reorganize() is successful. rtr_page_split_and_insert(): Use the overflow page for consecutive split operation. split_rtree_node(): Store the record length for each record in r-tree node. This should give proper estimation while determining the group entries and also helpful in overflow validation |
||
|---|---|---|
| .. | ||
| 0.result | ||
| 1.result | ||
| alter_spatial_index.result | ||
| bug16236208.result | ||
| bug16266012.result | ||
| bug17057168.result | ||
| check_rtree.result | ||
| create_spatial_index.result | ||
| geometry.result | ||
| gis.result | ||
| gis_split_inf.result | ||
| gis_split_nan.result | ||
| innodb_gis_rtree.result | ||
| kill_server.result | ||
| multi_pk.result | ||
| point_basic.result | ||
| point_big.result | ||
| precise.result | ||
| repeatable_spatial.result | ||
| rollback.result | ||
| rt_precise.result | ||
| rtree.result | ||
| rtree_add_index.result | ||
| rtree_compress.result | ||
| rtree_compress2.result | ||
| rtree_concurrent_srch.result | ||
| rtree_create_inplace.result | ||
| rtree_debug.result | ||
| rtree_drop_index.result | ||
| rtree_estimate.result | ||
| rtree_multi_pk.result | ||
| rtree_purge.result | ||
| rtree_recovery.result | ||
| rtree_rollback1.result | ||
| rtree_rollback2.result | ||
| rtree_search.result | ||
| rtree_split.result | ||
| rtree_temporary.result | ||
| rtree_undo.result | ||
| types.result | ||
| update_root.result | ||