x86/mm/pat: Do a small optimization in reserve_memtype
PATCH 1/1 x86/mm/pat: Do a small optimization in reserve_memtype
From: Pan Xinhui <[email protected]>
It's safe and more reasonable to unlock memtype_lock right after rbt_memtype_check_insert.
--- arch/x86/mm/pat.c | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-)
arch/x86/mm/pat.c +2 -5
@@ -538,20 +538,17 @@ int reserve_memtype(u64 start, u64 end, enum page_cache_mode req_type, new->type = actual_type;spin_lock (&memtype_lock); - err =rbt_memtype_check_insert (new, new_type); +spin_unlock (&memtype_lock); +if (err) {pr_info ("x86/PAT: reserve_memtype failed [mem %#010Lx-%#010Lx], track %s, req %s\n" , start, end -1 ,cattr_name (new->type),cattr_name (req_type));kfree (new); -spin_unlock (&memtype_lock); -return err; } -spin_unlock (&memtype_lock); -dprintk ("reserve_memtype added [mem %#010Lx-%#010Lx], track %s, req %s, ret %s\n" , start, end -1 ,cattr_name (new->type),cattr_name (req_type), new_type ?cattr_name (*new_type) :"-" );
Signature · 1 line
1.9.1
Quoted 27 lines · Pan Xinhui
From: Pan Xinhui <[email protected]>
It's safe and more reasonable to unlock
memtype_lockright afterrbt_memtype_check_insert.Signed-off-by Pan Xinhui <[email protected]>--- arch/x86/mm/pat.c | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-)arch/x86/mm/pat.c +2
-1@@ -538,20 +538,17 @@ int reserve_memtype(u64 start, u64 end, enum page_cache_mode req_type, new->type = actual_type;spin_lock (&memtype_lock); - err =rbt_memtype_check_insert (new, new_type); +spin_unlock (&memtype_lock); +if (err) {pr_info ("x86/PAT: reserve_memtype failed [mem %#010Lx-%#010Lx], track %s, req %s\n" , start, end -1 ,cattr_name (new->type),cattr_name (req_type));kfree (new);
arch/x86/mm/pat.c int reserve_memtype(u64 start, u64 end, enum page_cache_mode req_type, · line 554
Quoted 10 lines
arch/x86/mm/pat.c +0
-4-spin_unlock (&memtype_lock); -return err; } -spin_unlock (&memtype_lock); -dprintk ("reserve_memtype added [mem %#010Lx-%#010Lx], track %s, req %s, ret %s\n" , start, end -1 ,cattr_name (new->type),cattr_name (req_type), new_type ?cattr_name (*new_type) :"-" );
While you're at it, please fix a similar issue in lookup_memtype() and also improve the comments over memtype_lock to explain what exactly it protects.
Thanks.
Signature · 5 lines
Regards/Gruss,
Boris.
ECO tip #101: Trim your mails when you reply.
--hi, Borislav
thanks for your reply :)
Quoted 33 lines · Borislav Petkov
Quoted 32 lines · Pan Xinhui
From: Pan Xinhui <[email protected]>
It's safe and more reasonable to unlock
memtype_lockright afterrbt_memtype_check_insert.Signed-off-by Pan Xinhui <[email protected]>--- arch/x86/mm/pat.c | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-)arch/x86/mm/pat.c +2
-3@@ -538,20 +538,17 @@ int reserve_memtype(u64 start, u64 end, enum page_cache_mode req_type, new->type = actual_type;spin_lock (&memtype_lock); - err =rbt_memtype_check_insert (new, new_type); +spin_unlock (&memtype_lock); +if (err) {pr_info ("x86/PAT: reserve_memtype failed [mem %#010Lx-%#010Lx], track %s, req %s\n" , start, end -1 ,cattr_name (new->type),cattr_name (req_type));kfree (new); -spin_unlock (&memtype_lock); -return err; }
Quoted 7 lines
arch/x86/mm/pat.c int reserve_memtype(u64 start, u64 end, enum page_cache_mode req_type, · line 554
Quoted 5 lines
arch/x86/mm/pat.c +0
-2-spin_unlock (&memtype_lock); -dprintk ("reserve_memtype added [mem %#010Lx-%#010Lx], track %s, req %s, ret %s\n" , start, end -1 ,cattr_name (new->type),cattr_name (req_type), new_type ?cattr_name (*new_type) :"-" );While you're at it, please fix a similar issue in
lookup_memtype()and also
Let me explain why we can't unlock memtype_lock right after rbt_memtype_lookup in lookup_memtype().
CPUA CPUB
spin_lock(&memtype_lock);
entry = rbt_memtype_lookup(paddr);
spin_unlock(&memtype_lock);
----------------------------------------------------------------------------------------
spin_lock(&memtype_lock);
entry = rbt_memtype_erase(start, end);
spin_unlock(&memtype_lock);
if (!entry) {
printk(KERN_INFO "%s:%d freeing invalid memtype [mem %#010Lx-%#010Lx]\n",
current->comm, current->pid, start, end - 1);
return -EINVAL;
}
kfree(entry);
----------------------------------------------------------------------------------------
if (entry != NULL)
rettype = entry->type;
else
rettype = _PAGE_CACHE_UC_MINUS;yes, we may access an freed memory at that time. Because entry is stored in rb-tree. Need lock when we access it.
Quoted 2 lines
improve the comments over
memtype_lockto explain what exactly it protects.
lock is needed when we access the data stored in rb-tree. :)
I find another bug, although it's very hard to hit. just in reserve_memtype()
----------------------------------
err = rbt_memtype_check_insert(new, new_type);
if (err) {
printk(KERN_INFO "reserve_memtype failed [mem %#010Lx-%#010Lx], track %s, req %s\n",
start, end - 1,
cattr_name(new->type), cattr_name(req_type));
kfree(new);
spin_unlock(&memtype_lock);
return err;
}
spin_unlock(&memtype_lock); //this unlock may cause problems because the next dprintk access *new*
dprintk("reserve_memtype added [mem %#010Lx-%#010Lx], track %s, req %s, ret %s\n",
start, end - 1, cattr_name(new->type), cattr_name(req_type),
new_type ? cattr_name(*new_type) : "-");----------------------------------
if no err returned, we unlock memtype_lock, *new *is stored is rb-tree. But *new* could be freed at any possible time. race is similar with scenario above. In the second dprintk, we access *new*, *cattr_name(new->type)*.
I will send patch V2 to fix this issue. I should take a more deep look at this dprintk when I send this patch.
thanks
xinhui
Quoted 2 lines
Thanks.
Quoted 2 lines · Pan Xinhui
yes, we may access an freed memory at that time. Because entry is stored in rb-tree. Need lock when we access it.
Ah, we touch entry, right.
Quoted 3 lines
Quoted 2 lines
improve the comments over
memtype_lockto explain what exactly it protects.lock is needed when we access the data stored in rb-tree. :)
I didn't ask you what it protects - I can do my own grepping and read pat_rbtree.c just fine - I asked you to update the comment.
Quoted 15 lines
I find another bug, although it's very hard to hit. just in
reserve_memtype()
----------------------------------err = rbt_memtype_check_insert(new, new_type); if (err) { printk(KERN_INFO "reserve_memtype failed [mem %#010Lx-%#010Lx], track %s, req %s\n", start, end - 1, cattr_name(new->type), cattr_name(req_type)); kfree(new); spin_unlock(&memtype_lock); return err; } spin_unlock(&memtype_lock); //this unlock may cause problems because the next dprintk access *new*
Yes.
Signature · 5 lines
Regards/Gruss,
Boris.
ECO tip #101: Trim your mails when you reply.
--