Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > linux.kernel > #1491591

[PATCH v2 1/2] config: Add new CONFIG_PROVE_LOCKING_SMALL

From Babu Moger <babu.moger@oracle.com>
Newsgroups linux.kernel
Subject [PATCH v2 1/2] config: Add new CONFIG_PROVE_LOCKING_SMALL
Date 2016-09-27 00:40 +0200
Message-ID <slMJ3-1gp-9@gated-at.bofh.it> (permalink)
References <slMJ3-1gp-11@gated-at.bofh.it>
Organization linux.* mail to news gateway

Show all headers | View raw


Adding the new config parameter CONFIG_PROVE_LOCKING_SMALL for sparc.

This feature limits the space used for "Lock debugging: prove locking
correctness" by about 4MB. The current sparc systms have the limitation of
32MB size for kernel size including .text, .data and .bss sections. With
PROVE_LOCKING feature, the kernel size could grow beyond this limit and
causing system bootup issues. With this option, kernel limits the size
of the entries of lock_chains, stack_trace etc. so that kernel fits in
required size limit.  This is only visible for sparc.

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

diff --git a/lib/Kconfig.debug b/lib/Kconfig.debug
index b9cfdbf..c79de25 100644
--- a/lib/Kconfig.debug
+++ b/lib/Kconfig.debug
@@ -1035,6 +1035,7 @@ config PROVE_LOCKING
 	select DEBUG_MUTEXES
 	select DEBUG_LOCK_ALLOC
 	select TRACE_IRQFLAGS
+	select PROVE_LOCKING_SMALL if SPARC
 	default n
 	help
 	 This feature enables the kernel to prove that all locking
@@ -1070,6 +1071,22 @@ config PROVE_LOCKING
 
 	 For more details, see Documentation/locking/lockdep-design.txt.
 
+config PROVE_LOCKING_SMALL
+	bool "Limit the space for prove locking correctness"
+	depends on PROVE_LOCKING && SPARC
+	help
+	 This feature limits the space used for "Lock debugging: prove
+	 locking correctness" by about 4MB. In sparc system, all the
+	 kernel's code, data, and bss, must have locked translations in
+	 the TLB so that it does not hit TLB misses. The current sparc
+	 chips have 8 TLB entries available that may be locked down, and
+	 with a 4mb page size, this gives a maximum of 32mb of memory for
+	 the kernel size. With PROVE_LOCKING feature, the kernel size could
+	 grow beyond this limit and causing system bootup issues. With
+	 this option, kernel limits the size of the entries of lock_chains,
+	 stack_trace etc. to debug PROVE_LOCKING so that kernel size fits
+	 in 32MB. This is only visible for SPARC.
+
 config LOCKDEP
 	bool
 	depends on DEBUG_KERNEL && TRACE_IRQFLAGS_SUPPORT && STACKTRACE_SUPPORT && LOCKDEP_SUPPORT
-- 
1.7.1

Back to linux.kernel | Previous | NextNext in thread | Find similar | Unroll thread


Thread

[PATCH v2 1/2] config: Add new CONFIG_PROVE_LOCKING_SMALL Babu Moger <babu.moger@oracle.com> - 2016-09-27 00:40 +0200
  Re: [PATCH v2 1/2] config: Add new CONFIG_PROVE_LOCKING_SMALL Sam Ravnborg <sam@ravnborg.org> - 2016-09-27 07:00 +0200
    Re: [PATCH v2 1/2] config: Add new CONFIG_PROVE_LOCKING_SMALL Peter Zijlstra <peterz@infradead.org> - 2016-09-27 13:50 +0200
      Re: [PATCH v2 1/2] config: Add new CONFIG_PROVE_LOCKING_SMALL Babu Moger <babu.moger@oracle.com> - 2016-09-27 17:00 +0200
        Re: [PATCH v2 1/2] config: Add new CONFIG_PROVE_LOCKING_SMALL Sam Ravnborg <sam@ravnborg.org> - 2016-09-27 17:50 +0200
          Re: [PATCH v2 1/2] config: Add new CONFIG_PROVE_LOCKING_SMALL Babu Moger <babu.moger@oracle.com> - 2016-09-27 18:30 +0200

csiph-web