CSAPP 六个重要实验 lab5

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感兴趣,欢迎邮箱联系交流讨论

[email protected] 





郑重声明:本站内容如果来自互联网及其他传播媒体,其版权均属原媒体及文章作者所有。转载目的在于传递更多信息及用于网络分享,并不代表本站赞同其观点和对其真实性负责,也不构成任何其他建议。