Concurrency control in mobile distributed real-time database systems

This paper presents DMVOCC-2PLV (Distributed Multiversion Optimistic Concurrency Control with Two-Phase Local Validation) protocol for processing mobile distributed real-time transactions in mobile broadcast environments. In DMVOCC-2PLV protocol, transaction validation is performed at two levels: local validation and global validation. Local validation of transactions is performed in two phases: local pre-validation and local final validation. At the MHs (Mobile Hosts), all mobile transactions perform local pre-validation of transactions by using a backward validation mechanism. The local pre-validation process is carried out against committed transactions at the server in the last broadcast cycle. Such an early data conflict detection feature can save processing and communication resources. Transactions that survive in local pre-validation must be submitted to the server for local final validation. In global validation distributed update transactions have to check to ensure distributed serializability in all participants. The protocol can eliminate conflicts between mobile read-only and mobile update transactions, and resolve data conflicts flexibly using multiversion dynamic adjustment of serialization order to avoid unnecessary restarts of transactions. Mobile read-only transactions can be committed with no-blocking, and respond time of mobile read-only transactions is greatly reduced. The tolerance of mobile transactions of disconnections from the broadcast channel is increased. The results of simulation experiment show that the new protocol proposed offers better performance in terms of miss rate, restart rate, commit rate and throughput.     

基于多数法的分布式并发控制的实现及改善

对分布式事务采用多副本并发控制的多数法,实现了一个多层分布式数据库应用系统的模型设计;引入了协调对象并使用COM＋技术,在实现分布式事务执行无阻塞、数据正确恢复的前提下,对模型进行了改善,提高了数据库模型执行的效率。     

虚拟教室中的共享电子白板的设计和实现

电子白板是虚拟教室中的一个重要工具。该文介绍了基于JAVA语言设计的一个电子白板系统,并对电子白板的设计与实现过程当中的各种关键技术进行了讨论。     

一种利用并发提高数据处理吞吐率的模型

针对分布式组网终端集中式数据采集与处理系统实时性高、数据吞吐量大、周期性强等特点,引入了一种利用并发机制的大吞吐量实时数据处理模型,在讨论模型基本结构和原理的基础上,深入研究了决定模型数据吞吐效率和时效性能的并发缓存机制和算法设计。利用该模型实现的数据采集处理系统在基于GPRS组网的1500个自动气象站数据采集与处理业务应用中,性能稳定可靠,能够满足对周期性大批量实时＂浪涌＂数据进行实时快速处理的要求,大大提高了数据处理的吞吐效率。     

基于负载性能指标的Web测试

研究了资源占用率、响应时间、并发用户和思考时间等Web应用的性能指标。负载测试是Web应用系统测试的一个重要方面,有助于确认被测系统的性能需求和负载增长情况,发现系统的异常。提出了负载测试一般方案,应用LoadRunner测试工具,测试了学习交流在线系统,分析了事务、网络、系统响应时间等指标。     

基于对象的并发模型

为了研究和发展分布式人工智能,探讨一种新的计算模型,利用面向对象技术提出了一个基于对象的并发模型（OBCM）。讨论了它的两种通讯机制,即同步和异步通讯方式,异步通讯方式又分为过去型消息传递和将来型消息传递,而同步通讯方式则包括现在型消息传递和等待方式。证明了它们可归约为过去型消息传递和等待状态。另外,OBCM为了增强其表达能力,提供了响应目的地机制。在OBCM中,对象的独立自治特点对模拟分布式问题求解尤为适用。最后以一个分布式问题求解的具体实例说明了OBCM的思想。     

事件演算在行动推理中的应用

事件演算是基于一阶谓词演算的行动推理理论.它可作为描述事件的一个工具,在行动推理的应用中显示出其强大的表示能力和实现能力.在事件演算中,可以对行动进行公理化,可以描述行动的时间性、并发性、连续变化及知识,而且还可用Prolog实现.讨论介绍与这些应用相关的基本概念、思想和方法等,并且通过一个送咖啡的例子说明了如何通过事件演算来描述和实现.     

一种支持协同写作的系统模型

协同写作系统是计算机支持雷同工作系统（ＣＳＣＷ,Ｃｏｍｐｕｔｅ Ｓｕｐｐｏｒｔｅｃｄ Ｃｏｏｐｅｒａｔｉｖｅ Ｗｏｒｋ）的典型应用,目前已经开发了许多支持协同写作的系统,但在这些系统大多没有得到实际的应用。本文提出了一种支持在广域网环境下同步或步异的协同写作的系统模型,着重探讨了该模型下的协作问题。     

基于Petri网的分布式系统并发进程的死锁检测

分布式系统中的并发进程具有明显的并发、异步及分布性,而Petri网是模拟与分析并发、异步、分布式系统的有效工具.为此通过引入Petri网,给出了分布式系统局部并发进程等待的Petri网模型及死锁检测方法,提出了全链路合成的概念,利用全链路合成技术组装了全局并发进程等待的Petri网模型,给出了判断整个系统是否出现死锁的充分必要条件.     

移动广播环境中有效处理实时只读事务

提出了移动广播环境中有效处理实时只读事务的方法。给出了多种多版本广播磁盘组织。采用多版本机制，实现移动只读事务无阻塞提交。通过乐观方法，消除移动只读事务和移动更新事务的冲突。使用多版本动态调整串行次序技术，避免了不必要的事务重启动。在移动主机上如果移动只读事务通过向后有效性确认，则可提交，不需要提交到服务器处理，降低移动只读事务的响应时间。通过模拟仿真对提出的方法进行了性能测试,实验结果表明新方法要优于其他协议。