基于Minix的进程间通信系统的设计与实现①

进程间通信作为操作系统中最重要的原语之一,提供了在多个隔离的进程之间相互通信交流的可能性.提出了一种适用于微内核操作系统的进程间通信系统,并在具体的Minix操作系统平台之上予以实现,解决了Minix系统中由于进程间通信模块的缺失而导致开发人员无法顺利移植其他平台的实用程序的问题。实验数据表明,该进程间通信系统具有高效的特点;同时由于该系统的设计原则,它保持着易扩展的特点。该系统的实现虽然是基于Minix平台,但该设计同样适用于其他微内核的系统,对其他操作系统具有借鉴意义。     

基于Minix的进程间通信系统的设计与实现①

进程间通信作为操作系统中最重要的原语之一,提供了在多个隔离的进程之间相互通信交流的可能性．提出了一种适用于微内核操作系统的进程间通信系统,并在具体的Minix操作系统平台之上予以实现,解决了Minix系统中由于进程间通信模块的缺失而导致开发人员无法顺利移植其他平台的实用程序的问题。实验数据表明,该进程间通信系统具有高效的特点;同时由于该系统的设计原则。它保持着易扩展的特点。该系统的实现虽然是基于Minix平台,但该设计同样适用于其他微内核的系统,对其他操作系统具有借鉴意义。     

进程间通信机制的分析与比较

1.引言为了完成特定任务,进程间经常需要通信,例如,传递数据、发送消息或相互间执行同步操作,因此进程间通信机制是操作系统非常重要的一个组成部分。下面我们将结合各种U-nix版本,详细讨论Linux核心2.2进程间通信机制的设计原理和实现方法以及Linux核心2.4所做的改进。2.信号信号是最古老的一种通信间通信方式,它的功能是向某个进程发出软件中断,通知该进程发生了一个重要的事件,如     

Android下Binder进程间通信机制的分析与研究

Binder IPC（Inter—Process Communication,进程间通信）机制是Android操作系统中重要的IPC机制。研究Binder IPC机制对于完成Android中进程间通信的程序开发有着重要的意义。文中系统地分析了Android操作系统下Binder的构架模型、Binder驱动的工作原理、Binder接口及运行机制,最后使用AIDL（Android Interface Definition Language）给出了运行BinderIPC机制的实例。实例结果表明Binder机制可以有效地完成Android系统中的进程间通信。     

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

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

VC中利用内存映射文件实现进程间通信的方法

利用内存映射文件实现高效的进程间通信,完成实时性要求高的工作.进程使用内存映射文件创建环形缓冲区存取数据达到进程间通信的目的.     

在TCP/IP网络支持下的Client/Server编程技术

一、引言 1.网络应用程序接口socket介绍 通常用户可利用网络操作系统提供的命令,如ftp,rcp,rcmd,rlogin等来进行网络操作。但用户应用程序则需要利用TCP/IP提供的网络应用程序接口(API)来实现进程间通信。TCP/IP提供的网络API主要是socket。socket的目的是解决网间网进程通信问题,一般UNIX系统进程通信是在同一台主机内不同的进程间的通信,主要是利用进程通信机制(IPC)来实现的,通信双方可用各自的进程号来标识。但是在网络上进程间通信就比较复杂了,此时大部分通信是发     

Win32进程间信息共享的实现方法研究

Microsoft Win32 API为应用程序提共了用于通信和共享数据的进程间通信的机制.探讨了进程间通信的含义及相应的实现技术,对这些技术的原理、特性等进行了分析研究,编制了简单易懂的例程,并结合科研项目研究通过实验室仿真验证实现了进程间的有效通信.     

Linux环境下基于UDP的socket编程浅析

socket适用于网络环境中的进程间通信,它已成为当前许多操作系统的网络API,也是网络操作系统中必不可少的基础功能。尽管UDP无法像TCP一样提供可靠的数据传输,但UDP并不比TCP缺乏优越性。随着Linux操作系统和Internet的不断发展,Linux网络环境下尤其是基于UDP的socket通信技术仍广为注目。文章介绍了Linux平台下的socket及其编程原理,并通过一个Java编写的基于UDP的客户/服务器程序,描述了网络中不同主机上的两个进程之间的socket通信机制。     

生产者/消费经典同步问题的深入探究

简要描述Java语言多线程机制,阐述了操作系统中生产者/消费者这个经典同步问题,探讨了该问题的多种高效解决策略,并通过Java语言的多线程编程技术,给出了实现此问题相应解决策略的代码.旨在为研究producer-consumer patterns提供新思路.     

A web-based distributed problem-solving environment for engineering applications

In this study, a prototype of web-based distributed problem-solving environment (W-DPSE) is presented to facilitate computer aided engineering (CAE) technologies. This system provides an effective approach to distributed modeling and simulation, and in addition, to support networked collaboration such that scientists around the world could interactively, visually and experimentally explore their daily design work through the proposed system. The W-DPSE system is constructed as a three-tiered architecture, consisting of three major layers: a web client presentation interface (WCPI), computing solver servers (CSS), and a system management server (SMS). All the components within this architecture are implemented with an object-oriented approach—Java while transparent communication across these three layers is attained through the remote method invocation (RMI) technology. To generalize the applicability of the system so as to accommodate interdisciplinary and diversified applications, a novel and efficient interface is developed for wrapping legacy computation codes, including C and FORTRAN etc., as a Java component. Note that in the interface, the communication mechanisms between Java objects and legacy codes are implemented by way of java native interface (JNI) and Unix inter-process communication (IPC) provided by OS. At last, the applicability of the W-DPSE system is extensively confirmed through the practices of two engineering applications: topology optimization of structures and pollutant transport simulations of coastal waters.     

