問題タブ [occam-pi]

Occam-pi は、プログラミング初心者が LEGO MINDSTORMS & Surveyor Corporation SRV-1 ロボットのプログラミングを学ぶのに適した言語ですか。ソースコードを読むために、同じものを利用しているオープンソースプロジェクトはありますか。occam-pi の URL :- http://www.transterpreter.org/

occam 2 のオンライン紹介を探しています。誰か助けてくれませんか?

誰かが occam-pi のテキスト アニメーションの原理を説明してくれれば幸いです。ありがとう。

誰かが私に拡張ランデブーの概念を説明してくれたら幸いです。ありがとう。

私は本当にこの問題に多くの時間を費やし、解決策を見つけるためにグーグルで検索しましたが、何が問題なのかを見つけることができないようです.

私はoccamをコーディングする方法を学び、次のプログラムを持っています:

私がやろうとしているのは、「o」キーを押したときにあるプロセスから別のプロセスに通信することだけです。

(KR o C) コンパイラから得られるエラー メッセージは次のとおりです。

これがlight.on = 1線です。

私が見る限り、 は何らかの入力を待ってから、それを に割り当てます。次に、プログラムは条件ステートメントに進みます。この場合、行は に評価されます。しかし、代わりにこのエラーが発生します。light PROClight.change channellight.on variableIFlight.on = 1true

フラグを使用してみまし-verboseたが、コンパイラは .occ ファイルには使用できないと言っています。

コンパイラからより詳細な情報を取得する方法、または取得できるかどうかを知っている人はいますか?

これに関する任意の助けをいただければ幸いです。

ありがとう

私の occam-pi アプリケーションには、次のように定義された実行時間の長いプロデューサープロセスがあります。

cから増加するチャンネルの値を送信しstartますstep。完全な例はこちらから入手できます。

これはうまく機能し、無限ループはCSP では慣用的であると信じるようになりました。問題は、消費アルゴリズムが終了したときに発生します。この例では、コンシューマが終了するとデッドロックが発生します。

ここで説明するTAGGED.INTプロトコルは、プロセスのネットワークをシャットダウンする問題を解決しようとしますが、私の現在の理解では、主な仕事がチャネルで送信しているプロデューサーを終了する簡単な方法はありません。プロデューサーを停止させる唯一の方法は、ある種のコントロール チャネルと出力のブラック ホールを使用することだと思われます。

完全な動作例はこちらから入手できます。これの問題は、コードがはるかに読みにくいことです-主観的であることは知っていますが、ソフトウェアエンジニアリングにとって重要です-元の意図は元の意図に比べて複雑です。オッカムの剃刀とは相反するようだ！

JCSP 、C++CSP2、およびpython-cspを使用すると、プロセスのネットワークをシャットダウンするためにチャネルを明示的にポイズニングできます。何らかの理由で、これを行うために occam を論争させると、コードがシャットダウン ロジックで汚染され、非論理的に見えます。

問題は、例のcontrolように明示的なチャネルを使用せずにプロデューサー プロセスを終了する方法があるかどうかです。

編集：

このメーリング リスト アーカイブ ( Poison ) には、このトピックに関するより多くの情報が含まれている可能性があります。これはかなり古いものです (> 10 年)。それ以来、何か変わったことはありますか、それともこれがoccam-piで「プロセスの終了」を達成するための最良の方法ですか?

OCCAM と CSP ( Communicating Sequential Processes ) の勉強をしているときに、ある質問を見ました。次のような基本的な答えがいくつか見つかりました。

• どちらも並列プログラミング用で、
• 彼らは疑問符 (?) で入力を取得します。
• 感嘆符 (!) 付きの出力を送信します。

しかし、それらの共通機能について、より技術的な詳細を知りたいと思っています。

私はoccamでプログラミングしようとしていますが、ドキュメントがあまり良くないので、理解しにくいと思います。とにかく、誰かが私を助けてくれることを願っています。

簡単なプログラムを作る方法を学ぼうとしています。オカムのバブルソート。

端末に次の画像が表示されました: このコードの何が問題なのですか?