并行和分布式环境内核调试器的研究与设计

内核调试器在操作系统的设计和维护中是重要的。     

Parallelism in object-oriented languages: a survey

Fourteen concurrent object-oriented languages are compared in terms of how they deal with communication, synchronization, process management, inheritance, and implementation trade-offs. The ways in which they divide responsibility between the programmer, the compiler, and the operating system are also investigated. It is found that current object-oriented languages that have concurrency features are often compromised in important areas, including inheritance capability, efficiency, ease of use, and degree of parallel activity. Frequently, this is because the concurrency features were added after the language was designed. The languages discussed are Actors, Abd/1, Abd/R, Argus, COOL, Concurrent Smalltalk, Eiffel, Emerald, ES-Kit C++, Hybrid, Nexus, Parmacs, POOL-T, and Presto     

CIMS环境下网络综合管理的研究

本课题主要集WEB技术、分布式计算技术、面向对象技术、DCOM技术、多Agents(代理)技术、人工智能技术等为一体，实现网络系统的智能综合管理。利用WEB技术的多层体系结构和分布式计算技术实现管理站的可移动性和与平台的无关性；将人工智能中基于事件关联的模型推理技术应用在系统的内核及其代理系统中，实现系统管理智能化。     

An overview of the Nexus distributed operating system design

Nexus is a distributed operating system designed to support experimental research in fault-tolerance techniques and object-oriented programming in distributed systems. The Nexus programming environment consists of objects, which are instances of abstract data types. Inheritance of types and multiple implementations for a type are supported by the system. Operations on objects are invoked, based on the remote-procedure-call paradigm and executed as atomic actions with provisions for application-controlled checkpointing and restart within actions. Nexus also supports parallel remote procedure calls. Interobject communication and location transparency in accessing objects is supported by the Nexus kernel     

高性能路由器操作系统HEROS的设计与实现

实时分布式操作系统是高性能分布式路由器的控制核心 ,为了保证路由器系统的整体性能和安全性 ,本文设计并实现了实时分布式操作系统 HEROS(Highly Efficient Router Operating System) .HEROS基于微内核体系结构 ,其多任务内核实现了基于优先级的抢先式调度 ,高效率的任务间同步和通信原语 ,实时的中断处理和高效的内存管理机制 .为了更好地服务于分布式路由器体系结构 ,HEROS基于 Compact PCI总线实现了一种分布式通信机制和面向网络协议的高性能的缓冲管理机制 .目前 ,基于 HEROS的高性能安全路由器原型系统已经设计完成     

一种适用于微型PLC的嵌入式操作系统设计

为了解决通用嵌入式操作系统在微型PLC设计上的不足,提出一种适用于微型PLC的面向对象嵌入式操作系统设计方案。该系统由内核、PLC解释器、I/O存储空间映射、驱动程序等部分组成,其中内核又由工厂、事件管理、用户接口以及任务管理等模块组成。其特点是采用面向对象、模板以及设计模式的方式编程,从底层提供对微型PLC设计的优化,提供动态内存分配与自动回收功能和内存与I/O口的映射功能,且内嵌PLC解释器。经过测试表明该嵌入式操作系统可满足微型PLC的设计要求。     

A platform independent distributed IPC mechanism in support of programming heterogeneous distributed systems

Interprocess communication (IPC) is a well-known technique commonly used by programs running on homogeneous distributed systems. However, it cannot be used readily and efficiently by programs running on heterogeneous distributed systems. This is because it must be given a uniform interface either by a set of middleware or more efficiently properly ported to the kernel of all varieties of open source and closed source proprietary operating systems running on heterogeneous nodes of distributed systems. This is particularly problematic to achieve when the kernel code of closed source operating systems are inaccessible to third parties. We propose an alternative nonproprietary approach to enable the use of IPC in heterogeneous distributed systems by wrapping IPC calls from the kernel of closed source operating systems, and converting them into equivalent IPC calls that are efficiently implemented inside the kernel code of open source operating systems. To show the superiority of our approach, we developed a wrapper for converting MS-Windows IPC calls into equivalent Linux IPC calls and benched our approach on a hybrid computer cluster running both types of operating systems.     

基于cntlzw指令的OSEK汽车电子实时操作系统

