检索结果-内蒙古大学图书馆

软件学报 2013年第10期24卷 2432-2459页

作者：杜延宁赵银亮韩博李远成西安交通大学电子与信息工程学院陕西西安710049 西安科技大学计算机科学与技术学院陕西西安710054

在对程序进行并行化时,为了保证结果的正确性,并行编译器只能采取一种保守的策略,也就是,如果它不能确定两段代码在并行执行时是否会发生冲突,它就不允许这两段代码并行执行.虽然这种做法保证了正确性,但同时也限制了对并行性的开发.在... 详细信息

在对程序进行并行化时,为了保证结果的正确性,并行编译器只能采取一种保守的策略,也就是,如果它不能确定两段代码在并行执行时是否会发生冲突,它就不允许这两段代码并行执行.虽然这种做法保证了正确性,但同时也限制了对并行性的开发.在这种背景下,许多推测多线程方法被提了出来,这些方法通过允许可能冲突的代码段并行执行来把握更多的并行机会,同时,通过从冲突中恢复来保证结果的正确性.然而,传统推测多线程方法所使用的"沿控制流将串行程序划分为多个线程"的做法并不适合不同数据结构上的操作在控制流中相互交错的情况,因为如果沿控制流将程序线性地划分为多个线程,则同一个数据结构上的操作将被分到不同的线程中,从而非常容易发生冲突.为了有效地对这些程序进行并行化,提出了一种基于数据结构的线程划分方法与执行模型.在这种方法中,程序中的对象被划分成多个组,同一组中对象上的操作被分派到同一个线程中去执行,从而降低了在同一个数据结构上发生冲突的可能性.

关键词：推测多线程并行化数据结构划分方法执行模型

来源：评论

学校读者我要写书评

暂无评论

片上多核处理器容软错误执行模型

引用

计算机学报 2008年第11期31卷 2047-2059页

作者：龚锐戴葵王志英国防科学技术大学计算机学院长沙410073

随着工艺的进步,微处理器将面临越来越严重的软错误威胁.文中提出了两种片上多核处理器容软错误执行模型:双核冗余执行模型DCR和三核冗余执行模型***在两个冗余的内核上以一定的时间间距运行两份相同的线程,store指令只有在进行了结果... 详细信息

随着工艺的进步,微处理器将面临越来越严重的软错误威胁.文中提出了两种片上多核处理器容软错误执行模型:双核冗余执行模型DCR和三核冗余执行模型***在两个冗余的内核上以一定的时间间距运行两份相同的线程,store指令只有在进行了结果比较以后才能提交.每个内核增加了硬件实现的现场保存与恢复机制,以实现对软错误的恢复.文中选择的现场保存点有利于隐藏现场保存带来的时间开销,并且采用了特殊的机制保证恢复执行和原始执行过程中load数据的一致性.TCR执行模型通过在3个不同的内核上运行相同的线程实现对软错误的屏蔽.在检测到软错误以后,TCR可以进行动态重构,屏蔽被软错误破坏的内核.实验结果表明,与传统的软错误恢复执行模型CRTR相比,DCR和TCR对核间通信带宽的需求分别降低了57.5%和54.2%.在检测到软错误的情况下,DCR的恢复执行带来5.2%的性能开销,而TCR的重构带来的性能开销为1.3%.错误注入实验表明,DCR能够恢复99.69%的软错误,而TCR实现了对SEU(Single Event Upset)型故障的全面屏蔽.

关键词：片上多核处理器执行模型软错误恢复软错误屏蔽双核冗余三核冗余

来源：评论

学校读者我要写书评

暂无评论

多遍扫描KeyGraph执行模型

引用

系统工程与电子技术 2009年第10期31卷 2516-2520页

作者：孙晓华刘大昕徐悦竹张健沛哈尔滨工程大学计算机科学与技术学院黑龙江哈尔滨150001 哈尔滨理工大学计算机科学与技术学院黑龙江哈尔滨150080

机会发现是近年人工智能和决策领域提出的一个新的研究课题。通过研究机会发现的关键算法KeyGraph,提出一种新型的多遍扫描执行模型,并提出利用矩阵分解实现KeyGraph的具体计算,对KeyGraph的计算方法进行改进。有效地提高了算法的执行效... 详细信息

机会发现是近年人工智能和决策领域提出的一个新的研究课题。通过研究机会发现的关键算法KeyGraph,提出一种新型的多遍扫描执行模型,并提出利用矩阵分解实现KeyGraph的具体计算,对KeyGraph的计算方法进行改进。有效地提高了算法的执行效率,减少了计算数据量,并降低了时间空间复杂度。

关键词：人工智能机会发现 KeyGraph 执行模型

来源：评论

学校读者我要写书评

暂无评论

一个主动实时数据库管理系统的体系结构与执行模型

引用

小型微型计算机系统 1998年第3期19卷 34-39页

作者：卢炎生刘云生李震宇谢晓东赵栋华中理工大学计算机系武汉430074

本文首先探讨了实时 DB、主动 DB的基本概念 ,然后提出了实时 DB和主动DB的结合机制 ,最后介绍了我们自行研制的一个主动实时 DBMS原型系统 ARTS- 1的体系结构与执行模型。

关键词：实时数据库体系结构执行模型数据库管理系统

来源：评论

学校读者我要写书评

暂无评论

基于CCS执行模型的逻辑式语言POLYLOG的设计与实现

引用

软件学报 1992年第2期3卷 1-8页

