吕鸣松
- 作品数：3 被引量：10H指数：1
- 供职机构：东北大学计算机科学与工程学院更多>>
- 发文基金：中央高校基本科研业务费专项资金国家自然科学基金辽宁省博士科研启动基金更多>>
- 相关领域：自动化与计算机技术更多>>
- MRU Cache替换算法平均性能剖析
- 2013年
- 研究了MRU替换算法的平均性能问题.研究结果发现,在一定条件下,MRU的平均性能优于LRU替换算法.针对具有线性访问序列循环体的程序,形式化证明了MRU平均性能优于LRU的成立条件.并采用实时系统时间分析测试集针对不同Cache配置进行实验,验证了MRU平均性能优于LRU这一结果的普遍性.结合本文结果与MRU实时性能的研究结果,可以认为MRU具有优异的平均性能和实时性能.
- 吕鸣松郭浩关楠
- 关键词：MRUCACHE实时性能
- 形式化方法与应用专题前言
- 2017年
- 形式化方法以严格的数学化和机械化方法为基础来规约、设计、构建、验证、演进计算系统,是改善和确保计算系统质量的重要方法,其模型、技术和工具已延伸成为计算思维的重要载体,在国内外持续被关注和研究.在各种领域需求的推动下,形式化方法的相关理论、技术和工具越来越受重视,并在多种关键领域的应用中取得显著成效.本专题主要关注国内形式化方法的最新研究进展及其在特定领域的应用,共征得投稿37篇,其中36篇通过特约编辑形式审查进入评审阶段.每篇稿件经过2位专家的评审,有16篇进入复审阶段,
- 董威赵建华吕鸣松
- 关键词：形式化方法机械化
- 面向WCET估计的Cache分析研究综述被引量：10
- 2014年
- 实时系统时间分析的首要任务是估计程序的最坏情况执行时间(worst-case execution time,简称WCET).程序的WCET通常受到硬件体系结构的影响,Cache则是其中最为突出的因素之一.对面向WCET计算的Cache分析研究进行了综述,介绍了经典Cache分析框架与Cache分析核心技术,并从循环结构分析、数据Cache分析、多级Cache分析、多核共享Cache分析、非LRU替换策略分析等角度介绍了Cache分析在不同维度上的研究问题与主要挑战,总结了现有技术的优缺点,展望了Cache分析研究的未来发展方向.
- 吕鸣松关楠王义
- 关键词：实时系统EXECUTION
