“核高基”专题

Select

“核高基”专题

反馈式编译在循环级性能分析中的应用

郝云龙, 赵荣彩, 侯永生, 朱嘉风

计算机工程. 2011, 37(9): 32-34. https://doi.org/10.3969/j.issn.1000-3428.2011.09.012

摘要 (1428) PDF全文 (1727)

可视化

Baidu(8) CSCD(2)

针对现有技术难以全面及精确地分析程序循环特性的不足，提出一种程序循环级性能分析的方法。该方法采用动态反馈的编译优化技术，并结合静态分析的部分方法，无需硬件架构的支持，适用范围广。测试结果证明该方法能够对程序的循环部分进行精确分析，帮助程序员找出循环级热点，辅助进行相应的手工优化。

Select

“核高基”专题

AUTOSAR OS调度表同步的优化设计

王林, 佘庆, 张激, 母瑛, 干鹤鸣

计算机工程. 2011, 37(9): 35-37. https://doi.org/10.3969/j.issn.1000-3428.2011.09.011

摘要 (1671) PDF全文 (2035)

可视化

Baidu(4) CSCD(1)

针对嵌入式系统软件开发对可移植性和可重用性要求高的特点，提出一种合理有效的调度表同步算法，通过对调度表的功能分析，采用实时算法计算调度表的同步时间，实现调度表和同步计数器的同步，以此提高调度表的执行效率。对比实验结果表明，该算法能够更好地保证系统的稳定性和实时性。

Select

“核高基”专题

出口分支语句的向量化方法

朱嘉风, 赵荣彩, 侯永生, 郝云龙

计算机工程. 2011, 37(9): 38-40. https://doi.org/10.3969/j.issn.1000-3428.2011.09.013

摘要 (1223) PDF全文 (1543)

可视化

Baidu(9) CSCD(2)

传统的向量化方法和超字并行方法依靠数据依赖关系分析确定程序中的并行性，而依赖关系分析无法处理非结构化控制流语句，现有的编译器对该类语句的向量化能力有限。为此，给出一种面向SIMD扩展体系结构的出口分支语句向量化方法，该方法针对一个向量因子内的出口分支语句，能够有效地进行自动向量化处理。测试结果表明，该方法既充分发掘了程序数据流中的并行性，又保证了控制流语义的正确性。

Select

“核高基”专题

基于龙芯的软件层动态变频研究与实现

顾丽红, 林志强, 吴少刚

计算机工程. 2011, 37(9): 41-43. https://doi.org/10.3969/j.issn.1000-3428.2011.09.014

摘要 (1226) PDF全文 (1785)

可视化

Baidu(12) CSCD(3)

龙芯2F处理器提供了软件变频的寄存器接口。为使基于龙芯处理器的计算机功耗更低，利用Linux内核已有的CPUFreq驱动框架，编写针对龙芯2F处理器的CPUFreq驱动代码，实现处理器的动态变频。通过对CPUFreq的节能和性能的测试实验，结果表明CPUFreq的OnDemand调控策略具备较好的综合效果。

Select

“核高基”专题

嵌入式浏览器CSS引擎的研究与改进

刘剑, 桑楠, 郭文生

计算机工程. 2011, 37(9): 44-46,50. https://doi.org/10.3969/j.issn.1000-3428.2011.09.015

摘要 (1149) PDF全文 (1476)

可视化

Baidu(13) CSCD(1)

层叠样式表(CSS)引擎的效率提升是嵌入式浏览器的性能瓶颈。为此，提出提升CSS引擎效率样式管理的改进和设计方法。该方法增加对用户操作相关伪类样式规则的分类，以减少对非必要的伪类样式规则匹配，匹配完全失效节点的记忆能够为兄弟节点提供样式规则匹配的指示，并减少样式规则匹配次数。实验结果表明，对于不同网页的样式规则匹配总时间消耗减少3%~15%左右。

Select

“核高基”专题

带控制流的静态函数调用分析方法

陈忠湘, 詹瑾瑜, 郝宗波

计算机工程. 2011, 37(9): 47-50. https://doi.org/10.3969/j.issn.1000-3428.2011.09.016

摘要 (1566) PDF全文 (2222)

可视化

Baidu(26) CSCD(2)

