一种用于Java虚拟机的类型化低级语言

为了能够减小运算系统的需信任计算基础、描述较小粒度的安全策略，目前的研究倾向于从程序设计语言和编译器入手来提高软件的安全性．基于以上研究背景设计了一种类型化的低级语言TLL,TLL是一种为Java虚拟机即时编译器设计的类型安全中间语言，以构造一个具有更小需信任计算基础的Java虚拟机系统为目的．TLL的类型系统基于多态的类型化λ演算，它具有丰富的表现力且能够编码各种高级语言的抽象．基于TLL的一个虚拟机原型系统已经实现，它可以作为实现一个高安全且面向多种源语言的运行时系统的起点．     

基于线索化方法的嵌入式Java虚拟机性能优化技术研究

随着计算机的不断发展，逐渐呈现出了普适计算的模式．普遍认为，Java是适应普适计算的关键技术．分析了解释运行中利用线索化方法进行性能优化的技术，实现了基于直接线索化方法的嵌入式Java虚拟机的解释器性能优化方案，并对嵌入式Java虚拟机的参考实现和基于直接线索化的优化方案进行了性能对比．     

JVM优点与缺点的深入分析

Java虚拟机是Java程序必不可少的运行环境,并且是Java语言实现跨平台的基础。本文以Java虚拟机的发展历程和使用情况为角度,讨论了Java虚拟机的优点和缺点。     

嵌入式Java虚拟机的性能优化技术

分析了线索化和直接线索化等基于解释运行的性能优化技术，实现了基于直接线索化技术的嵌入式Java虚拟机的解释器性能优化方案，并对嵌入式Java虚拟机的参考实现、线索化优化方案和基于直接线索化的优化方案进行了性能对比。     

基于XML的异构环境的Mobile Agents架构

移动Agent技术是集软件Agent技术、移动代码技术、分布式对象技术于一体的技术.移动Agent的编程语言限制了Agent平台的执行环境.然而由于java虚拟机的出现,Java的程序可以不需重新编译,就进行迁移.但是java的移动代理也需要架设平台上有java虚拟机的环境.为了实现一个真正的异构环境的系统,使用基于XML的移动Agent架构,即使用基于XML的移动Agent代码、使用UDDI技术来为Agent注册和查询、Web Services技术来进行通信.它更容易在异构的系统环境中相互通信和操作并更容易实现和在各种环境中得到运用.     

掌上电脑软件精选(五)

Wab虚拟机（图1）什么是Waha？Waba是一种专为便携设备设计的类Java语言。Waba虚拟机（P／PC版）就是用来在掌上电脑上运行Waba程序的软件。你也许会问，为什么不直接使用Java，而要搞一种特别的语言呢？主要的原因是P／PC平台上至今未实现Java虚拟机，至少微软没有，Sun公司也没有这样的计划（虽然它已公布了嵌入式Java）。Waba的开发就是为了填补这个空缺。Waba的设计有其独到之处OWab语言本身，它的伪代码和类库（包括AWT）都是Java的一个子集。软件开发也可以借助现成的Java开发工具。WabaSDK则提供了一些工具，如Java“桥…     

Java知识竞赛特别讲座 第三讲 Java平台技术

在这一讲中,我们将重点介绍Java平台技术,首先介绍Java核心技术Java虚拟机的概貌、结构,然后再说明100％纯Java的概念和纯Java程序应遵循的原则,在本讲的最后,我们将介绍几种主要的Java开发工具和浏览工具。 一、Java虚拟机 上一讲我们已经提到平台无关性是Java最重要的特性,而实现这一特性的基础就是Java虚拟机。因此,了解Java虚拟机的结构和工作方式对进一步理解Java概念十分有益。下面我们将从两个方面介绍Java虚拟机。 1.什么是Java虚拟机 可以说,Java不仅仅是一种语言,更重要是一种区别于传统系统,遵循“网络就是计算机”信条的平台技术。Java平台将面向对象系统扩展成包括程序和数据的网络计算机,而这     

基于CORBA技术的网上虚拟实验室系统架构设计

提出了基于 CORBA技术的网上虚拟实验系统的开发模型 ,该模型以 Java Applet作为客户端 ,CORBA作为中间通信桥梁 ,能够集成 Java Bean、Matlab、COM/DCOM作为计算后台 ,大大提高了专业虚拟实验室的开发效率 .同时给出了基于该模型的数字通信原理虚拟实验室系统的实现 ,该系统客户端用 Java语言实现 ,具有与平台无关 ,安全 ,健壮等内在特点 ;实验室设备 (算法和仪器等 )以组件的方式开发 ,提高了开发效率 ,实现了软件重用 ,实验室的功能易于扩充 ;服务器端以 Matlab为计算后台 ,提供了强大的系统仿真能力     

远程虚拟实验的构建

给出远程虚拟实验的技术原理与实现方法，按照基于虚拟原型的虚拟实验的一般原理，提出概率统计原理的虚拟实验方法以实现方案，基于Java语言，设计了一个远程虚拟实验系统并给出了几个实验实例。     

一种虚拟化资源管理服务模型及其实现

当前IT资源基础构架日益增长的复杂性和不断变化的应用对系统平台的要求,使得如何搭建合理的资源管理基础构架成为企业信息平台亟待解决的基本问题．按需计算或效用计算等理念成为业界追求的目标,SOA思想是解决应用集成的一种思路．该文提出了一种虚拟化资源管理服务模型VMA,它适用于构建计算机系统资源的统一管理平台．作者也实现了一个VMA最小系统,它包括3个虚拟资源管理系统：虚拟存储资源系统VSDS、虚拟计算资源系统VCRS、虚拟用户资源系统VUSS．这3个系统分别提供三种虚拟资源：VSDS提供虚拟化的存储空间;VCRS提供虚拟化的服务器;VUSS提供虚拟化的用户系统．该文介绍了VMA模型概念,分别介绍了VMA的实现并描述了未来的工作．     

