基于全局目录的分布式数据库加锁管理算法

针对简单的分布式封锁方法和完全分布式加锁算法在加锁时所需通信开销大、封锁时间长、锁管理复杂的缺点,结合集中式数据库加锁管理算法的优点,指出了在分布式数据库中保持事务可串行化方面存在的难点,利用全局目录和事务调度器,提出了基于全局目录的分布式数据库加锁管理算法。该算法使用两阶段封锁协议和多粒度封锁协议,在全局目录服务器中使用全局锁管理器管理和维护全局目录中的锁结点信息并对分布式封锁请求进行集中控制和灵活管理,能有效地保证事务的可串行化调度,降低封锁时的通信开销。     

基于替代的嵌套事务夭折策略*

在支持功能替代的实时事务模型中,实时事务调度分为内部调度和外部调度两级,同时也改变了事务夭折模式。高性能的夭折策略有利于提高事务的成功率,减少不必要的资源开销。研究针对基于替代的事务模型,以及与事务两级调度策略相对应的两级夭折模式,并给出具体策略和算法。仿真实验结果表明,该方法能够较好地减少系统不必要的开销,提高系统成功率。     

动态多版本并行控制技术在主存数据库中的实现

针对主存数据库中以索引为基础的数据访问并行控制 问题提出了动态多版本技术，并考虑了记录数据和索引结点各自的多版本管理方案及相互联 系。实验证明该技术允许对数据库更新操作的并行执行，减少了对数据锁定的需求以及版本 维护所需的系统开销，同时保证了只读事务的无阻塞性，提高了系统的整体性能。该技术尤 其适用于以只读事务为主的应用。     

面向更新密集型应用的内存数据库高效检查点技术

面向更新密集型应用的内存数据库系统,其检查点技术应符合几个关键的要求,包括检查点操作对正常事务处理的干扰尽可能小、能够处理存取倾斜状况、支持数据库系统的快速恢复、提供恢复过程中的系统可用性等.该文提出一种事务一致的分区检查点技术,采用基于元组的动态多版本并发控制机制,避免了读写事务的加锁冲突,提高系统吞吐能力;检查点操作以只读事务形式实现,存多版本并发控制下,避免检查点操作对正常事务处理的堵塞;由于检查点文件是事务一致的,只需要记录事务的Redo 日志信息,在系统恢复过程中,只需要对日志文件进行一遍扫描处理,加快恢复过程;基于优先级的数据分区装载和恢复,使得恢复过程中新事务的数据存取请求迅速得到满足,保证了恢复过程中的系统可用性.由于采用两级版本管理机制以及动态版本共享技术,多版本管理的空间开销降低到可以接受的水平.实验结果表明,文中提出的检查点技术方案获得比模糊检查点技术高27%的系统吞吐量,同时版本管理的空间开销在可接受的范围之内,满足高性能应用的要求.     

一种基于属性谓词锁的数据库并发控制方法

当前,在OLTP数据库的应用场景中,事务通常由一些简单的查询构成,尤其是大量存在的基于主键的读写事务.在这种应用场景下,逻辑锁能够避免复杂的逻辑判定,通过基于简单比较的语义封锁来防止不可重复读、幻象读等问题,从而实现事务的串行化调度.为了提高事务读写的并发能力,针对当前OLTP应用的特点,在谓词锁的基础上进一步细分锁粒度,提出属性谓词锁的理论,并在给定的复杂度内讨论了该理论在上述应用场景下的可行性.此外,通过在国产神通数据库的事务线程框架下模拟TPC-C的事务并发,一个测试属性谓词锁与物理行锁性能差异的实验得以顺利进行.对比实验结果表明,属性谓词锁在相对固定的属性列上进行简单查询和更新的应用中,可以大幅度地减少加锁的数目,从而在CPU和内存开销等性能指标上占据优势.     

面向多核的基于RSTM系统的冲突管理策略

程序并行化是充分发挥多核处理器性能的有效手段。现有编程模型受锁、管道等同步方式的约束,并行度很难提高。针对上述问题,提出一种面向多核的基于Rochester软件事务存储(RSTM)系统的冲突管理策略,在现有编程语言中提供接口,通过事务方式提高程序并行度,以优先级方式解决2个事务发生冲突时的裁决问题,减少不必要的一致性验证,减小系统开销。     

C／S结构EDB的锁管理系统设计和实现

根据C／S结构工程数据库的结构特点,并发控制的作用和特点探讨了一种C／S结构工程数据库管理系统中的锁管理子系统的设计和实现方法。该方法支持“长”事务,多副本和意向锁。在某种程度上提高了工程数据库系统的开发性,并对降低系统开销有一定帮助。     

光电扫描测量网络信号采集模块设计

针对工作空间测量定位系统(w MPS)等基于光电扫描的测量网络对光平面信息检测的要求,提出了一种基于可编程器件的光平面信息检测与区分的系统。该设计使用Xilinx公司的Zynq芯片,在FPGA中设计逻辑电路实现对光平面的电脉冲信息捕获与锁存,并设计符合AXI总线通信协议的IP核增加通信速度。通过仿真表明,该设计具有时间开销小、实时性强等优点,提高了系统效率,同时可应用于其他光学定位设备中,提高定位精度。     

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

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

基于封锁的事务并发控制概述

叙述了关系型数据库管理系统中的事务管理和基于锁的事务并发控制方法。详细介绍了事务的串行化调度方法中的锁技术和锁协议,并深入讨论了锁的管理、死锁处理、幻影问题和其它加锁过程中可能出现的一些问题。     

济南市市政设施项目管理与决策系统设计与实现

