| 一种并发面向对象同步模型研究 |
| |
| 作者姓名： | 吕建 杨大军 廖宇 唐宝 |
| |
| 作者单位： | 南京大学,计算机软件新技术国家重点实验室,江苏,南京,210093;南京大学,计算机软件研究所,江苏,南京,210093 |
| |
| 基金项目： | 国家自然科学基金资助项目(69873021);国家863高科技发展计划资助项目(863-306-ZT02-02-03);国家杰出青年基金资助项目(61525204);江苏省应用基础研究基金资助项目(BJ99016) |
| |
| 摘 要： | 同步是并发语言的一个重要特征,然而在面向对象的框架下,同步约束的存在可能导致不期望的方法的重定义.基于并发面向对象规约语言VDM++(Vienna development method)的两种同步机制,提出一种适合于并发面向对象广谱规约语言的同步模型-卫式路径结构.它不但可以支持一般代码的复用,而且可以全方位地支持对同步代码的复用.
|
| 关 键 词： | 并发面向对象 继承 同步 继承异常 |
| 文章编号： | 1000-9825/2002/13(01)0071-09 |
| 收稿时间： | 2000-03-17 |
| 修稿时间： | 2000-03-17 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载免费的PDF全文 |
|
