多线程Java程序安全行为模型的静态检查方法

多线程作为支持程序结构化和并行化的重要机制,其应用越来越广泛,多线程应用程序的安全性也成为新的研究热点之一.针对Java多线程程序,文中采用参数化扩展上下文无关文法作为其安全相关行为模型的抽象表示,给出了从多线程Java程序自动生成安全相关行为模型的方法,形式地描述了静态检查该模型是否满足安全策略的实现,并应用到携带模型代码方法的实现框架中.该方法为安全执行非信任多线程Java移动代码提供了有效支持.     

电力信息系统软件代码漏洞检测系统的设计与实现

电力信息系统软件代码的自身安全对整个电力信息系统的安全性、稳定性以及可靠性有着举足轻重的影响。为了提高电力信息系统软件代码的安全水平，设计并实现了一套代码漏洞静态检测系统。该系统以代码静态分析技术为基础，支持漏洞检测规则定制、漏洞检测算法与检测引擎扩展以及多线程技术，并通过Java语言编程实现。系统测试结果表明，该系统能够准确、有效地检测出测试程序中的安全漏洞，验证了系统的有效性。     

Java多线程机制在FTP服务器程序中的应用

多线程机制使程序具有更好的交互性。Java程序设计语言将多线程支持与语言运行环境结合在一起,使多线程应用程序的开发变得更加容易。本文在分析FTP协议及其安全机制的基础上,使用Java多线程机制开发了一个FTP服务器原型系统,说明了其实现模型及主要方法函数的功能。     

基于Java内存模型的并发程序模型检测

为了提高性能,Java内存模型允许编译器在优化过程中改变代码的执行顺序,同时该技术也会造成共享数据的更新顺序与本来的执行顺序不同。在多线程Java并发程序中,这些代码乱序执行会引起很多难以发现的错误。现有的Java程序模型检测技术并没有考虑这些顺序改变的问题。因此,本文提出了一种建立包含多线程交互及线程内代码乱序执行的完整模型,并利用模型检测工具进行穷举检测的算法。该算法可以发现原有技术无法发现的新问题,更好地检测高可靠性要求的Java并发程序。     

一种用于硬Java实时平台的非堆内存模型

针对Java实时规范中的非堆内存抽象,讨论实现中的不确定因素以及运行时不可预测的时间特性,提出并实现了一种用于硬Java实时平台的非堆内存模型.模型基于硬Java实时平台预处理机制的支持,采用一种基于静态约束的安全访问检查算法,将运行时单亲规则及赋值规则检查等影响系统实时性的操作在运行前完成,保证了运行时的可预测.同时,针对当前关于静态分析方法研究中多不支持作用域多线程共享的现状,模型在不改变实时Java句法及编程模式的前提下,保留了对作用域多线程共享的支持.     

基于Java平台实现安全行为模型验证

非信任代码的安全执行是移动代码安全的重要问题之一。携带模型代码方法同时从移动代码的生产者和使用者的角度考虑,为安全执行非信任代码提供了一个系统、全面且有效的解决方案。该方法主要包括安全策略的定义、安全行为模型的生成,以及其验证和安全策略的强制实施。针对已被广泛使用的Java平台,在深入分析其基于访问控制的安全体系结构的基础上,通过对Java核心类的修改和扩展,提出了一种能增加新的安全策略,以及实现MCC方法中安全行为模型验证的方法,为提高Java安全策略的描述能力,以及基于于Java平台实现MCC方法,确保更全面的安全机制提供了可行的途径。     

Java多线程编程中数据安全的应用研究

通过分析Java多线程并发机制的基本特征,着重针对Java多线程程序中的数据安全问题作深入探讨研究．指出在利用Java多线程技术进行实际编程过程中容易出现的数据安全问题以及相应解决方法．并结合实例说明数据安全在Java多线程编程中的具体实现。     

Web项目中Java多线程的使用

介绍了Java平台下多线程程序的使用,并以开发Java-Web应用为例,探讨了多线程程序的开发过程,同时提供了重要的样例代码,对相关的项目实践有一定的实用价值和借鉴意义。     

利用Java的多线程技术实现并行多任务的管理

多线程是编程社会中一个相当新的结构,它非常强大,可以提高程序的运行效率。Java虚拟机允许一个应用程序同时运行多个线程,Java编程环境和Runtime库最关键的一个特征就是多线程结构,并且Java是第一个在语言的核心中支持线程的编程语言。利用多线程编程技术,可以在Java中方便地实现任务的并行处理。限于篇幅,本文对于Java中与线程有关的类和接口的构造器和方法没有深入地讨论,演示程序中所有代码都有详尽的注释。     

Java多线程编程技术的研究

Java语言实现了在语言级对多线程技术的支持.多线程技术不仅能提高系统资源的利用率,而且还能提高程序的交互性能和实时控制性能.本文阐述了Java语言实现多线程的方法,分析了多线程并发执行所引起的冲突问题、Java提供的同步机制和多线程的管理策略.     