一种用于Java程序验证编译的标签类型

在基于语言考虑代码安全性的工作中,往往需要将高级语言程序翻译成类型化低级语言的程序进行类型检查.许多高级语言具有类型调度结构,在向低级语言的编译过程中需要用标签机制来实现.针对具有多继承接口的Java程序包含的一种特殊的类型调度结构,提出了一种新的标签类型.包含这种标签类型的低级语言能够有效地实现Java程序中的接口调用.这种对接口调用的编译方法被用在一个以类型化低级语言为验证语言的Java字节码即时编译器中.     

Specification and Standardization of a Java Trusted Computing API

The paradigm of Trusted Computing promises a new approach to improve the security of computer systems. The core functionality, based on a hardware component known as Trusted Platform Module, is integrated into commodity hardware. However, operating system integration and application software support remains limited at present. In particular, for Java, the most widely used platform‐independent computing environment, there is currently no generally accepted Trusted Computing API. In this article, we describe the design of a high‐level API for Trusted Computing. We report on the current state of the Trusted Computing Group's software architecture and on previous approaches targeting Java. We derive our requirements and design goals and describe a novel API design. We report on our transparent approach to standardization in the Java Community Process. The result of this effort is the API we propose in the Java Specification Request 321. In this work, we not only present the design of this new API but also discuss implementation and testing strategies. Copyright © 2011 John Wiley & Sons, Ltd.     

Compiling lazy functional programs to Java bytecode

The Java Virtual Machine (JVM) was designed as the target for Java compilers, but there is no reason why it cannot be used as the target for other languages. We describe the implementation of a compiler which translates a lazy, weakly‐typed functional program into Java class files. We compare the performance of our compiler to the only other known compiler from a lazy functional language to the JVM. The results are broadly similar, suggesting that to get a significant performance speed‐up using this compilation paradigm will come only from increasing the performance of the JVM, rather than enhancing the compiler itself. Copyright © 1999 John Wiley & Sons, Ltd.     

一种组件化知识库系统的设计与实现

文章提出了一种基于Java Bean的组件化知识库模型,以及一种XML(Extensible Markup Language)标记语言和Java程序设计语言相结合的领域知识表示框架,并实现了该知识表示框架向Java Bean知识库模型自动转换的编译优化系统,方便了知识库的构建与应用。     

一种新型类型化中间语言的优化实现技术

类型化中间语言是提高代码安全性的一类重要方法。然而在其实现过程中,庞大的类型信息很难被高效地表达和操作。一个未经优化的实现将会给系统带来指数级增长的开销。该文描述了一种新型的类型化中间语言的优化实现技术,并将其成功应用于Intel ORP (Open Runtime Platform)的即时编译器中。     

基于即时编译器辅助的并行垃圾收集器

设计一种基于即时编译器辅助的并行垃圾收集器,在编译阶段利用即时编译器安插显式内存回收指令释放无用对象空间,结合自动和显式内存管理的优点,减轻程序员和垃圾收集器的负担,同时提高内存空间的利用率,支持显式对象回收操作,且可以有效重用这些对象空间,从而提高Java应用程序的执行效率,实验结果表明,该设计方案是可行的。     

Towards Language-Agnostic Mobile Code

The Java Virtual Machine is primarily designed for transporting Java programs. As a consequence, when JVM bytecodes are used to transport programs in other languages, the result becomes less acceptable the more the source language diverges from Java. Microsoft's .NET transport format fares better in this respect because it has a more flexible type system and instruction set, but it is not extensible, and (for example) has no provision for supporting explicit programmer-specified parallelism. Both platforms have difficulty making transported programs run efficiently.This paper discusses first steps towards mobile code representations that are independent (in the sense that the representation can be appropriately parameterized) of the source language (e.g., Java), intermediate representation (e.g., bytecode), and target architecture (e.g., x86). We call this kind of parameterizable framework language-agnostic.We present two techniques which provide parts of the envisioned language-agnostic functionality. Compressed abstract syntax trees as a wire format provide for a very dense encoding of programs at a high level of abstraction. We show how to parameterize the compression algorithm in a modular fashion with knowledge beyond the purely syntactical level. This leads to the notion of well-formedness by construction. The second technique defines the semantics of programs by mapping from abstract syntax trees to a typed core calculus representation. Based on this representation it becomes possible to use portable definitions of security policies and to execute programs written in different source languages, even if a more efficient trusted native compiler is not available on the target platform.     

Testing syntax and semantic coverage of Java language compilers

Software testing is a critical and important stage of the application software development life-cycle. Testing is a verification activity that affects the overall software quality. The verification of critical and dependable computer software such as real-time safety-critical software systems consumes about 50% of the project time. In this work, we consider testing compilers. Since a compiler is a highly usable software, an increased emphasis on reliability requires a careful testing before releasing the compiler. In compiler testing, the compiler implementation is verified to conform to the specified language syntax and semantic available in the standard language documentation. In this work, an algorithm is designed and a tool is developed to automate the generation of test cases to check the language syntax. In addition, we propose a heuristic approach to cover language semantics. Since Java is a relatively new programming language, we concentrate on testing the adherence of new Java compilers to the language syntax and semantics.