一种应用敏感的Web服务请求调度策略

在当前企业级Web服务应用中,性能问题一直是人们关注的重点．然而作为支撑Web服务应用的主流平台,Web应用服务器对请求的调度仍然是传统的先来先服务策略(FCFS)．这种策略无法区分请求的重要性,降低了关键请求的性能．以往的研究较少从应用的性能需求出发考虑服务器的请求调度机制,影响了服务器性能保障的效果．对此,提出了应用敏感的Web服务请求调度策略(AWSRS),使用应用获益来评估服务器为应用提供的性能保障效果．服务器将请求按照应用的需求进行分类,并按照应用获益最大化的目标为不同类型的请求分配资源．实验表明AWSRS策略能够有效提高关键请求的性能．

Web服务事务的研究综述

Web服务的出现对分布式事务提出了新的需求,为了保证多个Web服务交互获得正确的执行和一致性的结果,有必要为Web服务提供事务机制。但是Web服务具有松散耦合性、运行时间长等特点,这使得传统的事务处理技术在处理Web服务事务时显得力不从心。本文对Web服务事务的关键问题进行了阐述,包括Web复合框架的事务性支持、Web服务事务规范以及扩展事务模型等方面的研究内容,并指出了目前研究的不足以及未来的发展趋势。

程序性质的描述及证明

XYZ/E是一种基于Manna-Pnueli线性时序逻辑的线性时序逻辑语青(LTLL),其主要特征为它在统一的时序逻辑框架下既能表示程序的静态规范(XYZ/AE)也能表示可执行代码(XYZ/EE),因此程序规范和程序可执行代码的语义一致性也就得以在时序逻辑框架下验证。对于顺序程序,XYZ系统提供了一套基于Hoare逻辑规则的验证工具XYZ/VERI。

一种基于性能模型的中间件自配置框架

高动态的计算环境使得QoS(qualicy of service)保障对于基于组件的分布式系统越来越重要,软件系统需要具备自我调整的能力以适应外部环境的变化.给出一种自适应的中间件配置框架,能够动态感知负载变化,并自动调整系统参数配置以保持用户所要求的服务质量.该框架的核心是一个基于分层排队网络的性能预测模型,用于指导搜索最优的资源配置,使性能需求得到最大的满足.在OnceAS应用服务器上进行原型实现,并以StockOnline应用做实验,比较了在使用和不使用该框架时的性能需求的满足情况.结果显示,在负载增加时,通过自配置框架的调控,应用性能需求的保障程度得到了较大的提升.

实体Bean容器管理持久化研究与实现

实体Bean是一种重要的J2EE应用组件,具有持久保存状态的特性。实体Bean容器是实体Bean的运行环境,持久化管理器是其中具体负责持久化的组件。本文研究了以关系数据库作为存储介质实现容器管理持久化的理论,提出了一种灵活高效的实现方法。该持久化管理器通过静态映射模型创建持久化方案,并创建动态模型以响应客户请求。在实体Bean容器并发访问控制机制的帮助下,该持久化管理器能够保证实体Bean高效可靠的运行。该持久化管理器和容器已经在中科院软件所自主研制的J2EE应用服务器OnceAS中得到实现。

Web应用服务器中WebService引擎的设计与实现

Web Service为程序之间的交互提供了基础,实现了独立于程序设计语言的一致化编程模型,并以通用的方法进行应用程序集成。分析了Web应用服务器实现Web Service的关键需求,阐述了在应用服务器中基于SOAP的Web Service引擎的设计与实现,介绍了实现Web Service引擎的若干关键技术和解决办法。Web Service引擎已在自主研发的OnceAS应用服务器中实现。

J2EE资源集成的性能优化研究

J2EE应用服务器基于JCA规范为企业资源系统提供了一个统一的资源集成解决方案。在JCA框架下,应用服务器提供连接管理、事务管理及安全管理等服务,这些服务是影响系统性能的重要因素。本文主要研究了应用服务器端在支持资源集成中与性能相关的几个关键问题,包括连接池管理和事务管理,提出了行之有效的优化策略。本文的工作已经应用到中科院软件所自主开发的J2EE应用服务器OnceAS中,取得了很好的效果。