教学课程资源库 更多>>

关键词： Java虚拟机   动态编译   解释执行   性能优化  

摘要： 云计算和大数据的迅猛发展使得Java的应用更为广泛，同时也对Java的性能提出了更高的要求。传统Java虚拟机的设计已不能满足实际系统的需求。如何提高Java虚拟机的性能已成为现代信息产业亟需解决的关键问题。因此，研究Java虚拟机性能的优化技术具有十分重要的现实意义，已成为现代计算机系统领域研究的热点。\n 动态编译和解释执行是Java虚拟机执行应用程序的两种方式，直接决定了Java虚拟机的性能。本文分别从动态编译和解释执行两方面对Java虚拟机性能优化技术进行了研究，针对动态编译的程序热点识别、动态编译调度和解释器指令分派提出了一系列性能优化技术，并在龙芯平台上进行了验证。本文的主要贡献和创新点如下:\n 1.提出了基于贝叶斯估计的程序热点识别算法。为了提高热点识别的灵活性以及对程序行为的自适应能力，本文设计了以智能阈值为核心的热点识别模型。在此基础上，提出了一种基于贝叶斯估计的程序热点识别算法。其核心思想是:利用方法当前执行次数以及在未来短时间内可以预期的前瞻性执行次数为观测数据，通过贝叶斯估计实现对程序热点的前瞻性识别。该算法可以显著降低热点识别的延迟，从而大幅降低热点方法的编译延迟，有效提升虚拟机的性能。实验表明，该算法使得系统的启动性能平均提升14.6％，最高提升幅度高达61.3％;峰值性能平均提升4.2％，最高提升幅度高达24.0％。\n 2.提出了编译队列监视下的高性能动态编译调度算法。本文深入分析了动态编译行为的主要特征，揭示了动态编译调度的优化目标。在此基础上，提出了编译队列监视下的高性能动态编译调度算法。其核心思想是:通过降低热点方法的排队延迟和运行时开销来提升系统的性能。调度时以程序中方法的重要程度和编译代价为参数计算调度的优先级，既能增强系统的响应能力，又能降低编译队列的平均排队延迟。此外，在调度的同时进行编译队列监视，通过跟踪编译队列中方法的活跃性，以延迟非活跃方法的编译，并且选择性地将部分非活跃方法从编译队列中删除，进一步降低了系统的运行时开销。实验表明，该算法使得系统的启动性能平均提升8.9％，最高提升幅度高达41.8％。\n 3.提出了一种软硬件协同设计的解释器指令分派优化技术。本文对解释器指令分派的开销进行了量化分析，指出对字节码本地指令序列入口地址的获取构成了指令分派的瓶颈。在此基础上，提出了一种软硬件协同设计的指令分派优化技术。其核心思想是:在软件层面，通过对指令分派表进行优化，消除了代价较高的入口地址加载操作;在硬件层面，通过扩展处理器的访存指令，进一步实现了基于硬件支持的访存加速。软硬件协同设计可以最大限度地降低由指令分派引入的运行时开销，从而提升解释执行的效率。实验表明，优化后解释器的平均性能提升11.5％，最高提升幅度为15.4％。\n 上述部分工作已在龙芯平台的Java虚拟机中得到了实际应用。本文提出的一些优化思想和方法对其它虚拟机和应用程序的设计与优化也具有重要的参考意义。

关键词： VRML   Java技术   虚拟场景  

摘要： 在互联网技术、图形技术以及虚拟现实技术发展中,计算机在应用方式上已经创建了新的表现形式。特别是虚拟现实技术在计算机发展领域中已经得到广泛应用。在本文中,利用VRML与JAVA技术实现了良好的应用方法,也体现了更大的创新意义。所以根据两种技术的相关内容和应用模式进行分析,阐述它在虚拟场景中的应用和研究。

关键词： java   平台   单元测试技术  

摘要： 单元测试技术是提升系统平台质量的重要技术,随着我国社会对Java技术的重视程度越来越高,应用程序的稳定性成为了社会各界关注的内容,因此,对单元测试技术进行研究是很多领域重点关注的问题。

关键词： JAVA语言   程序设计  

ISBN: (数字)9787568214445 ISBN: (纸本)7568214443

摘要： 温立辉编写的《Java EE编程技术》共8章，各章节均有完整、详细案例贯穿其中。**章为Jayra EE相关编程技术的入门导论，总述开发环境的搭建与Java EE领域的基础技术。第二章为Struts框架的应用，讲述Strutsl与Struts2的基本使用方法。第三章为Spring框架的应用，重点讲述IoC的依赖注入。第四章为Hibernate框架的使用，讲述通过ORM操纵数据库的过程。第五章为cVS版本管理工具的使用，讲述团队开发过程中版本管理的过程与步骤。第六章为日志模块的使用，介绍Log4j插件的使用方法。第七章为单元测试方法，介绍Junit技术的使用。第八章为设计模式，介绍常用的几种设计模式的用法。

关键词： Java源代码安全检测   静态分析   动态监测   双向污点分析  

