并发Java程序同步操作的有效删除

同步操作是并发Java程序非常大的一部分开销.在现有程序分析方法的基础上,提出了一种精确而有效的冗余同步操作的静态删除方法.该方法分为基本处理和线程间时序分析两个阶段,充分考虑了控制流结构和线程交互时序对同步删除的影响.构造了一个Java编译器JTool,并在其上实现了同步删除算法.对于确定的单线程程序,同步删除率达到100%;对于多线程程序,同步删除率高于现有的分析工具.

一种Web应用服务器集群管理系统的设计与实现

随着计算机的普及和网络技术的发展，Internet上的Web用户爆炸性增长。作为Web应用主要支撑平台的Web应用服务器经常面临过载的问题。Web应用服务器集群技术是解决这一问题的有效手段。然而，集群规模变大导致的集群拓扑结构复杂、计算环境的高度异构以及应用对性能等非功能需求的多样化使得Web应用服务器集群的安装、配置和维护等管理过程难度大大增加。Web应用服务器集群迫切需要改变目前静态、被动的管理方式，而通过自管理方式来降低其管理成本、适应计算环境变化以及应用的个性化非功能需求。 Web应用服务器集群管理主要包括拓扑结构、资源以及负载等方面的管理。本文设计了一个Web应用服务器集群管理系统。针对集群拓扑结构管理，设计了基于广播的集群节点自配置设施，并通过基于Cookie Insertion的请求会话粘滞设计实现了多个负载均衡器的协同工作；针对集群资源管理，设计了基于Java规则引擎的动态资源管理框架，并在此基础上实现了集群规模的动态调整；针对集群负载管理，设计了基于反馈-控制机制的动态负载均衡算法，可根据节点负载动态调整权值，使集群能够适应负载变化。 基于上述设计，本论文在Web应用服务器系统OnceAS中实现了该集群管理系统，包括支持多种通信模式的集群通信组件，拓扑结构管理器，资源管理器，负载均衡器，以及节点管理器，同时提供了相应的管理工具。系统测试结果表明，该系统支持集群拓扑结构、资源和负载的管理，能够更好地适应负载变化，提高Web应用服务器的整体性能表现。

基于素数序列的Java哈希表性能优化

分析了Java哈希表的实现特点并给出了导致其性能恶化的一种数据模式.针对这种数据模式的特点,提出了基于素数序列的哈希表优化方法,从而几乎完全避免了该模式下哈希表的性能恶化.实验与理论结果表明:对提出的模式数据,优化方法产生的Hash碰撞比JDK中的方法下降接近100%,而且对随机数据下的Java哈希表性能也有改善.

一种基于JMX的远程作业管理系统设计与实现

文章提出了一种新型远程作业管理系统框架.该框架基于JMX架构,融合了基于企业权限映射模型的安全机制、JSF（Java Server Face）的可视化框架等多项技术,有效地改进了传统的作业管理系统的可扩展性差、安全机制不足和缺乏统一、完善的系统管理三点不足.并基于该框架实现了国家863项目“远程作业管理系统”,实现了灵活的系统组件动态配置,基于企业权限映射模型的高安全和可视化管理界面,比较了实现系统和传统系统的优点,讨论了其中涉及到的关键技术.

Java程序中数组越界和空指针错误的静态分析

介绍了静态分析的相关背景知识,对Java程序中数组越界和空指针错误的常见表现形式进行了归类,并通过实验评估了现有的Java静态分析工具功能,指出了其在跨过程分析中的不足,并对如何改进进行了讨论.

一种用于APLA→JAVA系统可靠性评估模型

软件可靠性问题是软件测试中的重要难题之一,由于程序语言的复杂性以及被测程序的多样性,一直没有一个好的可靠性模型来评价它.鉴于此,依据软件可靠性工程理论,参考APLA→JAVA系统的特点,提出了一种基于测试的软件可靠性评估模型,讨论了模型的参数评估和置信区间,并给出了模型的评价方案.数据分析表明该模型具有合理性和可行性.

基于AJAX和Server Push的Web树组件设计与实现

树组件[1]的功能简单、界面表现力较差,而且组件效率较低,难以满足复杂的应用需求.基于目前流行的AJAX技术,给出一个具有较强的可扩展性的Web树组件的设计和实现.组件在Web上为用户提供了类似于在Windows资源管理器中对目录树操作的基本功能和用户体验.另外,还采用ServerPush技术对树组件进行了改进,解决了AJAX应用中可能出现的数据不一致的问题.

OnceCluster：一种易扩展WEB应用服务器集群框架的设计与实现

