kmod: pending fixes for v4.13-final
Subsystems (3)
Luis R. Rodriguez
maintainercover kmod: pending fixes for v4.13-final
Andrew,
These are the few pending fixes I have queued up for v4.13-final. One is a a generic regression fix for recursive loops on kmod and the other one is a trivial print out correction.
During the v4.13 development we assumed that recursive kmod loops were no longer possible. Clearly that is not true. The regression fix makes use of a new killable wait. We use a killable wait to be paranoid in how signals might be sent to modprobe and only accept a proper SIGKILL. The signal will only be available to userspace to issue *iff* a thread has already entered a wait state, and that happens only if we've already throttled after 50 kmod threads have been hit.
These fixes are also available on my linux git tree branch 20170809-kmod-for-v4.13-final [0] which also has contains other fixes I had previously sent to you and Shuah for inclusion for v4.13-final.
Note that although it may seem excessive to trigger a failure afer 5 seconds if all kmod thread remain busy, prior to the series of changes that went into v4.13 we would actually *always* fatally fail any request which came in if the limit was already reached. The new waiting implemented in v4.13 actually gives us *more* breathing room -- the wait for 5 seconds is a wait for *any* kmod thread to finish. We give up and fail *iff* no kmod thread has finished and they're *all* running straight for 5 consecutive seconds. If 50 kmod threads are running consecutively for 5 seconds something else must be really bad.
Recursive loops with kmod are bad but they're also hard to implement properly as a selftest without currently fooling current userspace tools like kmod [1]. For instance kmod will complain when you run depmod if it finds a recursive loop with symbol dependency between modules as such this type of recursive loop cannot go upstream as the modules_install target will fail after running depmod. These tests already exist on userspace kmod upstream though (refer to the testsuite/module-playground/mod-loop-*.c files). The same is not true if request_module() is used though, or worst if aliases are used. Likewise the issue with 64-bit kernels booting 32-bit userspace without a binfmt handler built-in is also currently not detected and proactively avoided by userspace kmod tools, or kconfig for all architectures. Although we could complain in the kernel when some of these individual recursive issues creep up, proactively avoiding these situations in userspace at build time is what we should keep striving for.
Lastly, since recursive loops could happen with kmod it may mean recursive loops may also be possible with other kernel usermode helpers, this should be investigated and long term if we can come up with a more sensible generic solution even better!
If there are any questions please let me know.
[0] https://git.kernel.org/pub/scm/linux/kernel/git/mcgrof/linux.git/log/?h=20170809-kmod-for-v4.13-final
[1] https://git.kernel.org/pub/scm/utils/kernel/kmod/kmod.git
Luis
Luis R. Rodriguez (3):
wait: add wait_event_killable_timeout()
kmod: fix wait on recursive loop
test_kmod: fix description for -s -and -c parameters
include/linux/wait.h | 37 ++++++++++++++++++++++++++++++++++++ kernel/kmod.c | 25 ++++++++++++++++++++++-- tools/testing/selftests/kmod/kmod.sh | 4 ++-- 3 files changed, 62 insertions(+), 4 deletions(-)
Signature · 1 line
2.14.0
Luis R. Rodriguez
maintainerPATCH 1/3 wait: add wait_event_killable_timeout()
This wait is similar to wait_event_interruptable_timeout() but only accepts SIGKILL interrupt signal. Other signals are ignored.
--- include/linux/wait.h | 37 +++++++++++++++++++++++++++++++++++++ 1 file changed, 37 insertions(+)
include/linux/wait.h +37 -0
@@ -757,6 +757,43 @@ extern int do_wait_intr_irq(wait_queue_head_t *, wait_queue_entry_t *); __ret; \ }) +#define __wait_event_killable_timeout (wq_head, condition, timeout) \ + ___wait_event(wq_head, ___wait_cond_timeout(condition), \ + TASK_KILLABLE, 0, timeout, \ + __ret = schedule_timeout(__ret)) + +/** +* wait_event_killable_timeout - sleep until a condition gets true or a timeout elapses +* @wq_head: the waitqueue to wait on +* @condition: a C expression for the event to wait for +* @timeout: timeout, in jiffies +* +* The process is put to sleep (TASK_KILLABLE) until the +* @condition evaluates to true or a kill signal is received. +* The @condition is checked each time the waitqueue @wq_head is woken up. +* +* wake_up() has to be called after changing any variable that could +* change the result of the wait condition. +* +* Returns: +* 0 if the @condition evaluated to %false after the @timeout elapsed, +* 1 if the @condition evaluated to %true after the @timeout elapsed, +* the remaining jiffies (at least 1) if the @condition evaluated +* to %true before the @timeout elapsed, or -%ERESTARTSYS if it was +* interrupted by a kill signal. +* +* Only kill signals interrupt this process. +*/ +#define wait_event_killable_timeout (wq_head, condition, timeout) \ +({ \ + long __ret = timeout; \ + might_sleep(); \ + if (!___wait_cond_timeout(condition)) \ + __ret = __wait_event_killable_timeout(wq_head, \ + condition, timeout); \ + __ret; \ +}) +#define __wait_event_lock_irq (wq_head, condition, lock, cmd) \ (void)___wait_event(wq_head, condition, TASK_UNINTERRUPTIBLE, 0, 0, \
Signature · 1 line
2.14.0
Re: [PATCH 1/3] wait: add wait_event_killable_timeout()
Quoted 4 lines · Luis R. Rodriguez
This wait is similar to
wait_event_interruptable_timeout()but only accepts SIGKILL interrupt signal. Other signals are ignored.Signed-off-by Luis R. Rodriguez <[email protected]>
Assuming someone else is going to merge all these:
Luis R. Rodriguez
maintainerPATCH 2/3 kmod: fix wait on recursive loop
In reply to Luis R. RodriguezRecursive loops with module loading were previously handled in kmod by restricting the number of modprobe calls to 50 and if that limit was breached request_module() would return an error and a user would see the following on their kernel dmesg:
request_module: runaway loop modprobe binfmt-464c Starting init:/sbin/init exists but couldn't execute it (error -8)
This issue could happen for instance when a 64-bit kernel boots a 32-bit userspace on some architectures and has no 32-bit binary format hanlders. This is visible, for instance, when a CONFIG_MODULES enabled 64-bit MIPS kernel boots a into o32 root filesystem and the binfmt handler for o32 binaries is not built-in.
After commit 6d7964a722af ("kmod: throttle kmod thread limit") we now don't have any visible signs of an error and the kernel just waits for the loop to end somehow.
Although this *particular* recursive loop could also be addressed by doing a sanity check on search_binary_handler() and disallowing a modular binfmt to be required for modprobe, a generic solution for any recursive kernel kmod issues is still needed.
This should catch these loops. We can investigate each loop and address each one separately as they come in, this however puts a stop gap for them as before.
--- kernel/kmod.c | 25 +++++++++++++++++++++++-- 1 file changed, 23 insertions(+), 2 deletions(-)
kernel/kmod.c +23 -2
@@ -70,6 +70,18 @@ static DECLARE_RWSEM(umhelper_sem);static atomic_t kmod_concurrent_max =ATOMIC_INIT (MAX_KMOD_CONCURRENT );static DECLARE_WAIT_QUEUE_HEAD (kmod_wq); +/* +* This is a restriction on having *all* MAX_KMOD_CONCURRENT threads +* running at the same time without returning. When this happens we +* believe you've somehow ended up with a recursive module dependency +* creating a loop. +* +* We have no option but to fail. +* +* Userspace should proactively try to detect and prevent these. +*/ +#define MAX_KMOD_ALL_BUSY_TIMEOUT 5 +/* modprobe_path is set via /proc/sys. */
@@ -167,8 +179,17 @@ int __request_module(bool wait, const char *fmt, ...)pr_warn_ratelimited ("request_module: kmod_concurrent_max (%u) close to 0 (max_modprobes: %u), for module %s, throttling..." ,atomic_read (&kmod_concurrent_max),MAX_KMOD_CONCURRENT , module_name); -wait_event_interruptible (kmod_wq, -atomic_dec_if_positive (&kmod_concurrent_max) >=0 ); + ret =wait_event_killable_timeout (kmod_wq, +atomic_dec_if_positive (&kmod_concurrent_max) >=0 , +MAX_KMOD_ALL_BUSY_TIMEOUT *HZ ); +if (!ret) { +pr_warn_ratelimited ("request_module: modprobe %s cannot be processed, kmod busy with %d threads for more than %d seconds now" , + module_name,MAX_KMOD_CONCURRENT ,MAX_KMOD_ALL_BUSY_TIMEOUT ); +return -ETIME ; + }else if (ret == -ERESTARTSYS ) { +pr_warn_ratelimited ("request_module: sigkill sent for modprobe %s, giving up" , module_name); +return ret; + } }trace_module_request (module_name, wait, _RET_IP_);
Signature · 1 line
2.14.0
Luis R. Rodriguez
maintainerPATCH 3/3 test_kmod: fix description for -s -and -c parameters
In reply to Luis R. RodriguezThe descriptions were reversed, correct this.
--- tools/testing/selftests/kmod/kmod.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-)
tools/testing/selftests/kmod/kmod.sh +2 -2
@@ -473,8 +473,8 @@ usage() echo " all Runs all tests (default)" echo " -t Run test ID the number amount of times is recommended" echo " -w Watch test ID run until it runs into an error" - echo " -c Run test ID once" - echo " -s Run test ID x test-count number of times" + echo " -s Run test ID once" + echo " -c Run test ID x test-count number of times" echo " -l List all test ID list" echo " -h|--help Help" echo
Signature · 1 line
2.14.0