删除策略的相容性

本文给出关于删除策略相容性的几个结果，对相同谓词符号配用锁的子句集，锁归结和删除策略联用完备，对正文字锁大于负文字锁的Ｈｏｒｎ集，正单元锁归和删降策略联用完备，输入锁结与删除策略联用完备，配锁Ｈｏｒｎ集上输入半锁归结和删除联用完备的，标准Ｈｏｒｎ集上正单元强有序归结和删除策略联用完备，强有序输入归结和删除策略联用完备。     

CSR1011在线升级和CSR Mesh组网的智能地锁设计

设计了一种共享停车位上的智能地锁,该智能地锁以蓝牙芯片CSR1011为核心,通过AMI304E地磁检测芯片检测停车位磁场的变化,以L9110S电机驱动芯片来驱动地锁栏杆,通过控制地锁扬声器以方便车主发现地锁位置.该蓝牙芯片特有的OTAU(在线升级)功能和CSR Mesh组网技术能使所有智能地锁互联互通,真正实现空闲停车位的共享.     

标记目标法—实现数据一致性和原子操作的一种新方法

本文对共享存储的数据一致性和锁单元的问题提出了一种新方法－标记目录法，并介绍在某多机系统中已经实现了的具体方案，还对各种目录法作了性能比较，结果表明标记目录法开销少，速度快，而且也适用于虚拟共享存储的ＭＰＰ系统。     

标记目录法——实现数据一致性和原子操作的一种新方法

本文对共享存储的数据一致性和锁单元的问题提出了一种新方法——标记目录法，并介绍在某多机系统中已经实现了的具体方案；还对各种目录法作了性能比较，结果表明标记目录法开销少、速度快，而且也适用于虚拟共享存储的ＭＰＰ系统。     

集成用户可定制锁和操作转换的并发控制方法

锁是一种用于分布计算和数据库系统的传统的并发控制方法,它通过将对共享对象的修改访问权在某一时间内授予唯一的访问者,以使对共享对象的访问得以串行化;操作转换方法是一种用于实时协同系统中一致性维护的方法。这两种方法均不能完全解决数据一致性问题。论述了锁机制和操作转换在一致性维护中的互补关系,提出了一种用户可定制的锁方法,并将该锁方法与操作转换结合起来应用于全复制式的协同环境中。用户可定制的锁机制集成操作转换方法具有可靠性高、响应速度快和非阻塞的特点;用户动态定制加锁粒度可以保证最大程度的并发性。该方法有效地解决了实时群件系统中一般的一致性问题和特定上下文的一致性问题。     

域一致性新型锁同步机制的实现

域一致性新型锁同步机制的实现将软件分布式共享存储系统所使用的基于域一致性协议锁机制以新的方式加以实现。它充分利用 SMP 结构所具有的特点, 以多级方式实现锁同步机制, 在结点内部使用了共享空间来实现锁的进程间信息的传递, 让锁的获得、释放所需消息总量及消息传送次数大大减少, 提高了锁的实现效率, 进而程序的执行速度获得了提高。     

域一致性新型锁同步机制的实现

域一致性新型锁同步机制的实现将软件分布式共享存储系统所使用的基于域一致性协议锁机制以新的方式加以实现。它充分利用SMP结构所具有的特点,以多级方式实现锁同步机制,在结点内部使用了共享空间来实现锁的进程间信息的传递,让锁的获得、释放所需消息总量及消息传送次数大大减少,提高了锁的实现效率,进而程序的执行速度获得了提高。     

域一致性新型锁同步机制的实现

域一致性新型锁同步机制的实现将软件分布式共享存储系统所使用的基于域一致性协议锁机制以新的方式加以实现.它充分利用SMP结构所具有的特点,以多级方式实现锁同步机制,在结点内部使用了共享空间来实现锁的进程间信息的传递,让锁的获得、释放所需消息总量及消息传送次数大大减少,提高了锁的实现效率,进而程序的执行速度获得了提高.     

域一致性新型锁同步机制的实现

域一致性新型锁同步机制的实现将软件分布式共享存储系统所使用的基于域一致性协议锁机制以新的方式加以实现.它充分利用SMP结构所具有的特点,以多级方式实现锁同步机制,在结点内部使用了共享空间来实现锁的进程间信息的传递,让锁的获得、释放所需消息总量及消息传送次数大大减少,提高了锁的实现效率,进而程序的执行速度获得了提高.     

关系数据库网络应用的共享 冲突及系统优化

以VisualFoxpro3．0和STLServer6．x为例，分析了多用户同时访问数据库时的共享特性及锁管理器对冲突的处理，分析了数据库的物理设计对共享、冲突的影响，对系统调整优化的措施进行了描述。     

浅议新一代门禁电控锁——机电一体锁（上）

随着门禁系统在各类建筑中的广泛应用，电控锁作为门禁系统的重要组成部分，越来越受到市场的关注。本文通过介绍电控锁的分类，聚焦新一代门禁电控锁——机电一体锁，与业内人士共享一道电锁佳肴。由于文章篇幅较长，将分上、下两期在本刊呈现，尽请关注。     

基于Petri网合成与化简的分布式数据库系统并发控制的死锁检测

