基于DICache的混合线索解释执行技术

由解释执行实现的指令集仿真是解决二进制兼容问题的有效手段。解释执行各步骤的组织方式对解释器性能有着重要影响。集中方式效率较低,而效率较高的线索方式由于译码过程过于复杂而无法用于CISC指令集的解释执行。本文提出了一种基于DICache的混合线索解释执行技术,DICache实现一种高效的硬件动态预译码,将源指令转换为一种中间表示,在解释例程中对DICache快速访问实现对CISC指令集的线索解释执行。本文在一个源为IA-32、目标为VLIW的解释器上,采用SPEC INT2000中的测试程序对基于DICache的混合线索解释执行技术进行评估。结果表明该方法可以显著提高解释器的性能。

算术表达式解释执行器的设计

针对现在应用很普遍的解释程序执行方式，设计了算术表达式解释执行器，能对算术表达式进行词法、语法和语义分析，并执行出正确的结果．该解释执行器可用于制作各种电子表格，在很大程度上增强了软件功能，也可用于组态开发软件CONTROLVIEW中，减少了对用户编程和逻辑数据处理的要求．

基于Prolog的函数语言解释执行

通过介绍一个用逻辑语言Prolog设计的函数语言解释执行器原型,展示结合不同的声明式语言进行软件开发的方法。该法可实现不同语言优势互补,以提高生产效率和软件可靠性。通过函数语言解释执行实例,验证该解释执行器的有效性。

基于Antlr的函数式动态解释执行语言Effect设计与实现

Effect语言是一门风格上类似JavaScript的函数式编程语言,它使用Java实现并可以在JVM上跨平台动态解释执行。为了简化代码编写和程序调试,Effect语言的实现严格遵守函数式编程语言的五大特性。Effect语言通过Antlr实现语法和词法分析,并自定义Java类实现语义分析和解释执行。其编译器实现模块主要包括词法和语法分析、类型系统和类型推导、语义解释、执行调用和语言扩展模块。通过冒泡排序、闭包函数、标注式AOP编程、文件导入等等代码的编写和测试,表明Effect语言在功能性和实用性上有其特有的优势。

执行内容确定之程序展开——以“执行依据”不明的解释及应对为中心

执行依据是执行力主客观内容的证明载体,其是否具有明确性应当在自执行开始前直至执行终结予以依职权审查。一旦产生不明确的情形,为了避免程序反复与浪费,实务中又不可径直裁定驳回申请了之。除明显的笔误可适用补正裁定制度外,实务中应区分两种情境:一是执行内容自身不明,需要执行法官或者诉讼法官加以解释;二是执行内容所附条件的成就情况不明,需要执行法官通过对申请人的举证及听证情况加以调查。在解释调查及其程序救济均未奏效的前提下,则适宜引导当事人选择就争议部分乃至全部请求另行诉讼,且应由诉讼法院对诉之利益作具体判断,由此可为实务应对构建循序渐进的程序体系。

对最新颁布的《有关执行问题的司法解释》的几点评议

执行问题历来是我国民事司法改革的热点关注问题,执行不到位,执行程序不完善都是执行问题的症结。因此,新出台的《司法解释》在《民事修正案》的基础上又对相关规定作出了补充说明,以求能进一步解决当前执行问题的现状。

执行解释浅析

执行解释是指执行法院对执行名义(执行依据)的性质和内容进行判断和解释。执行解释对当事人的利害关系重大，有必要认真探究其基本理论和方法问题，不断总结这方面的经验，进一步搞好执行工作。

面向过程的编译和解释环境在工控组态软件系统中的应用

本文分析了开放式工控组态软件系统的优势和不足,介绍了自定义的Child-C语言编译和解释系统。使用该系统可以较大地增强组态软件系统在流程控制和应急处理方面的能力。同时还引进了事件的概念。文章重点介绍了在解释执行环境中处理二进制可执行代码的一种有效方案。

新执行司法解释对登记机构的启示

