java - Spring race conditions 单例服务有状态还是无状态

Question

我有点担心使用 Spring 的竞争条件。我知道各种作用域(单例、原型(prototype)、 session 等)之间的区别

我也知道:

• 默认情况下，服务具有单例范围
• 只要我的 bean 是无状态的，我就不会遇到竞争条件问题

尽管我对这个无状态的东西不是百分百确定。在谈论有状态时，我的研究来源总是只关注共享实例变量，但竞争条件不仅会在访问实例变量时出现。我创建了以下示例来说明我的问题:

@Service
public class AppleService {

  @Autowired
  private AppleRepository appleRepository;

  @Override
  public void doSomethingWithAppleCategory(String appleCategory) {
    boolean existsAppleInCategory = existsAppleInCategory(appleCategory);
    if(existsAppleInCategory) {
        // do something
    }
    else {
        throw new RuntimeException("There is no apple in the category: " + appleCategory);
    }
  }

  private boolean existsAppleInCategory(String appleCategory) {
    Iterable<Apple> allApples = appleRepository.findAll();
    return allApples.stream().anyMatch(a -> a.getAppleCategory().equals(appleCategory));
  } 
}

您可以假设该服务用于休息 Controller 或类似的东西。根据我的理解，当调用 existsAppleInCategory 方法时，竞争条件可能会出现问题。例如，thread1 有它的槽并将“false”写入变量 existsAppleInCategory。然后线程 2 将其插槽覆盖为“true”的 existsAppleInCategory。之后线程 1 有另一个时隙。 => 线程 1 现在“做某事”而不是抛出 RuntimeException。

我的假设是否正确？在这种情况下我是否遇到竞争条件问题？如果不是为什么？您能否推荐任何详细描述该主题的资源(在线资源、书籍……)？

提前致谢!

Answer 1

假设 AppleRepository 是一个无状态的单例并且在其中省略了数据库(因为你的问题是关于 java 的)。

简而言之，thread1 看不到 thread2 的变量，因此您没有任何并发​​问题。

每个正在执行的线程都有自己的堆栈，在该堆栈上，除其他外，还有方法内部使用的变量，因此线程 1 无法从线程 2 看到 existsAppleInCategory，反之亦然。该变量是方法的本地变量(实际上是执行 block )，每个线程在堆栈上都有自己的副本。

如果 existsAppleInCategory 是一个实例级变量，那么这将有所不同，因为您将拥有共享状态。在这种情况下，线程可能会看到彼此的数据(取决于写入/读取状态的时间以及 volatile 关键字的使用)。