![]() |
MySQL 8.0.43
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.