一种基于路径优化的推测多线程划分算法

来源 :软件学报 | 被引量 : 0次 | 上传用户:chen406507025
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
推测多线程(speculativemultithreading,简称SpMT)技术是一种实现非规则程序自动并行化的有效途径.然而,基于控制流图和分支预测技术的线程划分方法,不可避免地会受到划分路径上所存在的控制依赖和数据依赖的制约.目前,在传统的线程划分算法中存在的一个重要问题是,在对划分路径进行选取时只考虑了控制依赖影响却不能有效地综合考虑数据依赖的影响,进而导致不能选取最佳的划分路径-因此,针对传统方法中这种依赖评估方法效率低下的问题,设计并实现了一种基于路径优化的线程划分算法.该算法通过引入基于程序
其他文献
目的观察七叶通脉胶囊对脑缺血再灌注动物模型体外血栓、血小板聚集功能、血液流变性的影响。方法选取大鼠240只,随机分为6组:空白组、脑缺血再灌注模型组、阳性对照血塞通胶
目的探讨痛泻安肠方对腹泻型肠易激综合征模型大鼠结肠TRPV1的表达及血清SP、CGRP含量的影响。方法采用冰醋酸灌肠、球囊直肠扩张联合夹尾刺激的方法制备腹泻型肠易激综合征
<正>所谓阅读期待,就是学生通过阅读,慢慢走近人物形象、感知人物形象的过程。在这个过程中,教师可以借助教材的延伸,引领学生在阅读中体悟形象的立体和丰满。课程标准指出:
课前“自主学习任务单”是学生开展自主学习的导航,是顺利实现“翻转课堂”的关键步骤。以译林版《牛津小学英语》2A Unit 7 Here you are为例,阐述了如何有效设计课前“自主学
《品德与生活》的内容非常丰富,但并非适合每一个具体的教育情境,这就需要教师对教材进行“二次开发”,创造性地、个性化地使用教材,以提高教材对具体教育情境的适应性.笔者
1.找准“切入点”,形成阅读“主问题”。  在阅读教学中教师应基于语篇主题和学生实际,找准进入文本的“切入点”,从整体入手,巧妙构建牵引全篇的阅读“主问题”,形成阅读任务链,让学生围绕“主问题、阅读链”展开各种阅读活动,使学生始终是在语篇主题情境的氛围中阅读、理解、内化、运用语篇信息,真正把培养学生的阅读能力放到语篇教学的重要位置,将课堂教学引向以学生课堂思维活动为主的整体性阅读教学。  此外还应
物联网的基本功能是感知物理环境,并根据实时的感知信息和用户的执行需求实现对物理环境的控制.因此,感执模块是物联网软件的核心模块.为最终将软件体系结构应用于物联网软件的开发,在基于物理模型的物联网软件体系结构(physical-model driven software architecture,简称PMDA)研究的基础上,对PMDA中的感执模型SEM进行求精,求精后的感执模型称为R-SEM.R-S
软件库调用规约是一种描述软件库提供函数正确调用顺序的规约.客户代码应按此规约描述的内容调用函数,否则可能引入缺陷,从而降低软件的可信性.由于能够描述可信软件应该满足的性
同步数据流语言近年来在航空、高铁、核电等安全关键领域得到广泛应用.然而,此类语言相关开发工具本身的安全性业已成为被高度关注的安全隐患之一.借助辅助定理证明器实现常规语
面向服务的事务处理是保障业务交互和协作正确性的关键技术。针对跨组织多业务流程,提供了一种支持多业务事务建模与验证的方法。在建模方法上,对Pi-演算扩展了事务语义,将进程