JAVA注释型并行模型实现线程同步

JAC技术扩展Java注释，赋予Java代码并行语义。文章讨论如何利用JAC注释针对典型的生产者／消费者问题、哲学家就餐问题，实现线程同步。由此阐述JAC把并发活动的线程控制留给了预编译器．把面向对象的并行逻辑从应用逻辑中分离出来的优点。     

基于JAVA3D的数据结构可视化技术研究

在Java3D的基础上设计并实现了多种典型数据结构的三维可视化,并给出各类数据结构相应的布局算法。该技术已成功应用于本工作室自行开发的可视化Java编译器AnyView J系统中。     

Java与C/C++的编译器优劣探讨

Java与C/C++的编译器是目前非常流行的编译器,JAVA是即时编译器,C/C++是静态编译器。无论是什么代码,最终编译的目的码都是二进制机器码,所以编译器好坏的比较最后就是"拼编译器"的好坏。文章就两个编译器的运行,通过多种多样的参数比较来看看这两种语言的编译器各有哪些优缺点,从而引起大家的兴趣来进一步探讨和研究JAVA和C/C++。     

用Visual J++实现COM组件

COM组件是实现二进制代码重用的有效途径，目前，它一般由C^ 或VB等语言编写，Java语言具有广泛的跨平台能力。作者尝试用Java语言建立COM组件，介绍了使用Visual J^ 建立COM服务器与客户机的一般方法。     

也谈嵌入式系统中程序存储器容量的扩展

文章介绍了分页技术在扩展 80 5 1程序存储器容量中的应用方法 ,给出了常用的两种硬件扩展逻辑的原理图和相应的软件配置信息 ,分析了代码页分页切换的实现方法 ,介绍了使用KeilC5 1编译器中的分页连接器 (BL5 1.EXE)生成大于 6 4K字节目标代码的方法。     

基于C#．NET的GSMMODEM短信猫应用设计开发

短信猫(GSM MODEM)是无线数据通信应用的重要组成部分.这里主要研究短信猫应用软件开发,介绍GSM MODEM短信猫的开发架构和应用软件开发流程,重点是运用C#语言在Visual Studio 2005编译器平台下实现GSM MODEM的应用开发.然后在GSM MODEM短信猫上进行调试,通过多次调试验证,与VB,VC,Java等语言开发的应用软件相比,软件用户界面友好,运行稳定,可靠性高.     

基于ARM核的S3C4510B启动代码的研究与应用

研究了ARM核处理器S3CA510B的中断异常处理机制和启动代码的任务及运行过程。分析了在REMAP(存储系统重映射)情况下中断向量设置、存储系统配置、堆栈初始化、代码拷贝、应用程序运行环境初始化过程,以及GNU下链接文件编写和定义规则。最后在基于GNU编译器的EMBESTIDE开发环境下,成功设计完成了S3CA510B的启动代码,给出据该启动代码的一个应用实例。研究了ARM核处理器S3CA510B的中断异常处理机制和启动代码的任务及运行过程。分析了在REMAe(存储系统重映射)情况下中断向量设置、存储系统配置、堆栈初始化、代码拷贝、应用程序运行环境初始化过程,以及GNU下链接文件编写和定义规则。最后在基于GNU编译器的EMBESTIDE开发环境下,成功设计完成了S3CA510B的启动代码,给出据该启动代码的一个应用实例。     

集成开发环境

集成开发环境是用于提供程序开发环境的应用程序，一般包括代码编辑器、编译器、调试器和图形用户界面工具，也是集成了代码编写功能、分析功能、编译功能、调试功能等一体化的开发软件服务套。所有具备这一特性的软件或者软件套（组）都可以叫做集成开发环境。     

魂芯DSP的编译器设计与优化

魂芯DSP是一款字寻址的、分簇结构的、支持SIMD的VLIW处理器.介绍了基于开源编译器基础设施open64开发魂芯编译器的关键技术,包括地址寄存器的优化处理、综合多种启发因子的指令分簇、分簇架构下的寄存器分配和指令调度.介绍了魂芯DSP编译器的体系结构优化关键技术,包括基于依赖分析的向量化、高效指令的使用和零开销循环的识别.并总结开发经验,给出了基于开源编译基础设施开发编译器的若干注意点.     

与编译器开发商密切合作优化微控制器开发

微控制器开发团队与编译器开发人员的合作成果是生成的代码效率更高，性能更好。本文介绍的是为了使ATMELAVR微控制器系列更适合C编译器，开发者在编译器开发阶段对微控制器架构和指令集所进行的调整。     

基于开源JVM的安全策略强制实施

 非信任代码的安全执行是移动代码安全的重要问题之一.携带模型代码(Model Carrying Code)方法同时考虑了移动代码生产者和使用者对安全性的支持和需求,建立了以模型为中心的安全执行非信任代码的理论框架,其中安全策略的定义和强制实施是MCC方法的重要组成部分之一.本文针对已被广泛使用的Java移动代码,以开源JVM Kaffe和Linux操作系统为研究载体,提出了基于开源JVM的安全策略实施模型,并实现从安全策略定义到实施的整个过程.本文在安全策略规范描述,可强制实施的扩展有限自动机(EFSA)模型和进程级监视以捕获系统调用等方面都做了有益的尝试,为完善MCC方法和实现安全策略的强制实施提供很好的方案.     

An Overview of a Compiler for Mapping Software Binaries to Hardware

As new applications in embedded communications and control systems push the computational limits of digital signal processing (DSP) functions, there will be an increasing need for software applications to be migrated to hardware in the form of a hardware-software codesign system. In many cases, access to the high-level source code may not be available. It is thus desirable to have a technology to translate the software binaries intended for processors to hardware implementations. This paper provides details on the retargetable FREEDOM compiler. The compiler automatically translates DSP software binaries to register-transfer level (RTL) VHDL and Verilog for implementation on field-programmable gate arrays (FPGAs) as standalone or system-on-chip implementations. We describe the underlying optimizations and some novel algorithms for alias analysis, data dependency analysis, memory optimizations, procedure call recovery, and back-end code scheduling. Experimental results on resource usage and performance are shown for several program binaries intended for the Texas Instruments C 6211 DSP (VLIW) and the ARM 922 T reduced instruction set computer (RISC) processors. Implementation results for four kernels from the Simulink demo library and others from commonly used DSP applications, such as MPEG-4, Viterbi, and JPEG are also discussed. The compiler generated RTL code is mapped to Xilinx Virtex II and Altera Stratix FPGAs. We record overall performance gains of 1.5-26.9 for the hardware implementations of the kernels. Comparisons with the power aware compiler techniques (PACT) high-level synthesis compiler are used to show that software binaries can be used as intermediate representations from any high-level language and generate efficient hardware implementations.     

基于Hotspot的虚拟机加密方法研究

Java语言的跨平台特性使得Java源代码被编译为一种中间代码——字节码。根据Java虚拟机规范,字节码文件很容易被反编译成可读性很高的源代码。本方案基于Hotspot开源虚拟机,研究通过定制Java虚拟机和加密字节码文件的方式,实现对Java程序的保护,大大提升了反编译的难度,更有效的保护程序代码安全。     

mJava到Micro-Dalvik虚拟机的编译验证

针对类Java的面向对象语言_mJava到类Dalvik的寄存器架构虚拟机Micro-Dalvik的编译验证,给出了_mJava语言和Micro-Dalvik的操作语义.从_mJava语言程序到Micro-Dalvik虚拟机指令的编译分为两步,首先将_mJava语言程序中的本地变量名转换为相应的序号,得到一个中间语言程序,再将该中间语言程序翻译成Micro-Dalvik虚拟机指令程序.在给出中间语言的操作语义后,构造了_mJava语言程序与编译后的中间语言程序的语义保持定理并证明,以及构造了中间语言程序的语义与编译后的Micro-Dalvik虚拟机程序的语义保持定理并证明.整个形式化编译验证在定理证明助手Isabelle/HOL中进行了机器检测._mJava语言和Micro-Dalvik虚拟机分别对Java语言和Dalvik虚拟机进行了抽象,是我们兼顾语言的真实性和形式化的清晰性的结果.但是,所有形式化的语义严格遵从语言规范中的定义,并与Dalvik VM的实现保持一致,从这种意义上讲,该编译器并不是一个实验性质的假想编译器,而是有其实用意义的.     

