考虑以下Erlang代码:
-module(testit).
-export([testit/0]).
testit() ->
Pid = spawn(fun testit_proc/0),
Pid ! final,
Pid ! one,
Pid ! two,
io:format("Root finished~n").
testit_proc() ->
receive
one -> io:format("One~n");
two -> io:format("Two~n")
end,
receive
one -> io:format("One~n");
two -> io:format("Two~n")
end,
receive
one -> io:format("One~n");
two -> io:format("Two~n");
final -> io:format("Final~n")
end,
io:format("Spawn finished~n").
输出结果为:
Root finished
One
Two
Final
Spawn finished
由于先前的接收模式与该消息不匹配,final
消息的处理基本上被推迟到最后一个接收块。
你如何使用Haskell的TChan做到这一点?
答案 0 :(得分:3)
你指的是Erlang的选择性接收功能。据我所知,Haskell中的STM并不是平行的。您的选择是重构代码以消除对代码的需求(例如通过对可能接收的不同类型的信息使用单独的队列),或者在库中实现此功能。
选择性接收的语义是除了传入消息队列之外,还有一个延迟消息列表。在receive函数中,您需要首先扫描延迟列表以查找任何匹配的消息。如果邮件匹配,则将其从列表中删除并传递。如果没有延迟消息匹配,则需要等待收件箱中的消息。收到消息后,检查是否匹配。如果确实如此,那么你就交付它;如果没有,那么你将它推到延期列表并重复。