利用模块化设计的思想，首先为分布式数据库系统中各事务的每一种操作(读锁、写锁、解锁)构造一个基本的加权Petri网模型，并给出了加权Petri网共享合成的概念、然后利用共享合成技术，动态地构造各站点的加权Petri网模型，以适应系统的动态变化．此外，本文利用Petri网的化简技术，极大地简化了各站点的Petri网模型，之后利用同步合成技术构造出整个系统的Petri网模型，较好地解决了Petri网的可达性分析中可能出现的状态“爆炸”问题．最后给出了判断整个系统是否出现死锁的充分必要条件．     

面向分布式协同设计的对等信息共享系统

为了实现分布式协同设计中的共享信息快速检索以及多副本同步，提出了基于对等网结构的信息共享系统，给出了该信息共享系统的节点模型、管理策略及信息检索模型，提出了一种结合分布式哈希表和聚类的检索方法，保证了用户能够在协同设计系统中快速地精确检索和“盲目”检索，实现了系统的用户透明。为了保证分布式多副本同步，提出“对等锁”作为一致性维护方法。该文给出了系统的具体实现方法，并给出了实例。     

一种具有身份锁的门限多秘密共享方案

为了避免现有秘密共享方案中不同秘密的访问控制结构可能相同的问题,提出一种基于身份锁的门限多秘密共享方案,身份锁决定秘密的授权子集,只有授权子集中的用户可以恢复秘密,对不同的秘密存在不同的身份锁。在保持子秘密可重复使用及可检测欺骗行为的前提下,不增加任何参与者的信息交互,有效地解决了不同秘密的访问控制结构难以更改的问题。同时,基于会话密钥协商算法,该方案不需要预设系统存在安全通道来传输秘密份额,因此具有较好的安全性和实用性。该方案非常适用于视频会议、文件分发等基于身份权限访问控制的门限多秘密共享场景。     

一种基于发生序和锁集的BPEL数据竞争静态检测方法

BPEL利用flow和link提供了并发和同步的机制,而Isolated Scope则提供了并发情况下对共享变量访问的控制,同时BPEL还引入了死路删除等一些新的特性。对BPEL流程进行了建模,把BPEL流程转化为BCFG图,提出了一种结合发生序和锁集的静态检测BPEL流程数据竞争的方法。该方法利用向量时钟计算BPEL基本块的发生序关系,判断BPEL基本块是否可并发执行,然后根据BPEL基本块是否有锁保护以及对共享变量的访问情况,来判断BPEL流程是否存在数据竞争。锁集的引入提高了数据竞争判断的准确度,另外该方法还引入了对共享变量访问事件冗余度的分析,减少了算法的开销。     

一种链状数据结构细粒度自动加锁方法

细粒度锁在并行编程与并发软件设计中起着重要的作用.然而,细粒度锁对程序员具有较高的要求,通常在设计细粒度锁并发程序时会带来算法复杂,编程困难,程序易出错等问题.提出一种链状数据结构的细粒度加锁方法,并实现自动转换含有形状和共享标注的程序为细粒度锁代码的翻译器,为了使生成的代码具有无死锁,引入了一致性加锁协议,实验结果表明,基于本文方法能够自动为链状数据结构操作添加细粒度锁,生成的代码具有较高的并发性.     

Java虚拟机中的只读锁优化

Java虚拟机使用锁机制来实现多线程共享数据结构的同步.锁机制维护的临界区通常对共享数据结构只进行读操作.只读锁是指当某个线程持有锁在只读临界区时,其他线程可以直接进入只读临界区而无需等待.只读锁能极大地提高锁机制的同步性能.Java虚拟机的锁机制可分为轻量级锁和重量级锁两层,当线程冲突时从轻量级锁转向重量级锁.本文分别从轻量级锁和重量级锁两个层次分别进行只读锁优化.轻量级锁的只读优化算法可以减少原子操作的开销;重量级锁的只读优化算法则可以使多个线程同时在只读临界区中.最后在Java虚拟机HotSpot中实现只读锁优化,并且在龙芯3A上进行实验.性能测试用例包括单线程Java程序、多线程Java程序以及SPECjvm2008.实验结果表明,上述优化方法能极大降低线程进入和退出只读临界区的开销,提高Java虚拟机的同步性能.     

数据库并发处理中“锁”的研究与应用

本文阐述了数据库并发处理的关键方法,详细分析和研究了数据库并发操作产生数据不一致问题的原因,以及独占锁、共享锁和更新锁的基本特征和应用,重点讨论了产生死锁的原因,从使用者角度对如何有效提高数据的并发处理和共享效率提出了一些建议。     

基于树型结构的共享文档副本的语义一致性维护

锁操作在实时协同编著系统中用于共享文档副本的语义一致性维护.针对已有线性结构文档中锁操作转换算法效率低下的问题,对文档采用树型结构的表示方法,在文档的不同层级引入可选锁机制,并提出一个新的锁操作转换算法TreeLock_GOTO,大大提高了锁操作转换算法的执行效率.     

一种含共享变量维持声明的并行程序语言

现今的并行编程实践多采用锁来同步对共享资源的访问,编程难且易出错;新引入的原子区构造虽简化了编程,但支持其实现的软硬件技术尚不令人满意.本文就同步提出一种新的语言级抽象-共享变量维持声明,它允许程序员从局部于线程的观点声明当前线程对某共享变量s访问的维持需求,即声明当前线程在运行时从上次访问s到这次访问s期间不允许其他线程访问s.从而,程序员无须考虑该如何使用锁等具体机制来同步对共享变量的访问,也可以避免或解决原子区所面临的一些问题.本文给出了共享变量维持声明的语法和语义描述,讨论了由这种声明信息生成共享变量访问控制代码的方法.