9、并发编程中的状态管理与软件事务内存

并发编程中的状态管理与软件事务内存

在并发编程中，处理共享可变状态是一个极具挑战性的任务，它不仅增加了代码的复杂性，还容易引入难以调试的错误。下面将深入探讨如何优化并发编程中的状态管理，以及软件事务内存（STM）在其中的应用。

并发编程中的状态管理优化

在之前的代码示例中，为了提高并发性能，我们对一些方法进行了优化。例如，在 getUnitsAvailable() 方法中，去掉了 synchronized 标记，因为 AtomicLong 可以确保对其值的访问具有线程安全性和可见性。同时， useEnergy() 方法也移除了 synchronized ，这使得多个线程可以同时竞争能源，而无需持有排他锁。如果多个线程同时竞争，其中一个会成功，其他线程只需重试。这样的改进在读取速度和写入安全性方面都有显著提升。

private void replenish() {
    if (level.get() < MAXLEVEL) level.incrementAndGet();
}

replenish() 方法同样不需要排他锁，它以线程安全的方式获取能源级别，然后在不持有任何锁的情况下增加该值。由于只有一个线程会增加能源级别，所以这样做是安全的。

不过， stopEnergySource() 方法仍然保留了 synchronized