Matrix编译器If转换算法的实现

1

作者 刘飞 陈跃跃 +1 位作者 孙海燕 阳柳 《计算机科学》 CSCD 北大核心 2013年第4期55-58,77,共5页

指令级并行在提高处理器运行速度方面显得越来越重要,if转换技术是一种在处理器支持条件执行的前提下,有助于提高指令级并行度的编译优化技术。在详细分析GCC(GNU Compiler Collection)内部if转换技术的实现机制和算法的基础上,针对mat... 指令级并行在提高处理器运行速度方面显得越来越重要,if转换技术是一种在处理器支持条件执行的前提下,有助于提高指令级并行度的编译优化技术。在详细分析GCC(GNU Compiler Collection)内部if转换技术的实现机制和算法的基础上,针对matrix体系结构特点,对GCC中现有if转换算法进行了移植与改进,实现了matrix编译器的if转换算法。实验证明,改进后的if转换算法能够更有效地移除分支,减少基本块的数量,扩大单个基本块的范围,有助于编译器生成更加优化的代码。 展开更多

关键词 谓词执行 if转换 条件执行 指令级并行 MATRIX VLIW

下载PDF 职称材料

外交部发言人1998年4月2日答记者问

2

《中华人民共和国国务院公报》 1998年第9期414-415,共2页

问:你对以色列宣布从黎巴嫩南部撤军有何评论?答:我们注意到以色列方面宣布接受联合国安理会425号决议从黎巴嫩南部撤军。中国一贯主张,黎巴嫩的主权和领土完整应该得到尊重,联合国有关中东问题的各项决议应予全面、无条件执行。近来,... 问:你对以色列宣布从黎巴嫩南部撤军有何评论?答:我们注意到以色列方面宣布接受联合国安理会425号决议从黎巴嫩南部撤军。中国一贯主张,黎巴嫩的主权和领土完整应该得到尊重,联合国有关中东问题的各项决议应予全面、无条件执行。近来,中东和平进程再度受到国际社会关注,我们对联合国和其他国家为推动和平进程向前发展所作的努力表示赞赏和支持。中东和谈只要遵循联合国有关决议,并以" 展开更多

关键词 黎巴嫩 以色列 联合国安理会 中东和平进程 中东问题 国际社会 领土完整 条件执行 撤军 中东和谈

下载PDF 职称材料

面向ARM平台的二进制翻译系统标志位优化

3

作者 杜彬 赵瑞珍 李琼 《计算机工程》 CAS CSCD 2014年第10期318-320,F0003,共4页

二进制翻译系统是不同平台之间代码移植的桥梁,而系统性能是制约其应用的主要因素。在二进制翻译中,翻译经过标志位分析处理后的非冗余标志位需要较多的指令,极大影响了系统的性能。针对该问题,提出一种标志位的模式优化方法,在标志位... 二进制翻译系统是不同平台之间代码移植的桥梁,而系统性能是制约其应用的主要因素。在二进制翻译中,翻译经过标志位分析处理后的非冗余标志位需要较多的指令,极大影响了系统的性能。针对该问题,提出一种标志位的模式优化方法,在标志位分析处理基础上,将定值标志位和使用标志位的ARM指令组成固定模式,根据不同的模式用MIPS指令组合翻译达到相同的语义。实验结果表明,利用标志位的模式优化方法可使翻译产生的MIPS代码量减少14%,系统性能平均提高13.7%。 展开更多

关键词 二进制翻译 标志位的模式优化 条件执行 模式头 模式尾

下载PDF 职称材料

基于条件执行切片谱的多错误定位 被引量：12

4

作者 文万志 李必信 +1 位作者 孙小兵 齐珊珊 《计算机研究与发展》 EI CSCD 北大核心 2013年第5期1030-1043,共14页

