요새 집필 중인 Ada 프로그래밍 책 중 일부입니다.

동시성 (concurrency)

Ada 프로그램의 실행은 하나 이상의 태스크(task) 실행으로 구성되며, 각 태스크는 독립적으로 동시에 진행되는 분리 가능한 활동(separable activity)을 나타냅니다.

Ada의 동시성 모델은 두 가지 주요 추상화를 기반으로 합니다.

• 태스크 (Task): 프로그램 내에서 독립적으로 실행되는 별도의 제어 흐름을 나타냅니다. 태스크는 자신만의 생명주기를 가지며, 실행을 시작(활성화)하고 완료되면 종료됩니다. 다른 태스크와는 엔트리 호출(entry call)을 통해 동기적으로 통신할 수 있습니다.

• 보호된 객체 (Protected Object): 공유 데이터에 대한 접근을 조정하여 데이터 경쟁(data race)을 방지합니다. 이는 다음과 같은 보호 연산(protected operation)을 통해서만 데이터 접근을 허용하는 방식으로 이루어집니다.

  • 보호된 프로시저 (Protected Procedure): 데이터에 대한 배타적인 읽기-쓰기 접근을 제공합니다.
  • 보호된 함수 (Protected Function): 데이터에 대한 동시적인 읽기 전용 접근을 제공합니다.
  • 보호된 엔트리 (Protected Entry): 특정 조건이 참이 될 때까지 태스크의 실행을 대기시킬 수 있습니다.

이러한 동시성 메커니즘은 언어 명세에 직접 정의되어 있어, 플랫폼 간의 차이가 최소화된 일관되고 이식성 있는 동시성 프로그램을 작성할 수 있습니다.