16.5.2 并发访问邮箱

 

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 消息接收到。

    尽管这个示例没有实现任何特别有用的行为，但给你一个很好的概念，如何在实际的应用程序中使用邮箱处理器，需要通过消息传递并发同步状态。