基于程序谱的错误定位技术由于其较高的定位效率已成为当前软件调试领域研究热点之一.这种技术通常根据测试覆盖信息计算程序语句发生错误的可疑度来进行错误定位.然而,这种技术会随着程序中错误数目的增多效率不断下降.鉴于此,提出了... 基于程序谱的错误定位技术由于其较高的定位效率已成为当前软件调试领域研究热点之一.这种技术通常根据测试覆盖信息计算程序语句发生错误的可疑度来进行错误定位.然而,这种技术会随着程序中错误数目的增多效率不断下降.鉴于此,提出了一种基于条件执行切片谱的多错误定位技术(conditioned execution slicing spectrum-based multiple fault localization,CESS-MFL),以提高多错误定位的效率.CESS-MFL技术首先根据输入变量的谓词条件构建错误相关条件执行切片的谱矩阵,然后依次计算错误相关条件执行切片中的元素(语句或语句块)的可疑度,并生成可疑度报告.实验验证了CESS-MFL技术比当前流行的基于程序谱的Tarantula技术、基于程序切片的Intersection技术、Union技术有更高的多错误定位效率,并且可在有效的时间和空间复杂度内完成. 展开更多

关键词 多错误定位 程序切片谱 程序谱 条件执行切片 软件调试

下载PDF 职称材料

附条件执行名义审查程序体系论 被引量：7

5

作者 廖中洪 何平 《学习论坛》 北大核心 2018年第11期83-90,共8页

附条件执行名义的定位、审查及救济已成为困扰法院执行的重要课题。无论学理研究抑或立法实践，附条件执行名义均存在定位不明、规制缺位的窘境。在考察大陆法系执行要件审查模式的基础上，附条件执行名义应纳入执行要件实体事项审查的... 附条件执行名义的定位、审查及救济已成为困扰法院执行的重要课题。无论学理研究抑或立法实践，附条件执行名义均存在定位不明、规制缺位的窘境。在考察大陆法系执行要件审查模式的基础上，附条件执行名义应纳入执行要件实体事项审查的范畴。在具体模式选择上应摒弃内嵌式的审查模式，转而趋向分离式的审查模式，并以扩充法律文书生效证明制度的机能为切入点，建立以可上诉裁定与债务人异议之诉为主的救济方式。 展开更多

关键词 附条件执行名义 执行要件 审查模式 生效证明

下载PDF 职称材料

自治与强制:民事调解书执行的路径选择——以《法院调解规定》第15条为中心 被引量：2

6

作者 肖建国 张苏平 《中国政法大学学报》 2023年第2期62-73,共12页

民事调解书的内容与效力,均始于自治而通向强制,但二者在特定情形下会呈现出张力,在给付内容实现的过程中相互抵牾,典型的情形就是调解书中民事责任条款的强制执行。以最高法院公报案例为代表的原路径将调解书视为附条件执行依据,将审... 民事调解书的内容与效力,均始于自治而通向强制,但二者在特定情形下会呈现出张力,在给付内容实现的过程中相互抵牾,典型的情形就是调解书中民事责任条款的强制执行。以最高法院公报案例为代表的原路径将调解书视为附条件执行依据,将审查重点置于调解书生效后当事人的违约事实是否存在,认为应由当事人另行起诉取得有既判力的判定。原路径以调解书的既判力为本位,错将债务人的抗辩作为条件,忽视了争议本身并不必然构成就民事责任内容申请执行的障碍,因此偏离了核心问题。新路径自始就以调解书的强制执行效力与目标为本位,认可约定民事责任的实体给付义务性质,将民事责任部分的执行力作为《法院调解规定》第15条两款间的意义关联。无论是否肯定调解书的既判力,都应认可其中的当事人自治因素,民事责任的不确定性实质是为执行承诺保留实体抗辩。 展开更多

关键词 民事调解书 民事责任 附条件执行依据 执行力 执行承诺

原文传递

一种支持DSP条件执行指令的编译框架 被引量：1

7

作者 王凤芹 刘春林 胡定磊 《计算机工程》 CAS CSCD 北大核心 2006年第11期106-108,共3页

为克服条件跳转指令的缺陷,新一代超长指令字(VLIW)体系结构的数字信号处理器(DSP)提供了对条件执行指令的支持。为使得此类指令的优势得以充分发挥,该文设计并实现了一种基于hyperblock区域结构的编译框架。实验结果表明,该框架很好地... 为克服条件跳转指令的缺陷,新一代超长指令字(VLIW)体系结构的数字信号处理器(DSP)提供了对条件执行指令的支持。为使得此类指令的优势得以充分发挥,该文设计并实现了一种基于hyperblock区域结构的编译框架。实验结果表明,该框架很好地提高了指令级并行度(ILP),减少了指令执行时间。 展开更多

