检索结果-南通市图书馆

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

一种嵌入式应用的内存分配算法

电子技术与软件工程 2019年第5期 193-194页

作者：程知敬南京电子技术研究所江苏省南京市210039

传统嵌入式系统为保障系统的可靠性和实时性,大多采用静态分配内存的方式,导致应用开发的效率低下。本文提出了一种嵌入式应用的内存分配算法,在经典深度优先搜索算法的基础上,结合自研的内存复用算法——间隔复用法,实现自动化的应用... 详细信息

传统嵌入式系统为保障系统的可靠性和实时性,大多采用静态分配内存的方式,导致应用开发的效率低下。本文提出了一种嵌入式应用的内存分配算法,在经典深度优先搜索算法的基础上,结合自研的内存复用算法——间隔复用法,实现自动化的应用内存分配,且使得内存利用率得以提升。最后,通过工程实例验证了其正确性及有效性。

关键词：嵌入式系统内存分配算法

在线全文

学校读者我要写书评

暂无评论

一种基于VxWorks的内存分配算法

工业控制计算机 2006年第2期19卷 17-18,20页

作者：朱筱菲黄凤岗哈尔滨工程大学计算机科学与技术学院黑龙江哈尔滨150001

研究了VxWorks系统内存分配算法,指出了常用内存管理算法的局限性,在此基础上,提出了一种改进的内存分配算法。改进的内存分配算法包括优化的内存块分配算法和快速高效的动态内存分配算法,两者结合使用将会有效提高嵌入式系统的性能。... 详细信息

研究了VxWorks系统内存分配算法,指出了常用内存管理算法的局限性,在此基础上,提出了一种改进的内存分配算法。改进的内存分配算法包括优化的内存块分配算法和快速高效的动态内存分配算法,两者结合使用将会有效提高嵌入式系统的性能。对改进内存算法的实现作了详细的介绍。

关键词：嵌入式实时系统 VxWorks 内存分配算法

嵌入式操作系统内核服务的形式化验证与设计开发

在线全文

学校读者我要写书评

暂无评论

嵌入式操作系统内核服务的形式化验证与设计开发

作者：关钰千华东师范大学

学位级别：硕士

随着科学技术的快速发展,物联网技术已经应用于我们工作与生活中的方方面面。物联网设备的安全性和稳定性已经越来越被人们所重视。嵌入式操作系统作为物联网嵌入式设备的最基础软件,其重要性毋庸置疑。内核服务是操作系统提供的最基础... 详细信息

随着科学技术的快速发展,物联网技术已经应用于我们工作与生活中的方方面面。物联网设备的安全性和稳定性已经越来越被人们所重视。嵌入式操作系统作为物联网嵌入式设备的最基础软件,其重要性毋庸置疑。内核服务是操作系统提供的最基础功能服务,只有内核服务的安全性和正确性得到保证,操作系统才能够稳定的运行。设计高效安全的内核服务是构建一个优秀嵌入式操作系统的关键。编程模型作为操作系统的重要内核服务,会决定系统的调度运行策略和应用程序开发的灵活性。如何保证嵌入式操作系统提供的编程模型的正确性,是一个十分重要的工作。形式化方法能够有效地验证操作系统内核服务,EventB方法已经逐渐被认可是一种验证复杂系统的有效形式化方法。EventB方法采用自顶向下的开发策略,即初始需求经过重写得到重写需求,根据重写需求再设计精化策略,之后按照精化策略进行模型搭建工作。采用模型精化技术,在更深一层的模型中实现更具体的需求,最终得到满足所有需求的实现模型。内存分配是嵌入式操作系统所提供的最基础和重要的内核服务之一,内存分配又分为静态内存分配和动态内存分配。动态内存分配服务对嵌入式操作系统的性能有很大影响。如果内存分配的额外消耗过多,嵌入式操作系统就无法在有多个请求时提供稳定的服务。如果内存分配的执行效率不够高,嵌入式操作系统也无法在有限的时间内响应请求。这些问题如果发生在诸如交通和医疗等重要场合,则会产生严重后果。在日益复杂的物联网环境中,使用高效且低消耗的动态内存分配算法非常重要。本文的研究工作和贡献主要有:·提出并验证事件总线混合编程模型提出了事件总线混合编程模型。事件总线将多线程与发布-订阅模式结合在一起,实现了多线程与事件驱动两种编程模型。事件总线的优点是可以对系统程序的编程模式进行灵活配置以适应不同情况。本文使用Event-B方法对事件总线进行形式化建模与验证,并在每层模型中都完成了对其安全性与活性进行的证明。通过清晰的模型描述和细致的精化策略设计,整个工作的自动验证率达到了91%。·设计并开发DLSF动态内存分配算法提出了自适应组织内存管理资源的动态内存分配算法:DLSF。除了具有常数时间复杂的运行效率外,DLSF算法还可以根据实际工作负载与应用程序的运行情况重新调整系统配置。DLSF算法能在不同的嵌入式系统环境下充分利用内存资源,提高了内存分配的资源利用率与在资源稀缺情况下内存分配的成功率。

