带类型恢复的编译器源源翻译技术

来源 :计算机研究与发展 | 被引量 : 0次 | 上传用户:fanqiefanqie
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
源源翻译是使编译器的分析和优化可重定向的一种重要方式.它被广泛用来支持并行语言扩展或者各种体系结构无关的优化,并且可以帮助程序员进行正确性或者性能的调试.在多核/众核时代,程序分析和优化倾向于让用户更多地参与,这种平台无关而且用户友好的代码生成方式也越来越受到欢迎.在简单的编译器中添加源源翻译的支持很容易,但在实现了复杂的程序分析和激进的优化的编译器中,却很少有编译器提供健壮的源源翻译支持.优化对程序结构的改变是造成翻译困难的首要原因.结合大量出错实例对优化给源源翻译带来的困难进行分析,提出了一套基于类型
其他文献
研究了'能量空洞'现象,基于环模型,通过在网络中添加少量有线长链来缓解能量空洞,延长网络的生命周期.在环C2(环C2是半径为r2和r1的圆形重叠区域)内添加一些与sink直
随着社会经济的发展,消防监督执法工作的重要性日益突出。正确的开展消防监督执法工作,有助于发现火灾隐患,督促相关单位履行消防安全责任,确保社会和谐稳定发展。但是当前消
本文运用泰尔指数和非农业产值比重分别度量产业结构的合理化和高级化,并结合计量经济模型探讨这两个维度对江苏省1991—2014年经济增长的影响。实证结果显示:江苏产业结构的
目的分析小儿泌尿外科肾积水疾病采用出院随访卡的实际效果。方法以我院泌尿外科在2016年1月~2018年1月期间收治的160例肾积水患儿,依据数字随机法分为对照组与观察组各80例,