* Re: [PATCH] mm: create a separate slab for page->ptl allocation
2013-11-05 23:13 ` Kirill A. Shutemov
@ 2013-11-05 23:13 ` Kirill A. Shutemov
2013-11-06 0:43 ` Andrew Morton
` (2 subsequent siblings)
3 siblings, 0 replies; 28+ messages in thread
From: Kirill A. Shutemov @ 2013-11-05 23:13 UTC (permalink / raw)
To: Andrew Morton
Cc: Kirill A. Shutemov, Peter Zijlstra, Ingo Molnar, linux-kernel,
linux-mm, linux-arch
On Tue, Nov 05, 2013 at 03:56:19PM -0800, Andrew Morton wrote:
> On Wed, 6 Nov 2013 00:42:17 +0200 "Kirill A. Shutemov" <kirill@shutemov.name> wrote:
>
> > > > #if USE_SPLIT_PTE_PTLOCKS
> > > > +struct kmem_cache *page_ptl_cachep;
> > > > +void __init ptlock_cache_init(void)
> > > > +{
> > > > + if (sizeof(spinlock_t) > sizeof(long))
> > > > + page_ptl_cachep = kmem_cache_create("page->ptl",
> > > > + sizeof(spinlock_t), 0, SLAB_PANIC, NULL);
> > > > +}
> > >
> > > Confused. If (sizeof(spinlock_t) > sizeof(long)) happens to be false
> > > then the kernel will later crash. It would be better to use BUILD_BUG_ON()
> > > here, if that works. Otherwise BUG_ON.
> >
> > if (sizeof(spinlock_t) > sizeof(long)) is false, we don't need dynamicly
> > allocate page->ptl. It's embedded to struct page itself. __ptlock_alloc()
> > never called in this case.
>
> OK. Please add a comment explaining this so the next reader doesn't get
> tripped up like I was.
Okay, I will tomorrow.
> Really the function shouldn't exist in this case. It is __init so the
> sin is not terrible, but can this be arranged?
I would like to get rid of __ptlock_alloc()/__ptlock_free() too, but I
don't see a way within C: we need to know sizeof(spinlock_t) on
preprocessor stage.
We can have a hack on kbuild level: write small helper program to find out
sizeof(spinlock_t) before start building and turn it into define.
But it's overkill from my POV. And cross-compilation will be a fun.
--
Kirill A. Shutemov
^ permalink raw reply [flat|nested] 28+ messages in thread* Re: [PATCH] mm: create a separate slab for page->ptl allocation
2013-11-05 23:13 ` Kirill A. Shutemov
2013-11-05 23:13 ` Kirill A. Shutemov
@ 2013-11-06 0:43 ` Andrew Morton
2013-11-06 9:31 ` Peter Zijlstra
2013-11-06 10:34 ` Will Deacon
3 siblings, 0 replies; 28+ messages in thread
From: Andrew Morton @ 2013-11-06 0:43 UTC (permalink / raw)
To: Kirill A. Shutemov
Cc: Kirill A. Shutemov, Peter Zijlstra, Ingo Molnar, linux-kernel,
linux-mm, linux-arch
On Wed, 6 Nov 2013 01:13:11 +0200 "Kirill A. Shutemov" <kirill@shutemov.name> wrote:
> > Really the function shouldn't exist in this case. It is __init so the
> > sin is not terrible, but can this be arranged?
>
> I would like to get rid of __ptlock_alloc()/__ptlock_free() too, but I
> don't see a way within C: we need to know sizeof(spinlock_t) on
> preprocessor stage.
>
> We can have a hack on kbuild level: write small helper program to find out
> sizeof(spinlock_t) before start building and turn it into define.
> But it's overkill from my POV. And cross-compilation will be a fun.
Yes, it doesn't seem worth the fuss. The compiler will remove all this
code anyway, so for example ptlock_cache_init() becomes an empty function.
^ permalink raw reply [flat|nested] 28+ messages in thread
* Re: [PATCH] mm: create a separate slab for page->ptl allocation
2013-11-05 23:13 ` Kirill A. Shutemov
2013-11-05 23:13 ` Kirill A. Shutemov
2013-11-06 0:43 ` Andrew Morton
@ 2013-11-06 9:31 ` Peter Zijlstra
2013-11-06 11:18 ` Peter Zijlstra
2013-11-06 13:21 ` [PATCH] mm: create a separate slab for page->ptl allocation Kirill A. Shutemov
2013-11-06 10:34 ` Will Deacon
3 siblings, 2 replies; 28+ messages in thread
From: Peter Zijlstra @ 2013-11-06 9:31 UTC (permalink / raw)
To: Kirill A. Shutemov
Cc: Andrew Morton, Kirill A. Shutemov, Ingo Molnar, linux-kernel,
linux-mm, linux-arch
On Wed, Nov 06, 2013 at 01:13:11AM +0200, Kirill A. Shutemov wrote:
> I would like to get rid of __ptlock_alloc()/__ptlock_free() too, but I
> don't see a way within C: we need to know sizeof(spinlock_t) on
> preprocessor stage.
>
> We can have a hack on kbuild level: write small helper program to find out
> sizeof(spinlock_t) before start building and turn it into define.
> But it's overkill from my POV. And cross-compilation will be a fun.
Ah, I just remembered, we have such a thing!
---
Subject: mm: Properly separate the bloated ptl from the regular case
Use kernel/bounds.c to convert build-time spinlock_t size into a
preprocessor symbol and apply that to properly separate the page::ptl
situation.
Signed-off-by: Peter Zijlstra <peterz@infradead.org>
---
include/linux/mm.h | 24 +++++++++++++-----------
include/linux/mm_types.h | 9 +++++----
kernel/bounds.c | 2 ++
mm/memory.c | 11 +++++------
4 files changed, 25 insertions(+), 21 deletions(-)
diff --git a/include/linux/mm.h b/include/linux/mm.h
index d0339741b6ce..6ab26704671b 100644
--- a/include/linux/mm.h
+++ b/include/linux/mm.h
@@ -1317,27 +1317,29 @@ static inline pmd_t *pmd_alloc(struct mm_struct *mm, pud_t *pud, unsigned long a
#endif /* CONFIG_MMU && !__ARCH_HAS_4LEVEL_HACK */
#if USE_SPLIT_PTE_PTLOCKS
-bool __ptlock_alloc(struct page *page);
-void __ptlock_free(struct page *page);
+#if BLOATED_SPINLOCKS
+extern bool ptlock_alloc(struct page *page);
+extern void ptlock_free(struct page *page);
+
+static inline spinlock_t *ptlock_ptr(struct page *page)
+{
+ return page->ptl;
+}
+#else /* BLOATED_SPINLOCKS */
static inline bool ptlock_alloc(struct page *page)
{
- if (sizeof(spinlock_t) > sizeof(page->ptl))
- return __ptlock_alloc(page);
return true;
}
+
static inline void ptlock_free(struct page *page)
{
- if (sizeof(spinlock_t) > sizeof(page->ptl))
- __ptlock_free(page);
}
static inline spinlock_t *ptlock_ptr(struct page *page)
{
- if (sizeof(spinlock_t) > sizeof(page->ptl))
- return (spinlock_t *) page->ptl;
- else
- return (spinlock_t *) &page->ptl;
+ return &page->ptl;
}
+#endif /* BLOATED_SPINLOCKS */
static inline spinlock_t *pte_lockptr(struct mm_struct *mm, pmd_t *pmd)
{
@@ -1354,7 +1356,7 @@ static inline bool ptlock_init(struct page *page)
* slab code uses page->slab_cache and page->first_page (for tail
* pages), which share storage with page->ptl.
*/
- VM_BUG_ON(page->ptl);
+ VM_BUG_ON(*(unsigned long *)&page->ptl);
if (!ptlock_alloc(page))
return false;
spin_lock_init(ptlock_ptr(page));
diff --git a/include/linux/mm_types.h b/include/linux/mm_types.h
index 5bee515c4505..f706743b63bb 100644
--- a/include/linux/mm_types.h
+++ b/include/linux/mm_types.h
@@ -155,10 +155,11 @@ struct page {
* system if PG_buddy is set.
*/
#if USE_SPLIT_PTE_PTLOCKS
- unsigned long ptl; /* It's spinlock_t if it fits to long,
- * otherwise it's pointer to dynamicaly
- * allocated spinlock_t.
- */
+#if BLOATED_SPINLOCKS
+ spinlock_t *ptl;
+#else
+ spinlock_t ptl;
+#endif
#endif
struct kmem_cache *slab_cache; /* SL[AU]B: Pointer to slab */
struct page *first_page; /* Compound tail pages */
diff --git a/kernel/bounds.c b/kernel/bounds.c
index e8ca97b5c386..5982437eca2c 100644
--- a/kernel/bounds.c
+++ b/kernel/bounds.c
@@ -11,6 +11,7 @@
#include <linux/kbuild.h>
#include <linux/page_cgroup.h>
#include <linux/log2.h>
+#include <linux/spinlock.h>
void foo(void)
{
@@ -21,5 +22,6 @@ void foo(void)
#ifdef CONFIG_SMP
DEFINE(NR_CPUS_BITS, ilog2(CONFIG_NR_CPUS));
#endif
+ DEFINE(BLOATED_SPINLOCKS, sizeof(spinlock_t) > sizeof(int));
/* End of constants */
}
diff --git a/mm/memory.c b/mm/memory.c
index 6f7bdee617e2..8356eac27d0a 100644
--- a/mm/memory.c
+++ b/mm/memory.c
@@ -4271,21 +4271,20 @@ void copy_user_huge_page(struct page *dst, struct page *src,
}
#endif /* CONFIG_TRANSPARENT_HUGEPAGE || CONFIG_HUGETLBFS */
-#if USE_SPLIT_PTE_PTLOCKS
-bool __ptlock_alloc(struct page *page)
+#if USE_SPLIT_PTE_PTLOCKS && BLOATED_SPINLOCKS
+bool ptlock_alloc(struct page *page)
{
spinlock_t *ptl;
ptl = kmalloc(sizeof(spinlock_t), GFP_KERNEL);
if (!ptl)
return false;
- page->ptl = (unsigned long)ptl;
+ page->ptl = ptl;
return true;
}
-void __ptlock_free(struct page *page)
+void ptlock_free(struct page *page)
{
- if (sizeof(spinlock_t) > sizeof(page->ptl))
- kfree((spinlock_t *)page->ptl);
+ kfree(page->ptl);
}
#endif
^ permalink raw reply related [flat|nested] 28+ messages in thread* Re: [PATCH] mm: create a separate slab for page->ptl allocation
2013-11-06 9:31 ` Peter Zijlstra
@ 2013-11-06 11:18 ` Peter Zijlstra
2013-11-06 11:18 ` Peter Zijlstra
2013-11-06 13:31 ` lockref: Use bloated_spinlocks to avoid explicit config dependencies Kirill A. Shutemov
2013-11-06 13:21 ` [PATCH] mm: create a separate slab for page->ptl allocation Kirill A. Shutemov
1 sibling, 2 replies; 28+ messages in thread
From: Peter Zijlstra @ 2013-11-06 11:18 UTC (permalink / raw)
To: Kirill A. Shutemov
Cc: Andrew Morton, Kirill A. Shutemov, Ingo Molnar, linux-kernel,
linux-mm, linux-arch
On Wed, Nov 06, 2013 at 10:31:31AM +0100, Peter Zijlstra wrote:
> Subject: mm: Properly separate the bloated ptl from the regular case
>
> Use kernel/bounds.c to convert build-time spinlock_t size into a
> preprocessor symbol and apply that to properly separate the page::ptl
> situation.
>
> Signed-off-by: Peter Zijlstra <peterz@infradead.org>
> ---
> include/linux/mm.h | 24 +++++++++++++-----------
> include/linux/mm_types.h | 9 +++++----
> kernel/bounds.c | 2 ++
> mm/memory.c | 11 +++++------
> 4 files changed, 25 insertions(+), 21 deletions(-)
>
> diff --git a/kernel/bounds.c b/kernel/bounds.c
> index e8ca97b5c386..5982437eca2c 100644
> --- a/kernel/bounds.c
> +++ b/kernel/bounds.c
> @@ -11,6 +11,7 @@
> #include <linux/kbuild.h>
> #include <linux/page_cgroup.h>
> #include <linux/log2.h>
> +#include <linux/spinlock.h>
>
> void foo(void)
> {
> @@ -21,5 +22,6 @@ void foo(void)
> #ifdef CONFIG_SMP
> DEFINE(NR_CPUS_BITS, ilog2(CONFIG_NR_CPUS));
> #endif
> + DEFINE(BLOATED_SPINLOCKS, sizeof(spinlock_t) > sizeof(int));
> /* End of constants */
> }
Using that we could also do.. not been near a compiler.
---
Subject: lockref: Use bloated_spinlocks to avoid explicit config dependencies
Avoid the fragile Kconfig construct guestimating spinlock_t sizes; use a
friendly compile-time test to determine this.
Not-Signed-off-by: Peter Zijlstra <peterz@infradead.org>
---
lib/Kconfig | 3 ---
lib/lockref.c | 2 +-
2 files changed, 1 insertion(+), 4 deletions(-)
diff --git a/lib/Kconfig b/lib/Kconfig
index b3c8be0da17f..254af289d1d0 100644
--- a/lib/Kconfig
+++ b/lib/Kconfig
@@ -54,9 +54,6 @@ config ARCH_USE_CMPXCHG_LOCKREF
config CMPXCHG_LOCKREF
def_bool y if ARCH_USE_CMPXCHG_LOCKREF
depends on SMP
- depends on !GENERIC_LOCKBREAK
- depends on !DEBUG_SPINLOCK
- depends on !DEBUG_LOCK_ALLOC
config CRC_CCITT
tristate "CRC-CCITT functions"
diff --git a/lib/lockref.c b/lib/lockref.c
index 6f9d434c1521..a158fd86aa1a 100644
--- a/lib/lockref.c
+++ b/lib/lockref.c
@@ -1,7 +1,7 @@
#include <linux/export.h>
#include <linux/lockref.h>
-#ifdef CONFIG_CMPXCHG_LOCKREF
+#if defined(CONFIG_CMPXCHG_LOCKREF) && !BLOATED_SPINLOCKS
/*
* Allow weakly-ordered memory architectures to provide barrier-less
--
To unsubscribe, send a message with 'unsubscribe linux-mm' in
the body to majordomo@kvack.org. For more info on Linux MM,
see: http://www.linux-mm.org/ .
Don't email: <a href=mailto:"dont@kvack.org"> email@kvack.org </a>
^ permalink raw reply related [flat|nested] 28+ messages in thread* Re: [PATCH] mm: create a separate slab for page->ptl allocation
2013-11-06 11:18 ` Peter Zijlstra
@ 2013-11-06 11:18 ` Peter Zijlstra
2013-11-06 13:31 ` lockref: Use bloated_spinlocks to avoid explicit config dependencies Kirill A. Shutemov
1 sibling, 0 replies; 28+ messages in thread
From: Peter Zijlstra @ 2013-11-06 11:18 UTC (permalink / raw)
To: Kirill A. Shutemov
Cc: Andrew Morton, Kirill A. Shutemov, Ingo Molnar, linux-kernel,
linux-mm, linux-arch
On Wed, Nov 06, 2013 at 10:31:31AM +0100, Peter Zijlstra wrote:
> Subject: mm: Properly separate the bloated ptl from the regular case
>
> Use kernel/bounds.c to convert build-time spinlock_t size into a
> preprocessor symbol and apply that to properly separate the page::ptl
> situation.
>
> Signed-off-by: Peter Zijlstra <peterz@infradead.org>
> ---
> include/linux/mm.h | 24 +++++++++++++-----------
> include/linux/mm_types.h | 9 +++++----
> kernel/bounds.c | 2 ++
> mm/memory.c | 11 +++++------
> 4 files changed, 25 insertions(+), 21 deletions(-)
>
> diff --git a/kernel/bounds.c b/kernel/bounds.c
> index e8ca97b5c386..5982437eca2c 100644
> --- a/kernel/bounds.c
> +++ b/kernel/bounds.c
> @@ -11,6 +11,7 @@
> #include <linux/kbuild.h>
> #include <linux/page_cgroup.h>
> #include <linux/log2.h>
> +#include <linux/spinlock.h>
>
> void foo(void)
> {
> @@ -21,5 +22,6 @@ void foo(void)
> #ifdef CONFIG_SMP
> DEFINE(NR_CPUS_BITS, ilog2(CONFIG_NR_CPUS));
> #endif
> + DEFINE(BLOATED_SPINLOCKS, sizeof(spinlock_t) > sizeof(int));
> /* End of constants */
> }
Using that we could also do.. not been near a compiler.
---
Subject: lockref: Use bloated_spinlocks to avoid explicit config dependencies
Avoid the fragile Kconfig construct guestimating spinlock_t sizes; use a
friendly compile-time test to determine this.
Not-Signed-off-by: Peter Zijlstra <peterz@infradead.org>
---
lib/Kconfig | 3 ---
lib/lockref.c | 2 +-
2 files changed, 1 insertion(+), 4 deletions(-)
diff --git a/lib/Kconfig b/lib/Kconfig
index b3c8be0da17f..254af289d1d0 100644
--- a/lib/Kconfig
+++ b/lib/Kconfig
@@ -54,9 +54,6 @@ config ARCH_USE_CMPXCHG_LOCKREF
config CMPXCHG_LOCKREF
def_bool y if ARCH_USE_CMPXCHG_LOCKREF
depends on SMP
- depends on !GENERIC_LOCKBREAK
- depends on !DEBUG_SPINLOCK
- depends on !DEBUG_LOCK_ALLOC
config CRC_CCITT
tristate "CRC-CCITT functions"
diff --git a/lib/lockref.c b/lib/lockref.c
index 6f9d434c1521..a158fd86aa1a 100644
--- a/lib/lockref.c
+++ b/lib/lockref.c
@@ -1,7 +1,7 @@
#include <linux/export.h>
#include <linux/lockref.h>
-#ifdef CONFIG_CMPXCHG_LOCKREF
+#if defined(CONFIG_CMPXCHG_LOCKREF) && !BLOATED_SPINLOCKS
/*
* Allow weakly-ordered memory architectures to provide barrier-less
^ permalink raw reply related [flat|nested] 28+ messages in thread* lockref: Use bloated_spinlocks to avoid explicit config dependencies
2013-11-06 11:18 ` Peter Zijlstra
2013-11-06 11:18 ` Peter Zijlstra
@ 2013-11-06 13:31 ` Kirill A. Shutemov
2013-11-06 13:31 ` Kirill A. Shutemov
2013-11-06 14:32 ` Peter Zijlstra
1 sibling, 2 replies; 28+ messages in thread
From: Kirill A. Shutemov @ 2013-11-06 13:31 UTC (permalink / raw)
To: Peter Zijlstra
Cc: Andrew Morton, Kirill A. Shutemov, Ingo Molnar, linux-kernel,
linux-mm, linux-arch, Linus Torvalds
On Wed, Nov 06, 2013 at 12:18:45PM +0100, Peter Zijlstra wrote:
> On Wed, Nov 06, 2013 at 10:31:31AM +0100, Peter Zijlstra wrote:
> > Subject: mm: Properly separate the bloated ptl from the regular case
> >
> > Use kernel/bounds.c to convert build-time spinlock_t size into a
> > preprocessor symbol and apply that to properly separate the page::ptl
> > situation.
> >
> > Signed-off-by: Peter Zijlstra <peterz@infradead.org>
> > ---
> > include/linux/mm.h | 24 +++++++++++++-----------
> > include/linux/mm_types.h | 9 +++++----
> > kernel/bounds.c | 2 ++
> > mm/memory.c | 11 +++++------
> > 4 files changed, 25 insertions(+), 21 deletions(-)
> >
> > diff --git a/kernel/bounds.c b/kernel/bounds.c
> > index e8ca97b5c386..5982437eca2c 100644
> > --- a/kernel/bounds.c
> > +++ b/kernel/bounds.c
> > @@ -11,6 +11,7 @@
> > #include <linux/kbuild.h>
> > #include <linux/page_cgroup.h>
> > #include <linux/log2.h>
> > +#include <linux/spinlock.h>
> >
> > void foo(void)
> > {
> > @@ -21,5 +22,6 @@ void foo(void)
> > #ifdef CONFIG_SMP
> > DEFINE(NR_CPUS_BITS, ilog2(CONFIG_NR_CPUS));
> > #endif
> > + DEFINE(BLOATED_SPINLOCKS, sizeof(spinlock_t) > sizeof(int));
> > /* End of constants */
> > }
>
> Using that we could also do.. not been near a compiler.
>
[ Subject adjusted, CC: +Linus ]
> ---
> Subject: lockref: Use bloated_spinlocks to avoid explicit config dependencies
>
> Avoid the fragile Kconfig construct guestimating spinlock_t sizes; use a
> friendly compile-time test to determine this.
>
> Not-Signed-off-by: Peter Zijlstra <peterz@infradead.org>
> ---
> lib/Kconfig | 3 ---
> lib/lockref.c | 2 +-
> 2 files changed, 1 insertion(+), 4 deletions(-)
>
> diff --git a/lib/Kconfig b/lib/Kconfig
> index b3c8be0da17f..254af289d1d0 100644
> --- a/lib/Kconfig
> +++ b/lib/Kconfig
> @@ -54,9 +54,6 @@ config ARCH_USE_CMPXCHG_LOCKREF
> config CMPXCHG_LOCKREF
> def_bool y if ARCH_USE_CMPXCHG_LOCKREF
> depends on SMP
> - depends on !GENERIC_LOCKBREAK
> - depends on !DEBUG_SPINLOCK
> - depends on !DEBUG_LOCK_ALLOC
>
> config CRC_CCITT
> tristate "CRC-CCITT functions"
> diff --git a/lib/lockref.c b/lib/lockref.c
> index 6f9d434c1521..a158fd86aa1a 100644
> --- a/lib/lockref.c
> +++ b/lib/lockref.c
> @@ -1,7 +1,7 @@
> #include <linux/export.h>
> #include <linux/lockref.h>
>
> -#ifdef CONFIG_CMPXCHG_LOCKREF
> +#if defined(CONFIG_CMPXCHG_LOCKREF) && !BLOATED_SPINLOCKS
Having CONFIG_CMPXCHG_LOCKREF=y, but not really using it could be
misleading.
Should we get rid of CONFIG_CMPXCHG_LOCKREF completely and have here:
#if defined(CONFIG_ARCH_USE_CMPXCHG_LOCKREF) && \
defined(CONFIG_SMP) && !BLOATED_SPINLOCKS
?
--
Kirill A. Shutemov
--
To unsubscribe, send a message with 'unsubscribe linux-mm' in
the body to majordomo@kvack.org. For more info on Linux MM,
see: http://www.linux-mm.org/ .
Don't email: <a href=mailto:"dont@kvack.org"> email@kvack.org </a>
^ permalink raw reply [flat|nested] 28+ messages in thread* lockref: Use bloated_spinlocks to avoid explicit config dependencies
2013-11-06 13:31 ` lockref: Use bloated_spinlocks to avoid explicit config dependencies Kirill A. Shutemov
@ 2013-11-06 13:31 ` Kirill A. Shutemov
2013-11-06 14:32 ` Peter Zijlstra
1 sibling, 0 replies; 28+ messages in thread
From: Kirill A. Shutemov @ 2013-11-06 13:31 UTC (permalink / raw)
To: Peter Zijlstra
Cc: Andrew Morton, Kirill A. Shutemov, Ingo Molnar, linux-kernel,
linux-mm, linux-arch, Linus Torvalds
On Wed, Nov 06, 2013 at 12:18:45PM +0100, Peter Zijlstra wrote:
> On Wed, Nov 06, 2013 at 10:31:31AM +0100, Peter Zijlstra wrote:
> > Subject: mm: Properly separate the bloated ptl from the regular case
> >
> > Use kernel/bounds.c to convert build-time spinlock_t size into a
> > preprocessor symbol and apply that to properly separate the page::ptl
> > situation.
> >
> > Signed-off-by: Peter Zijlstra <peterz@infradead.org>
> > ---
> > include/linux/mm.h | 24 +++++++++++++-----------
> > include/linux/mm_types.h | 9 +++++----
> > kernel/bounds.c | 2 ++
> > mm/memory.c | 11 +++++------
> > 4 files changed, 25 insertions(+), 21 deletions(-)
> >
> > diff --git a/kernel/bounds.c b/kernel/bounds.c
> > index e8ca97b5c386..5982437eca2c 100644
> > --- a/kernel/bounds.c
> > +++ b/kernel/bounds.c
> > @@ -11,6 +11,7 @@
> > #include <linux/kbuild.h>
> > #include <linux/page_cgroup.h>
> > #include <linux/log2.h>
> > +#include <linux/spinlock.h>
> >
> > void foo(void)
> > {
> > @@ -21,5 +22,6 @@ void foo(void)
> > #ifdef CONFIG_SMP
> > DEFINE(NR_CPUS_BITS, ilog2(CONFIG_NR_CPUS));
> > #endif
> > + DEFINE(BLOATED_SPINLOCKS, sizeof(spinlock_t) > sizeof(int));
> > /* End of constants */
> > }
>
> Using that we could also do.. not been near a compiler.
>
[ Subject adjusted, CC: +Linus ]
> ---
> Subject: lockref: Use bloated_spinlocks to avoid explicit config dependencies
>
> Avoid the fragile Kconfig construct guestimating spinlock_t sizes; use a
> friendly compile-time test to determine this.
>
> Not-Signed-off-by: Peter Zijlstra <peterz@infradead.org>
> ---
> lib/Kconfig | 3 ---
> lib/lockref.c | 2 +-
> 2 files changed, 1 insertion(+), 4 deletions(-)
>
> diff --git a/lib/Kconfig b/lib/Kconfig
> index b3c8be0da17f..254af289d1d0 100644
> --- a/lib/Kconfig
> +++ b/lib/Kconfig
> @@ -54,9 +54,6 @@ config ARCH_USE_CMPXCHG_LOCKREF
> config CMPXCHG_LOCKREF
> def_bool y if ARCH_USE_CMPXCHG_LOCKREF
> depends on SMP
> - depends on !GENERIC_LOCKBREAK
> - depends on !DEBUG_SPINLOCK
> - depends on !DEBUG_LOCK_ALLOC
>
> config CRC_CCITT
> tristate "CRC-CCITT functions"
> diff --git a/lib/lockref.c b/lib/lockref.c
> index 6f9d434c1521..a158fd86aa1a 100644
> --- a/lib/lockref.c
> +++ b/lib/lockref.c
> @@ -1,7 +1,7 @@
> #include <linux/export.h>
> #include <linux/lockref.h>
>
> -#ifdef CONFIG_CMPXCHG_LOCKREF
> +#if defined(CONFIG_CMPXCHG_LOCKREF) && !BLOATED_SPINLOCKS
Having CONFIG_CMPXCHG_LOCKREF=y, but not really using it could be
misleading.
Should we get rid of CONFIG_CMPXCHG_LOCKREF completely and have here:
#if defined(CONFIG_ARCH_USE_CMPXCHG_LOCKREF) && \
defined(CONFIG_SMP) && !BLOATED_SPINLOCKS
?
--
Kirill A. Shutemov
^ permalink raw reply [flat|nested] 28+ messages in thread* Re: lockref: Use bloated_spinlocks to avoid explicit config dependencies
2013-11-06 13:31 ` lockref: Use bloated_spinlocks to avoid explicit config dependencies Kirill A. Shutemov
2013-11-06 13:31 ` Kirill A. Shutemov
@ 2013-11-06 14:32 ` Peter Zijlstra
2013-11-06 14:32 ` Peter Zijlstra
1 sibling, 1 reply; 28+ messages in thread
From: Peter Zijlstra @ 2013-11-06 14:32 UTC (permalink / raw)
To: Kirill A. Shutemov
Cc: Andrew Morton, Kirill A. Shutemov, Ingo Molnar, linux-kernel,
linux-mm, linux-arch, Linus Torvalds
On Wed, Nov 06, 2013 at 03:31:12PM +0200, Kirill A. Shutemov wrote:
> Should we get rid of CONFIG_CMPXCHG_LOCKREF completely and have here:
>
> #if defined(CONFIG_ARCH_USE_CMPXCHG_LOCKREF) && \
> defined(CONFIG_SMP) && !BLOATED_SPINLOCKS
>
Yeah, that might make more sense.
--
To unsubscribe, send a message with 'unsubscribe linux-mm' in
the body to majordomo@kvack.org. For more info on Linux MM,
see: http://www.linux-mm.org/ .
Don't email: <a href=mailto:"dont@kvack.org"> email@kvack.org </a>
^ permalink raw reply [flat|nested] 28+ messages in thread
* Re: lockref: Use bloated_spinlocks to avoid explicit config dependencies
2013-11-06 14:32 ` Peter Zijlstra
@ 2013-11-06 14:32 ` Peter Zijlstra
0 siblings, 0 replies; 28+ messages in thread
From: Peter Zijlstra @ 2013-11-06 14:32 UTC (permalink / raw)
To: Kirill A. Shutemov
Cc: Andrew Morton, Kirill A. Shutemov, Ingo Molnar, linux-kernel,
linux-mm, linux-arch, Linus Torvalds
On Wed, Nov 06, 2013 at 03:31:12PM +0200, Kirill A. Shutemov wrote:
> Should we get rid of CONFIG_CMPXCHG_LOCKREF completely and have here:
>
> #if defined(CONFIG_ARCH_USE_CMPXCHG_LOCKREF) && \
> defined(CONFIG_SMP) && !BLOATED_SPINLOCKS
>
Yeah, that might make more sense.
^ permalink raw reply [flat|nested] 28+ messages in thread
* Re: [PATCH] mm: create a separate slab for page->ptl allocation
2013-11-06 9:31 ` Peter Zijlstra
2013-11-06 11:18 ` Peter Zijlstra
@ 2013-11-06 13:21 ` Kirill A. Shutemov
2013-11-06 13:21 ` Kirill A. Shutemov
2013-11-06 14:30 ` Peter Zijlstra
1 sibling, 2 replies; 28+ messages in thread
From: Kirill A. Shutemov @ 2013-11-06 13:21 UTC (permalink / raw)
To: Peter Zijlstra
Cc: Andrew Morton, Kirill A. Shutemov, Ingo Molnar, linux-kernel,
linux-mm, linux-arch
On Wed, Nov 06, 2013 at 10:31:31AM +0100, Peter Zijlstra wrote:
> On Wed, Nov 06, 2013 at 01:13:11AM +0200, Kirill A. Shutemov wrote:
> > I would like to get rid of __ptlock_alloc()/__ptlock_free() too, but I
> > don't see a way within C: we need to know sizeof(spinlock_t) on
> > preprocessor stage.
> >
> > We can have a hack on kbuild level: write small helper program to find out
> > sizeof(spinlock_t) before start building and turn it into define.
> > But it's overkill from my POV. And cross-compilation will be a fun.
>
> Ah, I just remembered, we have such a thing!
Great!
> @@ -1354,7 +1356,7 @@ static inline bool ptlock_init(struct page *page)
> * slab code uses page->slab_cache and page->first_page (for tail
> * pages), which share storage with page->ptl.
> */
> - VM_BUG_ON(page->ptl);
> + VM_BUG_ON(*(unsigned long *)&page->ptl);
Huh? Why not direct cast to unsigned long?
VM_BUG_ON((unsigned long)page->ptl);
Otherwise:
Reviewed-by: Kirill A. Shutemov <kirill.shutemov@linux.intel.com>
--
Kirill A. Shutemov
--
To unsubscribe, send a message with 'unsubscribe linux-mm' in
the body to majordomo@kvack.org. For more info on Linux MM,
see: http://www.linux-mm.org/ .
Don't email: <a href=mailto:"dont@kvack.org"> email@kvack.org </a>
^ permalink raw reply [flat|nested] 28+ messages in thread
* Re: [PATCH] mm: create a separate slab for page->ptl allocation
2013-11-06 13:21 ` [PATCH] mm: create a separate slab for page->ptl allocation Kirill A. Shutemov
@ 2013-11-06 13:21 ` Kirill A. Shutemov
2013-11-06 14:30 ` Peter Zijlstra
1 sibling, 0 replies; 28+ messages in thread
From: Kirill A. Shutemov @ 2013-11-06 13:21 UTC (permalink / raw)
To: Peter Zijlstra
Cc: Andrew Morton, Kirill A. Shutemov, Ingo Molnar, linux-kernel,
linux-mm, linux-arch
On Wed, Nov 06, 2013 at 10:31:31AM +0100, Peter Zijlstra wrote:
> On Wed, Nov 06, 2013 at 01:13:11AM +0200, Kirill A. Shutemov wrote:
> > I would like to get rid of __ptlock_alloc()/__ptlock_free() too, but I
> > don't see a way within C: we need to know sizeof(spinlock_t) on
> > preprocessor stage.
> >
> > We can have a hack on kbuild level: write small helper program to find out
> > sizeof(spinlock_t) before start building and turn it into define.
> > But it's overkill from my POV. And cross-compilation will be a fun.
>
> Ah, I just remembered, we have such a thing!
Great!
> @@ -1354,7 +1356,7 @@ static inline bool ptlock_init(struct page *page)
> * slab code uses page->slab_cache and page->first_page (for tail
> * pages), which share storage with page->ptl.
> */
> - VM_BUG_ON(page->ptl);
> + VM_BUG_ON(*(unsigned long *)&page->ptl);
Huh? Why not direct cast to unsigned long?
VM_BUG_ON((unsigned long)page->ptl);
Otherwise:
Reviewed-by: Kirill A. Shutemov <kirill.shutemov@linux.intel.com>
--
Kirill A. Shutemov
^ permalink raw reply [flat|nested] 28+ messages in thread
* Re: [PATCH] mm: create a separate slab for page->ptl allocation
2013-11-06 13:21 ` [PATCH] mm: create a separate slab for page->ptl allocation Kirill A. Shutemov
2013-11-06 13:21 ` Kirill A. Shutemov
@ 2013-11-06 14:30 ` Peter Zijlstra
2013-11-06 14:30 ` Peter Zijlstra
1 sibling, 1 reply; 28+ messages in thread
From: Peter Zijlstra @ 2013-11-06 14:30 UTC (permalink / raw)
To: Kirill A. Shutemov
Cc: Andrew Morton, Kirill A. Shutemov, Ingo Molnar, linux-kernel,
linux-mm, linux-arch
On Wed, Nov 06, 2013 at 03:21:55PM +0200, Kirill A. Shutemov wrote:
> On Wed, Nov 06, 2013 at 10:31:31AM +0100, Peter Zijlstra wrote:
> > On Wed, Nov 06, 2013 at 01:13:11AM +0200, Kirill A. Shutemov wrote:
> > > I would like to get rid of __ptlock_alloc()/__ptlock_free() too, but I
> > > don't see a way within C: we need to know sizeof(spinlock_t) on
> > > preprocessor stage.
> > >
> > > We can have a hack on kbuild level: write small helper program to find out
> > > sizeof(spinlock_t) before start building and turn it into define.
> > > But it's overkill from my POV. And cross-compilation will be a fun.
> >
> > Ah, I just remembered, we have such a thing!
>
> Great!
>
> > @@ -1354,7 +1356,7 @@ static inline bool ptlock_init(struct page *page)
> > * slab code uses page->slab_cache and page->first_page (for tail
> > * pages), which share storage with page->ptl.
> > */
> > - VM_BUG_ON(page->ptl);
> > + VM_BUG_ON(*(unsigned long *)&page->ptl);
>
> Huh? Why not direct cast to unsigned long?
>
> VM_BUG_ON((unsigned long)page->ptl);
I tried, GCC didn't dig that. I think because spinlock_t is a composite
type and you cannot cast that to a primitive type.
--
To unsubscribe, send a message with 'unsubscribe linux-mm' in
the body to majordomo@kvack.org. For more info on Linux MM,
see: http://www.linux-mm.org/ .
Don't email: <a href=mailto:"dont@kvack.org"> email@kvack.org </a>
^ permalink raw reply [flat|nested] 28+ messages in thread
* Re: [PATCH] mm: create a separate slab for page->ptl allocation
2013-11-06 14:30 ` Peter Zijlstra
@ 2013-11-06 14:30 ` Peter Zijlstra
0 siblings, 0 replies; 28+ messages in thread
From: Peter Zijlstra @ 2013-11-06 14:30 UTC (permalink / raw)
To: Kirill A. Shutemov
Cc: Andrew Morton, Kirill A. Shutemov, Ingo Molnar, linux-kernel,
linux-mm, linux-arch
On Wed, Nov 06, 2013 at 03:21:55PM +0200, Kirill A. Shutemov wrote:
> On Wed, Nov 06, 2013 at 10:31:31AM +0100, Peter Zijlstra wrote:
> > On Wed, Nov 06, 2013 at 01:13:11AM +0200, Kirill A. Shutemov wrote:
> > > I would like to get rid of __ptlock_alloc()/__ptlock_free() too, but I
> > > don't see a way within C: we need to know sizeof(spinlock_t) on
> > > preprocessor stage.
> > >
> > > We can have a hack on kbuild level: write small helper program to find out
> > > sizeof(spinlock_t) before start building and turn it into define.
> > > But it's overkill from my POV. And cross-compilation will be a fun.
> >
> > Ah, I just remembered, we have such a thing!
>
> Great!
>
> > @@ -1354,7 +1356,7 @@ static inline bool ptlock_init(struct page *page)
> > * slab code uses page->slab_cache and page->first_page (for tail
> > * pages), which share storage with page->ptl.
> > */
> > - VM_BUG_ON(page->ptl);
> > + VM_BUG_ON(*(unsigned long *)&page->ptl);
>
> Huh? Why not direct cast to unsigned long?
>
> VM_BUG_ON((unsigned long)page->ptl);
I tried, GCC didn't dig that. I think because spinlock_t is a composite
type and you cannot cast that to a primitive type.
^ permalink raw reply [flat|nested] 28+ messages in thread
* Re: [PATCH] mm: create a separate slab for page->ptl allocation
2013-11-05 23:13 ` Kirill A. Shutemov
` (2 preceding siblings ...)
2013-11-06 9:31 ` Peter Zijlstra
@ 2013-11-06 10:34 ` Will Deacon
2013-11-06 10:34 ` Will Deacon
` (2 more replies)
3 siblings, 3 replies; 28+ messages in thread
From: Will Deacon @ 2013-11-06 10:34 UTC (permalink / raw)
To: Kirill A. Shutemov
Cc: Andrew Morton, Kirill A. Shutemov, Peter Zijlstra, Ingo Molnar,
linux-kernel@vger.kernel.org, linux-mm@kvack.org,
linux-arch@vger.kernel.org
On Tue, Nov 05, 2013 at 11:13:11PM +0000, Kirill A. Shutemov wrote:
> On Tue, Nov 05, 2013 at 03:56:19PM -0800, Andrew Morton wrote:
> > On Wed, 6 Nov 2013 00:42:17 +0200 "Kirill A. Shutemov" <kirill@shutemov.name> wrote:
> >
> > > > > #if USE_SPLIT_PTE_PTLOCKS
> > > > > +struct kmem_cache *page_ptl_cachep;
> > > > > +void __init ptlock_cache_init(void)
> > > > > +{
> > > > > + if (sizeof(spinlock_t) > sizeof(long))
> > > > > + page_ptl_cachep = kmem_cache_create("page->ptl",
> > > > > + sizeof(spinlock_t), 0, SLAB_PANIC, NULL);
> > > > > +}
> > > >
> > > > Confused. If (sizeof(spinlock_t) > sizeof(long)) happens to be false
> > > > then the kernel will later crash. It would be better to use BUILD_BUG_ON()
> > > > here, if that works. Otherwise BUG_ON.
> > >
> > > if (sizeof(spinlock_t) > sizeof(long)) is false, we don't need dynamicly
> > > allocate page->ptl. It's embedded to struct page itself. __ptlock_alloc()
> > > never called in this case.
> >
> > OK. Please add a comment explaining this so the next reader doesn't get
> > tripped up like I was.
>
> Okay, I will tomorrow.
>
> > Really the function shouldn't exist in this case. It is __init so the
> > sin is not terrible, but can this be arranged?
>
> I would like to get rid of __ptlock_alloc()/__ptlock_free() too, but I
> don't see a way within C: we need to know sizeof(spinlock_t) on
> preprocessor stage.
FWIW: if the architecture selects ARCH_USE_CMPXCHG_LOCKREF, then a spinlock_t
is 32-bit (assuming that unsigned int is also 32-bit).
Will
--
To unsubscribe, send a message with 'unsubscribe linux-mm' in
the body to majordomo@kvack.org. For more info on Linux MM,
see: http://www.linux-mm.org/ .
Don't email: <a href=mailto:"dont@kvack.org"> email@kvack.org </a>
^ permalink raw reply [flat|nested] 28+ messages in thread* Re: [PATCH] mm: create a separate slab for page->ptl allocation
2013-11-06 10:34 ` Will Deacon
@ 2013-11-06 10:34 ` Will Deacon
2013-11-06 10:49 ` Geert Uytterhoeven
2013-11-06 11:02 ` Peter Zijlstra
2 siblings, 0 replies; 28+ messages in thread
From: Will Deacon @ 2013-11-06 10:34 UTC (permalink / raw)
To: Kirill A. Shutemov
Cc: Andrew Morton, Kirill A. Shutemov, Peter Zijlstra, Ingo Molnar,
linux-kernel@vger.kernel.org, linux-mm@kvack.org,
linux-arch@vger.kernel.org
On Tue, Nov 05, 2013 at 11:13:11PM +0000, Kirill A. Shutemov wrote:
> On Tue, Nov 05, 2013 at 03:56:19PM -0800, Andrew Morton wrote:
> > On Wed, 6 Nov 2013 00:42:17 +0200 "Kirill A. Shutemov" <kirill@shutemov.name> wrote:
> >
> > > > > #if USE_SPLIT_PTE_PTLOCKS
> > > > > +struct kmem_cache *page_ptl_cachep;
> > > > > +void __init ptlock_cache_init(void)
> > > > > +{
> > > > > + if (sizeof(spinlock_t) > sizeof(long))
> > > > > + page_ptl_cachep = kmem_cache_create("page->ptl",
> > > > > + sizeof(spinlock_t), 0, SLAB_PANIC, NULL);
> > > > > +}
> > > >
> > > > Confused. If (sizeof(spinlock_t) > sizeof(long)) happens to be false
> > > > then the kernel will later crash. It would be better to use BUILD_BUG_ON()
> > > > here, if that works. Otherwise BUG_ON.
> > >
> > > if (sizeof(spinlock_t) > sizeof(long)) is false, we don't need dynamicly
> > > allocate page->ptl. It's embedded to struct page itself. __ptlock_alloc()
> > > never called in this case.
> >
> > OK. Please add a comment explaining this so the next reader doesn't get
> > tripped up like I was.
>
> Okay, I will tomorrow.
>
> > Really the function shouldn't exist in this case. It is __init so the
> > sin is not terrible, but can this be arranged?
>
> I would like to get rid of __ptlock_alloc()/__ptlock_free() too, but I
> don't see a way within C: we need to know sizeof(spinlock_t) on
> preprocessor stage.
FWIW: if the architecture selects ARCH_USE_CMPXCHG_LOCKREF, then a spinlock_t
is 32-bit (assuming that unsigned int is also 32-bit).
Will
^ permalink raw reply [flat|nested] 28+ messages in thread* Re: [PATCH] mm: create a separate slab for page->ptl allocation
2013-11-06 10:34 ` Will Deacon
2013-11-06 10:34 ` Will Deacon
@ 2013-11-06 10:49 ` Geert Uytterhoeven
2013-11-06 11:02 ` Peter Zijlstra
2 siblings, 0 replies; 28+ messages in thread
From: Geert Uytterhoeven @ 2013-11-06 10:49 UTC (permalink / raw)
To: Will Deacon
Cc: Kirill A. Shutemov, Andrew Morton, Kirill A. Shutemov,
Peter Zijlstra, Ingo Molnar, linux-kernel@vger.kernel.org,
linux-mm@kvack.org, linux-arch@vger.kernel.org
On Wed, Nov 6, 2013 at 11:34 AM, Will Deacon <will.deacon@arm.com> wrote:
> FWIW: if the architecture selects ARCH_USE_CMPXCHG_LOCKREF, then a spinlock_t
> is 32-bit (assuming that unsigned int is also 32-bit).
Linux already assumes (unsigned) int is 32-bit.
Gr{oetje,eeting}s,
Geert
--
Geert Uytterhoeven -- There's lots of Linux beyond ia32 -- geert@linux-m68k.org
In personal conversations with technical people, I call myself a hacker. But
when I'm talking to journalists I just say "programmer" or something like that.
-- Linus Torvalds
^ permalink raw reply [flat|nested] 28+ messages in thread* Re: [PATCH] mm: create a separate slab for page->ptl allocation
2013-11-06 10:34 ` Will Deacon
2013-11-06 10:34 ` Will Deacon
2013-11-06 10:49 ` Geert Uytterhoeven
@ 2013-11-06 11:02 ` Peter Zijlstra
2 siblings, 0 replies; 28+ messages in thread
From: Peter Zijlstra @ 2013-11-06 11:02 UTC (permalink / raw)
To: Will Deacon
Cc: Kirill A. Shutemov, Andrew Morton, Kirill A. Shutemov,
Ingo Molnar, linux-kernel@vger.kernel.org, linux-mm@kvack.org,
linux-arch@vger.kernel.org
On Wed, Nov 06, 2013 at 10:34:03AM +0000, Will Deacon wrote:
> FWIW: if the architecture selects ARCH_USE_CMPXCHG_LOCKREF, then a spinlock_t
> is 32-bit (assuming that unsigned int is also 32-bit).
Egads, talk about fragile. That thing relies on someone actually keeping
lib/Kconfig up-to-date.
^ permalink raw reply [flat|nested] 28+ messages in thread