Windows2000在半实物仿真中的实时性研究

在半实物仿真试验中,仿真系统的实时机制是前提。Windows2000是一个通用操作系统,能否直接应用Windows2000进行半实物仿真试验,是一个有意义的研究课题。该文对Windows2000系统的不可预知的中断处理、优先级机制以及进程间通信机制进行研究,并通过实验测试了Windows2000在读ISA卡IPC5386的时间,在改进了系统实时性后,使得读卡的时间大大的减少,得到该情况下使毫秒级半实物仿真成为可能。     

FLSP:一个高效的系统级垃圾收集算法

垃圾收集是Java操作系统的核心功能,它直接影响到整个系统效率。现代Java操作系统中使用的垃圾收集算法普遍还是沿用应用程序级的垃圾收集算法。应用程序级垃圾收集算法的优化主要面向于普通的Java虚拟机。而Ja-va操作系统与Java虚拟机相比有更高的操作权限和更灵活的资源管理策略,如何利用这些特点和权限来提高垃圾收集算法的效率是以前的垃圾收集算法所没有考虑的。本文分析了操作系统下内存管理和垃圾收集的特点,在JUnicorn操作系统上,利用操作系统平台提供的便利,设计并实现了一个高效的系统级垃圾收集算法FLSP。测试数据表明,在操作系统级别,这种垃圾收集算法能够提高13%的系统性能,并且使垃圾收集的停顿时间缩短50%。     

进程间通讯在声卡模式自动切换系统中的应用

进程间通讯是大规模软件开发中不能回避的问题。声卡模式自动切换系统用于实现X-Fi声卡在相关应用程序启动和退出时自动地切换到相应的声音模式以发挥最好的声音效果,为此声卡模式自动切换系统中的监控程序需要同被它监视的应用程序之间交换相关数据并实施同步。文中通过声卡模式自动切换系统详细介绍了Windows操作系统中的内存映射文件、互斥、事件等进程间通讯机制和及其在使用中需要注意的问题。     

Featherweight Java with dynamic and static overloading

We propose FMJ (Featherweight Multi Java), an extension of Featherweight Java with encapsulated multi-methods thus providing dynamic overloading. Multi-methods (collections of overloaded methods associated to the same message, whose selection takes place dynamically instead of statically as in standard overloading) are a useful and flexible mechanism which enhances re-usability and separation of responsibilities. However, many mainstream languages, such as, e.g., Java, do not provide it, resorting to only static overloading.The proposed extension is conservative and type safe: both “message-not-understood” and “message-ambiguous” are statically ruled out. Possible ambiguities are checked during type checking only on method invocation expressions, without requiring to inspect all the classes of a program. A static annotation with type information guarantees that in a well-typed program no ambiguity can arise at run-time. This annotation mechanism also permits modeling static overloading in a smooth way.Our core language can be used as the formal basis for an actual implementation of dynamic (and static) overloading in Java-like languages.     

基于Java智能卡的可信计算环境研究

操作系统可信是建立可信计算环境的关键环节,但还没有可行的度量操作系统的方案。针对该问题,基于现有计算环境(普通PC平台),提出一种基于Java智能卡的可信计算环境模型及实现方案。该方案以Java智能卡为基础,将可信计算机制扩展到操作系统和应用程序,在不改变现有计算平台结构的情况下构建了可信计算环境。     

基于内核态JVM的Linux设备驱动程序

驱动程序的不稳定是造成操作系统内核崩溃的主要原因,该文采用类型安全的Java语言开发Linux设备驱动程序以提高系统的稳定性,并分析驱动模型的结构、内核态Java虚拟机(JVM)的设计以及Java驱动程序的编写。USB网卡的测试验证了Java驱动在提高系统稳定性上的优势。     

Research on dynamic update transaction for Java classes

Dynamic software updating is critical for many systems that must provide continuous service. In addition, the Java language is gaining increasing popularity in developing distributed systems. Most previous works on updating are concerned with safely updating one class every time. It has many limitations on updating classes, such as not allowing deleting methods invoked in other classes. In this paper, the update transaction is purposed to dynamically update the class set, and some of its properties are discussed, such as atomicity, consistency, isolation, and durability (ACID). Then the property of type-safety is proven formally. In order to update without changing the Java Virtual Machine (JVM) and the Java programming language, this paper proposes a new implementation method. The method makes use of the Java class loading mechanism and reflection mechanism. We also present how to design an updatable Java program and a Java updating program. At the end of the paper, an experiment is made for analysis.     

OSEK操作系统定时机制优化设计

OSEK/VDX操作系统标准是被汽车电子业界普遍接受的工业标准。为了满足汽车电子可靠性和实时性的要求,需要尽可能提高操作系统的定时机制对定时事件响应的速度。因此,分析定时事件在嵌入式系统中的表示,通过使用ICTOH算法、堆排序和硬件计数器对OSEK操作系统的定时机制进行优化设计。对比实验结果表明,该方法能获得更高的效率。     

Java RMI设计实现的分析与研究

随着Java开发技术的迅猛发展,其具有的跨平台、代码可移植性、安全高效等功能逐渐被认可,一种基于Java的远程方法调用(RMI)为进行Java开发应用提供了行之有效的解决方案。详细介绍了设计RMI的具体步骤,并给出了具体实现的关键代码。