关键词 VLIW DSP 条件执行指令 Hyperblock 编译优化 数字信号处理器

下载PDF 职称材料

乐安有个“犟”书记

8

《老友》 2003年第11期30-30,共1页

在乐安县老干部中,议论最多的是他们上任不久的县委副书记吴福才同志。而其中津津乐道的,就是他的"犟"劲儿。"没有困难,要你们这些局长干什么"老干部工作,最难做的恐怕就属解决企业离休干部的"两费"问题... 在乐安县老干部中,议论最多的是他们上任不久的县委副书记吴福才同志。而其中津津乐道的,就是他的"犟"劲儿。"没有困难,要你们这些局长干什么"老干部工作,最难做的恐怕就属解决企业离休干部的"两费"问题了。每年旧岁未除,老干部局的同志就开始心急火燎地找领导,跑单位,求爹爹告奶奶,要求有关部门尽快解决老干部的"两费" 展开更多

关键词 老干部工作 离休干部 副书记 离退休干部 企业 老同志 条件执行 困难 县委 单位

原文传递

受到党政纪处分后如何申诉?

9

《正气》 1998年第7期43-43,共1页

受到党政纪处分后如何申诉？编辑同志：当受到党纪政纪处分以后，个人意见如何申诉？请予答复。临汾黄明黄明同志：首先，被检举、指控的党员、党组织、行政监察对象，经调查确有错误，受到党政纪处分或其他组织处理时，必须执行组织处... 受到党政纪处分后如何申诉？编辑同志：当受到党纪政纪处分以后，个人意见如何申诉？请予答复。临汾黄明黄明同志：首先，被检举、指控的党员、党组织、行政监察对象，经调查确有错误，受到党政纪处分或其他组织处理时，必须执行组织处理决定，不得违反。根据个人服从组织... 展开更多

关键词 行政监察对象 纪检监察机关 何申 组织处理 党组织 提出申诉 尊重和保护 执行决定 条件执行 民主权利

下载PDF 职称材料

行际競赛進行評比

10

作者 張銀 宋英偉 《中国金融》 1956年第17期23-23,共1页

人民銀行遼寧省分行在8月16日到26日按行际競賽片(全省划分为五大市、五小市、遼东、遼南、遼西、遼北六个片)分别召开了今年上半年的行际競賽檢查評比会議。通过檢查和彙报,各行报告了上半年先進工作者运动开展的情况和行际競賽条件执... 人民銀行遼寧省分行在8月16日到26日按行际競賽片(全省划分为五大市、五小市、遼东、遼南、遼西、遼北六个片)分别召开了今年上半年的行际競賽檢查評比会議。通过檢查和彙报,各行报告了上半年先進工作者运动开展的情况和行际競賽条件执行的結果。 展开更多

关键词 工作者 条件执行 上半年 分行 运动 开展 支行 划分 赛中 任务

原文传递

外交部发言人1999年6月29日答记者问

11

《中华人民共和国国务院公报》 1999年第25期1072-1072,共1页

问:以色列上周对黎巴嫩首都贝鲁特进行了大规模空袭,中方对此有何评论?答:我们对以色列轰炸黎巴嫩,造成无辜平民伤亡和财产严重损失表示严重关切,希望有关各方保持克制,避免事态进一步升级。中国政府一贯主张,黎巴嫩的主权和领土完整应... 问:以色列上周对黎巴嫩首都贝鲁特进行了大规模空袭,中方对此有何评论?答:我们对以色列轰炸黎巴嫩,造成无辜平民伤亡和财产严重损失表示严重关切,希望有关各方保持克制,避免事态进一步升级。中国政府一贯主张,黎巴嫩的主权和领土完整应予尊重,以色列应无条件执行安理会425号决议,从黎南部撤军。 展开更多

