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

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

进程调度模型的Spin验证分析与改进

Spin不仅可以用于通信协议的正确性验证,也可以对其进行有效的安全性分析.对用Promela语言描述的进程调度模型进行分析研究,并对其存在的不足加以改进.增加了LTL式描述,用spin进行模型检测验证,使用Xspin得到了反例状态迁移轨迹图.     

基于TEMU的进程间通信过程逆向

传统的逆向分析方法在分析多进程架构软件时具有较多难以克服的困难, 针对这个问题提出了基于TEMU的进程间通信过程逆向方法。利用动态二进制分析平台TEMU记录多进程程序函数调用信息, 结合进程间通信函数的关联规则从函数调用信息中提取进程间通信的通信方法、通信数据和通信协作机制。根据该方法设计并实现了一个原型系统, 对多款多进程架构软件进行测试, 测试结果表明, 该方法能够准确提取多进程架构软件的进程间通信过程, 对多进程架构软件逆向起到了很大的辅助作用。     

进程及应用程序间通信的实现技术

本文介绍了进程间通信与应用程序间通信的含义及相应的实现技术，并对这些技术的原理、特性等进行了分析。     

基于.NET WCF回调机制的进程间通信设计

为了解决.NET环境下的进程间通信问题,该文提出了一套基于WCF回调机制的进程间通信解决方案。文章首先对WCF服务组件的内部结构和使用特性作了简要介绍,然后对WCF服务解决进程间通信问题的具体方案作了详细说明,并通过对实测数据的对比分析,总结出了常用的WCF绑定方式:NetTcpBinding和WSDualHttpBinding的优选原则。实测结果表明,本文的方案是可行的。     

改进的Android强制访问控制模型

为了降低Android平台受应用层权限提升攻击的可能性,研究分析了对利用隐蔽信道进行的合谋攻击具有较好防御能力的XManDroid模型,针对该模型存在无法检测多应用多权限合谋攻击的问题,采用构建进程间通信连接图并利用有色图记录应用通信历史的方法,提出了一种基于通信历史的细粒度强制访问控制模型。对原型系统的测试结果表明：所提出的模型能够很好地解决XManDroid模型存在的问题。     

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

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

Windows下进程间通信方式探讨

进程间通信和数据交换是Windows应用程序中要经常涉及到的一个重要问题。本文扼要概括了windows进程间通信的两种模式并对其各自的特点进行了阐述。在此基础上针对第二种模式的进程间通信的特点提出了一种新的具体实用的方案并对该方案的实现方式进行了详尽的认证和阐述,并给出了一个详细具体的应用实例。     

通用数据安全访问模型

本文提出了一个称为CDSA的数据安全访问模型,该模型可以被用在各应用软件中保证服务端与客户端数据的一致性,也可以用在本地进程间通信、远程进程间通信等领域,保证共享数据的一致性。     

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

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

An attribute grammar approach to compiler optimization of intra-module interprocess communication

Earlier work has shown the effectiveness of hand-applied program transformations optimizing high-level interprocess communication mechanisms. This paper describes the static analysis techniques necessary to ensure correct compiler application of the optimizing transformations. These techniques include both dataflow analysis and interprocess analysis. This paper focuses on the analysis of communication mechanisms within program modules; however, the analysis techniques can be generalized to handle inter-module optimization analysis as well. The major contributions of this paper include the application of dataflow analysis and the extension of interprocedural analysis—interprocess analysis—to real concurrent programming languages and, more specifically, to the optimization of interprocess communication and synchronization mechanisms that use both static and dynamic channels. In addition, the use of attribute grammars to perform interprocess analysis is significant. This paper also describes an implementation of both intra-process dataflow and interprocess analysis techniques using attribute grammars.This work was supported by NSF under Grant Number CCR88-10617.     

一种带有断开恢复功能的Socket通信方法*

Socket是UNIX平台上网络编程的基础,Socket API提供了进程之间的通信功能,但如果通信的一方发生故障重新启动,通信连接就会断开,应用层必须显式地重新建立连接才可以继续通信。对传统Socket通信机制进行了综合分析,在保证效率的前提下,提出了一种新型的Socket通信方法。采用这种方法,可以为分布在网络上不同主机上的进程间通信提供具有故障恢复能力的可靠通信。     

Communication facilities for distributed transaction-processingsystems

The study of communication designs in the context of the Raid system, a robust and adaptable distributed database system for transaction processing, is discussed. Related research work on local interprocess communication, remote interprocess communication, and communication protocols for both local area and wide area networks is briefly summarized. A series of experiments on the performance of the facilities available for building the Raid communication software is described. Raid's communication software, called Raidcomm, has evolved as a result of the knowledge gained both from other systems and from the authors' experiments. Several communication services and mechanisms that can be used to make Raid efficient are identified     

理解Linux环境下SYSTEM V进程间通信

为了满足在大型的应用系统中进程间通信的需求,讨论了Linux环境下的几种主要进程间通信手段,不仅对每种通信手段的内部实现原理和机制进行了具体分析,而且通过实例应用为功能实现的理解提供了有效的借鉴,为在Linux环境下的应用开发提供了坚实的理论基础。     

A Local Network Based on the UNIX Operating System

The design and implementation of a local network operating ystem based on the UNIX¹operating system is described. UNIX has been extended to allow existing programs to access remote resources with no source program changes. Programs may access remote files, have a remote working directory, execute remote programs, and communicate with remote processes using the standard UNIX interprocess communication mechanism (pipe's). An efficient message-oriented interprocess communication mechanism and asynchronous I/O were added to the system to support the development of distributed applications and to make it easier to connect the local network to packet-switched networks.     

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

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

Perseus: Retrospective on a portable operating system

We describe the operating system Perseus, developed as part of a study into the issues of computer communications and their impact on operating system and programming language design. Perseus was designed to be portable by virtue of its kernel-based structure and its implementation in Pascal. In particular, machine-dependent code is limited to the kernel and most operating systems functions are provided by server processes, running in user mode. Perseus was designed to evolve into a distributed operating system by virtue of its interprocess communication facilities, based on message-passing. This paper presents an overview of the system and gives an assessment of how far it satisfied its original goals. Specifically, we evaluate its interprocess communication facilities and kernel-based structure, and discuss its portability. We close with a brief history of the project, pointing out major milestones and stumbling blocks.     

Interprocess Communication in Charlotte

The unique system provides powerful interprocess communication that uses duplex links, does not buffer messages in the kernel, and does not block on communication requests.     

WIN32系统下进程间通讯

Microsoft Win32 API为应用程序提供了用于通讯和共享数据的机制 ,这些被叫做进程间通讯的机制活动同样需要一定的方法 ,需遵循系统约定的规则。介绍几种常用的进程间通讯方法和需要注意的问题。