基于高可信体系安全锁协议算法研究

介绍了一个应用于多级数据库的安全两阶段锁协议算法。该算法通过将锁表分为多个密级 ,当锁冲突时高密级事务部分回滚的方式来避免在多级安全数据库中实施两阶段锁协议时的隐通道问题 ,同时为了应用于高可信体系 ,算法通过将事务管理器从可信模块中分离出来的方法来实现高可信体系中可信模块最小化的要求。本文给出了该协议的具体算法和实现结构 。

XML的并发加锁协议

随着XML数据库管理系统 (XMLDBMS)研究的日益深入 ,研究基于树型结构的XML数据的并发控制协议变得十分重要 由Silberschatz和Kedem提出的树加锁协议 (treeprotocol)是基于静态树结构数据而定义的 而XML数据是动态变化的树型结构数据 针对XML数据的特点 ,定义了一个操作集 ,它可以将一个树型结构的XML文档变化为另外一个合法的树型结构的XML文档 该操作集的最大特点是其操作对象为一棵子树而非一个结点 在这个操作集基础上定义了XML动态树协议XDTP(XMLdynamictreeprotocol) ,并证明了该协议能继续保持静态树协议的优良特性 :可串行化 (serializability)和无死锁 (deadlock freedom) 在实际的数据集上进行了实验 。

二维协同工作空间的并发操作加锁协议

提出一种用于在二维工作空间中协同作业的并发操作加锁协议和相应的锁调度算法·协议采用悲观锁,以抽象的二维空间为并发操作的对象,支持任意锁粒度,具有无死锁性质·加锁协议和算法在一个实时分布式协同绘图系统中实现·协议的实现采用多Agent系统模型,将面向Agent的程序设计中Agent的情绪值的概念用于控制锁的释放和调度,支持并发操作者之间的主动协同和细粒度感知·

一种利它锁协议及其操作原语

针对长事务在较长一段时间内占有数据库资源 ,明显地延迟了短事务和普通事务的执行这一问题 ,对两步锁进行改进和扩充 ,给出一种利它锁协议及其操作原语 ,让长事务按一定的协议较早地释放其占用的锁 ,使需要存取这些被锁数据的事务在长事务处于唤醒状态时 ,遵循一定的锁规则同时运行。

视频会议系统中对象共享的非上锁协议

本文提出了一种在以桌面视频会议系统为代表的硬实时多任务系统中对象共享的非上锁协议,并推导出在此协议下各任务的定时限制可满足性的充分条件,这表明非上锁共享对象协议是可行的。

XML数据库并发加锁协议的研究

针对XML数据动态树型结构的特点,定义了内容操作集和结构操作集。在此基础上,提出一种基于此操作集的动态加锁协议以及锁模型,并证明了此加锁协议下的调度是可串行化调度,从而实现了XML原生数据库的事务并发控制。

一个基于多线程的优先级继承协议锁的算法研究

实时线程库对构造实时中间件和开发具有良好可移植性、有实时要求的分布式应用具有重要意义 .防止优先级翻转的线程互斥和同步机制是实现实时线程库的核心 ,目前多数的线程库都缺乏这种机制 .基于优先级继承协议 ,提出了一个防止优先级反转的互斥算法 .算法能够保证操作的原子性 ,可以避免发生死锁 ,且能够有效地防优先级翻转 .在 Windows和 Solaris平台上对性能进行了分析 ,并将算法应用到了实时

青藏铁路无线机车信号联锁通信协议转换的研究

青藏铁路无线机车信号联锁通信协议与试验站场的联锁通信协议不一致,提出一种用C语言编写协议转换软件的方法,有效地解决联锁通信问题。介绍无线机车信号系统的功能和结构,对联锁通信协议转换的原理和软件实现方法做详细说明。经过现场试验,系统联锁通信表现出良好的稳定性和可靠性。

基于NB-IoT技术的智能井盖锁系统的设计

针对电力、通信、供暖等窖井存在井盖或其井内设备容易被盗、人工巡检不及时、运维成本高、易倾斜存在安全隐患的问题,设计基于NB-IoT技术的智能井盖锁系统,以STM32L051C8T6超低功耗芯片为控制芯片,采用NB-IoT技术进行通信,运用NFC技术设计安全的开关锁协议,通过智能井盖管理软件实现对井盖的实时监测以及对井盖打开的记录。测试结果表明,该系统具有超低功耗、工作稳定、组网简单、实时性响应良好等特点,能够极大提高管理人员的效率,具有良好的发展前景。

适用于实时数据库系统的并发控制协议

在实时数据库系统中,由于其事务处理的限时特性,对传统数据库访问的并发控制机制发出了挑战。从并发操作中常出现的3类冲突着手分析,在传统并发控制协议——两阶段锁(2PL)的基础上改进其封锁机制,提出一种新的并发控制协议。它以空间代价的付出换取并发度的提高,使等待时间和死锁现象大大减少,有效地满足了系统的实时性要求。

基于MPCP协议的任务最坏阻塞时间分析