基于JNI和C+〖KG-*3〗+的Intel集成众核并行方法

针对当前Intel集成众核协处理器（MIC）只能使用C/C+〖KG-*3〗+/Fortran编程语言进行并行计算,不能对已有的Java程序提供高性能计算支持的问题,提出基于Java Native Interface(JNI)技术和C+〖KG-*3〗+的MIC混合并行计算方法。该方法基于JNI设计Java代码与C+〖KG-*3〗+代码的数据交换机制,使MIC协处理器强大的浮点计算能力加速Java应用程序成为可能。通过实验测试分析基于MIC多线程并行的Java程序计算性能效果,结果表明该方法能有效利用MIC协处理器,对Java程序的计算性能提升显著。     

基于混合并发模式的Dalvik虚拟机性能优化

为了改进Dalvik虚拟机的性能,提出了一种基于多线程调度机制的Java虚拟机混合并发模式。该模式利用多线程并发调度和热方法表,通过将Java字节码的编译与执行过程相重叠来提高程序的执行效率,进而提升Dalvik虚拟机的处理速度;并对该模式设计与实现的关键技术进行了分析。实验结果表明,混合并发模式能够有效地提高Dalvik虚拟机中Java程序的执行速度。     

一种新的Java存储模型L-JMM

Java存储模型是Java语言和Java虚拟机研究中的核心关键部分,目前Java语言规范中的存储模型不能保证Java技术所必需的语义特性,而且不利于Java虚拟机的性能优化.提出了一种新的Java存储模型,该模型取消了规范中Java存储模型中对存储密致性的要求,保证了Location一致性;同时根据Java语义的要求,对Java语言中不同类型的变量详细规定了多线程存储操作的行为规则.该模型不仅能保证Java程序的正确性,同时能有效提高Java程序的运行效率.最后通过仿真实验验证了该存储模型的关键特性.     

Java的多线程技术探讨

本文以Java的多线程为研究对象,阐述了Java线程的同步机制、模型及调度,讨论了Java在语言级对多线程的支持,并对Java环境下多线程程序的开发及应用进行了较深入的探讨。     

处理动态行为描述的MDA模型转换技术

模型驱动体系结构MDA(Model Driven Architecture)是OMG组织为解决不同中间件平台间的集成问题而提出的一种开放的、供应商中立的软件开发方法。在MDA框架中,开发者首先构建平台无关模型PIM(Platform Independent Model),然后根据到特定平台或实现语言的映射规则/方法,从平台无关模型转换生成平台相关模型PSM(Platform Specific Model),最终生成应用程序代码。采用了UML类图在平台无关层来描述模型的静态结构,并使用动作语言对模型的动态行为进行描述;选择Java EE作为目标平台,制定出相应的转换规则,实现了从动态行为描述到目标代码的转换。使用这样的方法得到的PSM只需要很少的后期处理就可以在平台上直接运行。研究工作较好地解决了当前大部分MDA模型转换工具不能处理动态行为模型转换的问题。     

如何在Java中实现多线程

阐述了线程的基本概念,以及在Java中实现多线程的方法,最后给出一个在Java程序中实现多线程的一个实例.     

基于Java多线程的HTTP代理服务器的研究与实现

多线程机制使程序具有更好的交互性。而代理服务器可增强网络的安全性。本文在分析HTTP协议与代理服务器基本原理的基础上,用Java多线程机制开发了一个HTTP代理服务器原型系统．说明了其实现模型及主要方法函数的功能。     

生产者／消费者经典同步问题的深入探究

描述Java语言多线程机制,阐述了操作系统中生产者／消费者这个经典同步问题,探讨了该问题的多种高效解决策略,并通过Java语言的多线程编程技术,给出了实现此问题相应解决策略的代码。旨在为研究producer—consumer paterns提供新思路。     

用JAVA多线程制作一个时钟

Java是一种支持线程机制的编程语言，每个Java程序都有一个缺省的主线程。对于Java应用程序，这个主线程就是main0方法执行的线索：而对于Java Applet，主线程可让浏览器加载并执行Tava小程序，它是嵌在HTML文档中的Java程序。当要实现多线程时，只需在主线程中再创建若干线程对象即可。本文介绍的时钟(clock)序就是一个这样的Java applet实例。一个Java applet程序必须有一个public类型的并且扩展了Applet类的主类．这里我们将这个主类命名为clock，它扩展了Applet类并且继承了Rurmable接口来实现多线程。在Runnable接口中有一个run0方法，当线程被调度并进入运行状态时，该run0方法被运行系统自动识别和执行。     

基于Java语言的多线程计算

现代主流操作系统已经广泛采用了多线程技术，首先论述了多线程的基本概念，然后研究了Java语言多线程模型与实现机制。探讨多线程计算对CPU的影响。计算效率的提高，以及网络环境下利用Java开发网络应用程序的前景。