一种基于微内核操作系统进程间通信恢复方法

微内核架构为操作系统提供了良好的隔离性,高度模块化的架构设计使得微内核架构操作系统对进程间通信的依赖度极高,进程间通信恢复是系统恢复正常运行的关键。权能是微内核架构操作系统中进程对资源操作权限的描述,决定进程间能否进行通信。针对微内核操作系统在系统服务恢复过程中出现的进程间通信信道丢失问题,提出并实现了一种进程间通信恢复方法。在通信异常时保存权能信息,用于在系统关键服务恢复过程中重新建立客户程序与服务程序的进程间通信信道。实验结果表明所提出的方法是有效的,可以提高操作系统的可靠性。     

一种实时多任务操作系统的进程调度分析

进程调度是影响操作系统实时性的重要因素,对操作系统的整体性能有着非常重要的影响.文中从进程结构、进程的状态、进程调度策略等几方面对一个实时多任务操作系统SZ97进行了分析,最后给出了进程调度中断程序的清单.     

对Solaris操作系统中多线程进程体系结构的研究

按照教科书上的定义,进程是资源管理的最小单位,线程是程序执行的最小单位。在操作系统设计上,从进程演化出线程,最主要的目的就是更好的支持SMP(SymmetricMulti-Processing:对称式多处理器)以及减小(进程/线程)上下文切换开销。在操作系统实现上,现代计算机技术要求操作系统必须融合新的技术和方法-多线程的进程体系结构,而Solaris操作系统的内核结构就是围绕着线程而重新架构的,它是这方面的典范。在本文中将讨论Solaris的进程模型、进程执行环境以及多线程的进程体操结构,内容包括进程、轻量进程和内核线程,最后将讨论进程的创建和终止。     

多处理机环境下的实时进程管理

RTU操作系统是在实时和多CPU环境下对UNIX操作系统的扩充。进程管理主要包括:进程的创建、进程更新、进程终止、进程同步,进程睡眠、进程唤醒及进程调度等内容。     

对Solaris操作系统中多线程进程体系结构的研究

按照教科书上的定义,进程是资源管理的最小单位,线程是程序执行的最小单位.在操作系统设计上,从进程演化出线程,最主要的目的就是更好的支持SMP(Symmetric Multi-Processing对称式多处理器)以及减小(进程/线程)上下文切换开销.在操作系统实现上,现代计算机技术要求操作系统必须融合新的技术和方法-多线程的进程体系结构,而Solaris操作系统的内核结构就是围绕着线程而重新架构的,它是这方面的典范.在本文中将讨论Solaris的进程模型、进程执行环境以及多线程的进程体操结构,内容包括进程、轻量进程和内核线程,最后将讨论进程的创建和终止.     

如何实现Windows子进程使用父进程中的文件句柄

微软的Windows系列操作系统中，子进程和父进程相对于UNIX系列操作系统的子进程和父进程的关系来说，Windows中子进程和父进程之间是相互独立的。父进程中的资源不能直接被子进程所继承，打开的文件句柄也不能被子进程继承使用。这一点与UNIX系列操作系统有很大不同。UNIX中fork的子进程完全可以继承并使用父进程中打开的资源。其实在Windows操作系统中，还是可以在子进程中使用父进程的部分资源的，不过麻烦一些。     

操作系统中的进程管理

操作系统是计算机三级等级考试中必考内容,而进程管理是操作系统中最为重要也是较难的内容,很多考生对这部分内容感到难学,笔者就此部分内容进行较为详细的分析,重点讲解了进程的概念、进程的控制、进程的同步、进程的调度和死锁等重要内容。     

进程管理演示系统的设计与实现

进程是资源分配和独立运行的基本单位,是操作系统的核心概念。"操作系统"教学中,进程的概念以及进程管理的实现原理抽象难懂,初学者难以掌握。本文阐述如何以图形化方式设计和实现进程管理的演示系统,以辅助课堂教学。该系统的演示内容包括:进程的概念、进程创建、进程组织、进程关系管理、进程阻塞、进程唤醒、进程撤销、进程调度、进程同步。     

分布式操作系统中多任务分配与进程线程调度

分布式操作系统中多任务的分配以及任务调度、负载均衡是实现的难点,其中进程和线程是实现任务执行和分配最重要的概念之一.如何在分布式系统中实现进程与线程的创建以及信息之间的交互是分布式系统设计至关重要的部分.通过对传统操作系统中进程和线程的实现机理以及比较,进一步论述在分布式操作系统中,如何实现多任务分配,如何在不同主机的进程间进行分配以及进行负载均衡.     

一种安全高效的Java操作系统IPC机制的设计与实现

安全高效的进程间通信机制是操作系统中实现进程间协同工作的关键.针对现有Java操作系统普遍使用的共享堆和Java远程过程调用(RMI)等进程间通信机制在安全性、高效性等方面的缺陷,面向Java操作系统的结构特点和进程间通信需求,设计和实现了一种新的安全、高效的进程间通信机制MSP.MSP机制通过区分小尺寸和大尺寸消息,...     

现代操作系统中的多线程技术及其应用

多处理器计算机系统的出现，并发多进程并行通信和同步上的困难，需要多线程来解决，多线程应用在适当的环境中可以大大提高程序的性能，本文对现代操作系统中的多线程技术和线程的私有数据进行了讨论，并以例程说明了多线程编程及其应用。     

基于队列结构的嵌入式系统多进程应用