多处理器天花板协议(MPCP)是经典的基于挂起机制的实时锁协议,被广泛应用于分组固定优先级(P-FP)调度下的多核/多处理器实时系统中。然而针对P-FP+MPCP调度的任务最坏阻塞时间分析往往过于保守,影响系统的可调度性。因此,该文提出一种计算实时任务最坏阻塞时间的新方法。其中实时任务模拟为非临界区与临界区的交替序列。该方法通过分析任务多次请求某一共享资源所需的最短执行时间,以及任务在任意时间内累计执行临界区时间的上限,提高了已有分析方法的计算准确性。可调度性实验表明,该方法优于已有方法,提高了系统可调度性。

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

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

优化认证消息流防止中间人攻击

中间人攻击是对网络协议的攻击,该攻击普遍存在并危害较大,很多安全协议也面临威胁。按照发展层次比较了对一般通信、附加认证和安全协议的通信和受保护认证通信的中间人攻击方式,分析了可以避免该攻击的几种方法。以联锁协议为基础,以受保护的认证协议为例,提出了通过改变认证消息序列避免攻击的安全认证协议构造方法。

面向对象数据库的事务管理

首先讨论如何将传统事务管理扩充到面向对象数据库系统 (OODBS) ,介绍拟在系统中实现了的一些并发控制技术及系统中将日志用于多媒体数据和索引页恢复的问题。最后讨论长事务的管理。

基于XPath的XML数据库并发控制机制

并发控制是改善数据库系统性能的最重要的机制,在XML数据管理中并发控制已经成为一个重要的研究课题.给出了一种基于XPath路径查询语言的XML数据库并发控制机制,定义了XPLock锁协议模型以及锁协议规则,讨论了并发控制操作流程,并验证了在此锁协议机制下的并发调度是可串行化调度.最后通过实验表明提出的XPLock锁协议在并发度、锁粒度等方面是一种有效的XML并发控制机制.

SET-MRTS:一种多处理器实时系统可调度性实验平台

近年来,随着实时调度研究的快速发展,可调度性实验的复杂性随之增加,然而,由于缺乏标准化、模块化的可调度性实验工具,研究者往往需要耗费大量时间进行实验;此外,由于实验源码不能公开获得,使得实验结果难以验证,实验代码难以重用与扩展。针对可调度性实验重复工作量大、难以验证的问题,提出一种可调度性实验基础框架。该框架通过随机分布产生任务系统集合,并测试其可调度性,基于该框架设计并实现了一个新的可调度性实验开源平台——SET-MRTS。该平台采用模块化架构设计了任务模块、处理器模块、共享资源模块、算法库、配置解析模块以及输出模块。实验结果表明,SET-MRTS支持单/多处理器实时调度算法和实时同步协议分析,能够正确地进行可调度性对比实验,输出直观的实验结果,并且支持算法库的扩充,与算法库中已实现的算法进行对比实验,具有良好的兼容性与可扩展性。SET-MRTS是第一个支持完整实验流程,包括算法实现、参数配置、结果统计、图表绘制等的可调度性实验开源平台。

XML数据库并发控制机制的研究

并发控制是改善数据库系统事务性能的最重要的机制,多用户事务并发问题在XML原型数据库领域是一个难点。通过一种类XPath数据模型,定义基于此模型的几种XML数据库操作。在此基础上,提出一种基于XPath的锁协议(XPL)以及锁模型,并验证在此锁协议机制下的调度是可串行性调度,从而实现了XML原型数据库的多用户事务并发控制。最后通过实验对XPL协议的并发性能进行测试和分析。

分布式实时数据库系统中事务并发控制策略研究

本文主要对分布实时数据库系统中的事务并发控制进行探讨,结合虚拟锁和乐观法等思想,提出两种新的解决方案:2PL-HP协议和OPT-Sacrifice协议.前者可提高事务的并发度,减少阻塞的发生,从而满足实时性的要求;后者在提高事务并发度的基础上尽量保护那些己经进入提交状态的事务,降低无辜牺牲的几率,从而减少因为错过执行期限而被迫废弃的事务的数目,满足事务的实时性要求.

实时事务的两级并发控制策略

针对实时数据库系统(RTDBS)并发控制调度策略的单一性,通过对实时事务特征与冲突类别的分析,提出了一种两级并发控制策略,并重点分析和讨论了有关嵌套事务并发控制的封锁协议,有效提高了实时数据库系统的性能.

失稳网络非均衡断网故障排除系统设计

为解决由负载分配不均造成的断网故障问题,设计新型失稳网络的非均衡断网故障排除系统。在非均衡网络负载框架中,重新分配失稳网络故障探查模块、排除编译器两个单元结构所占比重,实现新型故障排除系统的硬件运行环境搭建。在故障排除服务器的支持下,规范断网故障数据表、非均衡失稳网络锁协议的联结形式,实现新型故障排除系统的软件运行环境搭建,结合软、硬件运行结构,完成失稳网络非均衡断网故障排除系统设计。对比实验结果显示,与现有故障排除系统相比,在非均衡网络失衡状态比为0.33和0.47的条件下,应用新型失稳网络非均衡断网故障排除系统,能使负载分配均衡率达到90%,有效解决由负载分配不均带来的断网故障现象。