mirror of
https://github.com/MariaDB/server.git
synced 2025-08-08 11:22:35 +03:00
@@ -166,7 +166,7 @@ void init_timers(void)
|
||||
|
||||
/*
|
||||
For STAGE and STATEMENT, a timer with a fixed frequency is better.
|
||||
The prefered timer is nanosecond, or lower resolutions.
|
||||
The preferred timer is nanosecond, or lower resolutions.
|
||||
*/
|
||||
|
||||
if (nanosec_to_pico != 0)
|
||||
@@ -203,7 +203,7 @@ void init_timers(void)
|
||||
/*
|
||||
For IDLE, a timer with a fixed frequency is critical,
|
||||
as the CPU clock may slow down a lot if the server is completely idle.
|
||||
The prefered timer is microsecond, or lower resolutions.
|
||||
The preferred timer is microsecond, or lower resolutions.
|
||||
*/
|
||||
|
||||
if (microsec_to_pico != 0)
|
||||
|
Reference in New Issue
Block a user