2009-06-01から1ヶ月間の記事一覧

Input/Output(入出力)

CSPではプロセス間の様々なデータの受け渡しをチャネルを用いたメッセージパッシング方式で行う。 channel ch:{0..7} -- チャネルchの型を{0,1,・・,6,7}とする。 P = ch!5 -> SKIP -- '!'は送信を意味する。 Q = ch?x -> SKIP -- '?'は受信を意味する。 SYS…