基于增广有色Petri网带封锁机制的并发控制模型

本文用带抑制/容许弧的增广有色Petri网构建一类带封锁机制的数据库并发控制模型,此模型适用于描述多个事务访问多个共享资源。其中采用了2PL协议解决了数据库中并发所引起的数据不一致性,并采取了FIFO策略避免了2PL协议引起的活锁问题,且给出死锁检测方法。     

多版本两阶段封锁并发控制协议性能研究

在并行实时数据库中，并发控制协议不仅要满足数据库一致性约束，而且要满足时间约束。本文提出了实时多版本两阶段封锁并发控制协议，它能有效地减少延误截止时间事务数量。作者通过仿真模拟，在共享磁盘体系结构下与HP2PL和OCC-TI-WAIT-50协议进行了比较。实验结果表明，该协议比HP2PL和OCC-TI-WAIT-50协议性能更好。     

实时Client/Server数据库多版本两个阶段封锁并发控制协议

提出了实时Client／Server数据库多版本两阶段封锁并发控制协议．该协议具有多版本并发控制机制与两阶段封锁机制的优点，使用如下策略以减少延误截止时间事务数量：若冲突集中有比持锁事务Ti优先级高的事务，且Ti重启动不会延误截止时间，则Ti重启动，冲突集中优先级最高的事务获得锁；否则，冲突集中其它事务等待．为了提高只读事务的响应时间，客户端设有一致数据库影子，只读事务在客户端处理．通过仿真模拟，与2V2PL和OCC—TI—WAIT—50协议进行比较，结果表明：该并发控制协议不仅能有效降低事务延误截止时间率，而且能改善只读事务的响应时间，减少优先级高事务的锁等待时间．协议性能优于2V2PL协议和OCC—TI—WAIT—50协议．     

实时Client/Server数据库并发控制和恢复机制研究

该文提出了实时Client／Server数据库系统多版本两阶段封锁并发控制协议和有效的恢复机制。协议区分只读事务和更新事务。只读事务在执行读操作时遵从多版本时间排序协议,更新事务执行强两阶段封锁协议,即持有全部锁直到事务结束。只读事务读请求从不失败,不必等待等特性。在典型数据库系统中,读操作比写操作频繁。这个特性对于实践来说至关重要。为了提高只读事务的响应时间,协议让每个客户端与一个一致数据库影子相联,只读事务在客户端处理。更新事务提交到服务端运行。服务端每个事务Ti在提交时系统必须向所有客户端广播信息。客户端根据得到的广播信息自动构造一致数据库影子。一致数据库影子还将用于系统恢复。通过仿真模拟。与2V2PL和OCC-TI-WAIT-50协议进行比较,结果表明：该并发控制协议不仅能有效降低事务延误截止时间率和重起动率,而且能改善只读事务的响应时间,减少优先级高事务的锁等待时间。协议性能优于2V2PL协议和OCC-TI-WAIT-50协议。     

支持工程合作设计事务的扩充分层封锁机制

简单读/写锁模型对工程合作设计事务支持较弱。该文结合工程数据库的层次性,提出了基于2PL的扩充分层封锁机制,能够较好地支持工程合作设计事务的进行和提高事务的并发度。     

用积分法处理分布式数据库中的多副本并发控制问题

在分布式系统中,采用的并发控制(CC)方法对事务处理系统的性能有着重要影响。介绍了主要的并发控制方法、加锁模型和两阶段锁(2PL)协议,提出了基于锁机制且遵守2PL协议的悲观控制方法--积分法。该方法既能减少网络中数据的传送量,又具有很好的并发性,可以很好地处理多副本并发控制问题。实验结果证明,该积分法可以比其他方法取得更好的性能。     

多版本两段锁协议优化

多版本两段锁MV2PL协议是集中式和分布式数据库中广泛采用的并发控制方法。文中对传统的多版本两段锁MV2PL协议进行了优化,提出了一种更适合数据库的事务执行方法。     

基于中间件技术的GIS中并发控制

当前GIS大都采用了关系数据库作为空间数据的存储媒介，但关系数据库支持的并发控制并不完全适用于空间数据，提出了一个在GIS应用层运用中间件技术实现对二维空间数据并发控制的方法，在封锁粒度方面，采用了面向四叉树封锁，在封锁类型和封锁协议中，扩充了原有的锁，增加了强弱意向锁，使其更加协调各种不同级别的封负的并发控制，在封锁协议中，由于采用了中间件技术，只需利用一级封锁协议。     

工程数据库中一种支持合作设计事务的并发控制机制

长期性，合作性与用户控制是工程设计环境对数据库事务的新要求，传统的并发控制机制缺乏支持，文中提出了嵌套二阶段有序相容性锁协议以嵌套事务模型为基础，以有序相容性封锁为并控制手段，能够较好地支持上述要求，此外由于该协议是基于二阶段封锁协议，因此易于在现有ＤＢＭＳ中通过扩充来实现，是一个实用的并发控制机制。     

移动实时嵌套事务的并发控制