关键词：嵌入式操作系统内核服务内存分配算法形式化方法编程模型

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

嵌入式Linux平台内存管理方案

小型微型计算机系统 2011年第4期32卷 614-618页

作者：高超韩锐倪宏中国科学技术大学自动化系安徽合肥230027 国家网络新媒体工程技术研究中心北京100190

不同的动态内存分配算法往往应用于不同场景、面向于不同业务,因此衡量指标不一,性能各异.针对多模式、多业务的数字电视终端,本文提出了一种嵌入式L inux平台内存管理方案,深入剖析了共享内存的原理及方法,采用共享内存技术支撑多业务... 详细信息

不同的动态内存分配算法往往应用于不同场景、面向于不同业务,因此衡量指标不一,性能各异.针对多模式、多业务的数字电视终端,本文提出了一种嵌入式L inux平台内存管理方案,深入剖析了共享内存的原理及方法,采用共享内存技术支撑多业务开展,同时实现了一种使用二级索引策略的动态内存分配算法,复杂度为O(1),相比其他经典算法,实时性高而碎片率低,仿真性能良好,并在嵌入式平台上实施,取得了不错的效果.

关键词：内存管理内存分配算法 Linux 共享内存

在线全文

学校读者我要写书评

暂无评论

一种高效嵌入式协议栈缓冲区管理机制

小型微型计算机系统 2008年第1期29卷 1-6页

作者：宋丽华张晓彤王沁郭艳飞北京科技大学信息工程学院北京100083

提出一种MYBUF高效嵌入式协议栈两级缓冲区管理机制,该机制基于内存保护模式,具有可配置性,支持静态、动态分配和回收.使用该缓冲区管理机制可使嵌入式TCP/IP协议栈各层之间实现零拷贝数据传递.在基于自主开发的HDTV(High Definition Te... 详细信息

提出一种MYBUF高效嵌入式协议栈两级缓冲区管理机制,该机制基于内存保护模式,具有可配置性,支持静态、动态分配和回收.使用该缓冲区管理机制可使嵌入式TCP/IP协议栈各层之间实现零拷贝数据传递.在基于自主开发的HDTV(High Definition Television)双向系统平台上的测试结果表明,该管理机制完全满足嵌入式系统网络通信的应用需求,是一种高效、简洁、可靠的缓冲区管理机制.不失一般性,本文设计的MYBUF缓冲区管理机制可适用于其它嵌入式网络通信系统.

关键词：嵌入式协议栈缓冲区管理内存分配算法嵌入式系统

在线全文

学校读者我要写书评

暂无评论

面向非易失性内存的高性能计算并行优化研究

现代科学仪器 2024年第2期41卷 198-203,209页

作者：辛华南方电网数字电网研究院股份有限公司广东广州510663

针对非易失性内存在高性能计算运行过程中存在的内存分配不均匀问题,研究非易失性内存的高性能计算并行优化方法。结合新型高速网络RDMA和非易失性存储设备,提出分布式非易失性内存新型存储结构,加入一致性模块和本地非易失性内存管理模... 详细信息

针对非易失性内存在高性能计算运行过程中存在的内存分配不均匀问题,研究非易失性内存的高性能计算并行优化方法。结合新型高速网络RDMA和非易失性存储设备,提出分布式非易失性内存新型存储结构,加入一致性模块和本地非易失性内存管理模块,同时加强本地非易失性内存的管理;通过SPL框架进行分布式并行计算,经过数据预加载后,使用分布式独立内存分配算法优化多任务多线程的并行计算过程。实验结果表明:该方法能够使非易失性内存的数据保持一致,增强读写性能,提升工作效率;对于并行多线程任务的内存分配具有更好的扩展性,增强系统并行运算能力,同时适用性广泛。

关键词：非易失性内存高性能计算并行优化分布式储存结构内存分配算法 CPU资源分配