동시성 (concurrency)

Ada 프로그램의 실행은 하나 이상의 태스크(task) 실행으로 구성됩니다. 각 태스크는 독립적으로 동시에 실행되는 분리 가능한 활동(separable activity)을 나타냅니다. 태스크는 엔트리 호출(entry call)을 통해 다른 태스크와 동기적으로 통신할 수 있습니다.

여러 태스크가 공유 데이터에 접근할 때의 데이터 경쟁(data race)을 방지하기 위해 Ada는 보호된 객체(protected object)를 제공합니다. 보호된 객체는 보호된 연산(protected operation)을 통해서만 데이터 접근을 허용하며, 보호 연산에는 배타적인 읽기-쓰기를 위한 보호된 프로시저(protected procedure), 동시적인 읽기 전용 접근을 위한 보호된 함수(protected function), 그리고 특정 조건이 만족될 때까지 태스크를 대기시키는 보호된 엔트리(protected entry)가 있습니다.

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

https://nimfsoft.art/ko/books/ada-programming/#%EB%8F%99%EC%8B%9C%EC%84%B1-concurrency

님프소프트 - Ada 프로그래밍 (초안)

님프소프트 - Ada 프로그래밍 (초안)

nimfsoft.art