你有两个线程，a和b。线程a处于永久循环中，侦听阻塞套接字1.线程b也处于永久循环中，侦听阻塞套接字2.套接字1和套接字2都可以在任意时间返回数据，因此线程a可能永远在睡觉等待数据，而线程b不断从套接字获取数据并继续处理。这就是背景。
现在假设他们需要共享字典。当线程a获取一些数据（如果有的话）时，它会在一些处理之后将一个键值对添加到字典中，然后继续等待更多数据。当线程b从其套接字接收数据时，它首先查询字典，以查看在继续处理之前是否存在与其已接收的数据相关的信息。字典没有删除，只有插入和查询（如果这在最终解决方案中有所不同，我会感兴趣）。
在像python或c这样的标准命令式语言中，通过使字典在两个作用域中都可用并且仅在线程获得锁定后查询它，这很容易做到，因此线程B总是看到最多（几乎是）最新的字典。
在Haskell中，我似乎正在努力想出这个模式的良好实现。 MVars，一次只能有一个项目因此不能将一个项目放入字典中，因为可能会发生新的更新，并且在线程b从MVar中获取它之前它将无法推送新的字典。另一方面，如果线程b使用MVar发送就绪信号“ok！”线程a，可能是线程a在其读取套接字上休眠的情况，因此在读取套接字解除阻塞之前它将无法发回数据！还有频道，但这看起来很混乱，因为我不得不继续发送新的词典，而线程B将丢弃除最后一个之外的所有字典。
可行的替代解决方案是简单地沿着通道发送更新，并让线程B为自己构建字典。但是我想知道是否有更好的替代解决方案。
感谢您抽出宝贵时间阅读这个非常长的问题！