CSAPP 六个重要实验 lab5

原创 2014年10月10日 02:02:18

CSAPP  && lab5



实验指导书:

http://download.csdn.net/detail/u011368821/7951657

实验材料:

http://download.csdn.net/detail/u011368821/8019293


搞定这个实验还是要看一下以前的笔记,再复习一下block的组织方式,只看link里面第11节,动态内存分配的部分就可以了

http://blog.csdn.net/cinmyheart/article/details/38136375

然后看看对block的探测性学习

http://blog.csdn.net/cinmyheart/article/details/38174421



                  The only file you will modify and turn in is mm.c.


                  Your dynamic storage allocator will consist of the following three functions (and several helper functions), which are declared in mm.h and defined in mm.c:

int mm_init(void);
void* mm_malloc(size_t size);
void mm_free(void* ptr);


               Your job is to complete this implementation by filling out mm_malloc() and mm_free(). 




任务就是利用以下现有的API去补全mm_malloc()和mm_free()

Provided Code


                 We define a BlockInfo struct designed to be used as a node in a doubly­linked explicit free list, and the following functions for manipulating free lists:


BlockInfo* searchFreeList(int reqSize): returns a block of at least the requested size if one exists (and NULL otherwise).
void insertFreeBlock(BlockInfo* blockInfo): inserts the given block in the free list in LIFO manner.
void removeFreeBlock(BlockInfo* blockInfo): removes the given block from the free list.


                 In addition, we implement mm_init and provide two helper functions implementing important parts of the allocator:


void requestMoreSpace(int incr): enlarges the heap by incr bytes (if enough memory is available on the machine to do so).
void coalesceFreeBlock(BlockInfo* oldBlock): coalesces any other free blocks adjacent in memory to oldBlock into a
single new large block and updates the free list accordingly.


这里free list的实现介绍: 这里需要说明一下的就是header处于低地址,footer处于高地址. 这里说明的原因是因为实现的时候会有指针的加减,注意一下就是了 :-)

sizeAndTags中记录的size信息是整个block的大小,包括了struct BlockInfo结构体的大小


论证: 观察struct BlockInfo结构体在内存中的分布


正是根据内存布局的特点,这里blockCursor只想当前block头的时候减去一个WORD_SIZE会得到什么?

前一个block的footer 即boundary tag,由此获知当前block的前一个block的大小



My answer:

/* Allocate a block of size size and return a pointer to it. */
void* mm_malloc (size_t size) {
  size_t reqSize;
  BlockInfo * ptrFreeBlock = NULL;
  BlockInfo * ptrNextBlock = NULL;
  size_t blockSize;
  size_t precedingBlockUseTag;
  size_t* ptrNextBlockFooter = NULL; 

  // Zero-size requests get NULL.
  if (size == 0) {
    return NULL;
  }

  // Add one word for the initial size header.
  // Note that we don't need to boundary tag when the block is used!
  size += WORD_SIZE;
  if (size <= MIN_BLOCK_SIZE) {
    // Make sure we allocate enough space for a blockInfo in case we
    // free this block (when we free this block, we'll need to use the
    // next pointer, the prev pointer, and the boundary tag).
    reqSize = MIN_BLOCK_SIZE;
  } else {
    // Round up for correct alignment
    reqSize = ALIGNMENT * ((size + ALIGNMENT - 1) / ALIGNMENT);
  }

  // Implement mm_malloc.  You can change or remove any of the above
  // code.  It is included as a suggestion of where to start.
  // You will want to replace this return statement...

  ptrFreeBlock =  searchFreeList(reqSize);

  if(!ptrFreeBlock)
  {
	requestMoreSpace(reqSize);
	ptrFreeBlock = searchFreeList(reqSize);
  }
  
  blockSize = SIZE(ptrFreeBlock->sizeAndTags);

  if(blockSize < reqSize + MIN_BLOCK_SIZE)
  {
	reqSize = blockSize;
  }

  precedingBlockUseTag = ptrFreeBlock->sizeAndTags & TAG_PRECEDING_USED;
  ptrFreeBlock->sizeAndTags = reqSize | precedingBlockUseTag | TAG_USED;

  ptrNextBlock = (BlockInfo*)UNSCALED_POINTER_ADD(ptrFreeBlock,reqSize);

  if(reqSize != blockSize)
  {
	ptrNextBlock->sizeAndTags = (blockSize - reqSize) | TAG_PRECEDING_USED;

	ptrNextBlockFooter = (size_t *)UNSCALED_POINTER_ADD(ptrFreeBlock,blockSize - WORD_SIZE);

	(*ptrNextBlockFooter) = ptrNextBlock->sizeAndTags;

	insertFreeBlock(ptrNextBlock);
  }
  else
  {
   	ptrNextBlock->sizeAndTags = ptrNextBlock->sizeAndTags | TAG_PRECEDING_USED;

	ptrNextBlockFooter = (size_t*)UNSCALED_POINTER_ADD(ptrNextBlock,SIZE(ptrNextBlock->sizeAndTags) - WORD_SIZE);

	(*ptrNextBlockFooter) = ptrNextBlock->sizeAndTags;
  }
  removeFreeBlock(ptrFreeBlock);
  

  return (void*)UNSCALED_POINTER_ADD(ptrFreeBlock,WORD_SIZE); 
}

