Project

General

Profile

Actions

機能 #3776

open

(ケ)同期型DataPortの実装

Added by win-ei almost 8 years ago.

Status:
新規
Priority:
通常
Assignee:
-
Target version:
-
Start date:
01/04/2017
Due date:
% Done:

0%

Estimated time:

Description

FSMに対するイベント通知機構として、既存のデータポートとは異なる同期型データポートを実装する。既存のデータポートやFSM4RTCのデータポートは基本的に非同期型であり、送信側、受信側はそれぞれ相手が読まなくても(書かなくても)書くことができる(読むことができる)データチャネルとなっているが、振る舞いがdeterministicではないため、振る舞いの同一性や確定性を保証・検証することが難しい。
別途提供する同期型データポートのインターフェースとその振る舞いに関する仕様に基づいて、同期型データポート実装すること。
同期型の大まかな振る舞いとしては、以下のとおりである。
  • 受信側が読むまで、送信側は原則としてデータ書き出し操作を完了せずブロックすること
  • 上記の状態において、受信側が読み出した場合、送信側に直ちに読み出しが完了したことを通知し、送信側はブロック状態を解除すること
  • 送信側が書くまで、受信側は原則としてデータ読み出し操作を完了せずブロックすること
  • 上記の状態において、送信側が書きだした場合、受信側に直ちに書き込みが完了したことを通知し、受信側はブロック状態を解除すること
  • 送信側はデータを送信する前に、受信側が受信可能かどうかを知ることができること
  • 受信側が複数ある場合、送信側は受信準備ができているポート1つに対してのみデータを送信すること
Actions

Also available in: Atom PDF