不动产登记实务中涉及持生效法律文书提出登记申请的情形不在少数,而针对类型繁杂的生效法律文书,登记从业人员往往难以厘清。针对最高院在2018年年初发布的3个有关执行的司法解释,其所含内容之于登记实务工作多有启示和帮助,尤其是对于涉及执行阶段的生效法律文书是否能够持其单方申请、是否尚需另一方当事人配合以及登记中较少遇到的执行担保登记问题,通过对新的司法解释的学习可以有效厘清思路,帮助实务工作问题的解决。

两种嵌入式PLC执行机制的比较分析与验证

嵌入式PLC根据编程指令的执行方式不同,分为解释型和编译型。解释型PLC在上位机生成中间代码,在执行时采用取指令、解释、执行的方式逐句执行;而编译型PLC在上位机完成指令的编译,下载到下位机的目标代码可直接运行。针对这两种不同的执行机制,从系统结构、编辑系统、运行系统等方面对它们进行了详细的对比分析,并通过测试实验,验证了编译型PLC具有更好的可靠性和高效性。

人民法院执行仲裁裁决的依据探讨——以某仲裁裁决执行问题为视角

根据《仲裁法》及相关司法解释的规定,仲裁裁决由被执行人住所地或者被执行的财产所在地中级人民法院执行。但在仲裁裁决不明确时,法院的执行解释是否可以作为仲裁裁决的执行依据,我国法律尚未做出明确规定。分析实践中出现的仲裁裁决执行依据不明确引发执行争议的原因,可以发现执行解释不能作为仲裁裁决的执行依据。为进一步完善仲裁裁决执行依据,应当强化仲裁队伍建设,提升仲裁文书质量;建立裁执衔接机制,加强执行沟通;完善相关法律法规,明确仲裁执行依据;规范仲裁司法审查,保障当事人的合法权益。

LISP—88解释系统

人工智能学科面对的主要问题是非数值问题的求解,主要任务是完成复杂的推理、决策与规划,这里包含着大量的符号处理与表处理。LISP语言是人工智能研究中常用的一种表处理语言,是人工智能程序设计与理论研究的重要工具。 LISP语言多数情况下是解释执行的,不同类型计算机上配备的LISP语言解释程序通常互不相同。本文介绍在核心为8086/8088的微机系统上研制的LISP—88解释系统。8086/8088微机是现在常见的一类计算机,以IBM—PC为典型代表。

错误执行侵害债权的损害赔偿

在《最高人民法院关于适用民法典侵权责任编若干问题的解释(草案)》是否规定债权侵权责任举棋不定之际,最高人民法院颁布了《涉执行司法赔偿解释》,其中规定了错误执行行为侵害债权的侵权损害赔偿责任的规范。这对于适用《民法典》规定的侵权责任规则保护债权,确认债权是《民法典》侵权责任保护范围、民事审判认定债权侵权责任、债权转移其侵害债权的损害赔偿请求权一并转移以及确定债权侵权损害赔偿责任范围等方面,都具有重要的借鉴价值,对推动债权侵权责任的法律适用具有重要意义。

一种面向嵌入式设备的动态插桩方法

现有动态插桩方法大多基于x86/x64指令集,对嵌入式设备常用的RISC兼容性较差,且在应用嵌入式设备时存在插桩效率低、资源消耗大等问题。文中提出了一种面向嵌入式设备的动态插桩方法DIEB(Dynamic Instrumentation Method for Embedded Physical Devices)。DIEB在嵌入式设备中使用以控制转移指令为探针的探测模式对目标进程进行动态二进制插桩。DIEB提出了一种轻量化的解释执行指令方法,根据指令的运行环境设置指令解释执行区域,并在解释执行区域中解释执行指令获取执行结果。在目标进程动态运行过程中,DIEB通过解释执行用作探针的控制转移指令,获取控制转移指令的目的地址,从而跟踪目标进程的执行流,在软硬件资源紧张的嵌入式设备上高效地进行动态插桩。ARM指令集是一种典型的RISC指令集,测试实验以ARM指令集为验证对象,在NetGear R7000等设备上进行。实验结果表明,经过DIEB插桩的进程可以正常运行,插桩导致的时延远小于基于ptrace的插桩方式,解决了PIN,Dynamorio等现有动态插桩框架难以在嵌入式设备上运行的问题。此外,DIEB具有在多线程环境下稳定运行的能力,可以准确记录并发线程的执行流轨迹。

