基于数据流Java的优化轻量级Web服务器实现

多核处理器环境日益普及,针对此体系结构的应用程序的并行性研究已成为焦点。轻量级Web服务器应用广泛,但传统实现不能充分利用多核优势且编程方法相对复杂。提出一种基于数据流结合虚拟机优化及Java扩展库的解决方案,给出了一种新的Web服务器实现方法。实验结果表明该方法有效提高了Web服务器的处理性能。

Java线程数据流化的实现与研究

多核处理器环境日益普及,针对此体系结构的应用程序的并行性研究已成为焦点。面向对象程序设计语言中通常是用线程来实现应用程序的并行性,但线程间的同步和通信实现起来往往很复杂且不能充分利用多核优势。提出一种基于数据流及Java扩展库的多线程实现解决方案,给出了一种新的多线程编程方法。结果表明该方法不但容易实现且更能充分利用多核优势。

基于数据流的Java字节码分析

本文基于数据流框架理论,提出了如何将数据流分析方法应用于JAVA字节码中,通过建立数据流与半格、数据流和函数调用图的关系,从而对类型信息进行分析。实验表明该数据流分析方法能够对文件中的类型信息进行较精确的分析。

基于JPF的类数据流测试生成技术

通过设置陷阱性质,用时序逻辑公式表示数据流测试的覆盖准则,将测试生成问题简化成模型检测中寻找反例的问题,自动生成满足数据流覆盖准则的类方法测试调用序列,提出了一种适用于类方法调用序列自动生成的搜索算法,并在程序模型检测器JPF上实现。算法分析和实验结果表明,该算法能生成高效的方法调用序列并明显减少测试生成代价。