Uploaded image for project: 'MariaDB Server'
  1. MariaDB Server
  2. MDEV-15528

Punch holes when pages are freed

    XMLWordPrintable

    Details

      Description

      When a InnoDB data file page is freed, its contents becomes garbage, and any storage allocated in the data file is wasted.

      We should introduce an InnoDB redo log record for marking pages as freed. This record, say, MLOG_PAGE_FREE, could be treated as no-op, or we could elect to punch a hole, especially when the page_compressed=1 option is used.

      If scrubbing is enabled, we should initialize the page with zeros. This should replace some of the non-working scrubbing logic (MDEV-8139).

        Attachments

          Issue Links

            Activity

              People

              • Assignee:
                thiru Thirunarayanan Balathandayuthapani
                Reporter:
                marko Marko Mäkelä
              • Votes:
                0 Vote for this issue
                Watchers:
                2 Start watching this issue

                Dates

                • Created:
                  Updated: