Java并行注释规范JAC的扩展  

The Extension of Java Annotated Concurrency Specification

作　　者：朱红[1] 张赛男[2] 

机构地区：[1]徐州医学院基础学院计算机教研室,江苏徐州221000 [2]中国人民解放军理工大学理学院,江苏南京211100

出　　处：《微电子学与计算机》2009年第8期42-44,48,共4页Microelectronics & Computer

摘　　要：JAC是基于扩展Java注释描述其并行编程的技术,具有隐藏线程、同步等并行编程机制,把应用逻辑与并行逻辑分离等优点.为了克服目前版本的JAC规范在执行类静态方法对象间的并行时可能会造成类静态变量的不确定性的缺点,扩展了JAC规范,用exclusive并行注释来控制Java对象间的方法的并行性,同时改进JAC预编译器,为程序中每个类维护一张ID列表,使JAC预编译器支持类静态方法对象间的并行编程.从而提高了JAC技术解决复杂的并行编程问题的能力.JAC is an extended Java that introduces a higher level d concurrency, hiding threads and separating thread synchronization from application logic in a declarative fashion. But when the present version of JAC specification executes class static method concurrently between objects, it might lead to uncertainty of class static variable. In order to overcome this problem, discusses how to extend JAC specification, uses exclusive concurrent annotation to control the method concurrency between Java objects. And improves JAC precompiler at the same time, maintains an ID list for each class in a program. So that JAC can support the concurrent programming of class static method between objects. The JAC＇s ability of solving complex concurrent programming problem is improved.

关 键 词：Java注释 并行编程 类静态变量 

分 类 号：TP31[自动化与计算机技术—计算机软件与理论]