Re: kern/57718: mstohz rounds down, not up, which leads to surprising bugs when it rounds to zero

[mlelstv%serpens.de@localhost (Michael van Elst)]

The following reply was made to PR kern/57718; it has been noted by GNATS.

From: mlelstv%serpens.de@localhost (Michael van Elst)
To: gnats-bugs%netbsd.org@localhost
Cc: 
Subject: Re: kern/57718: mstohz rounds down, not up, which leads to surprising bugs when it rounds to zero
Date: Wed, 22 Nov 2023 11:28:17 -0000 (UTC)

 kre%munnari.OZ.AU@localhost (Robert Elz) writes:
 
 >   |  Consistently waiting for "at least" the time (aka rounding up) is
 >   |  consistent with the world,
 > 
 > Yes, for timeouts, and user code, but for device polling one cannot
 > usually just wait "anything longer than  ..." or events might be lost.
 
 In this environment, you cannot enforce a maximum wait time and
 "lost events" need to be handled gracefully. If that's not possible
 you need to use real-time systems, dedicated processors or other
 hardware that meets such a requirement.