?? malloc.c
字號:
malloc (unsigned int len){ struct _bucket_dir *bdir; struct bucket_desc *bdesc; void *retval;/** First we search the bucket_dir to find the right bucket change* for this request.*//** 首先我們搜索存儲桶目錄bucket_dir 來尋找適合請求的桶大小。*/// 搜索存儲桶目錄,尋找適合申請內(nèi)存塊大小的桶描述符鏈表。如果目錄項的桶字節(jié)數(shù)大于請求的字節(jié)// 數(shù),就找到了對應(yīng)的桶目錄項。 for (bdir = bucket_dir; bdir->size; bdir++) if (bdir->size >= len) break;// 如果搜索完整個目錄都沒有找到合適大小的目錄項,則表明所請求的內(nèi)存塊大小太大,超出了該// 程序的分配限制(最長為1 個頁面)。于是顯示出錯信息,死機(jī)。 if (!bdir->size) { printk ("malloc called with impossibly large argument (%d)\n", len); panic ("malloc: bad arg"); }/** Now we search for a bucket descriptor which has free space*//** 現(xiàn)在我們來搜索具有空閑空間的桶描述符。*/ cli (); /* Avoid race conditions *//* 為了避免出現(xiàn)競爭條件,首先關(guān)中斷 */// 搜索對應(yīng)桶目錄項中描述符鏈表,查找具有空閑空間的桶描述符。如果桶描述符的空閑內(nèi)存指針// freeptr 不為空,則表示找到了相應(yīng)的桶描述符。 for (bdesc = bdir->chain; bdesc; bdesc = bdesc->next) if (bdesc->freeptr) break;/** If we didn't find a bucket with free space, then we'll* allocate a new one.*//** 如果沒有找到具有空閑空間的桶描述符,那么我們就要新建立一個該目錄項的描述符。*/ if (!bdesc) { char *cp; int i;// 若free_bucket_desc 還為空時,表示第一次調(diào)用該程序,則對描述符鏈表進(jìn)行初始化。// free_bucket_desc 指向第一個空閑桶描述符。 if (!free_bucket_desc) init_bucket_desc ();// 取free_bucket_desc 指向的空閑桶描述符,并讓free_bucket_desc 指向下一個空閑桶描述符。 bdesc = free_bucket_desc; free_bucket_desc = bdesc->next;// 初始化該新的桶描述符。令其引用數(shù)量等于0;桶的大小等于對應(yīng)桶目錄的大?。簧暾堃粌?nèi)存頁面,// 讓描述符的頁面指針page 指向該頁面;空閑內(nèi)存指針也指向該頁開頭,因為此時全為空閑。 bdesc->refcnt = 0; bdesc->bucket_size = bdir->size; bdesc->page = bdesc->freeptr = (void *) cp = get_free_page ();// 如果申請內(nèi)存頁面操作失敗,則顯示出錯信息,死機(jī)。 if (!cp) panic ("Out of memory in kernel malloc()");/* Set up the chain of free objects *//* 在該頁空閑內(nèi)存中建立空閑對象鏈表 */// 以該桶目錄項指定的桶大小為對象長度,對該頁內(nèi)存進(jìn)行劃分,并使每個對象的開始4 字節(jié)設(shè)置// 成指向下一對象的指針。 for (i = PAGE_SIZE / bdir->size; i > 1; i--) { *((char **) cp) = cp + bdir->size; cp += bdir->size; }// 最后一個對象開始處的指針設(shè)置為0(NULL)。// 然后讓該桶描述符的下一描述符指針字段指向?qū)?yīng)桶目錄項指針chain 所指的描述符,而桶目錄的// chain 指向該桶描述符,也即將該描述符插入到描述符鏈鏈頭處。 *((char **) cp) = 0; bdesc->next = bdir->chain; /* OK, link it in! *//* OK,將其鏈入! */ bdir->chain = bdesc; }// 返回指針即等于該描述符對應(yīng)頁面的當(dāng)前空閑指針。然后調(diào)整該空閑空間指針指向下一個空閑對象,// 并使描述符中對應(yīng)頁面中對象引用計數(shù)增1。 retval = (void *) bdesc->freeptr; bdesc->freeptr = *((void **) retval); bdesc->refcnt++;// 最后開放中斷,并返回指向空閑內(nèi)存對象的指針。 sti (); /* OK, we're safe again *//* OK,現(xiàn)在我們又安全了 */ return (retval);}/** Here is the free routine. If you know the size of the object that you* are freeing, then free_s() will use that information to speed up the* search for the bucket descriptor.** We will #define a macro so that "free(x)" is becomes "free_s(x, 0)"*//** 下面是釋放子程序。如果你知道釋放對象的大小,則free_s()將使用該信息加速* 搜尋對應(yīng)桶描述符的速度。** 我們將定義一個宏,使得"free(x)"成為"free_s(x, 0)"。*///// 釋放存儲桶對象。// 參數(shù):obj - 對應(yīng)對象指針;size - 大小。voidfree_s (void *obj, int size){ void *page; struct _bucket_dir *bdir; struct bucket_desc *bdesc, *prev;/* Calculate what page this object lives in *//* 計算該對象所在的頁面 */ page = (void *) ((unsigned long) obj & 0xfffff000);/* Now search the buckets looking for that page *//* 現(xiàn)在搜索存儲桶目錄項所鏈接的桶描述符,尋找該頁面 */// for (bdir = bucket_dir; bdir->size; bdir++) { prev = 0;/* If size is zero then this conditional is always false *//* 如果參數(shù)size 是0,則下面條件肯定是false */ if (bdir->size < size) continue;// 搜索對應(yīng)目錄項中鏈接的所有描述符,查找對應(yīng)頁面。如果某描述符頁面指針等于page 則表示找到// 了相應(yīng)的描述符,跳轉(zhuǎn)到found。如果描述符不含有對應(yīng)page,則讓描述符指針prev 指向該描述符。 for (bdesc = bdir->chain; bdesc; bdesc = bdesc->next) { if (bdesc->page == page) goto found; prev = bdesc; } }// 若搜索了對應(yīng)目錄項的所有描述符都沒有找到指定的頁面,則顯示出錯信息,死機(jī)。 panic ("Bad address passed to kernel free_s()");found:// 找到對應(yīng)的桶描述符后,首先關(guān)中斷。然后將該對象內(nèi)存塊鏈入空閑塊對象鏈表中,并使該描述符// 的對象引用計數(shù)減1。 cli (); /* To avoid race conditions *//* 為了避免競爭條件 */ *((void **) obj) = bdesc->freeptr; bdesc->freeptr = obj; bdesc->refcnt--;// 如果引用計數(shù)已等于0,則我們就可以釋放對應(yīng)的內(nèi)存頁面和該桶描述符。 if (bdesc->refcnt == 0) {/** We need to make sure that prev is still accurate. It* may not be, if someone rudely interrupted us....*//** 我們需要確信prev 仍然是正確的,若某程序粗魯?shù)刂袛嗔宋覀?/span>* 就有可能不是了。*/// 如果prev 已經(jīng)不是搜索到的描述符的前一個描述符,則重新搜索當(dāng)前描述符的前一個描述符。 if ((prev && (prev->next != bdesc)) || (!prev && (bdir->chain != bdesc))) for (prev = bdir->chain; prev; prev = prev->next) if (prev->next == bdesc) break;// 如果找到該前一個描述符,則從描述符鏈中刪除當(dāng)前描述符。 if (prev) prev->next = bdesc->next;// 如果prev==NULL,則說明當(dāng)前一個描述符是該目錄項首個描述符,也即目錄項中chain 應(yīng)該直接// 指向當(dāng)前描述符bdesc,否則表示鏈表有問題,則顯示出錯信息,死機(jī)。因此,為了將當(dāng)前描述符// 從鏈表中刪除,應(yīng)該讓chain 指向下一個描述符。 else { if (bdir->chain != bdesc) panic ("malloc bucket chains corrupted"); bdir->chain = bdesc->next; }// 釋放當(dāng)前描述符所操作的內(nèi)存頁面,并將該描述符插入空閑描述符鏈表開始處。 free_page ((unsigned long) bdesc->page); bdesc->next = free_bucket_desc; free_bucket_desc = bdesc; }// 開中斷,返回。 sti (); return;}
?? 快捷鍵說明
復(fù)制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -