摘要：电子邮件服务是Internet中最主要的网络服务之一。该文通过对当前流行网络服务器程序的分析,结合邮件服务的特点,提出了一种基于并发服务器模型的邮件系统设计方案。通过使用线程池技术,成功地解决了实现过程中的请求过载、死锁及线程池大小控制问题,保证了邮件服务器系统的性能。实际测试结果表明该系统具有反映时间快、占用系统资源少的优点。

摘要：随着处理器性能的不断提高和网络技术的迅速发展,越来越多的计算机应用系统涉及并行与分布式计算。开发这类系统远比传统的串行系统困难,这除了并行与分布式计算本身固有的复杂性外,还有一个原因是人们对并发性的实质缺乏真正了解,因而对并发模型进行深入广泛的研究具有重要的现实意义。并发模型是一种描述与解释并发与分布式系统的形式化数学模型,在理论上可提供对并发系统及其行为的深刻理解,在实践中可为并发系统的设计与分析提供指导方法。探讨并发性的语义往往也集中在并发模型的研究,以此作为并发语言与系统的指称结构。

摘要：优先关系是并发系统控制的重要手段 .文中提出一种动态优先系统 (Σ,D) ,其中 Σ是有界 Petri网 ,D是描述变迁之间优先关系的动态结构 .然后采用变换技术分别给出安全的和有界的动态优先系统的 Petri网语义 :通过引入广义补位置和优先变迁 ,并对非安全系统的某些变迁进行分解 ,根据 (Σ,D)构造相应的 Petri网 ΣD.最后利用步序列证明了 ΣD 在不破坏动态优先结构 D的规格说明约束的前提下 ,尽可能地保持了 Σ的并发语义 .

摘要：优先关系是并发系统控制的重要手段 ,常用于解决并发系统设计中的冲突问题 .在有界 P/ T系统的基础上提出一种动态优先系统 ,并分别给出它们的交错语义与真并发语义 .动态优先系统既可以作为并发与分布式系统的建模工具 ,也可以作为定义程序设计语言中优先算子的语义基础 .最后 ,基于动态优先系统的概念 ,为

摘要：随着Linux操作系统的广泛推广及应用,网络系统的安全也成为研究热点。网络系统安全在很大程度上取决于管理者及其所采取的安全措施,系统管理员可以通过对防火墙的设置和检测,从而达到加强网络安全的目的。为了提高多用户下服务器的通信效率,本文采用多进程并发模型,并使用socket套接字来实现网络通信,同时通过对防火墙的设计在Linux下实现全程动态包过滤,提高网络传输安全性,更好地发挥了Linux的实时性,并且保障了多用户/服务器之间的连接和数据传输的可靠和稳定性。

摘要：服务网格(Service Mesh)是用于处理服务间通信的专用基础设施层。为了有效提升其性能,从并发处理模型和交互协议两个方面研究服务网格的性能优化方法,分别提出基于Reactor设计模式的服务网格高并发处理模型和面向服务网格的轻量级、自定义的代理交互协议,并实现一个服务网格原型系统。通过实验与当前主流的开源服务网格系统Linkerd和Envoy进行性能对比分析,实验结果表明该方法能够显著提升服务网格的并发处理性能,使实现的原型系统在并发处理和通信方面都有良好的性能表现。