一种高效的完全值编号算法

值编号是一种重要的静态分析技术,广泛应用于优化编译器和程序验证工具。实际应用中的各种值编号算法在检测等值关系上都存在各种局限性。功能更加强大的能够检测全部 Herbrand 等值关系的完全值编号算法工作效率都十分低下而无法实用。我们发现采用静态单赋值形式能够大幅提高完全值编号算法的性能。本文基于 Herbrand 等值关系给出了静态单赋值形式的程序中值编号的一般定义,建立了值编号和 Herbrand 等值关系的对应关系。基于该定义,判断两个表达式之间的 Herbrand 等值关系等价于判断该两个表达式的值编号是否相同。之后给出了用于计算这种值编号的新的完全值编号算法。我们在 GCC 中实现了该算法并利用别名信息使其能够检测访存语句间的等值关系。基于新算法的部分冗余优化比 GCC 中原有算法消除了更多的动态冗余计算。     

一种降低末级高速缓存污染的软件控制插入策略

 现有高速缓存替换算法大多无法有效识别数据的局部性特征,导致高速缓存内即将被访问到的数据可能被未来不会被访问到的数据所替换,造成高速缓存污染问题.末级高速缓存污染引发的性能损失随着处理器和存储器之间性能差距的扩大而不断增大,成为制约系统性能提升的重要瓶颈之一.本文针对末级高速缓存污染问题,在剖视分析访存密集型程序的页一级访存行为基础上,提出一种软件控制末级高速缓存插入策略.本方法通过控制和指导页一级数据插入位置,限制局部性差的数据页在末级高速缓存中的访问空间,达到降低末级高速缓存污染的目的.实验结果表明,相对于LRU和DIP策略,本文方法能够有效降低末级高速缓存失效率,提高程序性能.     

北京市网上审批市级平台建设(下)

3、审批平台的主要功能设计在线服务平台——具有申报用户统一注册、统一登录、统一申报、统一反馈等功能。对申报用户提供了三种注册认证方式:自定义用户名密码方式;系统颁发凭证方式;数字证书认证方式。申报用户提交的申报材料将统一通过在线服务平台接收,并产生一个全市统一的申报号提供给申报用户,以表示此次申报是具有惟一性的申报请求。协同办公平台——依托政府专网搭建,是逻辑上统一、物理上分布的全市电子政务应用基础平台,为各委办局提供信息交换、资源共享和业务调度等服务。它具有申报信息和反馈信息的转发、审批事项办理情况统…     

北京市网上审批市级平台建设(下)

3、审批平台的主要功能设计，在线服务平台——具有申报用户统一注册、统一登录、统一申报、统一反馈等功能。对申报用户提供了三种注册认证方式：自定义用户名密码方式；系统颁发凭证方式；数字证书认证方式。申报用户提交的申报材料将统一通过在线服务平台接收，并产生一个全市统一的申报号提供给申报用户，以表示此次申报是具有惟一性的申报请求。     

电子政务与创建和谐社会首善之区——兼述北京市网上审批系统建设

一、引言 　　电子政务就是政府机构应用现代信息和通信技术,将管理和服务通过网络技术进行集成,在互联网络上实现政府组织结构和工作流程的优化重组,超越时间和空间及部门之间的分隔限制,向社会提供优质、全方位、规范、透明的管理和服务.在信息技术飞速发展的今天,加快电子政务的建设和发展是全世界发展的潮流,也是信息网络技术应用于政府管理的必然趋势.     

使用局部建模的微处理器测试程序自动生成方法

模拟仿真方法是当前微处理器功能验证的主要方法,然而在验证工作后期需要耗费大量的时间来检验余下复杂的功能点,验证收敛速度缓慢.针对该问题,本文在覆盖率增长缓慢时,引入结合模型检验引擎的测试程序生成方法.该方法首先采用局部建模策略为处理器构建抽象设计模型,然后使用模型检验引擎读入该模型并产生测试生成指导规则,最后,随机测试...     

浅谈某血液制品生产车间净化系统GMP改造

按照《药品生产质量管理规范》的要求，结合血液制品生产车间净化系统的技术改造，对净化系统的设计和工程中有关问题作了介绍。     

一种基于值预测和指令复用的按序处理器预执行机制

 为提高按序处理器的性能和能效性,本文提出一种基于值预测和指令复用的预执行机制(PVPIR).与传统预执行方法相比,PVPIR在预执行过程中能够预测失效Load指令的读数据并使用预测值执行与该Load指令数据相关的后续指令,从而对其中的长延时缓存失效提前发起存储访问以提高处理器性能.在退出预执行后,PVPIR通过复用有效的预执行结果来避免重复执行已正确完成的指令,以降低预执行的能耗开销.PVPIR实现了一种结合跨距(Stride)预测和AVD(Address-Value Delta)预测的值预测器,只记录发生过长延时缓存失效的Load指令信息,从而以较小的硬件开销取得较好的值预测效果.实验结果表明,与Runahead-AVD和iEA方法相比,PVPIR将性能分别提升7.5%和9.2%,能耗分别降低11.3%和4.9%,从而使能效性分别提高17.5%和12.9%.     

一种支持H.264High Profile的高效可重构反变换VLSI结构

本文针对H.264 Fidelity Range Extensions(FRExt,High Profile)解码过程中扩展的所有变换,采用二维矩阵分解和基于矩阵运算提取公共因子的操作,利用通用运算单元来设计高效的可重构VLSI结构.该结构不但节省面积(可重构变换结构只消耗了4807门电路),并且具有高性能(采用TSM...     

基于多线索机制的无断流流水

本文基于多线索机制,通过优化译与硬件流水线相结合提出了一种无断流流水机制,并设计了无断流流水线（ＭＴＮＢ－ＰＩＰＥＬＩＮＥ）,该流水线主要通过提前进行线索切换消除控制转移开销,并开发线索间的更大并行性,最后对该流水线进行了性能评价表明流水线可进一步提高加速化。