/* Free the block referenced by ptr. */
void mm_free (void *ptr) {
  size_t payloadSize; 
  size_t blockSize;
  BlockInfo * blockInfo;
  BlockInfo * followingBlock;

  // Implement mm_free.  You can change or remove the declaraions
  // above.  They are included as minor hints.

  BlockInfo* prev_block = NULL;
  BlockInfo* next_block = NULL;

  blockInfo = (BlockInfo*)UNSCALED_POINTER_SUB(ptr,WORD_SIZE);
  followingBlock = (BlockInfo *)UNSCALED_POINTER_ADD(blockInfo,blockInfo->sizeAndTags);

  blockSize = SIZE(blockInfo->sizeAndTags);
  payloadSize = blockSize - WORD_SIZE;
  blockInfo->sizeAndTags = blockInfo->sizeAndTags & ~TAG_USED;
  *(size_t *)UNSCALED_POINTER_ADD(blockInfo,payloadSize) = blockInfo->sizeAndTags;
  followingBlock->sizeAndTags = followingBlock->sizeAndTags & ~TAG_PRECEDING_USED;

  if(followingBlock->sizeAndTags & TAG_USED == 0)
  {
      *(size_t *)UNSCALED_POINTER_ADD(followingBlock,SIZE(followingBlock->sizeAndTags) - WORD_SIZE) = followingBlock->sizeAndTags;
  }

  insertFreeBlock(blockInfo);
  coalesceFreeBlock(blockInfo);

}




最后运行./mdriver 

会有一下输出





题外话,追究这个malloc实现的话....其实它就是基于已经有的stdlib.h已经有的malloc而实现的,介绍的是实现原理,利用双向链表



后面的额外练习表示没有耐心了,对于realloc...


到此,CSAPP的lab暂时告一段落,以后还会峰峰补补的去更新 :-)

如果对这六个lab感兴趣,欢迎邮箱联系交流讨论

jasonleaster@gmail.com 





版权声明:本文为博主原创文章,未经博主允许不得转载。

相关文章推荐

CSAPP: Architecture Lab

CSAPP 体系结构实验

Delphi7高级应用开发随书源码

  • 2003年04月30日 00:00
  • 676KB
  • 下载

csapp archlab 模拟器安装

本实验主要由《深入理解计算机系统》第四章课后家庭作业问题组装起来形成的一个实验。实验主要是模拟一下自己设计的处理器如何执行Y86指令。而实验仅仅是一个模拟过程,实验前,应该透彻地搞懂真正的原理理论。这...

Delphi7高级应用开发随书源码

  • 2003年04月30日 00:00
  • 676KB
  • 下载

CSAPP深入理解计算机系统实验datalab解析

看完这一本《CSAPP深入理解计算机系统》

CSAPP课程与实验

这个学期一直很忙,还没有入学,就预先收到了导师对CSAPP课程助教的邀请,去网上了解了一下CSAPP课程,感觉非常有用的一门课,可惜当年我们读大学的时候没有开。今年这个学期我们学校也是第一次课程改革,...

csapp实验,一个简单的shell. Lab Assignment L5: Writing Your Own Unix Shell

实验指导书 http://csapp.cs.cmu.edu/3e/shlab.pdf 该知道的在实验指导书都有了,以下是感觉这个实验重要的地方 清楚前台和后台的概念,这是shell创造的概念,有外部命...

CSAPP(深入理解计算机系统) 实验——实现shell

/* * tsh - A tiny shell program with job control * rommel @copyright */ #include #include #inc...
  • rommel1
  • rommel1
  • 2012年03月21日 19:50
  • 7123

CSAPP LAB---MALLOC实验

LAB6   前期准备: 首先,通过tar xvf指令解压文件。 然后阅读readme获悉本次实验,只需要修改mm.c. 再结合英文文档,可以得知Lab的要求是让我们实现...
  • The_V_
  • The_V_
  • 2015年07月11日 16:24
  • 2318

CSAPP:数据实验

书是要看的,但实验也是要做的!接下来将《深入理解计算机系统》里面的几个实验做一下,巩固一下理论知识。     数据实验。这个实验要求学生们实现简单的逻辑和算术函数,但是只能使用一个高度受限的c的...
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:CSAPP 六个重要实验 lab5
举报原因:
原因补充:

(最多只允许输入30个字)