mirror of
https://github.com/MariaDB/server.git
synced 2025-02-26 23:33:12 +01:00
![]() __pthread_cond_timedwait() in page cleaner hangs if os time moved backwards.Workaround could be waking up the page cleaner thread in logs_empty_and_mark_files_at_shutdown(). But there is possibility that server could hang when server is running. So InnoDB should wake up page cleaner thread periodically in srv_master_do_idle_tasks(). |
||
---|---|---|
.. | ||
srv0conc.cc | ||
srv0mon.cc | ||
srv0srv.cc | ||
srv0start.cc |