Program decision logic optimization using predication and controlspeculation

The mainstream arrival of predication, a means other than branching of selecting instructions for execution, has required compiler architects to reformulate fundamental analyses and transformations. Traditionally, the compiler has generated branches straightforwardly to implement control flow designed by the programmer and has then performed sophisticated "global" optimizations. to move and optimize code around them. In this model, the inherent tie between the control state of the program and the location of the single instruction pointer serialized run-time evaluation of control and limited the extent to which the compiler could optimize the control structure of the program (without extensive code replication). Predication provides a means of control independent of branches and instruction fetch location, freeing both compiler and architecture from these restrictions; effective compilation of predicated code, however requires sophisticated understanding of the program's control structure. This paper explores a representational technique which, through direct code analysis, maps the program's control component into a canonical database, a reduced ordered binary decision diagram (ROBDD), which fully enables the compiler to utilize and manipulate predication. This abstraction is then applied to optimize the program's control component, transforming it into a form more amenable to instruction level parallel (ILP) execution     

WTA 2007 - II.2 - AdapTools 2.0: Implementation and Utilization Aspects

This paper present the new version of the tool AdapTools. This application provides mechanisms for implementation, execution and debugging of adaptive robots. We will focus on the aspects of implementation of the new structure of data and the model of non-deterministic execution, the new model of coding using the compiler AdapMap and improvement in the insertion of semantic routines, which makes it unnecessary to recompile the code of the tool.     

面向JRENative漏洞的寄存器符号化监测

Java语言是最为流行的编程语言之一,拥有非常大的用户群,其安全问题十分重要,其中JRENative漏洞逐渐成为研究热门。本项研究基于符号执行技术提出一种寄存器符号化监测方法,选取符号执行平台S2E作为漏洞挖掘工具,并且实现了针对JRENative漏洞挖掘的辅助插件SymJava和SymRegMonitor,基于OpenJDK和OracleJRE逆向代码进行源代码白盒审计并构建了用于进行漏洞挖掘的Java测试用例,最后对36个调用JavaNativeAPI的Java测试用例进行测试,发现了6个JRENative安全隐患,其中2个可被攻击者恶意利用。     

一个嵌入式实时Java OS的设计及实现

针对嵌入式Inernet环境的特定要求，提出了一个嵌入式的实时Java OS—WebitJOS。WebitJOS在资源受限的嵌入式Internet环境下自身提供了对实时线程的调度、同步和异步处理的内部实现，消除了Garbage collection内存管理不确定性所产生的实时程序设计的障碍，并且提供了，从Java代码直接访问物理内存、寄存器及内存映射I／O的能力。根据嵌入式Internet系统对实时性、确定性的要求，用形式化语言描述了WebitJOS中实时线程及相关内存区的状态转换关系，并结合实例对WebitJOS相关的实时性能进行了测量和评价.     

基于Lex和Yacc的C_Minus编译器

基于Windows环境下的Lex和Yacc集成环境Parser Generator,实现了以C_Minus(C语言子集)语言为源语言的编译器。主要从编译技术的角度对C_Minus语言的词法分析、语法分析、符号表的建立以及目标代码生成的过程进行详细的阐述。     

Accelerating embedded Java for mobile devices

With the proliferation of wireless devices, networks, and systems, the deployment of efficient embedded Java virtual machines is becoming a challenging and important research area. Accordingly, a plethora of acceleration techniques have been proposed. In this article we present a new acceleration technology that we developed for embedded Java virtual machines. Acceleration is achieved by the integration of a new selective dynamic compiler, which we called Armed E-Bunny, into the J2ME/CLDC (Java 2 Micro-Edition for Connected Limited Device Configuration) kilobyte virtual machine (KVM). The modified KVM is ported on a handheld PDA that is powered with embedded Linux. Experimental results demonstrate that we accomplished an important speedup (more than 360 percent) with respect to Sun's latest version of KVM. This experimentation was carried out using standard J2ME benchmarks.