在基于uClinux的嵌入式图像采集与传输系统中,为解决嵌入式中多进程对文件资源的竞争,加快嵌入式系统的工作速度,可采用循环队列数据结构描述图像资源。文中描述了嵌入式中文件队列资源的数据结构以及嵌入式中文件节点的数据结构。实现了图像采集进程和文件传输进程的核心算法,建立了多进程。使用访问状态标志控制进程同步,解决了资源的竞争和共享。采用基于队列结构的多进程在MCF5272处理器平台上获得了成功。应用实验结果表明,基于队列结构的多进程并行算法,缩短了图像信息的获取时间,提高了嵌入式系统信息采集速度。     

分布式超媒体信息检索原型系统DHIRS的设计

超文本技术多媒体信息检索问题的解决提供了一条新的途径，此文介绍了一个面向信息检索应用的分布式超媒体原型系统ＤＨＩＲＳ的体系结构模型和数据模型的设计，并给出系统的功能构成。     

Parallel processing of incremental ray tracing on a shared-memory multiprocessor

This paper presents a novel parallel-processing method for image synthesis using incremental ray tracing on a shared-memory multiprocessor workstation. The most efficient technique for image synthesis is ray tracing, proposed by Whitted in 1980. Ray-tracing algorithms are simple and can generate realistic images. However, they are time-consuming, since calculations of the intersections between objects and ray increase exponentially as the complexity of scenes increases. Fast image synthesis for animation is one of the most important topics in computer graphics. As the area of computer applications has broadened, the complexity of images to be synthesized has increased. Parallel processing of computer graphics is one way of achieving fast image synthesis. This paper describes a parallel processing technique for incremental ray tracing, which recalculates only the rays changed by moving objects in successive scenes of continuous image synthesis. The performance of parallel ray tracing was evaluated on the multiprocessor workstation TOP-1. Strategies for allocating pixels to processes under a multiprocess operating system on this workstation are discussed.     

Explicit programming languages in industrial robots

This paper discusses issues of design for software systems for computer controlled manipulators. A short review of the features which have become important in present soft-ware systems for industrial applications is presented, including how various desirable system capabilities can be introduced at reasonable computational costs.The paper is based mainly on the experiences obtained in designing and implementing MAL, a software system for controlling and programming an experimental robot, and VML, a machine independent intermediate language to be used as a target for compliers of high level programming languages for robots.An explanation of how management of multiprocess capabilities, synchronization of different devices, error handling and other desirable features can be inserted in a simple system, implemented on micro and minicomputers and made suitable for industrial applications will be shown.     

多总线多DSP实时图像处理操作系统的设计与实现

该文针对多总线多 DSP实时图像识别系统 ,设计并实现了一个并行操作系统 .它包括嵌入到 DSP芯片上的操作系统和运行在 PC机上的协议软件两部分 .协议软件提供一个人机界面 ,接收算法的分解信息 ,并将其按一定的数据结构组织 ,再将所有的子任务及其分解信息连接成一个作业 .DSP上的操作系统支持作业从上位机上加载 ,或通过 EPROM加载 .操作系统支持 VXI总线标准 ,并提供了数据通信、任务分配和并发进程管理等功能 .它根据任务分解信息 ,分配硬件资源 ,构造数据流向 ,建立子任务相互间的同步关系 ,完成与上位机的联络并输出结果 .实验结果表明 ,该文设计的硬件及其操作系统能够适应不同并行结构的需要 ,并得到满意的图像并行处理效果 .     

A Mechanically Checked Proof of a Multiprocessor Result via a Uniprocessor View

We describe a mechanically checked correctness proof for a system of n processes, each running a simple, non-blocking counter algorithm. We prove that if the system runs longer than 5n steps, the counter is increased. The theorem is formalized in applicative Common Lisp and proved with the ACL2 theorem prover. The value of this paper lies not so much in the trivial algorithm addressed as in the method used to prove it correct. The method allows one to reason accurately about the behavior of a concurrent, multiprocess system by reasoning about the sequential computation carried out by a selected process, against a memory that is changed externally. Indeed, we prove general lemmas that allow shifting between the multiprocess and uniprocess views. We prove a safety property using a multiprocess view, project the property to a uniprocess view, and then prove a global progress property via a local, sequential computation argument. Our uniprocessor view is a formal compositional semantics for a shared memory system.     

Linux中SystemV进程通信机制安全性形式化验证

基于Linux开发安全操作系统是提高计算机安全的重要途径，而形式化验证则是开发过程的重要和必要的环节，我们从Linux的各个子系统着手进行验证，逐步搭建起整个操作系统的验证模型。考虑到访问控制机制是实现操作系统安全性的关键，本文主要讨论使用SPIN模型检验器对IPC子系统中的SystemV进程通信机制进行形式化验证的过程与方法法。查找安全漏洞并改进现有的机制，为开发工程提供理论上的保证。     

多线程软件执行效率与改进方法研究

将软件进行多线程改进,可以解决软件并行性问题,能够显著提升软件的运行效率。但如果软件改进的方法不当很容易造成系统不稳定。该丈简要介绍了线程与进程的特点与差异,对在Linux操作系统环境下软件多线程与多进程的执行效率进行了对比,分析了产生这种执行效率差异的原因以及多线程与多进程技术应用在软件各方面改进时的优劣,并提出了实施软件改进的策略与实现方法。     

隐马尔科夫模型在智能学习系统中的应用

智能学习系统中,用户希望在学习的过程中系统能够根据知识点之间的内在关系自动给出学习引导.要实现智能引导的功能,就要找到所有知识点之间的内在关联.使用大量学习记录作为训练集,建立隐马尔科夫模型,并且利用该模型得到最优观察序列,实现了知识点学习的智能引导.