How to guarantee exact thread sleep interval?

Question

Usually if I want to simulate some work or wait exact time interval I use condition_variable::wait_for or at the worst thread::this_thread::sleep_for. But condition_variable documentation states that wait_for or wait_until methods may block longer than was requested.

This function may block for longer than timeout_duration due to scheduling or resource contention delays.

How exact wait intervals can be guaranteed?

UPDATE

Can I reach it without condition_variable?

Answer 1

You cannot do this.

In order to have exact guarantees like this, you need a real time operating system.

C++ does not guarantee you are on a real time operating system.

So it provides the guarantees that a typical, non-RTOS provides.

Note that there are other complications to programming on a RTOS that go far beyond the scope of this question.

In practice, one thing people when they really want fine-grained timing control (say, they are twiddling around with per-frame or per-scanline buffers or the like, or audio buffers, or whatever) do is check if the time is short, and if so spin-wait. If the time is longer, they wait for a bit less than the amount of time they want to wait for, then wake up and spin.

This is also not guaranteed to work, but works well enough for almost all cases.

On a RTOS, the platform may provide primitives like you want. These lie outside the scope of standard C++. No typical desktop OS is an RTOS that I am aware of. If you are programming for a fighter jet's control hardware or similar, you may be programming on an RTOS.

I hope you aren't writing fighter jet control software and asking this question on stack overflow.