16.5.2 并发访问邮箱
邮箱处理器每次(很少)只处理一个邮件,但它可以安全地从多个线程访问。用于发布消息给处理器的所有方法(例如,Post 和 PostAndReply)都是线程安全的。让我们创建一个小应用程序,演示从三个线程并发访问我们的邮箱处理器。
清单 16.20 表示的情况是,有两个线程在重复地执行计算,然后,发送状态更新给邮箱处理器。为了使代码简单,我们的线程将只休眠一段时间,然后生成一个随机数字。第三个线程重复发送 Block 和 Resume 消息给处理器,在两个消息之间再次休眠。
Listing 16.20 Sending messages from multiple threads (F#)
let modifyThread() =
let rnd = new Random(Thread.CurrentThread.ManagedThreadId)
while true do
Thread.Sleep(500)
mbox.Post(ModifyState(rnd.Next(11) - 5))
let blockThread() =
while true do
Thread.Sleep(2000)
mbox.Post(Block)
Thread.Sleep(1500)
mbox.Post(Resume)
for proc in [ blockThread; modifyThread; modifyThread ] do
Async.Start(async { proc() })
这些线程的代码相当简单。两个函数都包含无限循环,在实际的应用程序中,可以执行有用的工作,两个偶尔发送消息给邮箱进行同步。第一个函数只使用 ModifyState 消息,第二个函数首先发送消息,阻塞邮箱,然后,等待一段时间,取消阻止。我们使用 Async.Start 来开始执行三个线程池线程中的函数,通过创建一个函数值列表,表示运行的进程,然后,在 for 循环中启动每一个。这个列表包含 modifyThread 函数两次,所以,我们会有两个线程发送更新的状态。
让我们分析应用程序执行时的行为,它打印操作的时间,因此,可以运行它,并看看打印的时间。它首先处理入站的 ModifyState 大约 2 秒钟。阻止/恢复线程然后发送 Block 消息,所以,在接下来的 1.5 秒内,没有内容打印到控制台,虽然新的 ModifyState 消息仍在发送到邮箱。之后,邮箱处理器将恢复,并处理所有排队的 ModifyState 消息,因此,状态将快速连续地更新几次。在下一个 2 秒内,它将继续运行,处理到达的消息,直到下一个 Block 消息接收到。
尽管这个示例没有实现任何特别有用的行为,但给你一个很好的概念,如何在实际的应用程序中使用邮箱处理器,需要通过消息传递并发同步状态。