远程教育实现技术的研究

介绍了计算机协同工作理论(CSCW)，给出了多媒体远程教育系统的总体结构。分析了实现中的关键技术．结合开发过程，说明了多媒体开发框架DirectShow的使用方法，提出了CSCW中关键问题之一的并发控制问题在具体环境中的控制策略。     

数据库管理系统中并发事务的控制方法

提出了数据库管理系统在数据库并行运行的事务时．能够正确运行且获得正确结果需要注意的几个问题．并给出了解决方法。     

Apla-Java 可重用部件库并行、并发机制的研究

Apla-Java可重用部件库是PAR方法的重要研究成果.实验证明它对基于PAR平台进行串行Java程序开发提供了有效的支持.实现部件库的并行、并发机制,使其支持并行、并发程序设计,对于提高并行、并发软件开发效率具有重要意义.该文研究并提出了并发类库的若干设计策略并实现了Apla-Java可重用部件库并行、并发机制.     

Building a highly available and intrusion tolerant database security and protection system （ DSPS）

Database Security and Protection System (DSPS) is a security platform for fighting malicious DBMS. The security and performance are critical to DSPS. The authors suggested a key management scheme by combining the server group structure to improve availability and the key distribution structure needed by proactive security. This paper detailed the implementation of proactive security in DSPS. After thorough performane analysis, the authors concluded that the performance difference between the replicated mechanism and proactive mechanism becomes smaller and smaller with increasing number of concurrent connections ; and that proactive security is very useful and practical for large, critical applications.     

具有广播功能的CSP操作语义

并发程序设计语言的形式语义定义,是当今语义学研究中比较活跃的领域之一,语言的形式操作语义为语言的准确实现,提供直接的依据。本文给出了带广播功能的CSP(Communicating Sequential Processes)的形式操作语义。     

基于事务和对象语义的长事务处理方法

数据库应用中出现的长事务严重降低了系统性能，一些研究者提出利用事务的语义信息对事务进行分解来解决这个问题，但是由于分解本身的需要满足一些特性，使得一些长事务无法分解。本文在事务分解的基础上提出了利用对象的语义信息来提高事务的并发度的方法，给出基于语义的正确性标准和一种基于有向图的正确性判定方法。     

通用并发客户服务程序设计技术研究

以Linux环境下程序设计的一般方法为基本前提和出发点,介绍了套接字(Socket)的基本概念及编程技术,结合实例说明在Linux下如何用套接字实现客户/服务器方式的通讯编程,使用多进程和单进程调用Select()函数两种方式实现多客户的并发服务,并建立实验模型比较了两种方式在执行效率和资源耗费方面的差别,分析了两种方式的适用范围。     

基于VxWorks的混合通信模式的UDP并发服务器的设计

利用嵌入式实时操作系统VxWorks的优点,实现混合模式下的UDP并发服务器的设计.基于UDP传输协议,使用并发的C/S模式,利用SOCKET套接字技术,将IP组播和单播通信技术应用到基于VxWorks的并发服务器上.最后结合一种网络模型,来验证此设计方法的可行性,得到满意结果.     

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

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

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

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