MPI集群通信函数的Petri网模型

研究并行程序的验证问题对于提高并行编程的效率具有十分重要的意义,本文在[1]的基础上,建立了目前普遍使用的基于消息传递的并行程序编写标准之一--消息传递接口(MPI)的集群通信函数的Petri网模型,从而为进一步研究MPI并行程序的Petri网模型及其性质奠定了基础.     

Linux内核Netfilter防火墙原理与设计

介绍Linux防火墙Netfilter系统的结构框架特点、工作原理及其在内核中的实现机制，并通过例子介绍如何编写自己的内核模块并将其镶嵌在Netfilter的架构中，以实现对防火墙功能的扩充。     

Linux内核防火墙的研究与程序设计

首先介绍Linux防火墙Netfilter系统的结构框架特点、工作原理及其在内核中的实现机制。最后通过例子介绍如何编写自己的内核模块并将其镶嵌在Netfilter的架构中,以实现对防火墙功能的扩充。