Является ли поведение корректным, когда `sleep_until()` указывает время в прошлом?

Question

В стандарте C++ 11 говорится о том, что должно произойти, если системные часы настроены так, что точка времени, прошедшая до sleep_until(), теперь в прошлом, но я не вижу нигде, которая обращается к случаю, когда указанный момент времени уже в прошлом.

Я просто что-то пропустил, или это действительно не указано - даже как UB или реализация?

Аналогичный вопрос возникает, если sleep_for() вызывается с отрицательной продолжительностью.

Answer 1

Вы слишком анализируете это.

Является ли стандарт явно «если целевое время в прошлом, не будет блока или ожидания»? №

Означает ли это, чтобы объяснить, как временной шаг сократит или уничтожит тайм-аут? Да. Кроме того, он определяет эти таймауты с точки зрения относительных тайм-аутов.

Цель, я думаю, довольно ясна. Это одна из тех ситуаций, в которых вы может, но должны вывести его из английской формулировки: если тайм-аут немедленно будет удовлетворен, ничего не произойдет.

Более интересно то, что, как представляется, не определено, будет ли мгновенный цикл блокировки и разблокировки в любом случае.

Answer 2

From here

Блокирует выполнение текущего потока до указанного sleep_time достигнута.

т. Е. Если время в прошлом, то оно не будет блокироваться очень долго.

Answer 3

Расчет времени, до которого спать и звонить sleep_until() не является атомарным. Возможно, вы вычисляете время, затем происходит переключение контекста, перегрузка системы, обмен и фактический вызов на sleep_until() происходит намного позже. Поэтому, если sleep_until() не проснется, когда время в прошлом, тогда это бесполезно, потому что в такой ситуации вы никогда не можете быть уверены, что ваш поток будет пробужден.

Требования к функции указаны в разделе 30.2.4 стандарта. И это указывает, что время возврата должно быть Ct + Di + Dm, где Ct - это время, которое вы указали, Di - это задержка, вызванная перебором прерывания, возвратом функции и планированием, а Dm - задержка, вызванная конфликтом ресурсов. В таком случае Di включает время, прошедшее до того, как вы вызвали sleep_until(), и функция вернется, как только это возможно.