作者：徐凯章萃复旦大学计算机科学系上海200433

本文解决了逻辑式程序设计语言中的二个问题:并行执行模型的选择、语言的执行功效与其使用方便灵活之间的权衡,我们提出了对Algorithm=Logic+Control的新理解, 设计并实现了新型逻辑式语言POLYLOG,在POLYLOG中,我们引进了元级控制的概念... 详细信息

本文解决了逻辑式程序设计语言中的二个问题:并行执行模型的选择、语言的执行功效与其使用方便灵活之间的权衡,我们提出了对Algorithm=Logic+Control的新理解, 设计并实现了新型逻辑式语言POLYLOG,在POLYLOG中,我们引进了元级控制的概念,CCS执行模型作为内部隐含的元级控制机制,关系类型作为外部显式的元级控制设施,程序的并行性分析在编译阶段完成。

关键词：逻辑式语言执行模型 POLYLOG语言

来源：评论

学校读者我要写书评

暂无评论

UML-RT到一个实时多任务执行模型的转换

引用

计算机科学 2007年第7期34卷 275-278页

作者：刘晓燕字天文张云生 J-J.Schwarz 李俊昌昆明理工大学信息工程与自动化学院 LIRIS UCB Lyon1IUT A69622 Villeurbanne Cedex France

为解决把UML-RT行为建模模型平滑过渡到实时多任务系统的图形化软构件设计开发环境的过程设计模型中,本文提出了把UML-RT状态图行为模型转换到该环境下的执行模型的方法。首先介绍UML-RT状态图建模的概念及笔者研制的设计环境,其次给出... 详细信息

为解决把UML-RT行为建模模型平滑过渡到实时多任务系统的图形化软构件设计开发环境的过程设计模型中,本文提出了把UML-RT状态图行为模型转换到该环境下的执行模型的方法。首先介绍UML-RT状态图建模的概念及笔者研制的设计环境,其次给出从UML-RT状态图转换到该设计环境可执行模型的具体方法,最后以一个实例说明了转换方法。

关键词： UML-RT 实时系统状态图行为建模执行模型转换方法.

来源：评论

学校读者我要写书评

暂无评论

应用于PLC控制程序的Petri网执行模型

引用

计算机科学 2009年第10期36卷 150-152,159页

作者：孟庆春刘云卿中国科学院力学研究所技术发展部北京100190

在现有的工业控制系统中经常使用PLC实现顺序控制、定时等功能。控制程序经常需要执行同步操作且输入开关量的触发时机具有不确定性,因此无法充分描述真实的执行过程。为此提出下述解决方法:首先在控制程序的编译阶段,使用Petri网建立... 详细信息

在现有的工业控制系统中经常使用PLC实现顺序控制、定时等功能。控制程序经常需要执行同步操作且输入开关量的触发时机具有不确定性,因此无法充分描述真实的执行过程。为此提出下述解决方法:首先在控制程序的编译阶段,使用Petri网建立网模型以表示程序执行逻辑,其次在控制程序的执行阶段,根据程序真实执行状况动态运行上述网模型,当程序运行结束时网模型停止执行,由此判断程序中存在的逻辑错误。

关键词： Petri网 PLC 执行模型抑止弧

来源：评论

学校读者我要写书评

暂无评论

实时多任务执行模型到Windows NT的映射

引用

计算机工程与应用 2008年第8期44卷 110-112,144页

作者：刘晓燕张云生字天文李俊昌昆明理工大学信息自动化学院昆明650093

基于对实时多任务软件的抽象执行体的研究分析以及对Windows NT操作系统的分析,提出了实时多任务执行模型到Windows NT平台下的系统调用及C++语言程序框架的映射规则。给出了实时对象之间的通信原理及映射方法。

关键词：实时多任务执行模型 Windows NT 映射规则

来源：评论

学校读者我要写书评

暂无评论

基于现场保存与恢复的双核冗余执行模型

引用

计算机工程与科学 2009年第8期31卷 82-85,98页

作者：龚锐戴葵王志英国防科技大学计算机学院湖南长沙410073

本文提出了基于现场保存与恢复的双核冗余软错误恢复执行模型DCR。该执行模型在两个冗余的内核上执行相同的线程,并对store指令进行比较。本文对每个内核增加了硬件实现的现场保存与恢复机制,在检测到软错误以后可以恢复到上一现场保存... 详细信息

本文提出了基于现场保存与恢复的双核冗余软错误恢复执行模型DCR。该执行模型在两个冗余的内核上执行相同的线程,并对store指令进行比较。本文对每个内核增加了硬件实现的现场保存与恢复机制,在检测到软错误以后可以恢复到上一现场保存点继续执行。实验结果表明,与传统的软错误恢复执行模型CRTR相比,DCR执行模型对核间通信带宽的需求降低了57.5%。在发生软错误的情况下,DCR能够恢复99.69%的软错误。

关键词：多核执行模型软错误恢复现场保存现场恢复

来源：评论

学校读者我要写书评

暂无评论

一个面向对象的并行执行模型

引用

电子学报 1998年第2期26卷 103-105页

作者：朱根江谢立孙钟秀南京大学计算机科学与技术系国家计算机软件新技术重点实验室

本文提出了一个可挖掘运行时刻并行性的面向对象的并行执行模型ＥＭ，它运用引用分析和路径分析信息来控制信件的收发。实验表明，ＥＭ的效率优于重运行等机制。

关键词：并行编译执行模型引用分析路径分析

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：