TLSF算法1:二级索引的计算

TLSF算法1:二级索引的计算TLSF算法(一)分配中的位图计算一、什么是TLSF算法二,f的确定三、s的确定四、实验结果一、什么是TLSF算法在嵌入式系统中,内存需要在分配和释放时有一个确定的相应时间,才能进一步分析其实时任务的可调度性。因此TLSF算法是一个十分适用嵌入式领域的动态内存分配算法。在关于TLSf算法的经典文章中《TLSF:aNewDynamicMemoryAllocatorforReal-TimeSystems》详细介绍了TLSF算法相关知识。TLSF算法使用隔离匹配机制来实现良好匹配策略。基本的

大家好,又见面了,我是你们的朋友全栈君。

一、什么是TLSF算法

在嵌入式系统中,内存需要在分配和释放时有一个确定的相应时间,才能进一步分析其实时任务的可调度性。因此TLSF算法是一个十分适用嵌入式领域的动态内存分配算法。在关于TLSf算法的经典文章中《TLSF: a New Dynamic Memory Allocator for Real-Time Systems》详细介绍了TLSF算法相关知识。

TLSF算法使用隔离匹配机制来实现良好匹配策略。基本的隔离匹配机制使用一组空闲列表,每个数组都包含一定大小范围内的空闲块。为了加快访问空闲块以及访问管理大量的隔离列表(以减少碎片),列表数组已组织为两个级别数组。一级数组将空闲块划分为类是2的幂(16、32、64、128等);和第二级将每个第一级类别线性划分,划分的数量(简称第二级别索引数,2SLI)是用户可配置的参数。每个数组列表具有关联的位图,用于标记哪些列表是为空,哪些包含空闲块。每个块有关的信息都存储在块本身中。
TLSF空闲块的结构图
在TLSf的结构中,最主要的算法是位的操作,本文重点分析有关位的操作的原理与代码。当系统需要分配一个指定大小为r的内存时,需要计算出相应的两级位图的值,其公式如下所示:
计算公式
为了有一个直观的结果,我们假设SLI=4,即第二级索引将一级的内存块大小范围划分为2∧SLI=16块,则一级索引f=8,二级索引s=12。
示例

二,f的确定

很显然,f的值就是所需内存大小的二进制位的最高非0位的数。首先最简单可以考虑到的就是从低位遍历即可,不断的对r进行”>>”操作,只要r不为0,就不断执行,同时定义一个变量统计移位的次数。但是因为是嵌入式系统,当然不能采用遍历的方法,会导致内存分配的不确定性。

方法一首先考虑折半查找的方式,32位的数字,折半对比5次既可求出f的值。代码参考如下:

int getF1(int r){ 
   
	int f = 0;
	if(!r){ 
   
		return 0;
	}
	if(r & 0xffff0000){ 
   
		r >>= 16;
		f += 16;
	}
	if(r & 0xff00){ 
   
		r >>= 8;
		f += 8;
	}
	if(r & 0xf0){ 
   
		r >>= 4; 
		f += 4;
	}
	if(r & 12){ 
   
		r >>= 2; 
		f += 2;
	}
	if(r & 2){ 
   
		r >>= 1; 
		f += 1;
	}
	return f;
}

方法二:方法一需要进行6次比较,消耗时间较旧,因此采用空间换时间的方式,一个有8个bit位的数,可以通过一个数组索引出来2∧8=256个数最高的位是几,最后就可以通过查表快速得知最高的bit位数。索引数组的初始化如下:

int TLSF_Table[256];	
int i;
int j = 0;
int k = 0;
TLSF_Table[0] = 0xffffffff;	
for(i=2;i<=256;i=i*2,k++){ 
   
	for(;j<i;j++){ 
   
		TLSF_Table[j]=k;
	}
}

此时,我们看到进行两次对比后,通过查表和移位运算就可以快速确定相应的f值了。

int getF2(int r){ 
   
	int a, f;
	a = r <= 0xffff ? (r <= 0xff ? 0 : 8) : (r <= 0xffffff ? 16 : 24);
	f = TLSF_Table[r >> a] + a;
return f;
}

三、s的确定

从公式中可以知道s,和f,SLI都相关。当然如果先求出f,而SLI已知,自然可以通过计算得出s的值。
方法一,直接通过公式完成相应的计算即可:

int getS1(int r, int f){ 
   
	return (r - (1<<f))>>(f-SLI);
}

方法一计算过程比较繁琐,我们先通过将公式进行简单的化简,再考虑程序的实现。公式化简如下所示:
计算化简
此时减少了频繁的左移和右移,移动一次,再相减即可。最终减少了计算量。

int getS2(int r, int f){ 
   
	return (r >> (f - SLI))- (1<<SLI) ;
}

四、实验结果

将上面几个计算函数实现有后,在main函数中添加测试数据,进行验证,整个程序代码如下。

