vfree為什么會引起睡眠？

kinghawk1

在vfree內(nèi)核源碼里找不到引起睡眠的地方啊，懇請高人告知。

Godbach

LDD2上說vmalloc可能睡眠

windaoo

LKD2 上也說 vmalloc 和 vfree 可能會睡眠，不能在中斷上下文中調(diào)用，我也想知道是為什么

所以看了一下代碼，發(fā)現(xiàn) 在 mm/vmalloc.c 中，vfree 是這樣實現(xiàn)的：

void vfree(const void *addr) {         BUG_ON(in_interrupt());         __vunmap(addr, 1); } EXPORT_SYMBOL(vfree);

再看 __vunmap ， 它是這樣的：

static void __vunmap(const void *addr, int deallocate_pages) {         struct vm_struct *area;         if (!addr)                 return;         if ((PAGE_SIZE-1) & (unsigned long)addr) {                 WARN(1, KERN_ERR "Trying to vfree() bad address (%p)\n", addr);                 return;         }         area = remove_vm_area(addr);         if (unlikely(!area)) {                 WARN(1, KERN_ERR "Trying to vfree() nonexistent vm area (%p)\n",                 addr);                 return;         }         debug_check_no_locks_freed(addr, area->size);         debug_check_no_obj_freed(addr, area->size);         if (deallocate_pages) {                 int i;                 for (i = 0; i < area->nr_pages; i++) {                         struct page *page = area->pages[i];                         BUG_ON(!page);                         __free_page(page);                 }                 if (area->flags & VM_VPAGES)                         vfree(area->pages);                 else                         kfree(area->pages);         }         kfree(area);         return; }

接著看 area = remove_vm_area(addr); 這一句， remove_vm_area():

struct vm_struct *remove_vm_area(const void *addr) {         struct vm_struct *v;         write_lock(&vmlist_lock);         v = __remove_vm_area(addr);         write_unlock(&vmlist_lock);         return v; }

就是這個函數(shù)里，用了一個 write_lock，如果別人持有這把鎖的話，在進鎖的時候就會休眠了吧？


第一次在內(nèi)核版發(fā)貼，呵呵

windaoo

sorry ，上面的 write_lock() 鎖是自旋鎖，應該不會睡眠
我也很想知道這個問題的真正原因

scutan

mail list中有一個這個，說vfree不會睡眠。

http://lkml.indiana.edu/hypermail/linux/kernel/0411.2/1955.html

NewCore

這位師兄貼出來的是2.6.26的內(nèi)核代碼吧。

2.6引入了很多更高效的數(shù)據(jù)結(jié)構(gòu)，為什么vm空間的管理還是用鏈表，感覺還有待優(yōu)化。

[ 本帖最后由 NewCore 于 2008-12-19 18:11 編輯 ]

windaoo

原帖由 scutan 于 2008-12-19 15:47 發(fā)表
mail list中有一個這個，說vfree不會睡眠。

http://lkml.indiana.edu/hypermail/linux/kernel/0411.2/1955.html

可是書上說 vfree 會睡眠，而且我這份代碼的 vfree 前面的注釋這樣寫：

/**
*        vfree  -  release memory allocated by vmalloc()
*        @addr:                memory base address
*
*        Free the virtually continuous memory area starting at @addr, as
*        obtained from vmalloc(), vmalloc_32() or __vmalloc(). If @addr is
*        NULL, no operation is performed.
*
*        Must not be called in interrupt context.
*/
void vfree(const void *addr)
{
        BUG_ON(in_interrupt());
        __vunmap(addr, 1);
}
EXPORT_SYMBOL(vfree);

代碼注釋里說 不能 在中斷上下文中使用

原帖由 NewCore 于 2008-12-19 18:07 發(fā)表
這位師兄貼出來的是2.6.26的內(nèi)核代碼吧。

2.6引入了很多更高效的數(shù)據(jù)結(jié)構(gòu)，為什么vm空間的管理還是用鏈表，感覺還有待優(yōu)化。

我這個是 2.6.27 的代碼

windaoo

突然想到，vfree 之所以不能在中斷上下文中使用，應該就是因為那個 write_lock() 了
假如在中斷上下文可以使用 vfree 的話，假設這樣一個情況：
一個線程正好持有了這把鎖，而這時候中斷到來了，也要調(diào) vfree ，想要得到這把鎖——因為中斷處理程序不能被重新調(diào)度，所以被中斷的、執(zhí)有這個鎖的線程也得不到釋放的機會——那么中斷處理程序就會一直等待下去，從而造成死鎖

不知道這樣分析對否？

vn42

等vm多了之后會換成紅黑樹，6l不必擔心啦

vn42

我想內(nèi)核代碼應該保證在中斷上下文不會被搶占吧，lss解釋似乎不合理