の使い方の例を見つけようとしTryScanましたが、何も見つかりませんでした。
私がやりたいこと (非常に単純化された例): MailboxProcessor2 種類のメッセージを受け入れる があります。
最初のもの
GetStateは現在の状態を返します。GetStateメッセージはかなり頻繁に送信されますもう 1 つ
UpdateStateは非常にコストがかかります (時間がかかります)。たとえば、インターネットから何かをダウンロードし、それに応じて状態を更新します。UpdateStateめったに呼び出されません。
私の問題は-メッセージGetStateがブロックされ、前のメッセージが提供されるまで待機することUpdateStateです。そのため、TryScanすべてのGetStateメッセージを処理するために使用しようとしましたが、うまくいきませんでした。
私のコード例:
type Msg = GetState of AsyncReplyChannel<int> | UpdateState
let mbox = MailboxProcessor.Start(fun mbox ->
let rec loop state = async {
// this TryScan doesn't work as expected
// it should process GetState messages and then continue
mbox.TryScan(fun m ->
match m with
| GetState(chnl) ->
printfn "G processing TryScan"
chnl.Reply(state)
Some(async { return! loop state})
| _ -> None
) |> ignore
let! msg = mbox.Receive()
match msg with
| UpdateState ->
printfn "U processing"
// something very time consuming here...
async { do! Async.Sleep(1000) } |> Async.RunSynchronously
return! loop (state+1)
| GetState(chnl) ->
printfn "G processing"
chnl.Reply(state)
return! loop state
}
loop 0
)
[async { for i in 1..10 do
printfn " U"
mbox.Post(UpdateState)
async { do! Async.Sleep(200) } |> Async.RunSynchronously
};
async { // wait some time so that several `UpdateState` messages are fired
async { do! Async.Sleep(500) } |> Async.RunSynchronously
for i in 1..20 do
printfn "G"
printfn "%d" (mbox.PostAndReply(GetState))
}] |> Async.Parallel |> Async.RunSynchronously
コードを実行しようとするとGetState、結果を待っているため、メッセージがほとんど処理されていないことがわかります。一方、UpdateState発火して忘れるだけなので、状態の取得を効果的にブロックします。
編集
私のために働く現在の解決策はこれです：
type Msg = GetState of AsyncReplyChannel<int> | UpdateState
let mbox = MailboxProcessor.Start(fun mbox ->
let rec loop state = async {
// this TryScan doesn't work as expected
// it should process GetState messages and then continue
let! res = mbox.TryScan((function
| GetState(chnl) -> Some(async {
chnl.Reply(state)
return state
})
| _ -> None
), 5)
match res with
| None ->
let! msg = mbox.Receive()
match msg with
| UpdateState ->
async { do! Async.Sleep(1000) } |> Async.RunSynchronously
return! loop (state+1)
| _ -> return! loop state
| Some n -> return! loop n
}
loop 0
)
コメントへの反応: otherMailboxProcessorまたはThreadPoolを並列に実行するアイデアUpdateStateは素晴らしいですが、現在は必要ありません。私がやりたかったのは、すべてのGetStateメッセージを処理し、その後で他のメッセージを処理することだけです。処理中UpdateStateにエージェントがブロックされてもかまいません。
出力の問題が何であったかを示します。
// GetState messages are delayed 500 ms - see do! Async.Sleep(500)
// each UpdateState is sent after 200ms
// each GetState is sent immediatelly! (not real example, but illustrates the problem)
U 200ms <-- issue UpdateState
U processing <-- process UpdateState, it takes 1sec, so other
U 200ms 5 requests are sent; sent means, that it is
U 200ms fire-and-forget message - it doesn't wait for any result
and therefore it can send every 200ms one UpdateState message
G <-- first GetState sent, but waiting for reply - so all
previous UpdateState messages have to be processed! = 3 seconds
and AFTER all the UpdateState messages are processed, result
is returned and new GetState can be sent.
U 200ms
U 200ms because each UpdateState takes 1 second
U 200ms
U processing
U
U
U
U
U processing
G processing <-- now first GetState is processed! so late? uh..
U processing <-- takes 1sec
3
G
U processing <-- takes 1sec
U processing <-- takes 1sec
U processing <-- takes 1sec
U processing <-- takes 1sec
U processing <-- takes 1sec
U processing <-- takes 1sec
G processing <-- after MANY seconds, second GetState is processed!
10
G
G processing
// from this line, only GetState are issued and processed, because
// there is no UpdateState message in the queue, neither it is sent