eddy_em: (Костерок)
eddy_em ([personal profile] eddy_em) wrote2016-12-30 08:31 am
Entry tags:

Как считать разницу во времени между двумя событиями?

Позор мне! Гугол не дал мне ответа на этот вопрос...
Суть проблемы: ни UNIX-time, ни юлианская дата не учитывают високосных секунд (юлианская дата еще и некоторых високосных дней не учитывает). Поэтому отняв время события А из времени события Б мы не получим реальной разницы во времени между ними.
Неужто нет такой сишной системной функции, которая это считает, используя tzdata и нужно парсить этот файл самому?

UPD. Решение было у меня под носом: это умеет libSOFA.

[personal profile] ex0_planet 2016-12-30 09:27 am (UTC)(link)
Трактат Нечаева читал?
http://segfault.kiev.ua/~netch/articles/time-counting.html
Я не знаю, решит ли он твою проблему (он большой и я не помню его целиком), просто это самая объемная и подробная работа по учету времени в юникс-системах, которую я знаю.

Еще гугол что-то вроде бы недавно изобретал для коррекции leap seconds.

[identity profile] eddy-em.livejournal.com 2016-12-30 09:44 am (UTC)(link)
Не нашел там о промежутке времени между двумя событиями.
А еще, кстати, в следующем веке приведенной там формулой связи UNIX time и юлианских дней пользоваться нельзя будет.
В астрономии для трансформации координат используется LibSOFA или устаревшая (и вообще неподдерживаемая) SLAlib. Я без понятия, как вычисляются координаты в стеллариуме, но, судя по сравнению, вычисляются они правильно (как и в LibSOFA) — т.е. leap seconds там тоже учитываются (как и всякие DUT'ы и т.п.). А вот SLAlib уже дает погрешность примерно в 3''.
Во внутренности не влезал: там очень страшно ☺

Кстати, полез сейчас в документацию к libSOFA и нашел ответ на свой вопрос: dT = TAI2 - TAI1. А вычислить TAI можно при помощи той же libSOFA:
double a1, a2;
j = iauDtf2d ( "TAI", 2009, 1, 1, 0, 0, 33.7, &a1, &a2 );

В переменных a1 и a2 будет находиться время TAI во "внутреннем формате". Думаю, исходники вполне помогут понять, как из этого "внутреннего формата" получить временнýю разницу.