1)  IPC
进程间通信与同步
2)  process
进程
1.
Political and Legal Process of Building a Circular Economic Type City——Shanghai as a Case in Point;
上海建设循环经济型城市的政治法律进程
2.
the mechanism of process schedule in linux;
Linux的进程调度机制
3.
Research of Interprocess Communications of Distributed Systems;
分布式系统进程通信的研究
3)  Proceeding
进程
1.
Study on Development Proceeding of the Industrialization of Municipal Solid Waste Treatment;
城镇垃圾处理产业化发展进程研究
2.
The proceeding can be regard as the movable program, each proceeding is mutual separate entity and the special program processed by CPU.
进程可以被理解成活动的程序,每个进程是相互分离的实体,是CPU正在运行的一个特定程序。
4)  progress
进程
1.
The research progress of PVC-U sound-proof pipe used for building drainage;
建筑排水用PVC-U隔音管的研究进程
2.
Considerations of speeding up the progress of home-made pumped-storage power generating units in China;
加快我国抽水蓄能机组国产化进程的思考
3.
This paper first reviewed the progress of tangible building market, then proposed thoughts and methods on further study, research and trial to consummate the tangible building market, and hence facilitated the goal to develop the whole construction market faster and better .
对有形建筑市场的进程进行了回顾,并对其在工程招标投标中所起的作用进行了分析,在此基础上提出了有形建筑市场的完善需要进一步研究、探索和尝试的思路和方法,从而达到促进整个建筑市场又好又快地发展。
5)  course
进程
1.
Realization of Synchronization and Mutex in the Course of Operating System;
操作系统中进程同步与互斥的实现
2.
The analysis of the course and spatial pattern of Jiangxi s opening-up;
江西对外开放的进程与格局分析
3.
A Survey Report on Advancing the Course of BuildingA Well-off Society All-roundly in the RegionsWhere the Hezhe Nationality Live in Compact Communities;
关于我国赫哲族聚居区推进全面建设小康社会进程的调研报告
6)  processes
进程
1.
The Synchronization between Processes or Threads of Windows Operation System;
Windows的线程、进程同步问题的求解(VC)
2.
The interrelated processes about the database maintenance are further discussed.
总结了Operation&MaintenanceCenter(OMC)数据库常见故障产生的原因及处理方法,并就数据库维护的相关进程进行了更深一层次的探讨。
参考词条
补充资料:通信顺序进程


通信顺序进程
communicating sequential processes

  构造而成。典型的算子有:~(前缀),}(外部非确定性选择),n(内部非确定性选择),川(交错并行),}}(同步并行)八e(事件隐蔽),以及递归等。 例:(自动售货机) VM=coin~(choc~VM!①flee~VM), CUSI、二coin一(ehi犯~CUSFneoflee~Ct!91、) 这里定义了两个进程:VM(售货机)和CUgT(顾客)。售货机在接受了硬币~后,可按顾客的要求支付ehoc或coffee。顾客在付了硬币后,或者想要elloc,或者想要coffee,其选择不受外界影响。 与CCS不同(也与作为程序设计语言的CSP不同),TCSP采用的是广摇式通信,而不是握手式通信,即只有当并行运行的各进程都执行同一动作时,才发生同步。 TCSP采用失败等价作为确定进程等价的准则,这也称为失败语义。一个失败是一二元组(:,X),其中:是事件的有限序列,X是事件集(称为拒绝集)。若进程尸可以执行事件序列:,且到达一个无法执行X中任一事件的状态,则称(:,X)是尸的一个失败。例如,设有进程尸=a~(b~。~g八…)Plb~d~51{〕P),则(ab,{。})是尸的一个失败,因为尸可执行ab,变成d~ST(〕P而无法做。。类似地,(ab,{d})也是尸的一个失败,但(ab,{。,司)不是。两个进程失败等价当且仅当它们具有相同的失败集。例如对自动售货机的例子,可以证明进程VMICt〕引、与 CU引、失败等价。 利用失败可以构造T(另P的指称模型,在此模型中,失败等价的进程被解释为同一个元素。关于失败等价建立了一些公理系统,可以对语义上的等价关系进行形式推导。tongxin shunxul一nCheng通信顺序进程(~cating料uentialp、~)用于描述分布式通信系统的语言,简称CSP,首倡者是英国学者C.A.R.H图re。有两个不同而又相互联系的语言通常都称为(万尸。下面分别加以介绍。 1978年C.A.R.H洲e提出的通信顺序进程CSP,是面向分布式系统的程序设计语言。在该语言中,一个并发系统由若干并行运行的顺序进程组成,每个进程不能对其它进程的变量赋值。进程之间只能通过一对通信原语实现协作:Q?x表示从进程Q输人一个值到变量x中;尸!。表示把表达式e的值发送给进程尸。当尸进程执行Q?x,同时Q进程执行尸!。时,发生通信,e的值从Q进程传送给尸进程的变量x。后来出现的实用编程语言(工CAM即以〔名P为基础发展而成。 1984年S.Brcoks,C.A.R.H匕叮e和W.R俄oe提出CSP理论(TCSP)。这是一个代数演算系统,其基本成份是事件(或动作)。进程由事件和一组算子
  
说明:补充资料仅用于学习参考,请勿用于其它任何用途。