基于进程代数的并发行为检测模型

针对并发行为难以描述和检测的问题,引入进程代数对系统调用序列进行分析,提出一种描述和检测并发行为的模型。首先通过静态分析二进制码得到系统的控制流程图,并对流程图进行分析生成进程表达式;接着针对并发行为的互斥和同步关系重写表达式,向表达式中添加并发操作;然后通过扩展进程代数的性质和运算法则构造出动作、算子和进程3个基本元素,进而建立了模型;最后给出并发行为检测的方法并对模型的时空效率进行了分析和验证。理论分析和实验表明,所提出的方法具有线性的时间和空间复杂度。

Hadoop远程过程调用机制的分析和应用

为了高效快速的开发和使用Hadoop远程通信功能,对Hadoop远程过程调用(Remote Procedure Call,RPC)机制进行分析,提出独立调用Hadoop RPC实现多客户端并发通信和大数据传输的机制,既继承Hadoop PRC框架,又在通信中增加数据文件传输,并采用线程池模拟多客户线程的测试方案。通过测试发现Hadoop远程过程调用在通信数据负载量和数据传输量的大致范围,测试方案和结论可用于Hadoop RPC应用的配置和开发。

Java调用Oracle存储过程的方法研究

存储过程是指保存在数据库并在数据库端执行的程序.存储过程在概念上类似于程序中的函数.它们获取输入参数,以黑盒模式运行并返回相应信息.与函数不同的是,存储过程由数据库引擎执行,而不是在程序中执行.也就是说,将信息输入到存储过程或从中输出信息都必须通过与数据库交互的技术来完成.使用存储过程,把SQL语句放到Oracle服务器端来执行,具有性能好、代码独立、并发性强、安全性高等优点.在Java程序中访问数据库,一般采用JDBC技术,JDBC是一项在Java中以面向对象的方法来连接数据库的技术,提供了多样化的数据库连接方式.

Linux下预创建线程并发网络服务器的两种实现方法

预创建线程实现并发网络服务器是提高服务器效率、减少系统开销、缩短服务 器响应时间的一种常见技术。本文介绍了使用条件变量和accepl并发调用两种 实现线程预创建的方法。

一种增强型结果集访问关系数据库组件性能的评估

调用级接口(CLI)提供了数据库组件与客户应用程序相关组件整合的服务,通过对本地SQL语句提供支持,CLI使SQL更具有表达性,性能更好。但CLI也缺乏其它一些重要的性能特征,如内存数据的并发性。本文根据JDBC API提出了一种并发型的Result Set(结果集)接口组件,然后对其进行了评价。相同Result Set事例里的几个线程能够以并发方式同时进行交互,并同时连接到低层数据库。本文主要说明2个问题:(1)设计出一款增强型Result Set组件用于并发访问相关数据库;(2)对该组件进行性能评价。实验结果表明,在真实环境下对增强型Result Set组件的性能进行了评测,发现性能最高可提高80%。

UNIX进程控制的内部实现

介绍ＵＮＩＸ进程状态及其相互转换，分析与进程控制有关的主要系统调用，并给出了多进程并发执行的程序实例。

自动化专业远程实验室在线算法设计系统的实现

该文基于已有的远程实验室提出了一种在线算法设计系统的实现方案,系统包含前端浏览器界面、后端服务器程序以及MATLAB程序。首先用户在浏览器中搭建类似Simulink的控制框图,并发送至后端服务器程序。后端程序处理该请求,动态生成Simulink文件,然后使用Simulink Coder工具箱,自动编译生成可执行的控制算法,并将该算法推送至数据库。为了提高并发场景下的响应速度,针对MATLAB不支持多线程编程的不足,提出了多进程和池化技术的弥补方案,实现了多用户的并发访问。该系统在武汉大学控制类课程的实验教学中广泛使用,调查报告显示,该系统满足了学生实验的需要。

面向异构资源集成的数字图像实验平台

针对数字图像处理实验中算法实现语言多样化、跨语言调用难等问题,设计并实现了一个面向异构资源集成的数字图像实验平台。平台预先集成了数字图像处理各种常见的由不同语言编写的算法组件,为接入互联网的任意客户端提供了透明高效、可调用和可扩展的算法组件,同时提供了定制实验流程并能对实验进行集中管理和反馈的Web服务。该虚拟实验室平台界面美观,交互性好,使用简单高效,系统性能优异,跨平台支持,能很好满足高校数字图像课程需求。

基于代数规约的Web服务自动测试执行引擎

随着面向服务计算的迅速发展,Web服务测试扮演着越来越重要的角色,尤其是在Web服务动态发现和组合的过程中,通过对第三方提供的服务进行自动测试已成为一个研究热点。近年来,从Web服务的形式化代数规约自动生成测试用例和自动检验测试结果的正确性等方面的研究都取得了实质性进展。但是,由于Web服务接口的多样性,服务调用方式不一致,如何将测试用例自动地转换成对第三方Web服务的测试性调用请求是一个尚未解决的技术难点,已成为完成Web服务自动测试的主要障碍之一。以现有的研究工作为基础,在分析主流Web服务接口的基础上定义了通用的服务调用机制,提出一个通用的面向Web服务的测试执行引擎框架,以支持包括WSDL/SOAP为基础的Web服务和RESTful Web服务的自动测试执行过程,并将线性测试调用序列并行化,自动生成并发测试脚本,以提高测试执行效率。实验结果表明提出的测试执行引擎框架是可行的,且可高效地自动完成并行化的测试序列。

Go语言在国产CPU平台上应用前景的探索与思考

代表信息新时代的Go语言诞生了,它所具有的高并发性非常适合服务器编程,而其天生的跨平台优势,降低了分布式异构计算平台的开发难度,最终让程序变得简洁、干净、高效。对Go语言在国产平台上的移植进行探索,实测Go语言在龙芯和飞腾两个国产平台的多核调用功能,分析研判结果,得出结论,为未来Go语言在国产平台的发展提供参考。

用户态RPC协议分析及其多线程优化

RPC(Remote Procedure Call)协议有多个版本,分为内核态RPC与用户态RPC两类.开发人员根据设计需求选用合适的RPC版本,很多情况下会涉及跨内核态和用户态的通信.用户态RPC不如内核态RPC完善,缺少多线程机制、RDMA(Remote Direct Memory Access)机制等,需要优化以提高性能.结合此类需求,分析了用户态TI-RPC(Transport Independent Remote Procedure Call)运行机制,提出分层多线程的优化方法;利用TI-RPC底层接口重构RPC端口创建与服务启动;增加线程池机制,使TI-RPC在RPC层实现多线程并发服务.性能对比测试表明RPC内部多线程优化可将网络的利用率提高到网络满带宽的93%.

一种面向分布式系统的行为分析和检测方法

提出了一种基于进程代数的行为分析与检测方法.通过静态分析二进制码获得系统的控制流程图,并将其转换为进程表达式;通过消除表达式不确定性、添加并发操作以及约简归并等方式对表达式进行重写;根据并发规则消除进程表达式中的并发算子,建立分布式系统的行为检测模型,并给出行为检测的方法.理论分析和实验表明:所提出的方法降低了行为分析和检测的复杂度,在控制流分析方面具有较好的精确性.