MySQL 9.1.0
Source Code Documentation
|
Tablespace files discovered during startup. More...
Public Types | |
using | Names = std::vector< std::string, ut::allocator< std::string > > |
using | Paths = std::unordered_map< space_id_t, Names > |
using | Undo_num2id = std::unordered_map< space_id_t, space_id_t > |
Public Member Functions | |
Tablespace_files (const std::string &dir) | |
Default constructor. More... | |
size_t | add (space_id_t space_id, const std::string &name) |
Add a space ID to filename mapping. More... | |
Names * | find_by_id (space_id_t space_id) |
Get the file names that map to a space ID. More... | |
Names * | find_by_num (space_id_t space_num, space_id_t &space_id) |
Get the file name that maps to an undo space number. More... | |
bool | erase_path (space_id_t space_id) |
Remove the entry for the space ID. More... | |
void | clear () |
Clear all the tablespace data. More... | |
const Fil_path & | root () const |
const std::string & | path () const |
Private Attributes | |
Paths | m_ibd_paths |
Mapping from tablespace ID to data filenames. More... | |
Paths | m_undo_paths |
Mapping from tablespace ID to Undo files. More... | |
Undo_num2id | m_undo_nums |
Mapping from undo space number to space ID. More... | |
Fil_path | m_dir |
Top level directory where the above files were found. More... | |
Tablespace files discovered during startup.
using Tablespace_files::Names = std::vector<std::string, ut::allocator<std::string> > |
using Tablespace_files::Paths = std::unordered_map<space_id_t, Names> |
using Tablespace_files::Undo_num2id = std::unordered_map<space_id_t, space_id_t> |
|
explicit |
Default constructor.
Constructor.
[in] | dir | Directory that the files are under |
size_t Tablespace_files::add | ( | space_id_t | space_id, |
const std::string & | name | ||
) |
Add a space ID to filename mapping.
[in] | space_id | Tablespace ID |
[in] | name | File name. |
|
inline |
Clear all the tablespace data.
|
inline |
Remove the entry for the space ID.
[in] | space_id | Tablespace ID mapping to remove |
|
inline |
Get the file names that map to a space ID.
[in] | space_id | Tablespace ID |
|
inline |
Get the file name that maps to an undo space number.
[in] | space_num | undo tablespace number |
[out] | space_id | undo tablespace ID |
|
inline |
|
inline |
|
private |
Top level directory where the above files were found.
|
private |
Mapping from tablespace ID to data filenames.
|
private |
Mapping from undo space number to space ID.
|
private |
Mapping from tablespace ID to Undo files.