Manual Pages  — TIME2POSIX

Typically this is not a problem as the type time_t is intended to be (mostly) opaque—time_t values should only be obtained-from and passed-to functions such as time(3), localtime(3), mktime(3) and difftime(3). However, IEEE Std 1003.1-88 ("POSIX.1") gives an arithmetic expression for directly computing a time_t value from a given date/time, and the same relationship is assumed by some (usually older) applications. Any programs creating/dissecting time_t's using such a relationship will typically not handle intervals over leap seconds correctly.

The time2posix() and posix2time() functions are provided to address this time_t mismatch by converting between local time_t values and their POSIX equivalents. This is done by accounting for the number of time-base changes that would have taken place on a POSIX system as leap seconds were inserted or deleted. These converted values can then be used in lieu of correcting the older applications, or when communicating with POSIX-compliant systems.

The time2posix() function is single-valued. That is, every local time_t corresponds to a single POSIX time_t. The posix2time() function is less well-behaved: for a positive leap second hit the result is not unique, and for a negative leap second hit the corresponding POSIX time_t does not exist so an adjacent value is returned. Both of these are good indicators of the inferiority of the POSIX representation.

The following table summarizes the relationship between time_t and its conversion to, and back from, the POSIX representation over the leap second inserted at the end of June, 1993.

DATE Ta TIME Ta T Ta X=time2posix(T)	posix2time(X)
93/06/30 Ta 23:59:59 Ta A+0 Ta B+0	A+0
93/06/30 Ta 23:59:60 Ta A+1 Ta B+1	A+1 or A+2
93/07/01 Ta 00:00:00 Ta A+2 Ta B+1	A+1 or A+2
93/07/01 Ta 00:00:01 Ta A+3 Ta B+2	A+3

A leap second deletion would look like...

DATE Ta TIME Ta T Ta X=time2posix(T)	posix2time(X)
??/06/30 Ta 23:59:58 Ta A+0 Ta B+0	A+0
??/07/01 Ta 00:00:00 Ta A+1 Ta B+2	A+1
??/07/01 Ta 00:00:01 Ta A+2 Ta B+3	A+2

If leap-second support is not enabled, local time_t's and POSIX time_t's are equivalent, and both time2posix() and posix2time() degenerate to the identity function.