原子执行代码块

Question

您将如何回答以下问题？

Java类的方法包含必须自动执行的代码块。使用适当的伪代码说明如何确保自动执行此代码块

我可以通过制作方法来实现吗..

public final AtomicInteger x = new AtomicInteger(0);

然后确保返回get语句：

x.get()

如果我想增加x的值，我会这样做吗？

x.getAndIncrement();

Answer 1

答案取决于您对“原子”的定义

我知道以下三个有效定义atomic：

1. 与同步中的原子相同：一次只能有一个线程执行代码；
2. 像ACID中那样是原子的：所有动作/阻止都发生，或没有动作；
3. 原子不可中断：一旦块开始，就不能被中断，即使通过任务切换也是如此。

第一个可能是您的教授的意思，并且很容易实现（请参见下文）。

第二个（如ACID中的原子）可以近似。见下文。

用Java不能完全保证第三个-它不提供对不中断所需的“关键部分”原语的访问。幸运的是，对此的需求几乎仅限于操作系统和设备驱动程序。

原子同步

这是相对简单的：只需将代码块包含在同步块中即可。我在下面将其显示为离散块，但还有其他选择：

public void doSomethingQuasiAtomic() {
   synchronized (exampleLock) {
      // Your code block goes here. 
      // Only one thread will ever be in this block at a time.
      ...
   }
}

像ACID中的原子

对于ACID原子性，没有通用的解决方案，但是可以使用同步代码来近似。为此，动作的每个部分都必须安全可逆。

这是我的处理方式：

为了便于讨论，假设您需要对我们将调用的对象执行多步操作，您需要执行exampleObj三个可以 安全
撤消的操作，并且所有访问都在example上同步exampleLock。

    synchronized(exampleLock) {
        boolean actionOneDone=false;
        boolean actionTwoDone=false;
        boolean actionThreeDone=false;
        try {
            actionOneDone=doActionOne(exampleObj);    // or perhaps exampleObj.doActionOne();
            if(actionOneDone) actionTwoDone=doActionTwo(exampleObj);
            if(actionTwoDone) actionThreeDone=doActionThree(exampleObj);
        } catch (Exception ex) {
            // Whatever seems appropriate here.
        } finally { 
            if (! (actionOneDone && actionTwoDone && actionThreeDone)) {
                /* At least one part failed.  Back out the completed actions in reverse order.  
                 * Note that we never need to reverse action three since if it completed, so did the others.
                 */
                if (actionTwoDone) {
                   reverseActionTwo(exampleObj);    // or perhaps exampleObj.reverseActionTwo();
                }
                if (actionOneDone) {
                   reverseActionOne(exampleObj);
                }
            }
        }
    }