在移动计算环境中，事务移动性和无线网络固有的缺陷使得传统分布式实时事务管理机制不足以支持移动实时事务的执行，故有必要为移动实时事务研究新的事务处理机制以提高其成功率．该文着重研究移动实时事务的并发控制机制．首先，该文给出了一个考虑事务定时限制以及移动性的嵌套事务模型．然后，为减少移动分布式环境中解决数据冲突的开销，该文研究了一种结合优先级夭折和优先级继承的基于封锁的并发控制协议PAI-2PL．当高优先级事务被低优先级事务阻塞时，对于相同家族事务，采用优先级继承方法解决冲突；而对于不同家族事务，则夭折重启低优先级事务．另外，为减少由于断接所引起的无效阻塞，PAI-2PL允许低优先级事务夭折处于断接状态的高优先级事务．通过性能测试，表明所提出的事务模型及并发控制机制能提高实时事务的成功率．     

实时主动数据库有效性检查并发控制协议

在实时主动数据库中,事务不仅有时间约束,而且事务执行可能触发其它事务执行。传统并发控制协议不适应于实时主动数据库系统。该文研究了实时主动数据库事务执行模式,提出了有效性检查并发控制协议。协议使用动态调整串行次序策略,避免不必要的事务重启动。通过仿真模拟与HP2PL协议和OCC-TI-WAIT-50协议进行了比较。结果表明,该协议能有效地降低事务延误截止时间率和事务重启动率,性能优于HP2PL和OCC-TI-WAIT-50协议。     

RCC高速缓存一致性协议的带参验证

Godson-T众核处理器的RCC高速缓存一致性协议是一种非常有特色的带参并发系统,对此协议的带参验证是一个很大的挑战。 Cubicle是最近出现的基于SMT求解器的带参模型检测工具。我们使用了Cubicle带参模型检测工具,成功对RCC协议进行了建模和验证。实验结果表明, RCC协议在结点个数为任意规模时均满足协议的各种安全性质。     

基于模型检测的多轮FR协议验证

随着网络的大规模应用,越来越多的协议在并发环境中执行,时间也成为协议中一个重要因素.本文对公平交换协议Franklin/Reiter协议加入了时间因素,用时间自动机对其建模,并用自动验证工具UPPAAL验证了单轮协议的性质.重点验证了并发环境中多轮协议的执行情况,最后给出了协议在多轮情况下正常执行需满足的条件.     

Distributed transactional memory for metric-space networks

Transactional Memory is a concurrent programming API in which concurrent threads synchronize via transactions (instead of locks). Although this model has mostly been studied in the context of multiprocessors, it has attractive features for distributed systems as well. In this paper, we consider the problem of implementing transactional memory in a network of nodes where communication costs form a metric. The heart of our design is a new cache-coherence protocol, called the Ballistic protocol, for tracking and moving up-to-date copies of cached objects. For constant-doubling metrics, a broad class encompassing both Euclidean spaces and growth-restricted networks, this protocol has stretch logarithmic in the diameter of the network. Supported by NSF grant 0410042 and by grants from Intel Corporation and Sun Microsystems.     

基于Petri网的密码协议形式化建模

密码协议是安全共享网络资源的机制和规范,是构建网络安全环境的基石,其安全性对整个网络环境的安全起着至关重要的作用。提出了采用Colored Petri Nets(CPN,着色Petri网)分析密码协议的新方法。采用新方法对TMN协议的多次并发会话通信进行形式化建模,模型依据会话配置和会话顺序进行功能单元划分,采用on-the-fly方法生成攻击路径。采用状态空间搜索技术,发现了该协议的多次并发会话不安全状态,并获得了新的攻击模式。     

一种基于节点位置信息的无线传感器网络并行传输MAC协议

针对无线传感器网络多跳通信方式产生的暴露终端问题,提出了一种基于地理位置信息的高效并行传输LACT-MAC协议。该协议突破了传统基于CSMA协议对并行传输的限制,利用节点地理位置信息实现了暴露终端的并行传输,有效地提高了宝贵无线信道资源的复用效率。分析了根据节点的位置坐标并行传输暴露终端节点的可行性,并通过并行传输检测完成了传输过程。仿真结果证明,与标准的IEEE 802.11DCF协议比较,LACT-MAC协议能显著提高网络的平均吞吐量,降低数据传输延迟,有效提高无线传感器网络效率和性能。     

基于可达关系的安全协议保密性分析

借助形式化的方法或工具分析安全协议是非常必要而且行之有效的.进程演算具有强大的描述能力和严格的语义,能够精确刻画安全协议中各个参与者之间的交互行为.作者以进程演算为基础,嵌入消息推理系统以弥补进程演算固有的缺乏数据结构支持的特点,尝试地提出了一个基于可达关系的安全协议保密性分析模型.基于此模型,形式化地描述了安全协议的保密性,证明了一定限制条件下的可判定性.并且以TMN协议为例,给出了该模型的实例研究.     

一种混合调度协议

一、前言调度器(Soheduler)是分布式数据库中事务并发控制的一部分,它接收事务管理器(TM)发来的操作,实现操作序列的可串行化。根据串行化理论的计算经历论LlJ,经历H是可串行化的当且仅当H的串行图SG(H)是无环的。     

Model Checking Data Consistency for Cache Coherence Protocols

A method for automatic verification of cache coherence protocols is presented, in which cache coherence protocols are modeled as concurrent value-passing processes, and control and data consistency requirement are described as formulas in first-orderμ-calculus. A model checker is employed to check if the protocol under investigation satisfies the required properties. Using this method a data consistency error has been revealed in a well-known cache coherence protocol. The error has been corrected, and the revised protocol has been shown free from data consistency error for any data domain size, by appealing to data independence technique.