期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
协同建模系统中的一种对象引用正确性保证方法
被引量:
3
1
作者
荆树旭
何发智
+1 位作者
蔡贤涛
程媛
《计算机研究与发展》
EI
CSCD
北大核心
2011年第11期2031-2038,共8页
乐观并发控制允许操作并发执行,由此将产生对象引用发生时刻与对象引用使用时刻的几何模型的不一致,结果将导致命名机制的失效而不能保证对象引用的正确性.将引用对象分为可替代与不可替代2种类型,对于可替代对象引用,通过构建对象引用...
乐观并发控制允许操作并发执行,由此将产生对象引用发生时刻与对象引用使用时刻的几何模型的不一致,结果将导致命名机制的失效而不能保证对象引用的正确性.将引用对象分为可替代与不可替代2种类型,对于可替代对象引用,通过构建对象引用发生时刻的临时几何模型保证该类对象引用的正确性;对于不可替代对象引用,通过恢复对象引用发生时刻的几何模型,然后完成引用该类对象的操作,最后Redo模型恢复过程中被Undo的并发操作来保证该类对象引用的正确性.在原型系统中对提出的方法进行了验证.
展开更多
关键词
协同
建模
复制式结构
乐观并发控制机制
协同命名
对象引用
在线阅读
下载PDF
职称材料
题名
协同建模系统中的一种对象引用正确性保证方法
被引量:
3
1
作者
荆树旭
何发智
蔡贤涛
程媛
机构
武汉大学计算机科学与技术学院
长安大学信息工程学院
出处
《计算机研究与发展》
EI
CSCD
北大核心
2011年第11期2031-2038,共8页
基金
国家自然科学基金项目(61070078)
中央高校基本科研业务费专项资金项目
文摘
乐观并发控制允许操作并发执行,由此将产生对象引用发生时刻与对象引用使用时刻的几何模型的不一致,结果将导致命名机制的失效而不能保证对象引用的正确性.将引用对象分为可替代与不可替代2种类型,对于可替代对象引用,通过构建对象引用发生时刻的临时几何模型保证该类对象引用的正确性;对于不可替代对象引用,通过恢复对象引用发生时刻的几何模型,然后完成引用该类对象的操作,最后Redo模型恢复过程中被Undo的并发操作来保证该类对象引用的正确性.在原型系统中对提出的方法进行了验证.
关键词
协同
建模
复制式结构
乐观并发控制机制
协同命名
对象引用
Keywords
collaborative modeling
replicated architecture
optimistic concurrency control
collaborative naming
object reference
分类号
TP391.72 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
协同建模系统中的一种对象引用正确性保证方法
荆树旭
何发智
蔡贤涛
程媛
《计算机研究与发展》
EI
CSCD
北大核心
2011
3
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部