搜索结果: 1-15 共查到“计算机科学技术 编译器”相关记录28条 . 查询时间(0.184 秒)
魂芯DSP的编译器设计与优化
地址寄存器 分簇 向量化 零开销循环
2017/1/6
魂芯DSP是一款字寻址的、分簇结构的、支持SIMD的VLIW处理器.介绍了基于开源编译器基础设施open64开发魂芯编译器的关键技术,包括地址寄存器的优化处理、综合多种启发因子的指令分簇、分簇架构下的寄存器分配和指令调度.介绍了魂芯DSP编译器的体系结构优化关键技术,包括基于依赖分析的向量化、高效指令的使用和零开销循环的识别.并总结开发经验,给出了基于开源编译基础设施开发编译器的若干注意点.
GCC编译器中间代码层控制流扩充研究
GCC 中间层代码 优化 控制流检错算法
2012/3/13
本文首先对CFCSS（控制流检错算法）进行了介绍，对GCC编译器的运行流程进行了简要分析，再次给出了在GCC编译器中扩充CFCSS算法的具体方法，最后通过故障注入实验对扩充后的GCC进行了有效性验证。实验表明，扩充了CFCSS算法的GCC编译器所编译的程序在运行过程中具有控制流检错能力。这为我们下一步的故障定位和故障恢复提供了有力的支持，为解决星载计算机的运行故障奠定了基础。
在静态编译器中实现Java异常机制的算法
Java语言 异常 静态编译
2009/8/20
将Java程序静态编译成可执行程序是使用Java虚拟机动态编译/解释执行Java程序的另一种运行Java程序的方式。针对Java异常机制的特点和静态编译的需求，在介绍Java异常处理逻辑的基础上，提出一种在静态编译器中实现Java异常机制的算法，结合Open64开源编译器，给出该算法的具体步骤以及实现方式，以SPECjvm98为测试集，验证该算法的有效性。
基于即时编译器辅助的并行垃圾收集器
即时编译器 垃圾收集器 显式内存管理
2009/8/19
设计一种基于即时编译器辅助的并行垃圾收集器，在编译阶段利用即时编译器安插显式内存回收指令释放无用对象空间，结合自动和显式内存管理的优点，减轻程序员和垃圾收集器的负担，同时提高内存空间的利用率，支持显式对象回收操作，且可以有效重用这些对象空间，从而提高Java应用程序的执行效率，实验结果表明，该设计方案是可行的。
面向媒体处理器可重定目标编译器的代码生成
代码生成 树模式匹配 可重定目标编译器
2009/8/17
在可重定目标编译器的设计与实现中，RTL中间表示具有内部的树结构表示形式和外部的正文表示形式的特性，使RTL适合作为可重定目标编译器中的中间表示。利用RTL的这种双重特性，提出适用于可重定目标编译器的代码生成技术，通过树模式匹配的方法建立中间表示与机器描述中指令模板的映射关系，实现汇编代码的输出。通过MD32Builder集成环境的构建，证明该技术简单易行。
认证群密钥协商协议编译器的分析与改进
群密钥协商协议 假冒攻击 协议编译器
2009/8/12
认证群密钥协商协议能为群用户产生一个共享的会话密钥，使群用户在公共数据网络中进行安全通信。该文分析证明Abdalla等人的密钥协商协议不能抵抗假冒攻击：某用户的左右邻居在获得与该用户运行群密钥交换协议副本后，可以假冒该用户与其他群成员运行该协议，产生一个新的共享会话密钥，且不会被群中其他成员发现。并针对该协议编译器的缺点进行改进。
SIMD计算机的优化编译器设计
M语言 LS SIMD协处理器 编译器
2009/8/11
利用处理器的相关资源，提高编译器优化性能和增强代码可适应性是SIMD处理器优化编译的关键。该文基于M语言和LS SIMD体系结构，结合现代编译器的编译技术，提出针对SIMD协处理器编译器的优化和实现方法，包括寄存器分配、单值合并、代码压缩等。实验结果表明，编译生成的目标代码准确、高效。
全新PGI9.0编译器简化x64+GPU编程
PGI9.0编译器 x64+GPU编程
2009/8/4
意法半导体全资子公司Portland Group宣布支持 Linux、Mac OS X和Windows三大操作系统的PGI 9.0版高性能并行编译器及开发工具系列产品正式上市。PGI 9.0版编译器是首款在含有英伟达（NVIDIA）CUDA图形处理器（GPU）的基于x64位处理器的Linux系统中支持高级PGI Accelerator编程模型的公开发行版。 在高性能计算技术（HPC）领域，将图形处...
可重定向C编译器中DAG及归约规则
目标机 可重定向编译器 有向无环图
2009/7/30
以在嵌入式系统中建立C编译器的技术特点为主要内容，用设计实例论述了C编译器实现中前端、后端的主要工作内容。说明了在前、后端之间起桥梁作用的中间描述语言有向无环图(DAG)的设计原理及形成方法，同时还就如何将DAG与目标机系统之间形成映射关系进行描述，提出了在映射中规约规则制定的方法和原则，给出了一些有指导意义的经验性结论。
一个出具证明编译器原型系统的实现
验证条件 形式化证明方法 证明生成器
2009/6/30
出具证明编译器是随着人们对现今的软件提出更高的可靠性和安全性要求而产生的工具，它结合了以往程序设计和程序安全性证明的技术。论文介绍了一个出具证明编译器原型系统的实现。
Co-array Fortran编译器的设计与实现
co-array Fortran 映像 源到源转换
2009/5/14
基于GUN Fortran编译器，设计并实现了co-array Fortran(CAF)编译器。通过源到源的转换将CAF代码转换为带有运行库调用的Fortran 90程序。典型用例的测试表明，CAF具有较好的可编程性，且CAF程序通过对数据分布的显式控制可获得比OpenMP程序更为高效的执行性能。
OpenMP并行程序的编译器优化
跨处理器相关 并行区重构 数据相关图
2009/5/8
OpemMP标准以其良好的可移植性和易用性被广泛应用于并行程序设计。该文讨论了OpenMP并行程序的编译器优化算法，在编译过程中通过并行区合并和扩展，实现并行区重构，并在并行区中实现了基于跨处理器相关图的barrier同步优化。分析验证表明，这些优化策略减少了并行区和barrier同步的数目，有效地提高了OpenMP程序的并行性能。
即时编译器中的代码消极生成机制
代码生成器 即时编译器 JVM虚拟机
2009/2/26
提出一种应用于即时编译器中的代码生成优化技术——代码消极生成机制，结合Intel微处理器研究院的XORP虚拟机对该项技术进行了阐述。介绍了XORP中实现的其他轻量级优化算法，并采用EEMBC对不同虚拟机和不同优化进行了科学评估。采用该项技术的XORP虚拟机的运行速度为KVM的15倍以上，超过其他商用高性能虚拟机。
即时编译器中的轻量级指令调度算法
指令调度 即时编译器 Java虚拟机
2009/2/26
介绍了一种为即时编译器和时空受限系统设计的轻量级线性复杂指令调度算法。该算法进行指令调度时，不基于传统的DAG图或表达式树，而是基于一种独创的数据结构扩展关联矩阵，其时间复杂性在最坏情况下也能与全部指令长度构成严格的线性关系，仅占用不到1 KB的内存空间。该算法已被Intel为Xscale设计的高性能J2ME虚拟机XORP采用为即时编辑器中的缺省指令调度算法。
基于ANTLR的NC代码编译器的设计与实现
NC编译器 扩展的巴科斯范式（EBNF） ANTLR
2009/2/20
采用了扩展的巴科斯范式（EBNF）定义NC程序语法规则，提出了一种基于语言识别工具（ANTLR）的NC代码编译器的设计模型。该模型采用Java语言开发，具有良好的平台无关性；分别从词法分析、语法和语义分析、信息提取等方面进行编译器的设计与实现。实际运行结果表明：该模型能够高效地构建编译器原型;可快速、准确地对NC代码进行编译;具有良好的可扩展性。