期刊文献+
共找到12篇文章
< 1 >
每页显示 20 50 100
基于异构感知静态调度与动态线程迁移的异构多核调度机制 被引量:1
1
作者 张苗 张德贤 《计算机应用》 CSCD 北大核心 2011年第7期1808-1810,共3页
异构多核处理器体系结构可以有效减少功效开销,是处理器发展的趋势,负载不平衡问题会造成处理器执行的不稳定。提出一种基于异构感知的静态调度和动态线程迁移相结合的异构多核调度机制,解决了不同核之间的负载平衡问题,提高了吞吐量。... 异构多核处理器体系结构可以有效减少功效开销,是处理器发展的趋势,负载不平衡问题会造成处理器执行的不稳定。提出一种基于异构感知的静态调度和动态线程迁移相结合的异构多核调度机制,解决了不同核之间的负载平衡问题,提高了吞吐量。仿真实验通过将此调度机制与静态调度策略(SS)比较,表明该机制提高了异构多核处理器的性能并保证了执行过程的稳定性。 展开更多
关键词 静态调度 动态线程迁移 异构感知
在线阅读 下载PDF
TCP Server的动态线程POOL技术研究
2
作者 赵荣彩 《计算机科学》 CSCD 北大核心 2002年第8期137-138,111,共3页
一、引言 在传统的Unix系统下,当一进程需要另一实体去完成某一子任务时,它就创建一个子进程进行处理.多年来,在U-nix系统下的大多数支持并行访问的网络Server都是按这种模式设计和运行的,当父进程接受到来自网络的一个Client的连接时,... 一、引言 在传统的Unix系统下,当一进程需要另一实体去完成某一子任务时,它就创建一个子进程进行处理.多年来,在U-nix系统下的大多数支持并行访问的网络Server都是按这种模式设计和运行的,当父进程接受到来自网络的一个Client的连接时,它就fork一个子进程,并由该子进程去处理这个Client的请求.这种方法存在两个问题: 展开更多
关键词 TCPServer 动态线程 POOL 线程 进程 INTERNET 计算机网络 UNIX
在线阅读 下载PDF
基于运动控制器的动态多线程加工策略及其实现 被引量:2
3
作者 冯代伟 黄大贵 黄小刚 《制造技术与机床》 CSCD 北大核心 2009年第2期53-57,共5页
根据数控加工往往是多个独立的机床动作的协调运动的过程,提出了采用动态多线程实现加工过程管理的策略,并着重介绍了多线程加工过程中管理功能C语言的实现,以及多线程间的同步问题。该方法已应用于新型数控弯管机床的开发上,取得了良... 根据数控加工往往是多个独立的机床动作的协调运动的过程,提出了采用动态多线程实现加工过程管理的策略,并着重介绍了多线程加工过程中管理功能C语言的实现,以及多线程间的同步问题。该方法已应用于新型数控弯管机床的开发上,取得了良好的效果。 展开更多
关键词 动态线程 开放式数控 线程同步 运动控制器 数控系统 机床加工
在线阅读 下载PDF
验证带有线程的动态创建和退出的多线程程序 被引量:3
4
作者 王海波 郭宇 陈意云 《小型微型计算机系统》 CSCD 北大核心 2010年第8期1637-1642,共6页
近来在程序验证领域,Feng和Shao提出一个类Hoare逻辑的验证框架以验证包含中断的底层程序.在该工作基础上进行扩展,提出一个验证包含线程的动态创建和退出机制程序的框架.框架包含抽象机器模型、指令规范、逻辑推理系统、框架可靠性定... 近来在程序验证领域,Feng和Shao提出一个类Hoare逻辑的验证框架以验证包含中断的底层程序.在该工作基础上进行扩展,提出一个验证包含线程的动态创建和退出机制程序的框架.框架包含抽象机器模型、指令规范、逻辑推理系统、框架可靠性定理其证明.框架采用Hoare风格的推导方式,使用高阶逻辑描述指令的推理规则和安全策略,为证明带有线程的动态创建和退出的多线程程序的部分正确性提供了一种实用的方法. 展开更多
关键词 程序验证 线程动态创建和退出 线程 汇编代码
在线阅读 下载PDF
32位多线程包处理微引擎的设计 被引量:2
5
作者 周昔平 高德远 +1 位作者 樊晓桠 张盛兵 《小型微型计算机系统》 CSCD 北大核心 2006年第11期2072-2076,共5页
硬件多线程技术是网络处理器中的核心技术.本文介绍了一个专门面向网络协议处理的硬件多线程包处理微引擎NRS05的设计.详细介绍了其流水线的整体结构,提出了一种基于混合多线程的动态调度策略实现了长延时操作的隐藏,保证单线程性能能... 硬件多线程技术是网络处理器中的核心技术.本文介绍了一个专门面向网络协议处理的硬件多线程包处理微引擎NRS05的设计.详细介绍了其流水线的整体结构,提出了一种基于混合多线程的动态调度策略实现了长延时操作的隐藏,保证单线程性能能够满足应用需求的同时保证了各线程在执行核上运行的公平性.并将多线程技术和流水线技术进行了结合,解决了传统处理器中指令间因控制相关导致的流水线停顿问题.最后给出了设计的综合结果及包处理性能. 展开更多
关键词 线程 微引擎 动态线程调度
在线阅读 下载PDF
一种面向非干扰的线程程序逻辑 被引量:1
6
作者 李沁 曾庆凯 袁志祥 《软件学报》 EI CSCD 北大核心 2014年第6期1143-1153,共11页
目前,针对线程信息流的验证研究主要着重于时间信道.然而,由于线程程序中线程控制原语存在函数副作用,对此类原语的不恰当调用亦可引起非法信息流,有意或无意地破坏程序的非干扰属性.因此,提出以验证线程程序信息流为目的依赖逻辑,其可... 目前,针对线程信息流的验证研究主要着重于时间信道.然而,由于线程程序中线程控制原语存在函数副作用,对此类原语的不恰当调用亦可引起非法信息流,有意或无意地破坏程序的非干扰属性.因此,提出以验证线程程序信息流为目的依赖逻辑,其可表达线程程序的数据流、控制流以及线程控制函数的副作用,推理程序变量和线程标识符之间的依赖关系,进而判定是否存在高机密性变量对低机密性变量的干扰. 展开更多
关键词 非干扰 动态作用域线程 公理语义
在线阅读 下载PDF
基于EPIC同时多线程处理器的寄存器堆设计
7
作者 黄彩霞 《计算机工程与科学》 CSCD 北大核心 2009年第10期143-146,共4页
在体现EPIC设计思想的Itanium微处理器中,寄存器堆的管理是通过寄存器堆栈引擎(RSE)技术实现的。EPIC硬件简单,动态同时多线程(DSMT)易于开发线程级并行,针对结合二者优点的EDSMT微体系结构,我们提出一种基于映射表的寄存器堆管理方法—... 在体现EPIC设计思想的Itanium微处理器中,寄存器堆的管理是通过寄存器堆栈引擎(RSE)技术实现的。EPIC硬件简单,动态同时多线程(DSMT)易于开发线程级并行,针对结合二者优点的EDSMT微体系结构,我们提出一种基于映射表的寄存器堆管理方法—MTRSE。该方法兼容Itanium体系结构,支持同时多线程,并提高了寄存器资源使用效率。实验表明,当线程数为3或4时,该方法对于寄存器资源有40%使用效率的提升。 展开更多
关键词 寄存器堆栈引擎RSE 显式并行指令计算EPIC 动态同时多线程DSMT 映射表 寄存器堆栈 寄存器旋转
在线阅读 下载PDF
一种面向服务的事件驱动架构信息集成平台构造方法 被引量:13
8
作者 杨志义 杨刚 张海辉 《计算机研究与发展》 EI CSCD 北大核心 2008年第10期1799-1806,共8页
信息集成方法研究对企业异构复杂应用集成具有重要的学术和应用价值.提出一种面向服务的事件驱动架构SOEDA,可构建灵活的分布式信息集成平台.采用以服务单元形式封装的适配器连接各种异构系统,通过分布式标准消息路由器作为底层平台实... 信息集成方法研究对企业异构复杂应用集成具有重要的学术和应用价值.提出一种面向服务的事件驱动架构SOEDA,可构建灵活的分布式信息集成平台.采用以服务单元形式封装的适配器连接各种异构系统,通过分布式标准消息路由器作为底层平台实现服务单元的注册、发现和通信.层次化体系和模块化设计有助于提高应用系统的敏捷性、互操作和集成能力.服务单元中采用事件驱动和动态线程池技术保障了系统的高效性.引入系统外部负载、线程开销和资源冲突,采用排队论模型对其性能进行评价.实例表明采用该方法构建的SynchroESB平台能够灵活集成企业遗留系统,提供高效可靠服务. 展开更多
关键词 信息集成 面向服务 动态线程 事件驱动 排队网络
在线阅读 下载PDF
内核级并发通信的研究 被引量:3
9
作者 丘志杰 刘心松 +1 位作者 刘丹 刘谐 《电子科技大学学报》 EI CAS CSCD 北大核心 2006年第4期524-527,共4页
提出了一种内核级并发消息通信机制。该机制采用对象传送协议和动态线程池技术,并通过会话控制完成数据的收发过程,将线程池设计为二级阻塞队列来暂缓线程的撤销过程,从而保证既能够快速响应客户请求,又可减少因频繁创建和撤销线程而消... 提出了一种内核级并发消息通信机制。该机制采用对象传送协议和动态线程池技术,并通过会话控制完成数据的收发过程,将线程池设计为二级阻塞队列来暂缓线程的撤销过程,从而保证既能够快速响应客户请求,又可减少因频繁创建和撤销线程而消耗系统的资源和时间,为分布式操作系统提供了高效可靠的通信服务。 展开更多
关键词 并发通信 内核线程 会话 动态线程
在线阅读 下载PDF
基于上下文定界的Fork/Join并行性的并发程序可达性分析
10
作者 钱俊彦 贾书贵 +1 位作者 蔡国永 赵岭忠 《计算机工程与科学》 CSCD 北大核心 2013年第2期1-6,共6页
随着多核技术日益发展,并发程序通过引入Fork/Join并行性,将任务分解为更细粒度的子任务并行执行,从而充分利用多核处理器提供的计算性能。并发执行线程之间的交错可能产生隐匿的程序设计错误,因此有必要对此类并发程序的正确性进行分... 随着多核技术日益发展,并发程序通过引入Fork/Join并行性,将任务分解为更细粒度的子任务并行执行,从而充分利用多核处理器提供的计算性能。并发执行线程之间的交错可能产生隐匿的程序设计错误,因此有必要对此类并发程序的正确性进行分析。上下文定界分析方法是一种检测并发程序中隐匿错误的高效方法,计算线程有限次上下文切换内的可达状态,确定错误状态是否可达。针对Fork/Join并行性的并发程序的可达性分析思想如下:首先,动态并发程序被建模为可模拟线程Fork/Join操作的动态并发下推系统P;然后从P中提取模拟其k-定界执行的并发下推系统Pk。现有的上下文定界可达算法可解决提取后的并发下推系统的k-定界可达性问题。 展开更多
关键词 上下文定界 并发 可达性分析 FORK Join并行性 动态线程创建
在线阅读 下载PDF
基于OpenCL的Viola-Jones人脸检测算法性能优化研究 被引量:14
11
作者 贾海鹏 张云泉 +1 位作者 袁良 李士刚 《计算机学报》 EI CSCD 北大核心 2016年第9期1775-1789,共15页
Viola-Jones人脸检测算法是最为成功的可实用的人脸检测算法之一.然而,随着该算法所在领域数据处理规模的不断扩大,现有算法的性能已经越来越无法满足日益增长的交互性与实时性要求.使用GPU计算平台提升该算法性能,以满足日益增长的实... Viola-Jones人脸检测算法是最为成功的可实用的人脸检测算法之一.然而,随着该算法所在领域数据处理规模的不断扩大,现有算法的性能已经越来越无法满足日益增长的交互性与实时性要求.使用GPU计算平台提升该算法性能,以满足日益增长的实时性要求已经成为研究热点.然而,该算法在对GPU的实现和优化中,存在线程间负载不均衡的非规则特性,如果仅使用传统的优化方法,则难以在GPU计算平台上达到较高性能.针对此种情况,该文构建了针对此类算法的并行优化框架,通过Uberkernel、粗粒度并行、Persistent Thread、线程与数据的动态映射、全局及本地队列等优化方法的应用,突破了负载不均衡非规则特性导致的性能瓶颈,大幅提高了人脸检测算法在GPU计算平台上的性能.同时,该文通过对不同GPU计算平台关键性能参数的定义、抽取和传递,实现了该算法在不同GPU计算平台间的性能移植.实验结果表明,与OpenCV2.4中经过高度优化的CPU版本在Intel Xeon X5550CPU上的性能相比,优化后的算法在AMD HD7970和NVIDIA GTX680两个不同GPU计算平台上分别达到了11.24-20.27和9.24-17.62倍的加速比,不仅实现了高性能,而且实现了在不同GPU计算平台间的性能移植. 展开更多
关键词 OPENCL 负载不均衡 任务队列 线程与任务动态映射 性能移植
在线阅读 下载PDF
Multi-domain modeling and simulation of proportional solenoid valve 被引量:3
12
作者 刘艳芳 戴振坤 +1 位作者 徐向阳 田亮 《Journal of Central South University》 SCIE EI CAS 2011年第5期1589-1594,共6页
A multi-domain nonlinear dynamic model of a proportional solenoid valve was presented.The electro-magnetic,mechanical and fluid subsystems of the valve were investigated,including their interactions.Governing equation... A multi-domain nonlinear dynamic model of a proportional solenoid valve was presented.The electro-magnetic,mechanical and fluid subsystems of the valve were investigated,including their interactions.Governing equations of the valve were derived in the form of nonlinear state equations.By comparing the simulated and measured data,the simulation model is validated with a deviation less than 15%,which can be used for the structural design and control algorithm optimization of proportional solenoid valves. 展开更多
关键词 fluid mechanics proportional solenoid valve dynamic characteristic multi-domain modeling SIMULATION
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部