]> CyberLeo.Net >> Repos - FreeBSD/FreeBSD.git/commit
The paradigm of a callout is that it has three consequent states:
authorGleb Smirnoff <glebius@FreeBSD.org>
Tue, 5 Jul 2016 18:47:17 +0000 (18:47 +0000)
committerGleb Smirnoff <glebius@FreeBSD.org>
Tue, 5 Jul 2016 18:47:17 +0000 (18:47 +0000)
commitd153eeee97dccc8d987434f24f13595ad31498d5
treedf89f7538deb1b0f07dc825f3cc07f66e10f14a1
parenta0d20ecb94676a07b8587605e39a097160541654
The paradigm of a callout is that it has three consequent states:
not scheduled -> scheduled -> running -> not scheduled. The API and the
manual page assume that, some comments in the code assume that, and looks
like some contributors to the code also did. The problem is that this
paradigm isn't true. A callout can be scheduled and running at the same
time, which makes API description ambigouous. In such case callout_stop()
family of functions/macros should return 1 and 0 at the same time, since it
successfully unscheduled future callout but the current one is running.
Before this change we returned 1 in such a case, with an exception that
if running callout was migrating we returned 0, unless CS_MIGRBLOCK was
specified.

With this change, we now return 0 in case if future callout was unscheduled,
but another one is still in action, indicating to API users that resources
are not yet safe to be freed.

However, the sleepqueue code relies on getting 1 return code in that case,
and there already was CS_MIGRBLOCK flag, that covered one of the edge cases.
In the new return path we will also use this flag, to keep sleepqueue safe.

Since the flag CS_MIGRBLOCK doesn't block migration and now isn't limited to
migration edge case, rename it to CS_EXECUTING.

This change fixes panics on a high loaded TCP server.

Reviewed by: jch, hselasky, rrs, kib
Approved by: re (gjb)
Differential Revision: https://reviews.freebsd.org/D7042
share/man/man9/timeout.9
sys/kern/kern_timeout.c
sys/kern/subr_sleepqueue.c
sys/sys/callout.h