操作系统（UNIX内核代码笔记之malloc.c 二） (转)

操作系统（UNIX内核代码笔记之malloc.c 二） (转)[@more@]

 XML:namespace prefix = o ns = "urn:schemas-microsoft-com:Office:office" />

大家好，我们接着来看过程mfree，上次说过，这个过程算法有点复杂，或许应该说，代码写的不太明朗。我们来具体的看看它：

 

/*

 *Free the previously allocated space aa

 *of size units into the specified map.

 *Sort aa into both map and combine on

 *one or both ends if possible.

 */

mfree(mp,size,aa)

struct map *mp;

{

  register struct map *bp;

  register int t;

  register int a;

 

  a = aa;

  /*一个空循环……（1）*/

  for (bp = mp; bp->m_addr<=a && bp->m_size!=0; bp++);

/* 判断、回收开始 */

  if (bp>mp && (bp-1)->m_addr+(bp-1)->m_size == a) {/*这里判断的是什么？（2）*/

  (bp-1)->m_size =+ size;

  if (a+size == bp->m_addr) {/* 这里呢？（3）*/

  (bp-1)->m_size =+ bp->m_size;

  while (bp->m_size) {

  bp++;

  (bp-1)->m_addr = bp->m_addr;

  (bp-1)->m_size = bp->m_size;

  }

  }

  } else {/* 这里是什么样的情况？（4）*/

  if (a+size == bp->m_addr && bp->m_size) {

  bp->m_addr =- size;

  bp->m_size =+ size;

  } else if (size) do {/* 下面的过程呢？（5）*/

  t = bp->m_addr;

  bp->m_addr = a;

  a = t;

  t = bp->m_size;

  bp->m_size = size;

  bp++;

  } while (size = t);

  }

}

/*-----------------------------------  */

 

在上次说到malloc过程，想必大家可以看出，mp表有效部分（未分配区）的结束的标志是：

bp->m_size==0 为真，

这次，我们先说说unix存储管理的回收机制。一个待回收的地址和大小作为参数传递给mfree后，UNIX将把对应该地址和大小的一个存储区返回给mp指定的“资源图”。

只是，要注意的是，如果该区在前后有有效的存储区时，要注意将它们合并，则还有mp表的重整，也是随之而来的问题。

 

我们来看看，比如可能的一种情况是这样：

ASPectratio="t">

2003-8-292141220.gif" align=baseline border=0>

若 a之前有有效存储区可合并：

  (bp-1)->m_addr+(bp-1)->m_size == a 为真，

这就是我们的（2）的作用。则操作为：

  (bp-1)->m_size =+ size;

但同时，我们要注意和后一有效存储区的合并，即

a+size == bp->m_addr 为真，

这是（3）的作用。如果应该合并，则操作为：

  (bp-1)->m_size =+ bp->m_size;

  while (bp->m_size) {

  bp++;

  (bp-1)->m_addr = bp->m_addr;

  (bp-1)->m_size = bp->m_size;

  }

但是，如果不可与前边的有效存储区合并，而可与其后的合并，则可能是这个情况：

则可通过：

  a+size == bp->m_addr && bp->m_size，

来判断，这是（4）的作用。若如此，则操作为：

  bp->m_addr =- size;

  bp->m_size =+ size;

那么，还有一种情况，即与前与后都无法合并，可能是这个样子：

这个需要一些复杂的过程。但我要首先向您说明的是，不仅这种情况可以是前与后均不可合并，您来看看这种可能的情况：

这就是说，一直到有效存储区结束，还没有到达a。此时判断为：

  bp->m_size==0 为真，

您来细细的看这个操作：

  if (size) do {

  t = bp->m_addr;

  bp->m_addr = a;

  a = t;

  t = bp->m_size;

  bp->m_size = size;

  bp++;

    } while (size = t);

尤其要注意t的用途，它首先做地址的中间变量，然后做空间大小的中间变量。这就是（5）的过程。我问您，最后当调整结束后，若指向结束处，bp->m_size==0 为真可曾满足？

 

现在您回头看看，就会明白空循环体（1）的作用，只有当

  bp->m_addr<=a && bp->m_size!=0 为真，

不满足时，我们就到达了回收操作的时机了。可是，如果不看懂后边的代码，又如何明白它呢？

所以说这个算法的实现有点不明朗，但好处就是，效率很高，几乎不可能再提高了！

 

现在您回头看看整个文件，是不是感觉代码很优美？哦，这些日子我感觉有些心伤（因为觉得自己好笨，有太多不懂的，又问自己是不是又浪费时间了，感觉略微迷茫）。可是，在看这些代码，又觉得了渴望的萌动，我们也要努力哦，创造这样优美的代码与软件！

 

来自 “ ITPUB博客 ” ，链接：http://blog.itpub.net/10752043/viewspace-962085/，如需转载，请注明出处，否则将追究法律责任。

转载于:http://blog.itpub.net/10752043/viewspace-962085/