在计算机科学中,通信顺序进程(英語:Communicating sequential processes,縮寫為CSP),又譯為交談循序程式、交換訊息的循序程式,是一種形式語言,用來描述並行性系統間進行互動的模式。它是叫做进程代数或进程演算的关于并发的数学理论家族的一员,基于了通过通道的消息传递。C...
22 KB (3,113 words) - 13:16, 10 February 2024
在计算机科学中,进程演算(或进程代数)是用于形式化建模并发系统的多种相关方法。进程演算提供了具体描述多个独立代理人程序或者是多个进程之间交互、通信、同步的方法,其中包含了对进程操作和分析的描述、以及证明形式化推导进程之间存在等价关系(例如:双向模拟的运用)的代数法则。关于进程...
11 KB (2,055 words) - 08:36, 25 January 2023
occam,一種并发程式語言,主要基於通信顺序进程的程式代數,以及它的許多特色而實作。它的名稱來自於奥卡姆的威廉提出的奥卡姆剃刀(Occam's razor)原則。 occam是一種類似於Pascal的指令式过程式編程語言。這個語言於1983年出現,由英國計算機科學家David May(英语:David...
8 KB (873 words) - 15:54, 4 September 2022
通道 (编程) (category 进程间通信)
在计算中,通道(channel)是通过消息传递进行进程间通信和同步的编程模型。作为一个流,消息可以经由通道发送,另一个进程或线程能够接收它已经引用的经由通道发送的消息。通道的不同实现,可以没有缓冲区也可以有缓冲区,消息传递相应的可以是同步的也可以是异步的。 通道是并发的进程演算方式的基础,并起源于通信顺序进程...
6 KB (678 words) - 15:46, 15 April 2024
它的並行計算模式,受到東尼·霍爾的通信顺序进程所啟發。 Limbo支持如下特征: 模块化编程 并发编程 强类型检查于编译时间和运行时间 进程间通信经由有类型的通道 自动垃圾收集 简单的抽象数据类型 执行Limbo代码的Dis虚拟机是CISC类的VM,具有的指令包括:算数、控制流、数据移动、进程创建、同步和进程间通信...
6 KB (479 words) - 01:46, 3 January 2024
任牛津大学计算机科学系主任和计算机科学教授。他也是牛津大学大学学院的研究員。 罗斯科教授的研究领域是并发理论,特别是和東尼·霍爾一起研究用于构建通信顺序进程(CSP)的语义及其相关的occam programming language。他和别人共同创建了正規系統(歐洲)有限公司(Formal Systems...
2 KB (143 words) - 19:36, 20 May 2024
管道 (软件) (category 进程间通信)
uth分时系统(英语:Dartmouth Time Sharing System)开发的“通信文件”。Tony Hoare在1978年提出的通信顺序进程(CSP),进一步发展了McIlroy的管道,但它用于通信的无缓冲区通道不是头等对象。CMS管道(英语:CMS...
7 KB (784 words) - 15:57, 10 February 2024
在集成电路设计中,VerilogCSP是Verilog硬件描述语言的一个宏,目的是为了支持通信顺序进程(CSP)。这个宏可以用来进行同步数字电路的设计。 VerilogCSP还可以描述非线性流水线结构高级别通道的时间属性,正向或负向的时间延迟,最小循环时间等。 VerilogCSP Homepage...
614 bytes (59 words) - 06:07, 2 December 2019
應用程式。它在1980年代末期在貝爾實驗室被開發出來,設計者為羅勃·派克。在語法上,它受到C語言的影響,但它在進行平行運算時,則受到東尼·霍爾的通信顺序进程所啟發。 它的前身是Squeak,由Luca Cardelli與羅勃·派克設計的程式語言,可以用於實做图形用户界面(GUI)。 Inferno操作系统...
2 KB (201 words) - 01:44, 3 January 2024
晶片尺寸封裝(Chip Size Package) Chip-Scale Package 商業服務提供商(Commercial Service Provider) 通信顺序进程 約束滿足問題(英語:Constraint Satisfaction Problem)是一種數學問題的類型,主要是問題中有一系統的約束條件要滿足。...
831 bytes (103 words) - 05:53, 17 July 2024
尽管如此,异步式形式化对于建模、设计和验证分布式系统是非常有用的,因为它们本质上是异步的。 同步模型还对立于具有基本上“同步交互”进程的系统。一个例子是基于通信顺序进程(CSP)模型建造的系统,它还允许非确定性选择。 Argos Atom(英语:Atom (programming language))...
5 KB (763 words) - 13:29, 10 February 2024
Building Blocks)。 在消息传递模型中,并行进程通过消息传递相互交换数据。这种通信可以是异步的,就是说消息可以在接收者准备好之前发出;或是同步的,就是说消息发出前接收者必须准备好。通信顺序进程(CSP)形式化了使用同步通信通道来连接进程的消息传递,并引出了重要的语言如:Occam、Limb...
42 KB (4,888 words) - 16:07, 20 April 2024
de Campo和Nate Edwards(英语:Nate Edwards)所称谓的“可配置的模块化”。 演员模型 通信顺序进程 并发计算 数据流程 数据流程图 数据流程编程 函数式响应式编程 Linda (协作语言)(英语:Linda (coordination language))...
12 KB (1,098 words) - 13:28, 10 February 2024
BSP模型的单边通信要求屏障同步。屏障是潜在的有代价的,但是避免了死锁或活锁的可能性,因为不能建立循环的数据依赖。检测并处理它们的工具是不需要的。 屏障同步的代价受到几个要素的影响: 参与进来的并行计算的完成时间上的变化所施加的代价。举例来说,除了一个之外的所有进程...
14 KB (2,262 words) - 02:47, 14 March 2024
Hoare,一譯托尼·霍爾),生於大英帝國錫蘭可倫坡(今斯里蘭卡),英國計算機科學家,圖靈獎得主。他設計了快速排序演算法、霍尔逻辑、通信顺序进程。 東尼·霍爾的父親是一位公務員,服務於英屬錫蘭。其母親是茶園主人的女兒。 東尼·霍爾在可倫坡出生,在英國本土受教育。1956年,在牛津大學墨頓...
6 KB (520 words) - 19:42, 20 May 2024
消息队列 (category 进程间通信)
在计算机科学中,消息队列(英語:Message queue)是一种进程间通信或同一进程的不同线程间的通信方式,軟體的貯列用來處理一系列的輸入,通常是來自使用者。消息队列提供了异步的通信协议,每一個貯列中的紀錄包含詳細說明的資料,包含發生的時間,輸入裝置的種類,以及特定的輸入參數,也就是说:消息的发...
5 KB (556 words) - 02:22, 5 December 2023
面向进程(process-oriented)编程,是一种编程范型,它将对数据结构的关切与对作用在其上的并发进程的关切分离开来。在这种情况下,数据结构典型的是持久的、复杂的和大规模的,是通用应用程序的主题,截然相反于在高产能应用(HPC)中所见的那种特殊数据集的特殊处理。这个模型允许建立部份的分享公...
3 KB (375 words) - 13:29, 10 February 2024
訊息傳遞通訊 透過訊息的交換,使不同的並行單元間同步,如Scala,Erlang與occam。 演员模型 Petri网 通信顺序进程 并发性编程语言使用编程语言结构特性进行并发。这些结构涉及到多线程,分布式计算,消息传递,资源共享(包括内存共享)。有时候我们也称这些语言是面向并发的编程语言(COPL)。...
8 KB (948 words) - 15:29, 29 September 2024
虛擬電路 (category 通信技术)
在分組交換中,虛擬電路與資料包是兩種主要傳輸方式。 在通信和网络中,虚电路是由分组交换通信所提供的面向连接的通信服务。在两个节点或应用进程之间建立起一个逻辑上的连接或虚电路后,就可以在两个节点之间依次发送每一个分组,接受端收到分组的顺序必然与发送端的发送顺序一致,因此接受端无须负责在收集分组后重新进行排序...
2 KB (348 words) - 13:07, 1 August 2022
Systems Interconnection)(OSI)网络堆栈中协议的分层结构中的方法的一个概念划分。该层的协议为应用进程提供端到端的通信服务。 它提供面向连接的数据流支持、可靠性、流量控制、多路复用等服务。 互联网与一般性网络的开放系统互连(英语:Open Systems...
4 KB (525 words) - 13:12, 27 March 2021
)》的说法,《影響世界歷史100位名人》是当今世界最著名的,依据影响力划分的历史人物榜单。 (顺序不分先后) (顺序不分先后) 生活杂志评选的千年百大人物 时代100人:本世纪最重要的人物 影响人类历史进程的100名人排行榜(初版) (美)麦克·哈特著,颜可维等译. 历史上最有影响的一百人. 知识出版社...
53 KB (333 words) - 03:45, 10 November 2024
訊息傳遞 (軟體) (category 进程间通信)
在這種模式中,行程或物件以傳送及接收訊息的方式來達成同步。 不同于传统程序设计通过名字直接调用(invoking)一个进程、子例程或者函数,訊息傳遞直接发送消息给一个进程,依赖进程或基础框架来调用实际执行的代码。 可分为同步方式与异步方式。 訊息傳遞是一種通訊範型,在這種模型中,由一個傳信者,將訊...
1 KB (169 words) - 22:35, 25 May 2024
进程间通信是通过无共享(英语:Shared-nothing architecture)异步(英语:Asynchrony (computer programming))消息传递系统运作,它一般被引证为采用演员模型的典型代表之一。在Erlang中,所有进程都有一个自己的“邮箱”,它是从其他进程...
68 KB (5,763 words) - 13:34, 19 February 2024
通信。ADB可以执行各种设备操作(例如安装和调试应用,传输文件),并提供对Unix shell(用于在设备上运行各种命令)的访问权限。它是一种客户端 - 服务器程序,包括客户端、守护进程(adbd)、服务器三个组件。 当某个ADB客户端启动时,客户端会检查是否有ADB服务器进程...
5 KB (626 words) - 04:03, 24 July 2024
在并行计算中,分叉会合模型是设置和执行并行程序的一种方式,使得程序在指定一点上“分叉”(fork)而开始并行执行,在随后的一点上“会合”(join)并恢复顺序执行。并行区段可以递归的fork,直到达到特定的任务粒度(granularity)。Fork–join可以被视为是一种并行设计模式,它最早由马尔文·康威公式化于1963年。...
7 KB (845 words) - 13:25, 10 February 2024
同步是任务并行里涉及到最重要的任务之间通信的方法,分为进程同步(或者线程同步)和数据同步。数据同步和进程同步的目的是为了使程序在多处理器执行的条件下保持一定的内存模型。 进程同步主要研究如何确定数个进程之间的执行顺序和避免数据竞争(Data race...
4 KB (555 words) - 09:41, 7 October 2024
同步 (计算机科学) (category 通信)
同步(synchronization)是指两个不同但有联系的概念:进程同步与数据同步。进程同步指多个进程在特定点会合(join up)或者握手使得达成协议或者使得操作序列有序。数据同步指一个数据集的多份拷贝一致以维护完整性。常用进程同步原语实现数据同步。 多个线程(或进程)要执行同一个特定的不可重入的程序代码块(称为...
14 KB (294 words) - 12:36, 24 December 2022
扩展的双层方括号判断语句 某些字符串生成操作 进程替换 正则表达式匹配符 Bash特有的内置工具 协进程 Bash默认使用Emacs的快捷键,可以通过 set -o vi 让它使用Vi的快捷键 Bash有两种执行命令的模式:批处理模式、并发模式。 要以 批处理模式 执行命令(即按照顺序),必须用;分隔,例子如下: command1...
24 KB (3,239 words) - 04:58, 25 June 2023
演员模型:并发的演员模型,例如计算机游戏。每个演员有自己的过程(这又在逻辑上分离了代码),但他们自愿地向顺序执行各演员过程的中央调度器交出控制(这是合作式多任务的一种形式)。 生成器:可用于串流,特别是输入/输出串流,和对数据结构的通用遍历。 通信顺序进程:这里每个子进程都是协程。通道输入/输出和阻塞操作会yield协程,并由调度器在有...
41 KB (4,760 words) - 08:16, 6 July 2024
管道 (Unix) (category 进程间通信)
在类Unix操作系统(以及一些其他借用了这个设计的操作系统,如Windows)中,管道(英語:Pipeline)是一系列将标准输入输出链接起来的进程,其中每一个进程的输出被直接作为下一个进程的输入。 每一个链接都由匿名管道实现[來源請求]。管道中的组成元素也被称作过滤程序(英语:Filter_(software))。...
14 KB (1,990 words) - 08:03, 23 December 2023
进程共享;因为进程加载DLL时会初始化只读全局变量的值,这个值由可能是依赖于所在的进程,如DLL的函数在该进程中的逻辑地址。 非const全局变量——放入各个进程各自专用的data节中。即DLL装入时各个进程复制一份自己专用的DLL的data节。但是,对于一个进程内的多个线程并发访问这种进程...
29 KB (4,520 words) - 15:56, 6 August 2024