语义协同事务的恢复

在CSCW系统中，有些子事务是不可补偿的，如果彩和数据库中的恢复技术，不能完全实现协同事务的恢复。为了保证协同事务最终能够提交或夭折，需要构造扩展调度。本研究针对基于语义的协同事务模型，讨论了协同事务的恢复问题。     

基于2PL多粒度锁的并发控制协议

给出了面向对象数据库系统的一种并发机制——基于2PL的多粒度锁封锁技术。在协议中，锁的粒度划分到对象的属性级，提高了事务的并行性，减少了由于锁增加引起的死锁现象。     

Go语言并发安全的Map探索及研究

在云原生领域,大多数项目都是用Go语言开发的,而Go语言标准库中的Map又是开发过程中常用的内置数据结构。但是,在官方的设计中,Map并不是一种并发安全的数据类型。因此,该文首先介绍了Map的设计,分析了它不是并发安全的原因,其次论述了并发安全的Map的实现方式,包括加锁、Go官方的sync.Map以及自己通过分片加锁实现的方式,并设计了两大类实验,对这几种实现方式进行基准测试,最后根据测试结果进行了分析与技术选型的建议。     

基于Petri网的并发系统控制器设计

针对并发系统的死锁现象,通过原系统Petri网模型的状态可达图和行为规范,产生目标系统的可达图,进一步生成控制器的Petri网模型。同此为这类问题的控制器Petri网模型的生成提供一条有效途径。     

牛创伤性网胃炎及其并发感染的诊治

牛创伤性网胃炎是牛的常见病，俗称“铁器病”。是误食混入饲料饲草中的铁丝、针、卡等金属异物而引发的。因异物穿透网胃，并可能刺向心、肝、脾、肺以及胸隔、腹腔等引起各种继发感染而最终致死，由于本病先出现穿透网胃后发生其它部位感染，故临床上多统称创伤性网胃炎。     

网格环境下资源环境基础信息平台设计与实现

该文就资源环境信息系统建设中所面临的数据分布管理、协同作业等问题,结合资源有效利用和环境治理的实际需要,构建了基于网格技术的资源环境信息基础信息平台主要框架,给出了在异构环境下无缝整合的软硬件资源进行资源环境信息大型分析运算的任务处理.测试结果表明,该平台能够高效地整合分布资源协同完成大型资源环境分析任务,为分布环境下的资源环境基础平台的构建提供了一种有效的模式.     

电子商务软件负载能力评估的实例分析

负载能力是表征电子商务软件性能的一项重要标准。负载能力的评价方法包括在线系统的数据统计和估算、程序测算、基于测试的评估方法等。其中，基于测试的评估方法越来越受到人们的重视。本文以一个小型电子商务系统为例，采用基于测试的评估方法进行了系统的负载能力分析。结果表明，对于以优化为目标的系统评估，可以在优化后采用逐步细化的负载测试方式得到最佳负载预测数据。同时，在负载能力的评估过程中，需要根据系统的主要功能来选择合理的评估指标。     

手写笔电子白板系统中协同工作机制的研究实现

讨论了手写笔电子白板系统中协同工作开发需要解决的并发控制、协同感知和协同记录与再现问题及解决途径,在系统实现中使用有人管理的悲观加锁并发控制、光标标识法协同感知和基于手写笔交互参数的协同记录再现及截图记录归档,较好地完善了手写笔电子白板系统中协同工作机制．     

扩展Petri网在实时数据库并发控制中的应用

提出了初始化弧的概念,并将这一概念引入高级时间Petri网中,从而给出了扩展的高级时间Petri网(Extended High-Level Time Petri Nets-EHLTPN).此外,在EHLTPN模型中,变迁所附加的常量时间区间扩展为变量时间区间.用EHLTPN对实时数据库系统的并发事务进行了建模,所建模型不仅可以描述并发事务在数据存取中所出现的各种现象,而且还可以实现2PL-LW协议所具有的可避免并发事务的无用重启、无用等待、无死锁的等功能.     

一种针对长事务的两步锁的改进方法

给出了一种两步锁的扩充，称为利它锁，即让长事务较早地释放其占用的锁，使需要存取这些被锁数据的事务在长事务处于唤醒状态时，遵循一定的锁规则同时运行。