看数据结构写代码(50)伙伴系统 - fuming0210sc的专栏 - 博客频道 - CSDN.NET


看数据结构写代码(50)伙伴系统 - fuming0210sc的专栏 - 博客频道 - CSDN.NET
伙伴系统 是一种 只 可以 分配 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次幂链表中的 一个 空间。 和 初始的情况一样。

#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;
}
 1.伙伴系统概念
  伙伴系统是一种经典的内存管理方法。Linux伙伴系统的引入为内核提供了一种用于分配一组连续的页而建立的一种高效的分配策略,并有效的解决了外碎片问题。
 2.伙伴系统的组织结构
  Linux中的内存管理的“页”大小为4KB把所有的空闲页分组为11个块链表,每个块链表分别包含大小为1248163264128256512和1024个连续页框的页块。最大可以申请1024个连续页,对应4MB大小的连续内存。每个页块的第一个页的物理地址是该块大小的整数倍。
   结构如图所示:第i个块链表中,num表示大小为(2^i)页块的数目,address表示大小为(2^i)页块的首地址。

 3.伙伴系统的内存分配及释放
  当向内核请求分配(2^(i-1)2^i]数目的页块时,按照2^i页块请求处理。如果对应的块链表中没有空闲页块,则在更大的页块链表中找。当分配的页块中有多余的页时,伙伴系统根据多余的页框大小插入到对应的空闲页块链表中。
  当释放单页的内存时,内核将其置于CPU高速缓存中,对很可能出现在cache的页,则放到“快表”的列表中。在此过程中,内核先判断CPU高速缓存中的页数是否超过一定“阈值”,如果是,则将一批内存页还给伙伴系统,然后将该页添加到CPU高速缓存中。
  释放多页的块时,内核首先计算出该内存块的伙伴的地址。内核将满足以下条件的三个块称为伙伴(1)两个块具有相同的大小,记作b(2)它们的物理地址是连续的。(3)第一块的第一个页的物理地址2*(2^b)的倍数。如果找到了该内存块的伙伴,确保该伙伴的所有页都是空闲的,以便进行合并。内存继续检查合并后页块的“伙伴”并检查是否可以合并,依次类推。
 4.伙伴系统的反碎片机制
  内核将已分配页分为以下三种不同的类型:
  (1)不可移动页:这些页在内存中有固定的位置,不能够移动。
  (2)可回收页:这些页不能移动,但可以删除。内核在回收页占据了太多的内存时或者内存短缺时进行页面回收。
  (3)可移动页:这些页可以任意移动,用户空间应用程序使用的页都属于该类别。它们是通过页表映射的。当它们移动到新的位置,页表项也会相应的更新。
  在内存子系统初始化期间,所有的页都被标记为可移动的。在启动期间,核心内核分配的内存是不可移动的。此时内核的策略是分配一个尽可能大的连续内存块,将其从可移动列表转换到不可移动列表。分配一个尽可能大的连续内存块而不是选择更小的满足要求的内存块的原因如下:
  例如:现有一块可移动的具有16页的连续空闲内存块。当内核需要分配1页不可移动内存页时。分配器选择后8(而不是一页)转移到不可移动列表,然后从不可移动列表中选择1用于分配。如果内核又需要分配1页不可移动内存页则从不可移动列表中选择一页用于分配,下图显示了进行4次分配后内存的分布。
  但如果内核只选择1页用于分配将其加入到不可移动列表,当下次需要分配时又选择一页加入到不可移动列表,下图显示了按照这种方式进行4次分配后内存的分布。
  

  因此,当没有满足可用于分配的不可移动空闲块时,分配器会在可移动列表中迁移一个尽可能大的连续内存块给不可移动列表。这样避免了启动期间内核分配的内存散列到物理内存各处,从而使其他类型的内存分配免受碎片的干扰。
http://coolshell.cn/articles/10427.html

Labels

