跳去內容

交談循序程式

出自維基百科,自由嘅百科全書

電腦科學入面,交談循序程式(英文:Communicating sequential processes,簡寫CSP),又叫通信順序行程交換訊息嘅循序程式,係一種形式語言,拎嚟描述並行性系統入面互動嘅模式。佢係叫做行程代數或者行程演算嘅關於並行嘅數學理論家族嘅一員,基於咗通過通道訊息傳遞。CSP高度影響嘵Occam嘅設計,亦都影響嘵程式語言,譬如LimboRaftLibGoCrystalClojure嘅core.async。

CSP初初出現喺通尼·苛呀(英文:Tony Hoare)垧1978年發表嘅論文,但係之後又改善咗好幾次。CSP已經喺工業度應用到,係一個拎嚟規定同驗證各種唔同系統嘅並行狀況嘅一種工具,譬如T9000 晶片電腦,仲有安全電子商務系統。CSP嘅理論而家仲係活躍研究嘅話題,話題包括咗增加佢嘅實際可應用性嘅範圍(譬如增大可以跟蹤分析嘅系統嘅規模)。