一种并发面向对象同步模型研究  

Research on a Concurrent Object-Oriented Synchronization Model

作　　者：吕建[1,2] 杨大军[1,2] 廖宇 唐宝[1,2] 

机构地区：[1]南京大学计算机软件新技术国家重点实验室,江苏南京210093 [2]南京大学计算机软件研究所,江苏南京210093

出　　处：《软件学报》2002年第1期71-79,共9页Journal of Software

基　　金：国家自然科学基金资助项目(69873021);国家863高科技发展计划资助项目(863-306-ZT02-02-03);国家杰出青年基金资助项目(61525204);江苏省应用基础研究基金资助项目(BJ99016)~~

摘　　要：同步是并发语言的一个重要特征,然而在面向对象的框架下,同步约束的存在可能导致不期望的方法的重定义.基于并发面向对象规约语言VDM++(Vienna development method)的两种同步机制,提出一种适合于并发面向对象广谱规约语言的同步模型-卫式路径结构.它不但可以支持一般代码的复用,而且可以全方位地支持对同步代码的复用.Synchronization between processes is one of the main features of concurrent programming. However, under the framework of concurrent object-oriented, the existence of synchronization constraints can cause undesired re-definitions of inherited code. Based on the two kinds of synchronization mechanisms in VDM++, a synchronization model, guard trace structure is presented to be applied to a wide-spectrum concurrent object-oriented specification language. This model can support not only reuse of general code, but also that of synchronization code effectively.

关 键 词：继承 面向对象 同步模型 并发 VDM++ 程序设计语言 

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