针对汽车电子软件的复杂性、实时性和可移植性问题以及现有OSEK操作系统的开源性问题,基于OSEK操作系统规范(ISO 17356-3),采用面向对象的程序设计思想,从任务、中断、资源、事件、计数器和警报6个方面进行研究,利用32位PowerPC处理器的数出前导零数目指令cntlzw和软中断等,设计了一个具有可裁减性和可扩展性的汽车电子实时操作系统,并在MPC5554开发板上进行了操作系统的内核移植和性能测试。     

The Elmwood multiprocessor operating system

Elmwood is an object-oriented, multiprocessor operating system designed and implemented during a graduate seminar. It consists of a minimal kernel and a collection of user-implemented services. The kernel provides two major abstractions: objects, which consist of code and data, and processes, which represent asynchronous activity. Objects, like programs, are passive. To operate on an abstraction or to request a service, processes invoke an entry procedure defined by the corresponding object. Objects implement their own protection and synchronization policies using minimal kernel mechanisms. We describe the Elmwood kernel interface, an implementation on the BBN Butterfly parallel processor, and our experiences in developing a multiprocessor operating system under rigid time constraints. These experiences illustrate several general lessons regarding kernel design and trade-offs for implementation expedience.     

A Mechanism Supporting the Client/Server Relationship in the Operating System of Distributed System “THUDS”

This paper presents a distributed operating system modeled as an abstract machine that provides all the distributed processes with the same set of services.The kernel of our operating system supports services which are achieved by a remote procedure call on requests by parallel processes.Therefore,a scheme for solving the client-server relationship is required.In our system there are more than one clients and,at least,a receive would be required for each.Similarly,there are more than one servers such that the send in a client should produce a message that can be received by every server.Consequently,a mechanism well suited for programming multiple-clients/single-server and single-client/multiple-servers interactions is proposed.     

The Clouds distributed operating system

The authors discuss a paradigm for structuring distributed operating systems, the potential and implications this paradigm has for users, and research directions for the future. They describe Clouds, a general-purpose operating system for distributed environments. It is based on an object-thread model adapted from object-oriented programming     

面向并行图像处理的实时分布式操作系统的设计与实现

针对多片TMS320C64 DSP构成的多计算机体系结构的实时图像识别系统，设计并实现了面向并行图像处理的实时分布式操作系统PIPORTDOS（Parallel image processing-oriented real-time distributed operating system）．PIPORTDOS基于微内核体系结构，包括硬件抽象层、系统核心层、分布式消息通信机制和系统服务层四个层次．其多任务内核实现了基于优先级的抢先式调度、任务闻的同步和通信原语、实时的中断处理以及面向应用的缓存管理机制．为了实现对分布式并行图像处理的支持，PIPORTDOS采用了基于消息传递（Message Passing）的方式，并在实现中充分考虑了上层图像处理算法的应用需求以及DSP的硬件功能．相关性能指标表明，本文设计实现的PIPORTDOS完全可以满足系统的强实时性要求．在功能上也能适应算法对不同并行结构的需求．     

Customized Message Passing

Replacing traditional operating systems communication implementations with customized implementations increases the performance of parallel and distributed applications. This paper describes the design and implementation of customizable message passing systems. The customized message passing systems are generated using application-specific information such as the profile of an application's communication pattern. FFT, Simplex, and Cholesky are used as example parallel applications. The message passing system has also been customized for different types of distributed system services including a distributed scheduling facility. The customized message passing system likewise improves the performance of these facilities and enhances their scalability. As a practical concern, as there are a large number of possible optimizations, object-oriented frameworks are employed to organize the implementations and to facilitate the choice of optimizations.     

A Prototype Scalable, Object-Oriented Finite-Element Solver on Multicomputers

We investigate a prototype parallel finite element solver for mesh-connected multicomputers (i.e., message-passing, distributed-memory multiprocessors) and provide a theoretical proof that the algorithms used are highly scalable and close to optimal. Further, the algorithms are written in an object-oriented language (ESP C + +) to enhance reusability of code. Performance results are presented for a Motorola multicomputer, MCC′s ES-Kit multicomputer, and a network of Sun workstations.     

基于WDF过滤驱动的USB存储设备监控系统

