병행성

병행성()은 컴퓨터 과학에서 여러 계산을 동시에 수행하는 시스템의 특성으로, 잠재적으로는 서로 상호 작용이 가능하다.

문제 
병행 시스템의 계산이 그들이 실행 중일 때에만 상호 작용이 가능하기 때문에 시스템에서 가능성 있는 실행 경로의 수는 매우 많고 그 결과의 산물은 부정확하다. 공유 자원을 동시에 이용하는 일은 교착 상태, 기아 상태와 같은 문제들로 이어지는 부정확성의 요인이 되기도 한다.

병행 시스템의 설계는 실행, 데이터 교환, 메모리 할당, 실행 스케줄링을 조화롭게 하여 응답 시간을 최소화하고 스루풋을 최대화하는 미더운 기술들을 찾아내는 일을 동반한다.

이론

병렬 
병행 시스템을 모델링하고 이해하는 형태들이 많이 개발되었으며 다음을 포함한다:
 병렬 임의 접근 기기(PRAM)
 액터 모델
 BSP(Bulk synchronous parallel) 모델과 같은 계산 브리지 모델
 페트리 네트
 프로세스 계산
 CSP 모델
 튜플 공간 (예: 린다)
 SCOOP
 Reo Coordination Language

같이 보기 
 병행 컴퓨팅

참고 문헌

각주

외부 링크 
  Concurrent Systems at The WWW Virtual Library
  Concurrency patterns presentation given at scaleconf

 
에츠허르 데이크스트라