| 一种并发面向对象同步模型研究 |
| |
| 引用本文： | 吕建,杨大军,廖宇,唐宝.一种并发面向对象同步模型研究[J].软件学报,2002,13(1):71-79. |
| |
| 作者姓名： | 吕建 杨大军 廖宇 唐宝 |
| |
| 作者单位： | 南京大学,计算机软件新技术国家重点实验室,江苏,南京,210093;南京大学,计算机软件研究所,江苏,南京,210093 |
| |
| 基金项目： | 国家自然科学基金资助项目(69873021);国家863高科技发展计划资助项目(863-306-ZT02-02-03);国家杰出青年基金资助项目(61525204);江苏省应用基础研究基金资助项目(BJ99016) |
| |
| 摘 要： | 同步是并发语言的一个重要特征,然而在面向对象的框架下,同步约束的存在可能导致不期望的方法的重定义.基于并发面向对象规约语言VDM++(Vienna development method)的两种同步机制,提出一种适合于并发面向对象广谱规约语言的同步模型-卫式路径结构.它不但可以支持一般代码的复用,而且可以全方位地支持对同步代码的复用.
|
| 关 键 词： | 并发面向对象 继承 同步 继承异常 |
| 文章编号： | 1000-9825/2002/13(01)0071-09 |
| 收稿时间： | 2000/3/17 0:00:00 |
| 修稿时间： | 2000年3月17日 |
Research on a Concurrent Object-Oriented Synchronization Model |
| |
| L?Jian,YANG Da-jun,LIAO Yu,TANG Bao.Research on a Concurrent Object-Oriented Synchronization Model[J].Journal of Software,2002,13(1):71-79. |
| |
| Authors: | 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. |
| |
| Keywords: | concurrent object orientation inheritance synchronization inheritance anomaly |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
