본문으로 이동

커뮤니케이팅 시퀜셜 프로세스

위키백과, 우리 모두의 백과사전.

커뮤니케이팅 시퀜셜 프로세스(Communicating Sequential Processes, CSP)는 병행 시스템에서 상호작용패턴을 기술하기 위해 고안된 형식 언어이다. 프로세스 대수 혹은 프로세스 계산이라 불리는 병행성 관련 수학논리의 한 종류이다. Go[1]와 같은 프로그래밍 언어의 디자인에 영향을 끼쳤다.

CSP는 1978년 앤터니 호어가 최초로 고안하여, 이후 계속해서 개량되어왔다. CSP는 여러 가지 시스템을 동시성의 관점에서 기술하여, 이를 파악하고 검증하기 위한 도구로 산업계에서 이용되고 있다.

같이 보기

[편집]

각주

[편집]
  1. "FAQ: Why build concurrency on the ideas of CSP?". 《The Go Programming Language》. 2023년 5월 4일에 확인함.