基于占优关系的MPI并行程序死锁检测

随着高性能技术的发展,MPI并行程序得到了越来越广泛的应用,其可靠性也得到了软件工程界越来越多的关注.一个MPI并行程序有多个并行执行的进程,每个进程包含一系列串行执行语句.死锁是并行程序的一类典型错误,本文提出一种基于占优关系的死锁检测方法.首先,根据通信语句之间的占优关系,得到每个进程内,通信边之间的占优关系;然后,通过判定通信边占优关系是否相互违背,检测程序中的死锁.基于上述思想,开发了基于占优关系的死锁检测原型工具,用于检测多个典型的MPI并行程序.结果表明,本文方法能够检测出程序中的死锁缺陷.     

基于逻辑工作流网的有限无死锁组合

以逻辑工作流网作为描述过程模型的方法,提出了逻辑工作流网的有限组合,以状态转换图来描述工作流网的可达逻辑活动序列。根据死锁的充分条件,提出状态映射用以判断两个工作流网组合后出现的死锁。通过删除进入死锁的逻辑活动序列,提出标准伙伴状态转换图用以表述无死锁组合的活动序列。最后提出判断有限组合是否存在死锁的方法,并用一个简单的电子商务实例说明了方法的有效性。     

LAN环境中的分布式同步方法研究

为了满足LAN网络环境下各节点对于同步精度的要求,提出了一种分布式实时同步方法,该方法基于中间层的同步模型,具有基本的一致性约束和严格的同步误差控制.该方法在初次同步与后续的周期性再同步过程中,通过对进程进行功能划分与合理规划,为各节点提供了快速有效的通信环境.在RT Linux环境下应用该方法对实验节点进行同步,并对实验前后的时钟误差进行测量.结果表明,在小规模的分布式LAN环境下,该方法能够在长时间的运行中实现节点间的同步效果并将时钟误差严格控制在合理的范围内,有效地提升了同步效率,保证了LAN环境的实时性.     

Java停止线程方法探讨

本文阐述了线程的概念及线程的状态,重点研究了在Java中如何正确停止线程,并通过一个实例进行了论证。     

基于远程线程导入API HOOK获取音频数据的原理和实现

本文以常用的Windows音频播放API为例，阐述了基于远程线程导入API HOOK获取音频数据的原理和实现方法，解决了一些常用的通讯软件不能实现通话录音的问题。     

Linux下的多线程编程

介绍了Linux多线程库、几种线程间互斥和同步方法的实现，及多线程程序的基本程序结构。     

三维战场态势显示标绘技术

 为提高三维战场态势显示标绘的图形效率和人机交互性,在总结分析战场态势信息基本理论概念的基础上,通过对显示与标绘两方面的军事需求和OSG/Qt 结合使用的软件架构模式进行分析,提出了程序框架的线程模式优化方法和基于帧缓存对象的离屏纹理烘焙技术的军标符号显示生成算法.设计和实现了三维战场态势显示标绘软件模块,并对模块进行了多种实现方法的比较测试,检查验证了相关技术方案和关键技术对于提高系统绘制效率和人机交互的有效性.     

基于线程的进程交互仿真框架研究

进程交互仿真是一种典型的离散事件仿真策略,可以采用未来事件表和当前事件表以及面向进程例程的方法设计和实现。探讨了采用计算机线程支持面向进程例程的进程交互仿真方法和进程例程的状态转移,设计和实现了一个基于线程的进程交互仿真框架。该框架包含进程、资源管理、仿真调度和数据统计等对象,采用线程池的方法支持实现进程例程的挂起、继续执行操作。最后通过离散事件仿真示例进行了验证。     

基于C/S的RBI专家系统的设计与实现

目前RBI软件因扩展性不足不能满足RBI标准不断更新的需求,它亦不能实现根据实际情况调整风险预测模型,并且在多用户并发进行RBI风险计算时效率低下.针对以上问题,设计并实现了基于C/S的RBI专家系统.该系统以RBI中通用的API581标准为依据构建知识库,采用XML存储知识,使其达到了RBI标准动态更新以及在RBI实施中根据实际情况及时调整风险预测模型的要求.采用层次式知识库结构、应用数据缓存和基于线程池的任务管理器,使系统达到了在多用户并发时具有快速响应能力的目的.     

sFlow网络流量采集器设计与性能控制研究

基于给出的sFlow采集器设计框架,研究了采集器的线程管理和性能监测技术,设计了能适应网络流量变化,并长期稳定工作的采集器.