关键词 以色列 黎巴嫩 平民伤亡 中国政府 贝鲁特 条件执行 领土完整 安理会 大规模 领土主权

下载PDF 职称材料

粮食储备管理要有铁的纪律——陈邦柱部长关于粮食工作一席谈

12

《中国商贸》 1996年第19期27-27,共1页

国家粮油库存数字必须真实可靠,不得虚报 国家专储粮只有国务院才能调用,擅自动用就是违纪犯罪 国家专储调运计划必须无条件执行。

关键词 粮食工作 粮食储备 专储粮 国家储备粮 调运计划 粮食部门 社会主义市场经济 国有粮食企业 条件执行 国务院

下载PDF 职称材料

基于条件分类可执行切片谱的软件缺陷定位 被引量：2

13

作者 邱宝鑫 周维 陈听海 《计算机工程与应用》 CSCD 北大核心 2019年第19期253-262,共10页

基于条件执行切片谱的多错误定位(Multiple Fault Localization based on Conditioned Execution Slicing Spectrum,CESS-MFL)考虑了程序的依赖性,可以一定程度降低程序随着缺陷数的增多而效率降低的问题,但该技术仍受与缺陷无关语句的... 基于条件执行切片谱的多错误定位(Multiple Fault Localization based on Conditioned Execution Slicing Spectrum,CESS-MFL)考虑了程序的依赖性,可以一定程度降低程序随着缺陷数的增多而效率降低的问题,但该技术仍受与缺陷无关语句的影响比较大。因此,提出了一种基于条件分类可执行切片的软件缺陷定位方法(Conditioned Classification Execution Slicing Spectrum-based Software Fault Localization,CCESS-SFL),该技术对CESS-MFL技术中的谓词条件进行了改进并分类。根据谓词条件与缺陷相关执行切片确定条件特征集,根据条件特征集进行分类得到条件分类执行切片谱,计算元素的可疑度,最后生成可疑度报告。CCESS-SFL技术在西门子7个套件中得到了有效的验证,它优于当前流行的Tarantula、Jaccard、Ochiai以及CESS-MFL技术,可以进一步降低与缺陷无关语句的影响。 展开更多

关键词 软件缺陷定位 程序切片谱 条件分类执行切片 可疑度

下载PDF 职称材料

社区矫正的北欧模式 被引量：1

14

作者 高一飞(译) 寇滢滢(译) 《量刑研究》 2020年第1期-,共30页

刑罚制度的"北欧例外论"是福利国家的产物。丹麦、芬兰、挪威和瑞典四国代表了典型的北欧模式,它体现在刑罚体系、量刑原则和量刑时考虑的各种利益平衡上,尤其体现在社区矫正措施替代监禁的发展和应用上。在刑罚体系方面,在... 刑罚制度的"北欧例外论"是福利国家的产物。丹麦、芬兰、挪威和瑞典四国代表了典型的北欧模式,它体现在刑罚体系、量刑原则和量刑时考虑的各种利益平衡上,尤其体现在社区矫正措施替代监禁的发展和应用上。在刑罚体系方面,在丹麦、芬兰和瑞典,最严重的刑罚是无期徒刑。挪威废除了终身监禁,并以21年的最高刑期取代了死刑。作为监禁替代措施的三种社区矫正模式包括附条件不予执行和缓刑(本文第二部分讨论)、社区服务(本文第三部分讨论)和电子监视(本文第四部分讨论)在北欧四国被逐渐引入。实证研究表明,社区矫正替代监禁措施的效果是:降低了监禁适用率、降低了累犯率、节约了刑罚的成本,也具有对犯罪的特殊预防效果,降低了再犯率,能够改善罪犯的经济状况,有效控制毒品滥用,更好地维护家庭关系,使罪犯获得更好的教育和一般福利。但是,社区矫正替代监禁措施是降低还是增加了整体上的社会犯罪率,则没有证据能够说明,社区矫正相对于监禁的替代率和社会整体犯罪率而言彼此独立,似乎没有什么关系。 展开更多

关键词 社区矫正 附条件不予执行 缓刑 社区服务 电子监视

下载PDF 职称材料