在调研了济南市市政基础设施项目管理的业务需求的基础上,对济南市市政基础设施项目管理与决策支持系统进行了总体设计,提出了系统的总体架构模式、数据组织方式和功能设计方案。利用ESRI公司的组件式GIS平台ArcGIS Engine,结合各种专题模型组件,进行系统的集成开发。系统可方便地实现市政基础设施项目的空间化、可视化管理,提供空间分析和项目评价模型,从而使市政基础设施项目的管理与规划决策更为科学、快捷与准确。     

Multi-granularity locking for nested transactions

 The choice of granularity for locking items in a database involves performance trade-offs. In order to provide a choice between different locking granularities within a single system, the two-phase locking algorithm needs to be modified to include intention locks. This paper extends the well-known multi-granularity locking algorithm of Gray et al. to deal with nested transactions, and verifies the correctness of the extended algorithm, using a possibilities mapping to abstract commutativity-based locking. Received: June 4, 1993/November 28, 1994     

载人机器人平顺轨迹规划及自抗扰跟踪控制方法

针对公共环境载人机器人的安全性和乘载舒适性需求,提出一种机器人平顺轨迹规划及改进自抗扰跟踪控制方法,重点解决避险和平稳运动两种工况下机器人轨迹扰动问题;首先,设计了基于障碍物密度及其危险性的在线速度空间优化方法,获得符合安全和舒适度要求的轨迹;其次,采用扩张状态观测器观测机器人轨迹跟踪过程中内外扰动并实施补偿;再次,引入非线性反馈控制律自动调整反馈增益,减少超调并提高自抗扰控制器稳定性;对不同场景数值模型仿真表明,提出的轨迹规划方法可以满足机器人作业的安全性、舒适性需求;改进自抗扰跟踪控制器效果明显优于传统ADRC和自适应PID,具有较强的抗干扰能力和较快速的跟踪性能.     

Extending a deductive object-oriented database system with spatial data handling facilities

This paper describes the integration of a spatial data-handling component with the ROCK & ROLL deductive object-oriented database system. The extended ROCK & ROLL system provides much more comprehensive and better integrated database programming facilities than other candidate platforms for spatial information systems. The extended system serves developers with an intuitive, expressive, formally defined collection of spatial data types as primitive types whose operations have state-of-the-art computational complexity. The integration of these types with the object-oriented modelling, imperative programming and deductive querying facilities of ROCK & ROLL makes available a comprehensive and integrated suite of complementary mechanisms for the development of spatial information systems. The paper also provides preliminary benchmark results which indicate that kernel-support for spatial data handling does yield performance gains and that the extended ROCK & ROLL system compares well with a specialist geographic information system and two widely known extensible database systems when the latter are extended with spatial data handling facilities.     

新闻视频的场景分段索引及摘要生成

在提出一种新闻视频检索系统结构的基础上，介绍了基于标题条检测的新闻场景分段索引方法，并阐述了两种新闻摘要的生成策略．该方法利用新闻节目标题条出现的时空位置线索，结合标题关键词的识别，建立起一个层次化的新闻视频索引结构，并帮助用户通过新闻摘要实现不同要求的视频浏览．实验证明该方法有较高的检索成功率，并且简单快捷，为新闻视频检索提供了新的有效途径．     

新型串联谐振逆变器移相控制策略

传统的感应加热电源体积大、成本高、损耗大、整机效率低,不具备锁相功能,在调功过程中一般都需要使用较复杂的频率跟踪电路.介绍了串联谐振逆变器的新型移相控制策略,在系统建模和理论分析的基础上,详细分析了电源各状态过程的工作情况,并对其进行了相关的计算机仿真分析.结果表明,引入控制方法的感应加热电源效率得到提高,结构简单控制方便,可以在较大的调功范围内基本实现软开关,并且满足对负载频率自动跟踪与相位保持一致的要求.     

工程数据库锁管理系统的设计及实现

探讨了一种工程数据库管理系统中的锁管理子系统的设计和实现方法。该方法支持多粒度锁、自动加锁特性和自动锁粒度升级特性。在此基础上可以实现二阶段锁协议和树协议。     

Concurrent Certifications by Intervals of Timestamps in Distributed Database Systems

This paper introduces, as an optimistic concurrency control method, a new certification method by means of intervals of timestamps, usable in a distributed database system. The main advantage of this method is that it allows a chronological commit order which differs from the serialization one (thus avoiding rejections or delays of transactions which occur in usual certification methods or in classical locking or timestamping ones). The use of the dependency graph permits both classifying this method among existing ones and proving it. The certification protocol is first presented under the hypothesis that transactions' certifications are processed in the same order on all the concerned sites; it is then extended to allow concurrent certifications of transactions.     

基于Web的社保新闻发布系统的设计与实现

为适应社保信息化建设的需求，针对现有手工新闻发布方式无法满足信息实时更新的不足，设计了一个基于Web的社保新闻发布系统。给出了系统的设计方法，其中主要说明了系统的结构与功能、系统功能模块的设计与实现，并针对开发过程中遇到的技术难点给出了解决方案。该系统采用B／S模式，使用JSP和Oracle9i数据库技术开发。实现了网站新闻的动态管理，减少了信息维护的成本，使得对信息的管理更加及时与高效，提高了工作效率。     

支持多线程的空间数据GSQL解析器设计与实现*

为了使基于ingres扩展的空间数据库支持多线程空间数据上传和下载,设计实现了一个支持多线程的GSQL解析器。在分析PostGIS解析器的基础上,通过全局变量封装,实现解析器对多线程的支持。为了提高GSQL解析器的效率,提出并实现了可变长内存池管理机制。通过验证,GSQL解析器在多线程上传和下载空间数据时性能优良,而且使用可变长的内存池管理机制大幅度提高了GSQL解析器的时空效率。