基于读写特征的分布式互斥算法 被引量：16

1

作者 刘丹 刘心松 +1 位作者 丘志杰 邱元杰 《电子学报》 EI CAS CSCD 北大核心 2004年第2期326-329,共4页

在LK算法基础上 ,提出一种对读写请求作不同互斥处理的分布式互斥算法———RWME(read/writemu tualexclusion)算法 .在同步延迟仍为T的前提下 ,降低了传统非令牌类型互斥算法的消息复杂度 .在Lamport全局时戳的基础上 ,定义了适合于读... 在LK算法基础上 ,提出一种对读写请求作不同互斥处理的分布式互斥算法———RWME(read/writemu tualexclusion)算法 .在同步延迟仍为T的前提下 ,降低了传统非令牌类型互斥算法的消息复杂度 .在Lamport全局时戳的基础上 ,定义了适合于读写互斥的全局时戳———读写时戳 ,并由其来保证各读写进程互斥访问临界区的公平性和正确性 .通过对算法的性能分析验证其是高效的 。 展开更多

关键词 RWME算法 分布式互斥 读写时戳 消息复杂度

在线阅读 下载PDF 职称材料

一种基于松弛循环差集的高性能分布式互斥算法 被引量：11

2

作者 李美安 刘心松 王征 《电子学报》 EI CAS CSCD 北大核心 2007年第1期58-63,共6页

基于竞争的分布式互斥算法以请求集为基础.对称的请求集才能产生对称、公平的分布式互斥算法.本文首先证明了循环请求集与松弛循环差集具有等价性,并在此基础上提出了一种基于松弛循环差集的对称请求集生成算法.在提出动态令牌和请求集... 基于竞争的分布式互斥算法以请求集为基础.对称的请求集才能产生对称、公平的分布式互斥算法.本文首先证明了循环请求集与松弛循环差集具有等价性,并在此基础上提出了一种基于松弛循环差集的对称请求集生成算法.在提出动态令牌和请求集重构概念的基础上,本文将Maekawa类分布式互斥的同步时间降为T,节点容错能力达到N-1,一次临界区执行所需交换的消息数降为2m-3m,m是请求集大小. 展开更多

关键词 松弛循环差集 分布式 互斥 算法

在线阅读 下载PDF 职称材料

基于异或运算的低成本RFID双向认证协议 被引量：7

3

作者 潘涛 左开中 +1 位作者 郭良敏 罗永龙 《计算机工程》 CAS CSCD 2012年第9期278-281,共4页

为降低无线射频识别(RFID)的标签成本,解决后台数据库与标签间更新不同步的问题,提出一种基于异或运算的RFID双向认证协议。通过改变数据库与标签更新次序,实现标签和数据库之间的同步更新,在标签中仅使用异或运算和随机数生成器,使其... 为降低无线射频识别(RFID)的标签成本,解决后台数据库与标签间更新不同步的问题,提出一种基于异或运算的RFID双向认证协议。通过改变数据库与标签更新次序,实现标签和数据库之间的同步更新,在标签中仅使用异或运算和随机数生成器,使其适用于低成本RFID系统。实验结果表明,该协议的运算量、标签硬件成本开销较小,能保证数据传输安全。 展开更多

关键词 无线射频识别 双向认证协议 异或 同步更新 低成本 安全性

在线阅读 下载PDF 职称材料

改进的分布式互斥请求集生成算法 被引量：3

4

作者 武鹏 李美安 +1 位作者 裴喜春 周根宝 《计算机应用》 CSCD 北大核心 2010年第A01期243-244,250,共3页

在分布式系统中,各节点必须互斥地访问临界区。节点的请求集的长度决定了系统的效率、性能。虽然最优请求集的节点数最少(大约槡n),但已有的解决方案该类问题算法类似于穷举法,随着节点的增加,该方法变得不可计算。提出了一种快速的请... 在分布式系统中,各节点必须互斥地访问临界区。节点的请求集的长度决定了系统的效率、性能。虽然最优请求集的节点数最少(大约槡n),但已有的解决方案该类问题算法类似于穷举法,随着节点的增加,该方法变得不可计算。提出了一种快速的请求集生成算法,该算法以循环差集请求集生成算法的理论和贪心算法的基本思想为基础,在每次迭代的过程中,选出一个当前条件下最优的节点加入请求集。与其他的方法相比较,该方法能对任意给定的整数快速、有效地生成对称的请求集。本算法时间复杂度为O(n2),生成的请求集长度为槡n～2槡n。 展开更多

关键词 分布式互斥 请求集 贪心算法

在线阅读 下载PDF 职称材料

巷道堆垛式立体车库车辆存取测控方法 被引量：22

5