随着Internet的迅速发展，大型的企业信息化系统以及以B2C和C2C等模式为代表的电子商务领域的应用逐渐成为当今软件技术的主流趋势和竞争焦点。在该领域，作为信息系统基础平台的应用服务器面临极大的负载压力，通过应用服务器集群系统来扩展平台的计算能力是目前业界重要的研究课题。 然而，目前广泛适用的应用服务器集群系统尚存在一些不足，一方面，集群架构缺乏静态可扩展性。用户无法根据当前的网络状态和软硬件环境，灵活的配置集群系统所需的底层通讯框架以及负载平衡算法。另一方面，集群系统缺乏动态可扩展性。目前的集群框架无法根据当前负载的大小动态地伸缩规模，在高负载时无法提供足够的计算能力，而在负载低时，会产生空闲节点造成资源浪费。 针对集群系统的动态扩展需求，本文提出了一种易扩展的集群框架：OnceCluster，并针对该框架的设计以及实现过程当中遇到的相关技术问题展开研究和讨论。 首先，本文对当今主流的J2EE应用服务器集群的现状进行了分析，总结几种主要集群架构的特点，并在此基础上提出了一种易扩展的集群架构：OnceCluster。该架构研究主要包括三部分：高效易扩展的负载平衡器，易扩展的集群基础设施，以及集群成员动态扩展机制。 其次，本文分别针对OnceCluster的三个主要组成部分的设计与实现进行阐述。在负载平衡器部分，本文研究了负载平衡器的实现方式和负载平衡算法的设计，分析了影响负载平衡器性能的关键问题，并在此基础之上设计并实现了灵活易插拔的负载平衡器框架，该框架利用XML结构化对象模型和Java虚拟机的运行时动态绑定机制，实现了一个基于的IoC的对象生成机制，并基于该机制实现了组通讯管理模块，负载平衡算法模块和线程池模块。在集群基础设施部分，本文研究了集群系统和应用服务器之间交互关系，集群信息状态同步和失效恢复机制，并设计与实现了一种可灵活替换的集群基础设施通讯框架。在集群成员动态扩展机制部分，本文通过研究了一种分布式的集群成员管理机制，及时侦测集群成员的存活信息及负载状态，自动的启动或关闭集群成员，对集群规模进行动态地伸缩。 论文的研究成果已经应用于中国科学院软件研究所自主研发的基于J2EE规范的应用服务器OnceAS当中，目前，OnceAS已成功用于电子政务，电子商务和ERP系统等领域。

Jeode让Java在嵌入式系统中运转如飞

随着Ｊａｖａ技术在嵌入式系统中的应用，它的缺点不断暴露，针对这种情况，本文介绍了一种能提高Ｊａｖａ性能的嵌入式虚拟机（Ｊｅｏｄｅ），以此来促进嵌入式系统的应用。

JUTA:一个Java自动化单元测试工具

描述了一个Java自动化的单元测试工具JUTA.JUTA首先调用工具Soot解析单个Java方法的源码,并将源码解析成一个控制流图.在此基础上,采用符号执行的方法分析控制流图上的路径.工具能够自动地产生满足覆盖率标准的程序的测试用例.这种方法产生的所有测试用例都是可执行的,并且一般来说具有较小的测试用例数.如果用户能够合理地给出描述程序错误的断言,框架JUTA能够自动地检查源码中部分特定类型的错误.实验结果表明工具对Java单元代码的动态测试和静态测试均能在可接受的时间内给出有效的结果.

用JAVA开发的机器人遥操作系统

基于WEB服务器的机器人控制把传统机器人控制技术和最近数十年兴起的INTERNET技术结合到了一起。由于现在INTERNET技术的普及,这种技术结合消除了传统机器人在普通大众前的神秘感,使机器人的应用层次达到了普通百姓的认识层次。文章着重介绍了如何用Java语言开发遥操作系统。在设计该技术时充分考虑了机器人控制的实用性以及所采用的各种INTERNET通讯技术以满足传统机器人的控制要求。

基于Java RMI的分布式数据库应用系统的实现

Java提供了对象序列化技术，利用此技术把数据对象序列化在网络上传输，从而实现多层分布式数据库应用中数据对象的迁移. Java的RMI 大大增强了Java开发分布式应用的能力，是开发纯Java。的网络分布式应用系统的核心解决方案之一。本文以一个简单的三层分布式应用系统为例，详细介绍利用Java RMI。及对象序列化技术来实现多层分布式数据库应用。

利用Java套接字技术实现分布式数据库间数据传输

分布式数据库是成熟数据库技术与网络技术的产物，是构建新的管理信息系统或重重且已有集中式系统的实用的体系结构。由于其分布性，必须要有数据库之间的数据相互访问与传输。讨论了利用java套接字进行分布式数据库之间数据的传输的实现。

Supporting Dynamic Languages on the Java Virtual Machine

In this note, I propose two extensions to the Java virtual machine (or VM) to allow dynamic languages such as Dylan, Scheme and Smalltalk to be efficiently implemented on the VM. These extensions do not affect the performance of pure Java programs on the machine. The first extension allows for efficient encoding of dynamic data; the second allows for efficient encoding of language-specific computational elements.