期刊文献+
共找到16篇文章
< 1 >
每页显示 20 50 100
用不对称的P/V操作设计并发算法 被引量:3
1
作者 王欣明 金蓓弘 张昕 《计算机工程与应用》 CSCD 北大核心 2005年第12期65-69,共5页
多线程并发是提高系统性能的常用手段,文章提出了一种用信号量的不对称P/V操作来设计多线程并发算法的新思路,这种思路适合于设计多线程同步程序以解决某些具有复杂同步语义要求的问题,而这些问题用传统的方法很难得到简洁高效的求解。... 多线程并发是提高系统性能的常用手段,文章提出了一种用信号量的不对称P/V操作来设计多线程并发算法的新思路,这种思路适合于设计多线程同步程序以解决某些具有复杂同步语义要求的问题,而这些问题用传统的方法很难得到简洁高效的求解。为了演示这种新思路的特点和优点,笔者对几个常见问题(读写锁、排队锁和记录锁)给出了新的算法设计以及实现。实验数据表明,采用这种思路设计的算法在算法复杂度,读写速度和资源使用方面相对于传统的算法存在较大优势。 展开更多
关键词 并发算法 信号量 不对称P/V操作
在线阅读 下载PDF
一种无锁并发跳表算法的可线性化证明 被引量:1
2
作者 曹红星 冯新宇 《小型微型计算机系统》 CSCD 北大核心 2015年第6期1158-1164,共7页
为了证明无锁并发跳表算法的可线性化性质,采用最新提出的不固定线性化点算法可线性化性质的模块化验证方法,首先建立一个简单的抽象机和语言模型,在抽象机上实现无锁并发跳表算法并生成局部依赖与保证风格的推导规则,然后寻找算法的线... 为了证明无锁并发跳表算法的可线性化性质,采用最新提出的不固定线性化点算法可线性化性质的模块化验证方法,首先建立一个简单的抽象机和语言模型,在抽象机上实现无锁并发跳表算法并生成局部依赖与保证风格的推导规则,然后寻找算法的线性化点并通过模块化验证方法中的方案在算法实现中添加辅助语句以标识线性化点,接着构造基本断言如不变式I、算法执行所依赖的环境规范R和算法规范G,最后根据推导规则对算法进行严格的推导证明.由于不固定线性化点算法可线性化性质的模块化验证方法经过形式化的可靠性证明,因此本文通过可靠地形式化验证方法首次证明了无锁并发跳表算法的可线性化性质. 展开更多
关键词 无锁并发跳表 可线性化 程序验证 并发算法
在线阅读 下载PDF
集中式CSCW环境中对实时共享对象的并发控制算法 被引量:7
3
作者 刘新福 王光彩 +1 位作者 代雯君 顾君忠 《小型微型计算机系统》 CSCD 北大核心 2002年第6期667-671,共5页
在实时 CSCW环境中 ,必然存在多个用户都需要同时访问的共享对象 ,系统必须对用户访问对象的操作做出实时的响应 ,以使对象的变化与用户的期望相一致 .本文提出了一种解决并发控制的方法 ,目标是在并发和实时的情况下实现多客户感知的... 在实时 CSCW环境中 ,必然存在多个用户都需要同时访问的共享对象 ,系统必须对用户访问对象的操作做出实时的响应 ,以使对象的变化与用户的期望相一致 .本文提出了一种解决并发控制的方法 ,目标是在并发和实时的情况下实现多客户感知的对象的一致性 .算法基于变换和用户期望 。 展开更多
关键词 集中式CSCW环境 实时共享对象 并发控制算法 计算机网络
在线阅读 下载PDF
一种用于分布式数据库系统的并发控制新算法 被引量:2
4
作者 毛新宇 王化文 《小型微型计算机系统》 CSCD 北大核心 2003年第8期1507-1509,共3页
针对分布式数据库的并发控制提出了一种新算法 .本算法根据新事务与本地节点上已启动但还未完成事务的信息进行比较 ,动态地在一种称为 EWP的乐观并发控制算法与一种称为 PSL的悲观并发控制算法之中选择一种算法来实现对该新事务的并发... 针对分布式数据库的并发控制提出了一种新算法 .本算法根据新事务与本地节点上已启动但还未完成事务的信息进行比较 ,动态地在一种称为 EWP的乐观并发控制算法与一种称为 PSL的悲观并发控制算法之中选择一种算法来实现对该新事务的并发控制 .本算法是在文中提出的 EWL算法的基础上修改而成的 ,它比原来的 展开更多
关键词 分布式数据库系统 并发控制 乐观并发控制算法 悲观并发控制算法
在线阅读 下载PDF
基于相对位置的分布式实时协同编辑乐观锁并发控制算法 被引量:2
5
作者 詹永照 毛启容 宋顺林 《计算机科学》 CSCD 北大核心 2003年第7期126-129,共4页
Traditional locking mechanism is fit for the concurrency controlling and data consistency maintenance undercentralized architecture, but its response is slow, so it can not be used as concurrency controlling strategy ... Traditional locking mechanism is fit for the concurrency controlling and data consistency maintenance undercentralized architecture, but its response is slow, so it can not be used as concurrency controlling strategy for real-time distributed cooperative editing system. Moreover, operation transformation and data consistency maintenancetechnology are able to assure of quick response and unconstraint, but can't solve the context-specific inconsistencyproblems. Enlightened by the idea of operation transformation and optimistic locking mechanism, we bring forwardthe concurrency control algorithm of optimistic locking based on relative position. In this algorithm, the start positionof locking region and the position of operation are relative, and they are not transformed into absolute position untiloperations are sent to cooperative sites. Furthermore, any coeditor can edit in advance before his/her locking is con-firmed. If his/her locking is successful, the previous operations go into effect, or else undo these previous operations.We have analyzed the actual applications and can find that the possibility of undoing the previous editing operationsbecause of locking conflict is very little. So this concurrency controlling algorithm has virtues of quick response, nicedata consistency maintenance etc. 展开更多
关键词 实时分布式协同编辑系统 乐观锁 并发控制算法 相对位置 应用软件 CSCW
在线阅读 下载PDF
事务框架下主动规则的并发控制算法 被引量:1
6
作者 左万利 金阳 《吉林大学自然科学学报》 CAS CSCD 北大核心 2001年第2期28-32,共5页
探讨并行规则事务对于共享数据对象的锁继承和锁剥夺关系 ,提出一个并发控制算法 ,并基于层次可串行性标准证明算法的正确性 .
关键词 主动数据库 ECA规则 耦合方式 并发控制算法 层次可串行性 主动规则 事务框架
在线阅读 下载PDF
实时数据库中的可推测并发控制算法 被引量:1
7
作者 罗琼 张立臣 《计算机科学》 CSCD 北大核心 2004年第10期87-92,181,共7页
可推测并发控制是一种新的并发控制方法,特别适合于实时数据库系统。可推测并发控制使用潜在冗余计算以确保尽可能早地发现和采纳可串行化调度,因而增加满足严格时间限制备件的实时性。本文中,首先阐述了基于SCC类算法的家庭成员SCC-nS... 可推测并发控制是一种新的并发控制方法,特别适合于实时数据库系统。可推测并发控制使用潜在冗余计算以确保尽可能早地发现和采纳可串行化调度,因而增加满足严格时间限制备件的实时性。本文中,首先阐述了基于SCC类算法的家庭成员SCC-nS算法。接着讨论了根据要求资源量的3个SCC-nS算法和它们执行的推测级别。最后,提供了建立可推测和实时性的一些模拟结果。 展开更多
关键词 并发控制算法 实时性 实时数据库系统 可串行化 冗余计算 调度 SCC 制方 严格 发现
在线阅读 下载PDF
基于对象复制的协同绘图并发控制算法 被引量:2
8
作者 窦万峰 《小型微型计算机系统》 CSCD 北大核心 2004年第3期414-418,共5页
全复制模式下的基于对象的实时协同图形编辑系统支持不同地域的设计人员通过网络同步高效地浏览、操作和修改共享文档和文档中的各种对象 ,包括图形、图象和文本等 ,其中操作意愿保证及其并发控制成为复杂而又关键的问题之一 ,其研究具... 全复制模式下的基于对象的实时协同图形编辑系统支持不同地域的设计人员通过网络同步高效地浏览、操作和修改共享文档和文档中的各种对象 ,包括图形、图象和文本等 ,其中操作意愿保证及其并发控制成为复杂而又关键的问题之一 ,其研究具有挑战性 .文中讨论了基于图形对象的并发操作的冲突 ,提出直接依赖和对象状态概念确定操作的侯选对象和相容集合 ,并改进了对象复制算法 .基于此 。 展开更多
关键词 协同绘图系统 操作意愿保证 对象复制 复制式结构 实时协同图形编辑系统 并发控制算法
在线阅读 下载PDF
实时协作中基于版本序号的并发控制算法
9
作者 黄健斌 武波 《计算机工程与应用》 CSCD 北大核心 2002年第14期73-75,共3页
文章以实时协作中的多用户协同编著为应用背景,提出了多用户间的并发控制和维护用户操作实体的一致性问题。文章首先分析了并发冲突产生的原因,给出了一致性的三个条件。然后,以XML作为系统的数据模型设计了一种以版本序号用作并发控制... 文章以实时协作中的多用户协同编著为应用背景,提出了多用户间的并发控制和维护用户操作实体的一致性问题。文章首先分析了并发冲突产生的原因,给出了一致性的三个条件。然后,以XML作为系统的数据模型设计了一种以版本序号用作并发控制的算法。最后对算法的一致性作了分析。 展开更多
关键词 实时协作 版本序号 并发控制算法 多媒体课件 远程教学
在线阅读 下载PDF
基于路径缓存的并发扩散式服务质量路由算法
10
作者 王思兵 李毓麟 《上海交通大学学报》 EI CAS CSCD 北大核心 2002年第12期1754-1756,1760,共4页
服务质量路由算法是一种多约束多目标的优化问题 ,该问题属于计算复杂度完全类 ( NP-Complete)问题 .基于一些扩散式服务质量路由算法 ,提出了一种基于路径缓存的并发扩散式服务质量路由算法 ( PCB- CFQR) ,该算法是一种分布式算法 ,它... 服务质量路由算法是一种多约束多目标的优化问题 ,该问题属于计算复杂度完全类 ( NP-Complete)问题 .基于一些扩散式服务质量路由算法 ,提出了一种基于路径缓存的并发扩散式服务质量路由算法 ( PCB- CFQR) ,该算法是一种分布式算法 ,它将资源预留、接纳控制和路由选择进行有效的结合 ,能同时完成多个请求的路径建立 ,大大提高路由算法的效率 .分析和仿真结果表明 ,PCB- CFQR算法具有较强的稳定性和实时性 ,与最短最宽 ( WSP)路由算法相比 ,它无须进行路由信息的定时刷新 ,却具有较低的呼叫阻塞率 . 展开更多
关键词 路径缓存 并发扩散式服务质量路由算法 计算复杂度完全类 资源预留 接纳控制 路由选择 IP网络
在线阅读 下载PDF
基于硬件CAS原语的高效多字无锁同步算法 被引量:2
11
作者 吴昊 季振洲 朱素霞 《电子学报》 EI CAS CSCD 北大核心 2013年第11期2127-2134,共8页
共享内存体系结构下,为解决锁同步导致的并发性能瓶颈,本文提出了一种基于硬件CAS(比较交换)原语的无锁同步算法.该算法利用底层处理器提供的比较交换指令,实现了在多核多线程环境下对共享变量的非阻塞同步操作,通过采用全局标记值的方... 共享内存体系结构下,为解决锁同步导致的并发性能瓶颈,本文提出了一种基于硬件CAS(比较交换)原语的无锁同步算法.该算法利用底层处理器提供的比较交换指令,实现了在多核多线程环境下对共享变量的非阻塞同步操作,通过采用全局标记值的方式,避免了传统设计中由于使用内存字标记导致的性能开销,同时确保数据在并发访问中的一致性.实验结果表明,本文算法可以高效地支持任意多字的CAS同步,提高了对共享数据的并发访问性能,具有较好的可扩展性. 展开更多
关键词 无锁同步 多线程 并发算法
在线阅读 下载PDF
线程交互不变量的原子性违例错误并发检测
12
作者 李兰英 孙建达 朱素霞 《计算机科学与探索》 CSCD 北大核心 2018年第7期1087-1099,共13页
原子性违例错误是并发软件开发中多发的并发错误之一,由于并发程序运行时线程的交互是随机的,若没有相应的同步措施,极有可能导致原子性违例错误的发生。针对现有的离线原子性违例错误检测算法踪迹记录大、冗余多和运行速度较慢等问题,... 原子性违例错误是并发软件开发中多发的并发错误之一,由于并发程序运行时线程的交互是随机的,若没有相应的同步措施,极有可能导致原子性违例错误的发生。针对现有的离线原子性违例错误检测算法踪迹记录大、冗余多和运行速度较慢等问题,对于两类特定的原子性违例错误提出了一种基于交互不变量的原子性违例错误并发检测算法。该算法首先提取程序的原始踪迹并去除冗余,并利用基于无序映射的散列表对踪迹进行分类;然后用栈提取的线程交互不变量标记线程交互,并利用多进程技术实现算法的并发;最后通过实验比较和分析了错误检测算法的效率和有效性。 展开更多
关键词 并发错误检测 原子性违例 不变量 并发算法
在线阅读 下载PDF
基于Petri网与改进A*搜索算法的矿井机车调度优化 被引量:4
13
作者 闫世昌 李文宏 孙彦良 《科学技术与工程》 北大核心 2020年第15期5990-5996,共7页
为了提高煤矿井下机车调度效率、防止机车碰撞、堵塞,根据井下调度特点建立机车运行赋时Petri网模型。针对原有启发式A*搜索算法存在的易陷入局部最优的缺点,提出了基于Petri网的并发变迁遴选算法,引入变迁并发度概念,与启发式A*搜索算... 为了提高煤矿井下机车调度效率、防止机车碰撞、堵塞,根据井下调度特点建立机车运行赋时Petri网模型。针对原有启发式A*搜索算法存在的易陷入局部最优的缺点,提出了基于Petri网的并发变迁遴选算法,引入变迁并发度概念,与启发式A*搜索算法相结合,得到改进的A*搜索算法。经过改进后算法的回溯计算,得到Petri可达图上的最佳路径,从而得出最优调度策略。根据以上算法进行MATLAB建模,最终仿真结果表明,经过改进的启发式A*搜索算法有效地避免了陷入局部最优解,其计算得出的调度路径及调度策略资源消耗量最少,调度效率较高且未出现机车堵塞碰撞等问题。 展开更多
关键词 井下机车调度 PETRI网模型 A~*搜索算法 并发变迁遴选算法 可达图
在线阅读 下载PDF
一种新型的矩量法并行实现方法 被引量:1
14
作者 张文 胡俊 +2 位作者 张婕玲 邱彤彤 吴文 《微波学报》 CSCD 北大核心 2017年第S1期26-29,共4页
随着问题的规模不断变大,矩量法矩阵填充和方程求解所需时间也增大。解决该问题的办法之一是开发基于并发处理的矩量法程序。本文提出了一种新型的矩量法并行实现方法。在共享存储的并行环境下,该方法采用棋盘状的并行策略对基于HRWG基... 随着问题的规模不断变大,矩量法矩阵填充和方程求解所需时间也增大。解决该问题的办法之一是开发基于并发处理的矩量法程序。本文提出了一种新型的矩量法并行实现方法。在共享存储的并行环境下,该方法采用棋盘状的并行策略对基于HRWG基函数的一个矩阵快速分块填充方法实现并行化的填充,基于分块的填充方法实现CGS迭代求解中矩阵向量积的并行化。此外,该方法被用于数值测试,数值结果说明该方法具有较高的并行效率。 展开更多
关键词 电场积分方程 并发算法 阻抗矩阵 分块算法
在线阅读 下载PDF
混合式协作共享对象模型及其实现技术 被引量:2
15
作者 詹永照 宋顺林 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2003年第8期1030-1035,共6页
为满足协作应用系统对用户操作的响应性和协作应用参与者的动态性要求 ,提出混合式的协作共享对象模型 ,集中的对象注册器协助动态管理共享对象组状态信息 ,复制式的共享对象副本将按快速串行化的事务处理方式执行 着重介绍了共享对象... 为满足协作应用系统对用户操作的响应性和协作应用参与者的动态性要求 ,提出混合式的协作共享对象模型 ,集中的对象注册器协助动态管理共享对象组状态信息 ,复制式的共享对象副本将按快速串行化的事务处理方式执行 着重介绍了共享对象新的乐观并发控制和一致性维护技术 ,特别是将操作位置转换方法结合到复合对象的两阶段提交算法中 ,提高了用户操作的响应性 ;对象组采用动态管理 。 展开更多
关键词 混合式协作 共享对象模型 并发控制算法 对象组管理 事务处理 CAD
在线阅读 下载PDF
针对实时数据库中隐蔽通道问题采取的安全策略
16
作者 罗琼 张立臣 《计算机科学》 CSCD 北大核心 2005年第7期76-77,82,共3页
实时数据库的根本目标就是使满足截止时间的事务数为最大,因而,管理和支持优先考虑时间的事务处理是非常重要的。然而,随着实时计算的迅速发展,安全成了实时应用另一个必须考虑的问题。因此,在实时数据库系统中,提出一种结合实时性和安... 实时数据库的根本目标就是使满足截止时间的事务数为最大,因而,管理和支持优先考虑时间的事务处理是非常重要的。然而,随着实时计算的迅速发展,安全成了实时应用另一个必须考虑的问题。因此,在实时数据库系统中,提出一种结合实时性和安全性的方法是非常必要的。本文针对隐蔽通道讨论了安全问题。通过定义的CCF、DCCF变量对实时数据库中的并发控制算法进行扩展使其既满足时间限制条件又满足安全需求。陈述了消除隐蔽通道的非干预性原则,并对同时维持实时和安全需求的可行性进行了探讨。 展开更多
关键词 隐蔽通道 安全策略 实时数据库系统 并发控制算法 安全需求 截止时间 事务处理 实时计算 实时应用 安全问题 安全性 实时性 CCF 变量
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部