![]() |
MySQL 9.5.0
Source Code Documentation
|
The database buffer pool flush algorithm. More...
Functions | |
| void | buf_flush_insert_into_flush_list (buf_pool_t *buf_pool, buf_block_t *block, lsn_t lsn) |
| Inserts a modified block into the flush list. More... | |
| static void | buf_flush_note_modification (buf_block_t *block, lsn_t start_lsn, lsn_t end_lsn, Flush_observer *observer) |
| This function should be called at a mini-transaction commit, if a page was modified in it. More... | |
The database buffer pool flush algorithm.
Created 11/5/1995 Heikki Tuuri
| void buf_flush_insert_into_flush_list | ( | buf_pool_t * | buf_pool, |
| buf_block_t * | block, | ||
| lsn_t | lsn | ||
| ) |
Inserts a modified block into the flush list.
in: oldest modification
| buf_pool | buffer pool instance |
| block | in/out: block which is modified |
| lsn | in: oldest modification |
|
inlinestatic |
This function should be called at a mini-transaction commit, if a page was modified in it.
Puts the block to the list of modified blocks, if it is not already in it.
| block | in: block which is modified |
| start_lsn | in: start lsn of the mtr that modified this block |
| end_lsn | in: end lsn of the mtr that modified this block |
| observer | in: flush observer |