병행성

섬네일을 만드는 중 오류 발생:

식사하는 철학자들 문제는 병행성과 공유 자원을 동반하는 고전적인 문제이다.

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

문제

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

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

이론

병렬

병행 시스템을 모델링하고 이해하는 형태들이 많이 개발되었으며 다음을 포함한다:

• 병렬 임의 접근 기기(PRAM)
• 액터 모델
• BSP(Bulk synchronous parallel) 모델과 같은 계산 브리지 모델
• 페트리 네트
• 프로세스 계산
  • CSP 모델
• 튜플 공간 (예: 린다)
• SCOOP
• Reo Coordination Language

같이 보기

• 병행 컴퓨팅

참고 문헌

• Lynch, Nancy A. (1996). 《Distributed Algorithms》. Morgan Kauffman. ISBN 1-55860-348-4. 
• Tanenbaum, Andrew S.; Van Steen, Maarten (2002). 《Distributed Systems: Principles and Paradigms》. Prentice Hall. ISBN 0-13-088893-1. 
• Kurki-Suonio, Reino (2005). 《A Practical Theory of Reactive Systems》. Springer. ISBN 3-540-23342-3. 
• Garg, Vijay K. (2002). 《Elements of Distributed Computing》. Wiley-IEEE Press. ISBN 0-471-03600-5. 
• Magee, Jeff; Kramer, Jeff (2006). 《Concurrency: State Models and Java Programming》. Wiley. ISBN 0-470-09355-2. 

외부 링크

• (영어) Concurrent Systems at The WWW Virtual Library
• (영어) Concurrency patterns presentation 보관됨 2014-07-14 - 웨이백 머신 given at scaleconf