作者 王丽杰 褚鸿锐 +1 位作者 杨羽翼 孙晓明 《江苏大学学报（自然科学版）》 EI CAS CSCD 北大核心 2017年第2期179-185,共7页

针对智能立体车库车辆存取时间长、系统运行故障率高等问题,研究了巷道堆垛式立体车库车辆传送策略及智能测控方法.基于进程互斥原理、采用基于邻域的有界深度优先搜索算法实现多存取进程并行优化控制,给出车库主体立式框架结构设计方案... 针对智能立体车库车辆存取时间长、系统运行故障率高等问题,研究了巷道堆垛式立体车库车辆传送策略及智能测控方法.基于进程互斥原理、采用基于邻域的有界深度优先搜索算法实现多存取进程并行优化控制,给出车库主体立式框架结构设计方案,研究多通道多层面条件下的车辆传送运送策略,运用混合可切换控制手段完成不同服务环境中高峰及其他时间段车库车辆的存取传送.采用工控计算机和单元车库控制器PLC作为网络节点,利用现场总线组建一主多从的二级监控车库控制管理网络,采用MCGS、VC++编制PLC组态控制软件及上位机管理软件.结果表明:多通道多层面巷道式车辆堆垛及其智能测控能够最大限度节约用地,仅双层设置就会使地面使用率提升约85%;且所提出测控方法能够解决车辆自动存取的优化控制问题,为进一步提高车库运行效率提供有效途径. 展开更多

关键词 立体车库 并行优化控制 进程互斥 基于邻域的有界深度优先搜索 可编程逻辑控制器

在线阅读 下载PDF 职称材料

基于请求集与动态令牌的一种对称分布式互斥算法 被引量：1

6

作者 李美安 刘心松 王征 《通信学报》 EI CSCD 北大核心 2006年第4期124-130,共7页

