Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > linux.kernel > #1425179 > unrolled thread
| Started by | Arnd Bergmann <arnd@arndb.de> |
|---|---|
| First post | 2016-06-17 17:00 +0200 |
| Last post | 2016-06-20 22:10 +0200 |
| Articles | 9 — 4 participants |
Back to article view | Back to linux.kernel
[PATCH] blktrace: avoid using timespec Arnd Bergmann <arnd@arndb.de> - 2016-06-17 17:00 +0200
Re: [PATCH] blktrace: avoid using timespec Steven Rostedt <rostedt@goodmis.org> - 2016-06-17 17:40 +0200
Re: [PATCH] blktrace: avoid using timespec Jens Axboe <axboe@kernel.dk> - 2016-06-17 23:40 +0200
Re: [PATCH] blktrace: avoid using timespec Jeff Moyer <jmoyer@redhat.com> - 2016-06-18 00:00 +0200
Re: [PATCH] blktrace: avoid using timespec Arnd Bergmann <arnd@arndb.de> - 2016-06-18 21:10 +0200
Re: [PATCH] blktrace: avoid using timespec Jeff Moyer <jmoyer@redhat.com> - 2016-06-20 17:10 +0200
Re: [PATCH] blktrace: avoid using timespec Arnd Bergmann <arnd@arndb.de> - 2016-06-20 17:20 +0200
Re: [PATCH] blktrace: avoid using timespec Jeff Moyer <jmoyer@redhat.com> - 2016-06-20 21:40 +0200
Re: [Y2038] [PATCH] blktrace: avoid using timespec Arnd Bergmann <arnd@arndb.de> - 2016-06-20 22:10 +0200
| From | Arnd Bergmann <arnd@arndb.de> |
|---|---|
| Date | 2016-06-17 17:00 +0200 |
| Subject | [PATCH] blktrace: avoid using timespec |
| Message-ID | <rL3pw-7Q6-15@gated-at.bofh.it> |
The blktrace code stores the current time in a 32-bit word in its
user interface. This is a bad idea because 32-bit seconds overflow
at some point.
We probably have until 2106 before this one overflows, as it seems
to use an 'unsigned' variable, but we should confirm that user
space treats it the same way.
Aside from this, we want to stop using 'struct timespec' here,
so I'm adding a comment about the overflow and change the code
to use timespec64 instead to make the loss of range more obvious.
Signed-off-by: Arnd Bergmann <arnd@arndb.de>
---
kernel/trace/blktrace.c | 7 ++++---
1 file changed, 4 insertions(+), 3 deletions(-)
diff --git a/kernel/trace/blktrace.c b/kernel/trace/blktrace.c
index ef86b965ade3..b0816e4a61a5 100644
--- a/kernel/trace/blktrace.c
+++ b/kernel/trace/blktrace.c
@@ -127,12 +127,13 @@ static void trace_note_tsk(struct task_struct *tsk)
static void trace_note_time(struct blk_trace *bt)
{
- struct timespec now;
+ struct timespec64 now;
unsigned long flags;
u32 words[2];
- getnstimeofday(&now);
- words[0] = now.tv_sec;
+ /* need to check user space to see if this breaks in y2038 or y2106 */
+ ktime_get_real_ts64(&now);
+ words[0] = (u32)now.tv_sec;
words[1] = now.tv_nsec;
local_irq_save(flags);
--
2.9.0
[toc] | [next] | [standalone]
| From | Steven Rostedt <rostedt@goodmis.org> |
|---|---|
| Date | 2016-06-17 17:40 +0200 |
| Message-ID | <rL42d-8iY-5@gated-at.bofh.it> |
| In reply to | #1425179 |
Jens,
You want to take this, or do you want me to?
-- Steve
On Fri, 17 Jun 2016 16:58:26 +0200
Arnd Bergmann <arnd@arndb.de> wrote:
> The blktrace code stores the current time in a 32-bit word in its
> user interface. This is a bad idea because 32-bit seconds overflow
> at some point.
>
> We probably have until 2106 before this one overflows, as it seems
> to use an 'unsigned' variable, but we should confirm that user
> space treats it the same way.
>
> Aside from this, we want to stop using 'struct timespec' here,
> so I'm adding a comment about the overflow and change the code
> to use timespec64 instead to make the loss of range more obvious.
>
> Signed-off-by: Arnd Bergmann <arnd@arndb.de>
> ---
> kernel/trace/blktrace.c | 7 ++++---
> 1 file changed, 4 insertions(+), 3 deletions(-)
>
> diff --git a/kernel/trace/blktrace.c b/kernel/trace/blktrace.c
> index ef86b965ade3..b0816e4a61a5 100644
> --- a/kernel/trace/blktrace.c
> +++ b/kernel/trace/blktrace.c
> @@ -127,12 +127,13 @@ static void trace_note_tsk(struct task_struct *tsk)
>
> static void trace_note_time(struct blk_trace *bt)
> {
> - struct timespec now;
> + struct timespec64 now;
> unsigned long flags;
> u32 words[2];
>
> - getnstimeofday(&now);
> - words[0] = now.tv_sec;
> + /* need to check user space to see if this breaks in y2038 or y2106 */
> + ktime_get_real_ts64(&now);
> + words[0] = (u32)now.tv_sec;
> words[1] = now.tv_nsec;
>
> local_irq_save(flags);
[toc] | [prev] | [next] | [standalone]
| From | Jens Axboe <axboe@kernel.dk> |
|---|---|
| Date | 2016-06-17 23:40 +0200 |
| Message-ID | <rL9EB-3tj-13@gated-at.bofh.it> |
| In reply to | #1425229 |
On 06/17/2016 05:36 PM, Steven Rostedt wrote: > > Jens, > > You want to take this, or do you want me to? I'll add it to my 4.8 tree, thanks Arnd. -- Jens Axboe
[toc] | [prev] | [next] | [standalone]
| From | Jeff Moyer <jmoyer@redhat.com> |
|---|---|
| Date | 2016-06-18 00:00 +0200 |
| Message-ID | <rL9XY-3zU-17@gated-at.bofh.it> |
| In reply to | #1425500 |
Jens Axboe <axboe@kernel.dk> writes: > On 06/17/2016 05:36 PM, Steven Rostedt wrote: >> >> Jens, >> >> You want to take this, or do you want me to? > > I'll add it to my 4.8 tree, thanks Arnd. + /* need to check user space to see if this breaks in y2038 or y2106 */ Userspace just uses it to print the timestamp, right? So do we need the comment? -Jeff
[toc] | [prev] | [next] | [standalone]
| From | Arnd Bergmann <arnd@arndb.de> |
|---|---|
| Date | 2016-06-18 21:10 +0200 |
| Message-ID | <rLtMZ-86S-9@gated-at.bofh.it> |
| In reply to | #1425511 |
On Friday, June 17, 2016 5:54:16 PM CEST Jeff Moyer wrote: > Jens Axboe <axboe@kernel.dk> writes: > > > On 06/17/2016 05:36 PM, Steven Rostedt wrote: > >> > >> Jens, > >> > >> You want to take this, or do you want me to? > > > > I'll add it to my 4.8 tree, thanks Arnd. > > + /* need to check user space to see if this breaks in y2038 or y2106 */ > > Userspace just uses it to print the timestamp, right? So do we need the > comment? If we have more details, the comment should describe what happens and when it overflows. If you have the source at hand, maybe you can answer these: How does it print the timestamp? Does it print the raw seconds value using %u (correct) or %d (incorrect), or does it convert it into year/month/day/hour/min/sec? In the last case, how does it treat second values above 0x80000000? Are those printed as year 2038 or year 1902? Are we sure that there is only one user space implementation that reads these values? Arnd
[toc] | [prev] | [next] | [standalone]
| From | Jeff Moyer <jmoyer@redhat.com> |
|---|---|
| Date | 2016-06-20 17:10 +0200 |
| Message-ID | <rM8ZQ-1ph-25@gated-at.bofh.it> |
| In reply to | #1425820 |
Arnd Bergmann <arnd@arndb.de> writes:
> On Friday, June 17, 2016 5:54:16 PM CEST Jeff Moyer wrote:
>> Jens Axboe <axboe@kernel.dk> writes:
>>
>> > On 06/17/2016 05:36 PM, Steven Rostedt wrote:
>> >>
>> >> Jens,
>> >>
>> >> You want to take this, or do you want me to?
>> >
>> > I'll add it to my 4.8 tree, thanks Arnd.
>>
>> + /* need to check user space to see if this breaks in y2038 or y2106 */
>>
>> Userspace just uses it to print the timestamp, right? So do we need the
>> comment?
> If we have more details, the comment should describe what happens and
> when it overflows. If you have the source at hand, maybe you can answer
> these:
As far as I can tell, that value is only ever consulted when an
undocumented format option is given to blkparse. I don't think this
matters very much.
> How does it print the timestamp? Does it print the raw seconds value
> using %u (correct) or %d (incorrect), or does it convert it into
> year/month/day/hour/min/sec?
It converts it, but only prints hour/min/sec (and nsec):
struct timespec abs_start_time;
...
static void handle_notify(struct blk_io_trace *bit)
{
...
__u32 two32[2];
...
abs_start_time.tv_sec = two32[0];
abs_start_time.tv_nsec = two32[1];
if (abs_start_time.tv_nsec < 0) {
abs_start_time.tv_sec--;
abs_start_time.tv_nsec += 1000000000;
}
...
static const char *
print_time(unsigned long long timestamp)
{
static char timebuf[128];
struct tm *tm;
time_t sec;
unsigned long nsec;
sec = abs_start_time.tv_sec + SECONDS(timestamp);
nsec = abs_start_time.tv_nsec + NANO_SECONDS(timestamp);
if (nsec >= 1000000000) {
nsec -= 1000000000;
sec += 1;
}
tm = localtime(&sec);
snprintf(timebuf, sizeof(timebuf),
"%02u:%02u:%02u.%06lu",
tm->tm_hour,
tm->tm_min,
tm->tm_sec,
nsec / 1000);
return timebuf;
}
> In the last case, how does it treat second values above 0x80000000? Are
> those printed as year 2038 or year 1902?
We don't print the year.
> Are we sure that there is only one user space implementation that reads
> these values?
We're never sure about that. However, I'd be very surprised if anything
outside of blktrace used this.
Cheers,
Jeff
[toc] | [prev] | [next] | [standalone]
| From | Arnd Bergmann <arnd@arndb.de> |
|---|---|
| Date | 2016-06-20 17:20 +0200 |
| Message-ID | <rM99w-1sR-13@gated-at.bofh.it> |
| In reply to | #1426676 |
On Monday, June 20, 2016 10:59:14 AM CEST Jeff Moyer wrote:
> Arnd Bergmann <arnd@arndb.de> writes:
>
> > On Friday, June 17, 2016 5:54:16 PM CEST Jeff Moyer wrote:
> >> Jens Axboe <axboe@kernel.dk> writes:
> >>
> >> > On 06/17/2016 05:36 PM, Steven Rostedt wrote:
> >> >>
> >> >> Jens,
> >> >>
> >> >> You want to take this, or do you want me to?
> >> >
> >> > I'll add it to my 4.8 tree, thanks Arnd.
> >>
> >> + /* need to check user space to see if this breaks in y2038 or y2106 */
> >>
> >> Userspace just uses it to print the timestamp, right? So do we need the
> >> comment?
>
> > If we have more details, the comment should describe what happens and
> > when it overflows. If you have the source at hand, maybe you can answer
> > these:
>
> As far as I can tell, that value is only ever consulted when an
> undocumented format option is given to blkparse. I don't think this
> matters very much.
Ok.
> > How does it print the timestamp? Does it print the raw seconds value
> > using %u (correct) or %d (incorrect), or does it convert it into
> > year/month/day/hour/min/sec?
>
> It converts it, but only prints hour/min/sec (and nsec):
>
> struct timespec abs_start_time;
>
> ...
> static void handle_notify(struct blk_io_trace *bit)
> {
> ...
> __u32 two32[2];
> ...
> abs_start_time.tv_sec = two32[0];
> abs_start_time.tv_nsec = two32[1];
> if (abs_start_time.tv_nsec < 0) {
> abs_start_time.tv_sec--;
> abs_start_time.tv_nsec += 1000000000;
> }
> ...
>
> static const char *
> print_time(unsigned long long timestamp)
> {
> static char timebuf[128];
> struct tm *tm;
> time_t sec;
> unsigned long nsec;
>
> sec = abs_start_time.tv_sec + SECONDS(timestamp);
> nsec = abs_start_time.tv_nsec + NANO_SECONDS(timestamp);
> if (nsec >= 1000000000) {
> nsec -= 1000000000;
> sec += 1;
> }
>
> tm = localtime(&sec);
> snprintf(timebuf, sizeof(timebuf),
> "%02u:%02u:%02u.%06lu",
> tm->tm_hour,
> tm->tm_min,
> tm->tm_sec,
> nsec / 1000);
> return timebuf;
> }
I assume that abs_start_time is a timespec, implying that
tv_sec is a time_t. This means it behaves differently on 32-bit
and 64-bit systems, where the former will overflow in the
conversion from a large unsigned 32-bit number to a signed
32-bit number, whereas the conversion to signed 64-bit will
work correctly.
However, this is ok, because 32-bit time_t is already broken
for a number of reasons, and the code you quote will work correctly
on any 32-bit system that is built with a future glibc that provides
a 64-bit time_t.
> > In the last case, how does it treat second values above 0x80000000? Are
> > those printed as year 2038 or year 1902?
>
> We don't print the year.
Ok, but the other numbers will be wrong in case of overflow.
> > Are we sure that there is only one user space implementation that reads
> > these values?
>
> We're never sure about that. However, I'd be very surprised if anything
> outside of blktrace used this.
Ok. Thanks a lot for the information. I think we can update the
comment as in the incremental patch below. Jens, can you fold that
into the original patch, or should I submit this as a new (or
incremental) patch with an updated description?
Signed-off-by: Arnd Bergmann <arnd@arndb.de>
diff --git a/kernel/trace/blktrace.c b/kernel/trace/blktrace.c
index b0816e4a61a5..4a3666779589 100644
--- a/kernel/trace/blktrace.c
+++ b/kernel/trace/blktrace.c
@@ -131,7 +131,8 @@ static void trace_note_time(struct blk_trace *bt)
unsigned long flags;
u32 words[2];
- /* need to check user space to see if this breaks in y2038 or y2106 */
+ /* blktrace converts this to a time_t and will overflow in
+ 2106, not in 2038 */
ktime_get_real_ts64(&now);
words[0] = (u32)now.tv_sec;
words[1] = now.tv_nsec;
[toc] | [prev] | [next] | [standalone]
| From | Jeff Moyer <jmoyer@redhat.com> |
|---|---|
| Date | 2016-06-20 21:40 +0200 |
| Message-ID | <rMdd7-3XL-1@gated-at.bofh.it> |
| In reply to | #1426687 |
Arnd Bergmann <arnd@arndb.de> writes: > On Monday, June 20, 2016 10:59:14 AM CEST Jeff Moyer wrote: >> struct timespec abs_start_time; [snip] > I assume that abs_start_time is a timespec, implying that It is. You didn't have to assume that, though, as I also included its definition above. ;-) > Ok. Thanks a lot for the information. I think we can update the > comment as in the incremental patch below. Jens, can you fold that > into the original patch, or should I submit this as a new (or > incremental) patch with an updated description? Jens already pulled this fix into for-4.8/core, so you should probably just send an incremental patch. Cheers, Jeff
[toc] | [prev] | [next] | [standalone]
| From | Arnd Bergmann <arnd@arndb.de> |
|---|---|
| Date | 2016-06-20 22:10 +0200 |
| Subject | Re: [Y2038] [PATCH] blktrace: avoid using timespec |
| Message-ID | <rMdGa-4no-11@gated-at.bofh.it> |
| In reply to | #1426958 |
On Monday, June 20, 2016 3:37:10 PM CEST Jeff Moyer wrote: > > > Ok. Thanks a lot for the information. I think we can update the > > comment as in the incremental patch below. Jens, can you fold that > > into the original patch, or should I submit this as a new (or > > incremental) patch with an updated description? > > Jens already pulled this fix into for-4.8/core, so you should probably > just send an incremental patch. > > Ok, done. Thanks! Arnd
[toc] | [prev] | [standalone]
Back to top | Article view | linux.kernel
csiph-web