并发模型的分类与层次  

The Classification and Hierarchy of Models for Concurrency

作　　者：李文军[1] 周晓聪[1] 李师贤[1] 

机构地区：[1]中山大学计算机科学系,广州510275

出　　处：《计算机科学》2000年第3期29-34,共6页Computer Science

基　　金：南京大学计算机软件新技术国家重点实验室基金

摘　　要：随着处理器性能的不断提高和网络技术的迅速发展,越来越多的计算机应用系统涉及并行与分布式计算。开发这类系统远比传统的串行系统困难,这除了并行与分布式计算本身固有的复杂性外,还有一个原因是人们对并发性的实质缺乏真正了解,因而对并发模型进行深入广泛的研究具有重要的现实意义。并发模型是一种描述与解释并发与分布式系统的形式化数学模型,在理论上可提供对并发系统及其行为的深刻理解,在实践中可为并发系统的设计与分析提供指导方法。探讨并发性的语义往往也集中在并发模型的研究,以此作为并发语言与系统的指称结构。In this paper we classify models for concurrency into practical models,concrete models and abstract models. We put emphasis on the abstract models for concurrency ,which are foundations of concurrency and distributed theories. We give some orthogonal classifications of abstract models for concurrency ,including both interleaving models (e. g. Hoare trace ,labelled transition systems ,synchronization trees) and true concurrency models (e. g. Mazurkiewicz trace, asynchronuou transition systems and event structures). At last we build a hierarchy structure of these models and introduce the categorical approach to the study of models for concurrency.

关 键 词：并发模型 分类 层次 软件开发 

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