提出了一种新的分布式互斥算法。该算法通过在基于竞争或请求集的分布式互斥算法中引入动态令牌的概念以及改变某些消息例如应答(reply)、释放(release)等消息的传送方向以及增加各类型消息的信息量将Makawa类算法的消息复杂度从O(3K～... 提出了一种新的分布式互斥算法。该算法通过在基于竞争或请求集的分布式互斥算法中引入动态令牌的概念以及改变某些消息例如应答(reply)、释放(release)等消息的传送方向以及增加各类型消息的信息量将Makawa类算法的消息复杂度从O(3K～5K)降低到O(2K～4K),同时将算法的同步延迟从2T降低至T,并将算法的节点容错能力提高到N?2并保持算法无饥饿,无死锁。通过实际运行和对比,具有较高的使用价值。 展开更多

关键词 分布式操作系统 互斥算法 设计 性能比较

在线阅读 下载PDF 职称材料

分布式系统中进程的同步与互斥算法讨论 被引量：3

7

作者 李旭芳 《计算机工程与设计》 CSCD 2004年第6期935-937,共3页

详细阐述了分布式系统中进程的同步与互斥问题。对几种算法进行了讨论,分析了其特点,还提出了 令牌环算法的一个改进算法。该算法解决了在真网络中可能出现的部分问题,并经过了实验验证。

关键词 分布式系统 进程 同步与互斥算法 令牌环算法 选举算法

在线阅读 下载PDF 职称材料

带标记信号量——一种新型同步与互斥机制 被引量：3

8

作者 徐宝文 《计算机科学》 CSCD 北大核心 2001年第1期15-17,共3页

1 问题的引出 信号量机制是E.W.Dijkstra最先提出来的[1],是并发程序设计中一种基本的、重要的同步与互斥原语,也是研究并发程序行为的重要机制[2.3].其描述能力强、机理简单、易于掌握,能方便地描述处理绝大多数并发程序设计的同步与... 1 问题的引出 信号量机制是E.W.Dijkstra最先提出来的[1],是并发程序设计中一种基本的、重要的同步与互斥原语,也是研究并发程序行为的重要机制[2.3].其描述能力强、机理简单、易于掌握,能方便地描述处理绝大多数并发程序设计的同步与互斥问题(如共享变量的保护).信号量原语自问世二十余年来,已广泛地应用于许多操作系统与程序设计语言的研究与设计中,成了它们不可分割的一部分.信号量虽然不为一些语言设计者所欣赏,但它仍然得到了很广泛的应用,是研究并发程序同步与互斥的必不可少的工具.尽管如此,也有一些问题用信号量描述起来比较困难或比较复杂.下面是一个典型的入厕问题: 展开更多

关键词 并发程序设计 标记信号量 同步机制 互斥机制

在线阅读 下载PDF 职称材料

Godson-T众核体系结构上的Broadcast性能优化 被引量：3

9

作者 包尔固德 李伟生 +2 位作者 范东睿 杨扬 马啸宇 《计算机研究与发展》 EI CSCD 北大核心 2010年第3期524-531,共8页

Godson-T是中国科学院计算技术研究所计算机系统结构重点实验室先进微系统组正在研制开发的适合于超深亚微米工艺实现的大规模片上众核系统.Godson-T片上存储的单端口结构节省了芯片面积但制约了共享数据的读取效率.直接在Godson-T上实... Godson-T是中国科学院计算技术研究所计算机系统结构重点实验室先进微系统组正在研制开发的适合于超深亚微米工艺实现的大规模片上众核系统.Godson-T片上存储的单端口结构节省了芯片面积但制约了共享数据的读取效率.直接在Godson-T上实现传统的Broadcast算法需要大量的同步互斥开销,无法达到很好的性能提升.基于Godson-T体系结构,对数据共享的重要并行算法Broadcast进行优化,提高了Godson-T体系结构下的数据共读的效率.主要采取了以下3项技术:消除大规模的线程同步,建立源地址到目的地址的映射表和用汇编语言实现Broadcast的核心部分.优化后Broadcast在小核数为32时即可达到5.8倍加速比. 展开更多

关键词 Godson-T 众核 BROADCAST 同步 互斥 共读 映射表 加速比

在线阅读 下载PDF 职称材料

基于一致性算法的多虚拟同步机功率振荡协调抑制 被引量：9

10

作者 林继灿 刘沈全 +1 位作者 王钢 黄敏 《电网技术》 EI CSCD 北大核心 2023年第11期4668-4678,共11页

虚拟同步机控制(virtual synchronous generator,VSG)在模拟同步发电机特性以提供惯量支撑的同时,不可避免地引入了有功功率振荡的问题,特别在多个VSG交互的情形下,VSG之间较低的互阻尼加剧了振荡的波动性,这些振荡将损害系统的稳定运... 虚拟同步机控制(virtual synchronous generator,VSG)在模拟同步发电机特性以提供惯量支撑的同时,不可避免地引入了有功功率振荡的问题,特别在多个VSG交互的情形下,VSG之间较低的互阻尼加剧了振荡的波动性,这些振荡将损害系统的稳定运行和可再生能源的有效调节。目前,在采用分布式通信架构抑制多VSG并联有功振荡的方法中,未考虑有功合理出力以及非理想通信条件下算法收敛等问题。因此,为抑制系统功率振荡,提高系统之间的互阻尼,首先分析了VSG系统并联交互振荡的原理,同时利用功角构造性能评价函数,推导出一种增加互阻尼的一致性算法,使得扰动下系统内VSG的频率快速收敛达到一致。其次通过构造李雅普诺夫能量函数的方法证明了所提方法的稳定性,在此基础上,利用频域的Nyquist曲线分析互阻尼参数对系统稳定性的影响。最后,通过电磁暂态仿真证明了互阻尼的一致性算法能有效抑制并联VSG系统的功率振荡,同时在非理想通信环境下也能保证算法的有效性。 展开更多

关键词 虚拟同步机 功率振荡 互阻尼 一致性算法 李雅普诺夫能量函数

在线阅读 下载PDF 职称材料

一种高性能的多光驱AUDIO光盘镜像及并行压缩算法 被引量：2

11

作者 罗梅 万继光 詹玲 《计算机工程与应用》 CSCD 北大核心 2003年第17期74-76,106,共4页

论文分析了光盘镜像和MPEG压缩分别占用系统IO和CPU的特点,将二者有机地结合,充分利用了系统的资源,提出了多个光驱同时镜像Audio光盘且并行压缩算法,并详细讨论了这个算法的设计与实现。

关键词 光盘镜像 压缩 缓冲区 同步互斥 并行 临界资源 临界区

在线阅读 下载PDF 职称材料

哲学家就餐问题的算法实现 被引量：1

12

作者 高升 陈月峰 《计算机工程与科学》 CSCD 北大核心 2016年第2期269-276,共8页

针对哲学家就餐问题这一操作系统中进程间通信的经典范例,设计了该范例的一个具有代表性的算法的技术实现方案。方案以Linux操作系统作为运行平台,通过进程而不是线程来体现哲学家的并发行为特征,以自动和随机相结合的灵活自然的人机交... 针对哲学家就餐问题这一操作系统中进程间通信的经典范例,设计了该范例的一个具有代表性的算法的技术实现方案。方案以Linux操作系统作为运行平台,通过进程而不是线程来体现哲学家的并发行为特征,以自动和随机相结合的灵活自然的人机交互模式模拟哲学家的状态,控制其状态切换;提出了两种形式的哲学家状态监控程序,它们能够生动、直观、准确地表达出哲学家状态的变化过程。字符形式的监控程序在字符终端和图形终端中均可使用,主要面向以超级终端登录到多用户Linux系统的用户;利用QT5开发的动画形式的监控程序适合在桌面Linux的图形终端中使用。 展开更多

关键词 操作系统 进程同步与互斥 信号量 共享存储器 哲学家就餐问题 状态监控程序

在线阅读 下载PDF 职称材料

多处理机UNIX的实现技术

13

作者 金国华 曹琳 陈福接 《计算机研究与发展》 EI CSCD 北大核心 1993年第2期15-20,14,共7页

本文从多处理机系统发展的要求和UNIX的特性两个方面出发,论述了多处理机与UNIX相结合的必然性。由于UNIX的初衷并不是为多处理机设计的,这就必然会引起一些问题。本文就进程间互斥与同步,进程间通讯,多任务调度和存储管理四个方面探讨... 本文从多处理机系统发展的要求和UNIX的特性两个方面出发,论述了多处理机与UNIX相结合的必然性。由于UNIX的初衷并不是为多处理机设计的,这就必然会引起一些问题。本文就进程间互斥与同步,进程间通讯,多任务调度和存储管理四个方面探讨了实现多处理机UNIX存在的问题并提出了一些解决方法。 展开更多

关键词 多处理机 UNIX 实现

在线阅读 下载PDF 职称材料

一个分布式K互斥算法的概率模型检测

14

作者 刘来 骆翔宇 《计算机应用研究》 CSCD 北大核心 2015年第4期1036-1039,共4页

传统的验证方法难以保证分布式K互斥算法的有效性和安全性。为解决这一问题,给出了进一步的研究,提出一种基于概率模型检测器PRISM的方法,对Kerry Raymond的分布式K互斥算法进行形式化建模与分析验证。通过设置算法中各个进程进入临界... 传统的验证方法难以保证分布式K互斥算法的有效性和安全性。为解决这一问题,给出了进一步的研究,提出一种基于概率模型检测器PRISM的方法,对Kerry Raymond的分布式K互斥算法进行形式化建模与分析验证。通过设置算法中各个进程进入临界区的时间而得出的结果中发现,改变临界区的数目K,对于某一进程进入临界区的平均及时时间的影响并不大。如果某一进程的执行时间比其他进程大很多,则K的增加可以提高运行效率。最后证明了这一结论。 展开更多

关键词 分布式K互斥算法 概率模型检测 PRISM 平均及时时间

在线阅读 下载PDF 职称材料

加权互斥最大集合覆盖问题的精确算法 被引量：1

15

作者 周晓清 叶安胜 张志强 《计算机工程与设计》 北大核心 2020年第12期3412-3418,共7页

加权互斥最大集合覆盖问题是一个NP难问题,为解决该问题设计一个分支搜索算法,采用测量治之方法对算法运行时间界进行分析,得到算法的时间复杂度为O^*(1.3132 m),改进该问题原有的最佳运行时间界O^*(1.325 m)。通过比较可知,基于测量治... 加权互斥最大集合覆盖问题是一个NP难问题,为解决该问题设计一个分支搜索算法,采用测量治之方法对算法运行时间界进行分析,得到算法的时间复杂度为O^*(1.3132 m),改进该问题原有的最佳运行时间界O^*(1.325 m)。通过比较可知,基于测量治之方法分析得到的结果优于传统方法分析得到的结果,可以在不改变算法的前提下通过度量设置的改变进一步改进算法的运行时间界,度量设置方案越详细得到的结果更好。 展开更多

关键词 NP难问题 分支搜索 测量治之 精确算法 加权互斥最大集合覆盖问题

在线阅读 下载PDF 职称材料

并发程序设计的互斥、同步及其复杂性

16

作者 於崇定 《南京邮电学院学报》 北大核心 1989年第4期77-83,共7页

并行性指同时性和并发性.由于进程的并发执行,产生资源共享问题,必须考虑进程的互斥与同步问题,这增加了程序设计的难度.本文讨论并发程序设计中的互斥及同步方法,并以SISD,SIMD,MIMD等3种计算机系统结构为例,分析各种并发程序的复杂性... 并行性指同时性和并发性.由于进程的并发执行,产生资源共享问题,必须考虑进程的互斥与同步问题,这增加了程序设计的难度.本文讨论并发程序设计中的互斥及同步方法,并以SISD,SIMD,MIMD等3种计算机系统结构为例,分析各种并发程序的复杂性函数.这里主要讨论程序执行时的时间复杂性问题. 展开更多

关键词 程序设计 复杂性理论 互斥 同步

在线阅读 下载PDF 职称材料