摘要： 随着我国软件行业和互联网行业的高速发展,人们对软件安全性的要求越来越高。然而软件开发人员往往缺乏信息安全意识,因此在开发过程中会不自觉地引入很多的安全漏洞。对于大型及中型的程序代码,人工排查是低效、易错的。因此高效准确的软件源代码安全检测工具就显得非常必要且紧迫了。本文提出了静态分析与动态监测相结合的Java源代码缺陷检测·系统,主要工作如下:(1)设计了基于关系数据库的静态分析架构。在开源代码的基础上,将Java源代码转化为关系数据库,并设计规则以关系数据库查询的方式进行静态分析。(2)提出了双向污点分析方法。在静态分析过程中,本文在单向污点分析基础上,又进行了逆向的污点分析,该方法可以提高静态分析的准确率,同时也可以在流不敏感的污点分析过程中获取污点传播路径,本文也提出了穷举递归的污点传播路径计算算法。(3)针对SQL注入漏洞,本文提出了基于静态分析的测试用例构造方法。本文针对SQL注入漏洞设计了测试用例结构,并通过静态分析的结果填充测试用例,生成动态监测的测试用例集合。(4)提出基于静态分析结果的、面向Aspect的动态监测方法。本文利用静态分析结果生成Aspect代码,利用面向Aspect的程序设计技术进行动态监测,该方法简单易实施,且动态监测代码独立于被测源代码,方便监测代码的删除和修改。(5)对webgoat、snipsnap等开源代码进行实际的漏洞检测。实验结果表明,该系统可以对大中型源代码进行检测,且检测的准确率高、误报率低。

关键词： 移动警务系统   JAVA   J2ME  

摘要： 随着通信技术和计算机技术在近些年不断进步,越来越多的行业都在享受其技术的便捷,其中警务办公系统在近些年也广泛利用更先进的技术进行升级,从而有更强大的功能应用在实际,例如很多警务系统已经从之前利用ASP技术开发的系统逐渐升级到功能更强大的JAVA技术,这其中最大的特点就是升级到移动警务系统,使之功能得到了最大程度的体现。本文就以JAVA技术为基础,来设计移动警务系统,主要从系统总体设计和系统安全两大方面进行相关的介绍和演示。

ISBN: (纸本)9787512421455

关键词： PAR   模型驱动   多媒体   本地事务处理   分布式事务处理  

摘要： 当前大数据、云计算、云服务、可信软件和模型驱动软件工程(MDE)等新技术和新概念已经成为计算机和信息领域普遍关注的研究热点。本文指导老师薛锦云主持承担的国家自然科学基金重大国际合作项目“若干软件新技术及其在PAR平台中的实验研究”、基金面上项目“高可靠软件建模语言及模型自动转换方法”的研究目标均是这些热点问题。其中PAR平台中的Apla→Java程序自动生成系统正是这两项国家级课题需要设计实现上述新概念和新技术的主要开发平台。本文的研究目标就是在研发扩充Apla→Java程序生成系统功能时,基于模型驱动的软件工程架构,有效地实现事务处理、异常处理和多媒体数据处理等新技术,使之和原有的Apla—Java程序自动生成系统自然融合。本文首先认真分析研究了事务处理、异常处理和多媒体数据处理的原理、特点和最新Java程序开发平台和支撑工具,提出了和原有建模语言Apla融合的事务处理和异常处理机制,并构建了从Apla事务处理和异常处理模型到Java语言事务处理和异常处理程序的自动转换系统。基于该转换系统可以自动生成本地事务处理和分布式事务处理Java程序,并以两个应用实例进行验证。本文还根据多媒体的大数据特征,探究了将Apla中原有文本数据库处理的简单方法运用于多媒体数据库处理的可能性,获得圆满成功,进而提出和原有文本数据库操作完全融合的多媒体数据操作语言机制,构建了相应多媒体操作构件库,用基于关系代数的文本数据库处理机制,实现了多媒体数据库处理模型到Java多媒体数据库处理系统的自动转换。最后用多个实例验证了该转换系统的正确性和可靠性。本文的主要创新点如下:(1)提出了抽象的事务处理和异常处理的语言机制并将其和Apla语言中的数据库处理机制自然融合,并构建了将自然融合的事务处理抽象程序转换成对应Java程序的系统,使得可以用建模语言Apla便捷地构建十分复杂的本地和分布事务处理应用程序,有利于进行形式化验证。转换系统可以将经过验证的事务处理程序转换成对应的Java程序,大幅度提高了事务处理程序的可靠性和研发效率。这一成果在国际国内均属首创。世界著名计算科学家美国Texas大学Misra教授在他提出的Orc建模语言中十分希望能实现事务处理机制,但至今尚未成功。(2)本文提出的抽象多媒体数据处理语言机制和Apla中基于关系代数的文本处理语言机制自然融合,并构建了将自然融合的语言程序自动转换成对应Java程序的方法和系统,使得可以用Apla语言对多媒体数据便捷地构建十分复杂的多媒体应用程序并对该程序的正确性进行形式化验证。最后可以将经过验证的抽象多媒体应用程序自动转换为具体的多媒体数据处理程序。这一功能和方法国际国内均未见报导。

ISBN: (纸本)9787111547426

ISBN: (纸本)9787115420114