提出一种带有控制流的静态函数调用分析的方法，通过建立模型，对源程序进行静态分析，得到程序中的控制流信息和函数调用信息。和已有的静态函数调用关系图分析工具calltree和Source Insight相比，该方法生成的函数调用流图不仅能展现函数间的调用次序，还可以了解程序设计的逻辑复杂度，有助于代码阅读和分析人员更快更好地理解程序结构以及设计流程，并为分析程序控制条件、设计路径覆盖测试用例和进行程序优化奠定基础。

Select

“核高基”专题

AUTOSAR通信模块的设计与实现

佘庆, 张晓先, 戴柔逸

计算机工程. 2011, 37(9): 51-53,56. https://doi.org/10.3969/j.issn.1000-3428.2011.09.017

摘要 (1263) PDF全文 (2534)

可视化

Baidu(29) CSCD(1)

在研究汽车开放式系统构架(AUTOSAR)通信模块标准的基础上，参照AUTOSAR的软件构架，使用AUTOSAR的方法论设计与实现一个总线通信模块，该模块具有定义完整、接口清晰、功能完备、可靠性强的特点，能够满足未来汽车电子复杂车辆网络的要求。以基于CAN总线的通信系统为例，在飞思卡尔公司MC9S12DG128开发板上实现了该总线通信模块。

Select

“核高基”专题

OSEK操作系统一致性测试用例的生成

李锐, 王三宏, 范德全, 蒋建春

计算机工程. 2011, 37(9): 54-56. https://doi.org/10.3969/j.issn.1000-3428.2011.09.018

摘要 (1522) PDF全文 (1559)

可视化

Baidu(11) CSCD(2)

研究OSEK操作系统的一致性测试需求，提出一种基于分类树的一致性测试用例生成方法。对测试对象进行分类划分，分析分类子集之间的相互关系和制约条件，借助图形化工具精简测试用例的数目。以AutoOSEK的资源管理模块为例进行一致性测试，测试结果验证了该分类树方法的有效性。

Select

“核高基”专题

一种安全操作系统风险评估模型

邓平, 范科峰, 张素兵, 莫玮

计算机工程. 2011, 37(9): 57-58,61. https://doi.org/10.3969/j.issn.1000-3428.2011.09.019

摘要 (1364) PDF全文 (1466)

可视化

Baidu(19) CSCD(2)

针对安全操作系统风险管理难以进行定量评判的问题，提出一种适用于安全操作系统风险等级定量评估的模型。通过引入风险矩阵法，将信息安全风险评估归纳为以专家矩阵、Borda法则和层次分析法为评估流程的风险等级评估模型，实现安全操作系统风险等级的定量评估，增强评估操作系统风险等级的客观性。通过实例应用对评估模型进行验证，结果表明该模型能有效评估出安全操作系统的风险等级。

Select

“核高基”专题

嵌入式操作系统进程监测器的设计与实现

刘道宏, 雷航, 郭文生

计算机工程. 2011, 37(9): 59-61. https://doi.org/10.3969/j.issn.1000-3428.2011.09.020

摘要 (1130) PDF全文 (1382)

可视化

Baidu(1)

为避免嵌入式操作系统的进程受到恶意软件的修改破坏，提出一种适合于嵌入式操作系统的进程监测器。监测器周期性地对系统进程控制块进行检测恢复，通过设置进程检查点为系统提供恢复操作进程，并在Linux上进行实现，给出主要的数据结构和实现过程。实验结果表明，监测器的运行对系统性能影响小，能对系统进程进行有效的检测恢复。

Select

“核高基”专题

符合AUTOSAR规范的底层驱动软件开发

王安军, 蒋建春, 陈培然

计算机工程. 2011, 37(9): 62-64,67. https://doi.org/10.3969/j.issn.1000-3428.2011.09.021

摘要 (1827) PDF全文 (2173)

可视化

Baidu(20) CSCD(1)

为快速高效地开发稳定的符合汽车开放系统架构(AUTOSAR)规范的底层驱动，从底层驱动接口标准、参数配置接口、错误处理机制等方面研究符合AUTOSAR规范的底层驱动设计开发方法，并以CAN驱动的开发为例验证该方法的可行性。测试结果表明，利用该方法开发的驱动程序能有效捕获CAN控制器运行时发生的错误，并抛出相应的异常和激活相应的异常处理程序，从而可降低驱动错误对上层系统稳定性的影响。

专题

选择文件类型/文献管理软件名称

选择包含的内容

模态框（Modal）标题

专题

选择文件类型/文献管理软件名称

选择包含的内容