From: Rich Felker <dalias@libc.org>
To: Alexander Weps <exander77@pm.me>
Cc: musl@lists.openwall.com
Subject: Re: [musl] Broken mktime calculations when crossing DST boundary
Date: Mon, 25 Mar 2024 16:23:29 -0400 [thread overview]
Message-ID: <20240325202329.GJ4163@brightrain.aerifal.cx> (raw)
In-Reply-To: <ie3F7g6_-Fn28QyD_UScBzjbuevdNW617HDFAbioKJf9mQx7XWpihGee6fV9XXPwPZiLEIb2VFonXf4wAL5Wd_trm_vKZsO7fg40L6Z5dhk=@pm.me>
On Mon, Mar 25, 2024 at 08:00:19PM +0000, Alexander Weps wrote:
> On Monday, March 25th, 2024 at 20:38, Rich Felker <dalias@libc.org> wrote:
>
> > On Mon, Mar 25, 2024 at 06:57:49PM +0000, Alexander Weps wrote:
> >
> > > I am not sure which one you mean, all latest codes even includes
> > > headers and main...
> >
> >
> > https://www.openwall.com/lists/musl/2024/03/25/3
> >
> > > I have no idea what to tell you.
> >
> >
> > The first version I found that's actually compilable is:
> >
> > https://www.openwall.com/lists/musl/2024/03/25/11
> >
> > It roughly behaves as expected on musl, except possibly not applying
> > the tm_isdst=0, which is what was making the output confusing on
> > glibc -- that threw the input back across the rule change cutoff.
> >
> > With tm_isdst=1 and tm_mday=31, on glibc, I get:
> >
> > before: 2011-12-31 00:00:00 WSDT 0
> > after1: 2011-12-31 00:00:00 WSDT 1325239200
> > after2: 2011-12-30 00:00:00 WSDT -1
> > after3: 2011-12-31 00:00:00 WSDT 1325239200
> >
> > The -1 in the after2 line indicates that mktime failed with an error
> > (and should not have modified tm; that's arguably a bug in glibc).The
>
> No, -1 means that was not able to make seconds since beginning of epoch.
> It has nothing to do with modifying tm...
That might actually be the correct interpretation. However, in that
case glibc should not be returning -1, since the time is representable
as time_t..
> Also, can you share the whole code, you did some changes and I don't
> reproduce the result. Which sample it is based on?
https://www.openwall.com/lists/musl/2024/03/25/11
The only change I made was tm_isdst=1 (you already had tm_mday=31
there). I'll attach the file anyway though.
> I set tm_isdst=1 and tm_mday=31 in the example above and I get:
>
> $ gcc foo.c -o foo && TZ=Pacific/Apia ./foo
> before: 2011-12-31 00:00:00 +13 0
> after1: 2012-01-01 01:00:00 +14 1325329200
> after2: 2011-12-31 01:00:00 +14 1325242800
> after3: 2012-01-01 01:00:00 +14 1325329200
That's close to what I'm seeing with tm_isdst=0:
before: 2011-12-31 00:00:00 WSST 0
after1: 2012-01-01 01:00:00 WSDT 1325329200
after2: 2011-12-31 01:00:00 WSDT 1325242800
after3: 2012-01-01 01:00:00 WSDT 1325329200
With tm_isdst=1 I get:
before: 2011-12-31 00:00:00 WSDT 0
after1: 2011-12-31 00:00:00 WSDT 1325239200
after2: 2011-12-30 00:00:00 WSDT -1
after3: 2011-12-31 00:00:00 WSDT 1325239200
This is on the very old glibc on a test system I had lying around,
2.28. It probably has different bugs (and seems unable to read the
current zoneinfo file which is a newer version; thus the WSDT zone
name from whatever old one it came with).
> I do not get any -1 results.
That's presumably because the bug that threw it into 2012 made it so
there are no invalid dates appearing.
> $ musl-gcc foo.c -o foo && TZ=Pacific/Apia ./foo
> before: 2011-12-31 00:00:00 0
> after1: 2011-12-31 01:00:00 +14 1325242800
> after2: 2011-12-29 01:00:00 -10 1325156400
> after3: 2011-12-29 01:00:00 -10 1325156400
Are you sure you're not testing with tm_isdst=0? This is the output I
get for tm_isdst=0 too.
>
> > partial modification that it made reflects the initial normalization
> > (type 1 in my notation) but not the rule change normalization (type 2
> > in my notation) since glibc has failed the operation for an input date
> > that does not exist on the calendar (it does not do type 2
> > normalization at all; it just rejects it).
> >
> > Running this same change on musl, I get:
> >
> > before: 2011-12-31 00:00:00 0
> > after1: 2011-12-31 00:00:00 +14 1325239200
> > after2: 2011-12-29 00:00:00 -10 1325152800
> > after3: 2011-12-29 00:00:00 -10 1325152800
> >
> > which again is what I expect. From one side, the move-by-1-day changes
> > the time to the next calendar day in that direction. From the other
> > side, it's unable to change it.
>
> Glibc works without any issues as shown above on my machine. Both
> forward and backward.
No it doesn't. It jumped to completely the wrong day, 2012-01-01. In
the case where it doesn't do that (tm_isdst=1), it emits a completely
nonexistent date in the reverse direction:
before: 2011-12-31 00:00:00 WSDT 0
after1: 2011-12-31 00:00:00 WSDT 1325239200
after2: 2011-12-30 00:00:00 WSDT -1
after3: 2011-12-31 00:00:00 WSDT 1325239200
This is because it *did* error out before finishing updating the tm
fields. It performed normalization type 1, then said "nope!" and left
the partial work behind.
> Your results are off by one hour. And you start with WSDT (+14).
> Without mktime. The initial date produced by glibc should be +13 as
> Pacific/Apia is +13.
I don't follow. It should never produce +13 in output, as non-DST is
not active anywhere near this date.
Rich
next prev parent reply other threads:[~2024-03-25 20:23 UTC|newest]
Thread overview: 76+ messages / expand[flat|nested] mbox.gz Atom feed top
2024-03-24 13:36 Alexander Weps
2024-03-24 16:59 ` Alexander Weps
2024-03-24 17:04 ` Rich Felker
2024-03-24 17:12 ` Alexander Weps
2024-03-24 18:00 ` Alexander Weps
2024-03-24 18:02 ` Rich Felker
2024-03-24 18:16 ` Alexander Weps
2024-03-24 18:24 ` Rich Felker
2024-03-24 18:36 ` Alexander Weps
2024-03-24 19:01 ` Joakim Sindholt
2024-03-24 19:05 ` Alexander Weps
2024-03-24 19:06 ` Alexander Weps
2024-03-24 19:13 ` Alexander Weps
2024-03-24 19:13 ` Alexander Weps
2024-03-24 19:22 ` Rich Felker
2024-03-24 19:57 ` Alexander Weps
2024-03-24 20:22 ` Rich Felker
2024-03-24 20:50 ` Alexander Weps
2024-03-24 21:43 ` Alexander Weps
2024-03-24 23:51 ` Thorsten Glaser
2024-03-25 0:36 ` Alexander Weps
2024-03-25 11:52 ` Alexander Weps
2024-03-25 12:21 ` Rich Felker
2024-03-25 12:55 ` Alexander Weps
2024-03-25 13:08 ` Rich Felker
2024-03-25 13:13 ` Alexander Weps
2024-03-25 13:13 ` Rich Felker
2024-03-25 13:24 ` Alexander Weps
2024-03-25 13:42 ` Rich Felker
2024-03-25 13:48 ` Alexander Weps
2024-03-25 13:50 ` Alexander Weps
2024-03-25 18:02 ` Rich Felker
2024-03-25 18:28 ` Alexander Weps
2024-03-25 18:53 ` Rich Felker
2024-03-25 18:57 ` Alexander Weps
2024-03-25 19:38 ` Rich Felker
2024-03-25 19:47 ` Rich Felker
2024-03-25 20:05 ` Alexander Weps
2024-03-25 20:12 ` Alexander Weps
2024-03-25 20:00 ` Alexander Weps
2024-03-25 20:23 ` Rich Felker [this message]
2024-03-25 20:31 ` Rich Felker
2024-03-25 23:19 ` Thorsten Glaser
2024-03-25 23:16 ` Thorsten Glaser
2024-03-25 13:44 ` Alexander Weps
2024-03-25 22:40 ` Thorsten Glaser
2024-03-25 22:59 ` Alexander Weps
2024-03-25 23:34 ` Thorsten Glaser
2024-03-26 12:45 ` Alexander Weps
2024-03-26 21:59 ` Thorsten Glaser
2024-03-27 0:14 ` Alexander Weps
2024-03-27 0:38 ` Alexander Weps
2024-03-27 1:35 ` Thorsten Glaser
2024-03-27 2:45 ` Alexander Weps
2024-03-27 4:42 ` Thorsten Glaser
2024-03-26 18:56 ` Alexander Weps
2024-03-25 23:13 ` Rich Felker
-- strict thread matches above, loose matches on Subject: below --
2024-03-22 19:56 Alexander Weps
2024-03-23 6:41 ` Markus Wichmann
[not found] ` <528SeRFaPfDw7fA4kqKDlio1U4RB_t9nmUemPcWw9_t1e2hBDpXYFmOqxAC37szgYvAVtmTuXWsmT64SSN3cSQFVdrQqXUAgkdTMPZQ0bg0=@pm.me>
2024-03-23 10:38 ` Markus Wichmann
2024-03-23 11:59 ` Alexander Weps
2024-03-23 12:00 ` Alexander Weps
2024-03-23 12:31 ` Rich Felker
2024-03-23 13:49 ` Alexander Weps
2024-03-23 15:31 ` Rich Felker
2024-03-23 16:54 ` Alexander Weps
2024-03-23 18:57 ` Alexander Weps
2024-03-23 19:33 ` Alexander Weps
2024-03-23 20:18 ` Rich Felker
2024-03-23 20:40 ` Alexander Weps
2024-03-24 0:36 ` Eric Pruitt
2024-03-24 2:04 ` Rich Felker
2024-03-24 3:32 ` Daniel Gutson
2024-03-24 11:05 ` Alexander Weps
2024-03-24 13:24 ` Alexander Weps
2024-03-23 12:01 ` Alexander Weps
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20240325202329.GJ4163@brightrain.aerifal.cx \
--to=dalias@libc.org \
--cc=exander77@pm.me \
--cc=musl@lists.openwall.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this public inbox
https://git.vuxu.org/mirror/musl/
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).