Module Name: src Committed By: ozaki-r Date: Mon Feb 3 07:40:24 UTC 2025
Modified Files: src/sys/altq: altq_rmclass.h Log Message: altq, cbq: fix TS_ADD_DELTA on ILP32 TS_ADD_DELTA adds a nanosecond value, delta, to a timespec value while delta is int64_t and tv_nsec is long. delta is guaranteed as positive in ALTQ/CBQ. However, the original code used delta after casting it into long. So it could be negative on ILP32 systems. TS_ADD_DELTA didn't assume that delta was negative and resulting tv_nsec could be negative unexpectedly. This issue was likely to occur when bandwidth borrowing was used where the borrowing class had a absolutely small bandwidth (e.g., less than 10 Mbps) or a relatively small bandwidth (e.g., 10 Mbps when the parent class had 200 Mbps). KASSERT has been added to guarantee resulting tv_nsec is always not negative. Additionally, another KASSERT has been added to make it clear that delta is assumed to be non-negative. To generate a diff of this commit: cvs rdiff -u -r1.13 -r1.14 src/sys/altq/altq_rmclass.h Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files.
Modified files: Index: src/sys/altq/altq_rmclass.h diff -u src/sys/altq/altq_rmclass.h:1.13 src/sys/altq/altq_rmclass.h:1.14 --- src/sys/altq/altq_rmclass.h:1.13 Tue May 24 20:50:18 2022 +++ src/sys/altq/altq_rmclass.h Mon Feb 3 07:40:24 2025 @@ -1,4 +1,4 @@ -/* $NetBSD: altq_rmclass.h,v 1.13 2022/05/24 20:50:18 andvar Exp $ */ +/* $NetBSD: altq_rmclass.h,v 1.14 2025/02/03 07:40:24 ozaki-r Exp $ */ /* $KAME: altq_rmclass.h,v 1.10 2003/08/20 23:30:23 itojun Exp $ */ /* @@ -82,14 +82,14 @@ struct red; } while (0) #define TS_ADD_DELTA(a, delta, res) do { \ - register long xxns = (a)->tv_nsec + (long)(delta); \ - \ - (res)->tv_sec = (a)->tv_sec; \ - while (xxns >= 1000000000) { \ - ++((res)->tv_sec); \ - xxns -= 1000000000; \ + KASSERT(delta >= 0); \ + (res)->tv_sec = (a)->tv_sec + (delta) / 1000000000L; \ + (res)->tv_nsec = (a)->tv_nsec + (long)((delta) % 1000000000L); \ + if ((res)->tv_nsec >= 1000000000L) { \ + (res)->tv_nsec -= 1000000000L; \ + (res)->tv_sec++; \ } \ - (res)->tv_nsec = xxns; \ + KASSERT((res)->tv_nsec >= 0); \ } while (0) #define RM_TIMEOUT 2 /* 1 Clock tick. */