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

吕建; 杨大军; 廖宇; 唐宝

引用本文:	吕建,杨大军,廖宇,唐宝.一种并发面向对象同步模型研究.软件学报,2002,13(1):71-79

【打印本页】【下载PDF全文】【查看/发表评论】【EndNote】【RefMan】【BibTex】

←前一篇|后一篇→

过刊浏览高级检索

本文已被：浏览 3870次下载 5571次	码上扫一扫！
分享到：微信更多字体:加大+\|默认\|缩小-
一种并发面向对象同步模型研究
吕建^1,2, 杨大军^1,2, 廖宇^1,2, 唐宝^1,2
1.南京大学,计算机软件新技术国家重点实验室,江苏,南京,210093;2.南京大学,计算机软件研究所,江苏,南京,210093

摘要:

同步是并发语言的一个重要特征,然而在面向对象的框架下,同步约束的存在可能导致不期望的方法的重定义.基于并发面向对象规约语言VDM++(Vienna development method)的两种同步机制,提出一种适合于并发面向对象广谱规约语言的同步模型-卫式路径结构.它不但可以支持一般代码的复用,而且可以全方位地支持对同步代码的复用.

关键词: 并发面向对象继承同步继承异常

DOI：

分类号:

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

Research on a Concurrent Object-Oriented Synchronization Model

LüJian,YANG Da-jun,LIAO Yu,TANG Bao

Abstract:

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 in this paper 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.

Key words: concurrent object orientation inheritance synchronization inheritance anomaly