LeetCode (1432) GeeksforGeeks (1122) LeetCode - Review (1067) Review (882) Algorithm (668) to-do (609) Classic Algorithm (270) Google Interview (237) Classic Interview (222) Dynamic Programming (220) DP (186) Bit Algorithms (145) POJ (141) Math (137) Tree (132) LeetCode - Phone (129) EPI (122) Cracking Coding Interview (119) DFS (115) Difficult Algorithm (115) Lintcode (115) Different Solutions (110) Smart Algorithm (104) Binary Search (96) BFS (91) HackerRank (90) Binary Tree (86) Hard (79) Two Pointers (78) Stack (76) Company-Facebook (75) BST (72) Graph Algorithm (72) Time Complexity (69) Greedy Algorithm (68) Interval (63) Company - Google (62) Geometry Algorithm (61) Interview Corner (61) LeetCode - Extended (61) Union-Find (60) Trie (58) Advanced Data Structure (56) List (56) Priority Queue (53) Codility (52) ComProGuide (50) LeetCode Hard (50) Matrix (50) Bisection (48) Segment Tree (48) Sliding Window (48) USACO (46) Space Optimization (45) Company-Airbnb (41) Greedy (41) Mathematical Algorithm (41) Tree - Post-Order (41) ACM-ICPC (40) Algorithm Interview (40) Data Structure Design (40) Graph (40) Backtracking (39) Data Structure (39) Jobdu (39) Random (39) Codeforces (38) Knapsack (38) LeetCode - DP (38) Recursive Algorithm (38) String Algorithm (38) TopCoder (38) Sort (37) Introduction to Algorithms (36) Pre-Sort (36) Beauty of Programming (35) Must Known (34) Binary Search Tree (33) Follow Up (33) prismoskills (33) Palindrome (32) Permutation (31) Array (30) Google Code Jam (30) HDU (30) Array O(N) (29) Logic Thinking (29) Monotonic Stack (29) Puzzles (29) Code - Detail (27) Company-Zenefits (27) Microsoft 100 - July (27) Queue (27) Binary Indexed Trees (26) TreeMap (26) to-do-must (26) 1point3acres (25) GeeksQuiz (25) Merge Sort (25) Reverse Thinking (25) hihocoder (25) Company - LinkedIn (24) Hash (24) High Frequency (24) Summary (24) Divide and Conquer (23) Proof (23) Game Theory (22) Topological Sort (22) Lintcode - Review (21) Tree - Modification (21) Algorithm Game (20) CareerCup (20) Company - Twitter (20) DFS + Review (20) DP - Relation (20) Brain Teaser (19) DP - Tree (19) Left and Right Array (19) O(N) (19) Sweep Line (19) UVA (19) DP - Bit Masking (18) LeetCode - Thinking (18) KMP (17) LeetCode - TODO (17) Probabilities (17) Simulation (17) String Search (17) Codercareer (16) Company-Uber (16) Iterator (16) Number (16) O(1) Space (16) Shortest Path (16) itint5 (16) DFS+Cache (15) Dijkstra (15) Euclidean GCD (15) Heap (15) LeetCode - Hard (15) Majority (15) Number Theory (15) Rolling Hash (15) Tree Traversal (15) Brute Force (14) Bucket Sort (14) DP - Knapsack (14) DP - Probability (14) Difficult (14) Fast Power Algorithm (14) Pattern (14) Prefix Sum (14) TreeSet (14) Algorithm Videos (13) Amazon Interview (13) Basic Algorithm (13) Codechef (13) Combination (13) Computational Geometry (13) DP - Digit (13) LCA (13) LeetCode - DFS (13) Linked List (13) Long Increasing Sequence(LIS) (13) Math-Divisible (13) Reservoir Sampling (13) mitbbs (13) Algorithm - How To (12) Company - Microsoft (12) DP - Interval (12) DP - Multiple Relation (12) DP - Relation Optimization (12) LeetCode - Classic (12) Level Order Traversal (12) Prime (12) Pruning (12) Reconstruct Tree (12) Thinking (12) X Sum (12) AOJ (11) Bit Mask (11) Company-Snapchat (11) DP - Space Optimization (11) Dequeue (11) Graph DFS (11) MinMax (11) Miscs (11) Princeton (11) Quick Sort (11) Stack - Tree (11) 尺取法 (11) 挑战程序设计竞赛 (11) Coin Change (10) DFS+Backtracking (10) Facebook Hacker Cup (10) Fast Slow Pointers (10) HackerRank Easy (10) Interval Tree (10) Limited Range (10) Matrix - Traverse (10) Monotone Queue (10) SPOJ (10) Starting Point (10) States (10) Stock (10) Theory (10) Tutorialhorizon (10) Kadane - Extended (9) Mathblog (9) Max-Min Flow (9) Maze (9) Median (9) O(32N) (9) Quick Select (9) Stack Overflow (9) System Design (9) Tree - Conversion (9) Use XOR (9) Book Notes (8) Company-Amazon (8) DFS+BFS (8) DP - States (8) Expression (8) Longest Common Subsequence(LCS) (8) One Pass (8) Quadtrees (8) Traversal Once (8) Trie - Suffix (8) 穷竭搜索 (8) Algorithm Problem List (7) All Sub (7) Catalan Number (7) Cycle (7) DP - Cases (7) Facebook Interview (7) Fibonacci Numbers (7) Flood fill (7) Game Nim (7) Graph BFS (7) HackerRank Difficult (7) Hackerearth (7) Inversion (7) Kadane’s Algorithm (7) Manacher (7) Morris Traversal (7) Multiple Data Structures (7) Normalized Key (7) O(XN) (7) Radix Sort (7) Recursion (7) Sampling (7) Suffix Array (7) Tech-Queries (7) Tree - Serialization (7) Tree DP (7) Trie - Bit (7) 蓝桥杯 (7) Algorithm - Brain Teaser (6) BFS - Priority Queue (6) BFS - Unusual (6) Classic Data Structure Impl (6) DP - 2D (6) DP - Monotone Queue (6) DP - Unusual (6) DP-Space Optimization (6) Dutch Flag (6) How To (6) Interviewstreet (6) Knapsack - MultiplePack (6) Local MinMax (6) MST (6) Minimum Spanning Tree (6) Number - Reach (6) Parentheses (6) Pre-Sum (6) Probability (6) Programming Pearls (6) Rabin-Karp (6) Reverse (6) Scan from right (6) Schedule (6) Stream (6) Subset Sum (6) TSP (6) Xpost (6) n00tc0d3r (6) reddit (6) AI (5) Abbreviation (5) Anagram (5) Art Of Programming-July (5) Assumption (5) Bellman Ford (5) Big Data (5) Code - Solid (5) Code Kata (5) Codility-lessons (5) Coding (5) Company - WMware (5) Convex Hull (5) Crazyforcode (5) DFS - Multiple (5) DFS+DP (5) DP - Multi-Dimension (5) DP-Multiple Relation (5) Eulerian Cycle (5) Graph - Unusual (5) Graph Cycle (5) Hash Strategy (5) Immutability (5) Java (5) LogN (5) Manhattan Distance (5) Matrix Chain Multiplication (5) N Queens (5) Pre-Sort: Index (5) Quick Partition (5) Quora (5) Randomized Algorithms (5) Resources (5) Robot (5) SPFA(Shortest Path Faster Algorithm) (5) Shuffle (5) Sieve of Eratosthenes (5) Strongly Connected Components (5) Subarray Sum (5) Sudoku (5) Suffix Tree (5) Swap (5) Threaded (5) Tree - Creation (5) Warshall Floyd (5) Word Search (5) jiuzhang (5)

Popular Posts