红黑树在Linux虚拟内存区域管理中的应用

参考资料:http://wenku.baidu.com/view/f0795f8783d049649b66586f.html

Linux内核中每一个用户进程都可以访问4GB的线性虚空间,为了能表达真正被进程使用的虚拟内存空间,Linux定义了虚拟存储区域(virtualmemoryarea,VMA)。进程的虚拟空间中可能有多个虚拟存储区域,Linux内核中对这些虚拟存储区域的组织方式有两种,一种是采用双循环链表,还有一种是采用树的结构。Linux内核从2.4.10开始,Linux内核对虚拟区的组织不再采用一般平衡二叉树,而是采用红黑树,这是出于效率的考虑。虽然AVL树和红黑树很类似,但是AVL树的删除和插入操作需要多次旋转操作以及不断向根节点回溯。所以在大量删除和插入操作的情况下,AVL树的操作效率不高。红黑树是一种查找效率仅次于AVL树的不完全平衡二叉树,它能够以O(logn)[1]的时间复杂度进行插入、删除操作,而且它的插入和删除最多需要两次或者三次旋转即可保持树的平衡。虽然二者的算法复杂度相同,但在最坏情况下,红黑树提供一种快实时的删除和插入一个节点的算法。显然红黑树的高效操作更适合Linux内核中VMA的添加、删除和查找,这也是在Linux下开发嵌入式系统的要求。1虚拟存储区域Linux虚拟内存使运行在系统上的进程可以分配到比可用物理空间更多的空间,但是每个进程的地址空间很少能全部用满,一般只是用到了其中一些分离的区域,这些分离的区域被定义为虚拟存储区域(virtualmemoryarea,VMA)。虚拟存储区域是某个进程的一段连续的虚存空间,在这段虚存空间里的所有单元拥有相同的特征,它是对页错误处理有同一规则的进程虚拟内存空间的部分,如共享库、运行区域等。Linux内核中,一个进程的虚拟地址空间主要由两个数据结构来描述。一个是最高层次的:mm_struc,t一个是较高层次的:vm_area_structs。最高层次的mm_struct结构描述了一个进程的整个虚拟地址空间;较高层次结构vm_area_truct描述了虚拟存储区域。进程的虚存区域中数据结构之间的关系如图1所示。mm_struct结构:structmm_struct{structvm_area_struct*mmap;//指向由若干VMA组成的链表rb_rootmm_rb;//指向一棵红黑树structvm_area_struct*map_cache;//指向最近找到的虚存区域intmmap_coun;t//虚拟区间的个数}vm_area_struct结构:sructvm_area_struct{structmm_struct*vm_mm;//虚拟区域所在的虚拟地址空间