高速线程同步

Question

我有一个线程问题，我认为我是一个中等的线程背景。

假设我有以下（过度简化的）设计和行为：

Object ObjectA-具有对ObjectB的引用和方法MethodA（）。Object ObjectB-具有对ObjectA的引用、元素数组ArrayB和方法MethodB（）。

ObjectA负责实例化ObjectB。ObjectA将指向ObjectB的实例化器。

现在，只要满足某些条件，就会在objectb.arrayb中添加一个新元素，并为该元素启动一个新线程，比如ThreadB_x，其中x从1变为objectb.arrayb.length。每个这样的线程调用objectb.methodB（）来传入一些数据，后者又调用objectb.objecta.methodA（）来进行数据处理。

因此，多个线程调用同一个方法objectB.methodB()，它们很可能同时这样做。MethodB中有很多代码创建和初始化新对象，所以我不认为那里有问题。但是这个方法调用objectb.objecta.methoda()，而我对里面发生的事情一无所知。根据我得到的结果，显然没有错，但我想确定这一点。

目前，我将对objectb.objecta.MethodA（）的调用包含在objectb.methodB（）内部的锁语句中，所以我认为这将确保MethodA（）的调用不会发生冲突，尽管我不能百分之百确定这一点。但是，如果每个ThreadB_x调用objectB.methodB（）的次数非常非常快，会发生什么呢？我是否会有一个等待ObjectB.ObjectA.MethodA（）完成的调用队列？

多谢了。

Answer 1

由于缺乏资料，你的问题很难回答。它取决于在methoda中花费的平均时间、每个线程调用此方法的次数、为进程分配了多少内核、OS调度策略等等。

当线程数向无穷大增长时，您可以很容易地想象两个线程同时请求访问共享资源的概率将趋向于一个。这个概率会随着在共享资源上花费的时间的增加而增加得更快。这种直觉很可能是你提出问题的原因。

多线程的主要思想是将能够有效并发计算的代码并行化，尽可能避免争用。在您的设置中，如果methoda不是纯的，即。如果它可能改变进程的状态--或者用C++的说法，如果它不能使其成为const，那么它就是一个争论的来源（回想一下，函数只有在其主体中使用纯函数或常数时才是纯的）。

处理共享资源的一种方法是使用互斥体来保护它，正如您在代码中所做的那样。另一种方法是尝试将其使用转换为异步服务，由一个线程处理它，其他线程请求该线程进行计算。实际上，您最终将得到一个显式的请求队列，但执行这些请求的线程将同时自由地处理其他事情。目标始终是最大化计算时间，而不是线程管理时间，线程管理时间在每次重新调度线程时发生。

当然，这样做并不总是可能的。当methoda的结果属于强序计算链时。