mirror of
https://github.com/MariaDB/server.git
synced 2025-01-26 08:44:33 +01:00
463d8e33a2
Keep track on unflushed modifications to file spaces. When there are tens of thousands of file spaces, flushing all files in fil_flush_file_spaces() would be very slow. (Bug #15653) fil_flush_file_spaces(): Only flush unflushed file spaces. fil_space_t, fil_system_t: Add a list of unflushed spaces. |
||
---|---|---|
.. | ||
fil0fil.c | ||
Makefile.am |