Java虚拟机技术研究

Java虚拟机技术是一种跨平台的编程语言运行环境,是计算机领域中的重要部分。通过Java虚拟机技术,开发人员可以实现更高效的内存管理和多线程并发操作,提高程序运行的性能和稳定性。文中从Java虚拟机的基本理论出发,通过优化其执行技术,利用S3C2440芯片和Linux系统实现Java虚拟机设计,以期能为跨平台编程语言的发展提供技术支持。

降低协同设计虚拟机启动开销的译码后指令缓存技术

协同设计虚拟机采用动态二进制翻译实现不同体系结构间的二进制兼容,对源指令的翻译和处理影响了协同设计虚拟机的启动性能.研究发现,在一个采用解释执行和翻译相结合的协同设计虚拟机中,处理非热点代码的解释执行是虚拟机启动开销的主要来源.发现了协同设计虚拟机中的解释例程局部性,并提出了一种硬件译码后指令缓存结构DICache(decoded instruction cache),用于存储解释执行过程中译码后的指令信息,开发解释例程的局部性,避免大量重复的译码操作.在一个协同设计虚拟机上对DICache进行评估,采用一组SYSmark 2004 SE商业应用测试程序进行测试.结果表明,DICache可以有效减少重复译码量,将协同设计虚拟机的启动性能平均提高约2.4倍.与相关的优化技术相比,DICache的性能更好,且具有更强的适用性.

基于虚拟控制器的多任务断点调试器设计与实现

随着多任务控制器的出现及算法逻辑的复杂程度逐渐提高,常规的虚拟控制器难以实现多任务模拟,且逻辑调试方法单一,难以保证逻辑的正确性。提出一种多任务断点调试器设计方案,将运算任务抽象为结构实体,并定义运算任务运行状态,通过两级任务控制块控制任务状态转换过程,进而实现多运算任务调度及单步、单页、单指令、自定义断点等调试功能,方便获取逻辑运算过程中的任意断面数据。将多任务断点调试器集成于虚拟控制器中,经功能验证后应用于实际工程调试,提高了算法逻辑质量,降低了现场调试周期和调试成本,确保现场控制的可靠运行。

Java又见新功夫

去年6月份,中科院软件所研究员程虎老师曾在本栏目发表《Java中文用户好伴侣》一文,系统介绍了Java编译技术、虚拟机实现技术和我国开发的中文化“Java伴侣”软件。时隔一年,Java技术又有哪些新进展?本文将从五个方面向读者介绍Java的一些新情况。

VMP虚拟指令逆向分析算法

针对现有虚拟机保护逆向分析集中式解释执行结构不适用于线索式解释执行,且虚拟机字节码序列隐含的控制流表现在解释例程相邻跳转关系上的问题,提出一种基于动态追踪记录和解释例程语义特征的虚拟机保护软件逆向分析算法。以动态二进制逆向调试作为支撑,跟踪记录被虚拟机保护的代码在动态执行过程中的指令执行轨迹信息,对记录的虚拟机动态执行轨迹信息进行聚类分析,识别虚拟机指令的动态解释执行例程,根据解释执行过程的语义特征分析还原动态解释例程的虚拟指令。测试结果表明,该算法能够正确还原虚拟机保护程序的虚拟指令,有效简化虚拟机保护过的程序,降低软件逆向分析难度。

一种面向无线传感网应用重编程的逻辑式编程语言

无线传感网的发展,使其需要具有高效地更新其上运行的应用软件的能力.为了解决这个问题,提出了一种面向无线传感网应用重编程的逻辑式编程语言及其处理系统ReLog.ReLog语言根据无线传感网应用的普遍特点,基于传统逻辑式语言进行扩展,并提供合适的编程抽象,方便程序员高效地构建、修改程序.同时,语言的处理系统使用中间代码将应用程序与系统软件解耦,从而减少应用更新时所需传输的更新代码的规模,提高更新效率.通过一个数据收集应用案例评估了ReLog语言及其执行机制,结果表明:使用ReLog语言能够获得简洁、易修改的程序;同时,语言的执行机制能够显著降低传输应用更新代码的能量和时间开销.