• marko's avatar
    Port r150 from branches/5.0: Port r19 from innodb-4.1/trunk: · 382f47da
    marko authored
    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.
    382f47da
fil0fil.c 117 KB