vfree是SMP安全的嗎

yang511yang

vfree()導(dǎo)致下面的函數(shù)調(diào)用：
    vfree（） -》 __vunmap（） -》remove_vm_area（）

函數(shù)remove_vm_area（）開頭的代碼如下：
struct vm_struct *remove_vm_area(const void *addr)
{
        struct vmap_area *va;

        va = find_vmap_area((unsigned long)addr);
        if (va && va->flags & VM_VM_AREA) {

......

在if判斷條件va和va->flags & VM_VM_AREA之間，如果當(dāng)前進(jìn)程被搶占的，待當(dāng)前進(jìn)程切換回來時(shí)，
va是否可能已經(jīng)被其它CPU釋放了？

yang511yang

這個(gè)問題卡的太難受了，有人給點(diǎn)提示嗎？

nswcfd

2.4版本的，有l(wèi)ock保護(hù)。
http://lxr.free-electrons.com/source/mm/vmalloc.c?v=2.4.37#L239

yang511yang

回復(fù) 3# nswcfd

是的，新的版本做了優(yōu)化，但是不太明白新版本為什么在函數(shù)find_vmap_area()返回struct vmap_area前將鎖釋放了？！

nswcfd

VMA_VM_AREA的清除操作只存在于remove_vm_area吧？

如果是這樣的話，是不是假定了對(duì)某一個(gè)vm_area，只能由單一的調(diào)用者進(jìn)行remove？
（就像不能同時(shí)對(duì)同一個(gè)地址進(jìn)行free一樣）

_nosay

回復(fù) 4# yang511yang


應(yīng)該是你把不同的鎖搞混淆了，要不然這么頻繁被調(diào)用的函數(shù)有問題，bug早就暴露了。

yang511yang

回復(fù) 5# nswcfd

但是文件vmalloc.c (mm)開頭提到了：SMP-safe vmalloc/vfree/ioremap, Tigran Aivazian <tigran@veritas.com>, May 2000

那就是說，應(yīng)該支持同一個(gè)地址的并發(fā)釋放。

yang511yang

回復(fù) 6# _nosay

如果vfree()針對(duì)的是不同地址，那么并發(fā)調(diào)用vfree就不存在問題。
當(dāng)前系統(tǒng)中目前可能并不存在針對(duì)同一地址并發(fā)調(diào)用vfree()的情況，
但這個(gè)需求應(yīng)該是存在的。

_nosay

回復(fù) 8# yang511yang


哦，我懂你的意思，場(chǎng)合不同或前提不同，對(duì)待就不同