랑데뷰 통신 예제


0 Flares Filament.io 0 Flares ×

아래에 제공된 간단한 예제 코드는 개별 송신/수신 작업 대신 파생 된 데이터 형식을 사용할 때 26% 1 ~ 38% 3 사이의 성능 향상을 보여 주었습니다. CSP의 초기 및 중요한 응용 프로그램은 대규모 멀티프로세싱을 지원하도록 설계된 복잡한 수퍼스칼라 파이프라인 프로세서인 INMOS T9000 트랜스퍼터의 요소의 사양 및 검증에 사용되었습니다. CSP는 프로세서 파이프라인과 프로세서에 대한 오프칩 통신을 관리하는 가상 채널 프로세서의 정확성을 확인하는 데 사용되었습니다. [8] 전형적인 CSP의 예 중 하나는 초콜릿 자동 판매기와 초콜릿을 구입하고자하는 사람과의 상호 작용의 추상적 인 표현이다. 이 자동 판매기는 각각 지불의 삽입과 초콜릿의 배달을 나타내는 두 가지 이벤트, “동전”과 “choc”를 수행 할 수 있습니다. 초콜릿을 제공하기 전에 지불을 요구하는 기계 (현금만)로 작성할 수 있습니다 : MPI_Irecv 및 MPI_Isend를 사용하여 영구 통신 비교 코드를 사용하는 예제 코드 우리는 대기 시간을 제한 할 수 없습니다. 이 작업은 NewActiveSync 함수에서 구현할 수 있지만 예제 작업에는 필요하지 않습니다. 이름에서 알 수 있듯이 CSP는 독립적으로 작동하고 메시지 전달 통신을 통해서만 서로 상호 작용하는 구성 요소 프로세스 측면에서 시스템에 대한 설명을 허용합니다. 그러나 CSP 이름의 “순차적” 부분은 이제 구성 요소 프로세스를 순차적 프로세스로 정의하고 보다 원시적 프로세스의 병렬 구성으로 정의할 수 있기 때문에 잘못된 것입니다. 서로 다른 프로세스 와 각 프로세스가 환경과 통신하는 방식 간의 관계는 다양한 프로세스 대수 연산자를 사용하여 설명합니다. 이 대수 접근 방식을 사용하면 몇 가지 기본 요소에서 매우 복잡한 프로세스 설명을 쉽게 구성할 수 있습니다.

통신 호출을 처리하기 위한 기본 간격은 400밀리초입니다. 안정 실패 모델은 프로세스수행을 거부할 수 있는 이벤트 집합XΣ {displaystyle Xsubseteq Sigma } 의 집합인 거부 집합을 사용하여 추적 모델을 확장합니다.