WDF是微软推出的下一代驱动程序开发模型,它所提供的KMDF框架为内核模式驱动开发提供了一个面向对象、事件驱动的开发框架。本文深入研究了WDF驱动模型和过滤器驱动技术,设计和实现了一个USB存储设备监控系统。测试表明,系统可以在多操作系统的内网环境下,有效地监控USB存储设备的使用。     

基于分布式对象技术的医疗信息系统平台

由于医疗环境的异构性，系统集成一直是医疗信息系统的关键问题。分布式对象技术为解决异构系统的集成提供了一条崭新的途径。本文在对当前主流的分布式对象技术进行综合分析的基础上，提出了医疗信息系统分布式对象技术平台MUSCLE，并进一步对MUSCLE平台的两个层次分别进行了设计，即软件总线层和对象管理层。本文同时还介绍了CORBA/EJB相集成的MUSCLE实现方案，并通过对心电分析中心的应用实例分析，对MUSCLE平台的性能进行了讨论。     

A distributed task-oriented real-time programming system

This paper presents a new conception for a distributed task-oriented real-time operating system comprising a compiler, an operating system kernel and communication packages. The system TOROS supplies the tools for a uniform programming of complex process control applications on heterogenous hardware including workstation, PC, programmable controller and microcontroller. The whole control task is split into a set of small modules. These modules are uniquely programmed by defining a state machine and using guarded commands. They are connected logically through calls to tasks provided by other modules. The specification of the modules is done in an hardware independent language. At compile time the modules are distributed to specified target computers. The system automatically translates each module into the particular code and realizes the communication between the modules either on the same computer or through the links.     

Link layer for cooperating processes on a LAN with enhanced communication services

Most local area networks support multicast and broadcast communication facilities among the network nodes. However, their use among processes has been limited by the lack of support in the distributed operating system kernel and by the limited requirements of traditional computer network applications. Some applications (e.g. operating in a multicast environment) and distributed algorithms require advanced associations among processes, whose support by the operating system kernel can take advantage of properly designed functions provided by the communication subsystem. This problem is examined in the context of an architecture for LANs, and enhanced protocols are described that can be provided by a communication subsystem based on a LAN. Virtual network protocols provide classes of service suited to a multicast environment. Their availability at communication subsystem layers offers higher layers a common framework for the implementation of a computing system with distributed control.     

PRESTO: A system for object-oriented parallel programming

PRESTO is a programming system for writing object-oriented parallel programs in a multiprocessor environment. PRESTO provides the programmer with a set of pre-defined object types that simplify the construction of parallel programs. Examples of PRESTO objects are threads, which provide fine-grained control over a program's execution, and synchronization objects, which allow simultaneously executing threads to co-ordinate their activities. The goals of PRESTO are to provide a programming environment that makes it easy to express concurrent algorithms, to do so efficiently, and to do so in a manner that invites extensions and modifications. The first two goals, which are the focus of this paper, allow a programmer to use parallelism in a way that is naturally suited to the problem at hand, rather than being constrained by the limitations of a particular underlying kernel or hardware architecture. The third goal is touched upon but not emphasized in this paper. PRESTO is written in C++; it currently runs on the Sequent shared-memory multiprocessor on top of the Dynix operating system. In this paper we describe the system model, its applicability to parallel programming, experiences with the initial implementation, and some early performance measurements.     

一种异构多核处理器嵌入式实时操作系统构架设计

由于异构多核处理器和多处理器系统及同构多核处理器的构架存在很大差别,应用于多处理器系统的分布式结构以及应用于同构多核系统的主从式结构操作系统不能解决异构多核处理器的实时调度和效率问题。对异构多核处理器的特点及发展趋势进行了研究,提出了一种适用异构多核处理器的多主模式实时操作系统构架。这种构架将通信总线中的多主模式引入多核操作系统构架中,采用对称式结构及组件模式设计操作系统模型,使多核处理器中每个内核都可以作为主核实现对资源、任务的实时管理,提高系统性能,同时可以解决主从式操作系统存在的由于处理器核增多而带来的主内核不能满足系统性能要求的瓶颈问题。通过这种单一构架模型可以进行灵活配置,以适应不同结构及功能要求的处理器内核,降低操作系统开发难度。