码迷,mamicode.com
首页 > 其他好文 > 详细

看数据结构写代码(50)伙伴系统

时间:2015-04-17 11:46:08      阅读:151      评论:0      收藏:0      [点我收藏+]

标签:伙伴系统   伙伴系统c语言描述   

伙伴系统 是一种 只 可以 分配 2的 幂次方 个 空间的 ,回收 内存 时 只 合并 “伙伴空间” 的一种 动态内存管理方式。

例如 一个 空间 大小 为 64 的 内存,伙伴 系统 为 这 64 的内存  建立 一组 双向循环 链表,分别 管理着  2的 0 次方,2的1 次方幂,2的 2 次方幂。。。2的6次方幂的 可用空间。

即使 我们 只想分配 一个 大小 为3的 空间,系统 却 只能 返回 一个 内存 大小 为 4(2的2次方)的 一个空间。

系统 在 初始化的 时候 ,并不是 为 每一个 链表 都 放入 一些 可用空间 。而是 在 2的 6次方幂 插入 一个 空间节点,大小 为64

当我们 想 要 分配 内存的时候,会 查找 最近 内存大小的 链表,如果 链表 有 可用空间,取 第一个 空间。否则 顺次 查找 可用空间。

假设 我们 要在 这个 64 的 空间 里,分配 一个 大小 为 3 的内存,系统 怎么 分配呢? 

系统 会 从 第一个链表 一直 找,直到 找到 2的 6次方的 链表。系统 会 将 前 4个 空间 分配 给用户。可是 其余的 60个空间 ,不能 再 插入到 2的 6次方 的链表中了。只能 插入到

比 它小的链表中去。

具体的 分配 方式 如下:4    4    8   16   32 。

 前4个 分给用户 使用,后 面的 4 8 16 32  依次 插入 到 2的 2次方幂,2的 3次方,4次方,5次方幂的链表中去。

这 有一个 规则:

1. 用户 空间 的 邻接空间 总是 被 拆分成  一个 跟 用户 空间 大小 一样的 空间。这个 空间 就是 上面 所有的 “伙伴空间”。

2. 再 下一个空间 依次 是 用户空间的 2倍,4倍,8倍,。。。直到 被拆分空间 一半。 例子的 拆分空间 为 64,它的一半 为 32。

所以 可以 算出:64 是 如何 被 拆分的: 4(用户空间) 4(伙伴空间) 8   16  32 


当我们 回收空间时,首先 会 查看 这个空间的 伙伴空间 是否 为 空闲。如果空闲 会 合并,并从 链表中 删除 伙伴空间。。然后 会 再次 查看 合并后的 空间。直至 无法 合并。如果 不空闲,插入到 合适的 链表中去。

伙伴空间 就是 上面 所说的 “4” ,必须 跟 回收空间 空间大小一样 ,而且 是 从 同一个 大块 内存 分配 出去的,

有一个公式可以求出 伙伴空间:

技术分享


例如 释放 上面 的 空间, 会查找 伙伴空间 ,伙伴空间 空闲,合并空间 成为 一个 大小 为8 的空间,并从 2 的 2 次方 链表中 删除 伙伴空间,然后 继续 查找。 继续删除。。最终 会 合并 成 一个 在 2的 6次幂链表中的 一个 空间。 和 初始的情况一样。

下面的 代码 我 没有 按照 书上的代码来写,按照 自己的思路写的,(书上的代码看的我有点 糊涂)。如有误,望指出。


代码如下:

// buddyAlloc.cpp : 定义控制台应用程序的入口点。
//伙伴系统

#include "stdafx.h"
#include <cstdlib>
#include <cmath>

#define MAX_SIZE	64//最大空间
#define LIST_LEN	7//表头数组长度
#define MAX_INDEX	6//表头数组最大下标
struct BuddyNode{
	BuddyNode * preLink;
	BuddyNode * nextLink;
	int k;//只能分配2 的k次幂
	int tag;//0 空闲, 1 占用
};

typedef struct BuddyHead{
	BuddyNode * head;
	int nodeSize;
}FreeList[LIST_LEN];

static BuddyNode * freeSpace = NULL;//为了释放内存
static BuddyNode * userSpace[MAX_SIZE] = {NULL};
static int userCount = 0;

void initFreeList(FreeList list){
	for (int i = 0; i < LIST_LEN; i++){
		list[i].head = NULL;
		list[i].nodeSize = (int)pow(2.0,i);
	}
	//分配最大空间
	BuddyNode * p = (BuddyNode*)malloc(sizeof(BuddyNode) * MAX_SIZE);
	if (p != NULL){
		p->k = MAX_INDEX;
		p->tag = 0;
		p->nextLink = p->preLink = p;//双向循环链表
	}
	freeSpace = list[MAX_INDEX].head = p;
}

void destoryFreeList(FreeList list){
	for (int i = 0; i < LIST_LEN; i++){
		list[i].head = NULL;
	}
	free(freeSpace);
}

