3) overlapped execution
重叠执行
1.
First,it compares the results between interleaved computations by shared variables programs and overlapped executions by actual conurrent program.
通过比较共享变量程序的交替计算与实际重叠执行 ,对并发程序的执行过程进行粒度分析———首先提出一种粒度细化、求精方法 ,限制单个原子转换包含的临界事件数目 ;继而引入一种限制临界引用 (LCR)条件 ,进一步限制每一与语句相关的转换至多执行一次临界引用 ;对任一程序 ,通过转换算法将其转化为与之等价的LCR程序 ,且LCR程序的交替计算结果与实际的重叠执行结果是一致
4) execution replay
执行重放
1.
To solve this problem ,a so-called execution replay technology have been devised.
为了解决这个问题,学术界提出了执行重放的方法,找出程序中所有不确定因素,并在一次执行中将它们的表现记录下来,使得这些不确定因素始终按记录中的方式表现。
5) Innovative Executive Ability
创新执行力
6) reforming of execution flow
执行流重整
补充资料：人民法院向执行机关送达取保候审和监视居住的决定书和执行书的职权
人民法院向执行机关送达取保候审和监视居住的决定书和执行书的职权：人民法院决定对被告人取保候审、监视居住，应当在宣布后立即将取保候审决定书、取保候审执行通知书或者监视居住决定书、监视居住执行通知书，送达负责执行的公安机关。第76条
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条