#include <stdio.h>
static int TLSF_Table[256];
static int SLI = 4;
int getF1(int r){ 

int f = 0;
if(!r){ 

return 0;
}
if(r & 0xffff0000){ 

r >>= 16;
f += 16;
}
if(r & 0xff00){ 

r >>= 8;
f += 8;
}
if(r & 0xf0){ 

r >>= 4; 
f += 4;
}
if(r & 12){ 

r >>= 2; 
f += 2;
}
if(r & 2){ 

r >>= 1; 
f += 1;
}
return f;
}
int getF2(int r){ 

int  a;
a = r <= 0xffff ? (r <= 0xff ? 0 : 8) : (r <= 0xffffff ? 16 : 24);
return TLSF_Table[r >> a] + a;
}
int getS1(int r, int f){ 

return (r - (1<<f))>>(f-SLI);
}
int getS2(int r, int f){ 

return (r >> (f - SLI))- (1<<SLI) ;
}
main(){ 

int i;
int j = 0;
int k = 0;
TLSF_Table[0] = 0xffffffff;	
for(i=2;i<=256;i=i*2,k++){ 

for(;j<i;j++){ 

TLSF_Table[j]=k;
}
}
int a=460;
int f1 = getF1(a);
int f2 = getF2(a);
printf("compute f\n");
printf("first method get f:%d\n", f1);
printf("second method get f:%d\n", f2);
printf("compute s\n");
printf("first method get s:%d\n", getS1(a,f1));
printf("second method get s:%d\n", getS2(a,f2));
}

程序运行结果,如下。
实验结果
针对内存需求r=460,验证结果符合预期。

版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 举报,一经查实,本站将立刻删除。

发布者:全栈程序员-用户IM,转载请注明出处:https://javaforall.cn/149629.html原文链接:https://javaforall.cn

【正版授权,激活自己账号】: Jetbrains全家桶Ide使用,1年售后保障,每天仅需1毛

【官方授权 正版激活】: 官方授权 正版激活 支持Jetbrains家族下所有IDE 使用个人JB账号...

(0)
blank

相关推荐

  • vscode代码整理插件_vscode安装离线插件

    vscode代码整理插件_vscode安装离线插件vscode常用插件整理

  • Activiti工作流使用之流程结构介绍[通俗易懂]

    Activiti工作流使用之流程结构介绍[通俗易懂]Activiti工作流使用之流程结构介绍文章目录Activiti工作流使用之流程结构介绍一、工作流介绍1.1概述1.2常见工作流二、工作流术语2.1工作流引2.2BPM2.3BPMN2.4流对象三、Activiti结构3.1Activiti系统服务结构图3.2Activiti数据库结构四、流程步骤4.1部署Activiti4.2流程定义4.3流程定义部署4.4启动一个流程实例4.5用户查询代办任务(Task)4.6用户已办任务历史记录4.6用户已办任务历史记录一、工作流介绍

  • idea2022激活码有效期很短_最新在线免费激活

    (idea2022激活码有效期很短)JetBrains旗下有多款编译器工具(如:IntelliJ、WebStorm、PyCharm等)在各编程领域几乎都占据了垄断地位。建立在开源IntelliJ平台之上,过去15年以来,JetBrains一直在不断发展和完善这个平台。这个平台可以针对您的开发工作流进行微调并且能够提供…

  • HLSL 与 GLSL 之间的映射关系参考[通俗易懂]

    HLSL 与 GLSL 之间的映射关系参考[通俗易懂]系统参数与內建的输入参数Direct3D有很多系统参数,而相应的,GLSL也有內建的输入参数的概念。他们的对应关系如下:HLSLGLSLSV_ClipDistancegl_ClipDistanceSV_CullDistance当存在ARB_cull_distance情况下gl_CullDistanceSV_Coveragegl_SampleMaskIn&gl_SampleMaskSV_Depth

  • centOs使用yum安装nginx「建议收藏」

    centOs使用yum安装nginx「建议收藏」1.安装nginxyuminstallnginx2.找到配置文件find/-namenginx.conf3.添加配置vinginx.conf4.基本命令nginx#启动nginx-sstop#停止nginxnginx-sreload#重启nginxnginx-c/etc/nginx/nginx.conf#使用指定配置文件启动nginxnginx-t#检测配置文件是否有错误nginx-v#查看版本信息..

  • 个人防火墙软件排名「建议收藏」

    个人防火墙软件排名「建议收藏」1.Look’n’stopLook’n’Stop被誉为世界顶级防火墙!与同类产品相比具有最为突出的强劲功能以及与众不同的特点,不仅功能评测在知名防火墙中是最强的!而且软件大小只有区区600多k十分小巧,占内存非常小,可以监控dll,更具强大的御防******能力!下载Look’n’stop:[url]http://3800cc.com/Soft/aqfh/2129.h…

发表回复

您的电子邮箱地址不会被公开。

关注全栈程序员社区公众号