Page MenuHomeFreeBSD

posix timers: Check for overflow when converting to ns
ClosedPublic

Authored by markj on May 12 2021, 4:48 PM.
Tags
None
Referenced Files
F122429955: D30233.id89128.diff
Sat, Jul 5, 7:17 AM
Unknown Object (File)
Wed, Jul 2, 11:11 AM
Unknown Object (File)
Mon, Jun 30, 10:53 AM
Unknown Object (File)
May 21 2025, 10:05 AM
Unknown Object (File)
May 6 2025, 10:47 PM
Unknown Object (File)
Apr 20 2025, 6:36 AM
Unknown Object (File)
Apr 20 2025, 5:09 AM
Unknown Object (File)
Apr 20 2025, 1:28 AM
Subscribers

Details

Summary

Disallow a time or timer period value when the conversion to nanoseconds
would overflow. Otherwise it is possible to trigger a divison by zero
in realtime_expire_l(), where we compute the number of overruns by
dividing by the interval.

Fixes: 7995dae9 ("posix timers: Improve the overrun calculation")
Reported by: syzbot+5ab360bd3d3e3c5a6e0e@syzkaller.appspotmail.com
Reported by: syzbot+157b74ff493140d86eac@syzkaller.appspotmail.com
MFC after: 1 week

Diff Detail

Repository
rS FreeBSD src repository - subversion
Lint
Lint Passed
Unit
No Test Coverage
Build Status
Buildable 39147
Build 36036: arc lint + arc unit

Event Timeline

markj requested review of this revision.May 12 2021, 4:48 PM

I think we want some symbol like ONE_SEC_NS, so that reader can be freed from counting zeroes in the constant.

This revision is now accepted and ready to land.May 12 2021, 7:13 PM

Add NSEC_PER_SEC, use it throughout kern_time.c.

This revision now requires review to proceed.May 12 2021, 8:59 PM
kib added inline comments.
sys/kern/kern_time.c
75

The 'L' suffix is not needed, I believe.

This revision is now accepted and ready to land.May 12 2021, 10:29 PM