BuddyNode * buddyAlloc(FreeList list,int size){
	bool isFirst = true;
	int k = -1;//分配空间的k值
	int needK = -1;//需要分配空间的k值.
	//查找第一个满足条件的空间.
	for (int i = 0; i < LIST_LEN; i++){
		BuddyHead head = list[i];
		if (head.nodeSize >= size){
			if (isFirst){
				needK = i;
				isFirst = false;
			}
			if (head.head != NULL){//找到可分配的空间了
				k = i;
				break;
			}
		}
	}
	BuddyNode * freeNode = NULL;
	if (k == -1){
		return NULL;//找不到满足条件的空间了..
	}
	else{
		//设置这个空间 被占用,并且 更换 表头元素..
		freeNode = list[k].head;
		freeNode->k = needK;
		freeNode->tag = 1;//设置 成 已占用..
		list[k].head = freeNode->nextLink;//重新设置表头..
		if (freeNode->preLink == freeNode->nextLink){//删除这个空间后,成为空表.
			list[k].head = NULL;
		}
		else{//删除这个节点.
			freeNode->preLink->nextLink = freeNode->nextLink;
			freeNode->nextLink->preLink = freeNode->preLink;
		}
		//剩余空间 依次 插在 needK 和 k-1 表里.
		for (int i = needK; i < k ; i++){//从高位开始分配..
			int index = (int)pow(2.0,i);
			BuddyNode * p = freeNode + index;
			p->k = i;
			p->tag = 0;
			BuddyNode * head = list[i].head;
			if (head != NULL){
				p->preLink = head->preLink;
				p->nextLink = head;
				p->preLink->nextLink = head->preLink = p;
			}
			else{
				p->preLink = p->nextLink = p;
			}
			list[i].head = p;//重新设置表头..
		}
	}
	userSpace[userCount++] = freeNode;
	return freeNode;
}

void userSpaceFree(BuddyNode * node){
	for (int i = 0; i < userCount; i++){
		if (userSpace[i] == node){
			userSpace[i] = NULL;
		}
	}
}

//伙伴算法 回收...
void buddyReclaim(FreeList list,BuddyNode * node){
	userSpaceFree(node);
	while (node->k < MAX_INDEX){//循环查找伙伴,k值达到 MAX_INDEX 不需要 寻找...
		int sub = node - freeSpace;//计算出 具体坐标位置
		BuddyNode * buddy = NULL;
		int i = (int)pow(2.0,node->k + 1);
		bool isNext = true;//伙伴是不是在后
		if(sub % i == 0){//伙伴在后
			buddy = node + i/2;
		}
		else{//伙伴在前.
			buddy = node - i/2;
			isNext = false;
		}
		if (buddy->tag == 0 ){//伙伴空闲,合并
			//首先从列表里释放 buddy
			if (buddy->preLink == buddy->nextLink){//表中 只有一个节点,释放后,成为空表
				list[buddy->k].head = NULL;
			}
			else{//删除节点
				buddy->preLink->nextLink = buddy->nextLink;
				buddy->nextLink->preLink = buddy->preLink;
				list[buddy->k].head = buddy->nextLink;
			}
			if (isNext == false){
				node = buddy;
			}
			node->k ++;
		}
		else{//伙伴空间被占用..
			break;
		}
	}
	BuddyNode * head = list[node->k].head;
	node->tag = 0;
	if (head == NULL){//表头为空
			node->preLink = node->nextLink = node;
	}
	else{
		node->nextLink = head;
		node->preLink = head->preLink;
		node->preLink->nextLink = head->preLink = node;
	}
	list[node->k].head = node;
}

void printList(FreeList list){
	printf("------------------------打印伙伴列表-------------------\n");
	for (int i = 0; i < LIST_LEN; i++){
		BuddyNode * head = list[i].head;
		if (head){
			printf("首地址空间为:%0x,表的前驱:%0x,后继:%0x,表空间大小是2的%d次方\n",head,head->preLink,head->nextLink,head->k);
		}
	}
	printf("------------------------用户空间-------------------\n");
	for (int i = 0; i < userCount; i++){
		BuddyNode * us = userSpace[i];
		if (us != NULL){
			printf("首地址空间为:%0x,表空间大小是2的%d次方\n",us,us->k);
		}
	}
	printf("\n");
}



int _tmain(int argc, _TCHAR* argv[])
{
	FreeList list;
	initFreeList(list);
	printList(list);
	printf("---------------分配一个1空间之后--------------\n");
	BuddyNode * s1_1 = buddyAlloc(list,1);
	printList(list);
	printf("---------------分配一个1空间之后--------------\n");
	BuddyNode * s1_2 = buddyAlloc(list,1);
	printList(list);
	printf("---------------分配一个29空间之后--------------\n");
	BuddyNode * s29 = buddyAlloc(list,29);
	printList(list);
	printf("---------------释放一个1空间之后--------------\n");
	buddyReclaim(list,s1_2);
	printList(list);
	printf("---------------释放一个1空间之后--------------\n");
	buddyReclaim(list,s1_1);
	printList(list);
	destoryFreeList(list);
	return 0;
}

完整代码工程文件网盘地址:点击打开链接


运行截图:

技术分享

技术分享




看数据结构写代码(50)伙伴系统

标签:伙伴系统   伙伴系统c语言描述   

原文地址:http://blog.csdn.net/fuming0210sc/article/details/45080955

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!