基于STREAMS的设备驱动程序的设计方法和实现

本文从ＳＴＲＥＡＭＳ机制及其驱动程序的设计思想着手，以我们设计的打印机驱动程序为例探讨了基于ＳＴＲＥＡＭＳ的设备驱动程序的开发技术、设计准则以及配置方法。     

UNIX系统发展综述

本文首先分析ＵＮＩＸ的４个发展阶段以及各阶段取得成功的原因，然后在安全性，多处理机，实时处理，微内核，国际化和流机制等几个方面说明ＵＮＩＸ在技术上的发展近况，指出要解决的问题，最后说明了它面临的新挑战。     

用RBAC实现DAC和MAC的一种方法

提出一种用ＲＢＡＣ实现传统的ＤＡＣ和ＭＡＣ的方法,给出了形式化描述,并举例说明。只要灵活配置ＲＢＡＣ,就可实现多种安全策略。     

移动代理系统中基于逻辑节点的负载迁移机制

解决了实现逻辑节点迁移的两个主要问题。首先是逻辑节点的状态迁移;其次是,迁移过程中被迁移的逻辑节点与系统其余部分通信链路的保留以及逻辑节点的并发迁移处理。为了有效地进行负载均衡,迁移行为对系统产生的影响应减至最小。文章实现的迁移机制只用到较少的系统拓扑知识,而且只有迁移逻辑节点本身在移动时被要求停止计算。此算法同样适用于其它的分布式计算。     

可定制的安全操作系统内核

随着因特网的高速发展,安全问题显得日益严重,而计算机操作系统是信息系统的安全基础,但传统的操作系统安全机制已缺乏足够的灵活性,不能提供可根据具体应用系统配置特定安全策略的机制,提出了一种可定制的安全操作系统内核机制,用户可使用基于规则,面向事件的高层定义语言来描述安全策略而无需关心底层细节,系统具有良好的适应能力,可支持广泛的安全策略的实现。     

一种Internet计算中的事件观察与通知机制设计框架

提出了一个事件机制设计的框架,定义了事件的各个方面特性。这个框架将事件用7个模型来描述：对象模型、事件模型、命名模型、观察模型、时间模型、通知模型、资源模型。对每个模型进行了详细的讨论。并讨论了与Internet环境中事件机制相关的工作,提出了可能出现的研究热点问题。     

通用事件服务规范的设计与实现

在CORBA标准中,ORB提供了一种同步通信的机制。但是,许多应用需要进行异步通信。OMG为此定义了事件服务。本文提出了事件服务的一种多线程设计和实现方案。该实现方案在应用中显示了很好的性能。     

基于JNLP协议的软件上下载服务器的设计与实现

本文分析指出了在Internet环境下软件发布所面临的问题，提出了一种在JNLP（Java Network Launch Protocol)协议的基础上基于网络的软件发布模式，设计并实现了一个基于JNLP协议使用Java语言的软件上传和下载并具备管理功能的服务器系统。     

基于角色的集群应用系统

提出了基于角色的集群结构这一概念,将集群的内部划分为逻辑上的代理子集群、静态存储子集群、动态存储子集群和管理子集群,讨论了这种集群结构的应用优势,并描述了一个集群邮件系统的设计与实现。     

自动生成GEF图形编辑器的研究与实现

针对当前GEF编辑器开发难度大、开发周期长的问题,设计了一个能够自动生成GEF图形编辑器的MDA工具GEG的体系结构。它利用EMF的代码自动生成方法JET和JMerge,以及EMF.edit提供的适配器机制,生成了一个完整的基于Eclipse平台的图形编辑器插件。在系统设计和实现过程中,引入了配置元模型和视图元模型。