Scala Actors：反応が返ってこない場合、なぜループ{}になる必要があり、なぜwhile（true）は機能しないのですか？

Question

ちょうどスカラの俳優を始めています。 Scala websiteは言う：

スレッドブロック操作は 新しいメッセージ（receiveのイベントベースのペンダント）を待つreactを使用することによって回避することができます。ただし、 （通常は小額）の代金があります。reactは返品されません。

...

whileループ内reactを使用して動作しないことに注意してください！しかし、 ループは一般的なので、loopという形式の という形式の特別なライブラリサポートがあります。私は今、混乱している

loop { 
    react { 
    case A => ... 
    case B => ... 
    } 
} 

- 矛盾があるように思われる：このように使用することができますreactは決して戻らない場合は

a）は、ループ内でそれを置くのポイントは何でしょう？なぜwhile作業を行い、どのような方法でそれが「機能しない」ん - loop以来

B）を繰り返し、それがwhile(true)に任意の異なる方法を、ブロックを実行しますか？

Answer 1

両方の機能、loopおよびreactは純粋ではありません。 loopは名前パラメータで呼び出され、reactはPartialFunctionであり、両方とも未処理のアクタに設定されています。これは、アクタにはスレッドが常時接続されていないためです。メッセージボックスにメッセージがある場合にのみアクティブになります。これは、while(true)が100％CPU使用率につながり、アクターが応答しない理由です。

Answer 2

私はone of Haller and Odersky's papers on Actorsで一部に答える説明私の質問のa）のを、（以下私の重視）が見つかりました：

次のように中心的な考えがある：受信 文で待機俳優はありますブロックされたスレッドでは表現されませんが、 が残りのアクタの計算をキャプチャするクロージャによって処理されます。受信に指定されたメッセージ の1つに一致するメッセージがアクタに送信されると、閉鎖が実行されます（ ）。クロージャの実行は \ピギーバック」差出人のスレッドである。

受信閉鎖 終了、制御は手順 戻っているかのように送信者に返送された場合。で受け閉鎖ブロックした場合受信、制御 が レシーバのコール・スタックを戻し特別な例外をスローすることによって、送信者に返されます。

二 仕事へのスキームのために必要な条件は、受信機がその外側の俳優に通常を返さないことです。 つまり、アクター内のコードは、終了ブロックに依存することはできません。または、 受信ブロックの結果...