diff options
author | Marko Mäkelä <marko.makela@mariadb.com> | 2020-10-15 16:28:19 +0300 |
---|---|---|
committer | Marko Mäkelä <marko.makela@mariadb.com> | 2020-10-15 17:06:17 +0300 |
commit | 9028cc6b865222cae8c396b4ec3e317c8ee068d1 (patch) | |
tree | 2aecbbca53dda9b58c605bb371908fa82bc8057f /BUILD | |
parent | 61161d51d724a7fc7f99af56b7c00dd7e86c023f (diff) | |
download | mariadb-git-9028cc6b865222cae8c396b4ec3e317c8ee068d1.tar.gz |
Cleanup: Make InnoDB page numbers uint32_t
InnoDB stores a 32-bit page number in page headers and in some
data structures, such as FIL_ADDR (consisting of a 32-bit page number
and a 16-bit byte offset within a page). For better compile-time
error detection and to reduce the memory footprint in some data
structures, let us use a uint32_t for the page number, instead
of ulint (size_t) which can be 64 bits.
Diffstat (limited to 'BUILD')
0 files changed, 0 insertions, 0 deletions