期刊文献+
共找到19篇文章
< 1 >
每页显示 20 50 100
A General Low-Cost Indirect Branch Prediction Using Target Address Pointers 被引量:2
1
作者 谢子超 佟冬 黄明凯 《Journal of Computer Science & Technology》 SCIE EI CSCD 2014年第6期929-946,共18页
Nowadays energy-efficiency becomes the first design metric in chip development. To pursue higher energy efficiency, the processor architects should reduce or eliminate those unnecessary energy dissipations. Indirect-b... Nowadays energy-efficiency becomes the first design metric in chip development. To pursue higher energy efficiency, the processor architects should reduce or eliminate those unnecessary energy dissipations. Indirect-branch pre- diction has become a performance bottleneck, especially for the applications written in object-oriented languages. Previous hardware-based indirect-branch predictors are generally inefficient, for they either require significant hardware storage or predict indirect-branch targets slowly. In this paper, we propose an energy-efficient indirect-branch prediction technique called TAP (target address pointer) prediction. Its key idea includes two parts: utilizing specific hardware pointers to accelerate the indirect branch prediction flow and reusing the existing processor components to reduce additional hardware costs and power consumption. When fetching an indirect branch, TAP prediction first gets the specific pointers called target address pointers from the conditional branch predictor, and then uses such pointers to generate virtual addresses which index the indirect-branch targets. This technique spends similar time compared to the dedicated storage techniques without requiring additional large amounts of storage. Our evaluation shows that TAP prediction with some representative state-of-the-art branch predictors can improve performance significantly over the baseline processor. Compared with those hardware-based indirect-branch predictors, the TAP-Perceptron scheme achieves performance improvement equivalent to that provided by an 8 K-entry TTC predictor, and also outperforms the VPC predictor. 展开更多
关键词 MICROPROCESSOR indirect-branch prediction ENERGY-EFFICIENT branch target buffer
原文传递
基于QEMU的跨平台静态二进制翻译系统 被引量:6
2
作者 卢帅兵 庞建民 +1 位作者 单征 岳峰 《浙江大学学报(工学版)》 EI CAS CSCD 北大核心 2016年第1期158-165,共8页
为了实现快速映射间接分支目标地址,提出地址索引映射表法,使用地址数组按源地址顺序保存所有对应的目的地址,索引数组存储源地址在地址数组中的索引位置,只需要几条指令就可以完成源地址到目的地址的映射,提高了执行速度.为了加快函数... 为了实现快速映射间接分支目标地址,提出地址索引映射表法,使用地址数组按源地址顺序保存所有对应的目的地址,索引数组存储源地址在地址数组中的索引位置,只需要几条指令就可以完成源地址到目的地址的映射,提高了执行速度.为了加快函数的调用处理,提出将本地栈作为影子栈、与本地库函数封装相结合的方法.本地栈模拟参数传递和返回,加速函数调用.结合封装接口处理参数和返回值,实现间接调用本地库函数,提高了函数处理能力.基于上述方法和QEMU,设计并实现了静态二进制翻译系统SQEMU.基于SPEC2006和nbench测试集,从x86平台翻译到Alpha平台的实验表明,SQEMU相对QEMU平均加速比分别达2.09倍和6.39倍. 展开更多
关键词 二进制翻译 QEMU SQEMU 间接分支 地址索引映射表
下载PDF
提前分支预测结构及算法研究 被引量:2
3
作者 靳文兵 石峰 +1 位作者 左琦 张杨 《计算机研究与发展》 EI CSCD 北大核心 2013年第10期2228-2238,共11页
在理论上,越来越复杂的分支预测算法和更大的存储结构会使分支预测精度不断提高,但当前复杂算法和庞大数据结构所引发的分支预测时延已无法满足流水线单周期运行要求.针对分支预测精度和时延的矛盾,设计提出提前分支预测结构(ahead bran... 在理论上,越来越复杂的分支预测算法和更大的存储结构会使分支预测精度不断提高,但当前复杂算法和庞大数据结构所引发的分支预测时延已无法满足流水线单周期运行要求.针对分支预测精度和时延的矛盾,设计提出提前分支预测结构(ahead branch prediction architecture,ABPA).ABPA为流水线前端取指部件提供简单的分支预测表,以实现快速分支预测;复杂的预测算法和较大的存储结构均被移至流水线后端实现,从而保证了分支预测精度.对于一直难以准确预测的多目标间接分支指令,设计提出基于分支历史和目标路径的间接分支预测算法(indirect branch prediction algorithm based on branch history and target path,BHTP algorithm).提前分支预测算法采用改进的高精度分支预测算法和BHTP算法的混合.嵌入提前分支预测算法的分支预测引擎实现流水线后端的分支推测和目标预测,以及流水线前端的分支预测表更新.实验结果表明:采用ABPA结构和BHTP算法的分支预测系统平均精度达到94.27%.设计不仅实现了快速、高精度分支预测,更为分支预测的深入研究提供了条件. 展开更多
关键词 分支预测 分支推测 分支目标缓存 间接分支指令 指令流水线
下载PDF
一种动态二进制翻译中间接分支目标地址查找算法 被引量:1
4
作者 廖银 姜海涛 +2 位作者 孙广中 靳国杰 陈国良 《小型微型计算机系统》 CSCD 北大核心 2014年第3期520-525,共6页
如何提高性能是动态二进制翻译中的核心研究问题.动态二进制翻译技术以分支指令结尾的基本块是翻译和执行的基本单元,基本块之间的跳转关系由分支指令确定.间接分支的目标地址在运行时才能确定,优化比较困难.已有工作表明间接分支目标... 如何提高性能是动态二进制翻译中的核心研究问题.动态二进制翻译技术以分支指令结尾的基本块是翻译和执行的基本单元,基本块之间的跳转关系由分支指令确定.间接分支的目标地址在运行时才能确定,优化比较困难.已有工作表明间接分支目标地址的处理是影响动态二进制翻译系统性能的重要因素.经过我们的实验分析表明间接分支的目标地址分布具有较好的局部性,在此基础上提出一个带私有缓存的间接分支目标的查找算法,利用私有缓存对间接分支的目标地址进行预测,分支目标良好的局部性带来了高的预测成功率,从而减少了上下文切换的次数,并且使得X86体系结构下SPEC CPU2000 INT测试集程序在龙芯平台上翻译执行时间平均减少了10%-20%. 展开更多
关键词 动态二进制翻译 间接分支 局部性 私有缓存
下载PDF
一种混合型值关联间接跳转预测机制 被引量:1
5
作者 谭明星 刘先华 +2 位作者 张吉豫 佟冬 程旭 《电子学报》 EI CAS CSCD 北大核心 2012年第11期2298-2302,共5页
准确的间接跳转预测对现代处理器的性能和能耗有效性都具有重要意义.本文提出了一种混合型值关联间接跳转预测机制,通过混合使用多种关联信息以降低间接跳转误预测率.该机制一方面依赖于编译器根据高层次数据流信息识别间接跳转指令所... 准确的间接跳转预测对现代处理器的性能和能耗有效性都具有重要意义.本文提出了一种混合型值关联间接跳转预测机制,通过混合使用多种关联信息以降低间接跳转误预测率.该机制一方面依赖于编译器根据高层次数据流信息识别间接跳转指令所对应的初始关联数据值.另一方面,该机制针对间接跳转预测的不同场景分别设计了两类关联信息:单一数据值和值历史,并实现了一种低开销的硬件结构,该硬件结构在运行时刻根据不同应用场景动态选择最佳关联信息引导间接跳转预测.实验结果表明,相对于传统的BTB预测器和最新的VBBI预测器,本文机制能够有效降低误预测率,提高程序性能并降低系统能耗. 展开更多
关键词 转移预测 间接跳转 值关联 混合型预测器
下载PDF
一种面向解释器的间接转移预测技术 被引量:3
6
作者 黄明凯 刘先华 +2 位作者 谭明星 谢子超 程旭 《计算机研究与发展》 EI CSCD 北大核心 2015年第1期66-82,共17页
解释器广泛应用于Java虚拟机、JavaScript执行引擎等托管运行环境中.解释器通常使用间接转移指令实现字节码分派.在现代多发射多级流水的微处理器中,间接转移预测失效严重制约解释器的性能.针对解释器提出了一种字节码指针引导的间接转... 解释器广泛应用于Java虚拟机、JavaScript执行引擎等托管运行环境中.解释器通常使用间接转移指令实现字节码分派.在现代多发射多级流水的微处理器中,间接转移预测失效严重制约解释器的性能.针对解释器提出了一种字节码指针引导的间接转移预测技术,其核心思想是使用解释器特有的字节码指针值区分不同的间接转移场景.该技术使用软硬件协同的方式,解释器中插入专门的引导指令以标记字节码指针,预测器在运行时刻使用字节码指针值预测转移目标地址.实验结果表明,该技术与常用的转移目标缓冲预测器相比,能提升Java解释器的性能达34.7%,能提升JavaScript解释器的性能达8.3%,与专用的硬件间接转移预测器TTC(tagged target cache)相比,也能提升Java解释器的性能达21.9%. 展开更多
关键词 解释器 间接转移预测 软硬件协同 引导指令 字节码指针
下载PDF
一种高效解决间接转移的反馈式静态二进制翻译方法 被引量:3
7
作者 王军 庞建民 +2 位作者 傅立国 岳峰 张家豪 《计算机研究与发展》 EI CSCD 北大核心 2019年第4期742-754,共13页
为了在追求程序执行效率的同时解决静态二进制翻译中的间接转移问题,针对现有间接转移问题处理方法中线性遍历翻译方式代码优化较少、冗余代码较多的缺陷,提出了基于基本块翻译的反馈式静态二进制翻译方法,并结合二级地址映射表实现了... 为了在追求程序执行效率的同时解决静态二进制翻译中的间接转移问题,针对现有间接转移问题处理方法中线性遍历翻译方式代码优化较少、冗余代码较多的缺陷,提出了基于基本块翻译的反馈式静态二进制翻译方法,并结合二级地址映射表实现了间接转移目标地址的快速映射.首先,在目标可执行程序运行过程中添加监控反馈机制解决代码发现问题,对未确定的间接转移地址进行反馈,以便对源程序重新划分基本块并重新翻译执行;然后构造二级地址映射表,借助二级地址映射快速解决代码定位问题.在开源二进制翻译平台QEMU(quick emulator)上实现了反馈式静态二进制翻译框架FD-SQEMU(feedback static QEMU),并基于SPEC2006和NBENCH测试集进行测试,与QEMU相比,FD-SQEMU平均加速比分别达到3.97倍和6.94倍;与课题组之前提出的保存源程序指令全地址的静态SQEMU翻译器相比,FD-SQEMU的平均加速比达到1.18倍,最高加速比达到了1.36倍,验证了提出的框架和方法的有效性. 展开更多
关键词 二进制翻译 静态二进制翻译 间接转移 翻译器QEMU 反馈式翻译框架FD-SQEMU
下载PDF
动态翻译系统中的间接转移关联软件预测算法 被引量:1
8
作者 贾宁 杨春 +1 位作者 佟冬 王克义 《计算机研究与发展》 EI CSCD 北大核心 2014年第3期661-671,共11页
动态翻译系统每执行一次间接转移指令均需进行一次地址转换,该过程是翻译系统性能开销的主要来源之一.无特殊硬件支持的翻译系统常采用软件预测法来降低地址转换开销,而软件预测法的预测准确率较低,制约其对翻译系统整体性能的提升.低... 动态翻译系统每执行一次间接转移指令均需进行一次地址转换,该过程是翻译系统性能开销的主要来源之一.无特殊硬件支持的翻译系统常采用软件预测法来降低地址转换开销,而软件预测法的预测准确率较低,制约其对翻译系统整体性能的提升.低开销关联软件预测算法(low-overhead correlated software prediction,LOCSP)可利用代码副本区分待预测指令的不同转移场景,将到达该指令的多条动态执行路径分离为多个互不重合的代码缓存副本,并为各个副本提供独立的预测链.从而在不增加动态指令数的前提下实现关联预测,显著提升软件预测的预测准确率.同时,LOCSP算法基于动态剖析的结果,仅对部分难预测的热点间接转移指令进行关联软件预测,进一步降低预测开销.实验表明,相比软件预测法,LOCSP算法可将平均预测准确率从58.9%提升至82.2%,将翻译系统的整体性能开销平均降低19.3%,最高降低41.9%,而平均静态代码数量仅增加2.4%. 展开更多
关键词 动态翻译 间接转移 软件预测 代码复制 关联预测
下载PDF
高性能代价比的两层关联间接转移预测器设计 被引量:2
9
作者 袁楠 范东睿 《计算机学报》 EI CSCD 北大核心 2008年第11期1898-1906,共9页
随着面向对象语言程序、动态链接库(DLL)等的普遍应用,间接转移指令的使用越来越频繁.两层关联间接转移预测器预测准确度高,但实现硬件代价较高,因此并不实用.文中深入分析了两层关联间接转移预测器中产生误预测的原因,通过改进索引方... 随着面向对象语言程序、动态链接库(DLL)等的普遍应用,间接转移指令的使用越来越频繁.两层关联间接转移预测器预测准确度高,但实现硬件代价较高,因此并不实用.文中深入分析了两层关联间接转移预测器中产生误预测的原因,通过改进索引方法、压缩存储等实用方法减小硬件实现代价.实验结果表明,通过这些方法的改进,在133K比特硬件存储代价下,使用一组SPEC CPU2000测试程序进行评估,间接转移误预测率为9.6%,仅比两层关联预测器理想误预测率高2.3%,而4路组相联BTB预测器的误预测率为31%. 展开更多
关键词 间接转移 两层预测器 误预测
下载PDF
HIP:一种基于提示值索引的间接转移预测技术 被引量:1
10
作者 谢子超 史秦青 《电子学报》 EI CAS CSCD 北大核心 2012年第8期1523-1531,共9页
随着模块化程序和面向对象语言的发展,间接转移预测已成为影响处理器性能的瓶颈.本文提出了种基于提示值索引的间接转移预测技术(Hint-indexed Indirect-branch Prediction,HIP).该技术将间接转移指令目标地保存在BTB中,每个目标地址使... 随着模块化程序和面向对象语言的发展,间接转移预测已成为影响处理器性能的瓶颈.本文提出了种基于提示值索引的间接转移预测技术(Hint-indexed Indirect-branch Prediction,HIP).该技术将间接转移指令目标地保存在BTB中,每个目标地址使用一个提示值与之对应.HIP技术在进行间接转移预测时,首先使用已有的分支方预测器区分不同的间接转移场景,并获得其中存储的提示值.该提示值与指令地址进行计算,生成一个虚拟地址,用索引存储间接转移目标地址的BTB项.实验表明,该技术可以显著提高性能,而且不需额外的大容量存储结构.与用的基于BTB的结构相比,HIP技术可将基础处理器性能提升20.38%.与已有基于硬件的方法相比,HIP比VPC方性能提高8.66%,并且可以获得与48KB TTC预测器相同的性能提升效果.HIP还可以将处理器能耗平均降14.34%. 展开更多
关键词 微处理器 间接转移预测 高能效
下载PDF
间接转移指令在动态二进制翻译器中的预测方法 被引量:1
11
作者 徐超豪 臧斌宇 《小型微型计算机系统》 CSCD 北大核心 2007年第11期2080-2084,共5页
动态二进制翻译器中间接转移指令的预测优化对其性能至关重要.在研究了动态二进制翻译器的取值信息收集框架后,给出如何在程序运行起始阶段对间接转移指令的目标地址进行取值信息收集的方法,并结合统计原理,提出对目标地址的预测应该结... 动态二进制翻译器中间接转移指令的预测优化对其性能至关重要.在研究了动态二进制翻译器的取值信息收集框架后,给出如何在程序运行起始阶段对间接转移指令的目标地址进行取值信息收集的方法,并结合统计原理,提出对目标地址的预测应该结合取值信息进行区间估计.最后,提出了一个基于取值信息收集分析结果进行目标地址预测的优化决策函数并且通过在动态二进制翻译器"IA-32 Execution Layer"上进行实验验证了该决策函数对于间接转移指令预测的效果,并讨论了其准确性和精确度. 展开更多
关键词 动态二进制翻译 间接转移指令预测 取值信息收集 特殊代码处理优化
下载PDF
动态二进制翻译中间接跳转的热点跟踪及其一致性维护优化
12
作者 张晓春 高翔 +3 位作者 郭崎 刘宏伟 靳国杰 孟小甫 《高技术通讯》 CAS CSCD 北大核心 2014年第5期443-451,共9页
针对动态二进制翻译(DBT)系统对地址转换过程进行一致性维护的基于锁操作的传统方法会在单线程和多线程执行中都造成严重的执行开销的问题,提出了优化一致性维护的机制,通过跟踪热点跳转,在命中率较高的热点跳转的地址转换过程中,避免... 针对动态二进制翻译(DBT)系统对地址转换过程进行一致性维护的基于锁操作的传统方法会在单线程和多线程执行中都造成严重的执行开销的问题,提出了优化一致性维护的机制,通过跟踪热点跳转,在命中率较高的热点跳转的地址转换过程中,避免使用锁操作,仅在检测到并发读写冲突时进行冗余的地址转换。为实现上述检测过程,提出了指令执行时序和地址转换数据的优化设计方法。在基于Godson-3处理器的X86模拟平台上,实验结果显示,优化机制极大地提高了二进制翻译的执行效率,在SPEC CPU2000/2006单线程测试中能够降低平均27.7%(1.8%到58.5%)的执行开销,在NPB多线程测试中能够降低平均18.4%(3.3%到64.6%)的执行开销。 展开更多
关键词 动态二进制翻译(DBT) 间接跳转 多线程 一致性维护 热点跟踪
下载PDF
反馈式编译优化在转移预测中的研究
13
作者 白书敬 李中升 漆锋滨 《计算机工程与应用》 CSCD 北大核心 2006年第2期78-80,共3页
处理器性能的发挥常常受到转移指令的限制,所以转移预测的成功与否对于处理器的性能影响至关重要。反馈式编译优化是一种基于程序当前和以前运行时的趋势来改变程序以后执行动作的技术,能够提供给编译器一些有用的优化信息。本文针对AL... 处理器性能的发挥常常受到转移指令的限制,所以转移预测的成功与否对于处理器的性能影响至关重要。反馈式编译优化是一种基于程序当前和以前运行时的趋势来改变程序以后执行动作的技术,能够提供给编译器一些有用的优化信息。本文针对ALPHA中的结构特点,利用反馈式编译优化技术,提高了ALPHA中的转移预测命中率,实验结果表明,加速比效果较为明显。 展开更多
关键词 反馈式编译优化 转移预测 间接转移
下载PDF
基于CNN的间接分支预测器分析
14
作者 裴清辰 周晶 王永文 《集成电路应用》 2022年第9期9-13,共5页
阐述在CPU分支预测器对间接跳转进行预测时,大量的预测失效往往是由少数指令造成的。传统的分支预测器难以对这些指令进行有效预测。探讨BranchNet预测器,提出了基于CNN的间接跳转指令分支预测器。该预测器使用特定的分支路径数据进行训... 阐述在CPU分支预测器对间接跳转进行预测时,大量的预测失效往往是由少数指令造成的。传统的分支预测器难以对这些指令进行有效预测。探讨BranchNet预测器,提出了基于CNN的间接跳转指令分支预测器。该预测器使用特定的分支路径数据进行训练,从而能针对单一的低准确率指令的进行优化,降低预测失效率。实验结果显示,基于CNN的预测器使预测失效率平均降低了10.2%,预测器准确度有明显提升。 展开更多
关键词 分支预测器 间接分支指令 卷积神经网络 静态预测
下载PDF
SWIP Prediction: Complexity-Effective Indirect-Branch Prediction Using Pointers
15
作者 谢子超 佟冬 +2 位作者 黄明凯 史秦青 程旭 《Journal of Computer Science & Technology》 SCIE EI CSCD 2012年第4期754-768,共15页
Predicting indirect-branch targets has become a performance bottleneck for many applications. Previous high- performance indirect-branch predictors usually require significant hardware storage or additional compiler s... Predicting indirect-branch targets has become a performance bottleneck for many applications. Previous high- performance indirect-branch predictors usually require significant hardware storage or additional compiler support, which increases the complexity of the processor front-end or the compilers. This paper proposes a complexity-effective indirect- branch prediction mechanism, called the Set-Way Index Pointing (SWIP) prediction. It stores multiple indirect-branch targets in different branch target buffer (BTB) entries, whose set indices and way locations are treated as set-way index pointers. These pointers are stored in the existing branch-direction predictor. SWIP prediction reuses the branch direction predictor to provide such pointers, and then accesses the pointed BTB entries for the predicted indirect-branch target. Our evaluation shows that SWIP prediction could achieve attractive performance improvement without requiring large dedicated storage or additional compiler support. It improves the indirect-branch prediction accuracy by 36.5% compared to that of a commonly-used BTB, resulting in average performance improvement of 18.56%. Its energy consumption is also reduced by 14.34% over that of the baseline. 展开更多
关键词 MICROPROCESSOR indirect-branch prediction ENERGY-EFFICIENT branch target buffer
原文传递
线路间接定线方法及精度 被引量:1
16
作者 陆施福 《电力勘测设计》 1999年第4期26-31,共6页
配合修订《500kV架空送电线路勘测技术规定》, 对送电线路间接定线的简单图形和传统的矩形法进行精度分析, 对测角测距精度要求提出了具体指标和一些保证措施, 并简介优化支导线定线的方法。
关键词 间接定线 支导线 作业方法 技术要求
下载PDF
A Hybrid Decoupled Power Flow Method for Balanced Power Distribution Systems
17
作者 Hongbo Sun Daniel Nikovski +2 位作者 Tetsufumi Ohno Tomihiro Takano Yasuhiro Kojima 《Journal of Electronic Science and Technology》 CAS 2012年第1期15-21,共7页
This paper proposes a hybrid decoupled power flow method for balanced power distribution systems with distributed generation sources. The method formulates the power flow equations in active power and reactive power d... This paper proposes a hybrid decoupled power flow method for balanced power distribution systems with distributed generation sources. The method formulates the power flow equations in active power and reactive power decoupled form with polar coordinates. Second-order terms are included in the active power mismatch iteration, and constant Jacobian and Hessian matrices are used. A hybrid direct and indirect solution technique is used to achieve efficiency and robustness of the algorithm. Active power correction is solved by means of a sparse lower triangular and upper triangular (LU) decomposition algorithm with partial pivoting, and the reactive power correction is solved by means of restarted generalized minimal residual algorithm with an incomplete LU pre-conditioner. Typical distribution generation models and distribution load models are included. The impact of zero-impedance branches is explicitly modeled through reconfiguring of the adjacent branches with impedances. Numerical examples on a sample distribution system with widespread photovoltaic installations are given to demonstrate the effectiveness of the proposed method. 展开更多
关键词 Direct method distributed generations distribution systems indirect method power flow zero-impedance branches.
下载PDF
A novel architecture for ahead branch prediction
18
作者 Wenbing JIN Feng SHI +1 位作者 Qiugui SONG Yang ZHANG 《Frontiers of Computer Science》 SCIE EI CSCD 2013年第6期914-923,共10页
In theory, branch predictors with more compli- cated algorithms and larger data structures provide more accurate predictions. Unfortunately, overly large structures and excessively complicated algorithms cannot be imp... In theory, branch predictors with more compli- cated algorithms and larger data structures provide more accurate predictions. Unfortunately, overly large structures and excessively complicated algorithms cannot be implemented because of their long access delay. To date, many strategies have been proposed to balance delay with accuracy, but none has completely solved the issue. The architecture for ahead branch prediction (A2BP) separates traditional pre- dictors into two parts. First is a small table located at the front-end of the pipeline, which makes the prediction brief enough even for some aggressive processors. Second, oper- ations on complicated algorithms and large data structures for accurate predictions are all moved to the back-end of the pipeline. An effective mechanism is introduced for ahead branch prediction in the back-end and small table update in the front. To substantially improve prediction accuracy, an indirect branch prediction algorithm based on branch history and target path (BHTP) is implemented in AZBE Experiments with the standard performance evaluation corpora- tion (SPEC) benchmarks on gem5/SimpleScalar simulators demonstrate that AzBP improves average performance by 2.92% compared with a commonly used branch target bufferbased predictor. In addition, indirect branch misses with the BHTP algorithm are reduced by an average of 28.98% com- pared with the traditional algorithm. 展开更多
关键词 branch prediction branch speculation branch target buffer indirect branch instruction pipeline
原文传递
论以行为为标的的民事执行——以诉前停止侵犯知识产权裁定为基点 被引量:2
19
作者 郭小冬 《法学论坛》 CSSCI 北大核心 2009年第2期140-144,共5页
在解释论上,诉前停止侵犯知识产权的裁定经当事人申请后由作出裁定的审判机构执行,被申请人拒不履行的,适用妨害民事诉讼的强制措施。但是,从立法论的角度,此种裁定应当直接交付执行机构执行,既无需当事人申请,也不宜由审判机构执行。... 在解释论上,诉前停止侵犯知识产权的裁定经当事人申请后由作出裁定的审判机构执行,被申请人拒不履行的,适用妨害民事诉讼的强制措施。但是,从立法论的角度,此种裁定应当直接交付执行机构执行,既无需当事人申请,也不宜由审判机构执行。此种裁定的执行以行为为标的,妨害民事诉讼的强制措施并不能解决司法实践中存在的对行为义务的"执行难"问题。从制度上解决此问题的关键在于对间接执行方式的承认。 展开更多
关键词 依职权执行 审执分立 间接执行
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部