Java并发系统的ACP模型  

ACP Model of Java Concurrency

作　　者：刘园[1] 徐宝文[1] 

机构地区：[1]东南大学计算机科学与工程系,南京210096

出　　处：《计算机科学》2003年第9期173-174,共2页Computer Science

摘　　要：1引言 Java作为一种面向分布式计算环境的语言,提供了完全意义上的多线程支持,能有效利用资源,提高系统效率,但是多线程并发也带来了很多严重问题,如死锁.为了详尽分析Java并发系统,首先必须对并发系统进行建模.Feasibility and efficiency of analyzing concurrent programs mostly rely on the programs' representations. This paper proposes a model of Java concurrent system by using ACP.so that Java concurrent system can be transformed to process algebra expressions which facilitate model checking or some further analysis.

关 键 词：JAVA语言 并发系统 ACP模型 进程 线程 程序设计 

分 类 号：TP311.1[自动化与计算机技术—计算机软件与理论] TP312[自动化与计算机技术—计算机科学与技术]