• Nikita Malyavin's avatar
    MDEV-17556 Assertion `bitmap_is_set_all(&table->s->all_set)' failed · 21809f9a
    Nikita Malyavin authored
    The assertion failed in handler::ha_reset upon SELECT under
    READ UNCOMMITTED from table with index on virtual column.
    
    This was the debug-only failure, though the problem is mush wider:
    * MY_BITMAP is a structure containing my_bitmap_map, the latter is a raw
     bitmap.
    * read_set, write_set and vcol_set of TABLE are the pointers to MY_BITMAP
    * The rest of MY_BITMAPs are stored in TABLE and TABLE_SHARE
    * The pointers to the stored MY_BITMAPs, like orig_read_set etc, and
     sometimes all_set and tmp_set, are assigned to the pointers.
    * Sometimes tmp_use_all_columns is used to substitute the raw bitmap
     directly with all_set.bitmap
    * Sometimes even bitmaps are directly modified, like in
    TABLE::update_virtual_field(): bitmap_clear_all(&tmp_set) is called.
    
    The last three bullets in the list, when used together (which is mostly
    always) make the program flow cumbersome and impossible to follow,
    notwithstanding the errors they cause, like this MDEV-17556, where tmp_set
    pointer was assigned to read_set, write_set and vcol_set, then its bitmap
    was substituted with all_set.bitmap by dbug_tmp_use_all_columns() call,
    and then bitmap_clear_all(&tmp_set) was applied to all this.
    
    To untangle this knot, the rule should be applied:
    * Never substitute bitmaps! This patch is about this.
     orig_*, all_set bitmaps are never substituted already.
    
    This patch changes the following function prototypes:
    * tmp_use_all_columns, dbug_tmp_use_all_columns
     to accept MY_BITMAP** and to return MY_BITMAP * instead of my_bitmap_map*
    * tmp_restore_column_map, dbug_tmp_restore_column_maps to accept
     MY_BITMAP* instead of my_bitmap_map*
    
    These functions now will substitute read_set/write_set/vcol_set directly,
    and won't touch underlying bitmaps.
    21809f9a
ha_spider.cc 492 KB