Mach端口管理及其应用

端口是Ｍａｃｈ操作系统最基本的概念，本文分析了Ｍａｃｈ端口的实现机制和使用方法，以及Ｍａｃｈ３．０系统服务器对端口的支持。还介绍了在Ｍａｃｈ３．０系统初启过程中端口的管理。     

基于Mach3.0核心的UNIX操作系统

本文介绍了在Ｍａｃｈ３．０微核心上通过多个服务器模拟ＵＮＩＸ操作系统的原理和总体结构，阐述了Ｍａｃｈ３．０微核心界面、系统服务器、透明模拟库、ＵＮＩＸ服务器以及给用户提供的界面。     

基于Mach3．0微核心的UNIX操作系统

本文介绍了在Ｍａｃｈ３．０微核心上通过多个服务器模拟ＵＮＩＸ操作系统的原理和总体结构。阐述了Ｍａｃｈ３．０微核心界面、系统服务器、透明模拟库、ＵＮＩＸ服务器以及给用户提供的界面。     

Mach3.0系统初启过程剖析

本文分析讨论了Ｍａｃｈ３．０的系统初启过程，并介绍了Ｍａｃｈ３．０目标执行文件的组成、产生、装入及执行过程。     

Mach的I／O系统

ＭａｃｈＩ／Ｏ系统采用了和ＵＮＩＸ完全不同的概念和结构。Ｍａｃｈ设备管理围绕端口和存储对象这两个Ｍａｃｈ基本概念进行,提供了方便的ＰＲＣ用户界面。Ｍａｃｈ３．０的Ｉ／Ｏ系统新进展将Ｉ／Ｏ管理作为用户Ｓｅｒｖｅｒ对待。本文介绍了Ｍａｃｈ设备管理机制、“设备独立”的驱动程序的构造原理及其例子、在用户空间对设备的直接控制方法和引进新概念后设备管理的性能情况。     

Mach 3.0面向对象I/O系统

为了设计和实现嵌入式实时操作系统ＣＯＳＩＸＶ２．０／ＲＴ平台,对Ｍａｃｈ３．０操作系统做内核有关设备管理源程序进行剖析,Ｍａｃｈ３,０操作系统是基于面向对象的概念设计的,它的设备管理分为上层和下层二部分。在Ｉ／Ｏ管理系统中,Ｍａｃｈ３．０采用端口和消息机制,它的Ｉ／Ｏ接口支持的设备驱动程序是独立于设备、位置,而且是在用户级实现的。它的面向对象设计,使得代码的共享程度更高,减少了依靠硬件设计的代码量,增加了系统的可扩充性和可移植性。Mach 3.0面向对象I/O系统@张丽芬$北京理工大学计算机科学与工程系!１…     

Mach3.0面向对象I／O系统

为了设计和实现嵌入式实时操作系统ＣＯＳＩＸＶ２．０／ＲＴ平台,我们对Ｍａｃｈ３．０操作系统微内核有关设备管理的源程序进行剖析。在Ｉ／Ｏ管理系统中,Ｍａｃｈ３．０采用端口和消息机制,它的Ｉ／Ｏ接口支持的设备驱动程序独立于设备。独立于位置,并且是在用户级实现的。它的面向对象设计使得代码的共享程度更高,减少了
了依靠硬件设备的代码量,提高了系统的可扩充性和可移植性。     

微核心操作系统的负载信息统计

本文利用基于消息的微核心操作系统 Ｍａｃｈ 的系统调用和专门设计的 Ｉ Ｐ Ｃ 剖析器对 Ｍａｃｈ 任务进行了剖析, Ｍａｃｈ 任务使用系统资源可统一为３ 个活动：使用处理器、 Ｉ Ｐ Ｃ 和 Ｖ Ｍ 。这些活动的统计信息能够准确、完整地反映系统的负载情况。通过对微核心操作系统 Ｍａｃｈ 的标准核心界面的改造和扩充,使用户能够在用户空间获得负载分布决策所需的有效的负载信息。     

Mach系统调用和模拟库

Ｌｉｂｍａｃｈ库是Ｍａｃｈ核心向外提供的Ｍａｃｈ系统调用界面，本文介绍了Ｌｉｂｍａｃｈ库、Ｍａｃｈ系统调用的实现机制，讨论如何利用Ｍａｃｈ对外提供的功能模拟实现ＵＮＩＸ系统调用、设计与实现透明模拟库。     

Mathematica在横向程序变换中的应用

本文讨论用Ｍａｔｈｅｍａｔｉｃａ的两大核心工作机制即模式匹配和规则来实现横向程序变换,以两类不同的递归程序变换的抽象模式为例,本文设计了相应的Ｍａｔｈｅｍａｔｉｃａ程序包将非尾递归的程序变换成为相应的尾递归形式,然后利用Ｍａｔｈｅｍａｔｉｃａ３．０提供的ＭａｔｈＬｉｎｋ机制,在ＶＢ５．０的环境下实现它们的应用。     

RT—Mach：基于Mach的实时微内核

ＲＴ－Ｍａｃｈ是ＣＭＵ在原标准Ｍａｃｈ微内核之上开发的实时微内核，它的目标是提供一个公用的实时计算环境。与Ｍａｃｈ相比，ＲＴ－Ｍａｃｈ增加了实时线程模型、实时同步、实时调度、实时时钟和计时器，以及实时ＩＰＣ等新特点，本文将介绍ＲＴ－Ｍａｃｈ的这些新特点。     

MACH CPU Server的功能和实现的策略

本文介绍Mach核心之上进行处理器管理的cPu serVer(处理器分配服务器,的功能,它所实现的不同处理器分配策略。文中最后给出一个在Mach操作系统核心上实现的一个cPu server的实例,并主要介绍其标准库函数界面以及基于Mach核心的实现考虑。     

Efficient multicast design in a microkernel environment

Multicast has become popular in recent years with the introduction of new, very fast networks. Existing solutions of the multicast design and implementation problems are either inefficient in microkernel environments or too expensive in terms of the host operating system overhead involved. In our search for a new solution we investigate various aspects of the problem. Exploring the desired semantics, we come to the conclusion that control functions, group maintenance algorithms and various ordering semantics can be implemented on top of the basic services, and that the efficiency of these implementations is less critical than that of the basic services. We describe a few naive solutions to supporting multicast in microkernels and show their limitations. Then we suggest a new solution to the problem and show analytically that it is significantly better than other solutions. The solution we decided to implement is a hybrid solution supporting control operations in user space and data operations in the kernel. It enables the semantics of multicast or group communication abstractions to be separated from the operating system support and mechanisms used to implement those abstractions. Since we propose an efficient solution while introducing minimal changes to the Mach kernel, our hybrid solution suggests splitting the group communication burden between the microkernel and a group server (GS). To implement our hybrid solution the Mach kernel has been modified. Finally, we present an implementation of our new solution for the Mach 3.0 microkernel environment and show a very significant measured speedup in performance of multicast operations over naive methods for multicasting. © 1998 John Wiley & Sons, Ltd.     

用户级线程

核心线程是微内核操作系统Ｍａｃｈ调度的基本单位，它较好地支持了细粒度的并行计算，但核心线程在支持用户并发模型、双并发模型上还有许多缺点。用户级线程是在核心线程的支持下建立的更高层次的用户调度单位，能较好地支持用户程序的并发执行。本文重点介绍在核心线程支持下的用户级线程—ＣＴｈｒｅａｄ的实现方案