Received: by 2002:ad5:474a:0:0:0:0:0 with SMTP id i10csp2247769imu; Thu, 29 Nov 2018 01:47:25 -0800 (PST) X-Google-Smtp-Source: AFSGD/VrhkVe2nKCew7claA7XyQUxT12IsEw4gRq8LP/pbO9XxGJVjhFUeltl7SoooNOCdQ7CKB/ X-Received: by 2002:a17:902:70c6:: with SMTP id l6mr811960plt.30.1543484845221; Thu, 29 Nov 2018 01:47:25 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1543484845; cv=none; d=google.com; s=arc-20160816; b=bS0Wnx0JrKTFqFzFSHtd4MoTq/XhN9WZ0LilDMI5gCBkOKXhPX5EDAv/bOH52q53m+ vt7IHfg55TS+vlXtcYpo74ZDAJ0LR+nCNYz4trWb2jkB42hZDYOrwhNZXfnXaojO2Qzk q9M+OgRTS5QA4dRkYpHERR5NTi4UrAGaX8kzousvm6w54qKOLiVv8z23eDlXbzr+Auyy 14uKWV1x9taLecuckWCdR6QcaUX1am4jK70sW8y2oi1UJVRmctwc/prck5uR0u2BVXib y3J144Ga5VXDKPUYCib8QwroJgpEic0fH3f9yxrs1iNg+xhShlmmMWV4Wcl9EvLK+tsD v2Ag== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:references:in-reply-to:message-id:date :subject:cc:to:from; bh=qPa0KMwO8slFx8iGCUO4s8YZ/X7deUmZixoCUCREPvE=; b=U03JAWlJj6MeMw7JeIwanzxg0l4YKH0sy/Y8YrhVpmL3efoRZaUP8A3DcOdiNia37B P9m2albiqKspweOBb4NYvTRL2WimVZRu649CwNMf3kJbfPMgRm/3GPkoIGjcEMXm5IBI SeI1iRXJcCXW4bBXaqWmxdDcoBRE1qwXmYA0ItbO8rWKo7z86sh1o+slrbvE3ZhFsPBz ILZ+4ICV0YJoE5qQHjJboY8BWnt29NwiTWI4N7WM6YoZlk5qHDALkJiL62Wry/BeS81f Co4i/0QNWmGHQTyqkj2bylWlwqJtpD2lBL9Z+SHCzJg9m5ek2pqq/mdGOTpSqZEB3d8K H/dQ== ARC-Authentication-Results: i=1; mx.google.com; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id y1si1506393pgy.174.2018.11.29.01.47.10; Thu, 29 Nov 2018 01:47:25 -0800 (PST) Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67; Authentication-Results: mx.google.com; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1728029AbeK2Utw (ORCPT + 99 others); Thu, 29 Nov 2018 15:49:52 -0500 Received: from mx2.suse.de ([195.135.220.15]:48050 "EHLO mx1.suse.de" rhost-flags-OK-OK-OK-FAIL) by vger.kernel.org with ESMTP id S1727040AbeK2Utw (ORCPT ); Thu, 29 Nov 2018 15:49:52 -0500 X-Virus-Scanned: by amavisd-new at test-mx.suse.de Received: from relay2.suse.de (unknown [195.135.220.254]) by mx1.suse.de (Postfix) with ESMTP id 00573AD47; Thu, 29 Nov 2018 09:45:05 +0000 (UTC) From: Petr Mladek To: Jiri Kosina , Josh Poimboeuf , Miroslav Benes Cc: Jason Baron , Joe Lawrence , Evgenii Shatokhin , live-patching@vger.kernel.org, linux-kernel@vger.kernel.org, Petr Mladek Subject: [PATCH v14 04/11] livepatch: Refuse to unload only livepatches available during a forced transition Date: Thu, 29 Nov 2018 10:44:24 +0100 Message-Id: <20181129094431.7801-5-pmladek@suse.com> X-Mailer: git-send-email 2.13.7 In-Reply-To: <20181129094431.7801-1-pmladek@suse.com> References: <20181129094431.7801-1-pmladek@suse.com> Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org module_put() is currently never called in klp_complete_transition() when klp_force is set. As a result, we might keep the reference count even when klp_enable_patch() fails and klp_cancel_transition() is called. This might make an assumption that a module might get blocked in some strange init state. Fortunately, it is not the case. The reference count is ignored when mod->init fails and erroneous modules are always removed. Anyway, this might make some confusion. Instead, this patch moves the global klp_forced flag into struct klp_patch. As a result, we block only modules that might still be in use after a forced transition. Newly loaded livepatches might be eventually completely removed later. It is not a big deal. But the code is at least consistent with the reality. Signed-off-by: Petr Mladek --- include/linux/livepatch.h | 2 ++ kernel/livepatch/core.c | 4 +++- kernel/livepatch/core.h | 1 + kernel/livepatch/transition.c | 11 ++++++----- 4 files changed, 12 insertions(+), 6 deletions(-) diff --git a/include/linux/livepatch.h b/include/linux/livepatch.h index 6646bc4730bc..b71892693da5 100644 --- a/include/linux/livepatch.h +++ b/include/linux/livepatch.h @@ -143,6 +143,7 @@ struct klp_object { * @kobj: kobject for sysfs resources * @kobj_alive: @kobj has been added and needs freeing * @enabled: the patch is enabled (but operation may be incomplete) + * @forced: was involved in a forced transition * @finish: for waiting till it is safe to remove the patch module */ struct klp_patch { @@ -155,6 +156,7 @@ struct klp_patch { struct kobject kobj; bool kobj_alive; bool enabled; + bool forced; struct completion finish; }; diff --git a/kernel/livepatch/core.c b/kernel/livepatch/core.c index 6c255dbcc517..972520144713 100644 --- a/kernel/livepatch/core.c +++ b/kernel/livepatch/core.c @@ -45,7 +45,8 @@ */ DEFINE_MUTEX(klp_mutex); -static LIST_HEAD(klp_patches); +/* Registered patches */ +LIST_HEAD(klp_patches); static struct kobject *klp_root_kobj; @@ -665,6 +666,7 @@ static int klp_init_patch_before_free(struct klp_patch *patch) INIT_LIST_HEAD(&patch->list); patch->kobj_alive = false; patch->enabled = false; + patch->forced = false; init_completion(&patch->finish); klp_for_each_object(patch, obj) { diff --git a/kernel/livepatch/core.h b/kernel/livepatch/core.h index 48a83d4364cf..d0cb5390e247 100644 --- a/kernel/livepatch/core.h +++ b/kernel/livepatch/core.h @@ -5,6 +5,7 @@ #include extern struct mutex klp_mutex; +extern struct list_head klp_patches; static inline bool klp_is_object_loaded(struct klp_object *obj) { diff --git a/kernel/livepatch/transition.c b/kernel/livepatch/transition.c index 512913c1452d..e1aed2e18e70 100644 --- a/kernel/livepatch/transition.c +++ b/kernel/livepatch/transition.c @@ -33,8 +33,6 @@ struct klp_patch *klp_transition_patch; static int klp_target_state = KLP_UNDEFINED; -static bool klp_forced = false; - /* * This work can be performed periodically to finish patching or unpatching any * "straggler" tasks which failed to transition in the first attempt. @@ -137,10 +135,10 @@ static void klp_complete_transition(void) klp_target_state == KLP_PATCHED ? "patching" : "unpatching"); /* - * klp_forced set implies unbounded increase of module's ref count if + * patch->forced set implies unbounded increase of module's ref count if * the module is disabled/enabled in a loop. */ - if (!klp_forced && klp_target_state == KLP_UNPATCHED) + if (!klp_transition_patch->forced && klp_target_state == KLP_UNPATCHED) module_put(klp_transition_patch->mod); klp_target_state = KLP_UNDEFINED; @@ -620,6 +618,7 @@ void klp_send_signals(void) */ void klp_force_transition(void) { + struct klp_patch *patch; struct task_struct *g, *task; unsigned int cpu; @@ -633,5 +632,7 @@ void klp_force_transition(void) for_each_possible_cpu(cpu) klp_update_patch_state(idle_task(cpu)); - klp_forced = true; + /* Refuse unloading all livepatches. The code might be in use. */ + list_for_each_entry(patch, &klp_patches, list) + patch->forced = true; } -- 2.13.7