InnoDB Record Deletion: Setting the Deleted Flag

/************************************************// The following function is used to set the deleted bit of a record. / UNIV_INLINE void btr_rec_set_deleted_flag( /=====================/ rec_t rec, /!< in/out: physical record / page_zip_des_t page_zip,/!< in/out: compressed page (or NULL) / ulint flag) /!< in: nonzero if delete marked */ { if (page_rec_is_comp(rec)) { rec_set_deleted_flag_new(rec, page_zip, flag); } else { ut_ad(!page_zip); rec_set_deleted_flag_old(rec, flag); } }

This function sets the deleted flag for a record in InnoDB. If the record's page is compressed, it calls 'rec_set_deleted_flag_new' to set the flag. Otherwise, it calls 'rec_set_deleted_flag_old'. The 'page_rec_is_comp' function determines if the record's page is compressed.