分配線性地址區(qū)間問題

embeddedlwp

linux 2.6.11的內(nèi)存管理部分，do_mmap_pgoff中有這么一段

1. munmap_back:
   
2.         vma = find_vma_prepare(mm, addr, &prev, &rb_link, &rb_parent);
   
3.         if (vma && vma->vm_start < addr + len) {
   
4.                 if (do_munmap(mm, addr, len))
   
5.                         return -ENOMEM;
   
6.                 goto munmap_back;
   
7.         }

復(fù)制代碼

在ULK3 P371上的解釋是find_vma_prepare()函數(shù)也檢查是否還存在與新區(qū)間重疊的線性區(qū)。這種情況發(fā)生在函數(shù)返回一個非空的地址，這個地址指向一個線性區(qū)，而該區(qū)的起始地址位置位于新區(qū)間結(jié)束地址之前的時候。在這種情況下，do_mmap_pgoff()調(diào)用do_munmap()刪除新的區(qū)間，然后重復(fù)整個步驟。

這里如果重復(fù)整個步驟，也就是重新執(zhí)行find_vma_prepare，之前調(diào)用do_munmap釋放了那個由get_unmmaped_area找到的空閑的地址空間，那個find_vma_prepare也沒有分配地址空間的功能，那么程序怎么往下執(zhí)行了��？我感覺get_unmmaped_area找到的空閑地址空間一定是不與別的區(qū)間重疊的(否則返回NULL)，這樣這段code就不會執(zhí)行了。

amarant

沒看懂你說什麼。。
線性區(qū)不會有重複的

vma && vma->vm_start < addr + len
這個條件是檢測是不是傳入的地址與已存在的線性區(qū)重疊
如果是的話，先取消之前的映射再繼續(xù)

embeddedlwp

回復(fù) 2# amarant


    呵呵，關(guān)鍵是如何繼續(xù)，這里調(diào)用的do_munmap()已經(jīng)把get_unmmaped_area()獲得的線性地址區(qū)間取消掉了。沒了線性區(qū)間怎么往下執(zhí)行呢，求解惑！

amarant

回復(fù) 3# embeddedlwp


    這個函數(shù)的作用就是為了分配線性區(qū)，如果所請求的線性區(qū)已經(jīng)被映射了就先unmap，這樣才能實現(xiàn)函數(shù)的功能。。

embeddedlwp

回復(fù) 4# amarant


    如果調(diào)用do_munmap()了，goto munmap_back;但是之后do_mmap()的操作中沒有調(diào)用get_unmapped_area()，也就是這次釋放這個線性區(qū)就不存在了，他也沒有去獲得新的線性區(qū)，函數(shù)也不會實現(xiàn)他的功能。

amarant

記不清楚了，你自己好好看看吧

embeddedlwp

回復(fù) 6# amarant


    奧呵呵,多謝了，剛才在linuxform看到04年有人提過這個問題，也是最后沒人解決。

allen303allen

感覺樓主有幾個認(rèn)識上的誤區(qū)：
1. get_unmmaped_area()是不會創(chuàng)建一個線性區(qū)間的。
它只返回一個地址addr，確保從addr開始，長度為len的區(qū)間是沒有被映射的（多數(shù)情況下）。真正分配線性區(qū)間的操作是后面的kmem_cache_zalloc分配一個vma結(jié)構(gòu)，然后設(shè)置vma的start和end及其他字段，并加入到vma鏈表和紅黑樹中。這樣一個線性區(qū)間才創(chuàng)建完畢。

2. 所貼這段代碼的作用。
這段代碼的目的是檢查以確保addr開始，長度為len的區(qū)間內(nèi)沒有其他的映射區(qū)間，如果有，就要把那些區(qū)間釋放，直到通過find_vma_prepare找不到vma或者找到的vma不在addr開始，長度為len的范圍內(nèi)。
find_vma_prepare肯定沒有分配地址空間的功能，它只是找到第一個結(jié)束地址大于addr的vma。
所以只要確認(rèn)了上面說的問題，就可以跳過這段代碼往下執(zhí)行了（往下去分配線性區(qū)間了）。

3. get_unmmaped_area()返回的addr并不一定是ok的。
也就是說該函數(shù)返回的addr，并不一定從它開始，長度為len的區(qū)間內(nèi)一定沒有其他的映射，arch_get_unmapped_area()函數(shù)中的開始就有個判斷，如果flags中標(biāo)記了MAP_FIXED，就直接返回傳入的addr，根本不去找別的了。
所以只要用戶指定了MAP_FIXED標(biāo)記，除了對該地址做頁對齊，就直接在對齊后的地址的基礎(chǔ)上做映射了，這就是樓主所貼代碼存在的目的，在這種情況下，把該區(qū)間內(nèi)其他的映射區(qū)間都刪除（這個是有風(fēng)險的，所以除非你很確信自己在做什么，否則不要隨便用MAP_FIXED標(biāo)記），來給一會要映射的區(qū)間讓路。

embeddedlwp

回復(fù) 8# allen303allen


    高手！醍醐灌頂！

wukui1008

找到這個貼不容易啊，
這個問題也困惑我一天了
我開始也是這么覺得
get_unmmaped_area找到的空閑地址空間一定是不與別的區(qū)間重疊的
接下來的步驟卻又說要刪除重疊區(qū)間
把我可搞暈了