* time2posix.3: Improve formatting and wording.
---
 time2posix.3 | 113 +++++++++++++++++++++++++++++++--------------------
 1 file changed, 68 insertions(+), 45 deletions(-)

diff --git a/time2posix.3 b/time2posix.3
index 4a6969ed..adc6c65c 100644
--- a/time2posix.3
+++ b/time2posix.3
@@ -25,8 +25,9 @@ time2posix, posix2time \- convert seconds since the Epoch
 ..
 IEEE Standard 1003.1
 (POSIX)
-requires the time_t value 536457599 to stand for 1986-12-31 23:59:59 UTC.
-This effectively implies that POSIX time_t values cannot include leap
+says that
+.B time_t
+values cannot count leap
 seconds and,
 therefore,
 that the system time must be adjusted as each leap occurs.
@@ -35,18 +36,22 @@ If the time package is configured with leap-second support
 enabled,
 however,
 no such adjustment is needed and
-time_t values continue to increase over leap events
+.B time_t
+values continue to increase over leap events
 (as a true
 .q "seconds since...\&"
 value).
 This means that these values will differ from those required by POSIX
 by the net number of leap seconds inserted since the Epoch.
 .PP
-Typically this is not a problem as the type time_t is intended
-to be
+For many C programs this is not a problem as the C standard says that
+.B time_t
+is
 (mostly)
-opaque \*(en time_t values should only be obtained-from and
-passed-to functions such as
+opaque \*(en
+.B time_t
+values should be obtained from and
+passed to functions such as
 .BR time(2) ,
 .BR localtime(3) ,
 .BR mktime(3) ,
@@ -54,11 +59,14 @@ and
 .BR difftime(3) .
 However,
 POSIX gives an arithmetic
-expression for directly computing a time_t value from a given date/time,
+expression for computing a
+.B time_t
+value directly from a given Universal date and time,
 and the same relationship is assumed by some
-(usually older)
 applications.
-Any programs creating/dissecting time_t values
+Any programs creating/dissecting
+.B time_t
+values
 using such a relationship will typically not handle intervals
 over leap seconds correctly.
 .PP
@@ -66,30 +74,31 @@ The
 .B time2posix
 and
 .B posix2time
-functions are provided to address this time_t mismatch by converting
-between local time_t values and their POSIX equivalents.
+functions address this mismatch by converting
+between local
+.B 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.
+These converted values can then be used
+when communicating with POSIX-compliant systems.
 .PP
 The
 .B time2posix
-function
-is single-valued.
-That is,
-every local time_t
-corresponds to a single POSIX time_t.
+function converts a
+.B time_t
+value to its POSIX counterpart, if one exists.
 The
 .B posix2time
-function
+function does the reverse but
 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 doesn't exist so an adjacent value is returned.
-Both of these are good indicators of the inferiority of the
+POSIX
+.B time_t
+doesn't exist so an adjacent value is returned.
+Both of these are indicate problems with the
 POSIX representation.
 .PP
 The following table summarizes the relationship between a time
@@ -97,35 +106,49 @@ T and its conversion to,
 and back from,
 the POSIX representation over the leap second inserted at the end of June,
 1993.
+In this table, X=time2posix(T), Y=posix2time(X), A=741484816, and B=A\-17
+because 17 positive leap seconds preceded this leap second.
+.PP
+.in +2
+.nf
+.ta \w'1993-06-30\0'u +\w'23:59:59\0'u +\w'A+0\0'u +\w'B+0\0'u
+DATE   TIME    T       X       Y
+1993-06-30     23:59:59        A       B       A
+1993-06-30     23:59:60        A+1     B+1     A+1 or A+2
+1993-07-01     00:00:00        A+2     B+1     A+1 or A+2
+1993-07-01     00:00:01        A+3     B+2     A+3
+.in
+.fi
+.PP
+A leap second deletion would look like the following, and
+posix2time(B+1) would return either A or A+1.
+.PP
+.in +2
 .nf
-.ta \w'93/06/30\0'u +\w'23:59:59\0'u +\w'A+0\0'u +\w'X=time2posix(T)\0'u
-DATE   TIME    T       X=time2posix(T) posix2time(X)
-93/06/30       23:59:59        A+0     B+0     A+0
-93/06/30       23:59:60        A+1     B+1     A+1 or A+2
-93/07/01       00:00:00        A+2     B+1     A+1 or A+2
-93/07/01       00:00:01        A+3     B+2     A+3
-
-A leap second deletion would look like...
-
-DATE   TIME    T       X=time2posix(T) posix2time(X)
-??/06/30       23:59:58        A+0     B+0     A+0
-??/07/01       00:00:00        A+1     B+2     A+1
-??/07/01       00:00:01        A+2     B+3     A+2
-.sp
-.ce
-       [Note: posix2time(B+1) => A+0 or A+1]
+DATE   TIME    T       X       Y
+????-06-30     23:59:58        A       B       A
+????-07-01     00:00:00        A+1     B+2     A+1
+????-07-01     00:00:01        A+2     B+3     A+2
 .fi
+.in
 .PP
 If leap-second support is not enabled,
-local time_t and
-POSIX time_t values are equivalent,
+local
+.B time_t
+and
+POSIX
+.B time_t
+values are equivalent,
 and both
 .B time2posix
 and
 .B posix2time
 degenerate to the identity function.
+.SH "RETURN VALUE"
+These functions return the resulting timestamp without modifying
+.BR errno .
 .SH SEE ALSO
-difftime(3),
-localtime(3),
-mktime(3),
-time(2)
+.BR difftime (3),
+.BR localtime (3),
+.BR mktime (3),
+.BR time (2).
-- 
2.51.0

Reply via email to