将代码转换为多线程版本

Question

我有以下问题：

• 例如，我有 10 个列表，每个列表都有一个到其他列表的链接，我想创建一个代码来搜索这些列表中的元素，我已经完成了这个算法，但按顺序，它开始在第一个列表中搜索，如果搜索失败，它会发送消息以在与其有链接的列表中搜索（到第一个列表），在算法结束时，他将结果显示为列表的数量访问过，是否找到该元素。
• 现在，我想将其转换为一种并行算法，至少是使用多线程的并发算法：
  • 使用线程进行搜索；
  • 同时在 10 个列表中开始搜索；

Answer 1

只要您不更改任何内容，您就可以将您的搜索视为只读。在这种情况下，您可能不需要同步。如果您想要快速搜索，请不要直接使用线程，而是使用可运行对象并查找适当的类。如果您直接使用线程，请确保不超过处理器的数量。

在进一步讨论之前，请先阅读多线程。我会提到“Java 并发实践”作为（相当安全的）推荐。太容易出错了。

Answer 2

我从您的问题陈述中不确定不同列表中的搜索之间是否存在顺序依赖性，即第一个列表中的搜索结果是否应优先于第二个列表中的搜索结果。

假设不存在这种依赖性，因此任何列表中的任何搜索结果都很好，那么这在 Ateji PX 中以非常简洁的方式表示为推测性搜索：

Object parallelSearch(Collection<List> lists)
{
  // start of parallel block
  [
    // create one parallel branch for each of the lists
    || (List list: lists) {

       // start searching lists in parallel
       Object result = search(list);

       // the first branch that finds a result returns it, 
       // thereby stopping all remaining parallel branches
       if(result != null) return result;
    }
  ]
}

术语“推测性”意味着您并行运行多个搜索，尽管您知道您只会使用其中之一的结果。然后，一旦您在其中一个搜索中找到结果，您就想停止所有剩余的搜索。

如果您在 4 核计算机上运行此代码，Ateji PX 运行时将一次调度 4 个并行分支，以便充分利用可用的并行硬件。