linux-kernel - [PATCH 2/2] config: Add new CONFIG_PROVE_LOCKING

lists.openwall.net		lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC
Open Source and information security mailing list archives

Hash Suite: Windows password security audit tool. GUI, reports in PDF.

[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]

Date:   Thu, 22 Sep 2016 11:43:36 -0700
From:   Babu Moger <babu.moger@...cle.com>
To:     peterz@...radead.org, mingo@...hat.com, akpm@...ux-foundation.org,
        keescook@...omium.org, dan.j.williams@...el.com,
        aryabinin@...tuozzo.com, tj@...nel.org
Cc:     linux-kernel@...r.kernel.org, babu.moger@...cle.com
Subject: [PATCH 2/2] config: Add new CONFIG_PROVE_LOCKING_PLUS

Adding the new config parameter CONFIG_PROVE_LOCKING_PLUS in case
someone needs to enable more static space for lockdep entries,
lock chains and stack traces to debug large configurations.
The default size is kept small to cover majority of the configs.

Signed-off-by: Babu Moger <babu.moger@...cle.com>
---
 lib/Kconfig.debug |   10 ++++++++++
 1 files changed, 10 insertions(+), 0 deletions(-)

diff --git a/lib/Kconfig.debug b/lib/Kconfig.debug
index b9cfdbf..d5d995e 100644
--- a/lib/Kconfig.debug
+++ b/lib/Kconfig.debug
@@ -1070,6 +1070,16 @@ config PROVE_LOCKING
 
 	 For more details, see Documentation/locking/lockdep-design.txt.
 
+config PROVE_LOCKING_PLUS
+	bool "Reserve extra space for prove locking correctness"
+	depends on PROVE_LOCKING
+	default n
+	help
+	 This feature reserves more space for lockdep entries, lock chains
+	 and stack traces to debug large configurations. This could add
+	 about additional 4MB static memory to kernel size. This is not
+	 suitable for embedded or other limited memory configurations.
+
 config LOCKDEP
 	bool
 	depends on DEBUG_KERNEL && TRACE_IRQFLAGS_SUPPORT && STACKTRACE_SUPPORT && LOCKDEP_SUPPORT
-- 
1.7.1